Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Impressum nri24_3.nr   Interaktion und
Portierbarkeitunbekannt

 
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 ] ) ) );

[Seitenstruktur1.629Druckenetwas mehr zur Ethik2026-06-09]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik