Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/sonata/nri/   (GAP Algebra Version 4.15.1©)  Datei vom 23.8.2025 mit Größe 156 kB image not shown  

Quelle  nri27_3.nr   Sprache: unbekannt

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

NI27_3 := rec(
  group_name := "27/3",
  group_generators := [ (1,2,3), (4,5,6), (7,8,9) ],
  elements := rec(
      1 := (),
      2 := (7,8,9),
      3 := (7,9,8),
      4 := (4,5,6),
      5 := (4,5,6)(7,8,9),
      6 := (4,5,6)(7,9,8),
      7 := (4,6,5),
      8 := (4,6,5)(7,8,9),
      9 := (4,6,5)(7,9,8),
      10 := (1,2,3),
      11 := (1,2,3)(7,8,9),
      12 := (1,2,3)(7,9,8),
      13 := (1,2,3)(4,5,6),
      14 := (1,2,3)(4,5,6)(7,8,9),
      15 := (1,2,3)(4,5,6)(7,9,8),
      16 := (1,2,3)(4,6,5),
      17 := (1,2,3)(4,6,5)(7,8,9),
      18 := (1,2,3)(4,6,5)(7,9,8),
      19 := (1,3,2),
      20 := (1,3,2)(7,8,9),
      21 := (1,3,2)(7,9,8),
      22 := (1,3,2)(4,5,6),
      23 := (1,3,2)(4,5,6)(7,8,9),
      24 := (1,3,2)(4,5,6)(7,9,8),
      25 := (1,3,2)(4,6,5),
      26 := (1,3,2)(4,6,5)(7,8,9),
      27 := (1,3,2)(4,6,5)(7,9,8) ),
  group_endomorphisms := rec(
      1 := [ 111111111111111111111
          111111 ],
      147 := [ 111666888121212141414161616
          202020222222272727 ],
      729 := [ 11127272714141427272714141411
          1141414111272727 ],
      1576 := [ 1325469871110121514131618
          17212019222423262527 ],
      1602 := [ 1326548791012111514131716
          18192120242322262527 ],
      1604 := [ 1326548791211101413151618
          17201921222423272625 ],
      1638 := [ 1327984651921202527262224
          23101211161817131514 ],
      1732 := [ 1321110122120195461514132224
          23987161817262527 ],
      2171 := [ 1322726251413151211108792224
          23201921161817654 ],
      2223 := [ 1472583691013161114171215
          18192225202326212427 ],
      2230 := [ 1472583691711141812151610
          13242721222519232620 ],
      2274 := [ 14747171471414747147
          1714147 ],
      2355 := [ 14771447171447114747
          1147714 ],
      2362 := [ 1477144711417111114171711
          14272124242721212427 ],
      2365 := [ 1477144711711141417111114
          17242721212427272124 ],
      2375 := [ 1477144712721242427212124
          27141711111417171114 ],
      2417 := [ 1479365821518121114171610
          13262023222519212427 ],
      2419 := [ 1479365821711141316101215
          18242721202326251922 ],
      2510 := [ 1471215182023262721248251610
          13141711222519693 ],
      2559 := [ 1471417112721242225198251215
          18161013202326693 ],
      2611 := [ 1471610132225192023268251417
          11121518272124693 ],
      2635 := [ 1471711142427211711142427211
          47242721147171114 ],
      2679 := [ 1471922251013167142519221610
          13471222519131610 ],
      2689 := [ 1471922251013161711148252620
          23242721151812693 ],
      2733 := [ 1472124271114177142721241711
          14471242721141711 ],
      2792 := [ 1472326201812151215184712620
          23202326151812714 ],
      2793 := [ 1472326201812151316108252124
          27251922111417693 ],
      2797 := [ 1472326201812151711143692225
          19242721161013258 ],
      2814 := [ 1472427211711147142124271417
          11471272124111417 ],
      2834 := [ 1472427211711142721241114174
          71141711714212427 ],
      2868 := [ 1472620231518127142326201215
          18471202326181215 ],
      2900 := [ 1472721241417111215188252225
          19202326161013693 ],
      2905 := [ 1472721241417111711144712124
          27242721111417714 ],
      2912 := [ 1472721241417112427211114177
          14171114471212427 ],
      2913 := [ 1472721241417112519221518122
          58131610369262023 ],
      2924 := [ 15915915991591591559
          1591591 ],
      2925 := [ 1591591591014181014181014
          18192327192327192327 ],
      2995 := [ 1593482672621222520242719
          23151611141810131712 ],
      3012 := [ 1594837261611151014181317
          12222621252024192327 ],
      3024 := [ 15959191515959191515
          9591915 ],
      3032 := [ 15959191591515959159
          1915159 ],
      3090 := [ 1597264831317121014181611
          15252024222621192327 ],
      3103 := [ 1597264832621222327192024
          25151611121317181014 ],
      3136 := [ 15991559159115991591
          5591159 ],
      3140 := [ 15991559191559115959
          1159915 ],
      3160 := [ 1591014181923272671115162024
          25348121317212226 ],
      3167 := [ 1591014181923279151810142719
          23591141810232719 ],
      3295 := [ 1591516112621222671317122719
          23348141810252024 ],
      3297 := [ 1591516112621224831810142024
          25726121317232719 ],
      3309 := [ 1591516112621221611152122265
          91222621915111516 ],
      3356 := [ 1591712132425209151317122024
          25591121317252024 ],
      3420 := [ 1591923271014181923271014181
          59101418159192327 ],
      3462 := [ 1592122261115167262719231712
          13483242520141810 ],
      3536 := [ 1592327191810142719231014185
          91141810915192327 ],
      3633 := [ 1592719231418101611156722024
          25222621121317834 ],
      3640 := [ 1592719231418102327191014189
          15181014591192327 ],
      3652 := [ 16816816881681681668
          1681681 ],
      3708 := [ 1683572491015171214161113
          18192426212325202227 ],
      3716 := [ 1683572491811131710151612
          14232521222720242619 ],
      3743 := [ 1684927351811131214161517
          10232521261924202227 ],
      3750 := [ 1684927352521231924262227
          20131811161214101517 ],
      3785 := [ 16868181668181616881
          6168681 ],
      3787 := [ 16868181681616868168
          1816168 ],
      3841 := [ 16881668181668116868
          1168816 ],
      3843 := [ 1688166811015171710151517
          10192426261924242619 ],
      3847 := [ 1688166811416121214161612
          14272022222720202227 ],
      3851 := [ 1688166811811131318111113
          18232521212325252123 ],
      3916 := [ 1681113182123252491214161924
          26357101517202227 ],
      3932 := [ 1681113182123251811132521238
          16232521681131811 ],
      4020 := [ 1681416122720222521232491517
          10131811261924357 ],
      4081 := [ 1681710152426195731214162521
          23924131811202227 ],
      4121 := [ 1681811132325211811132325211
          68232521168181113 ],
      4238 := [ 1682227201612142720221214166
          81141612816202227 ],
      4268 := [ 1682426191710153572325211612
          14249222720181113 ],
      4273 := [ 1682426191710158161924261517
          10681261924101517 ],
      4281 := [ 1682426191710151612143572325
          21222720181113249 ],
      4368 := [ 1682720221416122227201214168
          16161214681202227 ],
      4377 := [ 17417417441741741774
          1741741 ],
      4437 := [ 1743962851016131218151117
          14192522212724202623 ],
      4441 := [ 1743962851411171310161512
          18272421262320252219 ],
      4445 := [ 1743962851815121714111613
          10232026221925242127 ],
      4446 := [ 1743962851925222127242026
          23101613121815111714 ],
      4451 := [ 1743962852421272320262219
          25171411161310181512 ],
      4453 := [ 1743962852623202522192724
          21151218141117131016 ],
      4458 := [ 17441774141774117474
          1174417 ],
      4468 := [ 1744177411411171714111117
          14272421212724242127 ],
      4472 := [ 1744177411815121218151512
          18232026262320202623 ],
      4505 := [ 1745289632421272522192026
          23171411121815131016 ],
      4572 := [ 1748526391016131714111512
          18192522262320242127 ],
      4576 := [ 1748526391411171218151613
          10272421221925202623 ],
      4620 := [ 1741016131925224171310162219
          25741161310252219 ],
      4647 := [ 1741117142127244171411172421
          27741171411272421 ],
      4737 := [ 1741411172724211310162623203
          96252219285151218 ],
      4738 := [ 1741411172724211411172724211
          74272421174141117 ],
      4744 := [ 1741411172724212026236391613
          10121815221925852 ],
      4748 := [ 1741411172724212421277411117
          14171411212724417 ],
      4755 := [ 1741512182623204171815122026
          23741121815232026 ],
      4809 := [ 1741714112421274171117142724
          21741141117212724 ],
      4940 := [ 1742127241117142724211714117
          41141117417242127 ],
      5096 := [ 1742724211411172127241714114
          17111714741242127 ],
      5108 := [ 18618618661861861886
          1861861 ],
      5118 := [ 1861861861614121614121614
          12222027222027222027 ],
      5196 := [ 1864297531311181614121017
          15252321192624222027 ],
      5243 := [ 18661886161886118686
          1186618 ],
      5250 := [ 1866188611311181813111118
          13252321212523232125 ],
      5251 := [ 1866188611412161614121216
          14272220202722222027 ],
      5260 := [ 1866188612321252523212125
          23181311111813131118 ],
      5264 := [ 1866188612722202027222220
          27141216161412121614 ],
      5274 := [ 1867534291017151614121311
          18192624252321222027 ],
      5277 := [ 1867534291311181017151614
          12252321222027192624 ],
      5287 := [ 1867534292321252027222624
          19181311151017121614 ],
      5297 := [ 18686161861818686186
          1618186 ],
      5299 := [ 18686161886161818661
          8186861 ],
      5381 := [ 1861118132125239421614122624
          19537151017222027 ],
      5385 := [ 1861118132125231311182321256
          18252321861181311 ],
      5439 := [ 1861311182523211311182523211
          86252321186131118 ],
      5536 := [ 1861715102419262941813112220
          27375161412232125 ],
      5540 := [ 1861715102419266181017152624
          19861151017192624 ],
      5556 := [ 1861715102419262220272941813
          11161412232125375 ],
      5601 := [ 1861926241017151311184292220
          27252321161412753 ],
      5605 := [ 1861926241017151715108612624
          19241926151017618 ],
      5642 := [ 1862027221216142722201614128
          61141216618222027 ],
      5817 := [ 1862722201412161311183752624
          19252321151017294 ],
      5824 := [ 1862722201412162027221614126
          18121614861222027 ],
      5836 := [ 19519519551951951995
          1951951 ],
      5873 := [ 1952763841511161312171410
          18262221272319252420 ],
      5875 := [ 1952763841713121814101615
          11242025222126231927 ],
      5927 := [ 1954387621511161814101217
          13262221202524231927 ],
      5940 := [ 19551995119551995119
          5519951 ],
      5944 := [ 19551995151995119595
          1195519 ],
      6048 := [ 19595151919595151919
          5951519 ],
      6052 := [ 19595151951919595195
          1519195 ],
      6105 := [ 1951116152126224381410182420
          25762171312272319 ],
      6109 := [ 1951116152126228431814102524
          20627131217231927 ],
      6187 := [ 1951410182723195191814101927
          23951101814231927 ],
      6204 := [ 1951410182723192221268431217
          13161511202524627 ],
      6251 := [ 1951615112221261511162126229
          51262221519111615 ],
      6320 := [ 1951927231018143842126221217
          13276202524111615 ],
      6322 := [ 1951927231018145192319271410
          18951272319181410 ],
      6344 := [ 1951927231018142723191814109
          51141018519231927 ],
      6457 := [ 1952420251713125192524201217
          13951202524131217 ],
      6459 := [ 1952420251713127622126221410
          18438272319111615 ],
      6513 := [ 1952622211511167622319271217
          13438202524181410 ],
      6552 := [ 1952723191410181927231814105
          19101814951231927 ],
      6565 := [ 1101911019110195142351423514
          23918279182791827 ],
      6579 := [ 1101911019110191911019110191
          10101911019110191 ],
      6684 := [ 110195142391827162571120215
          246224132681721312 ],
      6712 := [ 110196152481726172681019115
          246246152681719110 ],
      6724 := [ 1101971625413222112081726514
          23312219182761524 ],
      6728 := [ 1101971625413226152431221918
          27817265142321120 ],
      6729 := [ 1101971625413227162541322110
          19413221101971625 ],
      6741 := [ 1101971625413221911025716224
          13101911625713224 ],
      6822 := [ 110191019119110191101101910
          191101911911011019 ],
      6852 := [ 110191120221312224135142315
          246162572681791827 ],
      6863 := [ 1101912213202116152414235224
          13817261625727918 ],
      6897 := [ 1101913224257161322425716110
          19257161101913224 ],
      6903 := [ 110191322425716191104132216
          257101912241371625 ],
      6940 := [ 1101915246268172112013224279
          18312211423525716 ],
      6959 := [ 110191524626817213125142316
          257112022241391827 ],
      6994 := [ 1101917268246152112018279224
          13312211625723514 ],
      7001 := [ 1101917268246159182713224202
          11514231221325716 ],
      7004 := [ 1101917268246151221325716514
          23202119182713224 ],
      7008 := [ 1101917268246151625723514312
          21224132112018279 ],
      7011 := [ 110191726824615191108172615
          246101912681761524 ],
      7018 := [ 110191726824615268176152410
          191152461911081726 ],
      7046 := [ 110191827923514279185142310
          191142351911091827 ],
      7052 := [ 110191911010191615242461515
          246817262681717268 ],
      7056 := [ 1101919110101911019111019191
          10191101019111019 ],
      7060 := [ 1101919110101911423551423235
          14279181827991827 ],
      7065 := [ 1101919110101911911010191110
          19101911101919110 ],
      7073 := [ 1101919110101912791818279918
          27142355142323514 ],
      7077 := [ 110192021112213413222351415
          246716252681718279 ],
      7097 := [ 1101920211122132461513224514
          23172689182725716 ],
      7156 := [ 110192351418279211202461516
          257312212241317268 ],
      7226 := [ 1101925716132241827961524213
          12235141120281726 ],
      7264 := [ 110192791814235211202571615
          246312212681713224 ],
      7267 := [ 110192791814235514231911018
          279918272351410191 ],
      7270 := [ 110192791814235817262241312
          213615242021116257 ],
      7280 := [ 1101927918142351827951423191
          10235141019191827 ],
      7281 := [ 1101927918142351911018279514
          23101919182723514 ],
      7310 := [ 1112111121111212111121111211
          11112111121111211 ],
      7371 := [ 1112141424717271112141424717
          27111214142471727 ],
      7458 := [ 1112171727414247172741424111
          21414241112171727 ],
      7560 := [ 1112111211211111112111211211
          11111211121121111 ],
      7570 := [ 1112111211211111121121111111
          21211111112111211 ],
      7580 := [ 111211121121111211111112111
          211112112111111121 ],
      7582 := [ 111211121121111236136132313
          236182582581881825 ],
      7584 := [ 111211121121111258188182518
          258132362361361323 ],
      7632 := [ 111211323625818192124142416
          269102032251571727 ],
      7682 := [ 1112115225269161522526916111
          21269161112115225 ],
      7699 := [ 1112116269225155152211211269
          16916261522521111 ],
      7748 := [ 111211727724414277174142411
          211142442111171727 ],
      7759 := [ 1112118258236131121125818613
          23211118182513236 ],
      7802 := [ 1112119212102032771718258916
          26142445152223613 ],
      7830 := [ 111212111111211111212111111
          211111212111111211 ],
      7840 := [ 1112121111112111121111121211
          11211111121111121 ],
      7843 := [ 1112121111112111424441424244
          14277171727771727 ],
      7846 := [ 1112121111112111727771727277
          17244141424441424 ],
      7850 := [ 1112121111112112111111211111
          21112111112121111 ],
      7853 := [ 1112121111112112441414244414
          24172777172727717 ],
      7855 := [ 1112121111112112691616269916
          26152255152222515 ],
      7866 := [ 1112122515162691020341424258
          18192121323671727 ],
      8008 := [ 1112127717142441727741424211
          11244141121171727 ],
      8038 := [ 1122011220112202011220112201
          12122011220112201 ],
      8102 := [ 1122041523718263111961422917
          25210215132481627 ],
      8109 := [ 112204152371826102121324516
          278193112261425917 ],
      8113 := [ 112204152371826142261725911
          193278162121024513 ],
      8119 := [ 1122041523718262011223415267
          18122011523418267 ],
      8123 := [ 1122041523718262451327816212
          10172591119314226 ],
      8124 := [ 1122041523718262591719311226
          14132451627810212 ],
      8190 := [ 112207182641523102121627813
          245193112591722614 ],
      8215 := [ 1122081627614228162761422112
          20614221122081627 ],
      8311 := [ 112201119321210234156142213
          245182672591781627 ],
      8327 := [ 1122012201201121220120112112
          20201121122012201 ],
      8335 := [ 112201220120112201121122012
          201122012011211220 ],
      8372 := [ 1122014226278163111913245267
          18210211523425917 ],
      8376 := [ 1122014226278167182611193245
          13415231725921210 ],
      8379 := [ 1122014226278161021223415917
          25193115132418267 ],
      8383 := [ 1122014226278161422627816112
          20278161122014226 ],
      8386 := [ 1122014226278161725921210415
          23245137182611193 ],
      8389 := [ 112201422627816201126142216
          278122012261481627 ],
      8391 := [ 112201422627816226148162712
          201162782011261422 ],
      8396 := [ 112201422627816278161122014
          226142262781611220 ],
      8450 := [ 112201627822614278166142212
          201142262011281627 ],
      8481 := [ 1122018267234154152312201267
          18718261523420112 ],
      8501 := [ 112201826723415245132102116
          278172592261431119 ],
      8521 := [ 1122019311102121725981627267
          18245131523461422 ],
      8531 := [ 1122019311102122781618267917
          25142265132423415 ],
      8543 := [ 1122020112122011220111220201
          12201121220111220 ],
      8544 := [ 1122020112122011324551324245
          13259171725991725 ],
      8545 := [ 1122020112122011422661422226
          14278161627881627 ],
      8551 := [ 1122020112122012011212201112
          20122011122020112 ],
      8556 := [ 1122020112122012591717259917
          25132455132424513 ],
      8594 := [ 112202261416278917252121015
          234513242671811193 ],
      8642 := [ 112202451317259311192341516
          278210212261418267 ],
      8649 := [ 1122024513172591021261422267
          18193111523481627 ],
      8655 := [ 1122024513172591627831119234
          15226141826721021 ],
      8659 := [ 1122024513172592011213245917
          25122015132425917 ],
      8662 := [ 1122024513172592341516278311
          19182672102122614 ],
      8665 := [ 1122024513172592671810212614
          22152348162719311 ],
      8676 := [ 1122025917132451021271826226
          14193111627841523 ],
      8690 := [ 1122025917132452451312201917
          25172595132420112 ],
      8715 := [ 1122026718152342261411193917
          25162785132421210 ],
      8736 := [ 1122027816142261627861422201
          12226141220181627 ],
      8772 := [ 1132511325113252511325113251
          13132511325113251 ],
      8831 := [ 1132541619710223152761821912
          24214265172081123 ],
      8832 := [ 1132541619710224161971022113
          25710221132541619 ],
      8836 := [ 1132541619710228112321426517
          20618219122431527 ],
      8838 := [ 113254161971022102271325116
          194194162271025113 ],
      8914 := [ 1132571022416195172021426811
          23912246182131527 ],
      8927 := [ 113257102241619182161527312
          249238112051726214 ],
      8944 := [ 1132581123618218112361821113
          25618211132581123 ],
      8950 := [ 113258112361821142621224916
          194273152271020517 ],
      8960 := [ 1132581123618212491219416262
          14172051527310227 ],
      9000 := [ 1132510227194161022719416113
          25194161132510227 ],
      9025 := [ 1132511238216188112318216251
          13618211325123811 ],
      9035 := [ 1132511238216181821625113811
          23238116182113251 ],
      9036 := [ 113251123821618194162142612
          249102272051731527 ],
      9079 := [ 1132513251251138112311238238
          11618211821621618 ],
      9084 := [ 1132513251251131325125113113
          25251131132513251 ],
      9089 := [ 1132513251251131821621618618
          21238118112311238 ],
      9092 := [ 113251325125113216186182118
          216112382381181123 ],
      9094 := [ 113251325125113238118112311
          238182162161861821 ],
      9096 := [ 113251325125113251131132513
          251132512511311325 ],
      9116 := [ 1132514262273151821619416517
          20238119122410227 ],
      9131 := [ 1132515273262146182117205194
          16811231022724912 ],
      9214 := [ 1132518216238118112313251216
          18618211123825113 ],
      9230 := [ 113251821623811249122142616
          194172052271031527 ],
      9268 := [ 113252051712249811232731516
          194618212271014262 ],
      9270 := [ 1132520517122491022721426216
          18194161123831527 ],
      9284 := [ 1132520517122492491213251517
          20172059122425113 ],
      9383 := [ 1132524912172051527381123194
          16262141022761821 ],
      9386 := [ 1132524912172051821621426227
          10238111619431527 ],
      9387 := [ 1132524912172051941615273811
          23102276182126214 ],
      9390 := [ 1132524912172052271018216214
          26161943152723811 ],
      9393 := [ 1132524912172052511312249517
          20132519122420517 ],
      9403 := [ 113252511313251811232381111
          238618212161818216 ],
      9408 := [ 1132525113132511325111325251
          13251131325111325 ],
      9413 := [ 1132525113132511821661821216
          18238111123881123 ],
      9415 := [ 1132525113132512051717205517
          20122499122424912 ],
      9420 := [ 1132525113132512511313251113
          25132511132525113 ],
      9503 := [ 1142711427114272711427114271
          14142711427114271 ],
      9508 := [ 1142721525313265181961620417
          21910237112481222 ],
      9510 := [ 1142721525313267112481222910
          23417215181961620 ],
      9515 := [ 114272152531326122281023911
          247206162141719518 ],
      9520 := [ 114272152531326172141819516
          206247112281223910 ],
      9523 := [ 1142721525313262061621417195
          18122281023911247 ],
      9526 := [ 1142721525313262391024711228
          12181951620617214 ],
      9617 := [ 1142761620812226162081222114
          27812221142761620 ],
      9623 := [ 114276162081222122281427116
          206206162281227114 ],
      9645 := [ 1142771124417217112441721114
          27417211142771124 ],
      9650 := [ 114277112441721122281819515
          252206162631323910 ],
      9651 := [ 114277112441721132631023916
          206252152281219518 ],
      9655 := [ 114277112441721172141427111
          247247112141727114 ],
      9661 := [ 1142771124417212391020616263
          13181951525212228 ],
      9719 := [ 1142791023518192711423910195
          18142711023918195 ],
      9773 := [ 114271124721417271147112417
          214142712471141721 ],
      9779 := [ 1142712228206166162014271228
          12812221620627114 ],
      9785 := [ 1142712228206161222820616114
          27206161142712228 ],
      9800 := [ 114271222820616271148122216
          206142712281261620 ],
      9807 := [ 1142713263252157112410239228
          12417211620619518 ],
      9841 := [ 1142714271271141427127114114
          27271141142714271 ],
      9854 := [ 114271427127114271141142714
          271142712711411427 ],
      9886 := [ 1142716206228125181911247263
          13910231525221417 ],
      9888 := [ 1142716206228127112413263195
          18417211023925215 ],
      9896 := [ 1142716206228121525221417910
          23263135181911247 ],
      9898 := [ 1142716206228121721423910215
          25247113132618195 ],
      9901 := [ 114271620622812206168122214
          271122282711461620 ],
      9903 := [ 114271620622812228121142716
          206162062281211427 ],
      9950 := [ 1142718195239101525220616711
          24263134172112228 ],
      9969 := [ 114271951810239711242521516
          206417212281213263 ],
      10082 := [ 114272391018195122284172126
          313206161525271124 ],
      10089 := [ 11427239101819519518142719
          1023102395181927114 ],
      10124 := [ 11427247111721427114112474
          1721142717112421417 ],
      10179 := [ 114272711414271114272711414
          271114272711414271 ],
      10182 := [ 114272711414271417212141717
          214711242471111247 ],
      10185 := [ 114272711414271711242471111
          247417212141717214 ],
      10192 := [ 114272711414271142711142727
          114271141427111427 ],
      10201 := [ 11427271141427123910102399
          1023181955181919518 ],
      10205 := [ 11427271141427127114142711
          1427142711142727114 ],
      10231 := [ 115261152611526261152611526
          115152611526115261 ],
      10295 := [ 11526418207122391122314256
          1719516218102421327 ],
      10318 := [ 11526516219112251621911221
          1526911221152651621 ],
      10327 := [ 115265162191122142531820410
          248272131961723712 ],
      10347 := [ 11526617198102471223314255
          1621418209112221327 ],
      10383 := [ 115267122341820162151327210
          248229111961725314 ],
      10452 := [ 115261024819617418201327222
          911712231621525314 ],
      10462 := [ 11526102481961714253237125
          1621272139112218204 ],
      10464 := [ 11526102481961716215253147
          1223229114182013272 ],
      10472 := [ 115261024819617248106171915
          261171962611581024 ],
      10486 := [ 11526112292151611229215161
          1526215161152611229 ],
      10526 := [ 115261223720418248105162113
          272171962531491122 ],
      10584 := [ 115261526126115115261526126
          115115261526126115 ],
      10609 := [ 115261526126115261151152615
          261152612611511526 ],
      10646 := [ 115261719624810911221327220
          418516211223725314 ],
      10651 := [ 11526171962481014253215167
          1223272134182011229 ],
      10660 := [ 115261719624810237123142516
          215182042291121327 ],
      10663 := [ 115261719624810261156171910
          248152611961781024 ],
      10720 := [ 115262041812237213272151610
          248314251961711229 ],
      10744 := [ 11526204181223726115182047
          1223152614182023712 ],
      10754 := [ 115262151611229911222611516
          215516212291115261 ],
      10755 := [ 115262151611229102483142520
          418196171223721327 ],
      10758 := [ 115262151611229132726171923
          712253141820481024 ],
      10761 := [ 115262151611229162159112226
          115229111526151621 ],
      10765 := [ 11526215161122920418102483
          1425122372132719617 ],
      10771 := [ 11526215161122926115162159
          1122152615162122911 ],
      10781 := [ 115262291116215911222151615
          261516212611511229 ],
      10881 := [ 115262611515261115262611515
          261115262611515261 ],
      10889 := [ 115262611515261911222291111
          229516212151616215 ],
      10896 := [ 115262611515261162155162121
          516229111122991122 ],
      10902 := [ 11526261151526122911112299
          1122162155162121516 ],
      10906 := [ 11526261151526126115152611
          1526152611152626115 ],
      10916 := [ 115262721314253911222371210
          248516211961718204 ],
      10956 := [ 116221162211622221162211622
          116162211622116221 ],
      10982 := [ 116222172331824219151971320
          814112651227610254 ],
      11020 := [ 11622410257131951126814202
          1723915213182461227 ],
      11075 := [ 11622612278142061227814201
          1622814201162261227 ],
      11161 := [ 116229152151126112651622115
          219219152651122116 ],
      11209 := [ 116221126521915511261521922
          116915211622126511 ],
      11213 := [ 116221126521915915211622126
          511511261521922116 ],
      11229 := [ 116221126521915254108142018
          243131972321761227 ],
      11234 := [ 116221227620814318241126519
          713217231025421915 ],
      11236 := [ 116221227620814511261319724
          318915211723225410 ],
      11241 := [ 11622122762081410254219152
          1723197133182411265 ],
      11246 := [ 11622122762081415219232174
          1025265117131918243 ],
      11251 := [ 116221227620814208141162212
          276122762081411622 ],
      11258 := [ 116221227620814276128142016
          221142082211661227 ],
      11300 := [ 11622142082761215219254102
          1723265113182413197 ],
      11340 := [ 116221622122116116221622122
          116116221622122116 ],
      11355 := [ 11622162212211616221221161
          1622221161162216221 ],
      11361 := [ 116221622122116221161162216
          221162212211611622 ],
      11479 := [ 116222191511265511262211615
          219915212651116221 ],
      11486 := [ 116222191511265122762172319
          713208141025431824 ],
      11489 := [ 116222191511265152195112622
          116265111622191521 ],
      11492 := [ 116222191511265182438142025
          410232171319761227 ],
      11499 := [ 11622219151126525410182438
          1420131976122723217 ],
      11502 := [ 116222211616221116222211616
          221116222211616221 ],
      11506 := [ 116222211616221511262651111
          265915212191515219 ],
      11516 := [ 116222211616221152199152121
          915265111126551126 ],
      11522 := [ 11622221161622121915152199
          1521112655112626511 ],
      11523 := [ 11622221161622122116162211
          1622162211162222116 ],
      11527 := [ 11622221161622126511112655
          1126152199152121915 ],
      11614 := [ 116222651115219511262191516
          221915212211611265 ],
      11619 := [ 116222651115219102548142024
          318197131723261227 ],
      11631 := [ 11622265111521922116112659
          1521162215112621915 ],
      11648 := [ 116222761214208122768142022
          116208141622161227 ],
      11687 := [ 117241172411724241172411724
          117172411724117241 ],
      11748 := [ 11724411277142141127714211
          1724714211172441127 ],
      11754 := [ 117244112771421102661320916
          233198152221825512 ],
      11762 := [ 117244112771421182221225515
          198233162661020913 ],
      11764 := [ 117244112771421209132331626
          610122551519818222 ],
      11769 := [ 117244112771421255121981522
          218132091623310266 ],
      11774 := [ 11724512259132031623411278
          1519218226102671421 ],
      11775 := [ 11724512259132041127815193
          1623714212182261026 ],
      11839 := [ 117247142141127142171127417
          241274112411721714 ],
      11862 := [ 117248151961026102661724115
          198198152661024117 ],
      11910 := [ 117241026619815411271320922
          218714211623325512 ],
      11914 := [ 117241026619815815191724126
          610610261519824117 ],
      11916 := [ 11724102661981510266198151
          1724198151172410266 ],
      11931 := [ 117241026619815255127142116
          233132092221841127 ],
      11960 := [ 117241127421714274117142117
          241142172411741127 ],
      12038 := [ 117241421727411241177142111
          274172412171441127 ],
      12039 := [ 117241421727411255122182215
          198132092661031623 ],
      12043 := [ 117241519826610218221320927
          411316231421725512 ],
      12053 := [ 11724151982661012255233167
          1421209134112718222 ],
      12055 := [ 11724151982661014217255123
          1623274112182213209 ],
      12060 := [ 117241519826610198156102617
          241102662411781519 ],
      12119 := [ 117241724124117241171172417
          241172412411711724 ],
      12190 := [ 117242091312255142176102622
          218274111623381519 ],
      12227 := [ 11724217141127424117142174
          1127172417142127411 ],
      12288 := [ 117242411717241411272741111
          274714212171414217 ],
      12295 := [ 117242411717241112744112727
          411217141421771421 ],
      12298 := [ 117242411717241142177142121
          714274111127441127 ],
      12301 := [ 117242411717241172411172424
          117241171724111724 ],
      12305 := [ 11724241171724121714142177
          1421112744112727411 ],
      12308 := [ 11724241171724124117172411
          1724172411172424117 ],
      12311 := [ 11724241171724127411112744
          1127142177142121714 ],
      12315 := [ 117242551213209411271981516
          233714212221810266 ],
      12319 := [ 117242551213209815192331611
          274610262171418222 ],
      12321 := [ 117242551213209102667142122
          218198151623341127 ],
      12336 := [ 11724255121320925512132091
          1724132091172425512 ],
      12376 := [ 117242741114217112747142124
          117217141724141127 ],
      12415 := [ 118231182311823231182311823
          118182311823118231 ],
      12479 := [ 11823412267152061125914193
          1722813212162451027 ],
      12533 := [ 11823611258132161125813211
          1823813211182361125 ],
      12561 := [ 11823715204122671520412261
          1823412261182371520 ],
      12566 := [ 118237152041226122641823115
          207207152641223118 ],
      12567 := [ 118237152041226132181027516
          242256112231719914 ],
      12571 := [ 118237152041226172231419911
          256242162181327510 ],
      12573 := [ 118237152041226199142561122
          317102751624213218 ],
      12581 := [ 118237152041226275102421621
          813141991125617223 ],
      12593 := [ 118238132161125122641624214
          199207152751022317 ],
      12662 := [ 118231027519914275109141918
          231141992311851027 ],
      12668 := [ 118231125621813611251321823
          118813211823125611 ],
      12688 := [ 118231125621813264129141916
          242152072231751027 ],
      12695 := [ 118231226420715611251419922
          317813211624227510 ],
      12696 := [ 118231226420715715201823126
          412412261520723118 ],
      12701 := [ 11823122642071512264207151
          1823207151182312264 ],
      12722 := [ 118231321825611611251823121
          813813211125623118 ],
      12723 := [ 118231321825611715201027522
          317412261624219914 ],
      12729 := [ 11823132182561113218256111
          1823256111182313218 ],
      12735 := [ 118231321825611199144122616
          242102752231771520 ],
      12857 := [ 118231823123118611251125625
          611813211321821813 ],
      12864 := [ 11823182312311813218218138
          1321256116112511256 ],
      12869 := [ 11823182312311818231231181
          1823231181182318231 ],
      12872 := [ 118231823123118218138132113
          218112562561161125 ],
      12874 := [ 118231823123118231181182318
          231182312311811823 ],
      12876 := [ 118231823123118256116112511
          256132182181381321 ],
      12885 := [ 118231991410275715202561116
          242412262231713218 ],
      12891 := [ 118231991410275132184122622
          317256111624271520 ],
      12897 := [ 11823199141027519914102751
          1823102751182319914 ],
      12955 := [ 11823218131125623118132186
          1125182318132125611 ],
      12992 := [ 118232311818231611252561111
          256813212181313218 ],
      13004 := [ 118232311818231182311182323
          118231181823111823 ],
      13009 := [ 11823231181823123118182311
          1823182311182323118 ],
      13013 := [ 11823231181823127510102755
          1027141999141919914 ],
      13097 := [ 118232751014199317222641213
          218216242561115207 ],
      13100 := [ 118232751014199611252071516
          242813212231712264 ],
      13103 := [ 118232751014199914192311810
          275510271991418231 ],
      13104 := [ 118232751014199102759141923
          118199141823151027 ],
      13117 := [ 11823275101419923118102759
          1419182315102719914 ],
      13121 := [ 11823275101419927510141991
          1823141991182327510 ],
      13131 := [ 119101191011910101191011910
          119191011910119101 ],
      13206 := [ 11910422137251642213725161
          1910725161191042213 ],
      13210 := [ 11910422137251682617220115
          2314624159271832112 ],
      13212 := [ 119104221372516101191342216
          725191012213425167 ],
      13222 := [ 119104221372516201122314526
          178123211562418927 ],
      13334 := [ 119108261762415241561910126
          178178261562410119 ],
      13359 := [ 119109271852314221342112326
          178167251562411220 ],
      13364 := [ 119109271852314271892314519
          101145231011918927 ],
      13365 := [ 119101011919101119101011919
          101119101011919101 ],
      13369 := [ 119101011919101523141452323
          145927181892727189 ],
      13372 := [ 119101011919101826171782626
          178624151562424156 ],
      13374 := [ 11910101191910110119191011
          1910191011191010119 ],
      13378 := [ 11910101191910114523231455
          2314271899271818927 ],
      13382 := [ 11910101191910118927271899
          2718231455231414523 ],
      13425 := [ 119101232120112725161892726
          178422131562423145 ],
      13468 := [ 119101342225167231458261711
          220189272112362415 ],
      13475 := [ 119101452327189321121342226
          178220111562425167 ],
      13478 := [ 119101452327189624151672520
          112826171232122134 ],
      13481 := [ 119101452327189927181011923
          145523141892719101 ],
      13482 := [ 11910145232718910119231459
          2718191015231418927 ],
      13492 := [ 119101452327189201126241516
          725123212213482617 ],
      13541 := [ 11910167252213415624211239
          2718261785231411220 ],
      13583 := [ 119101892723145321121782622
          134220111672524156 ],
      13617 := [ 119101910110119101191191019
          101191011011911910 ],
      13642 := [ 119102011212321826172718916
          725624152213414523 ],
      13745 := [ 119102415617826321122314516
          725220112213418927 ],
      13747 := [ 119102415617826523142516712
          321927182011213422 ],
      13752 := [ 119102415617826101196241526
          178191011562482617 ],
      13757 := [ 119102415617826156248261719
          101261781011962415 ],
      13762 := [ 11910241561782620112134229
          2718123215231425167 ],
      13764 := [ 11910241561782622134189272
          2011167253211223145 ],
      13799 := [ 119102617815624321122516714
          523220112718913422 ],
      13832 := [ 119102718914523927182314510
          119523141910118927 ],
      13862 := [ 120121201212012121201212012
          120201212012120121 ],
      13950 := [ 120124231572618191132214625
          179102211352416827 ],
      13997 := [ 120126221482716121201462216
          827201212214627168 ],
      14024 := [ 120127261842315121201872615
          423201212618723154 ],
      14025 := [ 120127261842315135241022116
          827251792214619113 ],
      14029 := [ 120127261842315179251462211
          319241352110227168 ],
      14031 := [ 120127261842315191132517922
          146102211682713524 ],
      14039 := [ 120127261842315271682413521
          102146221131917925 ],
      14066 := [ 120128271662214271682214620
          121146221212016827 ],
      14107 := [ 12012102211911314622231545
          2413271689251718726 ],
      14135 := [ 12012113192110215423221465
          2413261879251716827 ],
      14148 := [ 120121212020121120121212020
          121120121212020121 ],
      14152 := [ 120121212020121524131352424
          135925171792525179 ],
      14159 := [ 12012121202012112120201211
          2012201211201212120 ],
      14160 := [ 12012121202012113524241355
          2413251799251717925 ],
      14164 := [ 12012121202012117925251799
          2517241355241313524 ],
      14174 := [ 120121212020121271688271616
          827146222214662214 ],
      14184 := [ 12012135242517910221221467
          2618191134231516827 ],
      14191 := [ 12012135242517917925201215
          2413241359251712120 ],
      14193 := [ 120121352425179191134231516
          827102212214672618 ],
      14244 := [ 12012154232618716827211025
          2413221469251711319 ],
      14260 := [ 120121682722146524131131926
          187925171542321102 ],
      14294 := [ 12012179252413512120251795
          2413201219251713524 ],
      14297 := [ 12012179252413515423191138
          2716261876221410221 ],
      14300 := [ 12012179252413518726221462
          2110231543191116827 ],
      14301 := [ 120121792524135191138271615
          423102212618762214 ],
      14304 := [ 120121792524135221462211018
          726168272315431911 ],
      14375 := [ 120122012112120121201201220
          121201211212012012 ],
      14383 := [ 12012201211212020121121201
          2012121201201220121 ],
      14395 := [ 120122110211319524132214615
          423925172618716827 ],
      14418 := [ 120122214616827120122214616
          827120122214616827 ],
      14426 := [ 120122214616827925172110215
          423524132618711319 ],
      14451 := [ 120122315418726726182012115
          423423152618712120 ],
      14461 := [ 120122315418726179253191122
          146241351682722110 ],
      14554 := [ 120122716814622221102517915
          423319112618713524 ],
      14556 := [ 120122716814622423152110217
          925726182413511319 ],
      14560 := [ 120122716814622827162214612
          120622142012116827 ],
      14564 := [ 120122716814622121208271622
          146201211682762214 ],
      14566 := [ 120122716814622146221201227
          168271681462212012 ],
      14568 := [ 120122716814622168276221420
          121221461212082716 ],
      14571 := [ 12012271681462219113187265
          2413102219251723154 ],
      14576 := [ 12012271681462224135113197
          2618179254231521102 ],
      14579 := [ 12012271681462227168146221
          2012146221201227168 ],
      14590 := [ 121111211112111111211112111
          121211112111121111 ],
      14692 := [ 12111522159261652215926161
          2111926161211152215 ],
      14742 := [ 12111727174241412111727174
          2414121117271742414 ],
      14768 := [ 121117271742414271772414421
          111144241112117727 ],
      14817 := [ 121119261652215221552111126
          169169261552211121 ],
      14836 := [ 12111103201912214424231365
          2215271779261618825 ],
      14850 := [ 121111112121111121111112121
          111121111112121111 ],
      14860 := [ 12111111212111111121211111
          2111211111211111121 ],
      14865 := [ 12111111212111116926261699
          2616221555221515522 ],
      14866 := [ 12111111212111117727271777
          2717241444241414424 ],
      14870 := [ 121111112121111211111211111
          121111212111112111 ],
      14873 := [ 121111112121111241444241414
          424177272717772717 ],
      14876 := [ 121111112121111271777271717
          727144242414442414 ],
      14967 := [ 12111155222616910320241448
          2518191226231317727 ],
      15120 := [ 121112111111121121112111111
          121121112111111121 ],
      15130 := [ 121112111111121111211211121
          111211111112112111 ],
      15132 := [ 121112111111121136236231323
          136251881882582518 ],
      15137 := [ 121112111111121188258251825
          188231361362362313 ],
      15140 := [ 12111211111112121111111211
          2111111211211121111 ],
      15155 := [ 121112215516926926162111115
          522522152616911121 ],
      15175 := [ 121112313618825219122414416
          926320102215517727 ],
      15194 := [ 12111231361882521111136238
          2518111216231325188 ],
      15288 := [ 121112717714424727172414411
          121424142111117727 ],
      15324 := [ 122161221612216161221612216
          122221612216122161 ],
      15373 := [ 122163241822317115261042512
          627211592014819137 ],
      15415 := [ 122164251071913261152014823
          172159211832412627 ],
      15437 := [ 122165261192115211592216126
          115115261592116122 ],
      15442 := [ 122165261192115261152115922
          161159211612211526 ],
      15470 := [ 122166271282014271262014822
          161148201612212627 ],
      15479 := [ 12216719134251092115627123
          2418526112231782014 ],
      15577 := [ 122161042519137261158201417
          223159212418362712 ],
      15587 := [ 122161152621159921151612226
          115526111592122161 ],
      15588 := [ 12216115262115910425201483
          2418191372231712627 ],
      15591 := [ 12216115262115913719231726
          2712251048201418324 ],
      15594 := [ 12216115262115916122261159
          2115221615261115921 ],
      15598 := [ 122161152621159201483241810
          425126271913722317 ],
      15601 := [ 122161152621159231726271213
          719183242510482014 ],
      15604 := [ 122161152621159261159211516
          122159212216152611 ],
      15695 := [ 122161592126115921151152622
          161526111612221159 ],
      15714 := [ 122161612222161122161612222
          161122161612222161 ],
      15722 := [ 122161612222161921151592121
          159526111152626115 ],
      15724 := [ 12216161222216111526261155
          2611211599211515921 ],
      15728 := [ 12216161222216115921211599
          2115261155261111526 ],
      15729 := [ 12216161222216116122221611
          2216221611221616122 ],
      15735 := [ 122161612222161221611221616
          122161222216112216 ],
      15739 := [ 122161612222161261155261111
          526159212115992115 ],
      15823 := [ 122162014812627223172115910
          425324181913711526 ],
      15830 := [ 122162014812627921152510417
          223526112418313719 ],
      15833 := [ 122162014812627126271221620
          148201481262712216 ],
      15835 := [ 122162014812627148206271222
          161271261612282014 ],
      15840 := [ 12216201481262719137115263
          2418104252231721159 ],
      15847 := [ 12216201481262726115183247
          1913159214251023172 ],
      15853 := [ 122162115911526526112216115
          921921152611516122 ],
      15876 := [ 122162216116122122162216116
          122122162216116122 ],
      15891 := [ 122162216116122161221221622
          161221611612212216 ],
      15897 := [ 12216221611612222161161221
          2216161221221622161 ],
      16016 := [ 122162712614820627122014816
          122820142216112627 ],
      16036 := [ 12216271261482026115137193
          2418159212231725104 ],
      16055 := [ 123181231812318181231812318
          123231812318123181 ],
      16122 := [ 12318426127201542612720151
          2318720151231842612 ],
      16128 := [ 123184261272015105271382116
          224191492217325116 ],
      16132 := [ 123184261272015149191732211
          625271052113824162 ],
      16138 := [ 123184261272015201572318126
          124124261572018123 ],
      16142 := [ 123184261272015241622710521
          138173221162514919 ],
      16143 := [ 123184261272015251161914922
          173138211622410527 ],
      16172 := [ 123185271091914271051914923
          181149191812310527 ],
      16192 := [ 123186251182113201572217327
          105124261491916224 ],
      16284 := [ 123181052719149426121382122
          173720151622425116 ],
      16290 := [ 12318105271914910527191491
          2318191491231810527 ],
      16305 := [ 123181052719149251167201516
          224138212217342612 ],
      16319 := [ 12318116252113812426191492
          2416201573221710527 ],
      16332 := [ 123181162521138251168211318
          123138212318162511 ],
      16379 := [ 12318138212511618123211386
          2511231818211311625 ],
      16390 := [ 123181491927105224161572025
          116322171382126124 ],
      16393 := [ 123181491927105527101812319
          149919141052723181 ],
      16396 := [ 123181491927105821131242622
          173625111622420157 ],
      16406 := [ 12318149192710518123191495
          2710231819191410527 ],
      16497 := [ 123181812323181123181812323
          181123181812323181 ],
      16504 := [ 123181812323181821131382121
          138625111162525116 ],
      16510 := [ 12318181232318114919191499
          1914271055271010527 ],
      16514 := [ 12318181232318118123231811
          2318231811231818123 ],
      16521 := [ 123181812323181251166251111
          625138212113882113 ],
      16554 := [ 123182015712426426122318115
          720720152612418123 ],
      16639 := [ 123182318118123821132113813
          821625112511611625 ],
      16642 := [ 123182318118123116256251125
          116211381382182113 ],
      16644 := [ 123182318118123138218211321
          138251161162562511 ],
      16649 := [ 123182318118123181231231823
          181231811812312318 ],
      16654 := [ 12318231811812323181181231
          2318181231231823181 ],
      16656 := [ 12318231811812325116116256
          2511138218211321138 ],
      16689 := [ 123182511613821426121914916
          224720152217310527 ],
      16693 := [ 123182511613821821132318111
          625625112113818123 ],
      16695 := [ 123182511613821105277201522
          173191491622442612 ],
      16710 := [ 12318251161382125116138211
          2318138211231825116 ],
      16744 := [ 123182710514919527101914918
          123919142318110527 ],
      16783 := [ 124171241712417171241712417
          124241712417124171 ],
      16874 := [ 124174271172114271142114724
          171147211712411427 ],
      16907 := [ 12417626108191562610819151
          2417819151241762610 ],
      16920 := [ 124176261081915191582417126
          106106261581917124 ],
      16928 := [ 124176261081915271142013922
          182147211632312525 ],
      16935 := [ 12417721144271172114427111
          2417427111241772114 ],
      16940 := [ 124177211442711125251822215
          819201392610623163 ],
      16941 := [ 124177211442711139201062616
          323251252218219158 ],
      16947 := [ 124177211442711191582512522
          182106261632313920 ],
      16951 := [ 124177211442711231632013926
          106182221581912525 ],
      16984 := [ 12417920135251222218721146
          2610323168191542711 ],
      17073 := [ 12417125252013910626211472
          2218191583231611427 ],
      17075 := [ 12417125252013912525201391
          2417201391241712525 ],
      17090 := [ 124171252520139271148191516
          323147212218262610 ],
      17096 := [ 124171392025125626101822221
          147819151142723163 ],
      17097 := [ 124171392025125721141062622
          182427111632319158 ],
      17103 := [ 12417139202512513920251251
          2417251251241713920 ],
      17109 := [ 124171392025125191584271116
          323106262218272114 ],
      17134 := [ 12417147212711417124211474
          2711241717211411427 ],
      17199 := [ 124171712424171124171712424
          171124171712424171 ],
      17209 := [ 12417171242417111427271144
          2711211477211414721 ],
      17212 := [ 12417171242417114721211477
          2114271144271111427 ],
      17215 := [ 12417171242417117124241711
          2417241711241717124 ],
      17219 := [ 124171712424171211477211414
          721114272711442711 ],
      17225 := [ 124171712424171271144271111
          427147212114772114 ],
      17258 := [ 124171915810626626102417115
          819819152610617124 ],
      17259 := [ 124171915810626721142512516
          323427112218213920 ],
      17265 := [ 124171915810626139204271122
          182251251632372114 ],
      17271 := [ 12417191581062619158106261
          2417106261241719158 ],
      17404 := [ 124172417117124171241241724
          171241711712412417 ],
      17444 := [ 124172610615819323162512514
          721222182711413920 ],
      17446 := [ 124172610615819525122114716
          323920132218211427 ],
      17451 := [ 124172610615819106268191524
          171191581712462610 ],
      17461 := [ 12417261061581920139182224
          2711125257211423163 ],
      17468 := [ 12417261061581927114139202
          2218147213231625125 ],
      17472 := [ 124172711414721427112114717
          124721142417111427 ],
      17481 := [ 124172711414721139203231626
          106251251581922218 ],
      17485 := [ 124172711414721171244271121
          147241711142772114 ],
      17495 := [ 12417271141472127114147211
          2417147211241727114 ],
      17508 := [ 125131251312513131251312513
          125251312513125131 ],
      17545 := [ 125132261432715231182412922
          107186211641917520 ],
      17599 := [ 125134191672210231182614220
          175186211292415327 ],
      17647 := [ 125136211882311175201072215
          327241292614219164 ],
      17657 := [ 125136211882311271532017522
          107142261641912924 ],
      17659 := [ 12513722104191622614823115
          2017327159241262118 ],
      17663 := [ 12513722104191662118327159
          2412823115201722614 ],
      17664 := [ 12513722104191672210419161
          2513419161251372210 ],
      17676 := [ 125137221041916191642513122
          107107221641913125 ],
      17788 := [ 125131182321186231186211813
          125186212513182311 ],
      17809 := [ 12513129242017517520251319
          2412241295201713125 ],
      17811 := [ 125131292420175191643271511
          823107222118622614 ],
      17820 := [ 125131312525131125131312525
          131125131312525131 ],
      17831 := [ 12513131252513112924241299
          2412201755201717520 ],
      17832 := [ 12513131252513113125251311
          2513251311251313125 ],
      17842 := [ 125131312525131231188231111
          823186212118662118 ],
      17937 := [ 12513175202412910722261426
          2118191648231115327 ],
      17940 := [ 12513175202412913125201759
          2412251315201712924 ],
      17943 := [ 12513175202412916419231183
          2715221072261418621 ],
      17950 := [ 125131752024129231183271516
          419186212210722614 ],
      17953 := [ 125131752024129261426211810
          722153271916482311 ],
      17988 := [ 125131916410722722102513116
          419419162210713125 ],
      17989 := [ 125131916410722823112614217
          520621182412915327 ],
      18000 := [ 12513191641072219164107221
          2513107221251319164 ],
      18044 := [ 125132118611823924122614216
          419520172210715327 ],
      18058 := [ 12513211861182323118131256
          2118186218231125131 ],
      18095 := [ 125132311818621621182513111
          823823112118613125 ],
      18106 := [ 125132311818621175203271522
          107241291641922614 ],
      18112 := [ 12513231181862123118186211
          2513186211251323118 ],
      18149 := [ 125132513113125621182118618
          621823112311811823 ],
      18154 := [ 125132513113125118238231123
          118211861862162118 ],
      18156 := [ 125132513113125131251251325
          131251311312512513 ],
      18161 := [ 125132513113125186216211821
          186231181182382311 ],
      18166 := [ 12513251311312523118118238
          2311186216211821186 ],
      18168 := [ 12513251311312525131131251
          2513131251251325131 ],
      18178 := [ 125132614215327823112412910
          722621181916417520 ],
      18220 := [ 12513271531422623118107229
          2412186215201719164 ],
      18239 := [ 126151261512615151261512615
          126261512615126151 ],
      18327 := [ 126154201872312221192514319
          176165211082413227 ],
      18391 := [ 12615723124201852116227138
          2410922116191732514 ],
      18443 := [ 12615922115211632514824104
          2018227137231261917 ],
      18449 := [ 12615922115211692211521161
          2615521161261592211 ],
      18462 := [ 126159221152116221192116526
          151165211512611922 ],
      18467 := [ 126159221152116271322312719
          176143251082418420 ],
      18499 := [ 126151192221165521161512622
          119922111652126151 ],
      18506 := [ 12615119222116512723191762
          2713201843251410824 ],
      18512 := [ 12615119222116518420251438
          2410231276191713227 ],
      18513 := [ 126151192221165191762271312
          723108242018432514 ],
      18516 := [ 126151192221165221195211615
          126165212615192211 ],
      18519 := [ 126151192221165251438241018
          420132272312761917 ],
      18524 := [ 126151272320184325141192219
          176227131082421165 ],
      18536 := [ 12615127232018415126231274
          2018261517231218420 ],
      18580 := [ 126151432527132521161842019
          176922111082423127 ],
      18603 := [ 126151512626151126151512626
          151126151512626151 ],
      18607 := [ 126151512626151521161652121
          165922111192222119 ],
      18613 := [ 12615151262615111922221199
          2211211655211616521 ],
      18617 := [ 12615151262615115126261511
          2615261511261515126 ],
      18618 := [ 12615151262615116521211655
          2116221199221111922 ],
      18624 := [ 126151512626151221199221111
          922165212116552116 ],
      18628 := [ 126151512626151261511261515
          126151262615112615 ],
      18639 := [ 12615165212211910824251434
          2018191767231213227 ],
      18644 := [ 12615165212211915126211659
          2211261515211611922 ],
      18717 := [ 126151917610824723122514316
          521420182211913227 ],
      18727 := [ 126151917610824176198241026
          151241081512661917 ],
      18732 := [ 12615191761082422119132274
          2018165217231225143 ],
      18737 := [ 12615191761082427132184209
          2211143255211623127 ],
      18754 := [ 126152018412723176199221125
          143241081322752116 ],
      18785 := [ 12615211651192221165119221
          2615119221261521165 ],
      18850 := [ 126152410817619521162514312
          723922112018413227 ],
      18860 := [ 126152410817619151268241019
          176261511082461917 ],
      18900 := [ 126152615115126126152615115
          126126152615115126 ],
      18914 := [ 126152615115126151261261526
          151261511512612615 ],
      18967 := [ 127141271412714141271412714
          127271412714127141 ],
      18980 := [ 127141271412714271412714127
          141141271412714127 ],
      19025 := [ 127143261322515185191742116
          620231092212824117 ],
      19038 := [ 12714421177241142117724111
          2714724111271442117 ],
      19052 := [ 127144211772411185191282215
          225231092613320166 ],
      19054 := [ 127144211772411201662310926
          133128221522518519 ],
      19058 := [ 127144211772411241172714121
          174174211172414127 ],
      19059 := [ 127144211772411251521918522
          128133261662010923 ],
      19075 := [ 127145191892310141271851910
          923271411918523109 ],
      19131 := [ 127147241142117166201332610
          923221281918525152 ],
      19150 := [ 12714822126201682212620161
          2714620161271482212 ],
      19200 := [ 127141092319185421171332622
          128724111662025152 ],
      19305 := [ 127141412727141127141412727
          141127141412727141 ],
      19308 := [ 127141412727141421171742121
          174724111172424117 ],
      19311 := [ 127141412727141724111172424
          117421171742121174 ],
      19318 := [ 12714141272714114127271411
          2714271411271414127 ],
      19328 := [ 127141412727141241177241111
          724174212117442117 ],
      19399 := [ 12714174212411714127211747
          2411271414211711724 ],
      19420 := [ 127141851923109822121332621
          174620161172425152 ],
      19422 := [ 12714185192310910923271415
          1918191859231014127 ],
      19432 := [ 127141851923109201667241115
          225128222613342117 ],
      19436 := [ 127141851923109241172251516
          620174212212832613 ],
      19474 := [ 127142016612822822122714116
          620620162212814127 ],
      19480 := [ 127142016612822141276201622
          128271411662082212 ],
      19486 := [ 12714201661282220166128221
          2714128221271420166 ],
      19490 := [ 12714201661282224117133265
          1918174219231025152 ],
      19507 := [ 127142117411724141274211724
          117271411742172411 ],
      19524 := [ 127142212816620421172515210
          923724111918513326 ],
      19529 := [ 127142212816620923102117415
          225519182613311724 ],
      19532 := [ 127142212816620128226201627
          141201661412782212 ],
      19536 := [ 127142212816620166201271422
          128221281662012714 ],
      19539 := [ 12714221281662019185133267
          2411109234211725152 ],
      19544 := [ 12714221281662024117185193
          2613174212251523109 ],
      19546 := [ 12714221281662026133117245
          1918152259231021174 ],
      19573 := [ 12714231091851926133128224
          2117152257241120166 ],
      19598 := [ 12714241171742124117174211
          2714174211271424117 ],
      19656 := [ 127142714114127127142714114
          127127142714114127 ],
      19669 := [ 127142714114127141271271427
          141271411412712714 ],
      19682 := [ 12714271411412727141141271
          2714141271271427141 ],
      19683 := [ 1234567891011121314151617
          18192021222324252627 ] ),
  classes := rec(
      1 := rec(
          phi := [ 11968316042230314037164576527759447156
              78508642926899691090611523123151310013492
              1419314860157291630517090179501861719436 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      2 := rec(
          phi := [ 11968316042230314037164576527759447156
              78558642926899691090211522123151310013492
              1419314865157281630517090179501861319436 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      3 := rec(
          phi := [ 11968316042274292437874377510860526903
              73108389909698541077111361116871241513212
              1399715130153241664917404175081864418967 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      4 := rec(
          phi := [ 11968316042274292437874377510860526903
              73108389909698541077111361122271295513212
              1399715130153241637917134175081864418967 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      5 := rec(
          phi := [ 11968316042274292437874377510860527156
              75808642909698541023111361116871241513492
              1419314590153241664917404175081891418967 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      6 := rec(
          phi := [ 11968316042274292437874377510860527156
              75808642909698541023111631116871241513492
              1419314590155941664917404175081891418967 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      7 := rec(
          phi := [ 11968316042355314038414458524359447065
              76828551883296171090611523119161270113374
              1415914692157291612216907180001861719486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      8 := rec(
          phi := [ 11968316042355314038414458524359447065
              76998551883896231090611523119141269613374
              1415914817157291613816920179881861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      9 := rec(
          phi := [ 11968316042355314038414458524359447065
              78508551883896231090611523119161270113374
              1415914860157291612216907179881861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      10 := rec(
          phi := [ 11968316042355314038414458524359447065
              78508551900097851090611523119161270113374
              1415914860157291612216907176641861719150 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      11 := rec(
          phi := [ 11968316042355314038414458524359447065
              785085519420102051048611523117481253313374
              1415914860157291671017495178321844919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      12 := rec(
          phi := [ 11968316042355314038414458524359447065
              785085519420102051048611523123151310013374
              1415914860157291630517090178321844919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      13 := rec(
          phi := [ 11968316042355314038414458524359447065
              785085519420102051048611523123361312113374
              1415914860157291629017075178321844919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      14 := rec(
          phi := [ 11968316042355314038414458524359447065
              785085519420102051090611523123081300913374
              1415914860157291651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      15 := rec(
          phi := [ 11968316042355314038414458524359447065
              785085519420102051090611523123151310013374
              1415914860157291630517090178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      16 := rec(
          phi := [ 11968316042355314038414458524359447065
              785085519420102051090611523123361312113374
              1415914860157291629017075178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      17 := rec(
          phi := [ 11968316042365313638514468525059407056
              783085439408101921088111502123011300413365
              1414814870157351649717199178201862819305 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      18 := rec(
          phi := [ 11968316042365313638514468525059407056
              783085439408101921088111506123011300413365
              1414814870157391649717199178201862819305 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      19 := rec(
          phi := [ 11968316042365313638514468525059407060
              783085449408101921088111502123011300413369
              1415214870157351649717199178201862819305 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      20 := rec(
          phi := [ 11968316042365313638514468525059407060
              783085449408101921088111506123011300413369
              1415214870157391649717199178201862819305 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      21 := rec(
          phi := [ 11968316042365314038514468525059447073
              785085569420102051090611522123081300913382
              1416414860157281651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      22 := rec(
          phi := [ 11968316042365314038514468525059447073
              785085569420102051090611527123081300913382
              1416414860157241651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      23 := rec(
          phi := [ 11968316042365314038514468525059447156
              785086429403101851090611523122881299213492
              1419314860157291652117225178421861719328 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      24 := rec(
          phi := [ 11968316382355314037434458528759447264
              785085519420102051076111489123081310013475
              1415914860156041639617215178321851619318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      25 := rec(
          phi := [ 11968316382355314037504458527759446728
              78508113883196611090611523117641257113210
              1403914860157291614216940176591861719052 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      26 := rec(
          phi := [ 11968316382355314037504458527759446728
              78508123883196501090611523117621258113210
              1402914860157291613216951176591861719054 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      27 := rec(
          phi := [ 11968316382355314037504458527759446729
              78508124883296511090611523117541257313206
              1402514860157291612816947176641861719059 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      28 := rec(
          phi := [ 11968316382355314037504458527759447065
              78508109942096451090611523117481256713374
              1403114860157291614316935178321861719038 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      29 := rec(
          phi := [ 11968316382355314037504458527759447065
              78508124942096511090611523117541257313374
              1402514860157291612816947178321861719059 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      30 := rec(
          phi := [ 11968316382355314037504458527759447065
              78508676942099691090611523123151289113374
              1419314860157291630517097178321861719200 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      31 := rec(
          phi := [ 11968316382355314038414458524359447065
              76998551883897791090611523118621256613374
              1415915155157291613816920176761861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      32 := rec(
          phi := [ 11968316382355314038414458524359447065
              76998551883897791090611523118621269613374
              1415915155157291655416920176761861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      33 := rec(
          phi := [ 11968316382355314038414458524359447065
              76998551883897791090611523118621300913374
              1415915155157291651416920176761861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      34 := rec(
          phi := [ 11968316382355314038414458524359447065
              76998551883897791090611523119141256613374
              1415915155157291613817258176761861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      35 := rec(
          phi := [ 11968316382355314038414458524359447065
              76998551883897791090611523119141269613374
              1415915155157291655417258176761861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      36 := rec(
          phi := [ 11968316382355314038414458524359447065
              76998551883897791090611523123081269613374
              1415915155157291655417215176761861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      37 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083838832102051031811523117481289713374
              1457914860157291629016935176641844919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      38 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083838832102051048611523117481289713374
              1457914860157291629016935176641878519318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      39 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083838832102051090611523119161289713374
              1457914860157291629017271176641861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      40 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083839000102051031811523117481289713374
              1457914860157291629016935180001844919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      41 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083839000102051048611523117481289713374
              1457914860157291629016935180001878519318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      42 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083839000102051090611523117481289713374
              1457914860157291629016935180001861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      43 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083839420102051031811523117481272913374
              1457914860157291671016935178321844919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      44 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083839420102051031811523117481289713374
              1457914860157291629016935178321844919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      45 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083839420102051048611523117481272913374
              1457914860157291671016935178321878519318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      46 := rec(
          phi := [ 11968316382355314038414458524359447065
              785083839420102051048611523117481289713374
              1457914860157291629016935178321878519318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      47 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611161118621300913374
              1445114860154371651416920180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      48 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611161119141300913374
              1445114860154371651417258180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      49 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611161123081300913374
              1445114860154371651417215180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      50 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611213118621300913374
              1445114860158531651416920180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      51 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611213119141300913374
              1445114860158531651417258180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      52 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611213123081300913374
              1445114860158531651417215180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      53 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611523118621300913374
              1445114860157291651416920180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      54 := rec(
          phi := [ 11968316382355314038414458524359447065
              785084819214100891090611523119141300913374
              1445114860157291651417258180951861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      55 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551883897791090611523119161256113374
              1415914860157291612217271176761861719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      56 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551900096171090611523119161256113374
              1415914860157291612217271180001861719150 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      57 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551900097851090611523119161256113374
              1415914860157291612217271180001861719486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      58 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551942097851031811523123361272913374
              1415914860157291671017103178321844919486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      59 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551942097851048611523123361272913374
              1415914860157291671017103178321878519486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      60 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551942097851090611523119161256113374
              1415914860157291612217271178321861719486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      61 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551942097851090611523119161272913374
              1415914860157291671017271178321861719486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      62 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551942097851090611523119311272313374
              1415914860157291668917265178321861719486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      63 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551942097851090611523123361256113374
              1415914860157291612217103178321861719486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      64 := rec(
          phi := [ 11968316382355314038414458524359447065
              78508551942097851090611523123361272913374
              1415914860157291671017103178321861719486 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      65 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420100821090611523123191300913374
              1415914860157291651417096178321861719432 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      66 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051048611523123151289113374
              1415914860157291630517097178321878519318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      67 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051048611523123361272913374
              1415914860157291671017103178321878519318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      68 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051048611523123361289713374
              1415914860157291629017103178321878519318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      69 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523119311272313374
              1415914860157291668917265178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      70 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523123081300913374
              1415914860157291651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      71 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523123081310013374
              1415914860157291639617215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      72 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523123151289113374
              1415914860157291630517097178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      73 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523123211300913374
              1415914860157291651417109178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      74 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523123361272913374
              1415914860157291671017103178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      75 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523123361288513374
              1415914860157291628417103178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      76 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611523123361289713374
              1415914860157291629017103178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      77 := rec(
          phi := [ 11968316382355314038414458524359447065
              785085519420102051090611614121901300913374
              1415914860156951651417090178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      78 := rec(
          phi := [ 11968316382355314038414458524359447156
              785085518960102051090611523120391300913583
              1415914860157291651417481176471861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      79 := rec(
          phi := [ 11968316382355314038414458524359447156
              785085519230102051090611523117691300913583
              1415914860157291651416941181061861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      80 := rec(
          phi := [ 11968316382375292437434468528758366579
              73718190892795031029511020118391241513131
              1395014742154791605516874175991839118967 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      81 := rec(
          phi := [ 11968316382375292437434468528758366579
              78538038877295031076511499116871241513131
              1386214866155911605516783175081850618967 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      82 := rec(
          phi := [ 11968316382375292437434468528758367267
              784386629387101791075511492123111310313481
              1430014876156011639317212179371851319305 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      83 := rec(
          phi := [ 11968316382375292437434468528758367270
              784686659390101821075811486123051309713478
              1429714873155981639017209179431851919311 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      84 := rec(
          phi := [ 11968316382375292437434468528758367270
              785386559383101821076511499122951309713478
              1430414866155911639017219179531850619311 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      85 := rec(
          phi := [ 11968316382375292437434468528758367281
              783086499386102051075411479122981311713482
              1430114850155871640617225179501849919318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      86 := rec(
          phi := [ 11968316382375314037434468528759447264
              784085519420101851076111489123081310013475
              1415914870156041639617215178321851619308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      87 := rec(
          phi := [ 11968316382375314037434468528759447264
              784085519420101851089611516123081310013475
              1415914870157391639617215178321862419308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      88 := rec(
          phi := [ 11968316382375314037434468528759447264
              785085519420101851090211527123081310013475
              1415914860157281639617215178321861819308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      89 := rec(
          phi := [ 11968316382375314037434468528759447264
              785085569415101851090211527123081310013475
              1416014860157281639617215178311861819308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      90 := rec(
          phi := [ 11968316382375314037434468528759447264
              785085569415101851090611523123081310013475
              1416014860157291639617215178311861719308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      91 := rec(
          phi := [ 11968316382375314037434468528759447281
              783086499386102051088911506122981311713482
              1430114850157221640617225179501860719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      92 := rec(
          phi := [ 11968316382375314037434468528759447281
              785086499386102051090611523122981311713482
              1430114860157291640617225179501861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      93 := rec(
          phi := [ 11968316382375314038474468526459447065
              783085459270102051088111502122981300913374
              1417414850157141651417225178111860319318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      94 := rec(
          phi := [ 11968316382375314038474468526459447065
              785085459270102051090611523122981300913374
              1417414860157291651417225178111861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      95 := rec(
          phi := [ 11968316382375314038474468526459447073
              785085459270102051090611523122981301313378
              1417414860157291651017225178111861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      96 := rec(
          phi := [ 11968316382375314038474468526459447073
              785085459386102051090611523122981301313378
              1417414860157291651017225179501861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      97 := rec(
          phi := [ 11968316382375314038474468526459447281
              785083899230102051090611523120381301313482
              1456414860157291651017485181061861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      98 := rec(
          phi := [ 11968316382375314038514468526059447156
              784085519420101851089611516123081299213583
              1415914870157391650417215178321862419308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      99 := rec(
          phi := [ 11968316382375314038514468526059447156
              785085519420101851090211527123081299213583
              1415914860157281650417215178321861819308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      100 := rec(
          phi := [ 11968316382375314038514468526059447156
              785085519420101851090611523123081299213583
              1415914860157291650417215178321861719308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      101 := rec(
          phi := [ 11968316382375314038514468526059447264
              784085519420101851089611516123081299213475
              1415914870157391650417215178321862419308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      102 := rec(
          phi := [ 11968316382375314038514468526059447264
              785085519420101851090211527123081299213475
              1415914860157281650417215178321861819308 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      103 := rec(
          phi := [ 11968316382375314038514468526059447281
              783086499413102051088911506122981300913482
              1430114850157221651417225178421860719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      104 := rec(
          phi := [ 11968316382375314038514468526059447281
              785086499413102051090611523122981300913482
              1430114860157291651417225178421861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      105 := rec(
          phi := [ 11968316382419299537854505529958736940
              75708327908498411064611355119101286913799
              1438315140158971665417259181681885019682 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      106 := rec(
          phi := [ 11968316382419299537854505529958736940
              75708327908998411064611355119101286413799
              1438315140158971665617259181661885019682 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      107 := rec(
          phi := [ 11968316382419299537854505529958736940
              75708335908498541064611361119101286913799
              1437515140158911665417259181681885019669 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      108 := rec(
          phi := [ 11968316382419299537854505529958736940
              77598327903598411064611355119101272913799
              1438315194158971671017259180581885019682 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      109 := rec(
          phi := [ 11968316382419299537854505529958737001
              75708335908498541045211361120431286913747
              1437515140158911665417444181681871719669 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      110 := rec(
          phi := [ 11968316382419299537854505529958737001
              75708396908499031045211251120431286913747
              1456615140158331665417444181681871719536 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      111 := rec(
          phi := [ 11968316382419299537874505529758736822
              75608379907998981060911246121191285713617
              1457115120158471663917404181491891419544 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      112 := rec(
          phi := [ 11968316382419299537874505529758736822
              75808379909298981060911246121191287213617
              1457115130158471664217404181541891419544 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      113 := rec(
          phi := [ 11968316382419299537874505529758736940
              75708335908498541064611361119101286913799
              1437515140158911665417259181681885019669 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      114 := rec(
          phi := [ 11968316382419299537874505529758736940
              75708335908998541064611361119101286413799
              1437515140158911665617259181661885019669 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      115 := rec(
          phi := [ 11968316382419299537874505529758736940
              75808335909498541064611361119101287613799
              1437515130158911664417259181611885019669 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      116 := rec(
          phi := [ 11968316382419299537874505529758737001
              75708335908498541045211361120431286913747
              1437515140158911665417444181681871719669 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      117 := rec(
          phi := [ 11968316382419299537874505529758737001
              75808335909698541045211361120431287413747
              1437515130158911664917444181561871719669 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      118 := rec(
          phi := [ 11968316382419299537874505529758737004
              75808372909698881046411236120551287413762
              1455415130158301664917468181561873219524 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      119 := rec(
          phi := [ 11968316382419299537874505529758737004
              75848372909498881046411236120551287213762
              1455415132158301664217468181611873219524 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      120 := rec(
          phi := [ 11968316382419299537874505529758737008
              75828376909298861046211234120531287613764
              1455615137158231664417461181541873719529 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      121 := rec(
          phi := [ 11968316382419299537874505529758737008
              75848376909498861046211234120531287213764
              1455615132158231664217461181611873719529 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      122 := rec(
          phi := [ 11968316382419299537874505529758737018
              75808386909698961047211241120601287413757
              1457615130158401664917451181561872719546 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      123 := rec(
          phi := [ 11968316382419299537874505529758737018
              75808391909699011047211258120601287413757
              1456815130158351664917451181561872719532 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      124 := rec(
          phi := [ 11968316382900314042684744553659446863
              78508501895095261090611523123151289113642
              1446114860157291630517097176571861719025 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      125 := rec(
          phi := [ 11968316382905302438414748524360487065
              75608379883696551090611340123081310013374
              1457115120158761639617215176631861719058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      126 := rec(
          phi := [ 11968316382905302438414748524360487065
              75608690928496551058411340123081273513374
              1419115120158761669517215178091890019058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      127 := rec(
          phi := [ 11968316382905302438414748524360487065
              75608690928496551058411340123081310013374
              1419115120158761639617215178091890019058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      128 := rec(
          phi := [ 11968316382905302438414748524360487065
              75608690928496551090611340123081310013374
              1419115120158761639617215178091861719058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      129 := rec(
          phi := [ 11968316382905302438414748524360487065
              75608690928496551090611489123081310013374
              1419115120156041639617215178091861719058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      130 := rec(
          phi := [ 11968316382905314038414748524359447065
              78508379921496551090611523123081272213374
              1457114860157291669317215180951861719058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      131 := rec(
          phi := [ 11968316382905314038414748524359447065
              78508690928496551090611523123081310013374
              1419114860157291639617215178091861719058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      132 := rec(
          phi := [ 11968316382913346242814737555661057226
              78028594913199501052610982117741259313468
              1426014836153731619216984181781875419573 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      133 := rec(
          phi := [ 11968321712355314038414458524359446741
              785083899420102051090611523117481253313212
              1456414860157291671017495178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      134 := rec(
          phi := [ 11968321712355314038414458524359446741
              785083899420102051090611523123081300913212
              1456414860157291651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      135 := rec(
          phi := [ 11968321712355314038414458524359446897
              785082159420102051090611523117481253313206
              1457914860157291671017495178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      136 := rec(
          phi := [ 11968321712355314038414458524359446994
              785086429420102051090611523123081300913492
              1403114860157291651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      137 := rec(
          phi := [ 11968321712355314038414458524359447065
              785085519420102051090611523117481253313374
              1415914860157291671017495178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      138 := rec(
          phi := [ 11968321712355314038414458524359447065
              785085519420102051090611523119101253313374
              1415914860157291671017090178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      139 := rec(
          phi := [ 11968321712355314038414458524359447065
              785085519420102051090611523123081256713374
              1415914860157291639617215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      140 := rec(
          phi := [ 11968321712355314038414458524359447065
              785085519420102051090611523123081300913374
              1415914860157291651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      141 := rec(
          phi := [ 11968321712355314038414458524359447065
              785085519420102051090611523123081310013374
              1415914860157291614317215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      142 := rec(
          phi := [ 11968321712355314038414458524359447065
              785085519420102051090611523123151269513374
              1415914860157291630516928178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      143 := rec(
          phi := [ 11968321712355314038414458524359447065
              785085519420102051090611614119101300913374
              1415914860154421651417090178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      144 := rec(
          phi := [ 11968321712355314038414458524359447264
              785081029420102051090611523123081300913222
              1457114860157291651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      145 := rec(
          phi := [ 11968321712355314038414458524359447281
              785081199420102051090611523123081300913482
              1402414860157291651417215178321861719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      146 := rec(
          phi := [ 11968321712510303237874451529760526994
              75808642909695201060911361121901287413492
              1403115130158911664917259181561891419200 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      147 := rec(
          phi := [ 11968321712510303238414451524360526994
              75808642942095201060911361121901300913492
              1403115130158911651417259178321891419200 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      148 := rec(
          phi := [ 11968321712510303238414451524360526994
              78508642942095201060911361121901300913492
              1403114860158911651417259178321891419200 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      149 := rec(
          phi := [ 11968321712510314038414451524359446994
              78508642942095201090611523121901300913492
              1403114860157291651417259178321861719200 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      150 := rec(
          phi := [ 11968321712559303237874446529760526822
              75808335909695231060911361121191287413617
              1437515130158911664917404181561891419131 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      151 := rec(
          phi := [ 11968321712559329537874446529764597097
              75808521909695231065111236117751287413541
              1442615130155771664917468181561844319131 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      152 := rec(
          phi := [ 11968321712611303237874453529760526822
              75808335909695081060911300121191287413617
              1437515130154791664917404181561891419539 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      153 := rec(
          phi := [ 11968321712611316037874453529765137077
              75808531909695081032711300121191287413359
              1424415130154791664917404181561852419539 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      154 := rec(
          phi := [ 11968321712611329737874453529763206684
              75808715909695081072011300121191287413425
              1410715130154791664917404181561846719539 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      155 := rec(
          phi := [ 11968321712635314041214738543959446994
              78508642894496451090611523117481253313492
              1403114860157291671017495181121861719598 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      156 := rec(
          phi := [ 11968321712679303237874620529760526741
              75808389909698001060911361119101287413212
              1456415130158911664917090181561891419480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      157 := rec(
          phi := [ 11968321712679303237874620529760526741
              75808389909698001060911361121901287413212
              1456415130158911664917259181561891419480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      158 := rec(
          phi := [ 11968321712679303238414620524360526741
              75808389942098001060911361119101253313212
              1456415130158911671017090178321891419480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      159 := rec(
          phi := [ 11968321712679303238414620524360526741
              75808389942098001060911361119101300913212
              1456415130158911651417090178321891419480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      160 := rec(
          phi := [ 11968321712679303238414620524360526741
              75808389942098001060911361121901300913212
              1456415130158911651417259178321891419480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      161 := rec(
          phi := [ 11968321712679303238414620524360526741
              78508389942098001060911361119101300913212
              1456414860158911651417090178321891419480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      162 := rec(
          phi := [ 11968321712679303238414620524360526741
              78508389942098001060911361121901300913212
              1456414860158911651417259178321891419480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      163 := rec(
          phi := [ 11968321712679314038414620524359446741
              78508389942098001090611523119101253313212
              1456414860157291671017090178321861719480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      164 := rec(
          phi := [ 11968321712679314038414620524359446741
              78508389942098001090611523119101300913212
              1456414860157291651417090178321861719480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      165 := rec(
          phi := [ 11968321712679314038414620524359446741
              78508389942098001090611523121901300913212
              1456414860157291651417259178321861719480 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      166 := rec(
          phi := [ 11968321712689303237874441529760526724
              75808372909695101060911361119101287413762
              1430115130158911664917090181561891419490 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      167 := rec(
          phi := [ 11968321712689303238414441524360526724
              75808372942095101060911361119101300913762
              1430115130158911651417090178321891419490 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      168 := rec(
          phi := [ 11968321712689303238414441524360526724
              78508372942095101060911361119101300913762
              1430114860158911651417090178321891419490 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      169 := rec(
          phi := [ 11968321712689314038414441524359446724
              78508372942095101090611523119101300913762
              1430114860157291651417090178321861719490 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      170 := rec(
          phi := [ 11968321712689330937874441529762516724
              75808372909695101078111614119101287413762
              1430115130154421664917090181561846219490 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      171 := rec(
          phi := [ 11968321712689330938414441524362516724
              78508372942095101078111614119101300913762
              1430114860154421651417090178321846219490 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      172 := rec(
          phi := [ 11968321712733292437434647581758367264
              73108102883697731023110956116871310013222
              1457114590153241614316783182201823919507 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      173 := rec(
          phi := [ 11968321712733292440204647528758367264
              73108102911697731023110956116871256713222
              1457114590153241639616783176631823919507 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      174 := rec(
          phi := [ 11968321712733292442734647554058367011
              73108659939397731023110956116871256713752
              1429414590153241639616783179401823919507 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      175 := rec(
          phi := [ 11968321712733292442734647554058367011
              73108659939397731023110956116871310013752
              1429414590153241614316783179401823919507 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      176 := rec(
          phi := [ 11968321712792314038434472560559447065
              785085519284102011090611523123081300913374
              1415914860157291651417215178311861719422 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      177 := rec(
          phi := [ 11968321712793314038414437524359447065
              78508551942095151090611523123081256713374
              1415914860157291639617215178321861719420 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      178 := rec(
          phi := [ 11968321712793314038434437560559446712
              78508690928495151090611523123081256713372
              1416014860157291639617215178311861719420 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      179 := rec(
          phi := [ 11968321712797314037164576560159446994
              78508642926898071090611523123151269513492
              1403114860157291630516928175451861719436 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      180 := rec(
          phi := [ 11968321712814310336524809510862047264
              731081028772101241038311300121191241513222
              1457114590154791605517404175081858019399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      181 := rec(
          phi := [ 11968321712814310337874809529762047264
              758081029096101241038311300121191287413222
              1457115130154791664917404181561858019399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      182 := rec(
          phi := [ 11968321712814335636524809510864577011
              731086598772101241066311020121191241513752
              1429414590160361605517404175081886019399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      183 := rec(
          phi := [ 11968321712814335636524809510864577011
              731086598772101241066311020121191266813752
              1429414590160361633217404175081886019399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      184 := rec(
          phi := [ 11968321712814335636524809510864577011
              731086598772101241066311300121191241513752
              1429414590154791605517404175081886019399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      185 := rec(
          phi := [ 11968321712814335637874809529764577011
              758086599096101241066311020121191287413752
              1429415130160361664917404181561886019399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      186 := rec(
          phi := [ 11968321712814335637874809529764577011
              758086599096101241066311300121191287413752
              1429415130154791664917404181561886019399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      187 := rec(
          phi := [ 11968321712814363336524809510859277264
              731081028772101241091611020121191241513222
              1457114590160361605517404175081832719399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      188 := rec(
          phi := [ 11968321712814363337874809529759277264
              758081029096101241091611020121191287413222
              1457115130160361664917404181561832719399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      189 := rec(
          phi := [ 11968321712814363339324809538559277264
              731081029025101241091611020121191266813222
              1457114590160361633217404177881832719399 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      190 := rec(
          phi := [ 11968321712868316737874755529763227281
              75808119909697191074411236117751287413482
              1402415130155771664917468181561853619075 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      191 := rec(
          phi := [ 11968321712905292437434468581758367264
              731081028836101851023110956117481310013222
              1457114590153241614317495182201823919058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      192 := rec(
          phi := [ 11968321712905313638434468560560487052
              756085569284101851058411209123081310013334
              1419114870156041614317215178311862819058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      193 := rec(
          phi := [ 11968321712905314037434468581759447264
              785081028836101851090611523117481310013222
              1457114860157291614317495182201861719058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      194 := rec(
          phi := [ 11968321712905314038434468560559447052
              785085569284101851090611523123081310013334
              1419114860157291614317215178311861719058 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      195 := rec(
          phi := [ 147196831576241730903847444551185875
              6959763283899230990310660112581193112688
              137451441815175160161668917446180441871719474 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      196 := rec(
          phi := [ 729196831602222335363708457252746344
              7046786686499270985410755116191232112662
              133641418414967155881617217073179371863918980 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      197 := rec(
          phi := [ 729196831602236234203847446852516552
              70607458821588361019210347110751174813104
              133781456015288160161629017472179891871719318 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      198 := rec(
          phi := [ 729196831602283435364238494056426344
              7046774884509270985410755112581196012662
              133641406614768154701617216874179371863918980 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      199 := rec(
          phi := [ 729196831732283429254081494052746187
              6565774886498914985410755110201196013104
              134821439514768155881674416874179371885018980 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      200 := rec(
          phi := [ 729196831732291230123916509651966109
              68528008810290361019210295112291237612479
              132221413515288154151631917472175991851219656 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      201 := rec(
          phi := [ 729196831732291236403743509653816552
              72808008831190361019210295110201237613104
              138321395015288155881674417472175991851219656 ],
          autos_yielding_iso_nrs := [ 19683 ] ),
      202 := rec(
          phi := [ 729196831732291236404368509658246552
              72808008873690361019210295116481237613104
              138321456015288160161674417472175991851219656 ],
          autos_yielding_iso_nrs := [ 19683 ] ) ) );

[Dauer der Verarbeitung: 0.289 Sekunden, vorverarbeitet 2026-06-23]