Eine aufbereitete Darstellung der Quelle

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

Benutzer

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

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

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik