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  brfac969

  Sprache: SML
 

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

BRENTFACTORS[969]:=MakeImmutable([ ,,,,,,,,,,,, [ 1490816357993 ],, 
  [ 3441008341 ],,,, [ 176580856025083 ],,,,,, [ 166337980196407521775651 ],
  [ 1590504400967 ], [ 8547067617747931 ],, [ 3494136696133275181125694847 ]
   ,, [ 1847603022310213334714759810933981 ],, 
  [ 21265998931116572564516738177 ], [ 68693182491200756920239 ],,,, 
  [ 426255575051735404623938331 ], [ 179294548693435714802368733 ],, 
  [ 10010813423476715731654933744173 ],,, [ 114185700641148068020717 ], 
  [ 8243077819411 ],, 
  [ 7101384041818512515724547012716983230948691895728349169476594294587 ],, 
  [ 32901929291944450609114352789 ],, 
  [ 1933044085000090266927896962721346022417 ], 
  [ 2143582117573356082117393877 ],,, [ 275277183115116420928234725411 ], 
  [ 90516154457 ],, [ 311330556191405618347047 ],,, 
  [ 10528625564003921516297761974752228171859 ], 
  [ 7735131161221488878588137255015592059 ], 
  [ 28548249748322589954545935955959523 ], 
  [ 419966460268685847466811118354707515457 ], 
  [ 744146728124782274088124883930097009114583763742581341929676293801 ]
    , [ 131514725438240159929 ],, [ 46304726231338673177 ], 
  [ 5244939918116847395335097 ], [ 19444175218854171661 ],,, 
  [ 35490592261161083 ], [ 1541468880701 ],, [ 66458784815219991781 ],, 
  [ 5367418530631133946351181752149 ], [ 224784951320283468127609 ], 
  [ 843542704115055169579600285137334278194860886481 ],, 
  [ 136746743425954642244400957814057225053659592164081 ], 
  [ 45855167032032794607067387192458851 ], 
  [ 149230824037424257540200223661 ],, 
  [ 6428713344079543023820619133898046772549917935610100351877663573667457 ]
    , [ 288646832840167116579716489776711247280988417934222943 ], 
  [ 2310703233704225114555153 ],,, [ 32902966097817432018859 ], 
  [ 310411016592629666898589 ],, 
  [ 903840346898329293096366005406297641743
      22157678225301933115434610263794180028872603 ], 
  [ 2652221757175315343760418590721850026426168129805729400641511 ],,, 
  [ 113286938704591 ], 
  [ 738208762931910711101899446706207735288126031100435224393069819660601 
     ],, [ 6329516652307732278930047493932523381732318809 ], 
  [ 2042669450059528314164021118812693233 ],, 
  [ 626427595310174521678288063243730944533934119743909301041500601 ], 
  [ 724539338754162334286892221 ], [ 14113422644054560593893962867 ], 
  [ 131376038978990984176237970689 ], 
  [ 1068955176932721798492232048068903782091615143632407857 ],,, 
  [ 1988659540431727867266708131 ], 
  [ 37103123691331202685600228533493073 ], 
  [ 106215967410256840141876179215173857247787 ], 
  [ 209361049499696991488785725600151223643121 ], [ 89389492411 ], 
  [ 10711976269242648528329551130282287532956839361 ], 
  [ 14504443211202072803921824823 ], [ 35881576988772963873535277 ], 
  [ 5953284858293753 ], [ 9264341679268697338975882681 ], 
  [ 45354722078003980942324571037770352801146906763358175552976093469 ],
  [ 110730172042014470476239064327178700749395434223277 ],,, 
  [ 16505859138751 ],,, [ 126333849779883894476974268541566229121 ], 
  [ 27637905742087 ], 
  [ 5170660087036261871507430861481444826911437612418610551597247731
      1784443201923213143905711301848081 ], [ 4791805536559 ],,,, 
  [ 3840659551 ], 
  [ 1463131249546998760428154185291459269088393127533578367001 ], 
  [ 955667232324102734873 ], [ 6348668749103954922704371447611471774929 ], 
  [ 339831318753498976118615793543 ], [ 335629915763801 ],, 
  [ 42542820643756483003275849429901635515899956929 ], 
  [ 20305229973615940331613261303831 ], 
  [ 543164567961196974371270351822773646171427568266993872348183709136603409
     ], [ 61305326333191 ],, [ 1255613813955163865959 ], 
  [ 420627227439631097397857413 ], 
  [ 20416224371550469445844949963123639286099390095039 ], 
  [ 29987569551994860134086331877692399212050551 ],,,, 
  [ 885468111167526503643602532089241802198507
      307123433275101292593667103027 ],, [ 29552082658974435201143057 ],, 
  [ 177047871128071737910456681759345876983170201647045649605793067089 ], 
  [ 429163114165322787784836594863 ], [ 5852350572955446522881 ],,,,, 
  [ 188529627120343971637180720496730975201464875142766165857234521 ],,
  , [ 64909310920108076788926659558208676320881666467098233 ],, 
  [ 62055983714877871 ],, [ 6672736231683653214381929 ],, 
  [ 416970642125867029354109 ], [ 7365015701 ], 
  [ 655893377471727405649671985784070373358609 ],, 
  [ 2002161618619396893515404442145517117282294614624371931369 ],, 
  [ 1865564118340212777614018204321
      12220030256329220322339182124780569974434305521 ],, 
  [ 121529886671325997565347620257 ], [ 1903501437672092119 ], 
  [ 5662819708607696759622503855700026775433 ],, 
  [ 182584663108348307749298258070613193 ],,,, 
  [ 143685318041218025191141 ],, [ 568457672187159837467713 ],,,, 
  [ 2997660145349814860723587969883061 ],, [ 1291723742685619 ],,,, 
  [ 1271263042931225865789 ],, [ 50523082673801322019286617 ],, 
  [ 1081817007970871 ],,,,,,,, [ 1699015509096018778366763821412307 ],, 
  [ 17601039073153542689129 ],,,, [ 578865975292195900689885417561 ],,,,,,
  ,, [ 44540221138814138184991306517 ],,,, [ 10819180812601495530761 ],, 
  [ 119442335375928241 ],,,,,, 
  [ 1048200504128235772469549464191463496756776110268641
      206029334315617632543042961 ],, [ 1233185514976917679 ],,,,,, 
  [ 1725785082705298826914469138749593 ],,,, [ 40381345680982741 ],, 
  [ 1368354235738241698219120470873654927 ], [ 7469129687281 ], 
  [ 6397818049793473888163208961 ],, [ 1167816877 ],, [ 57675580006201 ],, 
  [ 198050673463 ],, [ 23856627961 ],, [ 32732416149616541 ],, 
  [ 414156951413 ],,,,,,,, [ 77583001081 ],,,, [ 159652659601 ],,,,,,,, 
  [ 347313098892709325635362679457 ],, [ 1541445701 ],, 
  [ 9245431330698260881 ],, [ 1527263644212027993883564192088192239501509 
     ],, [ 66361338174777589711473 ],,,, [ 4301173291167901 ],,,,,,,, 
  [ 4707303217206057114033 ],,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 2946625573932773451182639201 ],,,, [ 580034866117051261427701 ],,,,,,,
  ,,, [ 41917083251353843334601 ],,,,,,,,,,,,,,,, [ 102776562564913 ],,,,,, 
  [ 6921158117233 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 9279543433 ],,,,,,,,
  ,,,, [ 18939181812302961066490156915131451605826281 ],,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,, [ 119999498719717 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,, [ 39030469039675951 ] ]);

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