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  brfac494

  Sprache: Text
 

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

BRENTFACTORS[494]:=MakeImmutable([ ,,,,,,,,,, [ 11594334533 ],,,,,,,,,, 
  [ 57430156057 ], [ 10843282913 ],,, [ 4434810701 ],, [ 614564909880821857 ],
  , [ 109598499412279614135435153138404654194673 ],,, [ 12929963681 ],, 
  [ 13532899560883 ], [ 3700296856487141384977266269824131 ],, 
  [ 409902620623227264999844275401247 ],, [ 1289303768442264074371 ], 
  [ 3479564465401 ], [ 2911646161 ], [ 9283017081157 ], 
  [ 631487214494124226272182246257 ],, [ 73329526812151318779011 ],, 
  [ 3254929159912571892178939817 ], [ 3835383604918065485615537 ], 
  [ 39511603975321731705748942124749861057751368483598927779390123 ], 
  [ 11234160790591656413351 ], [ 5344422977277712308938052976043 ],, 
  [ 233311845944531267057690915654219120745540008226144514051703
      63265637756742388704685447980224773 ],, 
  [ 113493919001111285318892134189783077895822257493467675811 ], 
  [ 19044456493250296174721 ], 
  [ 2763725303896300367147871262521416624429661741 ], 
  [ 71401753350332371 ],, [ 426161547121437828049361 ], 
  [ 1085686684390874867913128617184927 ], 
  [ 1168903191772937981644962714311723830554024951 ],,,, [ 92151180627991 ],
  [ 182227781343733 ], [ 75273979705669783096584454777 ], 
  [ 262036642511012479464446995231595436226686374744970778811 ], 
  [ 13090497998621 ], [ 156112537774171093939381 ],, 
  [ 24095647760633694939360305219089 ], [ 21687715613 ], 
  [ 68779309149601392761208800802394358607395809601 ], 
  [ 36592295686223337068865872129 ], [ 376106330657983635153240413 ], 
  [ 123412255313006042559173 ], 
  [ 9440746126273836882194282766795247647980811650223 ], 
  [ 14850301570721325128584873904160420331899597171170881 ],, 
  [ 896184335175583226316964556378006007955684451504589799861 ],, 
  [ 61405852957 ],, 
  [ 185792959981711454539585804089139407307318233
      4125781524020010294427998084441733 ], [ 1393463689 ], 
  [ 112714482380330441771810801203468277425120129 ],, 
  [ 47830648351577855020221993481 ], [ 30299170873926364692934535878541 ], 
  [ 25410724440513070832842190325328995204321893860467614535428841 ], 
  [ 90037785391 ], 
  [ 5067276795312853290139705754883826978955411718704472636312566703773 
     ], [ 108340497214245601319291 ], 
  [ 334394348548382462410914569691537404662369 ], [ 2883667217 ], 
  [ 33002339707582150870635469 ],, 
  [ 155930945077013539692907384835726117891901 ], 
  [ 125902854719244862649700787023 ], [ 13583731783256374687340333 ], 
  [ 994929409595961457 ], 
  [ 2595199816374221209015318338726148748818286831185193 ], 
  [ 1000043050231579228448827108814357618994959271213869228117562234432791
      4576206597934170477137770242959640978276233106992482103309701 ], 
  [ 1869655618873639397908345806711392282794820203669113298174343083 ], 
  [ 6881772197 ], [ 31962264822307267377264397873 ],, 
  [ 255664090121775349362395140711315634324375303152880712975221 ], 
  [ 150944260385398961761141319 ],, [ 6413308167206808157 ], 
  [ 151939097971697905902321526648781 ], [ 82262489935501331 ], 
  [ 1120625657 ], 
  [ 222765162878711047384183121391727057781833203640043979441910682887 ]
    , [ 61564521410744249693 ], [ 21100400987 ], 
  [ 113326482096921821041595472384667910563458925961 ],,,, [ 208559636821 ],
  , [ 30296349361325251204791128857352600980621516901 ],, 
  [ 1384391975716436737 ],, 
  [ 100230835302115264193883165360194120292326462707391 ],, 
  [ 12305878156177 ],, [ 21353306748078817 ],, 
  [ 11377858547354418537213871351049189313218161371217 ],,, 
  [ 17051123329477601882753 ], 
  [ 107324084931001188765534279329268381
      11665919183735229282434548994772377687247036701 ], 
  [ 10090714667599691703173768530156659719116673745545705572588437 ], 
  [ 12181911013428967 ],, 
  [ 131697322129415631390352294321829914160446496495910804257 ], 
  [ 4318459021737514958809374729891 ],, [ 986351994652796834917 ], 
  [ 3136912784213689721521953424185548093139091140157 ],,,, 
  [ 3217265397745368117683193365145467600690630207969 ],,, [ 1125906361 ], 
  [ 42815067829404240733200253236840773741
      114181692138942918463041913734474313 ],,,, [ 12018151139796961 ],,,,, 
  [ 10611343057079161 ], 
  [ 61744455301282991280587817331092069428021397797
      25943588171167484176519 ],, [ 1761753841240128890681 ],,,, 
  [ 254645948718438737290237800026823191110797 ],, 
  [ 837773536594977293540959989612653427257
      303760788248795420644104113496229 ],,,,,, 
  [ 3303099901358065264735640356300030002518476400824903066017581 ],, 
  [ 34954868167300592057 ],, 
  [ 10402042573831692177250890008669076199942697 ],, 
  [ 93440705604743105345419 ],, [ 10962152174449044706133553 ],,,, 
  [ 8323915774849148471523633973861889 ],,,, [ 1463391469 ],,,, 
  [ 5132295656332470100194952741258993819344201 ],, [ 4857905677 ],, 
  [ 2120958421 ],, [ 23570447489 ],, [ 2983737121 ],, [ 301477160345521651 ],,
  ,,,, [ 46086932655371462527806125939691643937 ],,,,,, 
  [ 14462489912468628469 ],, [ 3404985473 ],,,, 
  [ 2278602337344905709285893 ],, 
  [ 388778614122459442970121799948834768068417682483823501274981 ],,,,,,
  ,,,, [ 4250132289334994282332561105251915992845623837735761 ],,,, 
  [ 92836187932164516236464609 ],, [ 4899555819451 ],, 
  [ 16592236412419167793 ],, 
  [ 103710165067001136438728869775135441404282244085616250985865024501 ],
  , [ 361652111484134693293 ],,,,,, [ 747029917111 ],,,, 
  [ 3354740512312139077478583071 ],, [ 171007369475753296729 ],,,,,, 
  [ 16561475894712534471757801696612421 ],, [ 6695880567119473 ],, 
  [ 2532615004123 ],, [ 6412172209985613967728606571173 ],, 
  [ 89057744811249164667944448859 ],,,, 
  [ 4357569123971220560102127834226909694488908369 ],, [ 1338291781 ],, 
  [ 373449337478362861 ],, [ 5281100717034336329089 ],, [ 1099636385741 ],, 
  [ 8632225181 ],, [ 59875380454187381822080822369 ],,,,,, 
  [ 54110513552956801694323639010980301111422082443280879301 ],,,,,, 
  [ 1502173259641 ],,,,,,,,,,,,,, [ 14863920011512887795521 ],,,, 
  [ 171730141335180761753 ],,,,,, [ 11481193655777709931 ],,,,,,,,,,,, 
  [ 40125553571438907439426672315739176941339 ],,,,,,,, [ 50559699401 ],,,
  ,,,,,,,,,,,,,,,,,,,,,,,,, [ 3940017229 ],,,,,,,,,,,,,,,,,, 
  [ 50108655975396000941 ],,,,,,,,,,,, [ 118282045393565970829446041 ],,,,
  ,,,,,,,, [ 562501926131025585221 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1432360935113218350551079851 ],,,,,,,,,,,, 
  [ 63132540517393300780915388363144429697312657 ],,,,,,,,,,,,,,,,,, 
  [ 1494801128683708814492489528598194150081 ] ]);

¤ Dauer der Verarbeitung: 0.13 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.