Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/factint/tables/brent/   (GAP Algebra Version 4.15.1©)  Datei vom 15.10.2019 mit Größe 6 kB image not shown  

Quelle  brfac393

  Sprache: Text
 

Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

BRENTFACTORS[393]:=MakeImmutable([ ,,,,,,,,,,,, [ 54029763217 ],,,,,,,,,,,, 
  [ 665200247351701 ],, [ 41726328977197 ], [ 6508791661 ], 
  [ 114710439739149542118137525008509 ],, [ 135543189823 ], [ 42868640993 ],
  ,, [ 9806003001760192458509352978651 ], [ 5614340336281 ], 
  [ 16925463101294327626794271863702014969 ], [ 4677001273113979235639 ],, 
  [ 104599587552110277051364641 ], 
  [ 15377268078067037632123216689433816268619603 ],, [ 150140864597443 ],, 
  [ 10783760912797425526531 ], [ 7665602430261257 ], [ 4691771151547 ],, 
  [ 3414441608350146113179956450485823204125991425584424116719932827 ], 
  [ 498514218409142051 ], 
  [ 8365612652044252060870325078760756333815465332887611 ], [ 5221429981 ], 
  [ 6255050211643 ], [ 25197051162511 ], 
  [ 2151498911307779533038954912700852224186204486826184571 ], 
  [ 898372091696128547532008113310841 ], [ 33852503566922742480672097 ],, 
  [ 3885064667191087128658973015598936131118160716223
      167307731685859135413033537194361040634011935797288608161111 ],, 
  [ 7347245987443217 ], [ 56000626928882958359521489 ], 
  [ 31066924699567107998094206419079429470498481 ], [ 142572850177 ], 
  [ 1430434721179605653636802047487135291 ], 
  [ 3210873425772086627786106836171 ], 
  [ 305617203616169842589708568752873 ], 
  [ 915261619734995851099862145126599855041 ], 
  [ 165011968325547780118190081 ], [ 45516170874441596431438684951 ], 
  [ 83843905692048521414195241781057532287845011809691507946549651531 ],
  [ 3633160168929235816530959249 ], [ 79288165483601292202913011732831 ],,
  , [ 7728191101 ], 
  [ 18095950857745662151640585251763230363639194527
      596118676096959738771728263505921477935997 ],,, 
  [ 91291199215055594218419199929704288321 ], 
  [ 16191098003990490306648553 ], 
  [ 731034210988118805165212341703287164119424821 ], [ 69132015053 ], 
  [ 14640227627929 ],, [ 4653923544833362819244672570659 ], 
  [ 6910515154999151084319936127 ], [ 60466807773240180436783163973017 ], 
  [ 1446655129 ], [ 3079669771341268203117791 ], [ 1847133455077 ], 
  [ 11844475353924531647500910698615234934836913 ], 
  [ 74264384057533082364529 ], 
  [ 239505608167022045396380676686222476008011833018859 ], [ 46793878871 ],
  , [ 67267964101751734922177 ], [ 4110186164701 ], 
  [ 43745019069427934109673141 ], [ 9395959734755195732837958761801 ], 
  [ 3213843143665311562506931676400196501373 ], [ 275629843403079987751 ], 
  [ 163679449556935019 ],, [ 159138072908011169095415207488467963886657541 ]
    , [ 1392937627 ],, 
  [ 836319582372268771331605261999018999409776279084742946334377 ], 
  [ 6773987682257 ], [ 674255561089193912877610939885125864501 ],, 
  [ 1628968966360366018930193 ], [ 897097814231 ], 
  [ 32200098913343461029512213947582093036787 ],,, [ 12289815714151 ], 
  [ 879022462349861 ], [ 2668571111042404630357 ], [ 76048106328344415721 ],, 
  [ 350157340230998862313721 ], [ 5786119977091 ],,, 
  [ 37025783298162805881648387557 ], [ 2675648255088521 ], 
  [ 4624602796179474797569 ], [ 28629864744156247699962398999 ], 
  [ 11690533086407514083372845071127204007498986076431933277868389211 ], 
  [ 2617856317 ], [ 3766349291820458416481549469755963652291754921 ],, 
  [ 14448726211 ], [ 9428620924811112870825525922409563121 ], 
  [ 4192809961 ], [ 61775722108276174711 ], [ 5403663987198219312421 ], 
  [ 2980793569968593 ], [ 12322338660485202211077014671061 ], 
  [ 55913511931186559832386325378007421 ],,, 
  [ 5620791188171172739413977489 ], [ 81795684941 ],,, 
  [ 266984833397200511240548981210449842201730621389 ],, 
  [ 15973746651725987585244708750297553923301 ],,, [ 344003471407 ],,, 
  [ 225980631470722798519187342577109433833 ],, [ 134464516884433 ],, 
  [ 964611237647727165121 ],, [ 708234699831121 ],,, [ 155380806901 ], 
  [ 99123913661 ],, [ 186387697609 ],, [ 206470030314049840028864895061 ],, 
  [ 4114415957 ],,, [ 282121105193909007511512583422764805980401 ],, 
  [ 2168400060782369343519259007 ],,, 
  [ 987425950834303180212429097897689413259523550945445038879441 ],, 
  [ 379589071898813743513 ], [ 12909657078733601765276116559 ],,, 
  [ 120604831033784884062226791518385026200759094901
      947417984083368244375818114328370162956688478715959831224706593 ],,,, 
  [ 248106534541 ],, [ 55086362689647618006242770336949893889 ],, 
  [ 504041500274506489 ],,,, [ 41092078755421134430233235403051 ],, 
  [ 51415459801834496857023660480019001 ],, [ 623524682272957447 ],, 
  [ 195239301733166590388169055207681068221261 ],,,,,, 
  [ 324747097007791659352621 ],, [ 170151745778552621 ],,,, [ 47947957777 ],,,
  , [ 215683769411231580359620161 ],, [ 122595718095913 ],, 
  [ 46319840455593711102554357070169953 ], [ 36841595851 ], 
  [ 3319697180771737 ],,,, [ 45749492958385122749235978147817351 ],, 
  [ 14647217936138807380153113161340387318718841252680239371586849 ],, 
  [ 3571397902910118004511040479 ],,,,,, 
  [ 4161955884721437533811161590961 ],, [ 2915523248419 ],, 
  [ 18203803017972780075921 ],, [ 148355139042139 ],, [ 63895325369 ],, 
  [ 697195822319501 ],, [ 1439675701870926241 ],,,,,, 
  [ 2187826692531300391443989822899021731821891498318385248313154882221 ],
  ,,,,, [ 444129361759942050193 ],,,, [ 1898248021 ],, 
  [ 105716583177738803381385989338513574911985885937804497583331 ],, 
  [ 15371224289 ],,,,,, [ 374365039335683543698777135178082890187559 ],,,, 
  [ 15467425609771 ],,,, [ 711381109593494341 ],, 
  [ 3736679769736727893273729 ],,,,,,,, [ 48849586553562108257342749129 ],, 
  [ 272797416870753421 ],, 
  [ 16030316974494360111685112260616428834478621801 ],,,,,, 
  [ 8998730803547009582072861 ],, [ 1861553849 ],,,,,,,,,, 
  [ 146531042557338788295600452081 ],,,,,,,,,,,,,,,,,, [ 266860530049 ],,,,,
  , [ 961615157008141429466127266199220139 ],,,,,, 
  [ 16979361090126995723323408118659434685137214593
      960859483065314481373 ],, [ 2965408360951 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,, [ 1202610049 ],,,,,,,,, 
  [ 51598435203823347174533552917949515775084833067343
      1069968942833582047 ],,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 2252876286234121043236064554680341155400469034292593581 ],,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,, [ 476006953501638738417051971651 ],,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,, [ 1848598264801314368153008120078488839841208615137499495201 
     ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 3720236667123016512079495514171 ] ]);

¤ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet am  2026-06-29) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.