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 7 kB image not shown  

Quelle  brfac153

  Sprache: Text
 

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

BRENTFACTORS[153]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,, [ 4526362097 ],, 
  [ 25347741301 ],,,, [ 509551138759151 ],,, [ 5807495933 ],,, 
  [ 199059882674442404723 ], [ 2073364481 ], [ 1688571391981 ], 
  [ 25015188869871173 ], [ 31722086219741 ],,,, [ 4700099351283253867 ], 
  [ 10385127514441 ], [ 17371925934191 ],, [ 20723061209 ], 
  [ 1254298842058681 ],,,,, [ 400681677483399574901109041443886249503 ], 
  [ 109336387489451 ], [ 712485513589624889856432275393 ], 
  [ 4066679714501 ], 
  [ 77183510994776112543114314724371941686887890663715464720079 ],, 
  [ 896425694011 ], [ 15953914905894608221321 ], 
  [ 8550442891341307541098826557130218001 ], [ 80582402562511511279003 ], 
  [ 719464901538758773 ],, 
  [ 3356839705628317553287245493891309437357233787290671699451 ], 
  [ 1106951753157774220756992085283 ], [ 165475710041719985839 ], 
  [ 20305044623041 ], 
  [ 2715940461191014176773011613052292417271443641755021 ], 
  [ 30464955893923 ], [ 2197815825482730817277739197 ], 
  [ 40071241440001191653897145292169 ], 
  [ 23263497629819415799124403656427863 ], [ 901934686801 ], 
  [ 3632624176420872806933914719833142089031648167863304443709065989
      798148964619446106091004839823077 ], [ 598829621016961 ], 
  [ 1625868074316214516737044313139119953477254889119932894329746626283,
      800130284547753491611430171773 ], [ 93672522617383830742066595967 ], 
  [ 4302068401166448107512141995626213301 ], [ 1580943198540473 ],, 
  [ 293785362119158186673216891 ], [ 3705551249 ], 
  [ 9887808961111917049288791158256561 ],,, [ 572821224419975559226322659 ],
  , 
  [ 12682643285114581816691991268530721297296411687817971487996078982782871 
     ], [ 427057351639732369623992442897361 ], 
  [ 7785014509994735070089324186201396319555764435607832872896563 ], 
  [ 4627942688767685348161 ], [ 8692383649693210638576213 ],,, 
  [ 20941323033845741 ],, [ 12658516610339036506257157 ],, 
  [ 368330317023020533259554849 ], 
  [ 188060437108149517213512880076489154891565421 ], 
  [ 529786198665888425467250307677601914061431197374766855588711 ], 
  [ 674987459295723074483681657138385158550181977359223
      33422947887587519619911976721634359 ],, [ 71103041423861141 ], 
  [ 1071392089 ],, 
  [ 122373295133377792756326204163441692302501334755722405134914177 ], 
  [ 1932956538871375249828044714742100798164311987011936317020811 ], 
  [ 44640617616155381352439493767557 ],, 
  [ 6573150501631617546126393278871984233936139353 ], 
  [ 414821233510121733963527655576619 ], 
  [ 694612842129346207430366213571872720885978327061 ], [ 724439067769 ], 
  [ 2337322311004364068613723458747974673777729 ], [ 176805675030461 ], 
  [ 549127732808501714060913111001 ], 
  [ 40028955211634811142149031804051415519211 ], 
  [ 375195033488615500110408641057432228901688231834993 ], 
  [ 5604689152615298772547 ], 
  [ 51598485296415676515184894166749
      9766710774948415710681046910067563629127 ], [ 109901500816969 ], 
  [ 129793944117848719735585721 ],, [ 58244562692462873 ], 
  [ 296289503762356032847 ], [ 27628670640150911863552246973870787861 ], 
  [ 17944620882751 ], [ 357182600746879554448293683341262453 ],,, 
  [ 56046285829 ], [ 5414685176100721 ],,, [ 1220424824375440181 ], 
  [ 36419726629920038667404566472782605684629359539480172667
      319301190081639769117809878257 ], [ 128553778367144379541 ],, 
  [ 3076362074898494471 ], [ 8627355799 ],, [ 919753954128758195901 ], 
  [ 5944488178837703113 ], 
  [ 330732974831894700797617480667670173946677766909
      931351326611367990287478135843841852892846883973 ], 
  [ 221851705223740034644002786061410345154730930123207251 ],,, 
  [ 1248964503971711172399262122020250907054924701649422595135039 ],, 
  [ 4275609826096633 ], [ 142404466840817 ], 
  [ 2845739851131090405012200651708341949076245166801 ], 
  [ 159950781788686529 ], [ 19623377046356777 ], [ 289408267207 ], 
  [ 11759449914983 ],, [ 2031978154099921 ], [ 329548641953 ],,,, 
  [ 2035766921119 ], 
  [ 12411359670772455795121821758650520224712278669971511571 ], 
  [ 2242631726479443821 ], [ 4998579812012967332645150293 ], 
  [ 12882790672621 ],, [ 5910133007 ], 
  [ 146166333730879786444853187020828321 ], [ 2460454492081 ],, 
  [ 318127475148211 ],,,, [ 312378535122824158351389220813101 ],, 
  [ 24794546504863039404839127962782693979 ], 
  [ 224600560366148784353118824073373 ],, [ 856302815172421 ], 
  [ 39616272197431 ], [ 34675483032367087 ],, [ 8360934444274961 ], 
  [ 301685714521265366166424371 ], 
  [ 276420914715002608538141797670238688967 ], 
  [ 3151264201889182300945574023227870672533043 ], 
  [ 219719230657266179784178438594241 ], [ 71352237097 ], 
  [ 1859003928028691 ],, 
  [ 5161455610961473452377646083536800833745126719544786181812774830337 ],
  , [ 167390009401229187333425912041445162535368927396732997683548887 ],
  , [ 381912538573230925711991286597 ], [ 11758703786083 ],,, 
  [ 6524960356739614201 ],,,, [ 24795643544449517137609 ],, 
  [ 20221991137120126691 ],,,, 
  [ 4844618352118870457538802880126072800511081 ],,,,,, 
  [ 400562877844607113 ],, [ 16980688281361813 ],, [ 2018999407261 ], 
  [ 2042984871787833559 ],,, [ 26258893491937 ], [ 382663574404646851 ], 
  [ 21173465412526599908382513 ],, [ 2718724326175025171561 ],, 
  [ 16657042751 ], [ 2118494609001079 ], [ 3475701605617500375771611249 ],, 
  [ 127604940563647 ],,,, [ 42636205837 ],,,, 
  [ 362654084425761781374940158259 ],, [ 18040896157 ],, [ 6022794617947 ],,
  ,, [ 450298171275017269462153033954808918648241150251 ],,,, 
  [ 126542306233666987 ], 
  [ 177242901118103821913122121571450219243317198904374741
      2943133172606772374011 ],,, 
  [ 312344455909146635771480882106499971018120874515238207773357 ],,,, 
  [ 6393599101 ],, [ 89770485144132937 ],,,,,, [ 2681910506521 ],, 
  [ 510921920531781793 ],,,, [ 176817420314541711297871112222069 ],,,, 
  [ 21966585561942841 ],, 
  [ 3395216551159993447316342602182350506542265162783 ],, 
  [ 1901047473181929509 ],,,, [ 15019314076513356116545659208673 ], 
  [ 349619967835709 ],,,,, [ 3195769881697458035084338521739869359 ],,,, 
  [ 41852234861822093 ],, [ 2017667841537151801 ],,,, 
  [ 374141768976244336319749128773795360759713186823518129 ],, 
  [ 11689042696587973 ],, 
  [ 90853107801457756874035095547720273058345146069161034631095678341 ],
  , [ 25650799961152691602512696911421 ],, 
  [ 2936433240011798670485996941120386830172954201 ],, 
  [ 14581559833573521461 ],,,, [ 2138636497 ],,,, [ 7027116652875618853 ], 
  [ 2267574160104552718088268266651303392824439323248354971
      21723635432776046157917 ],,, [ 114311839744667267 ],, [ 1151457503761 ],
  , [ 40289007331843057871921 ],, 
  [ 1717568672412433350974164161374640917 ],, [ 737600853193 ],, 
  [ 76721450221649221200154060315009 ],, [ 86254750314080009351 ],, 
  [ 384656626813658617644881 ],, [ 5195161261 ],, [ 2253732384721 ],, 
  [ 60225722196080689206339008411725944486824513 ],, [ 5150587921 ],, 
  [ 1205685311382547451 ],,,,,, [ 223446118353701 ], 
  [ 679632054217027925786056678372187 ],,, [ 98307789121 ],,,,,,,, 
  [ 44951391372597118053434809841 ],, [ 1070833967695691 ],, 
  [ 116141093281566153361810301 ],, [ 181141290117245407037 ],, 
  [ 9799939169 ],,,, [ 266084992120121 ],, [ 33229365216539 ],,,, 
  [ 10906766909375377 ],,,,,, [ 10387616555682887977 ],, [ 16568382409 ],, 
  [ 2217528721 ],,,, [ 32239564018383855089880110857016307875201 ],,,,,,,,
  ,,,,,,,,,,,, [ 697757913846115004644510570556381 ],,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,, [ 6383624851996763657925251 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,, [ 1748497362166847216092301 ] ]);

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet am  2026-06-26) ¤

*© 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.