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

Impressum nri24_3.nr   Sprache: unbekannt

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

NI24_3 := rec(
  group_name := "24/3",
  group_generators := [ (1,2,3,4,5,6), (7,8), ( 9,10) ],
  elements := rec(
      1 := (),
      2 := ( 9,10),
      3 := (7,8),
      4 := ( 78)( 9,10),
      5 := (1,2,3,4,5,6),
      6 := ( 123456)( 9,10),
      7 := (1,2,3,4,5,6)(7,8),
      8 := ( 123456)( 78)( 9,10),
      9 := (1,3,5)(2,4,6),
      10 := ( 135)( 246)( 9,10),
      11 := (1,3,5)(2,4,6)(7,8),
      12 := ( 135)( 246)( 78)( 9,10),
      13 := (1,4)(2,5)(3,6),
      14 := ( 14)( 25)( 36)( 9,10),
      15 := (1,4)(2,5)(3,6)(7,8),
      16 := ( 14)( 25)( 36)( 78)( 9,10),
      17 := (1,5,3)(2,6,4),
      18 := ( 153)( 264)( 9,10),
      19 := (1,5,3)(2,6,4)(7,8),
      20 := ( 153)( 264)( 78)( 9,10),
      21 := (1,6,5,4,3,2),
      22 := ( 165432)( 9,10),
      23 := (1,6,5,4,3,2)(7,8),
      24 := ( 165432)( 78)( 9,10) ),
  group_endomorphisms := rec(
      1 := [ 111111111111111111111111 ],
      2 := [ 111122221111222211112222 ],
      3 := [ 111133331111333311113333 ],
      4 := [ 111144441111444411114444 ],
      5 := [ 1111555599991313131317171717212121
          21 ],
      6 := [ 1111666699991414141417171717222222
          22 ],
      7 := [ 1111777799991515151517171717232323
          23 ],
      8 := [ 1111888899991616161617171717242424
          24 ],
      9 := [ 11119999171717171111999917171717 ],
      10 := [ 1111101010101717171722229999181818
          18 ],
      11 := [ 1111111111111717171733339999191919
          19 ],
      12 := [ 1111121212121717171744449999202020
          20 ],
      13 := [ 1111131313131111131313131111131313
          13 ],
      14 := [ 1111141414141111141414141111141414
          14 ],
      15 := [ 1111151515151111151515151111151515
          15 ],
      16 := [ 1111161616161111161616161111161616
          16 ],
      17 := [ 11111717171799991111171717179999 ],
      18 := [ 1111181818189999222217171717101010
          10 ],
      19 := [ 1111191919199999333317171717111111
          11 ],
      20 := [ 1111202020209999444417171717121212
          12 ],
      21 := [ 11112121212117171717131313139999555
          5 ],
      22 := [ 11112222222217171717141414149999666
          6 ],
      23 := [ 11112323232317171717151515159999777
          7 ],
      24 := [ 11112424242417171717161616169999888
          8 ],
      25 := [ 112211221122112211221122 ],
      26 := [ 112222111122221111222211 ],
      27 := [ 112233441122334411223344 ],
      28 := [ 112244331122443311224433 ],
      29 := [ 1122556699101013131414171718182121
          2222 ],
      30 := [ 1122665599101014141313171718182222
          2121 ],
      31 := [ 1122778899101015151616171718182323
          2424 ],
      32 := [ 1122887799101016161515171718182424
          2323 ],
      33 := [ 1122991010171718181122991010171718
          18 ],
      34 := [ 1122101099171718182211991010181817
          17 ],
      35 := [ 1122111112121717181833449910101919
          2020 ],
      36 := [ 1122121211111717181844339910102020
          1919 ],
      37 := [ 1122131314141122131314141122131314
          14 ],
      38 := [ 1122141413131122141413131122141413
          13 ],
      39 := [ 1122151516161122151516161122151516
          16 ],
      40 := [ 1122161615151122161615151122161615
          15 ],
      41 := [ 1122171718189910101122171718189910
          10 ],
      42 := [ 11221818171799101022111717181810109
          9 ],
      43 := [ 1122191920209910103344171718181111
          1212 ],
      44 := [ 1122202019199910104433171718181212
          1111 ],
      45 := [ 112221212222171718181313141499101055
          66 ],
      46 := [ 112222222121171718181414131399101066
          55 ],
      47 := [ 112223232424171718181515161699101077
          88 ],
      48 := [ 112224242323171718181616151599101088
          77 ],
      49 := [ 113311331133113311331133 ],
      50 := [ 113322441133224411332244 ],
      51 := [ 113333111133331111333311 ],
      52 := [ 113344221133442211334422 ],
      53 := [ 1133557799111113131515171719192121
          2323 ],
      54 := [ 1133668899111114141616171719192222
          2424 ],
      55 := [ 1133775599111115151313171719192323
          2121 ],
      56 := [ 1133886699111116161414171719192424
          2222 ],
      57 := [ 1133991111171719191133991111171719
          19 ],
      58 := [ 1133101012121717191922449911111818
          2020 ],
      59 := [ 1133111199171719193311991111191917
          17 ],
      60 := [ 1133121210101717191944229911112020
          1818 ],
      61 := [ 1133131315151133131315151133131315
          15 ],
      62 := [ 1133141416161133141416161133141416
          16 ],
      63 := [ 1133151513131133151513131133151513
          13 ],
      64 := [ 1133161614141133161614141133161614
          14 ],
      65 := [ 1133171719199911111133171719199911
          11 ],
      66 := [ 1133181820209911112244171719191010
          1212 ],
      67 := [ 11331919171799111133111717191911119
          9 ],
      68 := [ 1133202018189911114422171719191212
          1010 ],
      69 := [ 113321212323171719191313151599111155
          77 ],
      70 := [ 113322222424171719191414161699111166
          88 ],
      71 := [ 113323232121171719191515131399111177
          55 ],
      72 := [ 113324242222171719191616141499111188
          66 ],
      73 := [ 114411441144114411441144 ],
      74 := [ 114422331144223311442233 ],
      75 := [ 114433221144332211443322 ],
      76 := [ 114444111144441111444411 ],
      77 := [ 1144558899121213131616171720202121
          2424 ],
      78 := [ 1144667799121214141515171720202222
          2323 ],
      79 := [ 1144776699121215151414171720202323
          2222 ],
      80 := [ 1144885599121216161313171720202424
          2121 ],
      81 := [ 1144991212171720201144991212171720
          20 ],
      82 := [ 1144101011111717202022339912121818
          1919 ],
      83 := [ 1144111110101717202033229912121919
          1818 ],
      84 := [ 1144121299171720204411991212202017
          17 ],
      85 := [ 1144131316161144131316161144131316
          16 ],
      86 := [ 1144141415151144141415151144141415
          15 ],
      87 := [ 1144151514141144151514141144151514
          14 ],
      88 := [ 1144161613131144161613131144161613
          13 ],
      89 := [ 1144171720209912121144171720209912
          12 ],
      90 := [ 1144181819199912122233171720201010
          1111 ],
      91 := [ 1144191918189912123322171720201111
          1010 ],
      92 := [ 11442020171799121244111717202012129
          9 ],
      93 := [ 114421212424171720201313161699121255
          88 ],
      94 := [ 114422222323171720201414151599121266
          77 ],
      95 := [ 114423232222171720201515141499121277
          66 ],
      96 := [ 114424242121171720201616131399121288
          55 ],
      97 := [ 1113131113131113131113131113131113
          13 ],
      98 := [ 1113132214141113132214141113132214
          14 ],
      99 := [ 1113133315151113133315151113133315
          15 ],
      100 := [ 1113134416161113134416161113134416
          16 ],
      101 := [ 1113135517179921211313111717552121
          99 ],
      102 := [ 1113136618189921211414221717552222
          1010 ],
      103 := [ 1113137719199921211515331717552323
          1111 ],
      104 := [ 1113138820209921211616441717552424
          1212 ],
      105 := [ 1113139921211717551113139921211717
          55 ],
      106 := [ 111313101022221717552214149921211818
          66 ],
      107 := [ 111313111123231717553315159921211919
          77 ],
      108 := [ 111313121224241717554416169921212020
          88 ],
      109 := [ 1113131313111113131313111113131313
          11 ],
      110 := [ 1113131414221113131414221113131414
          22 ],
      111 := [ 1113131515331113131515331113131515
          33 ],
      112 := [ 1113131616441113131616441113131616
          44 ],
      113 := [ 1113131717559921211113131717559921
          21 ],
      114 := [ 1113131818669921212214141717551010
          2222 ],
      115 := [ 1113131919779921213315151717551111
          2323 ],
      116 := [ 1113132020889921214416161717551212
          2424 ],
      117 := [ 1113132121991717551313119921215517
          17 ],
      118 := [ 1113132222101017175514142299212166
          1818 ],
      119 := [ 1113132323111117175515153399212177
          1919 ],
      120 := [ 1113132424121217175516164499212188
          2020 ],
      121 := [ 1114141114141114141114141114141114
          14 ],
      122 := [ 1114142213131114142213131114142213
          13 ],
      123 := [ 1114143316161114143316161114143316
          16 ],
      124 := [ 1114144415151114144415151114144415
          15 ],
      125 := [ 1114145518189922221313221717662121
          1010 ],
      126 := [ 1114146617179922221414111717662222
          99 ],
      127 := [ 1114147720209922221515441717662323
          1212 ],
      128 := [ 1114148819199922221616331717662424
          1111 ],
      129 := [ 1114149922221717661114149922221717
          66 ],
      130 := [ 111414101021211717662213139922221818
          55 ],
      131 := [ 111414111124241717663316169922221919
          88 ],
      132 := [ 111414121223231717664415159922222020
          77 ],
      133 := [ 1114141313221114141313221114141313
          22 ],
      134 := [ 1114141414111114141414111114141414
          11 ],
      135 := [ 1114141515441114141515441114141515
          44 ],
      136 := [ 1114141616331114141616331114141616
          33 ],
      137 := [ 1114141717669922221114141717669922
          22 ],
      138 := [ 1114141818559922222213131717661010
          2121 ],
      139 := [ 1114141919889922223316161717661111
          2424 ],
      140 := [ 1114142020779922224415151717661212
          2323 ],
      141 := [ 1114142121101017176613132299222255
          1818 ],
      142 := [ 1114142222991717661414119922226617
          17 ],
      143 := [ 1114142323121217176615154499222277
          2020 ],
      144 := [ 1114142424111117176616163399222288
          1919 ],
      145 := [ 1115151115151115151115151115151115
          15 ],
      146 := [ 1115152216161115152216161115152216
          16 ],
      147 := [ 1115153313131115153313131115153313
          13 ],
      148 := [ 1115154414141115154414141115154414
          14 ],
      149 := [ 1115155519199923231313331717772121
          1111 ],
      150 := [ 1115156620209923231414441717772222
          1212 ],
      151 := [ 1115157717179923231515111717772323
          99 ],
      152 := [ 1115158818189923231616221717772424
          1010 ],
      153 := [ 1115159923231717771115159923231717
          77 ],
      154 := [ 111515101024241717772216169923231818
          88 ],
      155 := [ 111515111121211717773313139923231919
          55 ],
      156 := [ 111515121222221717774414149923232020
          66 ],
      157 := [ 1115151313331115151313331115151313
          33 ],
      158 := [ 1115151414441115151414441115151414
          44 ],
      159 := [ 1115151515111115151515111115151515
          11 ],
      160 := [ 1115151616221115151616221115151616
          22 ],
      161 := [ 1115151717779923231115151717779923
          23 ],
      162 := [ 1115151818889923232216161717771010
          2424 ],
      163 := [ 1115151919559923233313131717771111
          2121 ],
      164 := [ 1115152020669923234414141717771212
          2222 ],
      165 := [ 1115152121111117177713133399232355
          1919 ],
      166 := [ 1115152222121217177714144499232366
          2020 ],
      167 := [ 1115152323991717771515119923237717
          17 ],
      168 := [ 1115152424101017177716162299232388
          1818 ],
      169 := [ 1116161116161116161116161116161116
          16 ],
      170 := [ 1116162215151116162215151116162215
          15 ],
      171 := [ 1116163314141116163314141116163314
          14 ],
      172 := [ 1116164413131116164413131116164413
          13 ],
      173 := [ 1116165520209924241313441717882121
          1212 ],
      174 := [ 1116166619199924241414331717882222
          1111 ],
      175 := [ 1116167718189924241515221717882323
          1010 ],
      176 := [ 1116168817179924241616111717882424
          99 ],
      177 := [ 1116169924241717881116169924241717
          88 ],
      178 := [ 111616101023231717882215159924241818
          77 ],
      179 := [ 111616111122221717883314149924241919
          66 ],
      180 := [ 111616121221211717884413139924242020
          55 ],
      181 := [ 1116161313441116161313441116161313
          44 ],
      182 := [ 1116161414331116161414331116161414
          33 ],
      183 := [ 1116161515221116161515221116161515
          22 ],
      184 := [ 1116161616111116161616111116161616
          11 ],
      185 := [ 1116161717889924241116161717889924
          24 ],
      186 := [ 1116161818779924242215151717881010
          2323 ],
      187 := [ 1116161919669924243314141717881111
          2222 ],
      188 := [ 1116162020559924244413131717881212
          2121 ],
      189 := [ 1116162121121217178813134499242455
          2020 ],
      190 := [ 1116162222111117178814143399242466
          1919 ],
      191 := [ 1116162323101017178815152299242477
          1818 ],
      192 := [ 1116162424991717881616119924248817
          17 ],
      193 := [ 121212121212121212121212 ],
      194 := [ 121221211212212112122121 ],
      195 := [ 121234341212343412123434 ],
      196 := [ 121243431212434312124343 ],
      197 := [ 1212565691091013141314171817182122
          2122 ],
      198 := [ 1212656591091014131413171817182221
          2221 ],
      199 := [ 1212787891091015161516171817182324
          2324 ],
      200 := [ 1212878791091016151615171817182423
          2423 ],
      201 := [ 1212910910171817181212910910171817
          18 ],
      202 := [ 1212109109171817182121910910181718
          17 ],
      203 := [ 1212111211121718171834349109101920
          1920 ],
      204 := [ 1212121112111718171843439109102019
          2019 ],
      205 := [ 1212131413141212131413141212131413
          14 ],
      206 := [ 1212141314131212141314131212141314
          13 ],
      207 := [ 1212151615161212151615161212151615
          16 ],
      208 := [ 1212161516151212161516151212161516
          15 ],
      209 := [ 1212171817189109101212171817189109
          10 ],
      210 := [ 121218171817910910212117181718109
          109 ],
      211 := [ 1212192019209109103434171817181112
          1112 ],
      212 := [ 1212201920199109104343171817181211
          1211 ],
      213 := [ 121221222122171817181314131491091056
          56 ],
      214 := [ 121222212221171817181413141391091065
          65 ],
      215 := [ 121223242324171817181516151691091078
          78 ],
      216 := [ 121224232423171817181615161591091087
          87 ],
      217 := [ 122112211221122112211221 ],
      218 := [ 122121121221211212212112 ],
      219 := [ 122134431221344312213443 ],
      220 := [ 122143341221433412214334 ],
      221 := [ 1221566591010913141413171818172122
          2221 ],
      222 := [ 1221655691010914131314171818172221
          2122 ],
      223 := [ 1221788791010915161615171818172324
          2423 ],
      224 := [ 1221877891010916151516171818172423
          2324 ],
      225 := [ 1221910109171818171221910109171818
          17 ],
      226 := [ 1221109910171818172112910109181717
          18 ],
      227 := [ 1221111212111718181734439101091920
          2019 ],
      228 := [ 1221121111121718181743349101092019
          1920 ],
      229 := [ 1221131414131221131414131221131414
          13 ],
      230 := [ 1221141313141221141313141221141313
          14 ],
      231 := [ 1221151616151221151616151221151616
          15 ],
      232 := [ 1221161515161221161515161221161515
          16 ],
      233 := [ 122117181817910109122117181817910
          109 ],
      234 := [ 1221181717189101092112171818171099
          10 ],
      235 := [ 1221192020199101093443171818171112
          1211 ],
      236 := [ 1221201919209101094334171818171211
          1112 ],
      237 := [ 122121222221171818171314141391010956
          65 ],
      238 := [ 122122212122171818171413131491010965
          56 ],
      239 := [ 122123242423171818171516161591010978
          87 ],
      240 := [ 122124232324171818171615151691010987
          78 ],
      241 := [ 123412341234123412341234 ],
      242 := [ 123421431234214312342143 ],
      243 := [ 123434121234341212343412 ],
      244 := [ 123443211234432112344321 ],
      245 := [ 12346587910111214131615171819202221
          2423 ],
      246 := [ 12347856910111215161314171819202324
          2122 ],
      247 := [ 12348765910111216151413171819202423
          2221 ],
      248 := [ 1234910111217181920123491011121718
          1920 ],
      249 := [ 1234109121117181920214391011121817
          2019 ],
      250 := [ 1234111291017181920341291011121920
          1718 ],
      251 := [ 1234121110917181920432191011122019
          1817 ],
      252 := [ 1234131415161234131415161234131415
          16 ],
      253 := [ 1234141316151234141316151234141316
          15 ],
      254 := [ 1234151613141234151613141234151613
          14 ],
      255 := [ 1234161514131234161514131234161514
          13 ],
      256 := [ 1234171819209101112123417181920910
          1112 ],
      257 := [ 1234181720199101112214317181920109
          1211 ],
      258 := [ 12341920171891011123412171819201112
          910 ],
      259 := [ 12342019181791011124321171819201211
          109 ],
      260 := [ 123421222324171819201314151691011125
          678 ],
      261 := [ 123422212423171819201413161591011126
          587 ],
      262 := [ 123423242122171819201516131491011127
          856 ],
      263 := [ 123424232221171819201615141391011128
          765 ],
      264 := [ 124312431243124312431243 ],
      265 := [ 124321341243213412432134 ],
      266 := [ 124334211243342112433421 ],
      267 := [ 124343121243431212434312 ],
      268 := [ 12435687910121113141615171820192122
          2423 ],
      269 := [ 12436578910121114131516171820192221
          2324 ],
      270 := [ 12437865910121115161413171820192324
          2221 ],
      271 := [ 12438756910121116151314171820192423
          2122 ],
      272 := [ 1243910121117182019124391012111718
          2019 ],
      273 := [ 1243109111217182019213491012111817
          1920 ],
      274 := [ 1243111210917182019342191012111920
          1817 ],
      275 := [ 1243121191017182019431291012112019
          1718 ],
      276 := [ 1243131416151243131416151243131416
          15 ],
      277 := [ 1243141315161243141315161243141315
          16 ],
      278 := [ 1243151614131243151614131243151614
          13 ],
      279 := [ 1243161513141243161513141243161513
          14 ],
      280 := [ 1243171820199101211124317182019910
          1211 ],
      281 := [ 1243181719209101211213417182019109
          1112 ],
      282 := [ 12431920181791012113421171820191112
          109 ],
      283 := [ 12432019171891012114312171820191211
          910 ],
      284 := [ 124321222423171820191314161591012115
          687 ],
      285 := [ 124322212324171820191413151691012116
          578 ],
      286 := [ 124323242221171820191516141391012117
          865 ],
      287 := [ 124324232122171820191615131491012118
          756 ],
      288 := [ 1213141213141213141213141213141213
          14 ],
      289 := [ 1213142114131213142114131213142114
          13 ],
      290 := [ 1213143415161213143415161213143415
          16 ],
      291 := [ 1213144316151213144316151213144316
          15 ],
      292 := [ 12131456171891021221314121718562122
          910 ],
      293 := [ 12131465181791021221413211718562221
          109 ],
      294 := [ 12131478192091021221516341718562324
          1112 ],
      295 := [ 12131487201991021221615431718562423
          1211 ],
      296 := [ 121314910212217185612131491021221718
          56 ],
      297 := [ 121314109222117185621141391021221817
          65 ],
      298 := [ 12131411122324171856341516910212219
          2078 ],
      299 := [ 12131412112423171856431615910212220
          1987 ],
      300 := [ 1213141314121213141314121213141314
          12 ],
      301 := [ 1213141413211213141413211213141413
          21 ],
      302 := [ 1213141516341213141516341213141516
          34 ],
      303 := [ 1213141615431213141615431213141615
          43 ],
      304 := [ 1213141718569102122121314171856910
          2122 ],
      305 := [ 1213141817659102122211413171856109
          2221 ],
      306 := [ 12131419207891021223415161718561112
          2324 ],
      307 := [ 12131420198791021224316151718561211
          2423 ],
      308 := [ 1213142122910171856131412910212256
          1718 ],
      309 := [ 1213142221109171856141321910212265
          1817 ],
      310 := [ 12131423241112171856151634910212278
          1920 ],
      311 := [ 12131424231211171856161543910212287
          2019 ],
      312 := [ 1214131214131214131214131214131214
          13 ],
      313 := [ 1214132113141214132113141214132113
          14 ],
      314 := [ 1214133416151214133416151214133416
          15 ],
      315 := [ 1214134315161214134315161214134315
          16 ],
      316 := [ 12141356181791022211314211718652122
          109 ],
      317 := [ 12141365171891022211413121718652221
          910 ],
      318 := [ 12141378201991022211516431718652324
          1211 ],
      319 := [ 12141387192091022211615341718652423
          1112 ],
      320 := [ 121413910222117186512141391022211718
          65 ],
      321 := [ 121413109212217186521131491022211817
          56 ],
      322 := [ 12141311122423171865341615910222119
          2087 ],
      323 := [ 12141312112324171865431516910222120
          1978 ],
      324 := [ 1214131314211214131314211214131314
          21 ],
      325 := [ 1214131413121214131413121214131413
          12 ],
      326 := [ 1214131516431214131516431214131516
          43 ],
      327 := [ 1214131615341214131615341214131615
          34 ],
      328 := [ 1214131718659102221121413171865910
          2221 ],
      329 := [ 1214131817569102221211314171865109
          2122 ],
      330 := [ 12141319208791022213416151718651112
          2423 ],
      331 := [ 12141320197891022214315161718651211
          2324 ],
      332 := [ 1214132122109171865131421910222156
          1817 ],
      333 := [ 1214132221910171865141312910222165
          1718 ],
      334 := [ 12141323241211171865151643910222178
          2019 ],
      335 := [ 12141324231112171865161534910222187
          1920 ],
      336 := [ 1215161215161215161215161215161215
          16 ],
      337 := [ 1215162116151215162116151215162116
          15 ],
      338 := [ 1215163413141215163413141215163413
          14 ],
      339 := [ 1215164314131215164314131215164314
          13 ],
      340 := [ 12151656192091023241314341718782122
          1112 ],
      341 := [ 12151665201991023241413431718782221
          1211 ],
      342 := [ 12151678171891023241516121718782324
          910 ],
      343 := [ 12151687181791023241615211718782423
          109 ],
      344 := [ 121516910232417187812151691023241718
          78 ],
      345 := [ 121516109242317187821161591023241817
          87 ],
      346 := [ 12151611122122171878341314910232419
          2056 ],
      347 := [ 12151612112221171878431413910232420
          1965 ],
      348 := [ 1215161314341215161314341215161314
          34 ],
      349 := [ 1215161413431215161413431215161413
          43 ],
      350 := [ 1215161516121215161516121215161516
          12 ],
      351 := [ 1215161615211215161615211215161615
          21 ],
      352 := [ 1215161718789102324121516171878910
          2324 ],
      353 := [ 1215161817879102324211615171878109
          2423 ],
      354 := [ 12151619205691023243413141718781112
          2122 ],
      355 := [ 12151620196591023244314131718781211
          2221 ],
      356 := [ 12151621221112171878131434910232456
          1920 ],
      357 := [ 12151622211211171878141343910232465
          2019 ],
      358 := [ 1215162324910171878151612910232478
          1718 ],
      359 := [ 1215162423109171878161521910232487
          1817 ],
      360 := [ 1216151216151216151216151216151216
          15 ],
      361 := [ 1216152115161216152115161216152115
          16 ],
      362 := [ 1216153414131216153414131216153414
          13 ],
      363 := [ 1216154313141216154313141216154313
          14 ],
      364 := [ 12161556201991024231314431718872122
          1211 ],
      365 := [ 12161565192091024231413341718872221
          1112 ],
      366 := [ 12161578181791024231516211718872324
          109 ],
      367 := [ 12161587171891024231615121718872423
          910 ],
      368 := [ 121615910242317188712161591024231718
          87 ],
      369 := [ 121615109232417188721151691024231817
          78 ],
      370 := [ 12161511122221171887341413910242319
          2065 ],
      371 := [ 12161512112122171887431314910242320
          1956 ],
      372 := [ 1216151314431216151314431216151314
          43 ],
      373 := [ 1216151413341216151413341216151413
          34 ],
      374 := [ 1216151516211216151516211216151516
          21 ],
      375 := [ 1216151615121216151615121216151615
          12 ],
      376 := [ 1216151718879102423121615171887910
          2423 ],
      377 := [ 1216151817789102423211516171887109
          2324 ],
      378 := [ 12161519206591024233414131718871112
          2221 ],
      379 := [ 12161520195691024234313141718871211
          2122 ],
      380 := [ 12161521221211171887131443910242356
          2019 ],
      381 := [ 12161522211112171887141334910242365
          1920 ],
      382 := [ 1216152324109171887151621910242378
          1817 ],
      383 := [ 1216152423910171887161512910242387
          1718 ],
      384 := [ 131313131313131313131313 ],
      385 := [ 131324241313242413132424 ],
      386 := [ 131331311313313113133131 ],
      387 := [ 131342421313424213134242 ],
      388 := [ 1313575791191113151315171917192123
          2123 ],
      389 := [ 1313686891191114161416171917192224
          2224 ],
      390 := [ 1313757591191115131513171917192321
          2321 ],
      391 := [ 1313868691191116141614171917192422
          2422 ],
      392 := [ 1313911911171917191313911911171917
          19 ],
      393 := [ 1313101210121719171924249119111820
          1820 ],
      394 := [ 1313119119171917193131911911191719
          17 ],
      395 := [ 1313121012101719171942429119112018
          2018 ],
      396 := [ 1313131513151313131513151313131513
          15 ],
      397 := [ 1313141614161313141614161313141614
          16 ],
      398 := [ 1313151315131313151315131313151315
          13 ],
      399 := [ 1313161416141313161416141313161416
          14 ],
      400 := [ 1313171917199119111313171917199119
          11 ],
      401 := [ 1313182018209119112424171917191012
          1012 ],
      402 := [ 131319171917911911313117191719119
          119 ],
      403 := [ 1313201820189119114242171917191210
          1210 ],
      404 := [ 131321232123171917191315131591191157
          57 ],
      405 := [ 131322242224171917191416141691191168
          68 ],
      406 := [ 131323212321171917191513151391191175
          75 ],
      407 := [ 131324222422171917191614161491191186
          86 ],
      408 := [ 132413241324132413241324 ],
      409 := [ 132424131324241313242413 ],
      410 := [ 132431421324314213243142 ],
      411 := [ 132442311324423113244231 ],
      412 := [ 13245768911101213151416171918202123
          2224 ],
      413 := [ 13246857911101214161315171918202224
          2123 ],
      414 := [ 13247586911101215131614171918202321
          2422 ],
      415 := [ 13248675911101216141513171918202422
          2321 ],
      416 := [ 1324911101217191820132491110121719
          1820 ],
      417 := [ 1324101291117191820241391110121820
          1719 ],
      418 := [ 1324119121017191820314291110121917
          2018 ],
      419 := [ 1324121011917191820423191110122018
          1917 ],
      420 := [ 1324131514161324131514161324131514
          16 ],
      421 := [ 1324141613151324141613151324141613
          15 ],
      422 := [ 1324151316141324151316141324151316
          14 ],
      423 := [ 1324161415131324161415131324161415
          13 ],
      424 := [ 1324171918209111012132417191820911
          1012 ],
      425 := [ 13241820171991110122413171918201012
          911 ],
      426 := [ 1324191720189111012314217191820119
          1210 ],
      427 := [ 13242018191791110124231171918201210
          119 ],
      428 := [ 132421232224171918201315141691110125
          768 ],
      429 := [ 132422242123171918201416131591110126
          857 ],
      430 := [ 132423212422171918201513161491110127
          586 ],
      431 := [ 132424222321171918201614151391110128
          675 ],
      432 := [ 133113311331133113311331 ],
      433 := [ 133124421331244213312442 ],
      434 := [ 133131131331311313313113 ],
      435 := [ 133142241331422413314224 ],
      436 := [ 1331577591111913151513171919172123
          2321 ],
      437 := [ 1331688691111914161614171919172224
          2422 ],
      438 := [ 1331755791111915131315171919172321
          2123 ],
      439 := [ 1331866891111916141416171919172422
          2224 ],
      440 := [ 1331911119171919171331911119171919
          17 ],
      441 := [ 1331101212101719191724429111191820
          2018 ],
      442 := [ 1331119911171919173113911119191717
          19 ],
      443 := [ 1331121010121719191742249111192018
          1820 ],
      444 := [ 1331131515131331131515131331131515
          13 ],
      445 := [ 1331141616141331141616141331141616
          14 ],
      446 := [ 1331151313151331151313151331151313
          15 ],
      447 := [ 1331161414161331161414161331161414
          16 ],
      448 := [ 133117191917911119133117191917911
          119 ],
      449 := [ 1331182020189111192442171919171012
          1210 ],
      450 := [ 1331191717199111193113171919171199
          11 ],
      451 := [ 1331201818209111194224171919171210
          1012 ],
      452 := [ 133121232321171919171315151391111957
          75 ],
      453 := [ 133122242422171919171416161491111968
          86 ],
      454 := [ 133123212123171919171513131591111975
          57 ],
      455 := [ 133124222224171919171614141691111986
          68 ],
      456 := [ 134213421342134213421342 ],
      457 := [ 134224311342243113422431 ],
      458 := [ 134231241342312413423124 ],
      459 := [ 134242131342421313424213 ],
      460 := [ 13425786911121013151614171920182123
          2422 ],
      461 := [ 13426875911121014161513171920182224
          2321 ],
      462 := [ 13427568911121015131416171920182321
          2224 ],
      463 := [ 13428657911121016141315171920182422
          2123 ],
      464 := [ 1342911121017192018134291112101719
          2018 ],
      465 := [ 1342101211917192018243191112101820
          1917 ],
      466 := [ 1342119101217192018312491112101917
          1820 ],
      467 := [ 1342121091117192018421391112102018
          1719 ],
      468 := [ 1342131516141342131516141342131516
          14 ],
      469 := [ 1342141615131342141615131342141615
          13 ],
      470 := [ 1342151314161342151314161342151314
          16 ],
      471 := [ 1342161413151342161413151342161413
          15 ],
      472 := [ 1342171920189111210134217192018911
          1210 ],
      473 := [ 13421820191791112102431171920181012
          119 ],
      474 := [ 1342191718209111210312417192018119
          1012 ],
      475 := [ 13422018171991112104213171920181210
          911 ],
      476 := [ 134221232422171920181315161491112105
          786 ],
      477 := [ 134222242321171920181416151391112106
          875 ],
      478 := [ 134223212224171920181513141691112107
          568 ],
      479 := [ 134224222123171920181614131591112108
          657 ],
      480 := [ 1313151313151313151313151313151313
          15 ],
      481 := [ 1313152414161313152414161313152414
          16 ],
      482 := [ 1313153115131313153115131313153115
          13 ],
      483 := [ 1313154216141313154216141313154216
          14 ],
      484 := [ 13131557171991121231315131719572123
          911 ],
      485 := [ 13131568182091121231416241719572224
          1012 ],
      486 := [ 13131575191791121231513311719572321
          119 ],
      487 := [ 13131586201891121231614421719572422
          1210 ],
      488 := [ 131315911212317195713131591121231719
          57 ],
      489 := [ 13131510122224171957241416911212318
          2068 ],
      490 := [ 131315119232117195731151391121231917
          75 ],
      491 := [ 13131512102422171957421614911212320
          1886 ],
      492 := [ 1313151315131313151315131313151315
          13 ],
      493 := [ 1313151416241313151416241313151416
          24 ],
      494 := [ 1313151513311313151513311313151513
          31 ],
      495 := [ 1313151614421313151614421313151614
          42 ],
      496 := [ 1313151719579112123131315171957911
          2123 ],
      497 := [ 13131518206891121232414161719571012
          2224 ],
      498 := [ 1313151917759112123311513171957119
          2321 ],
      499 := [ 13131520188691121234216141719571210
          2422 ],
      500 := [ 1313152123911171957131513911212357
          1719 ],
      501 := [ 13131522241012171957141624911212368
          1820 ],
      502 := [ 1313152321119171957151331911212375
          1917 ],
      503 := [ 13131524221210171957161442911212386
          2018 ],
      504 := [ 1314161314161314161314161314161314
          16 ],
      505 := [ 1314162413151314162413151314162413
          15 ],
      506 := [ 1314163116141314163116141314163116
          14 ],
      507 := [ 1314164215131314164215131314164215
          13 ],
      508 := [ 13141657182091122241315241719682123
          1012 ],
      509 := [ 13141668171991122241416131719682224
          911 ],
      510 := [ 13141675201891122241513421719682321
          1210 ],
      511 := [ 13141686191791122241614311719682422
          119 ],
      512 := [ 131416911222417196813141691122241719
          68 ],
      513 := [ 13141610122123171968241315911222418
          2057 ],
      514 := [ 131416119242217196831161491122241917
          86 ],
      515 := [ 13141612102321171968421513911222420
          1875 ],
      516 := [ 1314161315241314161315241314161315
          24 ],
      517 := [ 1314161416131314161416131314161416
          13 ],
      518 := [ 1314161513421314161513421314161513
          42 ],
      519 := [ 1314161614311314161614311314161614
          31 ],
      520 := [ 1314161719689112224131416171968911
          2224 ],
      521 := [ 13141618205791122242413151719681012
          2123 ],
      522 := [ 1314161917869112224311614171968119
          2422 ],
      523 := [ 13141620187591122244215131719681210
          2321 ],
      524 := [ 13141621231012171968131524911222457
          1820 ],
      525 := [ 1314162224911171968141613911222468
          1719 ],
      526 := [ 13141623211210171968151342911222475
          2018 ],
      527 := [ 1314162422119171968161431911222486
          1917 ],
      528 := [ 1315131315131315131315131315131315
          13 ],
      529 := [ 1315132416141315132416141315132416
          14 ],
      530 := [ 1315133113151315133113151315133113
          15 ],
      531 := [ 1315134214161315134214161315134214
          16 ],
      532 := [ 13151357191791123211315311719752123
          119 ],
      533 := [ 13151368201891123211416421719752224
          1210 ],
      534 := [ 13151375171991123211513131719752321
          911 ],
      535 := [ 13151386182091123211614241719752422
          1012 ],
      536 := [ 131513911232117197513151391123211719
          75 ],
      537 := [ 13151310122422171975241614911232118
          2086 ],
      538 := [ 131513119212317197531131591123211917
          57 ],
      539 := [ 13151312102224171975421416911232120
          1868 ],
      540 := [ 1315131315311315131315311315131315
          31 ],
      541 := [ 1315131416421315131416421315131416
          42 ],
      542 := [ 1315131513131315131513131315131513
          13 ],
      543 := [ 1315131614241315131614241315131614
          24 ],
      544 := [ 1315131719759112321131513171975911
          2321 ],
      545 := [ 13151318208691123212416141719751012
          2422 ],
      546 := [ 1315131917579112321311315171975119
          2123 ],
      547 := [ 13151320186891123214214161719751210
          2224 ],
      548 := [ 1315132123119171975131531911232157
          1917 ],
      549 := [ 13151322241210171975141642911232168
          2018 ],
      550 := [ 1315132321911171975151313911232175
          1719 ],
      551 := [ 13151324221012171975161424911232186
          1820 ],
      552 := [ 1316141316141316141316141316141316
          14 ],
      553 := [ 1316142415131316142415131316142415
          13 ],
      554 := [ 1316143114161316143114161316143114
          16 ],
      555 := [ 1316144213151316144213151316144213
          15 ],
      556 := [ 13161457201891124221315421719862123
          1210 ],
      557 := [ 13161468191791124221416311719862224
          119 ],
      558 := [ 13161475182091124221513241719862321
          1012 ],
      559 := [ 13161486171991124221614131719862422
          911 ],
      560 := [ 131614911242217198613161491124221719
          86 ],
      561 := [ 13161410122321171986241513911242218
          2075 ],
      562 := [ 131614119222417198631141691124221917
          68 ],
      563 := [ 13161412102123171986421315911242220
          1857 ],
      564 := [ 1316141315421316141315421316141315
          42 ],
      565 := [ 1316141416311316141416311316141416
          31 ],
      566 := [ 1316141513241316141513241316141513
          24 ],
      567 := [ 1316141614131316141614131316141614
          13 ],
      568 := [ 1316141719869112422131614171986911
          2422 ],
      569 := [ 13161418207591124222415131719861012
          2321 ],
      570 := [ 1316141917689112422311416171986119
          2224 ],
      571 := [ 13161420185791124224213151719861210
          2123 ],
      572 := [ 13161421231210171986131542911242257
          2018 ],
      573 := [ 1316142224119171986141631911242268
          1917 ],
      574 := [ 13161423211012171986151324911242275
          1820 ],
      575 := [ 1316142422911171986161413911242286
          1719 ],
      576 := [ 141414141414141414141414 ],
      577 := [ 141423231414232314142323 ],
      578 := [ 141432321414323214143232 ],
      579 := [ 141441411414414114144141 ],
      580 := [ 1414585891291213161316172017202124
          2124 ],
      581 := [ 1414676791291214151415172017202223
          2223 ],
      582 := [ 1414767691291215141514172017202322
          2322 ],
      583 := [ 1414858591291216131613172017202421
          2421 ],
      584 := [ 1414912912172017201414912912172017
          20 ],
      585 := [ 1414101110111720172023239129121819
          1819 ],
      586 := [ 1414111011101720172032329129121918
          1918 ],
      587 := [ 1414129129172017204141912912201720
          17 ],
      588 := [ 1414131613161414131613161414131613
          16 ],
      589 := [ 1414141514151414141514151414141514
          15 ],
      590 := [ 1414151415141414151415141414151415
          14 ],
      591 := [ 1414161316131414161316131414161316
          13 ],
      592 := [ 1414172017209129121414172017209129
          12 ],
      593 := [ 1414181918199129122323172017201011
          1011 ],
      594 := [ 1414191819189129123232172017201110
          1110 ],
      595 := [ 141420172017912912414117201720129
          129 ],
      596 := [ 141421242124172017201316131691291258
          58 ],
      597 := [ 141422232223172017201415141591291267
          67 ],
      598 := [ 141423222322172017201514151491291276
          76 ],
      599 := [ 141424212421172017201613161391291285
          85 ],
      600 := [ 142314231423142314231423 ],
      601 := [ 142323141423231414232314 ],
      602 := [ 142332411423324114233241 ],
      603 := [ 142341321423413214234132 ],
      604 := [ 14235867912101113161415172018192124
          2223 ],
      605 := [ 14236758912101114151316172018192223
          2124 ],
      606 := [ 14237685912101115141613172018192322
          2421 ],
      607 := [ 14238576912101116131514172018192421
          2322 ],
      608 := [ 1423912101117201819142391210111720
          1819 ],
      609 := [ 1423101191217201819231491210111819
          1720 ],
      610 := [ 1423111012917201819324191210111918
          2017 ],
      611 := [ 1423129111017201819413291210112017
          1918 ],
      612 := [ 1423131614151423131614151423131614
          15 ],
      613 := [ 1423141513161423141513161423141513
          16 ],
      614 := [ 1423151416131423151416131423151416
          13 ],
      615 := [ 1423161315141423161315141423161315
          14 ],
      616 := [ 1423172018199121011142317201819912
          1011 ],
      617 := [ 14231819172091210112314172018191011
          912 ],
      618 := [ 14231918201791210113241172018191110
          129 ],
      619 := [ 1423201719189121011413217201819129
          1110 ],
      620 := [ 142321242223172018191316141591210115
          867 ],
      621 := [ 142322232124172018191415131691210116
          758 ],
      622 := [ 142323222421172018191514161391210117
          685 ],
      623 := [ 142324212322172018191613151491210118
          576 ],
      624 := [ 143214321432143214321432 ],
      625 := [ 143223411432234114322341 ],
      626 := [ 143232141432321414323214 ],
      627 := [ 143241231432412314324123 ],
      628 := [ 14325876912111013161514172019182124
          2322 ],
      629 := [ 14326785912111014151613172019182223
          2421 ],
      630 := [ 14327658912111015141316172019182322
          2124 ],
      631 := [ 14328567912111016131415172019182421
          2223 ],
      632 := [ 1432912111017201918143291211101720
          1918 ],
      633 := [ 1432101112917201918234191211101819
          2017 ],
      634 := [ 1432111091217201918321491211101918
          1720 ],
      635 := [ 1432129101117201918412391211102017
          1819 ],
      636 := [ 1432131615141432131615141432131615
          14 ],
      637 := [ 1432141516131432141516131432141516
          13 ],
      638 := [ 1432151413161432151413161432151413
          16 ],
      639 := [ 1432161314151432161314151432161314
          15 ],
      640 := [ 1432172019189121110143217201918912
          1110 ],
      641 := [ 14321819201791211102341172019181011
          129 ],
      642 := [ 14321918172091211103214172019181110
          912 ],
      643 := [ 1432201718199121110412317201918129
          1011 ],
      644 := [ 143221242322172019181316151491211105
          876 ],
      645 := [ 143222232421172019181415161391211106
          785 ],
      646 := [ 143223222124172019181514131691211107
          658 ],
      647 := [ 143224212223172019181613141591211108
          567 ],
      648 := [ 144114411441144114411441 ],
      649 := [ 144123321441233214412332 ],
      650 := [ 144132231441322314413223 ],
      651 := [ 144141141441411414414114 ],
      652 := [ 1441588591212913161613172020172124
          2421 ],
      653 := [ 1441677691212914151514172020172223
          2322 ],
      654 := [ 1441766791212915141415172020172322
          2223 ],
      655 := [ 1441855891212916131316172020172421
          2124 ],
      656 := [ 1441912129172020171441912129172020
          17 ],
      657 := [ 1441101111101720201723329121291819
          1918 ],
      658 := [ 1441111010111720201732239121291918
          1819 ],
      659 := [ 1441129912172020174114912129201717
          20 ],
      660 := [ 1441131616131441131616131441131616
          13 ],
      661 := [ 1441141515141441141515141441141515
          14 ],
      662 := [ 1441151414151441151414151441151414
          15 ],
      663 := [ 1441161313161441161313161441161313
          16 ],
      664 := [ 144117202017912129144117202017912
          129 ],
      665 := [ 1441181919189121292332172020171011
          1110 ],
      666 := [ 1441191818199121293223172020171110
          1011 ],
      667 := [ 1441201717209121294114172020171299
          12 ],
      668 := [ 144121242421172020171316161391212958
          85 ],
      669 := [ 144122232322172020171415151491212967
          76 ],
      670 := [ 144123222223172020171514141591212976
          67 ],
      671 := [ 144124212124172020171613131691212985
          58 ],
      672 := [ 1413161413161413161413161413161413
          16 ],
      673 := [ 1413162314151413162314151413162314
          15 ],
      674 := [ 1413163215141413163215141413163215
          14 ],
      675 := [ 1413164116131413164116131413164116
          13 ],
      676 := [ 14131658172091221241316141720582124
          912 ],
      677 := [ 14131667181991221241415231720582223
          1011 ],
      678 := [ 14131676191891221241514321720582322
          1110 ],
      679 := [ 14131685201791221241613411720582421
          129 ],
      680 := [ 141316912212417205814131691221241720
          58 ],
      681 := [ 14131610112223172058231415912212418
          1967 ],
      682 := [ 14131611102322172058321514912212419
          1876 ],
      683 := [ 141316129242117205841161391221242017
          85 ],
      684 := [ 1413161316141413161316141413161316
          14 ],
      685 := [ 1413161415231413161415231413161415
          23 ],
      686 := [ 1413161514321413161514321413161514
          32 ],
      687 := [ 1413161613411413161613411413161613
          41 ],
      688 := [ 1413161720589122124141316172058912
          2124 ],
      689 := [ 14131618196791221242314151720581011
          2223 ],
      690 := [ 14131619187691221243215141720581110
          2322 ],
      691 := [ 1413162017859122124411613172058129
          2421 ],
      692 := [ 1413162124912172058131614912212458
          1720 ],
      693 := [ 14131622231011172058141523912212467
          1819 ],
      694 := [ 14131623221110172058151432912212476
          1918 ],
      695 := [ 1413162421129172058161341912212485
          2017 ],
      696 := [ 1414151414151414151414151414151414
          15 ],
      697 := [ 1414152313161414152313161414152313
          16 ],
      698 := [ 1414153216131414153216131414153216
          13 ],
      699 := [ 1414154115141414154115141414154115
          14 ],
      700 := [ 14141558181991222231316231720672124
          1011 ],
      701 := [ 14141567172091222231415141720672223
          912 ],
      702 := [ 14141576201791222231514411720672322
          129 ],
      703 := [ 14141585191891222231613321720672421
          1110 ],
      704 := [ 141415912222317206714141591222231720
          67 ],
      705 := [ 14141510112124172067231316912222318
          1958 ],
      706 := [ 14141511102421172067321613912222319
          1885 ],
      707 := [ 141415129232217206741151491222232017
          76 ],
      708 := [ 1414151316231414151316231414151316
          23 ],
      709 := [ 1414151415141414151415141414151415
          14 ],
      710 := [ 1414151514411414151514411414151514
          41 ],
      711 := [ 1414151613321414151613321414151613
          32 ],
      712 := [ 1414151720679122223141415172067912
          2223 ],
      713 := [ 14141518195891222232313161720671011
          2124 ],
      714 := [ 14141519188591222233216131720671110
          2421 ],
      715 := [ 1414152017769122223411514172067129
          2322 ],
      716 := [ 14141521241011172067131623912222358
          1819 ],
      717 := [ 1414152223912172067141514912222367
          1720 ],
      718 := [ 1414152322129172067151441912222376
          2017 ],
      719 := [ 14141524211110172067161332912222385
          1918 ],
      720 := [ 1415141415141415141415141415141415
          14 ],
      721 := [ 1415142316131415142316131415142316
          13 ],
      722 := [ 1415143213161415143213161415143213
          16 ],
      723 := [ 1415144114151415144114151415144114
          15 ],
      724 := [ 14151458191891223221316321720762124
          1110 ],
      725 := [ 14151467201791223221415411720762223
          129 ],
      726 := [ 14151476172091223221514141720762322
          912 ],
      727 := [ 14151485181991223221613231720762421
          1011 ],
      728 := [ 141514912232217207614151491223221720
          76 ],
      729 := [ 14151410112421172076231613912232218
          1985 ],
      730 := [ 14151411102124172076321316912232219
          1858 ],
      731 := [ 141514129222317207641141591223222017
          67 ],
      732 := [ 1415141316321415141316321415141316
          32 ],
      733 := [ 1415141415411415141415411415141415
          41 ],
      734 := [ 1415141514141415141514141415141514
          14 ],
      735 := [ 1415141613231415141613231415141613
          23 ],
      736 := [ 1415141720769122322141514172076912
          2322 ],
      737 := [ 14151418198591223222316131720761011
          2421 ],
      738 := [ 14151419185891223223213161720761110
          2124 ],
      739 := [ 1415142017679122322411415172076129
          2223 ],
      740 := [ 14151421241110172076131632912232258
          1918 ],
      741 := [ 1415142223129172076141541912232267
          2017 ],
      742 := [ 1415142322912172076151414912232276
          1720 ],
      743 := [ 14151424211011172076161323912232285
          1819 ],
      744 := [ 1416131416131416131416131416131416
          13 ],
      745 := [ 1416132315141416132315141416132315
          14 ],
      746 := [ 1416133214151416133214151416133214
          15 ],
      747 := [ 1416134113161416134113161416134113
          16 ],
      748 := [ 14161358201791224211316411720852124
          129 ],
      749 := [ 14161367191891224211415321720852223
          1110 ],
      750 := [ 14161376181991224211514231720852322
          1011 ],
      751 := [ 14161385172091224211613141720852421
          912 ],
      752 := [ 141613912242117208514161391224211720
          85 ],
      753 := [ 14161310112322172085231514912242118
          1976 ],
      754 := [ 14161311102223172085321415912242119
          1867 ],
      755 := [ 141613129212417208541131691224212017
          58 ],
      756 := [ 1416131316411416131316411416131316
          41 ],
      757 := [ 1416131415321416131415321416131415
          32 ],
      758 := [ 1416131514231416131514231416131514
          23 ],
      759 := [ 1416131613141416131613141416131613
          14 ],
      760 := [ 1416131720859122421141613172085912
          2421 ],
      761 := [ 14161318197691224212315141720851011
          2322 ],
      762 := [ 14161319186791224213214151720851110
          2223 ],
      763 := [ 1416132017589122421411316172085129
          2124 ],
      764 := [ 1416132124129172085131641912242158
          2017 ],
      765 := [ 14161322231110172085141532912242167
          1918 ],
      766 := [ 14161323221011172085151423912242176
          1819 ],
      767 := [ 1416132421912172085161314912242185
          1720 ],
      768 := [ 1131131131131131131131131131131131
          13 ],
      769 := [ 1131132142141131132142141131132142
          14 ],
      770 := [ 1131133153151131133153151131133153
          15 ],
      771 := [ 1131134164161131134164161131134164
          16 ],
      772 := [ 113113517517921921131131175175219
          219 ],
      773 := [ 1131136186189219211421421751752210
          2210 ],
      774 := [ 1131137197199219211531531751752311
          2311 ],
      775 := [ 1131138208209219211641641751752412
          2412 ],
      776 := [ 113113921921175175113113921921175
          175 ],
      777 := [ 11311310221022175175214214921921186
          186 ],
      778 := [ 11311311231123175175315315921921197
          197 ],
      779 := [ 11311312241224175175416416921921208
          208 ],
      780 := [ 113113131131113113131131113113131
          131 ],
      781 := [ 113113142142113113142142113113142
          142 ],
      782 := [ 113113153153113113153153113113153
          153 ],
      783 := [ 113113164164113113164164113113164
          164 ],
      784 := [ 1131131751759219211131131751759219
          21 ],
      785 := [ 1131131861869219212142141751751022
          1022 ],
      786 := [ 1131131971979219213153151751751123
          1123 ],
      787 := [ 1131132082089219214164161751751224
          1224 ],
      788 := [ 1131132192191751751311319219215175
          17 ],
      789 := [ 11311322102210175175142142921921618
          618 ],
      790 := [ 11311323112311175175153153921921719
          719 ],
      791 := [ 11311324122412175175164164921921820
          820 ],
      792 := [ 1132141132141132141132141132141132
          14 ],
      793 := [ 1132142141131132142141131132142141
          13 ],
      794 := [ 1132143154161132143154161132143154
          16 ],
      795 := [ 1132144163151132144163151132144163
          15 ],
      796 := [ 1132145176189211022131142175186219
          2210 ],
      797 := [ 11321461851792110221421311751862210
          219 ],
      798 := [ 11321471982092110221531641751862311
          2412 ],
      799 := [ 11321482071992110221641531751862412
          2311 ],
      800 := [ 11321492110221751861132149211022175
          186 ],
      801 := [ 11321410229211751862141139211022186
          175 ],
      802 := [ 113214112312241751863154169211022197
          208 ],
      803 := [ 113214122411231751864163159211022208
          197 ],
      804 := [ 113214131142113214131142113214131
          142 ],
      805 := [ 113214142131113214142131113214142
          131 ],
      806 := [ 113214153164113214153164113214153
          164 ],
      807 := [ 113214164153113214164153113214164
          153 ],
      808 := [ 1132141751869211022113214175186921
          1022 ],
      809 := [ 11321418617592110222141131751861022
          921 ],
      810 := [ 11321419720892110223154161751861123
          1224 ],
      811 := [ 11321420819792110224163151751861224
          1123 ],
      812 := [ 11321421922101751861311429211022517
          618 ],
      813 := [ 11321422102191751861421319211022618
          517 ],
      814 := [ 113214231124121751861531649211022719
          820 ],
      815 := [ 113214241223111751861641539211022820
          719 ],
      816 := [ 1133151133151133151133151133151133
          15 ],
      817 := [ 1133152144161133152144161133152144
          16 ],
      818 := [ 1133153151131133153151131133153151
          13 ],
      819 := [ 1133154162141133154162141133154162
          14 ],
      820 := [ 1133155177199211123131153175197219
          2311 ],
      821 := [ 11331561882092111231421641751972210
          2412 ],
      822 := [ 11331571951792111231531311751972311
          219 ],
      823 := [ 11331582061892111231641421751972412
          2210 ],
      824 := [ 11331592111231751971133159211123175
          197 ],
      825 := [ 113315102212241751972144169211123186
          208 ],
      826 := [ 11331511239211751973151139211123197
          175 ],
      827 := [ 113315122410221751974162149211123208
          186 ],
      828 := [ 113315131153113315131153113315131
          153 ],
      829 := [ 113315142164113315142164113315142
          164 ],
      830 := [ 113315153131113315153131113315153
          131 ],
      831 := [ 113315164142113315164142113315164
          142 ],
      832 := [ 1133151751979211123113315175197921
          1123 ],
      833 := [ 11331518620892111232144161751971022
          1224 ],
      834 := [ 11331519717592111233151131751971123
          921 ],
      835 := [ 11331520818692111234162141751971224
          1022 ],
      836 := [ 11331521923111751971311539211123517
          719 ],
      837 := [ 113315221024121751971421649211123618
          820 ],
      838 := [ 11331523112191751971531319211123719
          517 ],
      839 := [ 113315241222101751971641429211123820
          618 ],
      840 := [ 1134161134161134161134161134161134
          16 ],
      841 := [ 1134162143151134162143151134162143
          15 ],
      842 := [ 1134163152141134163152141134163152
          14 ],
      843 := [ 1134164161131134164161131134164161
          13 ],
      844 := [ 1134165178209211224131164175208219
          2412 ],
      845 := [ 11341661871992112241421531752082210
          2311 ],
      846 := [ 11341671961892112241531421752082311
          2210 ],
      847 := [ 11341682051792112241641311752082412
          219 ],
      848 := [ 11341692112241752081134169211224175
          208 ],
      849 := [ 113416102211231752082143159211224186
          197 ],
      850 := [ 113416112310221752083152149211224197
          186 ],
      851 := [ 11341612249211752084161139211224208
          175 ],
      852 := [ 113416131164113416131164113416131
          164 ],
      853 := [ 113416142153113416142153113416142
          153 ],
      854 := [ 113416153142113416153142113416153
          142 ],
      855 := [ 113416164131113416164131113416164
          131 ],
      856 := [ 1134161752089211224113416175208921
          1224 ],
      857 := [ 11341618619792112242143151752081022
          1123 ],
      858 := [ 11341619718692112243152141752081123
          1022 ],
      859 := [ 11341620817592112244161131752081224
          921 ],
      860 := [ 11341621924121752081311649211224517
          820 ],
      861 := [ 113416221023111752081421539211224618
          719 ],
      862 := [ 113416231122101752081531429211224719
          618 ],
      863 := [ 11341624122191752081641319211224820
          517 ],
      864 := [ 113131113131113131113131113131113
          131 ],
      865 := [ 113131214142113131214142113131214
          142 ],
      866 := [ 113131315153113131315153113131315
          153 ],
      867 := [ 113131416164113131416164113131416
          164 ],
      868 := [ 1131315171759212191311131755172199
          21 ],
      869 := [ 1131316181869212191422141755172210
          1022 ],
      870 := [ 1131317191979212191533151755172311
          1123 ],
      871 := [ 1131318202089212191644161755172412
          1224 ],
      872 := [ 1131319212191755171131319212191755
          17 ],
      873 := [ 11313110222210175517214142921219186
          618 ],
      874 := [ 11313111232311175517315153921219197
          719 ],
      875 := [ 11313112242412175517416164921219208
          820 ],
      876 := [ 1131311311131131311311131131311311
          13 ],
      877 := [ 1131311422141131311422141131311422
          14 ],
      878 := [ 1131311533151131311533151131311533
          15 ],
      879 := [ 1131311644161131311644161131311644
          16 ],
      880 := [ 113131175517921219113131175517921
          219 ],
      881 := [ 1131311866189212192141421755171022
          2210 ],
      882 := [ 1131311977199212193151531755171123
          2311 ],
      883 := [ 1131312088209212194161641755171224
          2412 ],
      884 := [ 113131219921175517131113921219517
          175 ],
      885 := [ 11313122101022175517142214921219618
          186 ],
      886 := [ 11313123111123175517153315921219719
          197 ],
      887 := [ 11313124121224175517164416921219820
          208 ],
      888 := [ 113142113142113142113142113142113
          142 ],
      889 := [ 113142214131113142214131113142214
          131 ],
      890 := [ 113142315164113142315164113142315
          164 ],
      891 := [ 113142416153113142416153113142416
          153 ],
      892 := [ 1131425171869212210131214175618219
          1022 ],
      893 := [ 11314261817592122101421131756182210
          921 ],
      894 := [ 11314271920892122101534161756182311
          1224 ],
      895 := [ 11314282019792122101643151756182412
          1123 ],
      896 := [ 11314292122101756181131429212210175
          618 ],
      897 := [ 11314210222191756182141319212210186
          517 ],
      898 := [ 113142112324121756183151649212210197
          820 ],
      899 := [ 113142122423111756184161539212210208
          719 ],
      900 := [ 1131421312141131421312141131421312
          14 ],
      901 := [ 1131421421131131421421131131421421
          13 ],
      902 := [ 1131421534161131421534161131421534
          16 ],
      903 := [ 1131421643151131421643151131421643
          15 ],
      904 := [ 1131421756189212210113142175618921
          2210 ],
      905 := [ 11314218651792122102141311756181022
          219 ],
      906 := [ 11314219782092122103151641756181123
          2412 ],
      907 := [ 11314220871992122104161531756181224
          2311 ],
      908 := [ 11314221910221756181312149212210517
          186 ],
      909 := [ 11314222109211756181421139212210618
          175 ],
      910 := [ 113142231112241756181534169212210719
          208 ],
      911 := [ 113142241211231756181643159212210820
          197 ],
      912 := [ 113153113153113153113153113153113
          153 ],
      913 := [ 113153214164113153214164113153214
          164 ],
      914 := [ 113153315131113153315131113153315
          131 ],
      915 := [ 113153416142113153416142113153416
          142 ],
      916 := [ 1131535171979212311131315175719219
          1123 ],
      917 := [ 11315361820892123111424161757192210
          1224 ],
      918 := [ 11315371917592123111531131757192311
          921 ],
      919 := [ 11315382018692123111642141757192412
          1022 ],
      920 := [ 11315392123111757191131539212311175
          719 ],
      921 := [ 113153102224121757192141649212311186
          820 ],
      922 := [ 11315311232191757193151319212311197
          517 ],
      923 := [ 113153122422101757194161429212311208
          618 ],
      924 := [ 1131531313151131531313151131531313
          15 ],
      925 := [ 1131531424161131531424161131531424
          16 ],
      926 := [ 1131531531131131531531131131531531
          13 ],
      927 := [ 1131531642141131531642141131531642
          14 ],
      928 := [ 1131531757199212311113153175719921
          2311 ],
      929 := [ 11315318682092123112141641757191022
          2412 ],
      930 := [ 11315319751792123113151311757191123
          219 ],
      931 := [ 11315320861892123114161421757191224
          2210 ],
      932 := [ 11315321911231757191313159212311517
          197 ],
      933 := [ 113153221012241757191424169212311618
          208 ],
      934 := [ 11315323119211757191531139212311719
          175 ],
      935 := [ 113153241210221757191642149212311820
          186 ],
      936 := [ 113164113164113164113164113164113
          164 ],
      937 := [ 113164214153113164214153113164214
          153 ],
      938 := [ 113164315142113164315142113164315
          142 ],
      939 := [ 113164416131113164416131113164416
          131 ],
      940 := [ 1131645172089212412131416175820219
          1224 ],
      941 := [ 11316461819792124121423151758202210
          1123 ],
      942 := [ 11316471918692124121532141758202311
          1022 ],
      943 := [ 11316482017592124121641131758202412
          921 ],
      944 := [ 11316492124121758201131649212412175
          820 ],
      945 := [ 113164102223111758202141539212412186
          719 ],
      946 := [ 113164112322101758203151429212412197
          618 ],
      947 := [ 11316412242191758204161319212412208
          517 ],
      948 := [ 1131641314161131641314161131641314
          16 ],
      949 := [ 1131641423151131641423151131641423
          15 ],
      950 := [ 1131641532141131641532141131641532
          14 ],
      951 := [ 1131641641131131641641131131641641
          13 ],
      952 := [ 1131641758209212412113164175820921
          2412 ],
      953 := [ 11316418671992124122141531758201022
          2311 ],
      954 := [ 11316419761892124123151421758201123
          2210 ],
      955 := [ 11316420851792124124161311758201224
          219 ],
      956 := [ 11316421912241758201314169212412517
          208 ],
      957 := [ 113164221011231758201423159212412618
          197 ],
      958 := [ 113164231110221758201532149212412719
          186 ],
      959 := [ 11316424129211758201641139212412820
          175 ],
      960 := [ 1141141141141141141141141141141141
          14 ],
      961 := [ 1141142132131141142132131141142132
          13 ],
      962 := [ 1141143163161141143163161141143163
          16 ],
      963 := [ 1141144154151141144154151141144154
          15 ],
      964 := [ 1141145185189229221321321761762110
          2110 ],
      965 := [ 114114617617922922141141176176229
          229 ],
      966 := [ 1141147207209229221541541761762312
          2312 ],
      967 := [ 1141148198199229221631631761762411
          2411 ],
      968 := [ 114114922922176176114114922922176
          176 ],
      969 := [ 11411410211021176176213213922922185
          185 ],
      970 := [ 11411411241124176176316316922922198
          198 ],
      971 := [ 11411412231223176176415415922922207
          207 ],
      972 := [ 114114132132114114132132114114132
          132 ],
      973 := [ 114114141141114114141141114114141
          141 ],
      974 := [ 114114154154114114154154114114154
          154 ],
      975 := [ 114114163163114114163163114114163
          163 ],
      976 := [ 1141141761769229221141141761769229
          22 ],
      977 := [ 1141141851859229222132131761761021
          1021 ],
      978 := [ 1141141981989229223163161761761124
          1124 ],
      979 := [ 1141142072079229224154151761761223
          1223 ],
      980 := [ 11411421102110176176132132922922518
          518 ],
      981 := [ 1141142292291761761411419229226176
          17 ],
      982 := [ 11411423122312176176154154922922720
          720 ],
      983 := [ 11411424112411176176163163922922819
          819 ],
      984 := [ 1142131142131142131142131142131142
          13 ],
      985 := [ 1142132131141142132131141142132131
          14 ],
      986 := [ 1142133164151142133164151142133164
          15 ],
      987 := [ 1142134153161142134153161142134153
          16 ],
      988 := [ 11421351861792210211321411761852110
          229 ],
      989 := [ 1142136175189221021141132176185229
          2110 ],
      990 := [ 11421372081992210211541631761852312
          2411 ],
      991 := [ 11421381972092210211631541761852411
          2312 ],
      992 := [ 11421392210211761851142139221021176
          185 ],
      993 := [ 11421310219221761852131149221021185
          176 ],
      994 := [ 114213112412231761853164159221021198
          207 ],
      995 := [ 114213122311241761854153169221021207
          198 ],
      996 := [ 114213132141114213132141114213132
          141 ],
      997 := [ 114213141132114213141132114213141
          132 ],
      998 := [ 114213154163114213154163114213154
          163 ],
      999 := [ 114213163154114213163154114213163
          154 ],
      1000 := [ 1142131761859221021114213176185922
          1021 ],
      1001 := [ 11421318517692210212131141761851021
          922 ],
      1002 := [ 11421319820792210213164151761851124
          1223 ],
      1003 := [ 11421320719892210214153161761851223
          1124 ],
      1004 := [ 11421321102291761851321419221021518
          617 ],
      1005 := [ 11421322921101761851411329221021617
          518 ],
      1006 := [ 1142132312241117618515416392210217
          20819 ],
      1007 := [ 1142132411231217618516315492210218
          19720 ],
      1008 := [ 114316114316114316114316114316114
          316 ],
      1009 := [ 114316213415114316213415114316213
          415 ],
      1010 := [ 114316316114114316316114114316316
          114 ],
      1011 := [ 114316415213114316415213114316415
          213 ],
      1012 := [ 11431651872092211241321541761982110
          2312 ],
      1013 := [ 1143166178199221124141163176198229
          2411 ],
      1014 := [ 11431672051892211241541321761982312
          2110 ],
      1015 := [ 11431681961792211241631411761982411
          229 ],
      1016 := [ 11431692211241761981143169221124176
          198 ],
      1017 := [ 11431610211223176198213415922112418
          5207 ],
      1018 := [ 11431611249221761983161149221124198
          176 ],
      1019 := [ 11431612231021176198415213922112420
          7185 ],
      1020 := [ 114316132154114316132154114316132
          154 ],
      1021 := [ 114316141163114316141163114316141
          163 ],
      1022 := [ 114316154132114316154132114316154
          132 ],
      1023 := [ 114316163141114316163141114316163
          141 ],
      1024 := [ 1143161761989221124114316176198922
          1124 ],
      1025 := [ 11431618520792211242134151761981021
          1223 ],
      1026 := [ 11431619817692211243161141761981124
          922 ],
      1027 := [ 11431620718592211244152131761981223
          1021 ],
      1028 := [ 1143162110231217619813215492211245
          18720 ],
      1029 := [ 11431622924111761981411639221124617
          819 ],
      1030 := [ 1143162312211017619815413292211247
          20518 ],
      1031 := [ 11431624112291761981631419221124819
          617 ],
      1032 := [ 114415114415114415114415114415114
          415 ],
      1033 := [ 114415213316114415213316114415213
          316 ],
      1034 := [ 114415316213114415316213114415316
          213 ],
      1035 := [ 114415415114114415415114114415415
          114 ],
      1036 := [ 11441551881992212231321631762072110
          2411 ],
      1037 := [ 1144156177209221223141154176207229
          2312 ],
      1038 := [ 11441572061792212231541411762072312
          229 ],
      1039 := [ 11441581951892212231631321762072411
          2110 ],
      1040 := [ 11441592212231762071144159221223176
          207 ],
      1041 := [ 11441510211124176207213316922122318
          5198 ],
      1042 := [ 11441511241021176207316213922122319
          8185 ],
      1043 := [ 11441512239221762074151149221223207
          176 ],
      1044 := [ 114415132163114415132163114415132
          163 ],
      1045 := [ 114415141154114415141154114415141
          154 ],
      1046 := [ 114415154141114415154141114415154
          141 ],
      1047 := [ 114415163132114415163132114415163
          132 ],
      1048 := [ 1144151762079221223114415176207922
          1223 ],
      1049 := [ 11441518519892212232133161762071021
          1124 ],
      1050 := [ 11441519818592212233162131762071124
          1021 ],
      1051 := [ 11441520717692212234151141762071223
          922 ],
      1052 := [ 1144152110241117620713216392212235
          18819 ],
      1053 := [ 11441522923121762071411549221223617
          720 ],
      1054 := [ 11441523122291762071541419221223720
          617 ],
      1055 := [ 1144152411211017620716313292212238
          19518 ],
      1056 := [ 114132114132114132114132114132114
          132 ],
      1057 := [ 114132213141114132213141114132213
          141 ],
      1058 := [ 114132316154114132316154114132316
          154 ],
      1059 := [ 114132415163114132415163114132415
          163 ],
      1060 := [ 11413251817692221101321141765182110
          922 ],
      1061 := [ 1141326171859222110141213176518229
          1021 ],
      1062 := [ 11413272019892221101543161765182312
          1124 ],
      1063 := [ 11413281920792221101634151765182411
          1223 ],
      1064 := [ 11413292221101765181141329222110176
          518 ],
      1065 := [ 11413210212291765182131419222110185
          617 ],
      1066 := [ 11413211242312176518316154922211019
          8720 ],
      1067 := [ 11413212232411176518415163922211020
          7819 ],
      1068 := [ 114132132114114132132114114132132
          114 ],
      1069 := [ 114132141213114132141213114132141
          213 ],
      1070 := [ 114132154316114132154316114132154
          316 ],
      1071 := [ 114132163415114132163415114132163
          415 ],
      1072 := [ 1141321765189222110114132176518922
          2110 ],
      1073 := [ 11413218561792221102131411765181021
          229 ],
      1074 := [ 11413219872092221103161541765181124
          2312 ],
      1075 := [ 11413220781992221104151631765181223
          2411 ],
      1076 := [ 11413221109221765181321149222110518
          176 ],
      1077 := [ 11413222910211765181412139222110617
          185 ],
      1078 := [ 1141322312112417651815431692221107
          20198 ],
      1079 := [ 1141322411122317651816341592221108
          19207 ],
      1080 := [ 114141114141114141114141114141114
          141 ],
      1081 := [ 114141213132114141213132114141213
          132 ],
      1082 := [ 114141316163114141316163114141316
          163 ],
      1083 := [ 114141415154114141415154114141415
          154 ],
      1084 := [ 1141415181859222291322131766172110
          1021 ],
      1085 := [ 114141617176922229141114176617229
          922 ],
      1086 := [ 1141417202079222291544151766172312
          1223 ],
      1087 := [ 1141418191989222291633161766172411
          1124 ],
      1088 := [ 114141922229176617114141922229176
          617 ],
      1089 := [ 11414110212110176617213132922229185
          518 ],
      1090 := [ 11414111242411176617316163922229198
          819 ],
      1091 := [ 11414112232312176617415154922229207
          720 ],
      1092 := [ 114141132213114141132213114141132
          213 ],
      1093 := [ 114141141114114141141114114141141
          114 ],
      1094 := [ 114141154415114141154415114141154
          415 ],
      1095 := [ 114141163316114141163316114141163
          316 ],
      1096 := [ 114141176617922229114141176617922
          229 ],
      1097 := [ 1141411855189222292131321766171021
          2110 ],
      1098 := [ 1141411988199222293161631766171124
          2411 ],
      1099 := [ 1141412077209222294151541766171223
          2312 ],
      1100 := [ 11414121101021176617132213922229518
          185 ],
      1101 := [ 114141229922176617141114922229617
          176 ],
      1102 := [ 11414123121223176617154415922229720
          207 ],
      1103 := [ 11414124111124176617163316922229819
          198 ],
      1104 := [ 114154114154114154114154114154114
          154 ],
      1105 := [ 114154213163114154213163114154213
          163 ],
      1106 := [ 114154316132114154316132114154316
          132 ],
      1107 := [ 114154415141114154415141114154415
          141 ],
      1108 := [ 11415451819892223121323161767202110
          1124 ],
      1109 := [ 1141546172079222312141415176720229
          1223 ],
      1110 := [ 11415472017692223121541141767202312
          922 ],
      1111 := [ 11415481918592223121632131767202411
          1021 ],
      1112 := [ 11415492223121767201141549222312176
          720 ],
      1113 := [ 11415410212411176720213163922231218
          5819 ],
      1114 := [ 11415411242110176720316132922231219
          8518 ],
      1115 := [ 11415412232291767204151419222312207
          617 ],
      1116 := [ 114154132316114154132316114154132
          316 ],
      1117 := [ 114154141415114154141415114154141
          415 ],
      1118 := [ 114154154114114154154114114154154
          114 ],
      1119 := [ 114154163213114154163213114154163
          213 ],
      1120 := [ 1141541767209222312114154176720922
          2312 ],
      1121 := [ 11415418581992223122131631767201021
          2411 ],
      1122 := [ 11415419851892223123161321767201124
          2110 ],
      1123 := [ 11415420761792223124151411767201223
          229 ],
      1124 := [ 1141542110112417672013231692223125
          18198 ],
      1125 := [ 11415422912231767201414159222312617
          207 ],
      1126 := [ 11415423129221767201541149222312720
          176 ],
      1127 := [ 1141542411102117672016321392223128
          19185 ],
      1128 := [ 114163114163114163114163114163114
          163 ],
      1129 := [ 114163213154114163213154114163213
          154 ],
      1130 := [ 114163316141114163316141114163316
          141 ],
      1131 := [ 114163415132114163415132114163415
          132 ],
      1132 := [ 11416351820792224111324151768192110
          1223 ],
      1133 := [ 1141636171989222411141316176819229
          1124 ],
      1134 := [ 11416372018592224111542131768192312
          1021 ],
      1135 := [ 11416381917692224111631141768192411
          922 ],
      1136 := [ 11416392224111768191141639222411176
          819 ],
      1137 := [ 11416310212312176819213154922241118
          5720 ],
      1138 := [ 11416311242291768193161419222411198
          617 ],
      1139 := [ 11416312232110176819415132922241120
          7518 ],
      1140 := [ 114163132415114163132415114163132
          415 ],
      1141 := [ 114163141316114163141316114163141
          316 ],
      1142 := [ 114163154213114163154213114163154
          213 ],
      1143 := [ 114163163114114163163114114163163
          114 ],
      1144 := [ 1141631768199222411114163176819922
          2411 ],
      1145 := [ 11416318572092224112131541768191021
          2312 ],
      1146 := [ 11416319861792224113161411768191124
          229 ],
      1147 := [ 11416320751892224114151321768191223
          2110 ],
      1148 := [ 1141632110122317681913241592224115
          18207 ],
      1149 := [ 11416322911241768191413169222411617
          198 ],
      1150 := [ 1141632312102117681915421392224117
          20185 ],
      1151 := [ 11416324119221768191631149222411819
          176 ],
      1152 := [ 115115115115115115115115115115115
          115 ],
      1153 := [ 115115216216115115216216115115216
          216 ],
      1154 := [ 115115313313115115313313115115313
          313 ],
      1155 := [ 115115414414115115414414115115414
          414 ],
      1156 := [ 1151155195199239231331331771772111
          2111 ],
      1157 := [ 1151156206209239231441441771772212
          2212 ],
      1158 := [ 115115717717923923151151177177239
          239 ],
      1159 := [ 1151158188189239231621621771772410
          2410 ],
      1160 := [ 115115923923177177115115923923177
          177 ],
      1161 := [ 11511510241024177177216216923923188
          188 ],
      1162 := [ 11511511211121177177313313923923195
          195 ],
      1163 := [ 11511512221222177177414414923923206
          206 ],
      1164 := [ 115115133133115115133133115115133
          133 ],
      1165 := [ 115115144144115115144144115115144
          144 ],
      1166 := [ 115115151151115115151151115115151
          151 ],
      1167 := [ 115115162162115115162162115115162
          162 ],
      1168 := [ 115115177177923923115115177177923
          923 ],
      1169 := [ 1151151881889239232162161771771024
          1024 ],
      1170 := [ 1151151951959239233133131771771121
          1121 ],
      1171 := [ 1151152062069239234144141771771222
          1222 ],
      1172 := [ 11511521112111177177133133923923519
          519 ],
      1173 := [ 11511522122212177177144144923923620
          620 ],
      1174 := [ 115115239239177177151151923923717
          717 ],
      1175 := [ 11511524102410177177162162923923818
          818 ],
      1176 := [ 115216115216115216115216115216115
          216 ],
      1177 := [ 115216216115115216216115115216216
          115 ],
      1178 := [ 115216313414115216313414115216313
          414 ],
      1179 := [ 115216414313115216414313115216414
          313 ],
      1180 := [ 11521651962092310241331441771882111
          2212 ],
      1181 := [ 11521662051992310241441331771882212
          2111 ],
      1182 := [ 1152167178189231024151162177188239
          2410 ],
      1183 := [ 11521681871792310241621511771882410
          239 ],
      1184 := [ 11521692310241771881152169231024177
          188 ],
      1185 := [ 11521610249231771882161159231024188
          177 ],
      1186 := [ 11521611211222177188313414923102419
          5206 ],
      1187 := [ 11521612221121177188414313923102420
          6195 ],
      1188 := [ 115216133144115216133144115216133
          144 ],
      1189 := [ 115216144133115216144133115216144
          133 ],
      1190 := [ 115216151162115216151162115216151
          162 ],
      1191 := [ 115216162151115216162151115216162
          151 ],
      1192 := [ 1152161771889231024115216177188923
          1024 ],
      1193 := [ 11521618817792310242161151771881024
          923 ],
      1194 := [ 11521619520692310243134141771881121
          1222 ],
      1195 := [ 11521620619592310244143131771881222
          1121 ],
      1196 := [ 1152162111221217718813314492310245
          19620 ],
      1197 := [ 1152162212211117718814413392310246
          20519 ],
      1198 := [ 11521623924101771881511629231024717
          818 ],
      1199 := [ 11521624102391771881621519231024818
          717 ],
      1200 := [ 115313115313115313115313115313115
          313 ],
      1201 := [ 115313216414115313216414115313216
          414 ],
      1202 := [ 115313313115115313313115115313313
          115 ],
      1203 := [ 115313414216115313414216115313414
          216 ],
      1204 := [ 11531351971792311211331511771952111
          239 ],
      1205 := [ 11531362081892311211441621771952212
          2410 ],
      1206 := [ 1153137175199231121151133177195239
          2111 ],
      1207 := [ 11531381862092311211621441771952410
          2212 ],
      1208 := [ 11531392311211771951153139231121177
          195 ],
      1209 := [ 11531310241222177195216414923112118
          8206 ],
      1210 := [ 11531311219231771953131159231121195
          177 ],
      1211 := [ 11531312221024177195414216923112120
          6188 ],
      1212 := [ 115313133151115313133151115313133
          151 ],
      1213 := [ 115313144162115313144162115313144
          162 ],
      1214 := [ 115313151133115313151133115313151
          133 ],
      1215 := [ 115313162144115313162144115313162
          144 ],
      1216 := [ 1153131771959231121115313177195923
          1121 ],
      1217 := [ 11531318820692311212164141771951024
          1222 ],
      1218 := [ 11531319517792311213131151771951121
          923 ],
      1219 := [ 11531320618892311214142161771951222
          1024 ],
      1220 := [ 11531321112391771951331519231121519
          717 ],
      1221 := [ 1153132212241017719514416292311216
          20818 ],
      1222 := [ 11531323921111771951511339231121717
          519 ],
      1223 := [ 1153132410221217719516214492311218
          18620 ],
      1224 := [ 115414115414115414115414115414115
          414 ],
      1225 := [ 115414216313115414216313115414216
          313 ],
      1226 := [ 115414313216115414313216115414313
          216 ],
      1227 := [ 115414414115115414414115115414414
          115 ],
      1228 := [ 11541451981892312221331621772062111
          2410 ],
      1229 := [ 11541462071792312221441511772062212
          239 ],
      1230 := [ 1154147176209231222151144177206239
          2212 ],
      1231 := [ 11541481851992312221621331772062410
          2111 ],
      1232 := [ 11541492312221772061154149231222177
          206 ],
      1233 := [ 11541410241121177206216313923122218
          8195 ],
      1234 := [ 11541411211024177206313216923122219
          5188 ],
      1235 := [ 11541412229231772064141159231222206
          177 ],
      1236 := [ 115414133162115414133162115414133
          162 ],
      1237 := [ 115414144151115414144151115414144
          151 ],
      1238 := [ 115414151144115414151144115414151
          144 ],
      1239 := [ 115414162133115414162133115414162
          133 ],
      1240 := [ 1154141772069231222115414177206923
          1222 ],
      1241 := [ 11541418819592312222163131772061024
          1121 ],
      1242 := [ 11541419518892312223132161772061121
          1024 ],
      1243 := [ 11541420617792312224141151772061222
          923 ],
      1244 := [ 1154142111241017720613316292312225
          19818 ],
      1245 := [ 11541422122391772061441519231222620
          717 ],
      1246 := [ 11541423922121772061511449231222717
          620 ],
      1247 := [ 1154142410211117720616213392312228
          18519 ],
      1248 := [ 115133115133115133115133115133115
          133 ],
      1249 := [ 115133216144115133216144115133216
          144 ],
      1250 := [ 115133313151115133313151115133313
          151 ],
      1251 := [ 115133414162115133414162115133414
          162 ],
      1252 := [ 11513351917792321111331151775192111
          923 ],
      1253 := [ 11513362018892321111442161775192212
          1024 ],
      1254 := [ 1151337171959232111151313177519239
          1121 ],
      1255 := [ 11513381820692321111624141775192410
          1222 ],
      1256 := [ 11513392321111775191151339232111177
          519 ],
      1257 := [ 11513310242212177519216144923211118
          8620 ],
      1258 := [ 11513311212391775193131519232111195
          717 ],
      1259 := [ 11513312222410177519414162923211120
          6818 ],
      1260 := [ 115133133115115133133115115133133
          115 ],
      1261 := [ 115133144216115133144216115133144
          216 ],
      1262 := [ 115133151313115133151313115133151
          313 ],
      1263 := [ 115133162414115133162414115133162
          414 ],
      1264 := [ 1151331775199232111115133177519923
          2111 ],
      1265 := [ 11513318862092321112161441775191024
          2212 ],
      1266 := [ 11513319571792321113131511775191121
          239 ],
      1267 := [ 11513320681892321114141621775191222
          2410 ],
      1268 := [ 11513321119231775191331159232111519
          177 ],
      1269 := [ 1151332212102417751914421692321116
          20188 ],
      1270 := [ 11513323911211775191513139232111717
          195 ],
      1271 := [ 1151332410122217751916241492321118
          18206 ],
      1272 := [ 115144115144115144115144115144115
          144 ],
      1273 := [ 115144216133115144216133115144216
          133 ],
      1274 := [ 115144313162115144313162115144313
          162 ],
      1275 := [ 115144414151115144414151115144414
          151 ],
      1276 := [ 11514451918892322121332161776202111
          1024 ],
      1277 := [ 11514462017792322121441151776202212
          923 ],
      1278 := [ 1151447172069232212151414177620239
          1222 ],
      1279 := [ 11514481819592322121623131776202410
          1121 ],
      1280 := [ 11514492322121776201151449232212177
          620 ],
      1281 := [ 11514410242111177620216133923221218
          8519 ],
      1282 := [ 11514411212410177620313162923221219
          5818 ],
      1283 := [ 11514412222391776204141519232212206
          717 ],
      1284 := [ 115144133216115144133216115144133
          216 ],
      1285 := [ 115144144115115144144115115144144
          115 ],
      1286 := [ 115144151414115144151414115144151
          414 ],
      1287 := [ 115144162313115144162313115144162
          313 ],
      1288 := [ 1151441776209232212115144177620923
          2212 ],
      1289 := [ 11514418851992322122161331776201024
          2111 ],
      1290 := [ 11514419581892322123131621776201121
          2410 ],
      1291 := [ 11514420671792322124141511776201222
          239 ],
      1292 := [ 1151442111102417762013321692322125
          19188 ],
      1293 := [ 11514422129231776201441159232212620
          177 ],
      1294 := [ 11514423912221776201514149232212717
          206 ],
      1295 := [ 1151442410112117762016231392322128
          18195 ],
      1296 := [ 115151115151115151115151115151115
          151 ],
      1297 := [ 115151216162115151216162115151216
          162 ],
      1298 := [ 115151313133115151313133115151313
          133 ],
      1299 := [ 115151414144115151414144115151414
          144 ],
      1300 := [ 1151515191959232391333131777172111
          1121 ],
      1301 := [ 1151516202069232391444141777172212
          1222 ],
      1302 := [ 115151717177923239151115177717239
          923 ],
      1303 := [ 1151518181889232391622161777172410
          1024 ],
      1304 := [ 115151923239177717115151923239177
          717 ],
      1305 := [ 11515110242410177717216162923239188
          818 ],
      1306 := [ 11515111212111177717313133923239195
          519 ],
      1307 := [ 11515112222212177717414144923239206
          620 ],
      1308 := [ 115151133313115151133313115151133
          313 ],
      1309 := [ 115151144414115151144414115151144
          414 ],
      1310 := [ 115151151115115151151115115151151
          115 ],
      1311 := [ 115151162216115151162216115151162
          216 ],
      1312 := [ 115151177717923239115151177717923
          239 ],
      1313 := [ 1151511888189232392161621777171024
          2410 ],
      1314 := [ 1151511955199232393131331777171121
          2111 ],
      1315 := [ 1151512066209232394141441777171222
          2212 ],
      1316 := [ 11515121111121177717133313923239519
          195 ],
      1317 := [ 11515122121222177717144414923239620
          206 ],
      1318 := [ 115151239923177717151115923239717
          177 ],
      1319 := [ 11515124101024177717162216923239818
          188 ],
      1320 := [ 115162115162115162115162115162115
          162 ],
      1321 := [ 115162216151115162216151115162216
          151 ],
      1322 := [ 115162313144115162313144115162313
          144 ],
      1323 := [ 115162414133115162414133115162414
          133 ],
      1324 := [ 11516251920692324101334141778182111
          1222 ],
      1325 := [ 11516262019592324101443131778182212
          1121 ],
      1326 := [ 1151627171889232410151216177818239
          1024 ],
      1327 := [ 11516281817792324101621151778182410
          923 ],
      1328 := [ 11516292324101778181151629232410177
          818 ],
      1329 := [ 11516210242391778182161519232410188
          717 ],
      1330 := [ 11516211212212177818313144923241019
          5620 ],
      1331 := [ 11516212222111177818414133923241020
          6519 ],
      1332 := [ 115162133414115162133414115162133
          414 ],
      1333 := [ 115162144313115162144313115162144
          313 ],
      1334 := [ 115162151216115162151216115162151
          216 ],
      1335 := [ 115162162115115162162115115162162
          115 ],
      1336 := [ 1151621778189232410115162177818923
          2410 ],
      1337 := [ 11516218871792324102161511778181024
          239 ],
      1338 := [ 11516219562092324103131441778181121
          2212 ],
      1339 := [ 11516220651992324104141331778181222
          2111 ],
      1340 := [ 1151622111122217781813341492324105
          19206 ],
      1341 := [ 1151622212112117781814431392324106
          20195 ],
      1342 := [ 11516223910241778181512169232410717
          188 ],
      1343 := [ 11516224109231778181621159232410818
          177 ],
      1344 := [ 116116116116116116116116116116116
          116 ],
      1345 := [ 116116215215116116215215116116215
          215 ],
      1346 := [ 116116314314116116314314116116314
          314 ],
      1347 := [ 116116413413116116413413116116413
          413 ],
      1348 := [ 1161165205209249241341341781782112
          2112 ],
      1349 := [ 1161166196199249241431431781782211
          2211 ],
      1350 := [ 1161167187189249241521521781782310
          2310 ],
      1351 := [ 116116817817924924161161178178249
          249 ],
      1352 := [ 116116924924178178116116924924178
          178 ],
      1353 := [ 11611610231023178178215215924924187
          187 ],
      1354 := [ 11611611221122178178314314924924196
          196 ],
      1355 := [ 11611612211221178178413413924924205
          205 ],
      1356 := [ 116116134134116116134134116116134
          134 ],
      1357 := [ 116116143143116116143143116116143
          143 ],
      1358 := [ 116116152152116116152152116116152
          152 ],
      1359 := [ 116116161161116116161161116116161
          161 ],
      1360 := [ 116116178178924924116116178178924
          924 ],
      1361 := [ 1161161871879249242152151781781023
          1023 ],
      1362 := [ 1161161961969249243143141781781122
          1122 ],
      1363 := [ 1161162052059249244134131781781221
          1221 ],
      1364 := [ 11611621122112178178134134924924520
          520 ],
      1365 := [ 11611622112211178178143143924924619
          619 ],
      1366 := [ 11611623102310178178152152924924718
          718 ],
      1367 := [ 116116249249178178161161924924817
          817 ],
      1368 := [ 116215116215116215116215116215116
          215 ],
      1369 := [ 116215215116116215215116116215215
          116 ],
      1370 := [ 116215314413116215314413116215314
          413 ],
      1371 := [ 116215413314116215413314116215413
          314 ],
      1372 := [ 11621552061992410231341431781872112
          2211 ],
      1373 := [ 11621561952092410231431341781872211
          2112 ],
      1374 := [ 11621571881792410231521611781872310
          249 ],
      1375 := [ 1162158177189241023161152178187249
          2310 ],
      1376 := [ 11621592410231781871162159241023178
          187 ],
      1377 := [ 11621510239241781872151169241023187
          178 ],
      1378 := [ 11621511221221178187314413924102319
          6205 ],
      1379 := [ 11621512211122178187413314924102320
          5196 ],
      1380 := [ 116215134143116215134143116215134
          143 ],
      1381 := [ 116215143134116215143134116215143
          134 ],
      1382 := [ 116215152161116215152161116215152
          161 ],
      1383 := [ 116215161152116215161152116215161
          152 ],
      1384 := [ 1162151781879241023116215178187924
          1023 ],
      1385 := [ 11621518717892410232151161781871023
          924 ],
      1386 := [ 11621519620592410233144131781871122
          1221 ],
      1387 := [ 11621520519692410234133141781871221
          1122 ],
      1388 := [ 1162152112221117818713414392410235
          20619 ],
      1389 := [ 1162152211211217818714313492410236
          19520 ],
      1390 := [ 11621523102491781871521619241023718
          817 ],
      1391 := [ 11621524923101781871611529241023817
          718 ],
      1392 := [ 116314116314116314116314116314116
          314 ],
      1393 := [ 116314215413116314215413116314215
          413 ],
      1394 := [ 116314314116116314314116116314314
          116 ],
      1395 := [ 116314413215116314413215116314413
          215 ],
      1396 := [ 11631452071892411221341521781962112
          2310 ],
      1397 := [ 11631461981792411221431611781962211
          249 ],
      1398 := [ 11631471852092411221521341781962310
          2112 ],
      1399 := [ 1163148176199241122161143178196249
          2211 ],
      1400 := [ 11631492411221781961163149241122178
          196 ],
      1401 := [ 11631410231221178196215413924112218
          7205 ],
      1402 := [ 11631411229241781963141169241122196
          178 ],
      1403 := [ 11631412211023178196413215924112220
          5187 ],
      1404 := [ 116314134152116314134152116314134
          152 ],
      1405 := [ 116314143161116314143161116314143
          161 ],
      1406 := [ 116314152134116314152134116314152
          134 ],
      1407 := [ 116314161143116314161143116314161
          143 ],
      1408 := [ 1163141781969241122116314178196924
          1122 ],
      1409 := [ 11631418720592411222154131781961023
          1221 ],
      1410 := [ 11631419617892411223141161781961122
          924 ],
      1411 := [ 11631420518792411224132151781961221
          1023 ],
      1412 := [ 1163142112231017819613415292411225
          20718 ],
      1413 := [ 11631422112491781961431619241122619
          817 ],
      1414 := [ 1163142310211217819615213492411227
          18520 ],
      1415 := [ 11631424922111781961611439241122817
          619 ],
      1416 := [ 116413116413116413116413116413116
          413 ],
      1417 := [ 116413215314116413215314116413215
          314 ],
      1418 := [ 116413314215116413314215116413314
          215 ],
      1419 := [ 116413413116116413413116116413413
          116 ],
      1420 := [ 11641352081792412211341611782052112
          249 ],
      1421 := [ 11641361971892412211431521782052211
          2310 ],
      1422 := [ 11641371861992412211521431782052310
          2211 ],
      1423 := [ 1164138175209241221161134178205249
          2112 ],
      1424 := [ 11641392412211782051164139241221178
          205 ],
      1425 := [ 11641310231122178205215314924122118
          7196 ],
      1426 := [ 11641311221023178205314215924122119
          6187 ],
      1427 := [ 11641312219241782054131169241221205
          178 ],
      1428 := [ 116413134161116413134161116413134
          161 ],
      1429 := [ 116413143152116413143152116413143
          152 ],
      1430 := [ 116413152143116413152143116413152
          143 ],
      1431 := [ 116413161134116413161134116413161
          134 ],
      1432 := [ 1164131782059241221116413178205924
          1221 ],
      1433 := [ 11641318719692412212153141782051023
          1122 ],
      1434 := [ 11641319618792412213142151782051122
          1023 ],
      1435 := [ 11641320517892412214131161782051221
          924 ],
      1436 := [ 11641321122491782051341619241221520
          817 ],
      1437 := [ 1164132211231017820514315292412216
          19718 ],
      1438 := [ 1164132310221117820515214392412217
          18619 ],
      1439 := [ 11641324921121782051611349241221817
          520 ],
      1440 := [ 116134116134116134116134116134116
          134 ],
      1441 := [ 116134215143116134215143116134215
          143 ],
      1442 := [ 116134314152116134314152116134314
          152 ],
      1443 := [ 116134413161116134413161116134413
          161 ],
      1444 := [ 11613452017892421121341161785202112
          924 ],
      1445 := [ 11613461918792421121432151785202211
          1023 ],
      1446 := [ 11613471819692421121523141785202310
          1122 ],
      1447 := [ 1161348172059242112161413178520249
          1221 ],
      1448 := [ 11613492421121785201161349242112178
          520 ],
      1449 := [ 11613410232211178520215143924211218
          7619 ],
      1450 := [ 11613411222310178520314152924211219
          6718 ],
      1451 := [ 11613412212491785204131619242112205
          817 ],
      1452 := [ 116134134116116134134116116134134
          116 ],
      1453 := [ 116134143215116134143215116134143
          215 ],
      1454 := [ 116134152314116134152314116134152
          314 ],
      1455 := [ 116134161413116134161413116134161
          413 ],
      1456 := [ 1161341785209242112116134178520924
          2112 ],
      1457 := [ 11613418761992421122151431785201023
          2211 ],
      1458 := [ 11613419671892421123141521785201122
          2310 ],
      1459 := [ 11613420581792421124131611785201221
          249 ],
      1460 := [ 11613421129241785201341169242112520
          178 ],
      1461 := [ 1161342211102317852014321592421126
          19187 ],
      1462 := [ 1161342310112217852015231492421127
          18196 ],
      1463 := [ 11613424912211785201614139242112817
          205 ],
      1464 := [ 116143116143116143116143116143116
          143 ],
      1465 := [ 116143215134116143215134116143215
          134 ],
      1466 := [ 116143314161116143314161116143314
          161 ],
      1467 := [ 116143413152116143413152116143413
          152 ],
      1468 := [ 11614352018792422111342151786192112
          1023 ],
      1469 := [ 11614361917892422111431161786192211
          924 ],
      1470 := [ 11614371820592422111524131786192310
          1221 ],
      1471 := [ 1161438171969242211161314178619249
          1122 ],
      1472 := [ 11614392422111786191161439242211178
          619 ],
      1473 := [ 11614310232112178619215134924221118
          7520 ],
      1474 := [ 11614311222491786193141619242211196
          817 ],
      1475 := [ 11614312212310178619413152924221120
          5718 ],
      1476 := [ 116143134215116143134215116143134
          215 ],
      1477 := [ 116143143116116143143116116143143
          116 ],
      1478 := [ 116143152413116143152413116143152
          413 ],
      1479 := [ 116143161314116143161314116143161
          314 ],
      1480 := [ 1161431786199242211116143178619924
          2211 ],
      1481 := [ 11614318752092422112151341786191023
          2112 ],
      1482 := [ 11614319681792422113141611786191122
          249 ],
      1483 := [ 11614320571892422114131521786191221
          2310 ],
      1484 := [ 1161432112102317861913421592422115
          20187 ],
      1485 := [ 11614322119241786191431169242211619
          178 ],
      1486 := [ 1161432310122117861915241392422117
          18205 ],
      1487 := [ 11614324911221786191613149242211817
          196 ],
      1488 := [ 116152116152116152116152116152116
          152 ],
      1489 := [ 116152215161116152215161116152215
          161 ],
      1490 := [ 116152314134116152314134116152314
          134 ],
      1491 := [ 116152413143116152413143116152413
          143 ],
      1492 := [ 11615252019692423101343141787182112
          1122 ],
      1493 := [ 11615261920592423101434131787182211
          1221 ],
      1494 := [ 11615271817892423101521161787182310
          924 ],
      1495 := [ 1161528171879242310161215178718249
          1023 ],
      1496 := [ 11615292423101787181161529242310178
          718 ],
      1497 := [ 11615210232491787182151619242310187
          817 ],
      1498 := [ 11615211222112178718314134924231019
          6520 ],
      1499 := [ 11615212212211178718413143924231020
          5619 ],
      1500 := [ 116152134314116152134314116152134
          314 ],
      1501 := [ 116152143413116152143413116152143
          413 ],
      1502 := [ 116152152116116152152116116152152
          116 ],
      1503 := [ 116152161215116152161215116152161
          215 ],
      1504 := [ 1161521787189242310116152178718924
          2310 ],
      1505 := [ 11615218781792423102151611787181023
          249 ],
      1506 := [ 11615219652092423103141341787181122
          2112 ],
      1507 := [ 11615220561992423104131431787181221
          2211 ],
      1508 := [ 1161522112112217871813431492423105
          20196 ],
      1509 := [ 1161522211122117871814341392423106
          19205 ],
      1510 := [ 11615223109241787181521169242310718
          178 ],
      1511 := [ 11615224910231787181612159242310817
          187 ],
      1512 := [ 116161116161116161116161116161116
          161 ],
      1513 := [ 116161215152116161215152116161215
          152 ],
      1514 := [ 116161314143116161314143116161314
          143 ],
      1515 := [ 116161413134116161413134116161413
          134 ],
      1516 := [ 1161615202059242491344131788172112
          1221 ],
      1517 := [ 1161616191969242491433141788172211
          1122 ],
      1518 := [ 1161617181879242491522151788172310
          1023 ],
      1519 := [ 116161817178924249161116178817249
          924 ],
      1520 := [ 116161924249178817116161924249178
          817 ],
      1521 := [ 11616110232310178817215152924249187
          718 ],
      1522 := [ 11616111222211178817314143924249196
          619 ],
      1523 := [ 11616112212112178817413134924249205
          520 ],
      1524 := [ 116161134413116161134413116161134
          413 ],
      1525 := [ 116161143314116161143314116161143
          314 ],
      1526 := [ 116161152215116161152215116161152
          215 ],
      1527 := [ 116161161116116161161116116161161
          116 ],
      1528 := [ 116161178817924249116161178817924
          249 ],
      1529 := [ 1161611877189242492151521788171023
          2310 ],
      1530 := [ 1161611966199242493141431788171122
          2211 ],
      1531 := [ 1161612055209242494131341788171221
          2112 ],
      1532 := [ 11616121121221178817134413924249520
          205 ],
      1533 := [ 11616122111122178817143314924249619
          196 ],
      1534 := [ 11616123101023178817152215924249718
          187 ],
      1535 := [ 116161249924178817161116924249817
          178 ],
      1536 := [ 12345678910111213141516171819202122
          2324 ] ),
  classes := rec(
      1 := rec(
          phi := [ 1234567153691011121314151617181920
              212223260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357485487489491
              497499501503508510513515521523524526677678681682
              6896906936947007037057067137147167191536 ] ),
      2 := rec(
          phi := [ 1234567153691011121314151617181920
              212223285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      3 := rec(
          phi := [ 12345671536910111213141525217181920
              212223260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357485487489491
              497499501503508510513515521523524526677678681682
              6896906936947007037057067137147167191536 ] ),
      4 := rec(
          phi := [ 123456715369101124813141516171819256
              212223260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      5 := rec(
          phi := [ 123456715369101141613141516171819256
              212223428 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      6 := rec(
          phi := [ 12345653153691011121314151617181920
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      7 := rec(
          phi := [ 12345653153691011121314616217181920
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      8 := rec(
          phi := [ 12345653153691011121314618517181920
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      9 := rec(
          phi := [ 123456531536910111213146125217181920
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      10 := rec(
          phi := [ 12345653153691011351314151617181943
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      11 := rec(
          phi := [ 12345653153691057581314151617186566
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      12 := rec(
          phi := [ 12345653153691057811314151617186589
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      13 := rec(
          phi := [ 1234565315369105724813141516171865
              256212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      14 := rec(
          phi := [ 12345653153693357811314151617416589
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      15 := rec(
          phi := [ 123456245153691011121314151617181920
              2122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      16 := rec(
          phi := [ 123456245153691011121314151617181920
              2122284285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      17 := rec(
          phi := [ 123456245153691011121314616217181920
              2122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      18 := rec(
          phi := [ 123456245153691011121314253252171819
              202122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      19 := rec(
          phi := [ 123456245153691011351314151617181943
              2122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      20 := rec(
          phi := [ 123456245153691057581314151617186566
              2122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      21 := rec(
          phi := [ 123456245153691057811314151617186589
              2122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      22 := rec(
          phi := [ 123456245153691057811314151617186589
              2122284285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      23 := rec(
          phi := [ 1234562451536910249248131415161718257
              2562122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      24 := rec(
          phi := [ 1234562451536910272273131415161718257
              2562122284285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      25 := rec(
          phi := [ 123456245153693357811314151617416589
              2122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      26 := rec(
          phi := [ 123456245153693357811314151617416589
              2122284285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      27 := rec(
          phi := [ 123456268153691011121314151617181920
              2122261285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      28 := rec(
          phi := [ 123456268153691011121314151617181920
              2122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      29 := rec(
          phi := [ 123456268153691011121314618517181920
              2122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      30 := rec(
          phi := [ 123456268153691011121314276252171819
              202122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      31 := rec(
          phi := [ 123456268153691057811314151617186589
              2122261285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      32 := rec(
          phi := [ 123456268153691057811314151617186589
              2122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      33 := rec(
          phi := [ 1234562681536910249273131415161718257
              2812122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      34 := rec(
          phi := [ 123456268153693357811314151617416589
              2122261285 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      35 := rec(
          phi := [ 123456268153693357811314151617416589
              2122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      36 := rec(
          phi := [ 123452953153691011121314151617181920
              214569260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      37 := rec(
          phi := [ 123452953153691011121337618517181920
              214569260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      38 := rec(
          phi := [ 12345295315369101112133761252171819
              20214569260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      39 := rec(
          phi := [ 123452953153691011351314151617181943
              214569260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      40 := rec(
          phi := [ 123452953153693357811314151617416589
              214569260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      41 := rec(
          phi := [ 12345295315369335724813141516174165
              256214569260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      42 := rec(
          phi := [ 12345292681536910111213141516171819
              202145284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      43 := rec(
          phi := [ 12345292681536910111213376185171819
              202145284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      44 := rec(
          phi := [ 1234529268153691011121337276252171819
              202145284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      45 := rec(
          phi := [ 12345292681536933578113141516174165
              892145284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      46 := rec(
          phi := [ 12345292681536933272248131415161741280
              2562145284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      47 := rec(
          phi := [ 12345197531536910111213141516171819
              202145404428 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      48 := rec(
          phi := [ 12345197531536910111213141516171819
              202121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      49 := rec(
          phi := [ 12345197531536910111213146162171819
              202121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      50 := rec(
          phi := [ 12345197531536910111213376185171819
              202121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      51 := rec(
          phi := [ 1234519753153691011121320561252171819
              202121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      52 := rec(
          phi := [ 12345197531536910575813141516171865
              662121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      53 := rec(
          phi := [ 1234519753153691057581320515207171865
              662121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      54 := rec(
          phi := [ 12345197531536933578113141516174165
              892121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      55 := rec(
          phi := [ 12345197531536933392416131415161720965
              2562145404428 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      56 := rec(
          phi := [ 12345197531536920157248131415161720965
              2562121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      57 := rec(
          phi := [ 123454606041536910111213141516171819
              2021476620260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      58 := rec(
          phi := [ 123454606041536910111213141516171819
              2021644284428 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      59 := rec(
          phi := [ 1234546060415369101112134686122521718
              192021476620260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      60 := rec(
          phi := [ 12345460604153694646082481314151617472
              61625621476620260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      61 := rec(
          phi := [ 12345460604153696322724161314151617472
              61625621644284428 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      62 := rec(
          phi := [ 123453153655246910111213141516171819
              206926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      63 := rec(
          phi := [ 12345315365524691011121320515207171819
              206926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      64 := rec(
          phi := [ 123453153655246910111261626364171819
              206926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      65 := rec(
          phi := [ 12345315365524691011126125263254171819
              206926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      66 := rec(
          phi := [ 1234531536552469201112031314151617209
              192116926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      67 := rec(
          phi := [ 1234531536552469201112036162636417209
              192116926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      68 := rec(
          phi := [ 12345315365524692013925841314151617209
              4005926926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      69 := rec(
          phi := [ 1234531536552465758596013141516656667
              686926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      70 := rec(
          phi := [ 1234531536552465758596013205152076566
              67686926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      71 := rec(
          phi := [ 12345315365524657248592501314151665256
              672586926071262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      72 := rec(
          phi := [ 1234531536436628910111213141516171819
              2069260452644 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766798799802803
              810811814815821823825827833835837839845846849850
              8578588618621012101410171019102510271028103010361039
              1041104210491050105210551180118111861187119411951196
              11971536 ] ),
      73 := rec(
          phi := [ 1234531536436628910111213141516171819
              2045464671262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766798799802803
              810811814815821823825827833835837839845846849850
              8578588618621012101410171019102510271028103010361039
              1041104210491050105210551180118111861187119411951196
              11971536 ] ),
      74 := rec(
          phi := [ 12345315364366289101112132053965881718
              192069260452644 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      75 := rec(
          phi := [ 12345315364366289101112612524446361718
              192069260452644 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766798799802803
              810811814815821823825827833835837839845846849850
              8578588618621012101410171019102510271028103010361039
              1041104210491050105210551180118111861187119411951196
              11971536 ] ),
      76 := rec(
          phi := [ 123453153643662892013925841314151617209
              40059269260452644 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766798799802803
              810811814815821823825827833835837839845846849850
              8578588618621012101410171019102510271028103010361039
              1041104210491050105210551180118111861187119411951196
              11971536 ] ),
      77 := rec(
          phi := [ 123453153643662892013925841314151617209
              40059245464671262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766798799802803
              810811814815821823825827833835837839845846849850
              8578588618621012101410171019102510271028103010361039
              1041104210491050105210551180118111861187119411951196
              11971536 ] ),
      78 := rec(
          phi := [ 1234531536436628572484406321314151665256
              44864069260452644 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      79 := rec(
          phi := [ 12342451536247246910111213141516171819
              20261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357485487489491
              497499501503508510513515521523524526677678681682
              6896906936947007037057067137147167191536 ] ),
      80 := rec(
          phi := [ 12342451536247246910111213141516171819
              20285284287286 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      81 := rec(
          phi := [ 12342451536247246910111261626364171819
              20261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      82 := rec(
          phi := [ 1234245153624724691011122532522552541718
              1920261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357485487489491
              497499501503508510513515521523524526677678681682
              6896906936947007037057067137147167191536 ] ),
      83 := rec(
          phi := [ 12342451536247246910353613141516171843
              44261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      84 := rec(
          phi := [ 12342451536247246910353613141516171843
              44285284287286 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      85 := rec(
          phi := [ 1234245153624724657585960131415166566
              6768261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      86 := rec(
          phi := [ 123424515362472465758596020620520820765
              666768261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      87 := rec(
          phi := [ 1234245153624724624924825125013141516257
              256259258261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357485487489491
              497499501503508510513515521523524526677678681682
              6896906936947007037057067137147167191536 ] ),
      88 := rec(
          phi := [ 1234245153624724627327227527413141516257
              256259258285284287286 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      89 := rec(
          phi := [ 12342451536271270910111213141516171819
              20261260287286 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      90 := rec(
          phi := [ 12342451536271270910111213141516171819
              20285284263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      91 := rec(
          phi := [ 1234245153627127091011122532522792781718
              1920261260287286 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      92 := rec(
          phi := [ 12342451536271270910353613141516171843
              44261260287286 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      93 := rec(
          phi := [ 12342451536271270910353613141516171843
              44285284263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      94 := rec(
          phi := [ 123275653153691011351314616217181943
              212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      95 := rec(
          phi := [ 12327565315369101135131461252171819
              43212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      96 := rec(
          phi := [ 12327562451536910113513146162171819
              432122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      97 := rec(
          phi := [ 1232756245153691011351314253252171819
              432122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      98 := rec(
          phi := [ 123275295315369101135133761252171819
              43214569260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      99 := rec(
          phi := [ 123241567153691011248131415252171819
              256212223260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381460461462463476477478479485487489491
              497499501503508510513515521523524526533535537539
              545547549551556558561563569571572574677678681682
              689690693694700703705706713714716719724727729730
              737738740743749750753754761762765766894895898899
              906907910911917919921923929931933935941942945946
              9539549579581108111111131114112111221124112711321134
              1137113911451147114811501324132513301331133813391340
              13411536 ] ),
      100 := rec(
          phi := [ 1227282451536247246910353625325225525417
              184344261260263262 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      101 := rec(
          phi := [ 1227282451536271270910353625325227927817
              184344261260287286 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      102 := rec(
          phi := [ 12495056531536910575813146162171865
              66212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      103 := rec(
          phi := [ 124950565315369105758131461252171865
              66212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      104 := rec(
          phi := [ 124950565315369105724813146162171865
              256212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      105 := rec(
          phi := [ 124950562451536910575813146162171865
              662122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      106 := rec(
          phi := [ 12495056245153691057581314253252171865
              662122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      107 := rec(
          phi := [ 124950562451536910249248131461621718
              2572562122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      108 := rec(
          phi := [ 1249505197531536910575813146162171865
              662121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      109 := rec(
          phi := [ 1249505197531536910575813205612521718
              65662121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      110 := rec(
          phi := [ 12495051975315369201572481314616217209
              652562121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      111 := rec(
          phi := [ 12495019719815362459105758131461621718
              6566213214260261 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      112 := rec(
          phi := [ 1249501971981536245910575820520625225317
              186566213214260261 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      113 := rec(
          phi := [ 124950197198153624520120224824913146162209
              210256257213214260261 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      114 := rec(
          phi := [ 12497356531536910578113146162171865
              89212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      115 := rec(
          phi := [ 12497356531536910578113146185171865
              89212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      116 := rec(
          phi := [ 124973565315369105781131461252171865
              89212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      117 := rec(
          phi := [ 124973565315369105724813146185171865
              256212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      118 := rec(
          phi := [ 124973562451536910578113146162171865
              892122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      119 := rec(
          phi := [ 12497356245153691057811314253252171865
              892122261260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      120 := rec(
          phi := [ 124973562681536910578113146185171865
              892122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      121 := rec(
          phi := [ 12497356268153691057811314276252171865
              892122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      122 := rec(
          phi := [ 124973562681536910249273131486621718
              2572812122284260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      123 := rec(
          phi := [ 12492415653153691057248131461252171865
              256212269260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      124 := rec(
          phi := [ 1224124256153624591024824913142522531718
              2562572122260261 ],
          autos_yielding_iso_nrs := [ 245246247260261262263294295298299
              306307310311340341346347354355356357412413414415
              428429430431485487489491497499501503508510513515
              521523524526604605606607620621622623677678681682
              689690693694700703705706713714716719798799802803
              810811814815821823825827833835837839845846849850
              857858861862990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055118011811186118711941195119611971205120712091211
              1217121912211223122812311233123412411242124412471372
              1373137813791386138713881389139613981401140314091411
              14121414142114221425142614331434143714381536 ] ),
      125 := rec(
          phi := [ 1224126456153626891024827213142522761718
              2562802122260284 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      126 := rec(
          phi := [ 1193492415197531536920157248132056125217
              209652562121369260 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295310311318319334335460461462463
              476477478479485487501503510526535551677678693694
              703719727743894895910911919935111111271536 ] ),
      127 := rec(
          phi := [ 119361252103294163354920169260111302147338
              17209531536119310155346 ],
          autos_yielding_iso_nrs := [ 245260261268269284285294295298299
              318319322323340341346347364365370371412414428430
              460461476477485487489491508510513515533535537539
              556558561563604606620622628629644645677678681682
              700703705706724727729730749750753754798802810814
              821825833837845849857861894895898899917919921923
              94194294594699099410021006101210171025102810361041
              1049105210621063106610671108111111131114113211341137
              1139118011861194119612051209121712211228123312411244
              1253125512571259127612791281128213241325133013311372
              1378138613881396140114091412142114251433143714451446
              14491450146814701473147514921493149814991536 ] ),
      128 := rec(
          phi := [ 125248373584610021325148192604917438549861333
              146517153649972786299413411473 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287412413414415428429430431460461462463
              476477478479604605606607620621622623628629630631
              644645646647798799802803810811814815821823837839
              845846861862990991994995100210031006100710121014
              1028103010361039105210551180118111861187119411951196
              1197120512071221122312281231124412471372137313781379
              1386138713881389139613981412141414211422143714381536 ] ),
      129 := rec(
          phi := [ 133761851011251493402145692601091331571815
              29531536117141165356 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      130 := rec(
          phi := [ 133761851011253403642145260284109133157181
              5291536268117141356380 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      131 := rec(
          phi := [ 133761851012921493402121369260109133157181
              5197531536117308165356 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      132 := rec(
          phi := [ 13376185292316340364213237260284109133157181
              1972211536268308332356380 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      133 := rec(
          phi := [ 133761252101125149340214569260109133157348
              529531536117141165356 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      134 := rec(
          phi := [ 13372522761011253403642145260284109133348372
              5291536268117141356380 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      135 := rec(
          phi := [ 13205612521012921493402121369260109300157348
              5197531536117308165356 ],
          autos_yielding_iso_nrs := [ 245246247260261262263268269270271
              284285286287294295298299306307310311318319322323
              330331334335340341346347354355356357364365370371
              378379380381412413414415428429430431460461462463
              476477478479485487489491497499501503508510513515
              521523524526533535537539545547549551556558561563
              569571572574604605606607620621622623628629630631
              644645646647677678681682689690693694700703705706
              713714716719724727729730737738740743749750753754
              761762765766798799802803810811814815821823825827
              833835837839845846849850857858861862894895898899
              906907910911917919921923929931933935941942945946
              953954957958990991994995100210031006100710121014
              1017101910251027102810301036103910411042104910501052
              1055106210631066106710741075107810791108111111131114
              1121112211241127113211341137113911451147114811501180
              1181118611871194119511961197120512071209121112171219
              1221122312281231123312341241124212441247125312551257
              1259126512671269127112761279128112821289129012921295
              1324132513301331133813391340134113721373137813791386
              1387138813891396139814011403140914111412141414211422
              1425142614331434143714381445144614491450145714581461
              1462146814701473147514811483148414861492149314981499
              15061507150815091536 ] ),
      136 := rec(
          phi := [ 61252444636820101212041396692604526448281020
              12121404531536436628836102812201412 ],
          autos_yielding_iso_nrs := [ 245260261268269284285412414428430
              460461476477604606620622628629644645798802810814
              82183784586199099410021006101210281036105211801186
              1194119612051221122812441372137813861388139614121421
              14371536 ] ) ) );

[Dauer der Verarbeitung: 1.425 Sekunden, vorverarbeitet 2026-06-09]