# Cycle types of the transitive groups of degree 19 (tables/transitive-19.txt):
# k ; type:count ...  (computed by examples/write_lattice.rs)
1 ; 19:18 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
2 ; 19:18 2.2.2.2.2.2.2.2.2.1:19 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
3 ; 19:18 3.3.3.3.3.3.1:38 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
4 ; 19:18 6.6.6.1:38 3.3.3.3.3.3.1:38 2.2.2.2.2.2.2.2.2.1:19 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
5 ; 19:18 9.9.1:114 3.3.3.3.3.3.1:38 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
6 ; 19:18 18.1:114 9.9.1:114 6.6.6.1:38 3.3.3.3.3.3.1:38 2.2.2.2.2.2.2.2.2.1:19 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
7 ; 19:6402373705728000 17.1.1:3577797070848000 16.2.1:3801409387776000 15.3.1:2703224453529600 15.2.2:1013709170073600 15.1.1.1.1:337903056691200 14.4.1:2172233935872000 14.3.2:1448155957248000 14.2.1.1.1:724077978624000 13.5.1:1871463083212800 13.4.2:1169664427008000 13.3.3:519850856448000 13.3.1.1.1:519850856448000 13.2.2.1.1:584832213504000 13.1.1.1.1.1.1:12996271411200 12.6.1:1689515283456000 12.5.2:1013709170073600 12.4.3:844757641728000 12.4.1.1.1:422378820864000 12.3.2.1.1:844757641728000 12.2.2.2.1:211189410432000 12.2.1.1.1.1.1:42237882086400 11.7.1:1579806498816000 11.6.2:921553790976000 11.5.3:737243032780800 11.5.1.1.1:368621516390400 11.4.4:345582671616000 11.4.2.1.1:691165343232000 11.3.3.1.1:307184596992000 11.3.2.2.1:460776895488000 11.3.1.1.1.1.1:30718459699200 11.2.2.2.2:28798555968000 11.2.2.1.1.1.1:57597111936000 11.1.1.1.1.1.1.1.1:274271961600 10.8.1:1520563755110400 10.7.2:868893574348800 10.6.3:675806113382400 10.6.1.1.1:337903056691200 10.5.4:608225502044160 10.5.2.1.1:608225502044160 10.4.3.1.1:506854585036800 10.4.2.2.1:380140938777600 10.4.1.1.1.1.1:25342729251840 10.3.3.2.1:337903056691200 10.3.2.2.2:84475764172800 10.3.2.1.1.1.1:84475764172800 10.2.2.2.1.1.1:42237882086400 10.2.1.1.1.1.1.1.1:1206796631040 9.9.1:750895681536000 9.8.2:844757641728000 9.7.3:643624869888000 9.7.1.1.1:321812434944000 9.6.4:563171761152000 9.6.2.1.1:563171761152000 9.5.5:270322445352960 9.5.3.1.1:450537408921600 9.5.2.2.1:337903056691200 9.5.1.1.1.1.1:22526870446080 9.4.4.1.1:211189410432000 9.4.3.2.1:563171761152000 9.4.2.2.2:70396470144000 9.4.2.1.1.1.1:70396470144000 9.3.3.3.1:83432853504000 9.3.3.2.2:93861960192000 9.3.3.1.1.1.1:31287320064000 9.3.2.2.1.1.1:93861960192000 9.3.1.1.1.1.1.1.1:893923430400 9.2.2.2.2.1.1:17599117536000 9.2.2.1.1.1.1.1.1:2346549004800 9.1.1.1.1.1.1.1.1.1.1:3724680960 8.8.3:316784115648000 8.8.1.1.1:158392057824000 8.7.4:543058483968000 8.7.2.1.1:543058483968000 8.6.5:506854585036800 8.6.3.1.1:422378820864000 8.6.2.2.1:316784115648000 8.6.1.1.1.1.1:21118941043200 8.5.4.1.1:380140938777600 8.5.3.2.1:506854585036800 8.5.2.2.2:63356823129600 8.5.2.1.1.1.1:63356823129600 8.4.4.2.1:237588086736000 8.4.3.3.1:211189410432000 8.4.3.2.2:158392057824000 8.4.3.1.1.1.1:52797352608000 8.4.2.2.1.1.1:79196028912000 8.4.1.1.1.1.1.1.1:754247894400 8.3.3.3.2:46930980096000 8.3.3.2.1.1.1:70396470144000 8.3.2.2.2.1.1:52797352608000 8.3.2.1.1.1.1.1.1:3519823507200 8.2.2.2.2.2.1:3959801445600 8.2.2.2.1.1.1.1.1:2639867630400 8.2.1.1.1.1.1.1.1.1.1:20951330400 7.7.5:248255306956800 7.7.3.1.1:206879422464000 7.7.2.2.1:155159566848000 7.7.1.1.1.1.1:10343971123200 7.6.6:241359326208000 7.6.4.1.1:362038989312000 7.6.3.2.1:482718652416000 7.6.2.2.2:60339831552000 7.6.2.1.1.1.1:60339831552000 7.5.5.1.1:173778714869760 7.5.4.2.1:434446787174400 7.5.3.3.1:193087460966400 7.5.3.2.2:144815595724800 7.5.3.1.1.1.1:48271865241600 7.5.2.2.1.1.1:72407797862400 7.5.1.1.1.1.1.1.1:689598074880 7.4.4.3.1:181019494656000 7.4.4.2.2:67882310496000 7.4.4.1.1.1.1:22627436832000 7.4.3.3.2:120679663104000 7.4.3.2.1.1.1:120679663104000 7.4.2.2.2.1.1:45254873664000 7.4.2.1.1.1.1.1.1:3016991577600 7.3.3.3.3:8939234304000 7.3.3.3.1.1.1:17878468608000 7.3.3.2.2.1.1:60339831552000 7.3.3.1.1.1.1.1.1:1340885145600 7.3.2.2.2.2.1:15084957888000 7.3.2.2.1.1.1.1.1:6033983155200 7.3.1.1.1.1.1.1.1.1.1:15962918400 7.2.2.2.2.2.2:377123947200 7.2.2.2.2.1.1.1.1:1885619736000 7.2.2.1.1.1.1.1.1.1.1:53874849600 7.1.1.1.1.1.1.1.1.1.1.1.1:36279360 6.6.5.1.1:168951528345600 6.6.4.2.1:211189410432000 6.6.3.3.1:93861960192000 6.6.3.2.2:70396470144000 6.6.3.1.1.1.1:23465490048000 6.6.2.2.1.1.1:35198235072000 6.6.1.1.1.1.1.1.1:335221286400 6.5.5.2.1:202741834014720 6.5.4.3.1:337903056691200 6.5.4.2.2:126713646259200 6.5.4.1.1.1.1:42237882086400 6.5.3.3.2:112634352230400 6.5.3.2.1.1.1:112634352230400 6.5.2.2.2.1.1:42237882086400 6.5.2.1.1.1.1.1.1:2815858805760 6.4.4.4.1:52797352608000 6.4.4.3.2:105594705216000 6.4.4.2.1.1.1:52797352608000 6.4.3.3.3:31287320064000 6.4.3.3.1.1.1:46930980096000 6.4.3.2.2.1.1:105594705216000 6.4.3.1.1.1.1.1.1:2346549004800 6.4.2.2.2.2.1:13199338152000 6.4.2.2.1.1.1.1.1:5279735260800 6.4.1.1.1.1.1.1.1.1.1:13967553600 6.3.3.3.2.1.1:31287320064000 6.3.3.2.2.2.1:23465490048000 6.3.3.2.1.1.1.1.1:4693098009600 6.3.2.2.2.2.2:1759911753600 6.3.2.2.2.1.1.1.1:5866372512000 6.3.2.1.1.1.1.1.1.1.1:83805321600 6.2.2.2.2.2.1.1.1:879955876800 6.2.2.2.1.1.1.1.1.1.1:83805321600 6.2.1.1.1.1.1.1.1.1.1.1.1:253955520 5.5.5.3.1:54064489070592 5.5.5.2.2:20274183401472 5.5.5.1.1.1.1:6758061133824 5.5.4.4.1:76028187755520 5.5.4.3.2:101370917007360 5.5.4.2.1.1.1:50685458503680 5.5.3.3.3:15017913630720 5.5.3.3.1.1.1:22526870446080 5.5.3.2.2.1.1:50685458503680 5.5.3.1.1.1.1.1.1:1126343522304 5.5.2.2.2.2.1:6335682312960 5.5.2.2.1.1.1.1.1:2534272925184 5.5.1.1.1.1.1.1.1.1.1:6704425728 5.4.4.4.2:31678411564800 5.4.4.3.3:42237882086400 5.4.4.3.1.1.1:42237882086400 5.4.4.2.2.1.1:47517617347200 5.4.4.1.1.1.1.1.1:1055947052160 5.4.3.3.2.1.1:84475764172800 5.4.3.2.2.2.1:42237882086400 5.4.3.2.1.1.1.1.1:8447576417280 5.4.2.2.2.2.2:1583920578240 5.4.2.2.2.1.1.1.1:5279735260800 5.4.2.1.1.1.1.1.1.1.1:75424789440 5.3.3.3.3.1.1:6257464012800 5.3.3.3.2.2.1:18772392038400 5.3.3.3.1.1.1.1.1:1251492802560 5.3.3.2.2.2.2:3519823507200 5.3.3.2.2.1.1.1.1:7039647014400 5.3.3.1.1.1.1.1.1.1.1:33522128640 5.3.2.2.2.2.1.1.1:3519823507200 5.3.2.2.1.1.1.1.1.1.1:201132771840 5.3.1.1.1.1.1.1.1.1.1.1.1:203164416 5.2.2.2.2.2.2.1.1:263986763040 5.2.2.2.2.1.1.1.1.1.1:87995587680 5.2.2.1.1.1.1.1.1.1.1.1.1:838053216 5.1.1.1.1.1.1.1.1.1.1.1.1.1.1:279072 4.4.4.4.3:6599669076000 4.4.4.4.1.1.1:3299834538000 4.4.4.3.2.1.1:26398676304000 4.4.4.2.2.2.1:6599669076000 4.4.4.2.1.1.1.1.1:1319933815200 4.4.3.3.3.1.1:11732745024000 4.4.3.3.2.2.1:26398676304000 4.4.3.3.1.1.1.1.1:1759911753600 4.4.3.2.2.2.2:3299834538000 4.4.3.2.2.1.1.1.1:6599669076000 4.4.3.1.1.1.1.1.1.1.1:31426995600 4.4.2.2.2.2.1.1.1:1649917269000 4.4.2.2.1.1.1.1.1.1.1:94280986800 4.4.1.1.1.1.1.1.1.1.1.1.1:95233320 4.3.3.3.3.2.1:7821830016000 4.3.3.3.2.2.2:3910915008000 4.3.3.3.2.1.1.1.1:3910915008000 4.3.3.2.2.2.1.1.1:5866372512000 4.3.3.2.1.1.1.1.1.1.1:167610643200 4.3.2.2.2.2.2.1.1:1319933815200 4.3.2.2.2.1.1.1.1.1.1:293318625600 4.3.2.1.1.1.1.1.1.1.1.1.1:1396755360 4.2.2.2.2.2.2.2.1:47140493400 4.2.2.2.2.2.1.1.1.1.1:65996690760 4.2.2.2.1.1.1.1.1.1.1.1.1:1745944200 4.2.1.1.1.1.1.1.1.1.1.1.1.1.1:2441880 3.3.3.3.3.3.1:231757926400 3.3.3.3.3.2.2:521455334400 3.3.3.3.3.1.1.1.1:173818444800 3.3.3.3.2.2.1.1.1:1303638336000 3.3.3.3.1.1.1.1.1.1.1:12415603200 3.3.3.2.2.2.2.1.1:977728752000 3.3.3.2.2.1.1.1.1.1.1:130363833600 3.3.3.1.1.1.1.1.1.1.1.1.1:206926720 3.3.2.2.2.2.2.2.1:146659312800 3.3.2.2.2.2.1.1.1.1.1:146659312800 3.3.2.2.1.1.1.1.1.1.1.1.1:2327925600 3.3.1.1.1.1.1.1.1.1.1.1.1.1.1:1085280 3.2.2.2.2.2.2.2.2:3928374450 3.2.2.2.2.2.2.1.1.1.1:36664828200 3.2.2.2.2.1.1.1.1.1.1.1.1:2618916300 3.2.2.1.1.1.1.1.1.1.1.1.1.1.1:10581480 3.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1938 2.2.2.2.2.2.2.2.1.1.1:1964187225 2.2.2.2.2.2.1.1.1.1.1.1.1:523783260 2.2.2.2.1.1.1.1.1.1.1.1.1.1.1:7936110 2.2.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:11628 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
8 ; 19:6402373705728000 18.1:6758061133824000 17.2:3577797070848000 17.1.1:3577797070848000 16.3:2534272925184000 16.2.1:3801409387776000 16.1.1.1:1267136462592000 15.4:2027418340147200 15.3.1:2703224453529600 15.2.2:1013709170073600 15.2.1.1:2027418340147200 15.1.1.1.1:337903056691200 14.5:1737787148697600 14.4.1:2172233935872000 14.3.2:1448155957248000 14.3.1.1:1448155957248000 14.2.2.1:1086116967936000 14.2.1.1.1:724077978624000 14.1.1.1.1.1:72407797862400 13.6:1559552569344000 13.5.1:1871463083212800 13.4.2:1169664427008000 13.4.1.1:1169664427008000 13.3.3:519850856448000 13.3.2.1:1559552569344000 13.3.1.1.1:519850856448000 13.2.2.2:194944071168000 13.2.2.1.1:584832213504000 13.2.1.1.1.1:194944071168000 13.1.1.1.1.1.1:12996271411200 12.7:1448155957248000 12.6.1:1689515283456000 12.5.2:1013709170073600 12.5.1.1:1013709170073600 12.4.3:844757641728000 12.4.2.1:1267136462592000 12.4.1.1.1:422378820864000 12.3.3.1:563171761152000 12.3.2.2:422378820864000 12.3.2.1.1:844757641728000 12.3.1.1.1.1:140792940288000 12.2.2.2.1:211189410432000 12.2.2.1.1.1:211189410432000 12.2.1.1.1.1.1:42237882086400 12.1.1.1.1.1.1.1:2011327718400 11.8:1382330686464000 11.7.1:1579806498816000 11.6.2:921553790976000 11.6.1.1:921553790976000 11.5.3:737243032780800 11.5.2.1:1105864549171200 11.5.1.1.1:368621516390400 11.4.4:345582671616000 11.4.3.1:921553790976000 11.4.2.2:345582671616000 11.4.2.1.1:691165343232000 11.4.1.1.1.1:115194223872000 11.3.3.2:307184596992000 11.3.3.1.1:307184596992000 11.3.2.2.1:460776895488000 11.3.2.1.1.1:307184596992000 11.3.1.1.1.1.1:30718459699200 11.2.2.2.2:28798555968000 11.2.2.2.1.1:115194223872000 11.2.2.1.1.1.1:57597111936000 11.2.1.1.1.1.1.1:7679614924800 11.1.1.1.1.1.1.1.1:274271961600 10.9:1351612226764800 10.8.1:1520563755110400 10.7.2:868893574348800 10.7.1.1:868893574348800 10.6.3:675806113382400 10.6.2.1:1013709170073600 10.6.1.1.1:337903056691200 10.5.4:608225502044160 10.5.3.1:810967336058880 10.5.2.2:304112751022080 10.5.2.1.1:608225502044160 10.5.1.1.1.1:101370917007360 10.4.4.1:380140938777600 10.4.3.2:506854585036800 10.4.3.1.1:506854585036800 10.4.2.2.1:380140938777600 10.4.2.1.1.1:253427292518400 10.4.1.1.1.1.1:25342729251840 10.3.3.3:75089568153600 10.3.3.2.1:337903056691200 10.3.3.1.1.1:112634352230400 10.3.2.2.2:84475764172800 10.3.2.2.1.1:253427292518400 10.3.2.1.1.1.1:84475764172800 10.3.1.1.1.1.1.1:5631717611520 10.2.2.2.2.1:31678411564800 10.2.2.2.1.1.1:42237882086400 10.2.2.1.1.1.1.1:12671364625920 10.2.1.1.1.1.1.1.1:1206796631040 10.1.1.1.1.1.1.1.1.1:33522128640 9.9.1:750895681536000 9.8.2:844757641728000 9.8.1.1:844757641728000 9.7.3:643624869888000 9.7.2.1:965437304832000 9.7.1.1.1:321812434944000 9.6.4:563171761152000 9.6.3.1:750895681536000 9.6.2.2:281585880576000 9.6.2.1.1:563171761152000 9.6.1.1.1.1:93861960192000 9.5.5:270322445352960 9.5.4.1:675806113382400 9.5.3.2:450537408921600 9.5.3.1.1:450537408921600 9.5.2.2.1:337903056691200 9.5.2.1.1.1:225268704460800 9.5.1.1.1.1.1:22526870446080 9.4.4.2:211189410432000 9.4.4.1.1:211189410432000 9.4.3.3:187723920384000 9.4.3.2.1:563171761152000 9.4.3.1.1.1:187723920384000 9.4.2.2.2:70396470144000 9.4.2.2.1.1:211189410432000 9.4.2.1.1.1.1:70396470144000 9.4.1.1.1.1.1.1:4693098009600 9.3.3.3.1:83432853504000 9.3.3.2.2:93861960192000 9.3.3.2.1.1:187723920384000 9.3.3.1.1.1.1:31287320064000 9.3.2.2.2.1:93861960192000 9.3.2.2.1.1.1:93861960192000 9.3.2.1.1.1.1.1:18772392038400 9.3.1.1.1.1.1.1.1:893923430400 9.2.2.2.2.2:3519823507200 9.2.2.2.2.1.1:17599117536000 9.2.2.2.1.1.1.1:11732745024000 9.2.2.1.1.1.1.1.1:2346549004800 9.2.1.1.1.1.1.1.1.1:167610643200 9.1.1.1.1.1.1.1.1.1.1:3724680960 8.8.3:316784115648000 8.8.2.1:475176173472000 8.8.1.1.1:158392057824000 8.7.4:543058483968000 8.7.3.1:724077978624000 8.7.2.2:271529241984000 8.7.2.1.1:543058483968000 8.7.1.1.1.1:90509747328000 8.6.5:506854585036800 8.6.4.1:633568231296000 8.6.3.2:422378820864000 8.6.3.1.1:422378820864000 8.6.2.2.1:316784115648000 8.6.2.1.1.1:211189410432000 8.6.1.1.1.1.1:21118941043200 8.5.5.1:304112751022080 8.5.4.2:380140938777600 8.5.4.1.1:380140938777600 8.5.3.3:168951528345600 8.5.3.2.1:506854585036800 8.5.3.1.1.1:168951528345600 8.5.2.2.2:63356823129600 8.5.2.2.1.1:190070469388800 8.5.2.1.1.1.1:63356823129600 8.5.1.1.1.1.1.1:4223788208640 8.4.4.3:158392057824000 8.4.4.2.1:237588086736000 8.4.4.1.1.1:79196028912000 8.4.3.3.1:211189410432000 8.4.3.2.2:158392057824000 8.4.3.2.1.1:316784115648000 8.4.3.1.1.1.1:52797352608000 8.4.2.2.2.1:79196028912000 8.4.2.2.1.1.1:79196028912000 8.4.2.1.1.1.1.1:15839205782400 8.4.1.1.1.1.1.1.1:754247894400 8.3.3.3.2:46930980096000 8.3.3.3.1.1:46930980096000 8.3.3.2.2.1:105594705216000 8.3.3.2.1.1.1:70396470144000 8.3.3.1.1.1.1.1:7039647014400 8.3.2.2.2.2:13199338152000 8.3.2.2.2.1.1:52797352608000 8.3.2.2.1.1.1.1:26398676304000 8.3.2.1.1.1.1.1.1:3519823507200 8.3.1.1.1.1.1.1.1.1:125707982400 8.2.2.2.2.2.1:3959801445600 8.2.2.2.2.1.1.1:6599669076000 8.2.2.2.1.1.1.1.1:2639867630400 8.2.2.1.1.1.1.1.1.1:377123947200 8.2.1.1.1.1.1.1.1.1.1:20951330400 8.1.1.1.1.1.1.1.1.1.1.1:380933280 7.7.5:248255306956800 7.7.4.1:310319133696000 7.7.3.2:206879422464000 7.7.3.1.1:206879422464000 7.7.2.2.1:155159566848000 7.7.2.1.1.1:103439711232000 7.7.1.1.1.1.1:10343971123200 7.6.6:241359326208000 7.6.5.1:579262382899200 7.6.4.2:362038989312000 7.6.4.1.1:362038989312000 7.6.3.3:160906217472000 7.6.3.2.1:482718652416000 7.6.3.1.1.1:160906217472000 7.6.2.2.2:60339831552000 7.6.2.2.1.1:181019494656000 7.6.2.1.1.1.1:60339831552000 7.6.1.1.1.1.1.1:4022655436800 7.5.5.2:173778714869760 7.5.5.1.1:173778714869760 7.5.4.3:289631191449600 7.5.4.2.1:434446787174400 7.5.4.1.1.1:144815595724800 7.5.3.3.1:193087460966400 7.5.3.2.2:144815595724800 7.5.3.2.1.1:289631191449600 7.5.3.1.1.1.1:48271865241600 7.5.2.2.2.1:72407797862400 7.5.2.2.1.1.1:72407797862400 7.5.2.1.1.1.1.1:14481559572480 7.5.1.1.1.1.1.1.1:689598074880 7.4.4.4:45254873664000 7.4.4.3.1:181019494656000 7.4.4.2.2:67882310496000 7.4.4.2.1.1:135764620992000 7.4.4.1.1.1.1:22627436832000 7.4.3.3.2:120679663104000 7.4.3.3.1.1:120679663104000 7.4.3.2.2.1:181019494656000 7.4.3.2.1.1.1:120679663104000 7.4.3.1.1.1.1.1:12067966310400 7.4.2.2.2.2:11313718416000 7.4.2.2.2.1.1:45254873664000 7.4.2.2.1.1.1.1:22627436832000 7.4.2.1.1.1.1.1.1:3016991577600 7.4.1.1.1.1.1.1.1.1:107749699200 7.3.3.3.3:8939234304000 7.3.3.3.2.1:53635405824000 7.3.3.3.1.1.1:17878468608000 7.3.3.2.2.2:20113277184000 7.3.3.2.2.1.1:60339831552000 7.3.3.2.1.1.1.1:20113277184000 7.3.3.1.1.1.1.1.1:1340885145600 7.3.2.2.2.2.1:15084957888000 7.3.2.2.2.1.1.1:20113277184000 7.3.2.2.1.1.1.1.1:6033983155200 7.3.2.1.1.1.1.1.1.1:574665062400 7.3.1.1.1.1.1.1.1.1.1:15962918400 7.2.2.2.2.2.2:377123947200 7.2.2.2.2.2.1.1:2262743683200 7.2.2.2.2.1.1.1.1:1885619736000 7.2.2.2.1.1.1.1.1.1:502831929600 7.2.2.1.1.1.1.1.1.1.1:53874849600 7.2.1.1.1.1.1.1.1.1.1.1:2394437760 7.1.1.1.1.1.1.1.1.1.1.1.1:36279360 6.6.6.1:93861960192000 6.6.5.2:168951528345600 6.6.5.1.1:168951528345600 6.6.4.3:140792940288000 6.6.4.2.1:211189410432000 6.6.4.1.1.1:70396470144000 6.6.3.3.1:93861960192000 6.6.3.2.2:70396470144000 6.6.3.2.1.1:140792940288000 6.6.3.1.1.1.1:23465490048000 6.6.2.2.2.1:35198235072000 6.6.2.2.1.1.1:35198235072000 6.6.2.1.1.1.1.1:7039647014400 6.6.1.1.1.1.1.1.1:335221286400 6.5.5.3:135161222676480 6.5.5.2.1:202741834014720 6.5.5.1.1.1:67580611338240 6.5.4.4:126713646259200 6.5.4.3.1:337903056691200 6.5.4.2.2:126713646259200 6.5.4.2.1.1:253427292518400 6.5.4.1.1.1.1:42237882086400 6.5.3.3.2:112634352230400 6.5.3.3.1.1:112634352230400 6.5.3.2.2.1:168951528345600 6.5.3.2.1.1.1:112634352230400 6.5.3.1.1.1.1.1:11263435223040 6.5.2.2.2.2:10559470521600 6.5.2.2.2.1.1:42237882086400 6.5.2.2.1.1.1.1:21118941043200 6.5.2.1.1.1.1.1.1:2815858805760 6.5.1.1.1.1.1.1.1.1:100566385920 6.4.4.4.1:52797352608000 6.4.4.3.2:105594705216000 6.4.4.3.1.1:105594705216000 6.4.4.2.2.1:79196028912000 6.4.4.2.1.1.1:52797352608000 6.4.4.1.1.1.1.1:5279735260800 6.4.3.3.3:31287320064000 6.4.3.3.2.1:140792940288000 6.4.3.3.1.1.1:46930980096000 6.4.3.2.2.2:35198235072000 6.4.3.2.2.1.1:105594705216000 6.4.3.2.1.1.1.1:35198235072000 6.4.3.1.1.1.1.1.1:2346549004800 6.4.2.2.2.2.1:13199338152000 6.4.2.2.2.1.1.1:17599117536000 6.4.2.2.1.1.1.1.1:5279735260800 6.4.2.1.1.1.1.1.1.1:502831929600 6.4.1.1.1.1.1.1.1.1.1:13967553600 6.3.3.3.3.1:10429106688000 6.3.3.3.2.2:15643660032000 6.3.3.3.2.1.1:31287320064000 6.3.3.3.1.1.1.1:5214553344000 6.3.3.2.2.2.1:23465490048000 6.3.3.2.2.1.1.1:23465490048000 6.3.3.2.1.1.1.1.1:4693098009600 6.3.3.1.1.1.1.1.1.1:223480857600 6.3.2.2.2.2.2:1759911753600 6.3.2.2.2.2.1.1:8799558768000 6.3.2.2.2.1.1.1.1:5866372512000 6.3.2.2.1.1.1.1.1.1:1173274502400 6.3.2.1.1.1.1.1.1.1.1:83805321600 6.3.1.1.1.1.1.1.1.1.1.1:1862340480 6.2.2.2.2.2.2.1:439977938400 6.2.2.2.2.2.1.1.1:879955876800 6.2.2.2.2.1.1.1.1.1:439977938400 6.2.2.2.1.1.1.1.1.1.1:83805321600 6.2.2.1.1.1.1.1.1.1.1.1:6983776800 6.2.1.1.1.1.1.1.1.1.1.1.1:253955520 6.1.1.1.1.1.1.1.1.1.1.1.1.1:3255840 5.5.5.4:40548366802944 5.5.5.3.1:54064489070592 5.5.5.2.2:20274183401472 5.5.5.2.1.1:40548366802944 5.5.5.1.1.1.1:6758061133824 5.5.4.4.1:76028187755520 5.5.4.3.2:101370917007360 5.5.4.3.1.1:101370917007360 5.5.4.2.2.1:76028187755520 5.5.4.2.1.1.1:50685458503680 5.5.4.1.1.1.1.1:5068545850368 5.5.3.3.3:15017913630720 5.5.3.3.2.1:67580611338240 5.5.3.3.1.1.1:22526870446080 5.5.3.2.2.2:16895152834560 5.5.3.2.2.1.1:50685458503680 5.5.3.2.1.1.1.1:16895152834560 5.5.3.1.1.1.1.1.1:1126343522304 5.5.2.2.2.2.1:6335682312960 5.5.2.2.2.1.1.1:8447576417280 5.5.2.2.1.1.1.1.1:2534272925184 5.5.2.1.1.1.1.1.1.1:241359326208 5.5.1.1.1.1.1.1.1.1.1:6704425728 5.4.4.4.2:31678411564800 5.4.4.4.1.1:31678411564800 5.4.4.3.3:42237882086400 5.4.4.3.2.1:126713646259200 5.4.4.3.1.1.1:42237882086400 5.4.4.2.2.2:15839205782400 5.4.4.2.2.1.1:47517617347200 5.4.4.2.1.1.1.1:15839205782400 5.4.4.1.1.1.1.1.1:1055947052160 5.4.3.3.3.1:37544784076800 5.4.3.3.2.2:42237882086400 5.4.3.3.2.1.1:84475764172800 5.4.3.3.1.1.1.1:14079294028800 5.4.3.2.2.2.1:42237882086400 5.4.3.2.2.1.1.1:42237882086400 5.4.3.2.1.1.1.1.1:8447576417280 5.4.3.1.1.1.1.1.1.1:402265543680 5.4.2.2.2.2.2:1583920578240 5.4.2.2.2.2.1.1:7919602891200 5.4.2.2.2.1.1.1.1:5279735260800 5.4.2.2.1.1.1.1.1.1:1055947052160 5.4.2.1.1.1.1.1.1.1.1:75424789440 5.4.1.1.1.1.1.1.1.1.1.1:1676106432 5.3.3.3.3.2:6257464012800 5.3.3.3.3.1.1:6257464012800 5.3.3.3.2.2.1:18772392038400 5.3.3.3.2.1.1.1:12514928025600 5.3.3.3.1.1.1.1.1:1251492802560 5.3.3.2.2.2.2:3519823507200 5.3.3.2.2.2.1.1:14079294028800 5.3.3.2.2.1.1.1.1:7039647014400 5.3.3.2.1.1.1.1.1.1:938619601920 5.3.3.1.1.1.1.1.1.1.1:33522128640 5.3.2.2.2.2.2.1:2111894104320 5.3.2.2.2.2.1.1.1:3519823507200 5.3.2.2.2.1.1.1.1.1:1407929402880 5.3.2.2.1.1.1.1.1.1.1:201132771840 5.3.2.1.1.1.1.1.1.1.1.1:11174042880 5.3.1.1.1.1.1.1.1.1.1.1.1:203164416 5.2.2.2.2.2.2.2:37712394720 5.2.2.2.2.2.2.1.1:263986763040 5.2.2.2.2.2.1.1.1.1:263986763040 5.2.2.2.2.1.1.1.1.1.1:87995587680 5.2.2.2.1.1.1.1.1.1.1.1:12570798240 5.2.2.1.1.1.1.1.1.1.1.1.1:838053216 5.2.1.1.1.1.1.1.1.1.1.1.1.1:25395552 5.1.1.1.1.1.1.1.1.1.1.1.1.1.1:279072 4.4.4.4.3:6599669076000 4.4.4.4.2.1:9899503614000 4.4.4.4.1.1.1:3299834538000 4.4.4.3.3.1:17599117536000 4.4.4.3.2.2:13199338152000 4.4.4.3.2.1.1:26398676304000 4.4.4.3.1.1.1.1:4399779384000 4.4.4.2.2.2.1:6599669076000 4.4.4.2.2.1.1.1:6599669076000 4.4.4.2.1.1.1.1.1:1319933815200 4.4.4.1.1.1.1.1.1.1:62853991200 4.4.3.3.3.2:11732745024000 4.4.3.3.3.1.1:11732745024000 4.4.3.3.2.2.1:26398676304000 4.4.3.3.2.1.1.1:17599117536000 4.4.3.3.1.1.1.1.1:1759911753600 4.4.3.2.2.2.2:3299834538000 4.4.3.2.2.2.1.1:13199338152000 4.4.3.2.2.1.1.1.1:6599669076000 4.4.3.2.1.1.1.1.1.1:879955876800 4.4.3.1.1.1.1.1.1.1.1:31426995600 4.4.2.2.2.2.2.1:989950361400 4.4.2.2.2.2.1.1.1:1649917269000 4.4.2.2.2.1.1.1.1.1:659966907600 4.4.2.2.1.1.1.1.1.1.1:94280986800 4.4.2.1.1.1.1.1.1.1.1.1:5237832600 4.4.1.1.1.1.1.1.1.1.1.1.1:95233320 4.3.3.3.3.3:1042910668800 4.3.3.3.3.2.1:7821830016000 4.3.3.3.3.1.1.1:2607276672000 4.3.3.3.2.2.2:3910915008000 4.3.3.3.2.2.1.1:11732745024000 4.3.3.3.2.1.1.1.1:3910915008000 4.3.3.3.1.1.1.1.1.1:260727667200 4.3.3.2.2.2.2.1:4399779384000 4.3.3.2.2.2.1.1.1:5866372512000 4.3.3.2.2.1.1.1.1.1:1759911753600 4.3.3.2.1.1.1.1.1.1.1:167610643200 4.3.3.1.1.1.1.1.1.1.1.1:4655851200 4.3.2.2.2.2.2.2:219988969200 4.3.2.2.2.2.2.1.1:1319933815200 4.3.2.2.2.2.1.1.1.1:1099944846000 4.3.2.2.2.1.1.1.1.1.1:293318625600 4.3.2.2.1.1.1.1.1.1.1.1:31426995600 4.3.2.1.1.1.1.1.1.1.1.1.1:1396755360 4.3.1.1.1.1.1.1.1.1.1.1.1.1:21162960 4.2.2.2.2.2.2.2.1:47140493400 4.2.2.2.2.2.2.1.1.1:109994484600 4.2.2.2.2.2.1.1.1.1.1:65996690760 4.2.2.2.2.1.1.1.1.1.1.1:15713497800 4.2.2.2.1.1.1.1.1.1.1.1.1:1745944200 4.2.2.1.1.1.1.1.1.1.1.1.1.1:95233320 4.2.1.1.1.1.1.1.1.1.1.1.1.1.1:2441880 4.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:23256 3.3.3.3.3.3.1:231757926400 3.3.3.3.3.2.2:521455334400 3.3.3.3.3.2.1.1:1042910668800 3.3.3.3.3.1.1.1.1:173818444800 3.3.3.3.2.2.2.1:1303638336000 3.3.3.3.2.2.1.1.1:1303638336000 3.3.3.3.2.1.1.1.1.1:260727667200 3.3.3.3.1.1.1.1.1.1.1:12415603200 3.3.3.2.2.2.2.2:195545750400 3.3.3.2.2.2.2.1.1:977728752000 3.3.3.2.2.2.1.1.1.1:651819168000 3.3.3.2.2.1.1.1.1.1.1:130363833600 3.3.3.2.1.1.1.1.1.1.1.1:9311702400 3.3.3.1.1.1.1.1.1.1.1.1.1:206926720 3.3.2.2.2.2.2.2.1:146659312800 3.3.2.2.2.2.2.1.1.1:293318625600 3.3.2.2.2.2.1.1.1.1.1:146659312800 3.3.2.2.2.1.1.1.1.1.1.1:27935107200 3.3.2.2.1.1.1.1.1.1.1.1.1:2327925600 3.3.2.1.1.1.1.1.1.1.1.1.1.1:84651840 3.3.1.1.1.1.1.1.1.1.1.1.1.1.1:1085280 3.2.2.2.2.2.2.2.2:3928374450 3.2.2.2.2.2.2.2.1.1:31426995600 3.2.2.2.2.2.2.1.1.1.1:36664828200 3.2.2.2.2.2.1.1.1.1.1.1:14665931280 3.2.2.2.2.1.1.1.1.1.1.1.1:2618916300 3.2.2.2.1.1.1.1.1.1.1.1.1.1:232792560 3.2.2.1.1.1.1.1.1.1.1.1.1.1.1:10581480 3.2.1.1.1.1.1.1.1.1.1.1.1.1.1.1:232560 3.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1938 2.2.2.2.2.2.2.2.2.1:654729075 2.2.2.2.2.2.2.2.1.1.1:1964187225 2.2.2.2.2.2.2.1.1.1.1.1:1571349780 2.2.2.2.2.2.1.1.1.1.1.1.1:523783260 2.2.2.2.2.1.1.1.1.1.1.1.1.1:87297210 2.2.2.2.1.1.1.1.1.1.1.1.1.1.1:7936110 2.2.2.1.1.1.1.1.1.1.1.1.1.1.1.1:406980 2.2.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:11628 2.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:171 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
