n=7 classes=9 invariance(a): True (49 type pairs, 0 of them involve a split type, 98 structure constants compared)   permutation of the proof valid(b): True
n=9 classes=18 invariance(a): True (225 type pairs, 29 of them involve a split type, 512 structure constants compared)   permutation of the proof valid(b): True
n=11 classes=31 invariance(a): True (784 type pairs, 55 of them involve a split type, 1682 structure constants compared)   permutation of the proof valid(b): True
n=13 classes=55 invariance(a): True (2601 type pairs, 200 of them involve a split type, 5618 structure constants compared)   permutation of the proof valid(b): True
n=15 classes=94 invariance(a): True (7921 type pairs, 525 of them involve a split type, 16928 structure constants compared)   permutation of the proof valid(b): True
n=17 classes=156 invariance(a): True (22500 type pairs, 1184 of them involve a split type, 47432 structure constants compared)   permutation of the proof valid(b): True
n=19 classes=254 invariance(a): True (61009 type pairs, 2445 of them involve a split type, 127008 structure constants compared)   permutation of the proof valid(b): True
n=21 classes=408 invariance(a): True (159201 type pairs, 5537 of them involve a split type, 329672 structure constants compared)   permutation of the proof valid(b): True
n=23 classes=641 invariance(a): True (398161 type pairs, 10032 of them involve a split type, 816642 structure constants compared)   permutation of the proof valid(b): True
