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

Quelle  brfac167

  Sprache: Text
 

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

BRENTFACTORS[167]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,,,,,,,,,,, [ 423816863419 ], [ 3999044995093 ],, 
  [ 2647236001 ],, [ 786620975910252110935961 ],,,, [ 1980976547761 ],,, 
  [ 185508123518757617 ],, [ 397179332521 ], 
  [ 25880458875494004600254998053 ],, 
  [ 669890980861240883643355313089138735779 ],, [ 134131350622141 ], 
  [ 2933442541 ], 
  [ 1845008310132069597518936315361966737332497924964346570400757909 ],
  , [ 26416390869824154977898332634959253138731 ], 
  [ 12197907808904678625701 ], [ 110568145822071547642284329383 ], 
  [ 419693152723479083437 ], [ 6811531814015088835030522496718726154591 ], 
  [ 1450656001 ], [ 205767072309830261390215110256169741690588797125616881 ]
   ,, [ 6520487468337358162387092251017641886883 ],, 
  [ 865766981773606775661803 ],, 
  [ 6420640737860253481153768648164375010161212659202085432128767638479
      102171865945175078417899408854247718783107920889645836085083473 ], 
  [ 229729441031 ], [ 369735728317335568299131201100184420866941 ], 
  [ 3508588609 ], 
  [ 2500178694135753028588444714647707088342380306930591621 ], 
  [ 63802752731983 ], [ 44387231107114819606333837803641782109667493 ], 
  [ 28586084393220933952077 ], [ 529314313691151640256780953859227 ],, 
  [ 358483166532076473077958629077013408306985025076090203 ],, 
  [ 333774512971738252216075051
      3468967414390718810463132665188135253725101564956712161917451 ],, 
  [ 524705550013941572372537801198190195291585351 ],, 
  [ 168838473497135857204127207955126135157750580420373 ], 
  [ 1945866444082048374108223 ], 
  [ 2354512869853854231115276298286098695571654145212431606719549161039 ], 
  [ 20280853314506415546362909767192241 ], [ 150505072756543 ],, 
  [ 32977105425749154440707725204336565750492861343167
      48191282702234880933158507844466771838111608055490673365659415715771
      26585947967496388726707704988427746459113215001932504943 ], 
  [ 9061402514835513175369 ],, [ 1375437474123369915523040073293 ],,, 
  [ 
      362282965028215698279947811461514885918024360524038031511915701755066162983\
47381855887 ], [ 1674200547144919052460043481 ], 
  [ 697224584239157202498434813705495705725874168831875881 ],, 
  [ 12282085218400888267941831504123967 ], 
  [ 315048031357982590533318979523420363 ], 
  [ 10632979242987147971984131330122674082945177398851
      117316487745157268921 ], [ 2295088382415038689 ], 
  [ 30411094691955547498083172698745527
      2687366787720452903302568565175202147
      1311350990707330046891690127350409976761668790203761901 ], 
  [ 13871858277977690088481275759733259 ], 
  [ 26556950335812146509990997006517547 ], 
  [ 478453584160151007813799860196039467599934860422409201 ], 
  [ 4789120387903729370912936774195727 ],, 
  [ 1196244852071
      513737809687020583582709401362729037802890413098940680148650510895183539\
0106797388434684257 ],, [ 1098698243322395538286256207942392203730351 ], 
  [ 9298013873 ], [ 2730384984561175475627020589 ],, 
  [ 218793742441425320615929601925396089919404942029631383744941964279 ], 
  [ 663985519417120587895379799345322371681 ], 
  [ 12421867869680535886319629 ], [ 4613118489281 ], 
  [ 9456357844862846990529107699125639743091331877766447038775621 ], 
  [ 3518624890705081 ], 
  [ 23158043756591179533112933467646327094710425396341 ], 
  [ 548750200151833365471722195486504438489083165606079487780333 ],,, 
  [ 149831777868664291 ], [ 646534490054413915378066528639961 ], 
  [ 4966998964094776295347 ], [ 16572915083359374432817 ], 
  [ 116811301111471466423813763469703 ],,, [ 6828890917213 ], 
  [ 4343448997190551 ], 
  [ 2861203592241449879317747352887591234531895643015026523245676951340673 ]
    , [ 26325316901677 ], 
  [ 8692722807288012673209149644919842581
      4431223553789927607342406682540441 ],, [ 187998097057 ],, 
  [ 48622179286833817837729
      208427552283974717174482098579644126149073816663677045393357 ],, 
  [ 16850183732871851852497007474572584317168205329 ],, 
  [ 4465160469005020529623105471739415469 ], [ 468222699293427102473870349 ]
    , [ 41405170476181876735647480121 ],, 
  [ 12013575437277452054265827906409991425774350713
      1023636012844076679359855220026691581926267657283 ], [ 8288541681421 ], 
  [ 11512404712813180605418577170088338188748773796578561
      19192966885732217986450868710609 ],, 
  [ 1455991679518135067178677159813843935467783
      34909198403610776258772062606776538839 ],, 
  [ 6407657650409089826044837553 ], [ 2813625426487027 ], 
  [ 606786009012319215131801 ], 
  [ 3695625242589631523574352747961110621411362559345043147363484067 ], 
  [ 138312941952974729074289792911147434168482977
      291157523450213240435987897420085867093292049081057 ],, 
  [ 55863228149159356195793415906999432232269793333 ],, 
  [ 4068830377186679101337194893995193394126572107517442655490732744457 
     ], [ 441524509141 ], [ 11676770350250035820128606340797 ],, 
  [ 864008065840117454821426088526415305541665238561 ], [ 116720831389 ], 
  [ 355216566773770425927126133592288738221973206795583 ],, 
  [ 2005708028781902094493058195206330106654213 ],, 
  [ 490681347347174575013876406289947025746131856144369
      395462714975827173438719244439185072675397 ], 
  [ 1001953110409669806250678629514045626189 ], 
  [ 205338650530789071801168049109718708679666333611974871932273 ], 
  [ 1862324231 ], 
  [ 5416880566161371143058171302775564138989600473170948605465091
      11862579031957108828143894637320359461 ], 
  [ 748768132710164588140299817451 ], [ 52362473112637 ],, 
  [ 20490024589106281002119
      127067992873188344775530899505292756622203955093 ], 
  [ 2341837654835387801 ], [ 1521168950530763777 ], 
  [ 691828815375141740617919572695551 ], 
  [ 15313659937648587615091517722721792219 ], [ 1116423359210067915886459 ],
  [ 10972946213833460267655285226989250390580686681 ], [ 2459687917 ],, 
  [ 140673982467755053 ], 
  [ 125976796375964009865495176809796749422542371734703786832782569
      3137594790220676869084654263020376097 ], [ 1508775133471 ], 
  [ 665236259791128724267239180979060691251537772951 ], 
  [ 42292914467267972933581 ],, [ 180417100520901259 ], [ 7353702431 ], 
  [ 1707293657883554459 ],, [ 2889684201159673822840490341618355391651 ], 
  [ 92005134539739727096163687277579126411208298891612851
      74538808328563013309197 ],, 
  [ 1135687309762478304294545142126972851010941996397
      224779358784517663412403840851525734608227095484490207176353 ], 
  [ 2700004884982519441837 ], [ 3450493531145721996628989172853808137393747 
     ], [ 5744016085093147 ], [ 157188995567801 ],, 
  [ 115390887637227915256530331655213288134369 ],, 
  [ 45038679117202544989 ],, [ 2022993926789667649 ],,,, 
  [ 60049877486904088870554590627067673111 ],,,, [ 350994088023407 ],, 
  [ 38771255114929 ],,,, [ 17039231708127658299612730057563709102263793421 ]
   ,,,, [ 1237939296161 ], [ 18881500501 ],, [ 65436863583699318880699 ],,, 
  [ 7000309571791112613664696578812831110215958231312262992332799370541 
     ],, [ 2197038841 ],, 
  [ 157318362990372188066361486956891313123935767696752637549353 ],, 
  [ 28001113733 ],, [ 17067726131 ],,,, 
  [ 890304363602743213558690076069867 ],,,, [ 218232577964546140146659 ],,
  ,,,, [ 29371742345989491156916713569 ],, [ 1254628937 ],, [ 11721742849 ],
  , [ 40857762377343786209466636266489 ],,,, 
  [ 11445939459471695799066382614723 ], [ 124465101335389 ], [ 1844041057 ],
  , [ 36906570093527 ],, [ 7550929481 ],, [ 81074377172954675787931 ],,,,,, 
  [ 439211445853772616614455869465435564532927386521 ],, [ 2139834864493 ],,
  ,, [ 482025319891 ], [ 1062384264118001568651827 ],,, [ 1663879672027 ],, 
  [ 64495723610082627649 ],, [ 408174672648167845686894561 ],, 
  [ 172119298969 ],, [ 29664287549898575119519 ],,,,,, [ 533266230901 ],,, 
  [ 1770710533663979618309679161393 ],,, 
  [ 1215713703758000225473127783321320143728307 ], [ 3046893953 ],,,,, 
  [ 1181886577 ], [ 758927727113 ],,,,, [ 2902773371716385870413917749 ],, 
  [ 14283318411582588534762561201864247215889491841 ],,,, 
  [ 1342912593683737 ],,,, [ 9808430228617 ],, 
  [ 631568359291113479245312161851 ], [ 20601591599 ], 
  [ 96409885305712936604166384729 ],, 
  [ 3760684691149741174202594386303138831827 ],,,, [ 187403999743450283 ],
  , [ 3366696456161740311595593641 ],, [ 462720933271 ],, 
  [ 2012746132979664040817546868970523233 ],, 
  [ 6107016402359359410997023323451 ],,,, [ 37337387516197950501 ],,,, 
  [ 19647886771573174939409296305773 ],,,,,, [ 16321390633881547565401 ],,,,
  ,,, [ 20156064365771682135190849392366622921243296743 ],,,,,,, 
  [ 1652929279 ],,,, [ 36572754885348794182901514736337370374313573867177 
     ],,,,,, [ 37187934337 ],,,, [ 13701890211746928097 ],,,, 
  [ 625732548011505597045681 ],, 
  [ 17100081271147990074246792500354336240666121 ],,,, 
  [ 17929845372431197 ],, [ 111645256344011620017703835882229938001 ],,,, 
  [ 3438511873883524695654811007477 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,, [ 79331793617471887 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 70393025449291691863907309135852865238464120700497 ] ]);

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