pattern order: 0 1 2 3 4 5 6 7; |Aut(Q)| = 48; chord orbits by size: 1 2 8 23 62 124 220
RESULT sym n=13 k=10 part 1/2: items 14099690 (this part 7049845), closures 17223318, weighted labelled R tested 2424592215 (all parts), pruned by K_8 test 696458109 (this part), working 0 (weighted, this part; 0 items) (143.1 s)
real 143.42
user 142.77
sys 0.45
