Eine aufbereitete Darstellung der Quelle

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

Benutzer

Quelle  nri27_4.nr   Sprache: unbekannt

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

NI27_4 := rec(
  group_name := "27/4",
  group_generators := 
   [ ( 15,17)( 28,22)( 3,124)( 6,18,26)( 7,20,11)( 9,23,19)(10,25,16)(13,24,14)
        (15,27,21), ( 124)( 36,11)( 59,16)( 7,13,17)( 8,14,21)(10,18,22)
        (12,15,23)(19,24,26)(20,25,27) ],
  elements := rec(
      1 := (),
      2 := ( 124)( 36,11)( 59,16)( 7,13,17)( 8,14,21)(10,18,22)(12,15,23)
        (19,24,26)(20,25,27),
      3 := ( 137)( 25,10)( 48,15)( 6,12,19)( 9,17,24)(11,18,25)(13,20,21)
        (14,22,26)(16,23,27),
      4 := ( 142)( 3,116)( 5,169)( 7,17,13)( 8,21,14)(10,22,18)(12,23,15)
        (19,26,24)(20,27,25),
      5 := ( 15,17)( 28,22)( 3,124)( 6,18,26)( 7,20,11)( 9,23,19)(10,25,16)
        (13,24,14)(15,27,21),
      6 := ( 16,15)( 297)( 3,13,25)( 4,14,10)( 5,18,27)( 8,23,20)(11,22,19)
        (12,24,16)(17,26,21),
      7 := ( 173)( 2,105)( 4,158)( 6,19,12)( 9,24,17)(11,25,18)(13,21,20)
        (14,26,22)(16,27,23),
      8 := ( 18,13)( 23,18)( 45,23)( 67,24)( 9,10,26)(11,12,27)(14,15,19)
        (16,17,20)(21,22,25),
      9 := ( 19,12)( 2,14,17)( 3,15,20)( 46,22)( 57,25)( 8,10,27)(11,13,26)
        (16,18,19)(21,23,24),
      10 := ( 1,10,11)( 2,15,16)( 3,19,17)( 47,21)( 5,24,22)( 6,25,23)( 8,26,12)
        ( 9,27,13)(14,20,18),
      11 := ( 1,11,10)( 2,16,15)( 3,17,19)( 4,217)( 5,22,24)( 6,23,25)( 8,12,26)
        ( 9,13,27)(14,18,20),
      12 := ( 1,129)( 2,17,14)( 3,20,15)( 4,226)( 5,257)( 8,27,10)(11,26,13)
        (16,19,18)(21,24,23),
      13 := ( 1,138)( 2,183)( 4,235)( 6,247)( 9,26,10)(11,27,12)(14,19,15)
        (16,20,17)(21,25,22),
      14 := ( 1,14,23)( 26,13)( 3,22,27)( 49,18)( 5,12,20)( 7,26,16)( 8,17,25)
        (10,19,21)(11,15,24),
      15 := ( 1,156)( 279)( 3,25,13)( 4,10,14)( 5,27,18)( 8,20,23)(11,19,22)
        (12,16,24)(17,21,26),
      16 := ( 1,16,22)( 2,21,12)( 3,23,26)( 4,11,17)( 5,13,19)( 6,10,20)( 7,27,14)
        ( 8,18,24)( 9,15,25),
      17 := ( 1,175)( 2,228)( 34,12)( 6,26,18)( 7,11,20)( 9,19,23)(10,16,25)
        (13,14,24)(15,21,27),
      18 := ( 1,18,21)( 2,23,11)( 3,24,10)( 4,13,16)( 5,26,15)( 6,27,17)( 78,19)
        ( 9,20,22)(12,14,25),
      19 := ( 1,19,25)( 2,24,27)( 3,219)( 4,26,20)( 5,11,14)( 68,16)( 7,10,15)
        (12,17,22)(13,18,23),
      20 := ( 1,20,24)( 2,25,26)( 358)( 4,27,19)( 69,14)( 7,12,18)(10,17,23)
        (11,16,21)(13,15,22),
      21 := ( 1,21,18)( 2,11,23)( 3,10,24)( 4,16,13)( 5,15,26)( 6,17,27)( 7,198)
        ( 9,22,20)(12,25,14),
      22 := ( 1,22,16)( 2,12,21)( 3,26,23)( 4,17,11)( 5,19,13)( 6,20,10)( 7,14,27)
        ( 8,24,18)( 9,25,15),
      23 := ( 1,23,14)( 2,136)( 3,27,22)( 4,189)( 5,20,12)( 7,16,26)( 8,25,17)
        (10,21,19)(11,24,15),
      24 := ( 1,24,20)( 2,26,25)( 385)( 4,19,27)( 6,149)( 7,18,12)(10,23,17)
        (11,21,16)(13,22,15),
      25 := ( 1,25,19)( 2,27,24)( 39,21)( 4,20,26)( 5,14,11)( 6,168)( 7,15,10)
        (12,22,17)(13,23,18),
      26 := ( 1,26,27)( 2,19,20)( 3,14,16)( 4,24,25)( 56,21)( 7,22,23)( 89,11)
        (10,12,13)(15,17,18),
      27 := ( 1,27,26)( 2,20,19)( 3,16,14)( 4,25,24)( 5,216)( 7,23,22)( 8,119)
        (10,13,12)(15,18,17) ),
  group_endomorphisms := rec(
      1 := [ 111111111111111111111111
          111 ],
      2 := [ 112122422424424244112441
          111 ],
      3 := [ 113133733737737377113771
          111 ],
      4 := [ 114144244242242422114221
          111 ],
      5 := [ 115155175517517175175171711517
          171111 ],
      6 := [ 116166156615615156156151511615
          151111 ],
      7 := [ 117177377373373733117331
          111 ],
      8 := [ 118188138813813138138131311813
          131111 ],
      9 := [ 119199129912912129129121211912
          121111 ],
      10 := [ 1110110101110101110111110111011111
          11011111111 ],
      11 := [ 1111111111011111011101011101110101
          11110101111 ],
      12 := [ 111211212912129129912912991112
          991111 ],
      13 := [ 111311313813138138813813881113
          881111 ],
      14 := [ 1114114142314142314232314231423231
          11423231111 ],
      15 := [ 111511515615156156615615661115
          661111 ],
      16 := [ 1116116162216162216222216221622221
          11622221111 ],
      17 := [ 111711717517175175517517551117
          551111 ],
      18 := [ 1118118182118182118212118211821211
          11821211111 ],
      19 := [ 1119119192519192519252519251925251
          11925251111 ],
      20 := [ 1120120202420202420242420242024241
          12024241111 ],
      21 := [ 1121121211821211821181821182118181
          12118181111 ],
      22 := [ 1122122221622221622161622162216161
          12216161111 ],
      23 := [ 1123123231423231423141423142314141
          12314141111 ],
      24 := [ 1124124242024242024202024202420201
          12420201111 ],
      25 := [ 1125125251925251925191925192519191
          12519191111 ],
      26 := [ 1126126262726262726272726272627271
          12627271111 ],
      27 := [ 1127127272627272627262627262726261
          12726261111 ],
      28 := [ 121422144242214144222114
          411 ],
      29 := [ 122444411111122222224444
          411 ],
      30 := [ 124411222424441411221224
          411 ],
      31 := [ 1254891731422162376122113101920
          11181524252627 ],
      32 := [ 12649111514167322232110512131920
          8171824252627 ],
      33 := [ 1274101331518517216238221192019
          12161425242726 ],
      34 := [ 1284314135618211517923117221920
          16101224252627 ],
      35 := [ 12941416126211751815112282371920
          3131024252627 ],
      36 := [ 121041518117231622143132112652019
          179825242726 ],
      37 := [ 1211416310215156171887922231920
          14121324252627 ],
      38 := [ 12124171592271423316106135212019
          1881125242726 ],
      39 := [ 12134181782322371614125102162019
          1511925242726 ],
      40 := [ 121446212391113810121618315171920
          572224252627 ],
      41 := [ 12154723610139128111814173162019
          2252125242726 ],
      42 := [ 121642152211812913103171418151920
          623724252627 ],
      43 := [ 12174227512108131191531816142019
          2321625242726 ],
      44 := [ 12184232221131211109817161514320
          1976525242726 ],
      45 := [ 1219424242526262726272719201920202
          22425254411 ],
      46 := [ 1220425252427272627262620192019192
          22524244411 ],
      47 := [ 12214118181632314722513610121920
          9151724252627 ],
      48 := [ 12224121016171521186571123982019
          1314325242726 ],
      49 := [ 12234131214181761552122978112019
          1031625242726 ],
      50 := [ 1224426262019192519252524272427272
          22620204411 ],
      51 := [ 1225427271920202420242425262526262
          22719194411 ],
      52 := [ 1226419192724242024202026252625252
          21927274411 ],
      53 := [ 1227420202625251925191927242724242
          22026264411 ],
      54 := [ 131733177373317177333117
          711 ],
      55 := [ 1327654131211109820171915181614
          21252423222726 ],
      56 := [ 133777711111133333337777
          711 ],
      57 := [ 13471182171861521524132510121416
          9192022232627 ],
      58 := [ 1357121017201942252421116981614
          13151823222726 ],
      59 := [ 1367131215220251924459218111614
          10181723222726 ],
      60 := [ 137711333737771711331337
          711 ],
      61 := [ 1387181513242524192096112151416
          17101222232627 ],
      62 := [ 1397151712254202421911586211416
          18131022232627 ],
      63 := [ 131071921121617515181341225241614
          209823222726 ],
      64 := [ 1311717181042419252028219561416
          15121322232627 ],
      65 := [ 131272019952115618171025132441614
          281123222726 ],
      66 := [ 13137220865182117151224104251614
          1911923222726 ],
      67 := [ 1314722222326262726272714161416163
          32223237711 ],
      68 := [ 13157254691113810121721819201416
          2421522232627 ],
      69 := [ 1316723232227272627262616141614143
          32322227711 ],
      70 := [ 13177424511812913101820152191416
          2562122232627 ],
      71 := [ 13187242521891011121315191720214
          1645622232627 ],
      72 := [ 131972162510139128112152018171614
          524423222726 ],
      73 := [ 132075212412108131191918217151614
          642523222726 ],
      74 := [ 1321710131819224204256851191614
          12171523222726 ],
      75 := [ 1322726261614142314232322272227273
          32616167711 ],
      76 := [ 1323727271416162216222223262326263
          32714147711 ],
      77 := [ 13247892018155176212512413101416
          1121922232627 ],
      78 := [ 132579111915172118564102412131416
          820222232627 ],
      79 := [ 1326714142722221622161626232623233
          31427277711 ],
      80 := [ 1327716162623231423141427222722223
          31626267711 ],
      81 := [ 141244122424412122444112
          211 ],
      82 := [ 142211444242221211441442
          211 ],
      83 := [ 14328117521156181716101413122524
          9232220192726 ],
      84 := [ 144222211111144444442222
          211 ],
      85 := [ 1452316178111291013212267232524
          14151820192726 ],
      86 := [ 1462143159810111312572123222524
          16181720192726 ],
      87 := [ 1472151731012813911225236212425
          18141619202627 ],
      88 := [ 14825211331623142271118917152524
          6121020192726 ],
      89 := [ 1492651214322167238171115182524
          21101320192726 ],
      90 := [ 141027221115172118561216133142425
          238919202627 ],
      91 := [ 14112216101614732322915818172524
          5131220192726 ],
      92 := [ 141222223917186152151314101632425
          711819202627 ],
      93 := [ 14132237818155176211031214162425
          2291119202627 ],
      94 := [ 14142982365182117153131612102524
          1122720192726 ],
      95 := [ 14152101267221423163179181182425
          1321519202627 ],
      96 := [ 141621192221617515181412310132524
          872320192726 ],
      97 := [ 14172121352223371416188159112425
          1062119202627 ],
      98 := [ 141821310212371622314151117892425
          125619202627 ],
      99 := [ 1419226262524242024202019271927274
          42625252211 ],
      100 := [ 1420227272425251925191920262026264
          42724242211 ],
      101 := [ 14212161418119138121062352272524
          3171520192726 ],
      102 := [ 14222171816121311108923217562425
          1531419202627 ],
      103 := [ 14232181514131091211876222152425
          1716319202627 ],
      104 := [ 1424219192026262726272724252425254
          41920202211 ],
      105 := [ 1425220201927272627262625242524244
          42019192211 ],
      106 := [ 1426224242719192519252526202620204
          42427272211 ],
      107 := [ 1427225252620202420242427192719194
          42526262211 ],
      108 := [ 1511755117175175511711717555
          11171711 ],
      109 := [ 1521798472316221432013191210216
          11252415182726 ],
      110 := [ 1531710127242524192014916118621
          13222318152627 ],
      111 := [ 1541716321310912118247252223621
          14192018152627 ],
      112 := [ 1551717171711111155555551717
          17171711 ],
      113 := [ 15617181815262627262727621621215
          5181515171711 ],
      114 := [ 1571722039810111312232422425216
          19161415182726 ],
      115 := [ 15817232213201942252411169143216
          7121015182726 ],
      116 := [ 1591772312220251924481411316216
          22101315182726 ],
      117 := [ 15101724251131422162371219132026
          2148918152627 ],
      118 := [ 1511172271019224204259381614216
          23131215182726 ],
      119 := [ 15121725491416732223132101920621
          2411818152627 ],
      120 := [ 15131742481632314722102012219621
          2591118152627 ],
      121 := [ 15141712132325420242191683911621
          1072218152627 ],
      122 := [ 1515172727621211821181815261526265
          52766171711 ],
      123 := [ 15161713102242419252023111489621
          1223718152627 ],
      124 := [ 1517171155517517171711711551
          55171711 ],
      125 := [ 15181726262166156151518271827275
          5262121171711 ],
      126 := [ 15191711925227142331621220101321
          6824415182726 ],
      127 := [ 15201781124232237161419102131221
          6942515182726 ],
      128 := [ 15211715151827272627262621621665
          5151818171711 ],
      129 := [ 15221719216119138121074232524216
          2014315182726 ],
      130 := [ 15231720191481112910132225724421
          6231615182726 ],
      131 := [ 15241731420101281391125234722621
          1621918152627 ],
      132 := [ 1525171416191213111089422242376
          21320218152627 ],
      133 := [ 152617662718182118212126152615155
          562727171711 ],
      134 := [ 15271721212615156156627182718185
          5212626171711 ],
      135 := [ 1611566115156156611511515666
          11151511 ],
      136 := [ 16215119423223716142012191013521
          8252418172726 ],
      137 := [ 1631512137424192520214816911215
          10222317182627 ],
      138 := [ 1641531421213111089242325722215
          16192017182627 ],
      139 := [ 16515181817272726272626521521216
          6181717151511 ],
      140 := [ 1661515151511111166666661515
          15151511 ],
      141 := [ 1671519238111291013234222524521
          20161418172726 ],
      142 := [ 1681572313192242042511149316521
          22121018172726 ],
      143 := [ 1691522712201942252483111614521
          23101318172726 ],
      144 := [ 16101525411163231472212213192021
          5248917182627 ],
      145 := [ 16111523221022025192449168143521
          7131218172726 ],
      146 := [ 16121542493142216237132010219215
          2511817182627 ],
      147 := [ 16131524258141673222310191220221
          5491117182627 ],
      148 := [ 16141513102324252419201611389215
          1272217182627 ],
      149 := [ 1615151166615615151511511661
          66151511 ],
      150 := [ 16161510122225420242193914118215
          1323717182627 ],
      151 := [ 1617152626521211821181817271727276
          62655151511 ],
      152 := [ 16181527272155175171718261826266
          6272121151511 ],
      153 := [ 1619158112572316221432102013125
          21924418172726 ],
      154 := [ 16201598242271423316191321210521
          1142518172726 ],
      155 := [ 16211517171826262726272721521556
          6171818151511 ],
      156 := [ 1622152019169810111312725232445
          21214318172726 ],
      157 := [ 16231522014119138121022247425521
          1931618172726 ],
      158 := [ 16241514162013109121182522423721
          5321917182627 ],
      159 := [ 16251516319101281391147242223215
          1420217182627 ],
      160 := [ 16261521212717175175526182618186
          6212727151511 ],
      161 := [ 162715552618182118212127172717176
          652626151511 ],
      162 := [ 171377133737713133777113
          311 ],
      163 := [ 1723131046211751815191120892223
          12242514162627 ],
      164 := [ 173311777373331311771773
          311 ],
      165 := [ 1743171521191381210256245212322
          18201916142726 ],
      166 := [ 1753202171213111089642124252223
          19181514162627 ],
      167 := [ 1763219151310912118212554242223
          20171814162627 ],
      168 := [ 177333311111177777773333
          311 ],
      169 := [ 1783244131817615521112920192322
          25121016142726 ],
      170 := [ 17932524121518517216820111922322
          4101316142726 ],
      171 := [ 17103215111920422425121713181522
          2368914162627 ],
      172 := [ 1711342510171521186591982202322
          24131216142726 ],
      173 := [ 17123569202251942413151017182223
          2111814162627 ],
      174 := [ 1713362182192420254101812151722
          23591114162627 ],
      175 := [ 1714326262322221622161614271427277
          72623233311 ],
      176 := [ 17153986252424201918131712102322
          1152116142726 ],
      177 := [ 1716327272223231423141416261626267
          72722223311 ],
      178 := [ 1717311954252024192151218101323
          22821616142726 ],
      179 := [ 17183811212441925220171015131223
          2296516142726 ],
      180 := [ 17193101225215156171820921182223
          1342414162627 ],
      181 := [ 17203121324561821151728199112223
          1025414162627 ],
      182 := [ 17213192018101281391152462542223
          2151714162627 ],
      183 := [ 1722314141626262726272722232223237
          71416163311 ],
      184 := [ 1723316161427272627262623222322227
          71614143311 ],
      185 := [ 17243181720811129101345252162322
          1519216142726 ],
      186 := [ 17253151819981011131224214652322
          1722016142726 ],
      187 := [ 1726322222714142314232326162616167
          72227273311 ],
      188 := [ 1727323232616162216222227142714147
          72326263311 ],
      189 := [ 1811388113138138811311313888
          11131311 ],
      190 := [ 1821314341715211865207192322119
          16252412102726 ],
      191 := [ 1831315187201942252416211465119
          17232212102726 ],
      192 := [ 18413215272214231632417251815911
          6192010122627 ],
      193 := [ 18513222317242524192061421163911
          7181510122627 ],
      194 := [ 1861323715254202421921351416911
          22171810122627 ],
      195 := [ 1871342432151561718222023219911
          25141610122627 ],
      196 := [ 1881313131311111188888881313
          13131311 ],
      197 := [ 18913101012262627262727911911118
          8101212131311 ],
      198 := [ 18101326261199129121210271027278
          8261111131311 ],
      199 := [ 18111312121027272627262611911998
          8121010131311 ],
      200 := [ 1812132727911111011101012261226268
          82799131311 ],
      201 := [ 1813131188813813131311311881
          88131311 ],
      202 := [ 18141317152322025192443616521119
          1822712102726 ],
      203 := [ 18151320196316231422718251724411
          9252112102726 ],
      204 := [ 18161318172219224204251453216119
          1572312102726 ],
      205 := [ 18171322051432216723152418425119
          1921612102726 ],
      206 := [ 18181319221161473232217415252411
          9206512102726 ],
      207 := [ 18191316142518176155212232022711
          9324412102726 ],
      208 := [ 18201331624151851721619222723119
          1442512102726 ],
      209 := [ 1821137221842419252025166314911
          23151710122627 ],
      210 := [ 1822132425165618211517231972029
          11431410122627 ],
      211 := [ 18231325414621175181572221920911
          2416310122627 ],
      212 := [ 18241356202223371416251541718911
          2121910122627 ],
      213 := [ 1825136211923716223144182415179
          11520210122627 ],
      214 := [ 182613992710101110111126122612128
          892727131311 ],
      215 := [ 18271311112612129129927102710108
          8112626131311 ],
      216 := [ 1911299112129129911211212999
          11121211 ],
      217 := [ 19212161441518517216202319227811
          3252410132726 ],
      218 := [ 1931217157192242042516614521811
          18232210132726 ],
      219 := [ 1941256223716223142415251718118
          21192013102627 ],
      220 := [ 1951223717424192520263211416118
          22181513102627 ],
      221 := [ 1961272215242524192021165314118
          23171813102627 ],
      222 := [ 19712242536211751815221923202118
          4141613102627 ],
      223 := [ 19812101013272726272626811811119
          9101313121211 ],
      224 := [ 1991212121211111199999991212
          12121211 ],
      225 := [ 19101227271188138131310261026269
          9271111121211 ],
      226 := [ 19111213131026262726272711811889
          9131010121211 ],
      227 := [ 1912121199912912121211211991
          99121211 ],
      228 := [ 1913122626811111011101013271327279
          92688121211 ],
      229 := [ 19141218172320194225243516216811
          1522710132726 ],
      230 := [ 19151222061614732322182417425811
          1952110132726 ],
      231 := [ 19161215182222025192441421365811
          1772310132726 ],
      232 := [ 19171219253162314227154182524811
          2021610132726 ],
      233 := [ 19181220192114322167231725152448
          1126510132726 ],
      234 := [ 19191231625171521186522220723811
          1424410132726 ],
      235 := [ 19201214324181761552119722322811
          1642510132726 ],
      236 := [ 19211222231825420242195146163118
          7151713102627 ],
      237 := [ 19221225416215156171823271920118
          2431413102627 ],
      238 := [ 19231242414561821151772022219118
          2516313102627 ],
      239 := [ 19241262120722142316325184151711
          8521913102627 ],
      240 := [ 19251221519222337141641724181511
          8620213102627 ],
      241 := [ 19261211112713138138826102610109
          9112727121211 ],
      242 := [ 192712882610101110111127132713139
          982626121211 ],
      243 := [ 110111101011111101110101111111110
          101011111111 ],
      244 := [ 1102111815431422162371962021512
          13172425892627 ],
      245 := [ 1103112197181551762114251642412
          13202223892627 ],
      246 := [ 1104112272651821171525324161413
          12232019982726 ],
      247 := [ 11051125241772316221432120619213
          1241518982726 ],
      248 := [ 1106114251522714233165192122013
          12241817982726 ],
      249 := [ 11071152132524242019231822171513
          1261614982726 ],
      250 := [ 1108112626131212912998278272710
          10261313111111 ],
      251 := [ 1109112727121313813889269262610
          10271212111111 ],
      252 := [ 1101011111111111111101010101010
          10111111111111 ],
      253 := [ 11011111110101011101111111111110
          1011010111111 ],
      254 := [ 1101211889262627262727121312131310
          10899111111 ],
      255 := [ 1101311998272726272626131213121210
          10988111111 ],
      256 := [ 110141119202315172118561624325412
          132722892627 ],
      257 := [ 110151114166192042242517221823712
          133215892627 ],
      258 := [ 11016112022217186152153414242512
          1319237892627 ],
      259 := [ 11017111635202251942418715222312
          1314621892627 ],
      260 := [ 110181131421219242025415231772212
          131656892627 ],
      261 := [ 11019111517251416732223205262112
          1318424892627 ],
      262 := [ 11020111718241632314722221195612
          1315254892627 ],
      263 := [ 1102111244182322371614625201913
          12251715982726 ],
      264 := [ 11022116516425202419271723151813
          1221143982726 ],
      265 := [ 110231121614244192522022157181713
          125316982726 ],
      266 := [ 110241123222021617515184162514313
          127192982726 ],
      267 := [ 11025117231952115618172414431613
          1222220982726 ],
      268 := [ 1102611121227881381313269269910
          10122727111111 ],
      269 := [ 1102711131326991291212278278810
          10132626111111 ],
      270 := [ 111110111111010111011111101101011
          111111101011 ],
      271 := [ 1112103164181761552120221972398
          14252413122726 ],
      272 := [ 1113101817722025192441651421698
          15232213122726 ],
      273 := [ 11141062122223371416241825151789
          5192012132627 ],
      274 := [ 1115107221725420242196162131489
          23181512132627 ],
      275 := [ 11161022231542419252022114516389
          7171812132627 ],
      276 := [ 1117102543561821151722223192089
          24141612132627 ],
      277 := [ 1118101212132626272627278989911
          11121313101011 ],
      278 := [ 1119101313122727262726269898811
          11131212101011 ],
      279 := [ 11110101111111110111010101101111
          1111111101011 ],
      280 := [ 1111110101010111111111111111111
          11101010101011 ],
      281 := [ 111121026269881381313122712272711
          112699101011 ],
      282 := [ 111131027278991291212132613262611
          112788101011 ],
      283 := [ 11114101518231922420425321166598
          1722713122726 ],
      284 := [ 11115101926143221672318417252498
          2052113122726 ],
      285 := [ 11116101715222019422524146352198
          1872313122726 ],
      286 := [ 11117102019516147323221525182449
          8221613122726 ],
      287 := [ 11118102202131623142271724154259
          8196513122726 ],
      288 := [ 11119101432515185172162720232298
          1624413122726 ],
      289 := [ 11120101614241715211865192322279
          8342513122726 ],
      290 := [ 1112110237182425241920536141689
          22151712132627 ],
      291 := [ 11122104241662117518152320721989
          2531412132627 ],
      292 := [ 11123102425142151561718719222028
          9416312132627 ],
      293 := [ 11124102152023716223142517418158
          9621912132627 ],
      294 := [ 11125105619722142316341524171889
          2120212132627 ],
      295 := [ 11126108827121291299261326131311
          1182727101011 ],
      296 := [ 11127109926131381388271227121211
          1192626101011 ],
      297 := [ 112191212199129121219199121212
          119911 ],
      298 := [ 11229151741632314722195206211310
          1824251182627 ],
      299 := [ 1123919207171861521514241625413
          10222231182627 ],
      300 := [ 1124923222521156181725162414310
          13720198112726 ],
      301 := [ 11259425172322371614211962201013
          2415188112726 ],
      302 := [ 11269244157231622143522120191013
          2518178112726 ],
      303 := [ 11279653244192522023172215181013
          2116148112726 ],
      304 := [ 112892727131010111011118268262612
          122713139911 ],
      305 := [ 1129911121212912999191112121
          12129911 ],
      306 := [ 1121098811272726272626101310131312
          12811119911 ],
      307 := [ 112119262610131381388112711272712
          122610109911 ],
      308 := [ 112129999111111121212121212129
          999911 ],
      309 := [ 112139111182626272627271310131010
          121211889911 ],
      310 := [ 1121492022318155176211643242513
          10197221182627 ],
      311 := [ 1121591636219242025417718222313
          10142151182627 ],
      312 := [ 1121692192215172118563251442413
          10202371182627 ],
      313 := [ 1121793145192042242518231572213
          10166211182627 ],
      314 := [ 112189141621202251942415221723713
          103561182627 ],
      315 := [ 1121991718253142216237202125613
          10154241182627 ],
      316 := [ 1122091815241416732223261921513
          10172541182627 ],
      317 := [ 1122192524182271423316620519210
          13417158112726 ],
      318 := [ 11222921616252424201971523181710
          1351438112726 ],
      319 := [ 11223952114425202419222187171510
          1363168112726 ],
      320 := [ 1122497232065182117154142531610
          13221928112726 ],
      321 := [ 1122592271921617515182434161410
          13232208112726 ],
      322 := [ 112269131327111110111010268268812
          121327279911 ],
      323 := [ 112279101026881381313271127111112
          121026269911 ],
      324 := [ 113181313188138131318188131313
          118811 ],
      325 := [ 11328171841416732223192120561012
          1524259112627 ],
      326 := [ 11338202715172118561441624251012
          1922239112627 ],
      327 := [ 11348723221617515182514243161210
          2220191192726 ],
      328 := [ 11358244172271423316212620191210
          2515181192726 ],
      329 := [ 1136825241523223716145202119212
          10418171192726 ],
      330 := [ 1137821634252024192231522181712
          10516141192726 ],
      331 := [ 1138811131313813888181113131
          13138811 ],
      332 := [ 113982626121010111011119279272713
          132612128811 ],
      333 := [ 1131089911262627262727101210121213
          13911118811 ],
      334 := [ 113118272710121291299112611262613
          132710108811 ],
      335 := [ 113128111192727262726261210121010
          131311998811 ],
      336 := [ 113138888111111131313131313138
          888811 ],
      337 := [ 1131482192317186152151625342410
          12207229112627 ],
      338 := [ 1131583146202251942417231872210
          12162159112627 ],
      339 := [ 11316819202218155176213241425410
          1222379112627 ],
      340 := [ 11317814165219242025418221523710
          1236219112627 ],
      341 := [ 11318816321192042242515717222310
          1214569112627 ],
      342 := [ 1131981815251632314722206221510
          12174249112627 ],
      343 := [ 1132081517243142216237251962110
          12182549112627 ],
      344 := [ 11321842518723162214361952201210
          2417151192726 ],
      345 := [ 11322852116244192522071823171512
          1061431192726 ],
      346 := [ 1132386514252424201922177151812
          10213161192726 ],
      347 := [ 1132482272052115618174325161412
          10231921192726 ],
      348 := [ 11325823221965182117152416414312
          1072201192726 ],
      349 := [ 113268101027991291212261126111113
          131027278811 ],
      350 := [ 113278121226111110111010279279913
          131226268811 ],
      351 := [ 114123141412323142314141231232314
          141411232311 ],
      352 := [ 1142232164121081311920151918173
          16525242272726 ],
      353 := [ 114323222272727262726263163161614
          142277232311 ],
      354 := [ 11442389215172118562412251310163
          1119207222627 ],
      355 := [ 11452313121719224204252196811316
          1015182272726 ],
      356 := [ 11462310131520194225245821119316
          1218172272726 ],
      357 := [ 114723262631616221622227277272714
          142633232311 ],
      358 := [ 11482315171342419252029511621163
          1810127222627 ],
      359 := [ 11492317181224252419201121856163
          1513107222627 ],
      360 := [ 114102320191165182117151325122443
          162982272726 ],
      361 := [ 11411231815102542024219869215163
          1712137222627 ],
      362 := [ 1141223220921617515181024134253
          16198112272726 ],
      363 := [ 1141323192852115618171241025243
          16201192272726 ],
      364 := [ 1141423232323111111141414141414
          14232323232311 ],
      365 := [ 11415234246891011121317201821916
          3252157222627 ],
      366 := [ 11416237722262627262727163163314
          1472222232311 ],
      367 := [ 114172324255911138101218191520216
          346217222627 ],
      368 := [ 114182325421118129131015217192016
          324567222627 ],
      369 := [ 11419235212513121110982182017153
          1662442272726 ],
      370 := [ 1142023652410139128111917215183
          16214252272726 ],
      371 := [ 11421231210182202519244611598316
          1317152272726 ],
      372 := [ 1142223272716337377222622262614
          14271616232311 ],
      373 := [ 11423231114141423142323231231114
          1411414232311 ],
      374 := [ 114242391120171861521525104121316
          382197222627 ],
      375 := [ 114252311819181551762141324101216
          392027222627 ],
      376 := [ 1142623161627773733262226222214
          14162727232311 ],
      377 := [ 11427233326222216221616277277714
          1432626232311 ],
      378 := [ 115161515166156151516166151515
          116611 ],
      379 := [ 11526237411812913101932014161718
          2224252152627 ],
      380 := [ 11536425712108131191619142201817
          2423225212726 ],
      381 := [ 11546121023162314227251124981817
          1320195212726 ],
      382 := [ 115562727171818211821215265262615
          152717176611 ],
      383 := [ 1156611151515615666161115151
          15156611 ],
      384 := [ 11576893192042242522122313101718
          1114162152627 ],
      385 := [ 1158619201372214231639241125417
          18210122152627 ],
      386 := [ 11596202122223371416114824251718
          1913102152627 ],
      387 := [ 115106161411252424201913231222718
          173985212726 ],
      388 := [ 11511621910237162231482594241718
          2012132152627 ],
      389 := [ 1151263169425202419210221372318
          17148115212726 ],
      390 := [ 1151361438244192522012710232218
          17161195212726 ],
      391 := [ 1151462442313121110983216201918
          17252275212726 ],
      392 := [ 115156666111111151515151515156
          666611 ],
      393 := [ 11516625242210139128111420319218
          1747235212726 ],
      394 := [ 115176212152626272627271718171818
          151521556611 ],
      395 := [ 1151865521272726272626181718171715
          15521216611 ],
      396 := [ 1151967222589101112132016231417
          18234242152627 ],
      397 := [ 11520622232491113810122141916317
          1872542152627 ],
      398 := [ 115216262618171751755212721272715
          152618186611 ],
      399 := [ 11522691116202251942423107121317
          1883142152627 ],
      400 := [ 11523611814219242025471322101217
          1891632152627 ],
      401 := [ 1152461312201432216723492581118
          17101925212726 ],
      402 := [ 1152561013191614732322248411918
          17122205212726 ],
      403 := [ 115266171727212118211818265265515
          151727276611 ],
      404 := [ 115276181826551751717272127212115
          151826266611 ],
      405 := [ 116122161612222162216161221222216
          161611222211 ],
      406 := [ 11622252141013912811201819171514
          3625247232726 ],
      407 := [ 116322232372626272627273143141416
          162377222211 ],
      408 := [ 1164229112181551762124102512133
          14819202372627 ],
      409 := [ 11652210131722025192442186119143
          1215187232726 ],
      410 := [ 11662212101519224204255112198143
          1318177232726 ],
      411 := [ 116722272731414231423237267262616
          162733222211 ],
      412 := [ 11682217181325420242199211156314
          1510122372627 ],
      413 := [ 11692218151242419252021168215314
          1713102372627 ],
      414 := [ 116102222011521156181713241242514
          319987232726 ],
      415 := [ 11611221517102425241920859621314
          1812132372627 ],
      416 := [ 11612221929651821171510413252414
          3208117232726 ],
      417 := [ 116132220198216175151812251024414
          321197232726 ],
      418 := [ 11614227723272726272626143143316
          1672323222211 ],
      419 := [ 11615222425611812913101719182023
          1442152372627 ],
      420 := [ 1161622222222111111161616161616
          16222222222211 ],
      421 := [ 1161722254589101112131821519203
          14246212372627 ],
      422 := [ 11618224242191113810121520172193
          1425562372627 ],
      423 := [ 11619226525121081311921720151814
          3212447232726 ],
      424 := [ 116202221624131211109819152181714
          354257232726 ],
      425 := [ 11621221312182019422524695811143
          1017157232726 ],
      426 := [ 11622221116161622162222221221116
          1611616222211 ],
      427 := [ 1162322262614337377232723272716
          16261414222211 ],
      428 := [ 11624221182015172118562513410123
          1492192372627 ],
      429 := [ 1162522891917186152154122413103
          14112022372627 ],
      430 := [ 11626223327232314231414267267716
          1632727222211 ],
      431 := [ 1162722141426773733272327232316
          16142626222211 ],
      432 := [ 117151717155175171715155171717
          115511 ],
      433 := [ 11725722491113810121916203141815
          2324256212627 ],
      434 := [ 11735244710139128111621420191518
          2523222162726 ],
      435 := [ 11745131221614732322259248111518
          1020192162726 ],
      436 := [ 1175511171717517555151117171
          17175511 ],
      437 := [ 117652626151818211821216276272717
          172615155511 ],
      438 := [ 1177591132192420254221023121318
          15814166212627 ],
      439 := [ 11785202132371622314941124251815
          1910126212627 ],
      440 := [ 11795219127221423163112584241815
          2013106212627 ],
      441 := [ 11710531611244192522013221272315
          1814982162726 ],
      442 := [ 1171151920102223371416824925418
          15212136212627 ],
      443 := [ 1171251439252424201910713232215
          18168112162726 ],
      444 := [ 11713516148425202419212231022715
          1831192162726 ],
      445 := [ 11714525242312108131193201619215
          1842272162726 ],
      446 := [ 117155212162727262726261518151818
          171721665511 ],
      447 := [ 1171654252213121110981419322015
          18247232162726 ],
      448 := [ 117175555111111171717171717175
          555511 ],
      449 := [ 1171856621262627262727181518151517
          17621215511 ],
      450 := [ 11719522232511812913102014216318
          1574246212627 ],
      451 := [ 1172052372489101112132319141618
          15222546212627 ],
      452 := [ 117215272718151561566212621262617
          172718185511 ],
      453 := [ 11722511816192042242523137101218
          1593146212627 ],
      454 := [ 1172358914202251942471222131018
          15111636212627 ],
      455 := [ 1172451013203162314227482511915
          18121922162726 ],
      456 := [ 1172551210191432216723241149815
          18132202162726 ],
      457 := [ 117265181827661561515262126212117
          171827275511 ],
      458 := [ 117275151526212118211818276276617
          171526265511 ],
      459 := [ 118121181812121182118181211212118
          181811212111 ],
      460 := [ 11822122234891011121319142016315
          1772425562627 ],
      461 := [ 11832125247131211109816201419217
          1542322652726 ],
      462 := [ 1184211013214322167232582411917
          15122019652726 ],
      463 := [ 1185212626171515615665275272718
          18261717212111 ],
      464 := [ 1186212727151717517556266262618
          18271515212111 ],
      465 := [ 11872111832022519424221323101215
          1791416562627 ],
      466 := [ 1188212191322233714169251142415
          17201012562627 ],
      467 := [ 11892119201223716223141124825415
          1721310562627 ],
      468 := [ 118102114311425202419213712232217
          151698652726 ],
      469 := [ 1181121202107221423163849242515
          17191213562627 ],
      470 := [ 118122116149244192522010231322717
          153811652726 ],
      471 := [ 11813213168252424201912221072317
          1514119652726 ],
      472 := [ 11814214252310139128113191622017
          1524227652726 ],
      473 := [ 1181521556262627262727151715171718
          18566212111 ],
      474 := [ 11816212442212108131191423201917
          1525723652726 ],
      475 := [ 1181721665272726272626171517151518
          18655212111 ],
      476 := [ 1181821212121111111181818181818
          18212121212111 ],
      477 := [ 11819212372591113810122032141615
          1722424562627 ],
      478 := [ 11820217222411812913102161931415
          1723254562627 ],
      479 := [ 11821211118181821182121211211118
          1811818212111 ],
      480 := [ 11822218916219242025423127131015
          1711314562627 ],
      481 := [ 118232191114192042242571022121315
          178163562627 ],
      482 := [ 11824211210201614732322411259817
          1513192652726 ],
      483 := [ 11825211312193162314227249481117
          1510220652726 ],
      484 := [ 1182621151527551751717266266618
          18152727212111 ],
      485 := [ 1182721171726661561515275275518
          18172626212111 ],
      486 := [ 119125191912525192519191251252519
          191911252511 ],
      487 := [ 119225242442727262726262202202019
          192444252511 ],
      488 := [ 11932562171181291310141816151720
          2522234242627 ],
      489 := [ 119425262622020242024244274272719
          192622252511 ],
      490 := [ 11952591117163231472261021121320
          2818154242627 ],
      491 := [ 11962511815314221623721135101220
          2917184242627 ],
      492 := [ 11972512103181761552123112298220
          1316142442726 ],
      493 := [ 11982514161321515617189221123720
          2310124242627 ],
      494 := [ 11992516312561821151711782223202
          1413104242627 ],
      495 := [ 11910251715112322371614136125212
          2018982442726 ],
      496 := [ 11911253141062117518158239722202
          1612134242627 ],
      497 := [ 1191225181797231622143105132162
          20158112442726 ],
      498 := [ 1191325151882271423316122110652
          20171192442726 ],
      499 := [ 119142521523891011121316173181520
          267224242627 ],
      500 := [ 1191525227613121110981831716142
          20235212442726 ],
      501 := [ 11916255622911138101231514171820
          2212374242627 ],
      502 := [ 11917252322510139128111516181432
          2072162442726 ],
      503 := [ 11918257232112108131191714153162
          2022652442726 ],
      504 := [ 1191925252525111111191919191919
          19252525252511 ],
      505 := [ 11920254424262627262727202202219
          1942424252511 ],
      506 := [ 11921258918141673222351261310202
          1115174242627 ],
      507 := [ 1192225131216151851721679238112
          20101432442726 ],
      508 := [ 1192325101314171521186522871192
          20123162442726 ],
      509 := [ 1192425272720224244242624262619
          19272020252511 ],
      510 := [ 11925251119191925192525251251119
          1911919252511 ],
      511 := [ 1192625202027442422262426242419
          19202727252511 ],
      512 := [ 11927252226242420242020274274419
          1922626252511 ],
      513 := [ 120124202012424202420201241242420
          202011242411 ],
      514 := [ 120224252542626272627272192191920
          202544242411 ],
      515 := [ 1203242157911138101214171618152
          19622232542627 ],
      516 := [ 120424272721919251925254264262620
          202722242411 ],
      517 := [ 1205241181714167322236132110122
          19918152542627 ],
      518 := [ 12062489151632314722211251310219
          1117182542627 ],
      519 := [ 12072413123171521186523922811192
          1016144252726 ],
      520 := [ 12082416313621175181597112223219
          1410122542627 ],
      521 := [ 12092431412215156171811238722219
          1613102542627 ],
      522 := [ 120102418171122714233161351221619
          215984252726 ],
      523 := [ 1201124141610561821151782292372
          19312132542627 ],
      524 := [ 12012241518923223716141021136519
          2178114252726 ],
      525 := [ 12013241715872316221431261052119
          2181194252726 ],
      526 := [ 1201424562311812913101615317182
          19217222542627 ],
      527 := [ 120152423226121081311918161714319
          275214252726 ],
      528 := [ 12016246212289101112133181415172
          1952372542627 ],
      529 := [ 12017247235131211109815141831619
          2222164252726 ],
      530 := [ 120182422721101391281117315161419
          223654252726 ],
      531 := [ 12019244425272726272626192192220
          2042525242411 ],
      532 := [ 1202024242424111111202020202020
          20242424242411 ],
      533 := [ 1202124911183142216237510612132
          19815172542627 ],
      534 := [ 12022241013161817615521782311919
          2121434252726 ],
      535 := [ 12023241210141518517216221179819
          2133164252726 ],
      536 := [ 12024241120202024202424241241120
          2012020242411 ],
      537 := [ 1202524262619224244252725272720
          20261919242411 ],
      538 := [ 12026242227252519251919264264420
          2022727242411 ],
      539 := [ 1202724191926442422272527252520
          20192626242411 ],
      540 := [ 121118212111818211821211181181821
          212111181811 ],
      541 := [ 12121881142271423316201019131265
          9252417152726 ],
      542 := [ 1213181310725420242191411168956
          12222315172627 ],
      543 := [ 12141814162101281391124222523756
          3192015172627 ],
      544 := [ 1215181515172626272627275656621
          21151717181811 ],
      545 := [ 1216181717152727262726266565521
          21171515181811 ],
      546 := [ 12171820193119138121023252224465
          2161417152726 ],
      547 := [ 1218182271322025192441139161465
          23121017152726 ],
      548 := [ 12191823221219224204258161114365
          7101317152726 ],
      549 := [ 12110184241114167322231220132195
          6258915172627 ],
      550 := [ 1211118723102019422524914831665
          22131217152726 ],
      551 := [ 12112182425916323147221319102025
          6411815172627 ],
      552 := [ 12113182548314221623710212192056
          2491115172627 ],
      553 := [ 12114181012234241925202169311856
          1372215172627 ],
      554 := [ 121151826266551751717152715272721
          212666181811 ],
      555 := [ 12116181213222425241920381491156
          1023715172627 ],
      556 := [ 121171827275661561515172617262621
          212755181811 ],
      557 := [ 12118181121212118211818181181121
          2112121181811 ],
      558 := [ 12119189825232237161421320121065
          1124417152726 ],
      559 := [ 12120181192472316221431912210136
          5842517152726 ],
      560 := [ 1212118181818111111212121212121
          21181818181811 ],
      561 := [ 12122182201681112910137242342565
          1914317152726 ],
      562 := [ 12123181921498101113122247252465
          2031617152726 ],
      563 := [ 12124181632012131110892574222356
          1421915172627 ],
      564 := [ 12125183141913109121184232472256
          1620215172627 ],
      565 := [ 12126185527151561566261726171721
          2152727181811 ],
      566 := [ 12127186626171751755271527151521
          2162626181811 ],
      567 := [ 122116222211616221622221161161622
          222211161611 ],
      568 := [ 12221610124561821151719920118237
          1324253142627 ],
      569 := [ 122316262672323142314143273272722
          222677161611 ],
      570 := [ 12241618172981011131225524216723
          1520191432726 ],
      571 := [ 12251621917101281391162521424237
          2018153142627 ],
      572 := [ 12261619201512131110892124525423
          7217183142627 ],
      573 := [ 122716141432727262726267237232322
          221433161611 ],
      574 := [ 1228162524131715211865112091927
          23412101432726 ],
      575 := [ 12291642512181761552181911220723
          2410131432726 ],
      576 := [ 122101656112192420254121513171823
          721893142627 ],
      577 := [ 12211162441015185172169282019723
          2513121432726 ],
      578 := [ 122121662191920422425131810151723
          751183142627 ],
      579 := [ 122131621582022519424101712181523
          769113142627 ],
      580 := [ 1221416272723773733142614262622
          22272323161611 ],
      581 := [ 12215161196244192522018121710137
          2385211432726 ],
      582 := [ 12216161122222216221616161161122
          2212222161611 ],
      583 := [ 12217168115252424201915101813127
          2392161432726 ],
      584 := [ 12218169821425202419217131512107
          2311651432726 ],
      585 := [ 12219161213256211751815208291123
          7104243142627 ],
      586 := [ 12220161310242151561718211198923
          7122543142627 ],
      587 := [ 12221162021813109121185462425237
          1915173142627 ],
      588 := [ 1222216161616111111222222222222
          22161616161611 ],
      589 := [ 12223163314262627262727237237722
          2231414161611 ],
      590 := [ 1222416151820119138121042125657
          23171921432726 ],
      591 := [ 1222516171519811129101324645217
          23182201432726 ],
      592 := [ 1222616232327337377261426141422
          22232727161611 ],
      593 := [ 12227167726141423142323273273322
          2272626161611 ],
      594 := [ 123114232311414231423231141141423
          232311141411 ],
      595 := [ 12321412134215156171819820911722
          1024251632627 ],
      596 := [ 123314272772222162216163263262623
          232777141411 ],
      597 := [ 12341415182811129101325212465227
          1720193162726 ],
      598 := [ 1235141920171310912118624212547
          22218151632627 ],
      599 := [ 12361420215101281391121452425722
          1917181632627 ],
      600 := [ 123714161632626272627277227222223
          231633141411 ],
      601 := [ 12381442513151851721611199220227
          2412103162726 ],
      602 := [ 12391424412171521186582112019227
          2510133162726 ],
      603 := [ 123101462111202251942412181315177
          225891632627 ],
      604 := [ 12311142524101817615521920819222
          7413123162726 ],
      605 := [ 12312142159219242025413171018157
          2261181632627 ],
      606 := [ 1231314568192042242510151217187
          22219111632627 ],
      607 := [ 12314141123232314231414141141123
          2312323141411 ],
      608 := [ 123151481164252024192181017131222
          795213162726 ],
      609 := [ 1231614262622773733162716272723
          23262222141411 ],
      610 := [ 12317149852441925220151318121022
          7112163162726 ],
      611 := [ 1231814119212524242019171215101322
          78653162726 ],
      612 := [ 1231914131025561821151720112897
          22124241632627 ],
      613 := [ 1232014101224621175181529191187
          22132541632627 ],
      614 := [ 12321142191812131110895256424722
          2015171632627 ],
      615 := [ 12322143316272726272626227227723
          2331616141411 ],
      616 := [ 1232314141414111111232323232323
          23141414141411 ],
      617 := [ 12324141715209810111312462552122
          7181923162726 ],
      618 := [ 12325141817191191381210245421622
          7152203162726 ],
      619 := [ 12326147727161622162222263263323
          2372727141411 ],
      620 := [ 1232714222226337377271627161623
          23222626141411 ],
      621 := [ 124120242412020242024241201202024
          242411202011 ],
      622 := [ 124220262642525192519192272272724
          242644202011 ],
      623 := [ 12432098721617515181613141210425
          1123221922726 ],
      624 := [ 124420191922727262726264254252524
          241922202011 ],
      625 := [ 12452014317119138121021762322425
          1615181922726 ],
      626 := [ 1246201614158111291013523212274
          25318171922726 ],
      627 := [ 12472017183131091211822212356254
          1514162192627 ],
      628 := [ 12482065131614732322111791518425
          2112101922726 ],
      629 := [ 1249202161231623142278151118174
          25510131922726 ],
      630 := [ 1241020222311181551762112141316325
          47892192627 ],
      631 := [ 1241120521101432216723918817154
          25613121922726 ],
      632 := [ 12412202379151721185613310141625
          4221182192627 ],
      633 := [ 12413207228171861521510161231425
          4239112192627 ],
      634 := [ 12414201192352115618173121610134
          2582271922726 ],
      635 := [ 12415201213623716223141781891125
          4102152192627 ],
      636 := [ 12416208112265182117151410313124
          2597231922726 ],
      637 := [ 12417201310572214231631811158925
          4126212192627 ],
      638 := [ 124182010122122233714161591711825
          413562192627 ],
      639 := [ 1241920272725442422192619262624
          24272525202011 ],
      640 := [ 12420201124242420242020201201124
          2412424202011 ],
      641 := [ 12421203161898101113126225723425
          1417151922726 ],
      642 := [ 12422201815161012813911236721525
          4173142192627 ],
      643 := [ 12423201517141213111089752262125
          4181632192627 ],
      644 := [ 1242420202020111111242424242424
          24202020202011 ],
      645 := [ 12425202219262627262727254254424
          2421919202011 ],
      646 := [ 1242620252527224244261926191924
          24252727202011 ],
      647 := [ 12427204426191925192525272272224
          2442626202011 ],
      648 := [ 125119252511919251925251191191925
          252511191911 ],
      649 := [ 125219272742424202420202262262625
          252744191911 ],
      650 := [ 12531911976518211715161214101324
          4823222202726 ],
      651 := [ 125419202022626272627274244242425
          252022191911 ],
      652 := [ 12551916141798101113122123622724
          4315182202726 ],
      653 := [ 12561931615119138121052221723244
          1418172202726 ],
      654 := [ 12571918153121311108922623215424
          1714162022627 ],
      655 := [ 12581921613143221672311159181724
          4512102202726 ],
      656 := [ 12591952112161473232281811171524
          4610132202726 ],
      657 := [ 12510192371117186152151231314164
          2422892022627 ],
      658 := [ 12511196510316231422791781518244
          2113122202726 ],
      659 := [ 1251219722918155176211316103144
          24231182022627 ],
      660 := [ 12513192223815172118561014121634
          2479112022627 ],
      661 := [ 125141981123216175151831016131224
          492272202726 ],
      662 := [ 1251519131062223371416171118894
          24122152022627 ],
      663 := [ 12516199822521156181714133121024
          4117232202726 ],
      664 := [ 1251719101252371622314189151184
          24136212022627 ],
      665 := [ 12518191213217221423163158179114
          2410562022627 ],
      666 := [ 12519191125252519251919191191125
          2512525191911 ],
      667 := [ 1252019262624442422202720272725
          25262424191911 ],
      668 := [ 12521191431881112910136752322244
          1617152202726 ],
      669 := [ 1252219151716131091211823576214
          24183142022627 ],
      670 := [ 1252319171814101281391172122564
          24151632022627 ],
      671 := [ 12524192220272726272626244244425
          2522020191911 ],
      672 := [ 1252519191919111111252525252525
          25191919191911 ],
      673 := [ 12526194427202024202424262262225
          2542727191911 ],
      674 := [ 1252719242426224244272027202025
          25242626191911 ],
      675 := [ 126127262612727262726261271272726
          262611272711 ],
      676 := [ 126227191942020242024242252252526
          261944272711 ],
      677 := [ 126327141471616221622223233232326
          261477272711 ],
      678 := [ 126427242422525192519194204202026
          262422272711 ],
      679 := [ 12652766172121182118185155151526
          2661717272711 ],
      680 := [ 1266272121155517517176186181826
          26211515272711 ],
      681 := [ 126727222232323142314147167161626
          262233272711 ],
      682 := [ 12682799131111101110108128121226
          2691313272711 ],
      683 := [ 1269271111128813813139109101026
          26111212272711 ],
      684 := [ 1261027121211131381388109109926
          26121111272711 ],
      685 := [ 12611278810991291212111311131326
          2681010272711 ],
      686 := [ 126122713139101011101111128128826
          261399272711 ],
      687 := [ 126132710108121291299131113111126
          261088272711 ],
      688 := [ 1261427161623337377142214222226
          26162323272711 ],
      689 := [ 126152717176181821182121155155526
          261766272711 ],
      690 := [ 12616273322141423142323167167726
          2632222272711 ],
      691 := [ 126172718185151561566172117212126
          261855272711 ],
      692 := [ 1261827151521171751755186186626
          26152121272711 ],
      693 := [ 1261927202025224244192419242426
          26202525272711 ],
      694 := [ 12620272224191925192525204204426
          2622424272711 ],
      695 := [ 12621275518661561515211721171726
          2651818272711 ],
      696 := [ 1262227232316773733221422141426
          26231616272711 ],
      697 := [ 12623277714222216221616233233326
          2671414272711 ],
      698 := [ 1262427252520442422241924191926
          26252020272711 ],
      699 := [ 12625274419242420242020252252226
          2641919272711 ],
      700 := [ 1262627272727111111262626262626
          26272727272711 ],
      701 := [ 12627271126262627262727271271126
          2612626272711 ],
      702 := [ 127126272712626272627271261262627
          272711262611 ],
      703 := [ 127226202041919251925252242242427
          272044262611 ],
      704 := [ 127326161671414231423233223222227
          271677262611 ],
      705 := [ 127426252522424202420204194191927
          272522262611 ],
      706 := [ 1275262121176615615155185181827
          27211717262611 ],
      707 := [ 12762655152121182118186176171727
          2751515262611 ],
      708 := [ 127726232332222162216167147141427
          272333262611 ],
      709 := [ 1278261111139912912128108101027
          27111313262611 ],
      710 := [ 12792688121111101110109139131327
          2781212262611 ],
      711 := [ 1271026131311121291299108108827
          27131111262611 ],
      712 := [ 12711269910881381313111211121227
          2791010262611 ],
      713 := [ 127122610109131381388121112111127
          271099262611 ],
      714 := [ 127132612128101011101111139139927
          271288262611 ],
      715 := [ 12714263323161622162222147147727
          2732323262611 ],
      716 := [ 127152618186171751755152115212127
          271866262611 ],
      717 := [ 1271626141422337377162316232327
          27142222262611 ],
      718 := [ 127172615155181821182121176176627
          271555262611 ],
      719 := [ 1271826171721151561566185185527
          27172121262611 ],
      720 := [ 12719262225202024202424194194427
          2722525262611 ],
      721 := [ 1272026191924224244202520252527
          27192424262611 ],
      722 := [ 12721266618551751717211521151527
          2761818262611 ],
      723 := [ 12722267716232314231414223223327
          2771616262611 ],
      724 := [ 1272326222214773733231623161627
          27221414262611 ],
      725 := [ 12724264420252519251919242242227
          2742020262611 ],
      726 := [ 1272526242419442422252025202027
          27241919262611 ],
      727 := [ 12726261127272726272626261261127
          2712727262611 ],
      728 := [ 1272726262626111111272727272727
          27262626262611 ],
      729 := [ 1234567891011121314151617181920
          21222324252627 ] ),
  classes := rec(
      1 := rec(
          phi := [ 12345678910111213141516173819
              20729222324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      2 := rec(
          phi := [ 12345678910111213141516178719
              20729222324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      3 := rec(
          phi := [ 123456789101112131415861764319
              207295292324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      4 := rec(
          phi := [ 123456789101112138315729171819
              2021338724252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      5 := rec(
          phi := [ 123456789384941213729151617500
              19205182251924252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      6 := rec(
          phi := [ 12345678951931121314153417525
              19207295292324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      7 := rec(
          phi := [ 123456789632341213141572917635
              1920316432324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      8 := rec(
          phi := [ 123456740424472941431415161718
              192021222324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      9 := rec(
          phi := [ 12345674042102729103871415161718
              192021222324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      10 := rec(
          phi := [ 123456748872910351567064314151617
              18192021222324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      11 := rec(
          phi := [ 1234531783463388525137295298317
              63719208562751924252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      12 := rec(
          phi := [ 1234404279683499433481410216103
              8767670372922236787052627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      13 := rec(
          phi := [ 1234404279683499433481410216103
              871920729222324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      14 := rec(
          phi := [ 12348365077295158748865462770433677
              519492192062370868124252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      15 := rec(
          phi := [ 123483650772951587488654627143316
              5194921920623222324252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      16 := rec(
          phi := [ 12314343536729404142434432334748
              49192037383924252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      17 := rec(
          phi := [ 1231434359572940874210210332904792
              93192037979824252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              7273747778109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159190191
              192193194195202203204205206207208209210211
              212213217218219220221222229230231232233234
              235236237238239240244245246247248249256257
              258259260261262263264265266267352354355356
              358359360361362363365367368369370371374375
              406408409410412413414415416417419421422423
              424425428429460461462465466467468469470471
              472474477478480481482483488490491492493494
              495496497498499500501502503506507508515517
              518519520521522523524525526527528529530533
              534535729 ] ),
      18 := rec(
          phi := [ 124044915064952152352552052252442503
              7295005021920490334824252627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      19 := rec(
          phi := [ 128381404279683499433481410216103
              87525372922231061072627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      20 := rec(
          phi := [ 128381404279683499433481410216103
              8748651372922236216482627 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      21 := rec(
          phi := [ 128381404279683499433481410216103
              874865137292223621648675702 ],
          autos_yielding_iso_nrs := [ 313233343536373839404142
              434447484955575859616263646566687071
              727374777883858687888990919293949596
              9798101102103109110111114115116117118119120
              121123126127129130131132136137138141142143
              144145146147148150153154156157158159163165
              166167169170171172173174176178179180181182
              185186190191192193194195202203204205206207
              208209210211212213217218219220221222229230
              231232233234235236237238239240244245246247
              248249256257258259260261262263264265266267
              271272273274275276283284285286287288289290
              291292293294298299300301302303310311312313
              314315316317318319320321325326327328329330
              337338339340341342343344345346347348352354
              355356358359360361362363365367368369370371
              374375379380381384385386387388389390391393
              396397399400401402406408409410412413414415
              416417419421422423424425428429433434435438
              439440441442443444445447450451453454455456
              460461462465466467468469470471472474477478
              480481482483488490491492493494495496497498
              499500501502503506507508515517518519520521
              522523524525526527528529530533534535541542
              543546547548549550551552553555558559561562
              563564568570571572574575576577578579581583
              584585586587590591595597598599601602603604
              605606608610611612613614617618623625626627
              628629630631632633634635636637638641642643
              650652653654655656657658659660661662663664
              665668669670729 ] ),
      22 := rec(
          phi := [ 38316472943438056326299272245218191596
              137569110542650623461407353515488704677 ],
          autos_yielding_iso_nrs := [ 313234353640424455585961
              6263717273838586888990949698109110115
              116117121123126127136137142143144148150153
              154163166167169170171179180181190191193194
              202204206207208217218220221229231233234235
              244245247248256258260261262271272274275283
              285287288289298299301302310312314315316325
              326328329337339341342343352355356358359360
              368369370379380385386387391393396397406409
              410412413414422423424433434439440441445447
              450451460461466467468472474477478488490491
              493494495499501503515517518520521522526528
              530541542547548549553555558559568571572574
              575576584585586595598599601602603611612613
              623625626628629630634636638650652653655656
              657661663665729 ] ) ) );

[Verzeichnis aufwärts0.177unsichere VerbindungÜbersetzung europäischer Sprachen durch Browser2026-07-02]

                                                                                                                                                                                                                                                                                                                                                                                                     


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