| [ 1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880, 3628800 ] |
| 30414093201713378043612608166064768844377641568960512000000000000 |
| [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ] |
| [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ] |
| 17035900270730601418919867558071677342938596450600561760371485120 |
| [ 1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975 ] |
| [ 1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975 ] |
| 976939307467007552986994066961675455550246347757474482558637 |
| [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ] |
| [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ] |
| true |
| 568611292461582075463109862277030309493811818619783570055397018154658816 |
| [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ] |
| [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ] |
| true |
| 170886257768137628374668205554120607567311094075812403938286 |
| [ [ ] ] |
| [ [ [ ] ], [ ] ] |
| [ [ ], [ 1 ], [ 1, 2 ], [ 1, 2, 3 ], [ 1, 2, 3, 4 ], [ 1, 2, 4 ], [ 1, 3 ], |
| [ 1, 3, 4 ], [ 1, 4 ], [ 2 ], [ 2, 3 ], [ 2, 3, 4 ], [ 2, 4 ], [ 3 ], |
| [ 3, 4 ], [ 4 ] ] |
| [ [ [ ] ], [ [ 1 ], [ 2 ], [ 3 ], [ 4 ] ], |
| [ [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 2, 3 ], [ 2, 4 ], [ 3, 4 ] ], |
| [ [ 1, 2, 3 ], [ 1, 2, 4 ], [ 1, 3, 4 ], [ 2, 3, 4 ] ], [ [ 1, 2, 3, 4 ] ], |
| [ ] ] |
| [ [ ], [ 1 ], [ 1, 2 ], [ 1, 2, 2 ], [ 1, 2, 2, 3 ], [ 1, 2, 3 ], [ 1, 3 ], |
| [ 2 ], [ 2, 2 ], [ 2, 2, 3 ], [ 2, 3 ], [ 3 ] ] |
| [ [ [ ] ], [ [ 1 ], [ 2 ], [ 3 ] ], |
| [ [ 1, 2 ], [ 1, 3 ], [ 2, 2 ], [ 2, 3 ] ], |
| [ [ 1, 2, 2 ], [ 1, 2, 3 ], [ 2, 2, 3 ] ], [ [ 1, 2, 2, 3 ] ], [ ] ] |
| [ 7, 8, 9, 10, 11, 12 ] |
| [ 1, 5, 9, 13 ] |
| [ 1, 2, 3, 4, 5, 6, 7 ] |
| [ 1, 2, 3, 4, 5, 6, 7, 8 ] |
| [ 17 ] |
| 1 |
| [ 1, 0 ] |
| 16 |
| [ 1, 4, 6, 4, 1, 0 ] |
| 12 |
| [ 1, 3, 4, 3, 1, 0 ] |
| 4096 |
| 1820 |
| 2880 |
| 1558 |
| [ [ ] ] |
| [ [ [ ] ], [ ] ] |
| [ [ ], [ 1 ], [ 1, 2 ], [ 1, 2, 3 ], [ 1, 3 ], [ 1, 3, 2 ], [ 2 ], [ 2, 1 ], |
| [ 2, 1, 3 ], [ 2, 3 ], [ 2, 3, 1 ], [ 3 ], [ 3, 1 ], [ 3, 1, 2 ], [ 3, 2 ], |
| [ 3, 2, 1 ] ] |
| [ [ [ ] ], [ [ 1 ], [ 2 ], [ 3 ] ], |
| [ [ 1, 2 ], [ 1, 3 ], [ 2, 1 ], [ 2, 3 ], [ 3, 1 ], [ 3, 2 ] ], |
| [ [ 1, 2, 3 ], [ 1, 3, 2 ], [ 2, 1, 3 ], [ 2, 3, 1 ], [ 3, 1, 2 ], |
| [ 3, 2, 1 ] ], [ ] ] |
| [ [ ], [ 1 ], [ 1, 2 ], [ 1, 2, 2 ], [ 1, 2, 2, 3 ], [ 1, 2, 3 ], |
| [ 1, 2, 3, 2 ], [ 1, 3 ], [ 1, 3, 2 ], [ 1, 3, 2, 2 ], [ 2 ], [ 2, 1 ], |
| [ 2, 1, 2 ], [ 2, 1, 2, 3 ], [ 2, 1, 3 ], [ 2, 1, 3, 2 ], [ 2, 2 ], |
| [ 2, 2, 1 ], [ 2, 2, 1, 3 ], [ 2, 2, 3 ], [ 2, 2, 3, 1 ], [ 2, 3 ], |
| [ 2, 3, 1 ], [ 2, 3, 1, 2 ], [ 2, 3, 2 ], [ 2, 3, 2, 1 ], [ 3 ], [ 3, 1 ], |
| [ 3, 1, 2 ], [ 3, 1, 2, 2 ], [ 3, 2 ], [ 3, 2, 1 ], [ 3, 2, 1, 2 ], |
| [ 3, 2, 2 ], [ 3, 2, 2, 1 ] ] |
| [ [ [ ] ], [ [ 1 ], [ 2 ], [ 3 ] ], |
| [ [ 1, 2 ], [ 1, 3 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 3, 1 ], [ 3, 2 ] ], |
| [ [ 1, 2, 2 ], [ 1, 2, 3 ], [ 1, 3, 2 ], [ 2, 1, 2 ], [ 2, 1, 3 ], |
| [ 2, 2, 1 ], [ 2, 2, 3 ], [ 2, 3, 1 ], [ 2, 3, 2 ], [ 3, 1, 2 ], |
| [ 3, 2, 1 ], [ 3, 2, 2 ] ], |
| [ [ 1, 2, 2, 3 ], [ 1, 2, 3, 2 ], [ 1, 3, 2, 2 ], [ 2, 1, 2, 3 ], |
| [ 2, 1, 3, 2 ], [ 2, 2, 1, 3 ], [ 2, 2, 3, 1 ], [ 2, 3, 1, 2 ], |
| [ 2, 3, 2, 1 ], [ 3, 1, 2, 2 ], [ 3, 2, 1, 2 ], [ 3, 2, 2, 1 ] ], [ ] ] |
| [ 3, 2, 1, 6, 5, 4 ] |
| [ 3, 1, 7, 5 ] |
| [ 5, 4, 3, 2, 1 ] |
| [ 2, 3, 4, 5, 6 ] |
| 1 |
| [ 1, 0 ] |
| 16 |
| [ 1, 3, 6, 6, 0 ] |
| 35 |
| [ 1, 3, 7, 12, 12, 0 ] |
| 1957 |
| 1680 |
| 3592 |
| 2880 |
| [ [ [ ] ], [ ] ] |
| [ [ [ ] ], [ [ 1 ], [ 2 ], [ 3 ] ], |
| [ [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 2, 2 ], [ 2, 3 ], [ 3, 3 ] ], |
| [ [ 1, 1, 1 ], [ 1, 1, 2 ], [ 1, 1, 3 ], [ 1, 2, 2 ], [ 1, 2, 3 ], |
| [ 1, 3, 3 ], [ 2, 2, 2 ], [ 2, 2, 3 ], [ 2, 3, 3 ], [ 3, 3, 3 ] ], |
| [ [ 1, 1, 1, 1 ], [ 1, 1, 1, 2 ], [ 1, 1, 1, 3 ], [ 1, 1, 2, 2 ], |
| [ 1, 1, 2, 3 ], [ 1, 1, 3, 3 ], [ 1, 2, 2, 2 ], [ 1, 2, 2, 3 ], |
| [ 1, 2, 3, 3 ], [ 1, 3, 3, 3 ], [ 2, 2, 2, 2 ], [ 2, 2, 2, 3 ], |
| [ 2, 2, 3, 3 ], [ 2, 3, 3, 3 ], [ 3, 3, 3, 3 ] ] ] |
| [ 1, 3, 5, 7, 9, 10 ] |
| [ 18, 18, 18, 18, 18, 18 ] |
| [ 1, 0 ] |
| [ 1, 3, 6, 10, 15 ] |
| 5005 |
| [ [ [ ] ], [ ] ] |
| [ [ [ ] ], [ [ 1 ], [ 2 ], [ 3 ] ], |
| [ [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 3, 1 ], |
| [ 3, 2 ], [ 3, 3 ] ], |
| [ [ 1, 1, 1 ], [ 1, 1, 2 ], [ 1, 1, 3 ], [ 1, 2, 1 ], [ 1, 2, 2 ], |
| [ 1, 2, 3 ], [ 1, 3, 1 ], [ 1, 3, 2 ], [ 1, 3, 3 ], [ 2, 1, 1 ], |
| [ 2, 1, 2 ], [ 2, 1, 3 ], [ 2, 2, 1 ], [ 2, 2, 2 ], [ 2, 2, 3 ], |
| [ 2, 3, 1 ], [ 2, 3, 2 ], [ 2, 3, 3 ], [ 3, 1, 1 ], [ 3, 1, 2 ], |
| [ 3, 1, 3 ], [ 3, 2, 1 ], [ 3, 2, 2 ], [ 3, 2, 3 ], [ 3, 3, 1 ], |
| [ 3, 3, 2 ], [ 3, 3, 3 ] ] ] |
| [ 1, 3, 5, 7 ] |
| [ 1, 0 ] |
| [ 1, 3, 9, 27 ] |
| 4096 |
| [ [ ] ] |
| [ [ 1, 2, 3, 4 ], [ 1, 2, 4, 3 ], [ 1, 3, 2, 4 ], [ 1, 3, 4, 2 ], |
| [ 1, 4, 2, 3 ], [ 1, 4, 3, 2 ], [ 2, 1, 3, 4 ], [ 2, 1, 4, 3 ], |
| [ 2, 3, 1, 4 ], [ 2, 3, 4, 1 ], [ 2, 4, 1, 3 ], [ 2, 4, 3, 1 ], |
| [ 3, 1, 2, 4 ], [ 3, 1, 4, 2 ], [ 3, 2, 1, 4 ], [ 3, 2, 4, 1 ], |
| [ 3, 4, 1, 2 ], [ 3, 4, 2, 1 ], [ 4, 1, 2, 3 ], [ 4, 1, 3, 2 ], |
| [ 4, 2, 1, 3 ], [ 4, 2, 3, 1 ], [ 4, 3, 1, 2 ], [ 4, 3, 2, 1 ] ] |
| [ [ 1, 2, 2, 3 ], [ 1, 2, 3, 2 ], [ 1, 3, 2, 2 ], [ 2, 1, 2, 3 ], |
| [ 2, 1, 3, 2 ], [ 2, 2, 1, 3 ], [ 2, 2, 3, 1 ], [ 2, 3, 1, 2 ], |
| [ 2, 3, 2, 1 ], [ 3, 1, 2, 2 ], [ 3, 2, 1, 2 ], [ 3, 2, 2, 1 ] ] |
| [ 2, 1, 4, 3, 6, 5 ] |
| [ 4, 3, 2, 1, 4, 3, 2, 4 ] |
| 1 |
| 24 |
| 12 |
| 720 |
| 1680 |
| [ [ ] ] |
| [ [ 2, 1, 4, 3 ], [ 2, 3, 4, 1 ], [ 2, 4, 1, 3 ], [ 3, 1, 4, 2 ], |
| [ 3, 4, 1, 2 ], [ 3, 4, 2, 1 ], [ 4, 1, 2, 3 ], [ 4, 3, 1, 2 ], |
| [ 4, 3, 2, 1 ] ] |
| [ 4, 3, 6, 1, 2, 5 ] |
| [ 4, 1, 4, 2, 4, 2, 3, 3 ] |
| 1 |
| 9 |
| 265 |
| 126 |
| 9 |
| 24 |
| [ [ ] ] |
| [ [ [ ] ], [ ] ] |
| [ [ [ 1 ], [ 2 ], [ 3 ], [ 4 ] ], [ [ 1 ], [ 2 ], [ 3, 4 ] ], |
| [ [ 1 ], [ 2, 3 ], [ 4 ] ], [ [ 1 ], [ 2, 3, 4 ] ], |
| [ [ 1 ], [ 2, 4 ], [ 3 ] ], [ [ 1, 2 ], [ 3 ], [ 4 ] ], |
| [ [ 1, 2 ], [ 3, 4 ] ], [ [ 1, 2, 3 ], [ 4 ] ], [ [ 1, 2, 3, 4 ] ], |
| [ [ 1, 2, 4 ], [ 3 ] ], [ [ 1, 3 ], [ 2 ], [ 4 ] ], [ [ 1, 3 ], [ 2, 4 ] ], |
| [ [ 1, 3, 4 ], [ 2 ] ], [ [ 1, 4 ], [ 2 ], [ 3 ] ], [ [ 1, 4 ], [ 2, 3 ] ] ] |
| [ [ ], [ [ [ 1, 2, 3 ] ] ], |
| [ [ [ 1 ], [ 2, 3 ] ], [ [ 1, 2 ], [ 3 ] ], [ [ 1, 3 ], [ 2 ] ] ], |
| [ [ [ 1 ], [ 2 ], [ 3 ] ] ], [ ] ] |
| [ [ 1, 3, 5, 7 ], [ 2, 4, 6 ] ] |
| [ [ 1, 2, 3 ], [ 4, 5 ], [ 6, 7, 8 ] ] |
| 1 |
| [ 1, 0 ] |
| 15 |
| [ 0, 1, 3, 1, 0 ] |
| 4140 |
| 3025 |
| [ [ ] ] |
| [ [ [ ] ], [ ] ] |
| [ [ 1, 1, 1, 1, 1, 1 ], [ 2, 1, 1, 1, 1 ], [ 2, 2, 1, 1 ], [ 2, 2, 2 ], |
| [ 3, 1, 1, 1 ], [ 3, 2, 1 ], [ 3, 3 ], [ 4, 1, 1 ], [ 4, 2 ], [ 5, 1 ], |
| [ 6 ] ] |
| [ [ ], [ [ 6 ] ], [ [ 3, 3 ], [ 4, 2 ], [ 5, 1 ] ], |
| [ [ 2, 2, 2 ], [ 3, 2, 1 ], [ 4, 1, 1 ] ], |
| [ [ 2, 2, 1, 1 ], [ 3, 1, 1, 1 ] ], [ [ 2, 1, 1, 1, 1 ] ], |
| [ [ 1, 1, 1, 1, 1, 1 ] ], [ ] ] |
| [ 7, 4, 3, 3, 2, 1 ] |
| [ 5, 3, 3, 2, 2, 1, 1, 1, 1, 1 ] |
| 1 |
| [ 1, 0 ] |
| 11 |
| [ 0, 1, 3, 3, 2, 1, 1, 0 ] |
| 190569292 |
| 2977866 |
| [ [ ] ] |
| [ [ [ ] ], [ ] ] |
| [ [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 2 ], [ 1, 1, 2, 1 ], [ 1, 1, 3 ], |
| [ 1, 2, 1, 1 ], [ 1, 2, 2 ], [ 1, 3, 1 ], [ 1, 4 ], [ 2, 1, 1, 1 ], |
| [ 2, 1, 2 ], [ 2, 2, 1 ], [ 2, 3 ], [ 3, 1, 1 ], [ 3, 2 ], [ 4, 1 ], [ 5 ] ] |
| [ [ ], [ [ 5 ] ], [ [ 1, 4 ], [ 2, 3 ], [ 3, 2 ], [ 4, 1 ] ], |
| [ [ 1, 1, 3 ], [ 1, 2, 2 ], [ 1, 3, 1 ], [ 2, 1, 2 ], [ 2, 2, 1 ], |
| [ 3, 1, 1 ] ], |
| [ [ 1, 1, 1, 2 ], [ 1, 1, 2, 1 ], [ 1, 2, 1, 1 ], [ 2, 1, 1, 1 ] ], |
| [ [ 1, 1, 1, 1, 1 ] ], [ ] ] |
| [ 1, 12 ] |
| [ 1, 11, 1, 1, 1, 1 ] |
| 1 |
| [ 1, 0 ] |
| 16 |
| [ 0, 1, 4, 6, 4, 1, 0 ] |
| 4096 |
| 3003 |
| [ [ ] ] |
| [ [ [ ] ], [ ] ] |
| [ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ], [ 2, 1, 1, 1, 1, 1, 1, 1, 1 ], |
| [ 2, 2, 1, 1, 1, 1, 1, 1 ], [ 2, 2, 2, 1, 1, 1, 1 ], [ 2, 2, 2, 2, 1, 1 ], |
| [ 2, 2, 2, 2, 2 ], [ 5, 1, 1, 1, 1, 1 ], [ 5, 2, 1, 1, 1 ], [ 5, 2, 2, 1 ], |
| [ 5, 5 ], [ 10 ] ] |
| [ [ [ 10 ] ], [ [ 5, 5 ] ], [ ], [ [ 5, 2, 2, 1 ] ], |
| [ [ 2, 2, 2, 2, 2 ], [ 5, 2, 1, 1, 1 ] ], |
| [ [ 2, 2, 2, 2, 1, 1 ], [ 5, 1, 1, 1, 1, 1 ] ], [ [ 2, 2, 2, 1, 1, 1, 1 ] ], |
| [ [ 2, 2, 1, 1, 1, 1, 1, 1 ] ], [ [ 2, 1, 1, 1, 1, 1, 1, 1, 1 ] ], |
| [ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ] ] ] |
| [ [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ], [ 5, 5, 2, 2, 2, 2, 2 ], [ 5, 5, 5, 5 ], |
| [ 10, 2, 2, 2, 2, 2 ], [ 10, 5, 5 ], [ 10, 10 ] ] |
| [ [ ], [ [ 10, 10 ] ], [ [ 10, 5, 5 ] ], [ [ 5, 5, 5, 5 ] ], [ ], |
| [ [ 10, 2, 2, 2, 2, 2 ] ], [ [ 5, 5, 2, 2, 2, 2, 2 ] ], [ ], [ ], |
| [ [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ] ], [ ], [ ], [ ], [ ], [ ], [ ], |
| [ ], [ ], [ ], [ ] ] |
| [ 13, 7, 5, 5, 5, 5, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ] |
| [ 17, 17, 13, 13, 13, 7, 5, 5, 5, 5 ] |
| 1 |
| [ 1, 0 ] |
| 341 |
| [ 0, 0, 0, 0, 1, 1, 1, 2, 4, 6, 6, 8, 10, 11, 11, 12, 13, 14, 14, 14, 15, 15, |
| 14, 14, 14, 13, 12, 12, 11, 10, 9, 9, 8, 7, 6, 6, 6, 5, 4, 4, 4, 3, 2, 2, |
| 2, 2, 1, 1, 1, 1 ] |
| 21 |
| [ 0, 0, 0, 0, 1, 1, 1, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] |
| 1213 |
| 125 |
| [ 0, 1, 1, 3, 5, 11, 21, 43, 85, 171, 341 ] |
| [ 2, 1, 5, 7, 17, 31, 65, 127, 257, 511, 1025 ] |
| [ 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55 ] |
| [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ] |
| true |
| [ 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597 ] |
| 1751455877444438095408940282208383549115781784912085789506677971125378 |
| [ 1, -1/2, 1/6, 0, -1/30, 0, 1/42, 0, -1/30, 0, 5/66, 0, -691/2730, 0, 7/6 ] |
| -4603784299479457646935574969019046849794257872751288919656867/230010 |
| [ [ 1, 16 ], [ 4, 18 ], [ 16, 2 ] ] |
| 3280 |
| 1 |
| G has 96 classes of altogether 11300 subgroups. |
| |
| |
| ********* S_3 |
| [sizes:2*3,2*3,3] |
| size=3size=3 |
| |
| Subgroup generated by 4 random elements... |
| [sizes:2*3,2*3,3] |
| size=3size=3 |
| |
| |
| ********* S_3wrS_4 |
| [sizes:2^7*3^5,2^7*3^5,3^5] |
| size=3^5size=3^5 |
| |
| Subgroup generated by 4 random elements... |
| [sizes:2^7*3^5,2^7*3^5,3^5] |
| size=3^5size=3^5 |
| |
| |
| ********* S_4wrS_4 |
| [sizes:2^15*3^5,2^15*3^5,3^5] |
| size=3^5size=3^5 |
| |
| Subgroup generated by 4 random elements... |
| [sizes:2^14*3^5,2^14*3^5,3^5] |
| size=3^5size=3^5 |
| exit 0 |