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

Quelle  brfac460

  Sprache: Text
 

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

BRENTFACTORS[460]:=MakeImmutable([ ,,,,,,,,,, [ 2058160633 ],,,,,, 
  [ 2301406282654578289 ],, [ 5232732469 ],, [ 1803575805223333 ],, 
  [ 788524100263969 ],, [ 13176819445161053501 ], [ 12021622839019 ], 
  [ 55157927788898659 ], [ 4083306977 ],,, [ 10847175924378604787 ], 
  [ 35422360657729 ],,, [ 255896531811441770016933022184311 ],, 
  [ 114834228736586336612523478859216601123292837099 ],, 
  [ 40190652685483 ],, 
  [ 4089746519839358119022237070576889550446421569963060167 ],, 
  [ 58466081226887213316317900092605166177663543277672675733 ], 
  [ 241164053084651621 ], [ 13553087884526341 ],, [ 432730017116567 ],, 
  [ 10968118781318688049191195844153147287651 ], 
  [ 8782574759351300774998624173301 ],, [ 79863511157 ], 
  [ 72862926707423668531121991497829
      11452322836957002601311200862982899590056178380983331 ],, 
  [ 244570468582130722272451505539788716600791 ],, 
  [ 24945260321816973112203396315312297790071473994342563 ],,, 
  [ 39212280169730341 ],, [ 5754787925333 ], 
  [ 5031346257175896917935513135547570670010159 ], 
  [ 12031736186450990099161094844650732673 ],,, [ 4117840637 ],,, 
  [ 228257562414294274229608581 ], [ 8854877112736163 ], 
  [ 666395501266089345097 ], [ 233967045899 ], [ 26669883693577409 ],, 
  [ 3025856173 ], [ 26542245786714175686587651 ], 
  [ 20339872410153330112461241 ], [ 18301947506243 ], 
  [ 86739338371364187601534972621793656697008401 ],, 
  [ 1032403289128562820973672635461662445970822433169720927397
      1216749248965871274755039 ], 
  [ 17390095759262662073350043317593982304367713388061 ], 
  [ 5273576319492867565769153 ], 
  [ 1772664018118285059921225456106317555399173539393591 ], 
  [ 26579926826880696766261 ], 
  [ 1395682537517702942510211981229734088528216719
      11992456602632673154999909906692226349479 ],,, 
  [ 43350050316698457156192788191 ], [ 870404535568134267733636532111 ], 
  [ 6217663327693082924979317320779673841177166478429884352001 ], 
  [ 1429335601571749087624085791261546665179 ], 
  [ 36402656665843457517073434857927129510811523871 ], [ 18056522844401 ], 
  [ 4954717391142554595943969 ], [ 2620085431 ], 
  [ 2542737214810438997029068601939139
      78887015287384663144746346397525734669 ], 
  [ 525448921943565193341886599122718789341 ], 
  [ 14551160071015790548533001 ],, [ 101105704942180678546446953113817 ], 
  [ 295982290573442461 ], [ 1421781401 ], 
  [ 5496308528927010309592519682427011937899221 ],, [ 92057527612879 ], 
  [ 2255593052118679128533651539177 ], 
  [ 34141845106554518116212492655402437498231 ], 
  [ 1452409662166638162739463190245151 ], 
  [ 5353101967159095571314109550571875770821985726772238094491
      8288123676076676151495084042782069720388190426916558197150301 ],, 
  [ 3030753096859 ], [ 62435905331910724054350497 ], 
  [ 40509638261638380269395941 ], [ 3590093321088709 ],, 
  [ 403741468526365116027457056854936628836767133111481150829864147949 ],,
  ,, [ 153447073913501654370814048983 ], [ 10110551597998662072296975917 ],
  , [ 6563609501 ],,, [ 244453520619537917512482223181191041 ], 
  [ 6651833917 ], 
  [ 16288546311666329991212404329627111261817792114814871
      862853430251087662859450956744646101 ], 
  [ 23685284177567131176346500937 ], 
  [ 171330675416349637717563576143825998291938137 ], 
  [ 81458333736120008115883 ],,, 
  [ 89698014073543415314259884067736127545939957644351497 ],,, 
  [ 1194089509 ], [ 16198274931581666463381153740241 ], 
  [ 45717142484308320016906169813991023595645833175813 ],,, 
  [ 170952584401209549469585741512939805731926435697 ],, [ 62119804937 ],
  , [ 7652655091409 ], [ 478005694889 ], [ 246723688172251 ],, 
  [ 483656659743514075184572121 ], 
  [ 607824060219217972241723440925417827539621388455274029 ], 
  [ 596117248343 ], [ 4986489811913746262251721811779051834748982711 ], 
  [ 5730071650937953177 ],, 
  [ 1837720791727382857129283978625218754676115963729878074567558278821 ],
  , [ 177439930810628814998892185883246319015619443626840961 ],,,, 
  [ 21157698269316719666230488743002489 ],, [ 11388607787 ],, 
  [ 674920011511323691455377998521000006617
      198698610488900528694567783351337 ],, [ 6012000159184781 ],, 
  [ 5763517901 ],, [ 759645593660341 ],, 
  [ 3039758132017729259265146752816172671226980456188529 ], 
  [ 497912728485856213 ], [ 12895691534514711872871503664169 ],, 
  [ 10365741712336142830291012636500192981830383969623371699961721 ],, 
  [ 155930096313083 ],, [ 5042925538304995056040148641 ],, 
  [ 177938757846914128698518149190134044083034651473054603
      7328514498806586014452685656625709367 ],, 
  [ 22646899308433704416518421609580969 ],, 
  [ 1211268237609380114989807673455239510992901 ],, 
  [ 21239235692909529765539643064543161841799912533926891748712831458668353 
     ],,,,,,,, [ 165353796980391601 ],,,, [ 116037891454056219926644033753 ],
  , [ 105673618793 ],, [ 4516534397754921684494286494806378903332657 ],,,,,
  , [ 37487893579347641762031081 ],, [ 1929015376676569 ],, [ 2378159167 ],
  , [ 126203649011246686624824319386446861 ],,,, 
  [ 34862412492045820744498770401286402694476239537953 ], 
  [ 20307086753770801 ], [ 177720646670198514111914807706043383265979 ],,,, 
  [ 15866949538981223521735718257234008849849113999096828756401371
      6491874081292618153681287849652184043270656755391
      7422884370823520484943650469361574544058469648845431 ], [ 88277887237 ],
  [ 5307683473 ],, [ 68838044653639 ],, [ 167634679084773097 ],, 
  [ 99890618947337 ],,,, [ 665153335421807 ],,,, 
  [ 10492911798113916887545213994919869 ],,,, 
  [ 10598519460013158334165751 ],,,,,, [ 135025754881 ],,,,,,,, 
  [ 32075270773053772233656382433 ],, 
  [ 1211129956176121586958517209122843529634508561831 ],,,, 
  [ 30101219814565891304565685390897746900807431 ],, [ 70873325953223681 ],
  , [ 92229621850393 ],, [ 1052919247573800906706372176402918470973 ],,,, 
  [ 797976700836114182975409957212599770806762250016847145041 ],,,, 
  [ 832815942189524511823757 ],, [ 123731674639 ],, 
  [ 11701770664337801671832453153 ],,,,,, 
  [ 183612202336883469239839355517637410311418994681794463223839 ],, 
  [ 863759161232082161 ],, 
  [ 265298374013044557734373016352362618138352309 ],, 
  [ 12850458107970182014049263981301435620510678688382427116639599601
      23229793331224052317885417640349227312579061333212023967453957575591501 
     ],,,,,, [ 101350693909 ],, [ 12080811693721 ],,,,,,,,,, 
  [ 12641208992131114271755589753 ],, [ 3179774119681 ],,,,,,,,,, 
  [ 38261262617865427632713047013206821 ],,,,,, 
  [ 34013981115073439972152972182209 ],,,,,,,,,,,, 
  [ 78219576330118290163068671393 ],, [ 675252005401 ],,,,,,,,,,,,,,,, 
  [ 14509475983 ],,,,,, [ 2691980233227101058792449 ],,,,,,,,,,,, 
  [ 4363821697132573541330561 ],,,,,,,,,,,, [ 62770128697 ],,,, 
  [ 1758460032001270478113948070801 ],,,,,,,,,,,,,,,,,,,, 
  [ 20820445811704866330581 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 63642131943751562310923139684101661297286147665988701 ],,,,,,,,,, 
  [ 86161091213663216673681 ],, 
  [ 1163455935195825031272029218789346835818831283 ],,,,,,,,,,,,,,,,,, 
  [ 412679490456833485386576130935471173888864042325951948355153601 ],,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 191477527073184017805374908024879071464951996134601
      125004466112479037405669130334300131723601 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,, [ 43182527665600113675374340572294401 ],,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 6265087999962626881 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1058292884962320114882124646079946846000120544035613288130261210801 ],
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,, [ 43720960956394006824609601 ],,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,, [ 475733022000167523737642720037905596001 ],,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 6334657670401 ] ]);

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