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  brfac828

  Sprache: Text
 

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

BRENTFACTORS[828]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 481454121527 ],, 
  [ 56351141239747 ],, [ 773244775240393 ], [ 58006143229 ],, 
  [ 105950196841 ], [ 53131515251149335866451 ],,,, 
  [ 461868567363886987791917471 ],, [ 15282398205512378041 ], [ 12833495201 ],
  [ 1455994966811385331 ],, [ 728391852393241197794800975558361 ],, 
  [ 5617309227250517 ], [ 8881580819 ],,, 
  [ 2326583553133002318929155073944176242991707028231
      4793114028431436403013572113901 ], [ 201585258757 ], 
  [ 11504334278725333786666856422270555013956091 ],, [ 2492154237061 ], 
  [ 165335526726164172974720832038639 ], 
  [ 318166447586229696319
      1591450114106507234014185280702635686411672906047162169 ],,, 
  [ 240651961994338556676251 ], [ 17077185493084319196152443430519 ], 
  [ 45009346771316423257448077 ], 
  [ 2633648304294901963856049075217733
      11259551457213233171432866014776091387111037363 ],, 
  [ 700731703212665153719492916763583264580031 ], 
  [ 2634393721223641443159758289 ], 
  [ 120414393762846466879229562126245551057069 ], 
  [ 46249151281131466947291 ], 
  [ 1464496939334332406651931699788858931007 ], 
  [ 70493661012350915315141 ], 
  [ 1713509836522911151784930801026675117217889763 ], 
  [ 446502386976843197214042394105932080858938710622297625983 ], 
  [ 80543902339204102839752053661764528006571739610470327 ], 
  [ 2243937520601091090894416748161 ], [ 23254809727514071684569877731 ],, 
  [ 436883265641370853 ], 
  [ 16818448602116800808691015641762354123607796504773 ], 
  [ 365658643918957939371697349183205659015482966115007541733884363712237 ],
  [ 7179645332371 ], [ 1084489859572158710462719681842424176204221 ], 
  [ 19416145627594493471222569 ], 
  [ 377006967151862618924693277833732627877 ], 
  [ 5269001314370567208774379 ], [ 95137910079451 ], 
  [ 231338141064544608145654700386827760037 ], [ 1717754574184573 ], 
  [ 455539632147759841317515959 ], [ 4608566976278789 ], 
  [ 4511198236461756797201419518530546914608136696441034401 ], 
  [ 1924742570168593018603 ], [ 31140672847291329496027195528439 ],,,, 
  [ 246363952051346588199196919 ],, [ 3869689035588057897547385302018529 ], 
  [ 6270125838859262243685821549897621834901605776543
      10968002594662431981577 ], [ 1067222736198580625406852671 ], 
  [ 178532924667800754461938529 ],,,, [ 58062076100643060784073161 ],, 
  [ 862712193091969139 ], [ 3039913071743098013 ], 
  [ 381233929626133311914726010963131 ], 
  [ 46810695879607258150036297602681496480082984323154801 ],, 
  [ 18951474155375239 ], [ 38898773056109 ], 
  [ 3372439474561615935433496730720160348249383550657680433797321 ], 
  [ 110462883306729505854959668143311847539867127247477593966051851231 ], 
  [ 6539133023399 ], [ 13956653171120993 ], [ 38596410858112309 ], 
  [ 50773295924369 ], [ 2582761242347417973126963125255069792311 ], 
  [ 345100349808776953101251879514192860329537455064307407360143402849 ], 
  [ 11201583758459272112136574055300640537225444674593 ],, 
  [ 2875457744712176253819947341879381770137791334829 ],, 
  [ 988960169380159347181119880575475423978126344689 ], 
  [ 226829428521760163269 ], 
  [ 48806178693653833414414988950700442474048294932851119447801 ], 
  [ 3144034458923 ], [ 1006209143069690654826017575387818435247575307246241 
     ], [ 11933414237551873331 ], [ 4688480732153480209 ], [ 2887784439949 ],,
  ,, [ 475150702987 ], [ 1553898881 ],, 
  [ 2968452371269364948411113756934455757188896087152449081 ],, 
  [ 22879763281531739090488125628373143913932819253520502569
      244153137519106397253579469 ],, 
  [ 1107005465674013152058303270111722403930140785912654769 ], 
  [ 3199244311 ],, [ 1304684215103 ], 
  [ 98162097033295546975153609287818881325578190361547437956129 ], 
  [ 1277166014413 ], 
  [ 12629462581486178985971960764168287252727848194005700701 ], 
  [ 208568802889 ], [ 1100268357601120058340806591488801940449137329807053 ]
   ,,, [ 209292873964841 ], [ 85187858211109 ],,, [ 1162915499 ], 
  [ 37892732182801 ],,, [ 20989331997553916235382193301539 ],,, 
  [ 36115954052193763751799824488855663157480224619250197 ],, 
  [ 127839680344570321911 ], [ 568519196724466969 ],,, [ 760634103529 ],, 
  [ 14560091578347132193219213 ], [ 341799191118142293293511041 ], 
  [ 54999948970939690287393659153 ],, [ 42209423947036801692442297 ],, 
  [ 107933725911688724852851 ],,,, [ 4091731830973318333314329957 ],, 
  [ 54180260235377 ],, [ 9170544996110153 ],, 
  [ 1194408114400811265046906136466245804554601
      92652055553175272658000528230386976932981 ],, [ 32914465403 ],, 
  [ 53848792331099218781418163409 ],, [ 228483102837773382899951017 ],, 
  [ 492579735306031981 ],, [ 5092583681489811694098303634731 ],,,, 
  [ 763659176106562024823 ], [ 64641073771 ], [ 5070604477 ],,,, 
  [ 6460883596012329770978388001 ],,,, 
  [ 128068137941641138328737137903264324893 ],, 
  [ 2038371443143185278545789 ],,,, 
  [ 1341352467653199956885746411588939980091881709807042207206926299481 ],, 
  [ 4624721102774922603150157713020586849 ],, [ 22831156758029 ],, 
  [ 542486697791729726666695177 ],,,, [ 231072748371733841 ],, 
  [ 4155463219082531507972580053668661401534582486464499460793
      6292550679190904208026016127 ],,,, 
  [ 2101081269206002921872059498222243 ],, 
  [ 18649101769372533032338151818371123333105210210040523613
      8089139286114150442833437299393 ],, [ 7338889463818590624651261 ],,,,,
  , [ 14101893733 ],, [ 14815912217 ],, [ 573717101336161 ],, 
  [ 30566595184247161294042567070097829 ],,,,,,,,,,,, 
  [ 40524731066611844491 ],, 
  [ 1259574225664143171337814689912331484141772862018193153 ],, 
  [ 8431816947734599 ],,,,,, [ 9711779734331401186660716316292902795807169 ]
   ,,,,,, [ 1606387693501322966164792326412636690456413601082974251 ],, 
  [ 12677025121 ],,,, [ 265837055137155888227046737 ],,,,,, [ 32960353171 ],
  ,,,,, [ 20867843538000980097634820293045173857 ],, 
  [ 6007684901699050144588972138562253891 ],,,, 
  [ 45516875508313117720398715439034218291314221387033228101631 ],,,,,, 
  [ 117025588173001 ],,,,,,,, [ 2622605833 ],, [ 8918276278981 ],,,,,,,, 
  [ 1534725945541513118417973092227073 ],, 
  [ 30472864018980619803180992115445313754911700161 ],, 
  [ 46228491243391963362239288378759 ],,,,,,,, [ 1354467844861744471 ],,,,,,
  ,,,,,,,,,,,, [ 29339431096640862444533 ],,,,,, [ 42623425255507 ],,,,,,,,,
  ,,, [ 3322272769 ],,,,,,,,,,,,,,,,,,,,,,,, [ 9443649931 ],,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 29803119151105801 ],,,,,,,,,,,,,
  ,,,,, [ 140160218941081249921415649413 ],,,,,,,,,,,, 
  [ 56689516817517559792163829785792110723421169614800734658241 ],,,,,
  ,,,,,,,,,,,,,,,,,,,,, [ 3905264332349002360661823335616679987137 ],,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 222380509352977461382167338990561 ] ]);

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

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