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  brfac782

  Sprache: Text
 

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

BRENTFACTORS[782]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,, [ 127386952412641188034756832763 ],, [ 12512050710251 ],
  , [ 20942960751041617 ],,,,, [ 2027362507 ],,, 
  [ 128565005241054653485641363252228429635803 ],, [ 49948376327 ],, 
  [ 231059742581449 ],, [ 25212027295110025957372131 ], [ 7744326949 ], 
  [ 2121381269543557028295053182340893 ],, [ 3152443009 ],, 
  [ 3456994408924039279449821175398405521942973335710117 ],, 
  [ 30585016347640591 ], [ 28342189931554680257221389 ], 
  [ 50226109182154296420421612035144735125391 ],, 
  [ 286665625307459547139684912286490873512983943407001
      21351798622949043180389609 ],, [ 451990098872812878233073602931247 ], 
  [ 2365132951293962920194360713751 ], 
  [ 6599496620543666175674460511194431326777 ], 
  [ 12613889761244129708668604762737 ], 
  [ 3315301375787741769952093261589191649998811590221
      1835669551381466944225154091728964629603885550733 ], 
  [ 2668005125294418840893202479 ], [ 17223603338827896671 ], 
  [ 1692464097340332401 ], 
  [ 44591306283121018132926893297618601777877547823861 ], 
  [ 86733900220679444099212776979818165817 ], 
  [ 1430599679940762026455412907471 ], [ 54760173937269181 ], 
  [ 329638931389 ], [ 21586007512372178438214859 ], 
  [ 14207988071637410950117954764405310109410316776300332620311579 ],, 
  [ 9793151263351 ], [ 39549150029670500906675011 ],, 
  [ 338496170209540279673729333 ], 
  [ 9807505993243852086534133240465815772382738177
      23704946275679548080389120385638590685089 ], 
  [ 18447639711683669316157871429181161 ], [ 921389586480937231707901 ], 
  [ 3271401244964709121080937724468830579784457 ],, 
  [ 655567352129867140075917 ], 
  [ 7969029040680446070149778980834255683408849298801 ], 
  [ 606123715573673987731793752779933 ], 
  [ 1007016610612255770886707910209688869840397619383613143 ], 
  [ 3906919473732610462457171 ], [ 14277239313483893 ], 
  [ 3589734249611955154990498577637201484907296241 ], 
  [ 274118574849292424143 ], [ 2568444527189 ],,, 
  [ 3645489521177192572512649038437651 ], 
  [ 87942533595282865737421030002441771739
      16578237931838791064070994202711355631 ], 
  [ 1442405191988049809332871136838660915001724453315453231670479241
      39047168776010100351523 ], [ 25767861549195464522202673097 ], 
  [ 25418858351 ],, [ 14813576597 ], 
  [ 717061379602790212846229219299038853958106751519921 ], 
  [ 72087010393185304115086846154897 ], 
  [ 2131343905021286955687235839
      7518816154508279907054017391089963248954781 ], 
  [ 6934520041123017437021478161586077874996594235311 ], 
  [ 7372190422603648977577785849217 ], 
  [ 632779534818791416399207987594013144235383072114499 ],, 
  [ 5358257887753 ],, [ 1487368219 ],, 
  [ 1076226729712731480213126353878782568819 ], 
  [ 1184517323600591420153314611645053134268367534070112877337 ], 
  [ 3156999039211422417999191532542417269840161941 ], 
  [ 945235011431475333023155903 ],, [ 7997513545642861 ],, [ 392138373331 ],, 
  [ 197494435508983618402993 ],,,, 
  [ 801965613290922318433345392499245077539209713
      870488595630248975817740782153 ], [ 2652812839 ],, 
  [ 4049413136735177425586380952448927 ], 
  [ 2190148841161248799254510478624805934694818397003841 ], 
  [ 109206218846925553 ], [ 7295951571994898818274407 ],, 
  [ 9335010079955893126240164350061422049432669 ],, 
  [ 12514456093106600848710626936411 ], [ 67922844121031996888022372179 ],
  [ 107929576310252812812573642398878802728778586113 ], 
  [ 7909842691939026608331821569994118764854029373731 ], 
  [ 452705193544111247173457467648332807613020602037431127849181153421 ],,, 
  [ 108130356716224980023116083882716271427 ],, 
  [ 2504858391915318306188170654008531994778261 ],,, 
  [ 2083521738759710006369057014171347198868026264690219 ],, 
  [ 2419070037129051601681354526592623109968344401 ], [ 10391128694699761 ],
  ,, [ 3001576812491204049033971489 ],,, [ 16631810839488669259 ], 
  [ 8213992009 ], [ 1107235093139517697791904371 ], 
  [ 4868926546782730922130125146248283979167051 ],, 
  [ 47550725897438747608449100247338989326788331195237172014522930649 ],
  [ 234705775466863 ],,, 
  [ 418918972516514634520212864950005672017911926224245521457
      134770124351638398881081742259202473 ],, [ 14205069110683887063557 ],, 
  [ 171021699298685513499452334416481876948275185804302899576641 ],, 
  [ 33858366301791379 ],, [ 17067691849811532261469112749 ],,,, 
  [ 9193584254659338090232168360380637012662820100866378561 ],,,,,,, 
  [ 30008390860136469964078101 ], [ 73737871685808529 ], [ 5847048304879 ], 
  [ 56870244220723 ],, 
  [ 29555181324163892329600601259342213779511561
      118523032488798258835007716365181 ],, 
  [ 204734285244771570419587147424394624883350119083416496929 ], 
  [ 10394740507003 ], [ 2145448244912857366307733445893929 ],, 
  [ 57370312627 ],,,, [ 5333439952807674110475282084421007891 ],, 
  [ 53936265793 ],,,, [ 700780815701 ],, [ 80724565765016713 ],, 
  [ 21404397778801 ],,,, [ 3745501609 ],, [ 92785863890413 ],, 
  [ 1111181173784841110849 ],, 
  [ 138841087958018676178406896415176663376107361362993543783813771 ],, 
  [ 6037597777871127437 ],, [ 162625222873 ],, [ 12731177104057 ],, 
  [ 353936555148702710711 ],, [ 436166571437957141 ],,,,,, 
  [ 119144903191391283344724728714384532094204072872195953458788060633 ]
   ,, [ 135955364892585915740057369 ],, [ 524766524551 ],,,,,,,, 
  [ 7207510877764210259 ],, [ 4242701513600323382207761 ],,,, 
  [ 63324930501337 ],,,, [ 4063048729136095138162457 ],, 
  [ 850178106251182094326813665751581345762810387132010702252429001 ],, 
  [ 44654558773644476290115500912972170195622599597 ],, 
  [ 15218769024388123 ],, [ 7663428387419393469888718313671681 ],,,, 
  [ 26492259437801694254302209366730261 ],, [ 10829591317 ],,,, 
  [ 36540928327260627288111 ],,,, 
  [ 446131172852111084506235402511532194065791445781 ],,,, [ 1611385507 ],
  ,,,,,,, [ 30390750295177 ],,,, [ 3979068809 ],, 
  [ 11285035211786868209067758767074893600223399508235367041423937 ],, 
  [ 227873318970641 ],,,,,,,, [ 177533611750553727211 ],, 
  [ 6383538750159624428071173520901 ],,,,,,,,,, 
  [ 136438052511184960438910331 ],,,,,,,,,,,,,,,,,,,, 
  [ 207895050114159908291 ],,,,,,,,,,,,,,,,,, [ 1916796315624997 ],,,,,,,,,,
  ,,,,,,,, [ 1151965638726244063308411640613 ],,,,,, 
  [ 1186600021306661146340551140209 ],,,,,, [ 1091866987 ],,,,,,,,,,,, 
  [ 422808186914074072801 ],,,,,,,,,,,,,,,,,, [ 3075824281 ],,,,,,,,,,,, 
  [ 7683715696861 ] ]);

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