# Cycle types of the transitive groups of degree 17 (tables/transitive-17.txt):
# k ; type:count ...  (computed by examples/write_lattice.rs)
1 ; 17:16 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
2 ; 17:16 2.2.2.2.2.2.2.2.1:17 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
3 ; 17:16 4.4.4.4.1:34 2.2.2.2.2.2.2.2.1:17 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
4 ; 17:16 8.8.1:68 4.4.4.4.1:34 2.2.2.2.2.2.2.2.1:17 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
5 ; 17:16 16.1:136 8.8.1:68 4.4.4.4.1:34 2.2.2.2.2.2.2.2.1:17 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
6 ; 17:1920 15.1.1:1088 5.5.5.1.1:544 3.3.3.3.3.1.1:272 2.2.2.2.2.2.2.2.1:255 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
7 ; 17:1920 15.1.1:1088 10.5.2:1632 6.6.3.1.1:1360 5.5.5.1.1:544 4.4.4.4.1:1020 3.3.3.3.3.1.1:272 2.2.2.2.2.2.2.2.1:255 2.2.2.2.2.2.1.1.1.1.1:68 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
8 ; 17:1920 15.1.1:1088 12.3.2:2720 10.5.2:1632 8.8.1:4080 6.6.3.1.1:1360 5.5.5.1.1:544 4.4.4.4.1:1020 4.4.4.2.1.1.1:1360 3.3.3.3.3.1.1:272 2.2.2.2.2.2.2.2.1:255 2.2.2.2.2.2.1.1.1.1.1:68 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
9 ; 17:20922789888000 15.1.1:11856247603200 14.2.1:12703122432000 13.3.1:9120190464000 13.2.2:3420071424000 13.1.1.1.1:1140023808000 12.4.1:7410154752000 12.3.2:4940103168000 12.2.1.1.1:2470051584000 11.5.1:6467044147200 11.4.2:4041902592000 11.3.3:1796401152000 11.3.1.1.1:1796401152000 11.2.2.1.1:2020951296000 11.1.1.1.1.1.1:44910028800 10.6.1:5928123801600 10.5.2:3556874280960 10.4.3:2964061900800 10.4.1.1.1:1482030950400 10.3.2.1.1:2964061900800 10.2.2.2.1:741015475200 10.2.1.1.1.1.1:148203095040 9.7.1:5645832192000 9.6.2:3293402112000 9.5.3:2634721689600 9.5.1.1.1:1317360844800 9.4.4:1235025792000 9.4.2.1.1:2470051584000 9.3.3.1.1:1097800704000 9.3.2.2.1:1646701056000 9.3.1.1.1.1.1:109780070400 9.2.2.2.2:102918816000 9.2.2.1.1.1.1:205837632000 9.1.1.1.1.1.1.1.1:980179200 8.8.1:2778808032000 8.7.2:3175780608000 8.6.3:2470051584000 8.6.1.1.1:1235025792000 8.5.4:2223046425600 8.5.2.1.1:2223046425600 8.4.3.1.1:1852538688000 8.4.2.2.1:1389404016000 8.4.1.1.1.1.1:92626934400 8.3.3.2.1:1235025792000 8.3.2.2.2:308756448000 8.3.2.1.1.1.1:308756448000 8.2.2.2.1.1.1:154378224000 8.2.1.1.1.1.1.1.1:4410806400 7.7.3:1209821184000 7.7.1.1.1:604910592000 7.6.4:2117187072000 7.6.2.1.1:2117187072000 7.5.5:1016249794560 7.5.3.1.1:1693749657600 7.5.2.2.1:1270312243200 7.5.1.1.1.1.1:84687482880 7.4.4.1.1:793945152000 7.4.3.2.1:2117187072000 7.4.2.2.2:264648384000 7.4.2.1.1.1.1:264648384000 7.3.3.3.1:313657344000 7.3.3.2.2:352864512000 7.3.3.1.1.1.1:117621504000 7.3.2.2.1.1.1:352864512000 7.3.1.1.1.1.1.1.1:3360614400 7.2.2.2.2.1.1:66162096000 7.2.2.1.1.1.1.1.1:8821612800 7.1.1.1.1.1.1.1.1.1.1:14002560 6.6.5:988020633600 6.6.3.1.1:823350528000 6.6.2.2.1:617512896000 6.6.1.1.1.1.1:41167526400 6.5.4.1.1:1482030950400 6.5.3.2.1:1976041267200 6.5.2.2.2:247005158400 6.5.2.1.1.1.1:247005158400 6.4.4.2.1:926269344000 6.4.3.3.1:823350528000 6.4.3.2.2:617512896000 6.4.3.1.1.1.1:205837632000 6.4.2.2.1.1.1:308756448000 6.4.1.1.1.1.1.1.1:2940537600 6.3.3.3.2:182966784000 6.3.3.2.1.1.1:274450176000 6.3.2.2.2.1.1:205837632000 6.3.2.1.1.1.1.1.1:13722508800 6.2.2.2.2.2.1:15437822400 6.2.2.2.1.1.1.1.1:10291881600 6.2.1.1.1.1.1.1.1.1.1:81681600 5.5.5.1.1:237124952064 5.5.4.2.1:889218570240 5.5.3.3.1:395208253440 5.5.3.2.2:296406190080 5.5.3.1.1.1.1:98802063360 5.5.2.2.1.1.1:148203095040 5.5.1.1.1.1.1.1.1:1411458048 5.4.4.3.1:741015475200 5.4.4.2.2:277880803200 5.4.4.1.1.1.1:92626934400 5.4.3.3.2:494010316800 5.4.3.2.1.1.1:494010316800 5.4.2.2.2.1.1:185253868800 5.4.2.1.1.1.1.1.1:12350257920 5.3.3.3.3:36593356800 5.3.3.3.1.1.1:73186713600 5.3.3.2.2.1.1:247005158400 5.3.3.1.1.1.1.1.1:5489003520 5.3.2.2.2.2.1:61751289600 5.3.2.2.1.1.1.1.1:24700515840 5.3.1.1.1.1.1.1.1.1.1:65345280 5.2.2.2.2.2.2:1543782240 5.2.2.2.2.1.1.1.1:7718911200 5.2.2.1.1.1.1.1.1.1.1:220540320 5.1.1.1.1.1.1.1.1.1.1.1.1:148512 4.4.4.4.1:57891834000 4.4.4.3.2:154378224000 4.4.4.2.1.1.1:77189112000 4.4.3.3.3:68612544000 4.4.3.3.1.1.1:102918816000 4.4.3.2.2.1.1:231567336000 4.4.3.1.1.1.1.1.1:5145940800 4.4.2.2.2.2.1:28945917000 4.4.2.2.1.1.1.1.1:11578366800 4.4.1.1.1.1.1.1.1.1.1:30630600 4.3.3.3.2.1.1:137225088000 4.3.3.2.2.2.1:102918816000 4.3.3.2.1.1.1.1.1:20583763200 4.3.2.2.2.2.2:7718911200 4.3.2.2.2.1.1.1.1:25729704000 4.3.2.1.1.1.1.1.1.1.1:367567200 4.2.2.2.2.2.1.1.1:3859455600 4.2.2.2.1.1.1.1.1.1.1:367567200 4.2.1.1.1.1.1.1.1.1.1.1.1:1113840 3.3.3.3.3.1.1:6098892800 3.3.3.3.2.2.1:22870848000 3.3.3.3.1.1.1.1.1:1524723200 3.3.3.2.2.2.2:5717712000 3.3.3.2.2.1.1.1.1:11435424000 3.3.3.1.1.1.1.1.1.1.1:54454400 3.3.2.2.2.2.1.1.1:8576568000 3.3.2.2.1.1.1.1.1.1.1:490089600 3.3.1.1.1.1.1.1.1.1.1.1.1:495040 3.2.2.2.2.2.2.1.1:1286485200 3.2.2.2.2.1.1.1.1.1.1:428828400 3.2.2.1.1.1.1.1.1.1.1.1.1:4084080 3.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1360 2.2.2.2.2.2.2.2.1:34459425 2.2.2.2.2.2.1.1.1.1.1:64324260 2.2.2.2.1.1.1.1.1.1.1.1.1:2552550 2.2.1.1.1.1.1.1.1.1.1.1.1.1.1:7140 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
10 ; 17:20922789888000 16.1:22230464256000 15.2:11856247603200 15.1.1:11856247603200 14.3:8468748288000 14.2.1:12703122432000 14.1.1.1:4234374144000 13.4:6840142848000 13.3.1:9120190464000 13.2.2:3420071424000 13.2.1.1:6840142848000 13.1.1.1.1:1140023808000 12.5:5928123801600 12.4.1:7410154752000 12.3.2:4940103168000 12.3.1.1:4940103168000 12.2.2.1:3705077376000 12.2.1.1.1:2470051584000 12.1.1.1.1.1:247005158400 11.6:5389203456000 11.5.1:6467044147200 11.4.2:4041902592000 11.4.1.1:4041902592000 11.3.3:1796401152000 11.3.2.1:5389203456000 11.3.1.1.1:1796401152000 11.2.2.2:673650432000 11.2.2.1.1:2020951296000 11.2.1.1.1.1:673650432000 11.1.1.1.1.1.1:44910028800 10.7:5081248972800 10.6.1:5928123801600 10.5.2:3556874280960 10.5.1.1:3556874280960 10.4.3:2964061900800 10.4.2.1:4446092851200 10.4.1.1.1:1482030950400 10.3.3.1:1976041267200 10.3.2.2:1482030950400 10.3.2.1.1:2964061900800 10.3.1.1.1.1:494010316800 10.2.2.2.1:741015475200 10.2.2.1.1.1:741015475200 10.2.1.1.1.1.1:148203095040 10.1.1.1.1.1.1.1:7057290240 9.8:4940103168000 9.7.1:5645832192000 9.6.2:3293402112000 9.6.1.1:3293402112000 9.5.3:2634721689600 9.5.2.1:3952082534400 9.5.1.1.1:1317360844800 9.4.4:1235025792000 9.4.3.1:3293402112000 9.4.2.2:1235025792000 9.4.2.1.1:2470051584000 9.4.1.1.1.1:411675264000 9.3.3.2:1097800704000 9.3.3.1.1:1097800704000 9.3.2.2.1:1646701056000 9.3.2.1.1.1:1097800704000 9.3.1.1.1.1.1:109780070400 9.2.2.2.2:102918816000 9.2.2.2.1.1:411675264000 9.2.2.1.1.1.1:205837632000 9.2.1.1.1.1.1.1:27445017600 9.1.1.1.1.1.1.1.1:980179200 8.8.1:2778808032000 8.7.2:3175780608000 8.7.1.1:3175780608000 8.6.3:2470051584000 8.6.2.1:3705077376000 8.6.1.1.1:1235025792000 8.5.4:2223046425600 8.5.3.1:2964061900800 8.5.2.2:1111523212800 8.5.2.1.1:2223046425600 8.5.1.1.1.1:370507737600 8.4.4.1:1389404016000 8.4.3.2:1852538688000 8.4.3.1.1:1852538688000 8.4.2.2.1:1389404016000 8.4.2.1.1.1:926269344000 8.4.1.1.1.1.1:92626934400 8.3.3.3:274450176000 8.3.3.2.1:1235025792000 8.3.3.1.1.1:411675264000 8.3.2.2.2:308756448000 8.3.2.2.1.1:926269344000 8.3.2.1.1.1.1:308756448000 8.3.1.1.1.1.1.1:20583763200 8.2.2.2.2.1:115783668000 8.2.2.2.1.1.1:154378224000 8.2.2.1.1.1.1.1:46313467200 8.2.1.1.1.1.1.1.1:4410806400 8.1.1.1.1.1.1.1.1.1:122522400 7.7.3:1209821184000 7.7.2.1:1814731776000 7.7.1.1.1:604910592000 7.6.4:2117187072000 7.6.3.1:2822916096000 7.6.2.2:1058593536000 7.6.2.1.1:2117187072000 7.6.1.1.1.1:352864512000 7.5.5:1016249794560 7.5.4.1:2540624486400 7.5.3.2:1693749657600 7.5.3.1.1:1693749657600 7.5.2.2.1:1270312243200 7.5.2.1.1.1:846874828800 7.5.1.1.1.1.1:84687482880 7.4.4.2:793945152000 7.4.4.1.1:793945152000 7.4.3.3:705729024000 7.4.3.2.1:2117187072000 7.4.3.1.1.1:705729024000 7.4.2.2.2:264648384000 7.4.2.2.1.1:793945152000 7.4.2.1.1.1.1:264648384000 7.4.1.1.1.1.1.1:17643225600 7.3.3.3.1:313657344000 7.3.3.2.2:352864512000 7.3.3.2.1.1:705729024000 7.3.3.1.1.1.1:117621504000 7.3.2.2.2.1:352864512000 7.3.2.2.1.1.1:352864512000 7.3.2.1.1.1.1.1:70572902400 7.3.1.1.1.1.1.1.1:3360614400 7.2.2.2.2.2:13232419200 7.2.2.2.2.1.1:66162096000 7.2.2.2.1.1.1.1:44108064000 7.2.2.1.1.1.1.1.1:8821612800 7.2.1.1.1.1.1.1.1.1:630115200 7.1.1.1.1.1.1.1.1.1.1:14002560 6.6.5:988020633600 6.6.4.1:1235025792000 6.6.3.2:823350528000 6.6.3.1.1:823350528000 6.6.2.2.1:617512896000 6.6.2.1.1.1:411675264000 6.6.1.1.1.1.1:41167526400 6.5.5.1:1185624760320 6.5.4.2:1482030950400 6.5.4.1.1:1482030950400 6.5.3.3:658680422400 6.5.3.2.1:1976041267200 6.5.3.1.1.1:658680422400 6.5.2.2.2:247005158400 6.5.2.2.1.1:741015475200 6.5.2.1.1.1.1:247005158400 6.5.1.1.1.1.1.1:16467010560 6.4.4.3:617512896000 6.4.4.2.1:926269344000 6.4.4.1.1.1:308756448000 6.4.3.3.1:823350528000 6.4.3.2.2:617512896000 6.4.3.2.1.1:1235025792000 6.4.3.1.1.1.1:205837632000 6.4.2.2.2.1:308756448000 6.4.2.2.1.1.1:308756448000 6.4.2.1.1.1.1.1:61751289600 6.4.1.1.1.1.1.1.1:2940537600 6.3.3.3.2:182966784000 6.3.3.3.1.1:182966784000 6.3.3.2.2.1:411675264000 6.3.3.2.1.1.1:274450176000 6.3.3.1.1.1.1.1:27445017600 6.3.2.2.2.2:51459408000 6.3.2.2.2.1.1:205837632000 6.3.2.2.1.1.1.1:102918816000 6.3.2.1.1.1.1.1.1:13722508800 6.3.1.1.1.1.1.1.1.1:490089600 6.2.2.2.2.2.1:15437822400 6.2.2.2.2.1.1.1:25729704000 6.2.2.2.1.1.1.1.1:10291881600 6.2.2.1.1.1.1.1.1.1:1470268800 6.2.1.1.1.1.1.1.1.1.1:81681600 6.1.1.1.1.1.1.1.1.1.1.1:1485120 5.5.5.2:237124952064 5.5.5.1.1:237124952064 5.5.4.3:592812380160 5.5.4.2.1:889218570240 5.5.4.1.1.1:296406190080 5.5.3.3.1:395208253440 5.5.3.2.2:296406190080 5.5.3.2.1.1:592812380160 5.5.3.1.1.1.1:98802063360 5.5.2.2.2.1:148203095040 5.5.2.2.1.1.1:148203095040 5.5.2.1.1.1.1.1:29640619008 5.5.1.1.1.1.1.1.1:1411458048 5.4.4.4:185253868800 5.4.4.3.1:741015475200 5.4.4.2.2:277880803200 5.4.4.2.1.1:555761606400 5.4.4.1.1.1.1:92626934400 5.4.3.3.2:494010316800 5.4.3.3.1.1:494010316800 5.4.3.2.2.1:741015475200 5.4.3.2.1.1.1:494010316800 5.4.3.1.1.1.1.1:49401031680 5.4.2.2.2.2:46313467200 5.4.2.2.2.1.1:185253868800 5.4.2.2.1.1.1.1:92626934400 5.4.2.1.1.1.1.1.1:12350257920 5.4.1.1.1.1.1.1.1.1:441080640 5.3.3.3.3:36593356800 5.3.3.3.2.1:219560140800 5.3.3.3.1.1.1:73186713600 5.3.3.2.2.2:82335052800 5.3.3.2.2.1.1:247005158400 5.3.3.2.1.1.1.1:82335052800 5.3.3.1.1.1.1.1.1:5489003520 5.3.2.2.2.2.1:61751289600 5.3.2.2.2.1.1.1:82335052800 5.3.2.2.1.1.1.1.1:24700515840 5.3.2.1.1.1.1.1.1.1:2352430080 5.3.1.1.1.1.1.1.1.1.1:65345280 5.2.2.2.2.2.2:1543782240 5.2.2.2.2.2.1.1:9262693440 5.2.2.2.2.1.1.1.1:7718911200 5.2.2.2.1.1.1.1.1.1:2058376320 5.2.2.1.1.1.1.1.1.1.1:220540320 5.2.1.1.1.1.1.1.1.1.1.1:9801792 5.1.1.1.1.1.1.1.1.1.1.1.1:148512 4.4.4.4.1:57891834000 4.4.4.3.2:154378224000 4.4.4.3.1.1:154378224000 4.4.4.2.2.1:115783668000 4.4.4.2.1.1.1:77189112000 4.4.4.1.1.1.1.1:7718911200 4.4.3.3.3:68612544000 4.4.3.3.2.1:308756448000 4.4.3.3.1.1.1:102918816000 4.4.3.2.2.2:77189112000 4.4.3.2.2.1.1:231567336000 4.4.3.2.1.1.1.1:77189112000 4.4.3.1.1.1.1.1.1:5145940800 4.4.2.2.2.2.1:28945917000 4.4.2.2.2.1.1.1:38594556000 4.4.2.2.1.1.1.1.1:11578366800 4.4.2.1.1.1.1.1.1.1:1102701600 4.4.1.1.1.1.1.1.1.1.1:30630600 4.3.3.3.3.1:45741696000 4.3.3.3.2.2:68612544000 4.3.3.3.2.1.1:137225088000 4.3.3.3.1.1.1.1:22870848000 4.3.3.2.2.2.1:102918816000 4.3.3.2.2.1.1.1:102918816000 4.3.3.2.1.1.1.1.1:20583763200 4.3.3.1.1.1.1.1.1.1:980179200 4.3.2.2.2.2.2:7718911200 4.3.2.2.2.2.1.1:38594556000 4.3.2.2.2.1.1.1.1:25729704000 4.3.2.2.1.1.1.1.1.1:5145940800 4.3.2.1.1.1.1.1.1.1.1:367567200 4.3.1.1.1.1.1.1.1.1.1.1:8168160 4.2.2.2.2.2.2.1:1929727800 4.2.2.2.2.2.1.1.1:3859455600 4.2.2.2.2.1.1.1.1.1:1929727800 4.2.2.2.1.1.1.1.1.1.1:367567200 4.2.2.1.1.1.1.1.1.1.1.1:30630600 4.2.1.1.1.1.1.1.1.1.1.1.1:1113840 4.1.1.1.1.1.1.1.1.1.1.1.1.1:14280 3.3.3.3.3.2:6098892800 3.3.3.3.3.1.1:6098892800 3.3.3.3.2.2.1:22870848000 3.3.3.3.2.1.1.1:15247232000 3.3.3.3.1.1.1.1.1:1524723200 3.3.3.2.2.2.2:5717712000 3.3.3.2.2.2.1.1:22870848000 3.3.3.2.2.1.1.1.1:11435424000 3.3.3.2.1.1.1.1.1.1:1524723200 3.3.3.1.1.1.1.1.1.1.1:54454400 3.3.2.2.2.2.2.1:5145940800 3.3.2.2.2.2.1.1.1:8576568000 3.3.2.2.2.1.1.1.1.1:3430627200 3.3.2.2.1.1.1.1.1.1.1:490089600 3.3.2.1.1.1.1.1.1.1.1.1:27227200 3.3.1.1.1.1.1.1.1.1.1.1.1:495040 3.2.2.2.2.2.2.2:183783600 3.2.2.2.2.2.2.1.1:1286485200 3.2.2.2.2.2.1.1.1.1:1286485200 3.2.2.2.2.1.1.1.1.1.1:428828400 3.2.2.2.1.1.1.1.1.1.1.1:61261200 3.2.2.1.1.1.1.1.1.1.1.1.1:4084080 3.2.1.1.1.1.1.1.1.1.1.1.1.1:123760 3.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1360 2.2.2.2.2.2.2.2.1:34459425 2.2.2.2.2.2.2.1.1.1:91891800 2.2.2.2.2.2.1.1.1.1.1:64324260 2.2.2.2.2.1.1.1.1.1.1.1:18378360 2.2.2.2.1.1.1.1.1.1.1.1.1:2552550 2.2.2.1.1.1.1.1.1.1.1.1.1.1:185640 2.2.1.1.1.1.1.1.1.1.1.1.1.1.1:7140 2.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:136 1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1:1
