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

Impressum nri16_6.nr   Sprache: unbekannt

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

NI16_6 := rec(
  group_name := "16/6",
  group_generators := [ (1,2), (3,4,5,6), (4,6) ],
  elements := rec(
      1 := (),
      2 := (4,6),
      3 := (3,4)(5,6),
      4 := (3,4,5,6),
      5 := (3,5),
      6 := (3,5)(4,6),
      7 := (3,6,5,4),
      8 := (3,6)(4,5),
      9 := (1,2),
      10 := (1,2)(4,6),
      11 := (1,2)(3,4)(5,6),
      12 := (1,2)(3,4,5,6),
      13 := (1,2)(3,5),
      14 := (1,2)(3,5)(4,6),
      15 := (1,2)(3,6,5,4),
      16 := (1,2)(3,6)(4,5) ),
  group_endomorphisms := rec(
      1 := [ 1111111111111111 ],
      2 := [ 1111111122222222 ],
      3 := [ 1111111133333333 ],
      4 := [ 1111111155555555 ],
      5 := [ 1111111166666666 ],
      6 := [ 1111111188888888 ],
      7 := [ 1111111199999999 ],
      8 := [ 111111111010101010101010 ],
      9 := [ 111111111111111111111111 ],
      10 := [ 111111111313131313131313 ],
      11 := [ 111111111414141414141414 ],
      12 := [ 111111111616161616161616 ],
      13 := [ 1122112211221122 ],
      14 := [ 1122112222112211 ],
      15 := [ 1122112255665566 ],
      16 := [ 1122112266556655 ],
      17 := [ 11221122991010991010 ],
      18 := [ 11221122101099101099 ],
      19 := [ 112211221313141413131414 ],
      20 := [ 112211221414131314141313 ],
      21 := [ 1133113311331133 ],
      22 := [ 1133113333113311 ],
      23 := [ 1133113366886688 ],
      24 := [ 1133113388668866 ],
      25 := [ 11331133991111991111 ],
      26 := [ 11331133111199111199 ],
      27 := [ 113311331414161614141616 ],
      28 := [ 113311331616141416161414 ],
      29 := [ 1155115511551155 ],
      30 := [ 1155115522662266 ],
      31 := [ 1155115555115511 ],
      32 := [ 1155115566226622 ],
      33 := [ 11551155991313991313 ],
      34 := [ 115511551010141410101414 ],
      35 := [ 11551155131399131399 ],
      36 := [ 115511551414101014141010 ],
      37 := [ 1166116611661166 ],
      38 := [ 1166116622552255 ],
      39 := [ 1166116633883388 ],
      40 := [ 1166116655225522 ],
      41 := [ 1166116666116611 ],
      42 := [ 1166116688338833 ],
      43 := [ 11661166991414991414 ],
      44 := [ 116611661010131310101313 ],
      45 := [ 116611661111161611111616 ],
      46 := [ 116611661313101013131010 ],
      47 := [ 11661166141499141499 ],
      48 := [ 116611661616111116161111 ],
      49 := [ 1188118811881188 ],
      50 := [ 1188118833663366 ],
      51 := [ 1188118866336633 ],
      52 := [ 1188118888118811 ],
      53 := [ 11881188991616991616 ],
      54 := [ 118811881111141411111414 ],
      55 := [ 118811881414111114141111 ],
      56 := [ 11881188161699161699 ],
      57 := [ 1199119911991199 ],
      58 := [ 11991199221010221010 ],
      59 := [ 11991199331111331111 ],
      60 := [ 11991199551313551313 ],
      61 := [ 11991199661414661414 ],
      62 := [ 11991199881616881616 ],
      63 := [ 1199119999119911 ],
      64 := [ 11991199101022101022 ],
      65 := [ 11991199111133111133 ],
      66 := [ 11991199131355131355 ],
      67 := [ 11991199141466141466 ],
      68 := [ 11991199161688161688 ],
      69 := [ 111010111010111010111010 ],
      70 := [ 11101011101022992299 ],
      71 := [ 111010111010551414551414 ],
      72 := [ 111010111010661313661313 ],
      73 := [ 11101011101099229922 ],
      74 := [ 111010111010101011101011 ],
      75 := [ 111010111010131366131366 ],
      76 := [ 111010111010141455141455 ],
      77 := [ 111111111111111111111111 ],
      78 := [ 11111111111133993399 ],
      79 := [ 111111111111661616661616 ],
      80 := [ 111111111111881414881414 ],
      81 := [ 11111111111199339933 ],
      82 := [ 111111111111111111111111 ],
      83 := [ 111111111111141488141488 ],
      84 := [ 111111111111161666161666 ],
      85 := [ 111313111313111313111313 ],
      86 := [ 111313111313221414221414 ],
      87 := [ 11131311131355995599 ],
      88 := [ 111313111313661010661010 ],
      89 := [ 11131311131399559955 ],
      90 := [ 111313111313101066101066 ],
      91 := [ 111313111313131311131311 ],
      92 := [ 111313111313141422141422 ],
      93 := [ 111414111414111414111414 ],
      94 := [ 111414111414221313221313 ],
      95 := [ 111414111414331616331616 ],
      96 := [ 111414111414551010551010 ],
      97 := [ 11141411141466996699 ],
      98 := [ 111414111414881111881111 ],
      99 := [ 11141411141499669966 ],
      100 := [ 111414111414101055101055 ],
      101 := [ 111414111414111188111188 ],
      102 := [ 111414111414131322131322 ],
      103 := [ 111414111414141411141411 ],
      104 := [ 111414111414161633161633 ],
      105 := [ 111616111616111616111616 ],
      106 := [ 111616111616331414331414 ],
      107 := [ 111616111616661111661111 ],
      108 := [ 11161611161688998899 ],
      109 := [ 11161611161699889988 ],
      110 := [ 111616111616111166111166 ],
      111 := [ 111616111616141433141433 ],
      112 := [ 111616111616161611161611 ],
      113 := [ 1212212112122121 ],
      114 := [ 1212212121211212 ],
      115 := [ 1212212156566565 ],
      116 := [ 1212212165655656 ],
      117 := [ 12122121910910109109 ],
      118 := [ 12122121109109910910 ],
      119 := [ 121221211314131414131413 ],
      120 := [ 121221211413141313141314 ],
      121 := [ 1221211212212112 ],
      122 := [ 1221211221121221 ],
      123 := [ 1221211256656556 ],
      124 := [ 1221211265565665 ],
      125 := [ 12212112910109109910 ],
      126 := [ 12212112109910910109 ],
      127 := [ 122121121314141314131314 ],
      128 := [ 122121121413131413141413 ],
      129 := [ 1234567812345678 ],
      130 := [ 1234567865872143 ],
      131 := [ 12345678141316151091211 ],
      132 := [ 1256216512562165 ],
      133 := [ 1256216521651256 ],
      134 := [ 1256216556126521 ],
      135 := [ 1256216565215612 ],
      136 := [ 1256216591013141091413 ],
      137 := [ 1256216510914139101314 ],
      138 := [ 1256216513149101413109 ],
      139 := [ 1256216514131091314910 ],
      140 := [ 1265215612652156 ],
      141 := [ 1265215621561265 ],
      142 := [ 1265215656216512 ],
      143 := [ 1265215665125621 ],
      144 := [ 1265215691014131091314 ],
      145 := [ 1265215610913149101413 ],
      146 := [ 1265215613141091413910 ],
      147 := [ 1265215614139101314109 ],
      148 := [ 1287564312875643 ],
      149 := [ 1287564365342178 ],
      150 := [ 12875643910161513141211 ],
      151 := [ 12875643141311121091516 ],
      152 := [ 12910211091291021109 ],
      153 := [ 12910211092110912910 ],
      154 := [ 1291021109561314651413 ],
      155 := [ 1291021109651413561314 ],
      156 := [ 12910211099101210921 ],
      157 := [ 12910211091092191012 ],
      158 := [ 1291021109131456141365 ],
      159 := [ 1291021109141365131456 ],
      160 := [ 12109219101210921910 ],
      161 := [ 12109219102191012109 ],
      162 := [ 1210921910561413651314 ],
      163 := [ 1210921910651314561413 ],
      164 := [ 12109219109102110912 ],
      165 := [ 12109219101091291021 ],
      166 := [ 1210921910131465141356 ],
      167 := [ 1210921910141356131465 ],
      168 := [ 121112561516121112561516 ],
      169 := [ 121112561516651615211211 ],
      170 := [ 12111256151691034131478 ],
      171 := [ 12111256151614138710943 ],
      172 := [ 121314211413121314211413 ],
      173 := [ 121314211413211413121314 ],
      174 := [ 1213142114135691065109 ],
      175 := [ 1213142114136510956910 ],
      176 := [ 1213142114139105610965 ],
      177 := [ 1213142114131096591056 ],
      178 := [ 121314211413131412141321 ],
      179 := [ 121314211413141321131412 ],
      180 := [ 121413211314121413211314 ],
      181 := [ 121413211314211314121413 ],
      182 := [ 1214132113145610965910 ],
      183 := [ 1214132113146591056109 ],
      184 := [ 1214132113149106510956 ],
      185 := [ 1214132113141095691065 ],
      186 := [ 121413211314131421141312 ],
      187 := [ 121413211314141312131421 ],
      188 := [ 121615561211121615561211 ],
      189 := [ 121615561211651112211516 ],
      190 := [ 12161556121191087131443 ],
      191 := [ 12161556121114133410978 ],
      192 := [ 1313313113133131 ],
      193 := [ 1313313131311313 ],
      194 := [ 1313313168688686 ],
      195 := [ 1313313186866868 ],
      196 := [ 13133131911911119119 ],
      197 := [ 13133131119119911911 ],
      198 := [ 131331311416141616141614 ],
      199 := [ 131331311614161414161416 ],
      200 := [ 1327864513278645 ],
      201 := [ 1327864568543172 ],
      202 := [ 13278645911101516141213 ],
      203 := [ 13278645141613121191510 ],
      204 := [ 1331311313313113 ],
      205 := [ 1331311331131331 ],
      206 := [ 1331311368868668 ],
      207 := [ 1331311386686886 ],
      208 := [ 13313113911119119911 ],
      209 := [ 13313113119911911119 ],
      210 := [ 133131131416161416141416 ],
      211 := [ 133131131614141614161614 ],
      212 := [ 1354867213548672 ],
      213 := [ 1354867268273145 ],
      214 := [ 13548672911131216141510 ],
      215 := [ 13548672141610151191213 ],
      216 := [ 1368318613683186 ],
      217 := [ 1368318631861368 ],
      218 := [ 1368318668138631 ],
      219 := [ 1368318686316813 ],
      220 := [ 1368318691114161191614 ],
      221 := [ 1368318611916149111416 ],
      222 := [ 1368318614169111614119 ],
      223 := [ 1368318616141191416911 ],
      224 := [ 1386316813863168 ],
      225 := [ 1386316831681386 ],
      226 := [ 1386316868318613 ],
      227 := [ 1386316886136831 ],
      228 := [ 1386316891116141191416 ],
      229 := [ 1386316811914169111614 ],
      230 := [ 1386316814161191614911 ],
      231 := [ 1386316816149111416119 ],
      232 := [ 13911311191391131119 ],
      233 := [ 13911311193111913911 ],
      234 := [ 1391131119681416861614 ],
      235 := [ 1391131119861614681416 ],
      236 := [ 13911311199111311931 ],
      237 := [ 13911311191193191113 ],
      238 := [ 1391131119141668161486 ],
      239 := [ 1391131119161486141668 ],
      240 := [ 131015861213131015861213 ],
      241 := [ 131015861213681312311510 ],
      242 := [ 13101586121391127161445 ],
      243 := [ 13101586121314165411972 ],
      244 := [ 13119319111311931911 ],
      245 := [ 13119319113191113119 ],
      246 := [ 1311931911681614861416 ],
      247 := [ 1311931911861416681614 ],
      248 := [ 13119319119113111913 ],
      249 := [ 13119319111191391131 ],
      250 := [ 1311931911141686161468 ],
      251 := [ 1311931911161468141686 ],
      252 := [ 131312861510131312861510 ],
      253 := [ 131312861510681015311213 ],
      254 := [ 13131286151091154161472 ],
      255 := [ 13131286151014162711945 ],
      256 := [ 131416311614131416311614 ],
      257 := [ 131416311614311614131416 ],
      258 := [ 1314163116146891186119 ],
      259 := [ 1314163116148611968911 ],
      260 := [ 1314163116149116811986 ],
      261 := [ 1314163116141198691168 ],
      262 := [ 131416311614141613161431 ],
      263 := [ 131416311614161431141613 ],
      264 := [ 131614311416131614311416 ],
      265 := [ 131614311416311416131614 ],
      266 := [ 1316143114166811986911 ],
      267 := [ 1316143114168691168119 ],
      268 := [ 1316143114169118611968 ],
      269 := [ 1316143114161196891186 ],
      270 := [ 131614311416141631161413 ],
      271 := [ 131614311416161413141631 ],
      272 := [ 1515515115155151 ],
      273 := [ 1515515126266262 ],
      274 := [ 1515515151511515 ],
      275 := [ 1515515162622626 ],
      276 := [ 15155151913913139139 ],
      277 := [ 151551511014101414101410 ],
      278 := [ 15155151139139913913 ],
      279 := [ 151551511410141010141014 ],
      280 := [ 1526516215265162 ],
      281 := [ 1526516226156251 ],
      282 := [ 1526516251621526 ],
      283 := [ 1526516262512615 ],
      284 := [ 1526516291310141391410 ],
      285 := [ 1526516210149131410139 ],
      286 := [ 1526516213914109131014 ],
      287 := [ 1526516214101391014913 ],
      288 := [ 1537264815372648 ],
      289 := [ 1537264862845173 ],
      290 := [ 15372648913111510141216 ],
      291 := [ 15372648141016121391511 ],
      292 := [ 1551511515515115 ],
      293 := [ 1551511526626226 ],
      294 := [ 1551511551151551 ],
      295 := [ 1551511562262662 ],
      296 := [ 15515115913139139913 ],
      297 := [ 155151151014141014101014 ],
      298 := [ 15515115139913913139 ],
      299 := [ 155151151410101410141410 ],
      300 := [ 1562512615625126 ],
      301 := [ 1562512626516215 ],
      302 := [ 1562512651261562 ],
      303 := [ 1562512662152651 ],
      304 := [ 1562512691314101391014 ],
      305 := [ 1562512610141391410913 ],
      306 := [ 1562512613910149131410 ],
      307 := [ 1562512614109131014139 ],
      308 := [ 1584267315842673 ],
      309 := [ 1584267362375148 ],
      310 := [ 15842673913161210141511 ],
      311 := [ 15842673141011151391216 ],
      312 := [ 15913511391591351139 ],
      313 := [ 1591351139261014621410 ],
      314 := [ 15913511395113915913 ],
      315 := [ 1591351139621410261014 ],
      316 := [ 15913511399131513951 ],
      317 := [ 1591351139101426141062 ],
      318 := [ 15913511391395191315 ],
      319 := [ 1591351139141062101426 ],
      320 := [ 151014511410151014511410 ],
      321 := [ 1510145114102691362139 ],
      322 := [ 151014511410511410151014 ],
      323 := [ 1510145114106213926913 ],
      324 := [ 1510145114109132613962 ],
      325 := [ 151014511410101415141051 ],
      326 := [ 1510145114101396291326 ],
      327 := [ 151014511410141051101415 ],
      328 := [ 151115261216151115261216 ],
      329 := [ 151115261216621612511511 ],
      330 := [ 15111526121691337101448 ],
      331 := [ 15111526121614108413973 ],
      332 := [ 15139519131513951913 ],
      333 := [ 1513951913261410621014 ],
      334 := [ 15139519135191315139 ],
      335 := [ 1513951913621014261410 ],
      336 := [ 15139519139135113915 ],
      337 := [ 1513951913101462141026 ],
      338 := [ 15139519131391591351 ],
      339 := [ 1513951913141026101462 ],
      340 := [ 151410511014151410511014 ],
      341 := [ 1514105110142613962913 ],
      342 := [ 151410511014511014151410 ],
      343 := [ 1514105110146291326139 ],
      344 := [ 1514105110149136213926 ],
      345 := [ 151410511014101451141015 ],
      346 := [ 1514105110141392691362 ],
      347 := [ 151410511014141015101451 ],
      348 := [ 151612261511151612261511 ],
      349 := [ 151612261511621115511216 ],
      350 := [ 15161226151191384101473 ],
      351 := [ 15161226151114103713948 ],
      352 := [ 1616616116166161 ],
      353 := [ 1616616125255252 ],
      354 := [ 1616616138388383 ],
      355 := [ 1616616152522525 ],
      356 := [ 1616616161611616 ],
      357 := [ 1616616183833838 ],
      358 := [ 16166161914914149149 ],
      359 := [ 161661611013101313101310 ],
      360 := [ 161661611116111616111611 ],
      361 := [ 161661611310131010131013 ],
      362 := [ 16166161149149914914 ],
      363 := [ 161661611611161111161116 ],
      364 := [ 1625615216256152 ],
      365 := [ 1625615225165261 ],
      366 := [ 1625615252612516 ],
      367 := [ 1625615261521625 ],
      368 := [ 1625615291410131491310 ],
      369 := [ 1625615210139141310149 ],
      370 := [ 1625615213101491013914 ],
      371 := [ 1625615214913109141013 ],
      372 := [ 1638618316386183 ],
      373 := [ 1638618338168361 ],
      374 := [ 1638618361831638 ],
      375 := [ 1638618383613816 ],
      376 := [ 1638618391411161491611 ],
      377 := [ 1638618311169141611149 ],
      378 := [ 1638618314916119141116 ],
      379 := [ 1638618316111491116914 ],
      380 := [ 1652612516526125 ],
      381 := [ 1652612525615216 ],
      382 := [ 1652612552162561 ],
      383 := [ 1652612561251652 ],
      384 := [ 1652612591413101491013 ],
      385 := [ 1652612510131491310914 ],
      386 := [ 1652612513109141013149 ],
      387 := [ 1652612514910139141310 ],
      388 := [ 1661611616616116 ],
      389 := [ 1661611625525225 ],
      390 := [ 1661611638838338 ],
      391 := [ 1661611652252552 ],
      392 := [ 1661611661161661 ],
      393 := [ 1661611683383883 ],
      394 := [ 16616116914149149914 ],
      395 := [ 166161161013131013101013 ],
      396 := [ 166161161116161116111116 ],
      397 := [ 166161161310101310131310 ],
      398 := [ 16616116149914914149 ],
      399 := [ 166161161611111611161611 ],
      400 := [ 1683613816836138 ],
      401 := [ 1683613838618316 ],
      402 := [ 1683613861381683 ],
      403 := [ 1683613883163861 ],
      404 := [ 1683613891416111491116 ],
      405 := [ 1683613811161491611914 ],
      406 := [ 1683613814911169141611 ],
      407 := [ 1683613816119141116149 ],
      408 := [ 16914611491691461149 ],
      409 := [ 1691461149251013521310 ],
      410 := [ 1691461149381116831611 ],
      411 := [ 1691461149521310251013 ],
      412 := [ 16914611496114916914 ],
      413 := [ 1691461149831611381116 ],
      414 := [ 16914611499141614961 ],
      415 := [ 1691461149101325131052 ],
      416 := [ 1691461149111638161183 ],
      417 := [ 1691461149131052101325 ],
      418 := [ 16914611491496191416 ],
      419 := [ 1691461149161183111638 ],
      420 := [ 161013611310161013611310 ],
      421 := [ 1610136113102591452149 ],
      422 := [ 1610136113105214925914 ],
      423 := [ 161013611310611310161013 ],
      424 := [ 1610136113109142514952 ],
      425 := [ 161013611310101316131061 ],
      426 := [ 161013611310131061101316 ],
      427 := [ 1610136113101495291425 ],
      428 := [ 161116611611161116611611 ],
      429 := [ 1611166116113891483149 ],
      430 := [ 161116611611611611161116 ],
      431 := [ 1611166116118314938914 ],
      432 := [ 1611166116119143814983 ],
      433 := [ 161116611611111616161161 ],
      434 := [ 1611166116111498391438 ],
      435 := [ 161116611611161161111616 ],
      436 := [ 161310611013161310611013 ],
      437 := [ 1613106110132514952914 ],
      438 := [ 1613106110135291425149 ],
      439 := [ 161310611013611013161310 ],
      440 := [ 1613106110139145214925 ],
      441 := [ 161310611013101361131016 ],
      442 := [ 161310611013131016101361 ],
      443 := [ 1613106110131492591452 ],
      444 := [ 16149619141614961914 ],
      445 := [ 1614961914251310521013 ],
      446 := [ 1614961914381611831116 ],
      447 := [ 1614961914521013251310 ],
      448 := [ 16149619146191416149 ],
      449 := [ 1614961914831116381611 ],
      450 := [ 16149619149146114916 ],
      451 := [ 1614961914101352131025 ],
      452 := [ 1614961914111683161138 ],
      453 := [ 1614961914131025101352 ],
      454 := [ 16149619141491691461 ],
      455 := [ 1614961914161138111683 ],
      456 := [ 161611611116161611611116 ],
      457 := [ 1616116111163814983914 ],
      458 := [ 161611611116611116161611 ],
      459 := [ 1616116111168391438149 ],
      460 := [ 1616116111169148314938 ],
      461 := [ 161611611116111661161116 ],
      462 := [ 1616116111161493891483 ],
      463 := [ 161611611116161116111661 ],
      464 := [ 1818818118188181 ],
      465 := [ 1818818136366363 ],
      466 := [ 1818818163633636 ],
      467 := [ 1818818181811818 ],
      468 := [ 18188181916916169169 ],
      469 := [ 181881811114111414111411 ],
      470 := [ 181881811411141111141114 ],
      471 := [ 18188181169169916916 ],
      472 := [ 1824367518243675 ],
      473 := [ 1824367563578142 ],
      474 := [ 18243675916101211141513 ],
      475 := [ 18243675141113151691210 ],
      476 := [ 1836816318368163 ],
      477 := [ 1836816336186381 ],
      478 := [ 1836816363813618 ],
      479 := [ 1836816381631836 ],
      480 := [ 1836816391611141691411 ],
      481 := [ 1836816311149161411169 ],
      482 := [ 1836816314111691114916 ],
      483 := [ 1836816316914119161114 ],
      484 := [ 1857364218573642 ],
      485 := [ 1857364263248175 ],
      486 := [ 18573642916131511141210 ],
      487 := [ 18573642141110121691513 ],
      488 := [ 1863813618638136 ],
      489 := [ 1863813636816318 ],
      490 := [ 1863813663183681 ],
      491 := [ 1863813681361863 ],
      492 := [ 1863813691614111691114 ],
      493 := [ 1863813611141691411916 ],
      494 := [ 1863813614119161114169 ],
      495 := [ 1863813616911149161411 ],
      496 := [ 1881811818818118 ],
      497 := [ 1881811836636336 ],
      498 := [ 1881811863363663 ],
      499 := [ 1881811881181881 ],
      500 := [ 18818118916169169916 ],
      501 := [ 188181181114141114111114 ],
      502 := [ 188181181411111411141411 ],
      503 := [ 18818118169916916169 ],
      504 := [ 18916811691891681169 ],
      505 := [ 1891681169361114631411 ],
      506 := [ 1891681169631411361114 ],
      507 := [ 18916811698116918916 ],
      508 := [ 18916811699161816981 ],
      509 := [ 1891681169111436141163 ],
      510 := [ 1891681169141163111436 ],
      511 := [ 18916811691698191618 ],
      512 := [ 181012361513181012361513 ],
      513 := [ 181012361513631315811210 ],
      514 := [ 18101236151391624111475 ],
      515 := [ 18101236151314115716942 ],
      516 := [ 181114811411181114811411 ],
      517 := [ 1811148114113691663169 ],
      518 := [ 1811148114116316936916 ],
      519 := [ 181114811411811411181114 ],
      520 := [ 1811148114119163616963 ],
      521 := [ 181114811411111418141181 ],
      522 := [ 181114811411141181111418 ],
      523 := [ 1811148114111696391636 ],
      524 := [ 181315361210181315361210 ],
      525 := [ 181315361210631012811513 ],
      526 := [ 18131536121091657111442 ],
      527 := [ 18131536121014112416975 ],
      528 := [ 181411811114181411811114 ],
      529 := [ 1814118111143616963916 ],
      530 := [ 1814118111146391636169 ],
      531 := [ 181411811114811114181411 ],
      532 := [ 1814118111149166316936 ],
      533 := [ 181411811114111481141118 ],
      534 := [ 181411811114141118111481 ],
      535 := [ 1814118111141693691663 ],
      536 := [ 18169819161816981916 ],
      537 := [ 1816981916361411631114 ],
      538 := [ 1816981916631114361411 ],
      539 := [ 18169819168191618169 ],
      540 := [ 18169819169168116918 ],
      541 := [ 1816981916111463141136 ],
      542 := [ 1816981916141136111463 ],
      543 := [ 18169819161691891681 ],
      544 := [ 1919919119199191 ],
      545 := [ 19199191210210102102 ],
      546 := [ 19199191311311113113 ],
      547 := [ 19199191513513135135 ],
      548 := [ 19199191614614146146 ],
      549 := [ 19199191816816168168 ],
      550 := [ 1919919191911919 ],
      551 := [ 19199191102102210210 ],
      552 := [ 19199191113113311311 ],
      553 := [ 19199191135135513513 ],
      554 := [ 19199191146146614614 ],
      555 := [ 19199191168168816816 ],
      556 := [ 19210911021921091102 ],
      557 := [ 19210911022101910291 ],
      558 := [ 1921091102513614135146 ],
      559 := [ 1921091102614513146135 ],
      560 := [ 19210911029110219210 ],
      561 := [ 19210911021029121019 ],
      562 := [ 1921091102135146513614 ],
      563 := [ 1921091102146135614513 ],
      564 := [ 19311911131931191113 ],
      565 := [ 19311911133111911391 ],
      566 := [ 1931191113614816146168 ],
      567 := [ 1931191113816614168146 ],
      568 := [ 19311911139111319311 ],
      569 := [ 19311911131139131119 ],
      570 := [ 1931191113146168614816 ],
      571 := [ 1931191113168146816614 ],
      572 := [ 19513911351951391135 ],
      573 := [ 1951391135210614102146 ],
      574 := [ 19513911355131913591 ],
      575 := [ 1951391135614210146102 ],
      576 := [ 19513911359113519513 ],
      577 := [ 1951391135102146210614 ],
      578 := [ 19513911351359151319 ],
      579 := [ 1951391135146102614210 ],
      580 := [ 19614911461961491146 ],
      581 := [ 1961491146210513102135 ],
      582 := [ 1961491146311816113168 ],
      583 := [ 1961491146513210135102 ],
      584 := [ 19614911466141914691 ],
      585 := [ 1961491146816311168113 ],
      586 := [ 19614911469114619614 ],
      587 := [ 1961491146102135210513 ],
      588 := [ 1961491146113168311816 ],
      589 := [ 1961491146135102513210 ],
      590 := [ 19614911461469161419 ],
      591 := [ 1961491146168113816311 ],
      592 := [ 19816911681981691168 ],
      593 := [ 1981691168311614113146 ],
      594 := [ 1981691168614311146113 ],
      595 := [ 19816911688161916891 ],
      596 := [ 19816911689116819816 ],
      597 := [ 1981691168113146311614 ],
      598 := [ 1981691168146113614311 ],
      599 := [ 19816911681689181619 ],
      600 := [ 1991911919919119 ],
      601 := [ 19919119210102102210 ],
      602 := [ 19919119311113113311 ],
      603 := [ 19919119513135135513 ],
      604 := [ 19919119614146146614 ],
      605 := [ 19919119816168168816 ],
      606 := [ 1991911991191991 ],
      607 := [ 19919119102210210102 ],
      608 := [ 19919119113311311113 ],
      609 := [ 19919119135513513135 ],
      610 := [ 19919119146614614146 ],
      611 := [ 19919119168816816168 ],
      612 := [ 19102912101910291210 ],
      613 := [ 19102912102109110219 ],
      614 := [ 1910291210513146135614 ],
      615 := [ 1910291210614135146513 ],
      616 := [ 19102912109121019102 ],
      617 := [ 19102912101021921091 ],
      618 := [ 1910291210135614513146 ],
      619 := [ 1910291210146513614135 ],
      620 := [ 19113913111911391311 ],
      621 := [ 19113913113119111319 ],
      622 := [ 1911391311614168146816 ],
      623 := [ 1911391311816146168614 ],
      624 := [ 19113913119131119113 ],
      625 := [ 19113913111131931191 ],
      626 := [ 1911391311146816614168 ],
      627 := [ 1911391311168614816146 ],
      628 := [ 19135915131913591513 ],
      629 := [ 1913591513210146102614 ],
      630 := [ 19135915135139113519 ],
      631 := [ 1913591513614102146210 ],
      632 := [ 19135915139151319135 ],
      633 := [ 1913591513102614210146 ],
      634 := [ 19135915131351951391 ],
      635 := [ 1913591513146210614102 ],
      636 := [ 19146916141914691614 ],
      637 := [ 1914691614210135102513 ],
      638 := [ 1914691614311168113816 ],
      639 := [ 1914691614513102135210 ],
      640 := [ 19146916146149114619 ],
      641 := [ 1914691614816113168311 ],
      642 := [ 19146916149161419146 ],
      643 := [ 1914691614102513210135 ],
      644 := [ 1914691614113816311168 ],
      645 := [ 1914691614135210513102 ],
      646 := [ 19146916141461961491 ],
      647 := [ 1914691614168311816113 ],
      648 := [ 19168918161916891816 ],
      649 := [ 1916891816311146113614 ],
      650 := [ 1916891816614113146311 ],
      651 := [ 19168918168169116819 ],
      652 := [ 19168918169181619168 ],
      653 := [ 1916891816113614311146 ],
      654 := [ 1916891816146311614113 ],
      655 := [ 19168918161681981691 ],
      656 := [ 110110101101110110101101 ],
      657 := [ 11011010110129299292 ],
      658 := [ 110110101101514514145145 ],
      659 := [ 110110101101613613136136 ],
      660 := [ 11011010110192922929 ],
      661 := [ 110110101101101101110110 ],
      662 := [ 110110101101136136613613 ],
      663 := [ 110110101101145145514514 ],
      664 := [ 11029101921102910192 ],
      665 := [ 11029101922911092101 ],
      666 := [ 1102910192514613145136 ],
      667 := [ 1102910192613514136145 ],
      668 := [ 11029101929210129110 ],
      669 := [ 11029101921019211029 ],
      670 := [ 1102910192136145613514 ],
      671 := [ 1102910192145136514613 ],
      672 := [ 110312136158110312136158 ],
      673 := [ 110312136158613815101123 ],
      674 := [ 11031213615892114514716 ],
      675 := [ 11031213615814516729411 ],
      676 := [ 110514101145110514101145 ],
      677 := [ 1105141011452961392136 ],
      678 := [ 110514101145514110145101 ],
      679 := [ 1105141011456132913692 ],
      680 := [ 1105141011459213629613 ],
      681 := [ 110514101145101145110514 ],
      682 := [ 1105141011451369261329 ],
      683 := [ 110514101145145101514110 ],
      684 := [ 110613101136110613101136 ],
      685 := [ 1106131011362951492145 ],
      686 := [ 1106131011365142914592 ],
      687 := [ 110613101136613110136101 ],
      688 := [ 1106131011369214529514 ],
      689 := [ 110613101136101136110613 ],
      690 := [ 110613101136136101613110 ],
      691 := [ 1106131011361459251429 ],
      692 := [ 110815136123110815136123 ],
      693 := [ 110815136123613312101158 ],
      694 := [ 11081513612392167514411 ],
      695 := [ 11081513612314511429716 ],
      696 := [ 11092101291109210129 ],
      697 := [ 11092101292910192110 ],
      698 := [ 1109210129514136145613 ],
      699 := [ 1109210129613145136514 ],
      700 := [ 11092101299211029101 ],
      701 := [ 11092101291012911092 ],
      702 := [ 1109210129136514613145 ],
      703 := [ 1109210129145613514136 ],
      704 := [ 110101101110110101101110 ],
      705 := [ 11010110111029929229 ],
      706 := [ 110101101110514145145514 ],
      707 := [ 110101101110613136136613 ],
      708 := [ 11010110111092292992 ],
      709 := [ 110101101110101110110101 ],
      710 := [ 110101101110136613613136 ],
      711 := [ 110101101110145514514145 ],
      712 := [ 110114136716110114136716 ],
      713 := [ 110114136716613167101411 ],
      714 := [ 11011413671692312514158 ],
      715 := [ 11011413671614581529123 ],
      716 := [ 110136101613110136101613 ],
      717 := [ 1101361016132914592514 ],
      718 := [ 1101361016135149214529 ],
      719 := [ 110136101613613101136110 ],
      720 := [ 1101361016139251429145 ],
      721 := [ 110136101613101613110136 ],
      722 := [ 110136101613136110613101 ],
      723 := [ 1101361016131452951492 ],
      724 := [ 110145101514110145101514 ],
      725 := [ 1101451015142913692613 ],
      726 := [ 110145101514514101145110 ],
      727 := [ 1101451015146139213629 ],
      728 := [ 1101451015149261329136 ],
      729 := [ 110145101514101514110145 ],
      730 := [ 1101451015141362961392 ],
      731 := [ 110145101514145110514101 ],
      732 := [ 110167136411110167136411 ],
      733 := [ 110167136411613114101716 ],
      734 := [ 11016713641192815514123 ],
      735 := [ 11016713641114531229158 ],
      736 := [ 111111111111111111111111 ],
      737 := [ 11111111111139399393 ],
      738 := [ 111111111111616616166166 ],
      739 := [ 111111111111814814148148 ],
      740 := [ 11111111111193933939 ],
      741 := [ 111111111111111111111111 ],
      742 := [ 111111111111148148814814 ],
      743 := [ 111111111111166166616616 ],
      744 := [ 111215166125111215166125 ],
      745 := [ 111215166125616512111152 ],
      746 := [ 11121516612593107814413 ],
      747 := [ 11121516612514813439710 ],
      748 := [ 11139111931113911193 ],
      749 := [ 11139111933911193111 ],
      750 := [ 1113911193616814166148 ],
      751 := [ 1113911193814616148166 ],
      752 := [ 11139111939311139111 ],
      753 := [ 11139111931119311139 ],
      754 := [ 1113911193148166814616 ],
      755 := [ 1113911193166148616814 ],
      756 := [ 111512166152111512166152 ],
      757 := [ 111512166152616215111125 ],
      758 := [ 11151216615293134814710 ],
      759 := [ 11151216615214810739413 ],
      760 := [ 111616111166111616111166 ],
      761 := [ 1116161111663981493148 ],
      762 := [ 111616111166616111166111 ],
      763 := [ 1116161111668143914893 ],
      764 := [ 1116161111669314839814 ],
      765 := [ 111616111166111166111616 ],
      766 := [ 1116161111661489381439 ],
      767 := [ 111616111166166111616111 ],
      768 := [ 111814111148111814111148 ],
      769 := [ 1118141111483961693166 ],
      770 := [ 1118141111486163916693 ],
      771 := [ 111814111148814111148111 ],
      772 := [ 1118141111489316639616 ],
      773 := [ 111814111148111148111814 ],
      774 := [ 111814111148148111814111 ],
      775 := [ 1118141111481669361639 ],
      776 := [ 11193111391119311139 ],
      777 := [ 11193111393911193111 ],
      778 := [ 1119311139616148166814 ],
      779 := [ 1119311139814166148616 ],
      780 := [ 11193111399311139111 ],
      781 := [ 11193111391113911193 ],
      782 := [ 1119311139148616814166 ],
      783 := [ 1119311139166814616148 ],
      784 := [ 111107166413111107166413 ],
      785 := [ 111107166413616134111710 ],
      786 := [ 11110716641393215814125 ],
      787 := [ 11110716641314851239152 ],
      788 := [ 111111111111111111111111 ],
      789 := [ 11111111111139939339 ],
      790 := [ 111111111111616166166616 ],
      791 := [ 111111111111814148148814 ],
      792 := [ 11111111111193393993 ],
      793 := [ 111111111111111111111111 ],
      794 := [ 111111111111148814814148 ],
      795 := [ 111111111111166616616166 ],
      796 := [ 111134166710111134166710 ],
      797 := [ 111134166710616107111413 ],
      798 := [ 11113416671093512814152 ],
      799 := [ 11113416671014821539125 ],
      800 := [ 111148111814111148111814 ],
      801 := [ 1111481118143916693616 ],
      802 := [ 1111481118146169316639 ],
      803 := [ 111148111814814111148111 ],
      804 := [ 1111481118149361639166 ],
      805 := [ 111148111814111814111148 ],
      806 := [ 111148111814148111814111 ],
      807 := [ 1111481118141663961693 ],
      808 := [ 111166111616111166111616 ],
      809 := [ 1111661116163914893814 ],
      810 := [ 111166111616616111166111 ],
      811 := [ 1111661116168149314839 ],
      812 := [ 1111661116169381439148 ],
      813 := [ 111166111616111616111166 ],
      814 := [ 1111661116161483981493 ],
      815 := [ 111166111616166111616111 ],
      816 := [ 113113131131113113131131 ],
      817 := [ 113113131131214214142142 ],
      818 := [ 11311313113159599595 ],
      819 := [ 113113131131610610106106 ],
      820 := [ 11311313113195955959 ],
      821 := [ 113113131131106106610610 ],
      822 := [ 113113131131131131113113 ],
      823 := [ 113113131131142142214214 ],
      824 := [ 113214131142113214131142 ],
      825 := [ 113214131142214113142131 ],
      826 := [ 1132141311425961095106 ],
      827 := [ 1132141311426105910695 ],
      828 := [ 1132141311429510659610 ],
      829 := [ 1132141311421069561059 ],
      830 := [ 113214131142131142113214 ],
      831 := [ 113214131142142131214113 ],
      832 := [ 113315106128113315106128 ],
      833 := [ 113315106128610812131153 ],
      834 := [ 11331510612895117214416 ],
      835 := [ 11331510612814216459711 ],
      836 := [ 11359131951135913195 ],
      837 := [ 1135913195214610142106 ],
      838 := [ 11359131955911395131 ],
      839 := [ 1135913195610214106142 ],
      840 := [ 11359131959513159113 ],
      841 := [ 1135913195106142610214 ],
      842 := [ 11359131951319511359 ],
      843 := [ 1135913195142106214610 ],
      844 := [ 113610131106113610131106 ],
      845 := [ 1136101311062145914295 ],
      846 := [ 1136101311065921495142 ],
      847 := [ 113610131106610113106131 ],
      848 := [ 1136101311069514259214 ],
      849 := [ 113610131106106131610113 ],
      850 := [ 113610131106131106113610 ],
      851 := [ 1136101311061429521459 ],
      852 := [ 113812106153113812106153 ],
      853 := [ 113812106153610315131128 ],
      854 := [ 11381210615395164214711 ],
      855 := [ 11381210615314211759416 ],
      856 := [ 11395131591139513159 ],
      857 := [ 1139513159214106142610 ],
      858 := [ 11395131595913195113 ],
      859 := [ 1139513159610142106214 ],
      860 := [ 11395131599511359131 ],
      861 := [ 1139513159106214610142 ],
      862 := [ 11395131591315911395 ],
      863 := [ 1139513159142610214106 ],
      864 := [ 113106131610113106131610 ],
      865 := [ 1131061316102149514259 ],
      866 := [ 1131061316105914295214 ],
      867 := [ 113106131610610131106113 ],
      868 := [ 1131061316109521459142 ],
      869 := [ 113106131610106113610131 ],
      870 := [ 113106131610131610113106 ],
      871 := [ 1131061316101425921495 ],
      872 := [ 113117106416113117106416 ],
      873 := [ 113117106416610164131711 ],
      874 := [ 11311710641695315214128 ],
      875 := [ 11311710641614281259153 ],
      876 := [ 113131131113113131131113 ],
      877 := [ 113131131113214142142214 ],
      878 := [ 11313113111359959559 ],
      879 := [ 113131131113610106106610 ],
      880 := [ 11313113111395595995 ],
      881 := [ 113131131113106610610106 ],
      882 := [ 113131131113131113113131 ],
      883 := [ 113131131113142214214142 ],
      884 := [ 113142131214113142131214 ],
      885 := [ 113142131214214131142113 ],
      886 := [ 1131421312145910695610 ],
      887 := [ 1131421312146109510659 ],
      888 := [ 1131421312149561059106 ],
      889 := [ 1131421312141065961095 ],
      890 := [ 113142131214131214113142 ],
      891 := [ 113142131214142113214131 ],
      892 := [ 113164106711113164106711 ],
      893 := [ 113164106711610117131416 ],
      894 := [ 11316410671195812214153 ],
      895 := [ 11316410671114231559128 ],
      896 := [ 114114141141114114141141 ],
      897 := [ 114114141141213213132132 ],
      898 := [ 114114141141316316163163 ],
      899 := [ 114114141141510510105105 ],
      900 := [ 11411414114169699696 ],
      901 := [ 114114141141811811118118 ],
      902 := [ 11411414114196966969 ],
      903 := [ 114114141141105105510510 ],
      904 := [ 114114141141118118811811 ],
      905 := [ 114114141141132132213213 ],
      906 := [ 114114141141141141114114 ],
      907 := [ 114114141141163163316316 ],
      908 := [ 114213141132114213141132 ],
      909 := [ 114213141132213114132141 ],
      910 := [ 1142131411325106910596 ],
      911 := [ 1142131411326951096105 ],
      912 := [ 1142131411329610569510 ],
      913 := [ 1142131411321059651069 ],
      914 := [ 114213141132132141213114 ],
      915 := [ 114213141132141132114213 ],
      916 := [ 114316141163114316141163 ],
      917 := [ 114316141163316114163141 ],
      918 := [ 1143161411636981196118 ],
      919 := [ 1143161411638116911896 ],
      920 := [ 1143161411639611869811 ],
      921 := [ 1143161411631189681169 ],
      922 := [ 114316141163141163114316 ],
      923 := [ 114316141163163141316114 ],
      924 := [ 114510141105114510141105 ],
      925 := [ 1145101411052136913296 ],
      926 := [ 114510141105510114105141 ],
      927 := [ 1145101411056921396132 ],
      928 := [ 1145101411059613269213 ],
      929 := [ 114510141105105141510114 ],
      930 := [ 1145101411051329621369 ],
      931 := [ 114510141105141105114510 ],
      932 := [ 11469141961146914196 ],
      933 := [ 1146914196213510132105 ],
      934 := [ 1146914196316811163118 ],
      935 := [ 1146914196510213105132 ],
      936 := [ 11469141966911496141 ],
      937 := [ 1146914196811316118163 ],
      938 := [ 11469141969614169114 ],
      939 := [ 1146914196105132510213 ],
      940 := [ 1146914196118163811316 ],
      941 := [ 1146914196132105213510 ],
      942 := [ 11469141961419611469 ],
      943 := [ 1146914196163118316811 ],
      944 := [ 114811141118114811141118 ],
      945 := [ 1148111411183166916396 ],
      946 := [ 1148111411186931696163 ],
      947 := [ 114811141118811114118141 ],
      948 := [ 1148111411189616369316 ],
      949 := [ 114811141118118141811114 ],
      950 := [ 114811141118141118114811 ],
      951 := [ 1148111411181639631669 ],
      952 := [ 11496141691149614169 ],
      953 := [ 1149614169213105132510 ],
      954 := [ 1149614169316118163811 ],
      955 := [ 1149614169510132105213 ],
      956 := [ 11496141696914196114 ],
      957 := [ 1149614169811163118316 ],
      958 := [ 11496141699611469141 ],
      959 := [ 1149614169105213510132 ],
      960 := [ 1149614169118316811163 ],
      961 := [ 1149614169132510213105 ],
      962 := [ 11496141691416911496 ],
      963 := [ 1149614169163811316118 ],
      964 := [ 114105141510114105141510 ],
      965 := [ 1141051415102139613269 ],
      966 := [ 114105141510510141105114 ],
      967 := [ 1141051415106913296213 ],
      968 := [ 1141051415109621369132 ],
      969 := [ 114105141510105114510141 ],
      970 := [ 1141051415101326921396 ],
      971 := [ 114105141510141510114105 ],
      972 := [ 114118141811114118141811 ],
      973 := [ 1141181418113169616369 ],
      974 := [ 1141181418116916396316 ],
      975 := [ 114118141811811141118114 ],
      976 := [ 1141181418119631669163 ],
      977 := [ 114118141811118114811141 ],
      978 := [ 114118141811141811114118 ],
      979 := [ 1141181418111636931696 ],
      980 := [ 114132141213114132141213 ],
      981 := [ 114132141213213141132114 ],
      982 := [ 1141321412135109610569 ],
      983 := [ 1141321412136910596510 ],
      984 := [ 1141321412139651069105 ],
      985 := [ 1141321412131056951096 ],
      986 := [ 114132141213132114213141 ],
      987 := [ 114132141213141213114132 ],
      988 := [ 114141141114114141141114 ],
      989 := [ 114141141114213132132213 ],
      990 := [ 114141141114316163163316 ],
      991 := [ 114141141114510105105510 ],
      992 := [ 11414114111469969669 ],
      993 := [ 114141141114811118118811 ],
      994 := [ 11414114111496696996 ],
      995 := [ 114141141114105510510105 ],
      996 := [ 114141141114118811811118 ],
      997 := [ 114141141114132213213132 ],
      998 := [ 114141141114141114114141 ],
      999 := [ 114141141114163316316163 ],
      1000 := [ 114163141316114163141316 ],
      1001 := [ 114163141316316141163114 ],
      1002 := [ 1141631413166911896811 ],
      1003 := [ 1141631413168119611869 ],
      1004 := [ 1141631413169681169118 ],
      1005 := [ 1141631413161186981196 ],
      1006 := [ 114163141316141316114163 ],
      1007 := [ 114163141316163114316141 ],
      1008 := [ 116116161161116116161161 ],
      1009 := [ 116116161161314314143143 ],
      1010 := [ 116116161161611611116116 ],
      1011 := [ 11611616116189899898 ],
      1012 := [ 11611616116198988989 ],
      1013 := [ 116116161161116116611611 ],
      1014 := [ 116116161161143143314314 ],
      1015 := [ 116116161161161161116116 ],
      1016 := [ 116212116155116212116155 ],
      1017 := [ 116212116155611515161122 ],
      1018 := [ 11621211615598104314713 ],
      1019 := [ 11621211615514313789410 ],
      1020 := [ 116314161143116314161143 ],
      1021 := [ 116314161143314116143161 ],
      1022 := [ 1163141611436118911698 ],
      1023 := [ 1163141611438961198116 ],
      1024 := [ 1163141611439811689611 ],
      1025 := [ 1163141611431169861189 ],
      1026 := [ 116314161143143161314116 ],
      1027 := [ 116314161143161143116314 ],
      1028 := [ 116515116122116515116122 ],
      1029 := [ 116515116122611212161155 ],
      1030 := [ 11651511612298137314410 ],
      1031 := [ 11651511612214310489713 ],
      1032 := [ 116611161116116611161116 ],
      1033 := [ 1166111611163148914398 ],
      1034 := [ 116611161116611116116161 ],
      1035 := [ 1166111611168931498143 ],
      1036 := [ 1166111611169814389314 ],
      1037 := [ 116611161116116161611116 ],
      1038 := [ 1166111611161439831489 ],
      1039 := [ 116611161116161116116611 ],
      1040 := [ 11689161981168916198 ],
      1041 := [ 1168916198314611143116 ],
      1042 := [ 1168916198611314116143 ],
      1043 := [ 11689161988911698161 ],
      1044 := [ 11689161989816189116 ],
      1045 := [ 1168916198116143611314 ],
      1046 := [ 1168916198143116314611 ],
      1047 := [ 11689161981619811689 ],
      1048 := [ 11698161891169816189 ],
      1049 := [ 1169816189314116143611 ],
      1050 := [ 1169816189611143116314 ],
      1051 := [ 11698161898916198116 ],
      1052 := [ 11698161899811689161 ],
      1053 := [ 1169816189116314611143 ],
      1054 := [ 1169816189143611314116 ],
      1055 := [ 11698161891618911698 ],
      1056 := [ 116104116713116104116713 ],
      1057 := [ 116104116713611137161410 ],
      1058 := [ 11610411671398212314155 ],
      1059 := [ 11610411671314351589122 ],
      1060 := [ 116116161611116116161611 ],
      1061 := [ 1161161616113149814389 ],
      1062 := [ 116116161611611161116116 ],
      1063 := [ 1161161616118914398314 ],
      1064 := [ 1161161616119831489143 ],
      1065 := [ 116116161611116116611161 ],
      1066 := [ 1161161616111438931498 ],
      1067 := [ 116116161611161611116116 ],
      1068 := [ 116137116410116137116410 ],
      1069 := [ 116137116410611104161713 ],
      1070 := [ 11613711641098515314122 ],
      1071 := [ 11613711641014321289155 ],
      1072 := [ 116143161314116143161314 ],
      1073 := [ 116143161314314161143116 ],
      1074 := [ 1161431613146119811689 ],
      1075 := [ 1161431613148911698611 ],
      1076 := [ 1161431613149861189116 ],
      1077 := [ 1161431613141168961198 ],
      1078 := [ 116143161314143116314161 ],
      1079 := [ 116143161314161314116143 ],
      1080 := [ 116161161116116161161116 ],
      1081 := [ 116161161116314143143314 ],
      1082 := [ 116161161116611116116611 ],
      1083 := [ 11616116111689989889 ],
      1084 := [ 11616116111698898998 ],
      1085 := [ 116161161116116611611116 ],
      1086 := [ 116161161116143314314143 ],
      1087 := [ 116161161116161116116161 ],
      1088 := [ 12345678910111213141516 ] ),
  classes := rec(
      1 := rec(
          phi := [ 1231294513067891088101113112 ],
          autos_yielding_iso_nrs := [ 1311701712422437147151088 ] ),
      2 := rec(
          phi := [ 1231294514867891088101115012 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      3 := rec(
          phi := [ 1231294520067891088101120212 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      4 := rec(
          phi := [ 1221129451302378251088101113127 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      5 := rec(
          phi := [ 1221129451484978251088101115053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      6 := rec(
          phi := [ 1221129452882378251088101129027 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      7 := rec(
          phi := [ 1221129452884978251088101129053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      8 := rec(
          phi := [ 122112945288372782510881011290376 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      9 := rec(
          phi := [ 12211294371484978251088104315053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      10 := rec(
          phi := [ 12211294372884978251088104329053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      11 := rec(
          phi := [ 12211292951484978251088331115053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      12 := rec(
          phi := [ 122112929301484978251088333415053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      13 := rec(
          phi := [ 122112929371484978251088334315053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      14 := rec(
          phi := [ 122112938371484978251088444315053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      15 := rec(
          phi := [ 1132112916513023717251088201113127 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      16 := rec(
          phi := [ 1132112916514849717251088201115053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      17 := rec(
          phi := [ 113211291637148495769251088729315053 ]
           ,
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      18 := rec(
          phi := [ 1132112929514849717251088331115053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      19 := rec(
          phi := [ 1132112929528823717251088331129027 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      20 := rec(
          phi := [ 1132112929528849717251088331129053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      21 := rec(
          phi := [ 113211292915148495769251088857115053 ]
           ,
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      22 := rec(
          phi := [ 113211292937130235769251088859313127 ]
           ,
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      23 := rec(
          phi := [ 1132112929371304957697710888593131105 
             ],
          autos_yielding_iso_nrs := 
           [ 131170171202203242243674675714715746747786
              7871088 ] ),
      24 := rec(
          phi := [ 113211292937130372576956410888593131
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      25 := rec(
          phi := [ 11321129293714849717251088334315053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      26 := rec(
          phi := [ 113211292937148495769251088859315053 ]
           ,
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      27 := rec(
          phi := [ 1132112929371484957697710888593150105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      28 := rec(
          phi := [ 11321129293714849576977108885580150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      29 := rec(
          phi := [ 11321129293714849576977108857293150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      30 := rec(
          phi := [ 113211292937148495769771088572580150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      31 := rec(
          phi := [ 11321129293714849576956410888593150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      32 := rec(
          phi := [ 113211292937148495769564108885580150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      33 := rec(
          phi := [ 113211292937148495769564108857293150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      34 := rec(
          phi := [ 1132112929371484957695641088572580150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      35 := rec(
          phi := [ 113211292937148495755677108857293150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      36 := rec(
          phi := [ 1132112929371484957556771088572580150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      37 := rec(
          phi := [ 1132112929371484957556564108857293150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      38 := rec(
          phi := [ 11321129293714849575565641088572580150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      39 := rec(
          phi := [ 113211292937288235769251088859329027 ]
           ,
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      40 := rec(
          phi := [ 11321129293728849717251088334329053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      41 := rec(
          phi := [ 113211292937288495769251088859329053 ]
           ,
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      42 := rec(
          phi := [ 1132112929372884957697710888593290105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      43 := rec(
          phi := [ 1132112929372884957697710888593290592 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      44 := rec(
          phi := [ 11321129293728849576977108885580290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      45 := rec(
          phi := [ 11321129293728849576977108885580290
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      46 := rec(
          phi := [ 11321129293728849576956410888593290
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      47 := rec(
          phi := [ 113211292937288495769564108885580290
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      48 := rec(
          phi := [ 113211292937288495755677108857293290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      49 := rec(
          phi := [ 113211292937288495755677108857293290
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      50 := rec(
          phi := [ 1132112929372884957556771088572580290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      51 := rec(
          phi := [ 1132112929372884957556771088572580290
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      52 := rec(
          phi := [ 1132112929372884957556564108857293290
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      53 := rec(
          phi := [ 11321129293728849575565641088572580290
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      54 := rec(
          phi := [ 1132112929372883727172510883343290376 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      55 := rec(
          phi := [ 11321129293728837257692510888593290
              376 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      56 := rec(
          phi := [ 11321129293728837257697710888593290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      57 := rec(
          phi := [ 11321129293728837257697710888593290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      58 := rec(
          phi := [ 113211292937288372576977108885580290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      59 := rec(
          phi := [ 113211292937288372576956410888593290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      60 := rec(
          phi := [ 1132112929372883725755677108857293290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      61 := rec(
          phi := [ 1132112929372883725755677108857293290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      62 := rec(
          phi := [ 11321129293728837257556771088572580290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      63 := rec(
          phi := [ 11321129293728837257556564108857293290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      64 := rec(
          phi := [ 113211293837148495769251088949315053 ]
           ,
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      65 := rec(
          phi := [ 1132112936437130495755677108890893131
              105 ],
          autos_yielding_iso_nrs := 
           [ 131170171202203242243290291330331474475514
              5156746757147157467477867878348358748751018
              1019105810591088 ] ),
      66 := rec(
          phi := [ 113211293643713037257556564108890893
              131916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      67 := rec(
          phi := [ 1132112936437148497172510883684315053 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      68 := rec(
          phi := [ 113211293643714849576925108842093150
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      69 := rec(
          phi := [ 113211293643714849576977108842093150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      70 := rec(
          phi := [ 1132112936437148495769771088420580150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      71 := rec(
          phi := [ 113211293643714849576977108890893150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      72 := rec(
          phi := [ 1132112936437148495769564108842093150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      73 := rec(
          phi := [ 11321129364371484957695641088420580150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      74 := rec(
          phi := [ 1132112936437148495769564108890893150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      75 := rec(
          phi := [ 1132112936437148495755677108890893150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      76 := rec(
          phi := [ 11321129364371484957556564108890893150
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      77 := rec(
          phi := [ 1132115029371088495769771918593171105 
             ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254674694714734746758786
              7981088 ] ),
      78 := rec(
          phi := [ 11321150293710884957697719090893170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      79 := rec(
          phi := [ 1132115029371088495769771908593170105 
             ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      80 := rec(
          phi := [ 11321150293710884957697719085408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      81 := rec(
          phi := [ 11321150293710884957697719085580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      82 := rec(
          phi := [ 11321150293710884957697719042093170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      83 := rec(
          phi := [ 113211502937108849576977190420408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      84 := rec(
          phi := [ 113211502937108849576977190420580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      85 := rec(
          phi := [ 113211502937108849576977190572408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      86 := rec(
          phi := [ 113211502937108849576977190572580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      87 := rec(
          phi := [ 1132115029371088495769773308593350105 
             ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      88 := rec(
          phi := [ 11321150293710884957697733085408350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      89 := rec(
          phi := [ 11321150293710884957697733085580350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      90 := rec(
          phi := [ 11321150293710884957697733142093351
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      91 := rec(
          phi := [ 1132115029371088495769776948593674105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      92 := rec(
          phi := [ 11321150293710884957697769485408674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      93 := rec(
          phi := [ 11321150293710884957697769485580674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      94 := rec(
          phi := [ 11321150293710884957697783485408854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      95 := rec(
          phi := [ 11321150293710884957697783485580854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      96 := rec(
          phi := [ 11321150293710884957695646948593674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      97 := rec(
          phi := [ 113211502937108849576956469485408674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      98 := rec(
          phi := [ 113211502937108849576956469485580674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      99 := rec(
          phi := [ 11321150293710884957695648348593854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      100 := rec(
          phi := [ 113211502937108849576956483485408854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      101 := rec(
          phi := [ 113211502937108849576956483485580854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      102 := rec(
          phi := [ 113211502937108849575567719190893171
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      103 := rec(
          phi := [ 113211502937108849575567719090893170
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      104 := rec(
          phi := [ 113211502937108849575567719057293170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      105 := rec(
          phi := [ 1132115029371088495755677190572408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      106 := rec(
          phi := [ 1132115029371088495755677190572580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      107 := rec(
          phi := [ 113211502937108849575567733057293350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      108 := rec(
          phi := [ 1132115029371088495755677330572408350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      109 := rec(
          phi := [ 1132115029371088495755677330572580350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      110 := rec(
          phi := [ 1132115029371088495755977190575408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      111 := rec(
          phi := [ 1132115029371088495755977330575408350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      112 := rec(
          phi := [ 11321150296361088495769773308593350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      113 := rec(
          phi := [ 11321150296361088495769776948593674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      114 := rec(
          phi := [ 11321150296361088495769778348593854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      115 := rec(
          phi := [ 11321150296361088495769771908593170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      116 := rec(
          phi := [ 113211502963610884957697719057293170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      117 := rec(
          phi := [ 113211502963610884957697719090893170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      118 := rec(
          phi := [ 113211502963610884957695646948593674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      119 := rec(
          phi := [ 113211502963610884957695648348593854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      120 := rec(
          phi := [ 113211502963610884957699446948593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      121 := rec(
          phi := [ 113211502963610884957699448348593854
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      122 := rec(
          phi := [ 1132115029636108849575567733057293350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      123 := rec(
          phi := [ 1132115029636108849575567719057293170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      124 := rec(
          phi := [ 1132115029636108849575567719090893170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      125 := rec(
          phi := [ 1132115029636108849579247733090893350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      126 := rec(
          phi := [ 1132115029636108849579247719090893170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      127 := rec(
          phi := [ 113211503643710884957697719090893170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      128 := rec(
          phi := [ 113211503643710884957697719042093170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      129 := rec(
          phi := [ 1132115036437108849576977190420408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      130 := rec(
          phi := [ 1132115036437108849576977190420580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      131 := rec(
          phi := [ 113211503643710884957697769442093674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      132 := rec(
          phi := [ 1132115036437108849576977694420408674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      133 := rec(
          phi := [ 1132115036437108849576977694420580674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      134 := rec(
          phi := [ 1132115036437108849576956469442093674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      135 := rec(
          phi := [ 11321150364371088495769564694420408674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      136 := rec(
          phi := [ 11321150364371088495769564694420580674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      137 := rec(
          phi := [ 1132115036437108849576994469442093674
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      138 := rec(
          phi := [ 1132115036437108849574367719085408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      139 := rec(
          phi := [ 1132115036437108849574367719085580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      140 := rec(
          phi := [ 1132115036437108849574367783485408854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      141 := rec(
          phi := [ 1132115036437108849574367783485580854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      142 := rec(
          phi := [ 11321150364371088495743656483485408854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      143 := rec(
          phi := [ 11321150364371088495743656483485580854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      144 := rec(
          phi := [ 1132115036437108849575567719190893171
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      145 := rec(
          phi := [ 1132115036437108849575567719090893170
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      146 := rec(
          phi := [ 1132115036437108849575567719085408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      147 := rec(
          phi := [ 1132115036437108849575567719085580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      148 := rec(
          phi := [ 113211506283710884957556771908593170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      149 := rec(
          phi := [ 1132115062837108849575567719085408170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      150 := rec(
          phi := [ 1132115062837108849575567719085580170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      151 := rec(
          phi := [ 113211506283710884957556778348593854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      152 := rec(
          phi := [ 1132115062837108849575567783485408854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      153 := rec(
          phi := [ 1132115062837108849575567783485580854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      154 := rec(
          phi := [ 1132115062837108849575565648348593854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      155 := rec(
          phi := [ 11321150628371088495755656483485408854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      156 := rec(
          phi := [ 11321150628371088495755656483485580854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      157 := rec(
          phi := [ 1132115062837108849575569448348593854
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      158 := rec(
          phi := [ 1132115062863610884957556771908593170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      159 := rec(
          phi := [ 1132115062863610884957556778348593854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      160 := rec(
          phi := [ 11321150628636108849575565648348593854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      161 := rec(
          phi := [ 11321150628636108849575569448348593854
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      162 := rec(
          phi := [ 1132115062895210884957556771908593170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      163 := rec(
          phi := [ 1132115062895210884957556778348593854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      164 := rec(
          phi := [ 11321150628952108849575565648348593854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      165 := rec(
          phi := [ 11321150628952108849575569448348593854
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      166 := rec(
          phi := [ 1132117029373304957575771088559408290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      167 := rec(
          phi := [ 113211702937330495792477108890893290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      168 := rec(
          phi := [ 1132117029373304957697710888593290105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      169 := rec(
          phi := [ 11321170293733049576977108885408290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      170 := rec(
          phi := [ 11321170293733049576977108885580290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      171 := rec(
          phi := [ 113211702937330495755677108857293290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      172 := rec(
          phi := [ 1132117029373304957556771088572408290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      173 := rec(
          phi := [ 1132117029373304957556771088572580290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      174 := rec(
          phi := [ 11321170293733049444697710888593290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      175 := rec(
          phi := [ 1132117029373304944491177108892793290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      176 := rec(
          phi := [ 1132117029373304944492477108890893290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      177 := rec(
          phi := [ 11321170293733049932697710888593290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      178 := rec(
          phi := [ 1132117029373304993292477108890893290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      179 := rec(
          phi := [ 11321170293733037257575771088559408290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      180 := rec(
          phi := [ 1132117029373303725792477108890893290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      181 := rec(
          phi := [ 11321170293733037257697710888593290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      182 := rec(
          phi := [ 113211702937330372576977108885408290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      183 := rec(
          phi := [ 113211702937330372576977108885580290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      184 := rec(
          phi := [ 1132117029373303725755677108857293290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      185 := rec(
          phi := [ 11321170293733037257556771088572408290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      186 := rec(
          phi := [ 11321170293733037257556771088572580290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      187 := rec(
          phi := [ 113211702937330372444697710888593290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      188 := rec(
          phi := [ 11321170293733037244491177108892793290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      189 := rec(
          phi := [ 11321170293733037244492477108890893290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      190 := rec(
          phi := [ 113211702937330372932697710888593290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      191 := rec(
          phi := [ 11321170293733037293292477108890893290
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      192 := rec(
          phi := [ 11321170293733097257697710888593290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      193 := rec(
          phi := [ 1132117029373309725755677108857293290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      194 := rec(
          phi := [ 1132117029373309725792477108890893290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      195 := rec(
          phi := [ 113211702937330972444697710888593290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      196 := rec(
          phi := [ 11321170293733097244492477108890893290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      197 := rec(
          phi := [ 113211702937330972932697710888593290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      198 := rec(
          phi := [ 11321170293733097293292477108890893290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      199 := rec(
          phi := [ 11321170293769449444697710888593734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      200 := rec(
          phi := [ 11321170293769449932697710888593734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      201 := rec(
          phi := [ 1132117029376944957697710888593734105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      202 := rec(
          phi := [ 11321170293769449576977108885408734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      203 := rec(
          phi := [ 11321170293769449576977108885580734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      204 := rec(
          phi := [ 11321170293783449444697710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      205 := rec(
          phi := [ 11321170293783449932697710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      206 := rec(
          phi := [ 1132117029378344957697710888593874105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      207 := rec(
          phi := [ 11321170293783449576977108885408874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      208 := rec(
          phi := [ 11321170293783449576977108885580874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      209 := rec(
          phi := [ 113211702937834372444697710888593874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      210 := rec(
          phi := [ 113211702937834372932697710888593874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      211 := rec(
          phi := [ 11321170293783437257697710888593874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      212 := rec(
          phi := [ 113211702937834372576977108885408874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      213 := rec(
          phi := [ 113211702937834372576977108885580874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      214 := rec(
          phi := [ 11321170293783497257697710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      215 := rec(
          phi := [ 113211702937834972444697710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      216 := rec(
          phi := [ 113211702937834972932697710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      217 := rec(
          phi := [ 11321170296366944957697710888593734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      218 := rec(
          phi := [ 11321170296363304957697710888593290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      219 := rec(
          phi := [ 1132117029636330495755677108857293290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      220 := rec(
          phi := [ 1132117029636330495792477108890893290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      221 := rec(
          phi := [ 113211702963633097257697710888593290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      222 := rec(
          phi := [ 11321170296363309725755677108857293290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      223 := rec(
          phi := [ 11321170296363309725792477108890893290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      224 := rec(
          phi := [ 11321170296368344957697710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      225 := rec(
          phi := [ 113211702963683497257697710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      226 := rec(
          phi := [ 11321170299526944957697710888593734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      227 := rec(
          phi := [ 11321170299523304957697710888593290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      228 := rec(
          phi := [ 1132117029952330495755677108857293290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      229 := rec(
          phi := [ 1132117029952330495792477108890893290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      230 := rec(
          phi := [ 113211702995233097257697710888593290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      231 := rec(
          phi := [ 11321170299523309725755677108857293290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      232 := rec(
          phi := [ 11321170299523309725792477108890893290
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      233 := rec(
          phi := [ 11321170299528344957697710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      234 := rec(
          phi := [ 113211702995283497257697710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      235 := rec(
          phi := [ 1132117036437694494446977108842093734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      236 := rec(
          phi := [ 1132117036437694499326977108842093734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      237 := rec(
          phi := [ 113211703643769449576977108842093734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      238 := rec(
          phi := [ 1132117036437694495769771088420408734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      239 := rec(
          phi := [ 1132117036437694495769771088420580734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      240 := rec(
          phi := [ 1132117036437834494444367710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      241 := rec(
          phi := [ 1132117036437834499324367710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      242 := rec(
          phi := [ 113211703643783449574367710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      243 := rec(
          phi := [ 1132117036437834495743677108885408874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      244 := rec(
          phi := [ 1132117036437834495743677108885580874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      245 := rec(
          phi := [ 11321170364378343724444367710888593874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      246 := rec(
          phi := [ 11321170364378343729324367710888593874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      247 := rec(
          phi := [ 1132117036437834372574367710888593874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      248 := rec(
          phi := [ 11321170364378343725743677108885408874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      249 := rec(
          phi := [ 11321170364378343725743677108885580874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      250 := rec(
          phi := [ 1132117036437834972574367710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      251 := rec(
          phi := [ 11321170364378349724444367710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      252 := rec(
          phi := [ 11321170364378349729324367710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      253 := rec(
          phi := [ 1132117062837834972575567710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      254 := rec(
          phi := [ 113211706283783449575567710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      255 := rec(
          phi := [ 1132117062837834495755677108885408874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      256 := rec(
          phi := [ 1132117062837834495755677108885580874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      257 := rec(
          phi := [ 1132117062837834372575567710888593874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      258 := rec(
          phi := [ 11321170628378343725755677108885408874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      259 := rec(
          phi := [ 11321170628378343725755677108885580874
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      260 := rec(
          phi := [ 1132117062863683449575567710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      261 := rec(
          phi := [ 11321170628636834972575567710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      262 := rec(
          phi := [ 1132117062895283449575567710888593874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      263 := rec(
          phi := [ 11321170628952834972575567710888593874
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      264 := rec(
          phi := [ 113211709643769449576977108890893734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      265 := rec(
          phi := [ 1132117096437694494446977108890893734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      266 := rec(
          phi := [ 1132117096437694499326977108890893734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      267 := rec(
          phi := [ 1132117096463669449576977108890893734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      268 := rec(
          phi := [ 1132117096495269449576977108890893734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      269 := rec(
          phi := [ 1132129029371088495769778358593675105 
             ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254674694714734746758786
              7981088 ] ),
      270 := rec(
          phi := [ 1132129029371088495769776948593854105 
             ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      271 := rec(
          phi := [ 11321290293710884957697769485408854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      272 := rec(
          phi := [ 11321290293710884957697769485580854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      273 := rec(
          phi := [ 1132129029371088495769776958593855428 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      274 := rec(
          phi := [ 1132129029371088495769778348593674105 
             ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      275 := rec(
          phi := [ 1132129029371088495769778348593674428 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      276 := rec(
          phi := [ 1132129029371088495769778348593674592 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      277 := rec(
          phi := [ 11321290293710884957697783485408674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      278 := rec(
          phi := [ 11321290293710884957697783485408674
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      279 := rec(
          phi := [ 11321290293710884957697783485408674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      280 := rec(
          phi := [ 11321290293710884957697783485580674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      281 := rec(
          phi := [ 11321290293710884957697783485580674
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      282 := rec(
          phi := [ 11321290293710884957697783485580674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      283 := rec(
          phi := [ 11321290293710884957695648358593675
              916 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      284 := rec(
          phi := [ 11321290293710884957695646948593854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      285 := rec(
          phi := [ 113212902937108849576956469485408854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      286 := rec(
          phi := [ 113212902937108849576956469485580854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      287 := rec(
          phi := [ 11321290293710884957695648348593674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      288 := rec(
          phi := [ 11321290293710884957695648348593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      289 := rec(
          phi := [ 113212902937108849576956483485408674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      290 := rec(
          phi := [ 113212902937108849576956483485580674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      291 := rec(
          phi := [ 11321290293710883725769778348593674
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      292 := rec(
          phi := [ 11321290293710883725769778348593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      293 := rec(
          phi := [ 113212902937108837257697783485408674
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      294 := rec(
          phi := [ 113212902937108837257697783485580674
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      295 := rec(
          phi := [ 1132129029371088372576945683485408674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      296 := rec(
          phi := [ 1132129029371088372576945683485580674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      297 := rec(
          phi := [ 113212902937108837257695648358593675
              916 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      298 := rec(
          phi := [ 113212902937108837257695648348593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      299 := rec(
          phi := [ 1132129029371088372576956483485408674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      300 := rec(
          phi := [ 1132129029371088372576956483485580674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      301 := rec(
          phi := [ 113212902937108837257695668348593674
              918 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      302 := rec(
          phi := [ 113212902937108837257695668358593675
              918 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      303 := rec(
          phi := [ 113212902937108864857695648348593674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      304 := rec(
          phi := [ 1132129029371088648576956483485408674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      305 := rec(
          phi := [ 1132129029371088648576956483485580674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      306 := rec(
          phi := [ 11321290296361088495769776948593854
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      307 := rec(
          phi := [ 11321290296361088495769778348593674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      308 := rec(
          phi := [ 11321290296361088495769778348593674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      309 := rec(
          phi := [ 11321290296361088495769778348593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      310 := rec(
          phi := [ 113212902963610884957695646948593854
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      311 := rec(
          phi := [ 113212902963610884957695648348593674
              592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      312 := rec(
          phi := [ 113212902963610884957695648348593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      313 := rec(
          phi := [ 113212902963610884957699446948593854
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      314 := rec(
          phi := [ 113212902963610884957699448348593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      315 := rec(
          phi := [ 1132129029636108864857695648348593674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      316 := rec(
          phi := [ 113212902963610889725769778348593674
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      317 := rec(
          phi := [ 11321330293767449444697787485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      318 := rec(
          phi := [ 11321330293767449932697787485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      319 := rec(
          phi := [ 1132133029376744957697787485931088105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      320 := rec(
          phi := [ 11321330293767449576977874854081088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      321 := rec(
          phi := [ 11321330293767449576977874855801088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      322 := rec(
          phi := [ 113213302937674372444697787485931088
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      323 := rec(
          phi := [ 113213302937674372932697787485931088
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      324 := rec(
          phi := [ 11321330293767437257697787485931088
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      325 := rec(
          phi := [ 113213302937674372576977874854081088
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      326 := rec(
          phi := [ 113213302937674372576977874855801088
              428 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      327 := rec(
          phi := [ 11321330293767497257697787485931088
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      328 := rec(
          phi := [ 113213302937674972444697787485931088
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      329 := rec(
          phi := [ 113213302937674972932697787485931088
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      330 := rec(
          phi := [ 11321330293785449444697773485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      331 := rec(
          phi := [ 11321330293785449932697773485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      332 := rec(
          phi := [ 1132133029378544957697773485931088105 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      333 := rec(
          phi := [ 11321330293785449576977734854081088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      334 := rec(
          phi := [ 11321330293785449576977734855801088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      335 := rec(
          phi := [ 11321330296368544957697773485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      336 := rec(
          phi := [ 11321330296366744957697787485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      337 := rec(
          phi := [ 113213302963667497257697787485931088
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      338 := rec(
          phi := [ 11321330299528544957697773485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      339 := rec(
          phi := [ 11321330299526744957697787485931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      340 := rec(
          phi := [ 113213302995267497257697787485931088
              916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      341 := rec(
          phi := [ 1132515029371088535769811908694170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      342 := rec(
          phi := [ 1132515029371088535769811908593170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      343 := rec(
          phi := [ 11325150293710885357698119085408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      344 := rec(
          phi := [ 11325150293710885357698119042093170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      345 := rec(
          phi := [ 113251502937108853576981190420408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      346 := rec(
          phi := [ 1132515029371088535769813308593350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      347 := rec(
          phi := [ 11325150293710885357698133085408350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      348 := rec(
          phi := [ 11325150293710885357695686948593674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      349 := rec(
          phi := [ 113251502937108853576956869485408674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      350 := rec(
          phi := [ 11325150293710885357695688348593854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      351 := rec(
          phi := [ 113251502937108853576956883485408854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      352 := rec(
          phi := [ 1132515029371088535772811908893170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      353 := rec(
          phi := [ 11325150293710885357728119088408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      354 := rec(
          phi := [ 1132515029371088535772813308893350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      355 := rec(
          phi := [ 11325150293710885357728133088408350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      356 := rec(
          phi := [ 1132515030381088535769811908694170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      357 := rec(
          phi := [ 1132515030381088535769811908593170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      358 := rec(
          phi := [ 11325150364371088535769811908593170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      359 := rec(
          phi := [ 113251503643710885357698119085408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      360 := rec(
          phi := [ 113251503643710885357698119042093170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      361 := rec(
          phi := [ 1132515036437108853576981190420408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      362 := rec(
          phi := [ 1132515036437108853576956869442093674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      363 := rec(
          phi := [ 11325150364371088535769568694420408674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      364 := rec(
          phi := [ 11325150364371088535772811908893170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      365 := rec(
          phi := [ 113251503643710885357728119088408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      366 := rec(
          phi := [ 113251503643710885357436811908593170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      367 := rec(
          phi := [ 1132515036437108853574368119085408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      368 := rec(
          phi := [ 1132515036437108853574365688348593854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      369 := rec(
          phi := [ 11325150364371088535743656883485408854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      370 := rec(
          phi := [ 1132529029371088535769811908593350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      371 := rec(
          phi := [ 11325290293710885357698119085408350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      372 := rec(
          phi := [ 1132529029371088535769813308593170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      373 := rec(
          phi := [ 11325290293710885357698133085408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      374 := rec(
          phi := [ 11325290293710885357695686948593854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      375 := rec(
          phi := [ 113252902937108853576956869485408854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      376 := rec(
          phi := [ 11325290293710885357695688348593674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      377 := rec(
          phi := [ 113252902937108853576956883485408674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      378 := rec(
          phi := [ 1132529029371088535772811908893350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      379 := rec(
          phi := [ 11325290293710885357728119088408350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      380 := rec(
          phi := [ 1132529029371088535772813308893170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      381 := rec(
          phi := [ 11325290293710885357728133088408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      382 := rec(
          phi := [ 11325290293710883765769813308593170
              432 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      383 := rec(
          phi := [ 113252902937108837657695688348593674
              920 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      384 := rec(
          phi := [ 11325290293710883765772813308893170
              432 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      385 := rec(
          phi := [ 113568170293719059657423624108843993
              150652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      386 := rec(
          phi := [ 1135681702937190596574236241088439408
              150652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      387 := rec(
          phi := [ 113568170293733059657423624108843993
              290652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      388 := rec(
          phi := [ 1135681702937330596574236241088439408
              290652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      389 := rec(
          phi := [ 113568170293733092057423624108843993
              290976 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      390 := rec(
          phi := [ 1135681703643719059657423624108843993
              150652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      391 := rec(
          phi := [ 11356817036437190596574236241088439408
              150652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      392 := rec(
          phi := [ 11356819029373505965742362429043993
              1088652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      393 := rec(
          phi := [ 113568190293735059657423624290439408
              1088652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      394 := rec(
          phi := [ 11356833029373505965742362415043993
              1088652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      395 := rec(
          phi := [ 113568330293735059657423624150439408
              1088652 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      396 := rec(
          phi := [ 1162515032371088535772811908893170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      397 := rec(
          phi := [ 11625150323710885357728119088408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      398 := rec(
          phi := [ 1162515032371088535772813308893350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      399 := rec(
          phi := [ 11625150323710885357728133088408350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      400 := rec(
          phi := [ 1162515036737108853577256869442393674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      401 := rec(
          phi := [ 11625150367371088535772568694423408674
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      402 := rec(
          phi := [ 1162515036737108853574395688348893854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      403 := rec(
          phi := [ 11625150367371088535743956883488408854
              596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      404 := rec(
          phi := [ 1162529032371088535772811908893350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      405 := rec(
          phi := [ 11625290323710885357728119088408350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      406 := rec(
          phi := [ 1162529032371088535772813308893170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      407 := rec(
          phi := [ 11625290323710885357728133088408170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      408 := rec(
          phi := [ 11625290323710883765772813308893170
              432 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      409 := rec(
          phi := [ 111321129116513023711725108812011131
              27 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191214215242243254255310
              311330331350351514515526527714715734735798
              7998948951088 ] ),
      410 := rec(
          phi := [ 111321129116514849711725108812011150
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      411 := rec(
          phi := [ 11132112911637130495711777108812093131
              105 ],
          autos_yielding_iso_nrs := 
           [ 131170171202203242243290291330331474475514
              5156746757147157467477867878348358748751018
              1019105810591088 ] ),
      412 := rec(
          phi := [ 11132112911637148495711777108812093150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      413 := rec(
          phi := [ 1113211291163521303725441175641088120896
              131916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      414 := rec(
          phi := [ 111321129116352148495441175641088120896
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      415 := rec(
          phi := [ 11132112914037130495715277108818093131
              105 ],
          autos_yielding_iso_nrs := 
           [ 131170171202203242243290291330331474475514
              5156746757147157467477867878348358748751018
              1019105810591088 ] ),
      416 := rec(
          phi := [ 1113211291403714849711725108814443150
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      417 := rec(
          phi := [ 11132112914037148495711777108814493150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      418 := rec(
          phi := [ 11132112914037148495715225108818093150
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      419 := rec(
          phi := [ 11132112914037148495715277108818093150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      420 := rec(
          phi := [ 11132112914037148495765677108818093150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      421 := rec(
          phi := [ 11132112914037148495765677108868493150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      422 := rec(
          phi := [ 11132112914037148495441175641088144580
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      423 := rec(
          phi := [ 1113211291403714849544656251088684580
              15053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      424 := rec(
          phi := [ 111321129140371484954465677108818093
              150105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      425 := rec(
          phi := [ 111321129140371484954465677108868493
              150105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      426 := rec(
          phi := [ 1113211291403714849544656771088684580
              150105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      427 := rec(
          phi := [ 1113211291403714849544656564108818093
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      428 := rec(
          phi := [ 1113211291403714849544656564108868493
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      429 := rec(
          phi := [ 11132112914037148495446565641088684580
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      430 := rec(
          phi := [ 111321129272514849711725108827611150
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      431 := rec(
          phi := [ 11132112927237130495765677108881693131
              105 ],
          autos_yielding_iso_nrs := 
           [ 131170171202203242243674675714715746747786
              7871088 ] ),
      432 := rec(
          phi := [ 1113211292723714849711725108827643150
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      433 := rec(
          phi := [ 11132112927237148495711777108827693150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      434 := rec(
          phi := [ 11132112927237148495715225108831293150
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      435 := rec(
          phi := [ 11132112927237148495715277108831293150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      436 := rec(
          phi := [ 11132112927237148495715277108881693150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      437 := rec(
          phi := [ 11132112927237148495765677108881693150
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      438 := rec(
          phi := [ 11132112927237148495441175641088276580
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      439 := rec(
          phi := [ 1113211292723714849544656251088816580
              15053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      440 := rec(
          phi := [ 111321129272371484954465677108881693
              150105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      441 := rec(
          phi := [ 1113211292723714849544656771088816580
              150105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      442 := rec(
          phi := [ 1113211292723714849544656564108881693
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      443 := rec(
          phi := [ 11132112927237148495446565641088816580
              150592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      444 := rec(
          phi := [ 1113211292723728849711725108827643290
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      445 := rec(
          phi := [ 11132112927237288495711777108827693290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      446 := rec(
          phi := [ 11132112927237288495715225108831293290
              53 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      447 := rec(
          phi := [ 11132112927237288495715277108831293290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      448 := rec(
          phi := [ 11132112927237288495765677108881693290
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      449 := rec(
          phi := [ 11132112927237288495441175641088276580
              290592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      450 := rec(
          phi := [ 1113211292723728849544656251088816580
              29053 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      451 := rec(
          phi := [ 111321129272372884954465677108881693
              290105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      452 := rec(
          phi := [ 111321129272372884954465677108881693
              290592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      453 := rec(
          phi := [ 1113211292723728849544656771088816580
              290105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      454 := rec(
          phi := [ 1113211292723728849544656771088816580
              290592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      455 := rec(
          phi := [ 1113211292723728849544656564108881693
              290592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      456 := rec(
          phi := [ 11132112927237288495446565641088816580
              290592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      457 := rec(
          phi := [ 11132115014037108849571527719118093171
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      458 := rec(
          phi := [ 11132115014037108849571527719018093170
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      459 := rec(
          phi := [ 11132115014037108849571527719081693170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      460 := rec(
          phi := [ 111321150140371088495715277190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      461 := rec(
          phi := [ 11132115014037108849571557719018393170
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      462 := rec(
          phi := [ 11132115014037108849571557719118393171
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      463 := rec(
          phi := [ 11132115014037108849576567719181693171
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      464 := rec(
          phi := [ 11132115014037108849576567719068493170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      465 := rec(
          phi := [ 111321150140371088495765677190684896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      466 := rec(
          phi := [ 11132115014037108849576567719081693170
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      467 := rec(
          phi := [ 111321150140371088495765677190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      468 := rec(
          phi := [ 11132115014037108849576567769468493674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      469 := rec(
          phi := [ 111321150140371088495765677694684896
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      470 := rec(
          phi := [ 1113211501403710884957656944694684896
              674916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      471 := rec(
          phi := [ 111321150140371088495784477190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      472 := rec(
          phi := [ 111321150140371088495784477834816896
              854105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      473 := rec(
          phi := [ 1113211501403710884957844944834816896
              854916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      474 := rec(
          phi := [ 1113211501403710884954465677191816896
              171105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      475 := rec(
          phi := [ 1113211501403710884954465677190684580
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      476 := rec(
          phi := [ 1113211501403710884954465677190684896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      477 := rec(
          phi := [ 1113211501403710884954465677190816580
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      478 := rec(
          phi := [ 1113211501403710884954465677190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      479 := rec(
          phi := [ 1113211501403710884954465677694684580
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      480 := rec(
          phi := [ 1113211501403710884954465677694684896
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      481 := rec(
          phi := [ 11132115014037108849544656564694684580
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      482 := rec(
          phi := [ 11132115014037108849544656564694684896
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      483 := rec(
          phi := [ 11132115014037108849544656944694684896
              674916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      484 := rec(
          phi := [ 1113211501403710884954484477190816580
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      485 := rec(
          phi := [ 1113211501403710884954484477834816580
              854105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      486 := rec(
          phi := [ 11132115014037108849544844564834816580
              854592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      487 := rec(
          phi := [ 11132115027237108849571527719118093171
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      488 := rec(
          phi := [ 11132115027237108849571527719018093170
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      489 := rec(
          phi := [ 11132115027237108849571527719031293170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      490 := rec(
          phi := [ 111321150272371088495715277190312896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      491 := rec(
          phi := [ 11132115027237108849571527719081693170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      492 := rec(
          phi := [ 111321150272371088495715277190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      493 := rec(
          phi := [ 11132115027237108849571527733031293350
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      494 := rec(
          phi := [ 111321150272371088495715277330312896
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      495 := rec(
          phi := [ 11132115027237108849576567719181693171
              105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254674694714734746758786
              7981088 ] ),
      496 := rec(
          phi := [ 11132115027237108849576567719081693170
              105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      497 := rec(
          phi := [ 111321150272371088495765677190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      498 := rec(
          phi := [ 11132115027237108849576567733081693350
              105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      499 := rec(
          phi := [ 111321150272371088495765677330816896
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      500 := rec(
          phi := [ 11132115027237108849576567769481693674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      501 := rec(
          phi := [ 111321150272371088495765677694816896
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      502 := rec(
          phi := [ 111321150272371088495765677834816896
              854105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      503 := rec(
          phi := [ 1113211502723710884957656944694816896
              674916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      504 := rec(
          phi := [ 1113211502723710884957656944834816896
              854916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      505 := rec(
          phi := [ 1113211502723710884954465677191816896
              171105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254674694714734746758786
              7981088 ] ),
      506 := rec(
          phi := [ 1113211502723710884954465677190816580
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      507 := rec(
          phi := [ 1113211502723710884954465677190816896
              170105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      508 := rec(
          phi := [ 1113211502723710884954465677330816580
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      509 := rec(
          phi := [ 1113211502723710884954465677330816896
              350105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      510 := rec(
          phi := [ 1113211502723710884954465677694816580
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      511 := rec(
          phi := [ 1113211502723710884954465677694816896
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      512 := rec(
          phi := [ 1113211502723710884954465677834816580
              854105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      513 := rec(
          phi := [ 11132115027237108849544656564694816580
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      514 := rec(
          phi := [ 11132115027237108849544656564694816896
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      515 := rec(
          phi := [ 11132115027237108849544656564834816580
              854592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      516 := rec(
          phi := [ 11132115027237108849544656564834816896
              854592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      517 := rec(
          phi := [ 111321150272352108849571527719118093
              171105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      518 := rec(
          phi := [ 111321150272352108849571527719018093
              170105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254290310330350474486514
              5266746947147347467587867988348548748941018
              1030105810701088 ] ),
      519 := rec(
          phi := [ 111321150272352108849571527719031293
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      520 := rec(
          phi := [ 1113211502723521088495715277190312408
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      521 := rec(
          phi := [ 1113211502723521088495715277190312896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      522 := rec(
          phi := [ 111321150272352108849571527719081693
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      523 := rec(
          phi := [ 1113211502723521088495715277190816408
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      524 := rec(
          phi := [ 1113211502723521088495715277190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      525 := rec(
          phi := [ 111321150272352108849571527733031293
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      526 := rec(
          phi := [ 1113211502723521088495715277330312408
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      527 := rec(
          phi := [ 1113211502723521088495715277330312896
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      528 := rec(
          phi := [ 111321150272352108849576567719181693
              171105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254674694714734746758786
              7981088 ] ),
      529 := rec(
          phi := [ 111321150272352108849576567719081693
              170105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      530 := rec(
          phi := [ 1113211502723521088495765677190816408
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      531 := rec(
          phi := [ 1113211502723521088495765677190816896
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      532 := rec(
          phi := [ 111321150272352108849576567733081693
              350105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      533 := rec(
          phi := [ 1113211502723521088495765677330816408
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      534 := rec(
          phi := [ 1113211502723521088495765677330816896
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      535 := rec(
          phi := [ 111321150272352108849576567769481693
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      536 := rec(
          phi := [ 1113211502723521088495765677694816408
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      537 := rec(
          phi := [ 1113211502723521088495765677694816896
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      538 := rec(
          phi := [ 1113211502723521088495765677834816408
              854105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      539 := rec(
          phi := [ 1113211502723521088495765677834816896
              854105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      540 := rec(
          phi := [ 11132115027235210884957656944694816896
              674916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      541 := rec(
          phi := [ 11132115027235210884957656944834816896
              854916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      542 := rec(
          phi := [ 11132115027235210884954465677191816896
              171105 ],
          autos_yielding_iso_nrs := 
           [ 150170190202214242254674694714734746758786
              7981088 ] ),
      543 := rec(
          phi := [ 11132115027235210884954465677190816896
              170105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      544 := rec(
          phi := [ 11132115027235210884954465677330816896
              350105 ],
          autos_yielding_iso_nrs := [ 1501701902022142422541088 ] ),
      545 := rec(
          phi := [ 11132115027235210884954465677694816896
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      546 := rec(
          phi := [ 111321150272352108849544656564694816896
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      547 := rec(
          phi := [ 111321150272352108849544656564834816896
              854592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      548 := rec(
          phi := [ 1113211502726361088495443407733018093
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      549 := rec(
          phi := [ 1113211502726361088495443407719018093
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      550 := rec(
          phi := [ 1113211502726361088495443407719081693
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      551 := rec(
          phi := [ 1113211502726361088495446567733081693
              350105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      552 := rec(
          phi := [ 1113211502726361088495446567769481693
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      553 := rec(
          phi := [ 1113211502726361088495446567783481693
              854105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      554 := rec(
          phi := [ 1113211502726361088495446567719081693
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      555 := rec(
          phi := [ 11132115027263610884954465656469481693
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      556 := rec(
          phi := [ 11132115027263610884954465656483481693
              854592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      557 := rec(
          phi := [ 11132115072437108849576567769418093674
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      558 := rec(
          phi := [ 11132115072437108849576567719018093170
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      559 := rec(
          phi := [ 111321150724371088495446567769418093
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      560 := rec(
          phi := [ 111321150724371088495446567719018093
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      561 := rec(
          phi := [ 1113211507243710884954465656469418093
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      562 := rec(
          phi := [ 111321150724352108849576567769418093
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      563 := rec(
          phi := [ 111321150724352108849576567719018093
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      564 := rec(
          phi := [ 1113211507243521088494446567769418093
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      565 := rec(
          phi := [ 1113211507243521088494446567719018093
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      566 := rec(
          phi := [ 1113211507243521088495446567769418093
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      567 := rec(
          phi := [ 1113211507243521088495446567719018093
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      568 := rec(
          phi := [ 11132115072435210884954465656469418093
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      569 := rec(
          phi := [ 1113211507246361088495446567769418093
              674105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      570 := rec(
          phi := [ 1113211507246361088495446567719018093
              170105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      571 := rec(
          phi := [ 11132115072463610884954465656469418093
              674592 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      572 := rec(
          phi := [ 1113211701403769449932656771088684896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      573 := rec(
          phi := [ 11132117014037694495765677108868493734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      574 := rec(
          phi := [ 111321170140376944957656771088684896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      575 := rec(
          phi := [ 111321170140376944954465677108868493
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      576 := rec(
          phi := [ 1113211701403769449544656771088684580
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      577 := rec(
          phi := [ 1113211701403769449544656771088684896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      578 := rec(
          phi := [ 1113211701403783449932844771088816896
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      579 := rec(
          phi := [ 11132117014037834495784477108881693874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      580 := rec(
          phi := [ 111321170140378344957844771088816896
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      581 := rec(
          phi := [ 111321170140378344954484477108881693
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      582 := rec(
          phi := [ 1113211701403783449544844771088816580
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      583 := rec(
          phi := [ 1113211701403783449544844771088816896
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      584 := rec(
          phi := [ 1113211701403783497257844771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      585 := rec(
          phi := [ 11132117014037834972544844771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      586 := rec(
          phi := [ 11132117014037834972932844771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      587 := rec(
          phi := [ 1113211702723769449932656771088816896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      588 := rec(
          phi := [ 11132117027237694495765677108881693734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      589 := rec(
          phi := [ 111321170272376944957656771088816896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      590 := rec(
          phi := [ 111321170272376944954465677108881693
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      591 := rec(
          phi := [ 1113211702723769449544656771088816580
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      592 := rec(
          phi := [ 1113211702723769449544656771088816896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      593 := rec(
          phi := [ 1113211702723783449932656771088816896
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      594 := rec(
          phi := [ 11132117027237834495765677108881693874
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      595 := rec(
          phi := [ 111321170272378344957656771088816896
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      596 := rec(
          phi := [ 111321170272378344954465677108881693
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      597 := rec(
          phi := [ 1113211702723783449544656771088816580
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      598 := rec(
          phi := [ 1113211702723783449544656771088816896
              874105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      599 := rec(
          phi := [ 1113211702723783497257656771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      600 := rec(
          phi := [ 11132117027237834972544656771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      601 := rec(
          phi := [ 11132117027237834972932656771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      602 := rec(
          phi := [ 1113211702723526944944465677108881693
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      603 := rec(
          phi := [ 111321170272352694495765677108881693
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      604 := rec(
          phi := [ 1113211702723526944957656771088816408
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      605 := rec(
          phi := [ 1113211702723526944957656771088816896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      606 := rec(
          phi := [ 1113211702723526944954465677108881693
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      607 := rec(
          phi := [ 11132117027235269449544656771088816896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      608 := rec(
          phi := [ 11132117027235283497257656771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      609 := rec(
          phi := [ 111321170272352834972544656771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      610 := rec(
          phi := [ 1113211702726366944954465677108881693
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      611 := rec(
          phi := [ 1113211702726368344954465677108881693
              874105 ],
          autos_yielding_iso_nrs := [ 1311501511701711901911088 ] ),
      612 := rec(
          phi := [ 1113211702729526944957656771088816896
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      613 := rec(
          phi := [ 1113211702729528344957656771088816896
              874105 ],
          autos_yielding_iso_nrs := [ 1311501511701711901911088 ] ),
      614 := rec(
          phi := [ 11132117027295283497257656771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      615 := rec(
          phi := [ 11132117072437694495765677108818093734
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      616 := rec(
          phi := [ 111321170724376944954465677108818093
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      617 := rec(
          phi := [ 111321170724352694495765677108818093
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      618 := rec(
          phi := [ 1113211707243526944944465677108818093
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      619 := rec(
          phi := [ 1113211707243526944954465677108818093
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      620 := rec(
          phi := [ 1113211707246366944954465677108818093
              734105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      621 := rec(
          phi := [ 1113211708563783497257152771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      622 := rec(
          phi := [ 11132117085695283497257152771088816896
              874916 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191214215242243254255310
              311330331350351514515526527714715734735798
              7998948951088 ] ),
      623 := rec(
          phi := [ 111321330272378544993265677734816896
              1088105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      624 := rec(
          phi := [ 11132133027237854495765677734816931088
              105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      625 := rec(
          phi := [ 11132133027237854495765677734816896
              1088105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      626 := rec(
          phi := [ 11132133027237854495446567773481693
              1088105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      627 := rec(
          phi := [ 111321330272378544954465677734816580
              1088105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      628 := rec(
          phi := [ 111321330272378544954465677734816896
              1088105 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      629 := rec(
          phi := [ 111321330272636854495446567773481693
              1088105 ],
          autos_yielding_iso_nrs := [ 1311501511701711901911088 ] ),
      630 := rec(
          phi := [ 111321330272952854495765677734816896
              1088105 ],
          autos_yielding_iso_nrs := [ 1311501511701711901911088 ] ),
      631 := rec(
          phi := [ 11132515014037108853571528119018093170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      632 := rec(
          phi := [ 1113251501403710885354465681190684580
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      633 := rec(
          phi := [ 1113251501403710885354465681190684896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      634 := rec(
          phi := [ 1113251501403710885354465681190816580
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      635 := rec(
          phi := [ 1113251501403710885354465681190816896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      636 := rec(
          phi := [ 11132515014037108853544656568694684580
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      637 := rec(
          phi := [ 11132515014037108853544656568694684896
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      638 := rec(
          phi := [ 1113251501403710885354484481190816580
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      639 := rec(
          phi := [ 1113251501403710885354484481190816896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      640 := rec(
          phi := [ 11132515014037108853544844568834816580
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      641 := rec(
          phi := [ 11132515014037108853544844568834816896
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      642 := rec(
          phi := [ 11132515027237108853571528119018093170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      643 := rec(
          phi := [ 11132515027237108853571528119031293170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      644 := rec(
          phi := [ 11132515027237108853571528133031293350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      645 := rec(
          phi := [ 11132515027237108853573408133018093350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      646 := rec(
          phi := [ 11132515027237108853573408119018093170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      647 := rec(
          phi := [ 1113251502723710885354465681190684580
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      648 := rec(
          phi := [ 1113251502723710885354465681190684896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      649 := rec(
          phi := [ 1113251502723710885354465681190816580
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      650 := rec(
          phi := [ 1113251502723710885354465681190816896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      651 := rec(
          phi := [ 1113251502723710885354465681330816580
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      652 := rec(
          phi := [ 1113251502723710885354465681330816896
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      653 := rec(
          phi := [ 11132515027237108853544656568694816580
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      654 := rec(
          phi := [ 11132515027237108853544656568694816896
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      655 := rec(
          phi := [ 11132515027237108853544656568834816580
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      656 := rec(
          phi := [ 11132515027237108853544656568834816896
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      657 := rec(
          phi := [ 111325150272352108853571528119018093
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      658 := rec(
          phi := [ 111325150272352108853571528119031293
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      659 := rec(
          phi := [ 1113251502723521088535715281190312408
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      660 := rec(
          phi := [ 111325150272352108853571528133031293
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      661 := rec(
          phi := [ 1113251502723521088535715281330312408
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      662 := rec(
          phi := [ 111325150272352108853573408133018093
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      663 := rec(
          phi := [ 111325150272352108853573408119018093
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      664 := rec(
          phi := [ 11132515027235210885354465681190816896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      665 := rec(
          phi := [ 11132515027235210885354465681330816896
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      666 := rec(
          phi := [ 111325150272352108853544656568694816896
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      667 := rec(
          phi := [ 111325150272352108853544656568834816896
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      668 := rec(
          phi := [ 11132529027237108853571528119031293350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      669 := rec(
          phi := [ 11132529027237108853571528133031293170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      670 := rec(
          phi := [ 11132529027237108853573408119018093350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      671 := rec(
          phi := [ 11132529027237108853573408133018093170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      672 := rec(
          phi := [ 1113252902723710885354465681190816580
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      673 := rec(
          phi := [ 1113252902723710885354465681190816896
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      674 := rec(
          phi := [ 1113252902723710885354465681330816580
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      675 := rec(
          phi := [ 1113252902723710885354465681330816896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      676 := rec(
          phi := [ 11132529027237108853544656568694816580
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      677 := rec(
          phi := [ 11132529027237108853544656568694816896
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      678 := rec(
          phi := [ 11132529027237108853544656568834816580
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      679 := rec(
          phi := [ 11132529027237108853544656568834816896
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      680 := rec(
          phi := [ 111325290272352108853571528119031293
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      681 := rec(
          phi := [ 1113252902723521088535715281190312408
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      682 := rec(
          phi := [ 111325290272352108853571528133031293
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      683 := rec(
          phi := [ 1113252902723521088535715281330312408
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      684 := rec(
          phi := [ 111325290272352108853573408119018093
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      685 := rec(
          phi := [ 111325290272352108853573408133018093
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      686 := rec(
          phi := [ 11132529027235210885354465681190816896
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      687 := rec(
          phi := [ 11132529027235210885354465681330816896
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      688 := rec(
          phi := [ 111325290272352108853544656568694816896
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      689 := rec(
          phi := [ 111325290272352108853544656568834816896
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              2551088 ] ),
      690 := rec(
          phi := [ 11132529027235210883765715281330312408
              170432 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      691 := rec(
          phi := [ 111325290272352108837654465681330816896
              170432 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      692 := rec(
          phi := [ 1113252902723521088376544656568834816896
              674920 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              5155265271088 ] ),
      693 := rec(
          phi := [ 7172515033431088536373811908999170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      694 := rec(
          phi := [ 7172515033431088536373813308999350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      695 := rec(
          phi := [ 717251503684310885363738119042499170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      696 := rec(
          phi := [ 7172529033431088536373811908999350109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      697 := rec(
          phi := [ 7172529033431088536373813308999170109 
             ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      698 := rec(
          phi := [ 71725290334310883766373813308999170
              432 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      699 := rec(
          phi := [ 71172515014443108853631568119018499170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      700 := rec(
          phi := [ 71172515014443108853550660568694688586
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255290291310311330331350351474475486487514
              515526527674675694695714715734735746747758
              7597867877987998348358548558748758948951018
              10191030103110581059107010711088 ] ),
      701 := rec(
          phi := [ 71172515027643108853631568119031699170
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      702 := rec(
          phi := [ 71172515027643108853631568133031699350
              109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      703 := rec(
          phi := [ 71172515027643108853550660568694820586
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      704 := rec(
          phi := [ 71172515027643108853550660568834820586
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      705 := rec(
          phi := [ 7117251502763581088536315681190316414
              170109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      706 := rec(
          phi := [ 7117251502763581088536315681330316414
              350109 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      707 := rec(
          phi := [ 711725150276358108853550660568694820902
              674596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ),
      708 := rec(
          phi := [ 711725150276358108853550660568834820902
              854596 ],
          autos_yielding_iso_nrs := 
           [ 131150151170171190191202203214215242243254
              255674675694695714715734735746747758759786
              7877987991088 ] ) ) );

[zur Elbe Produktseite wechseln1.83QuellennavigatorsAnalyse erneut starten2026-06-06]