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 0/2: items 14099690 (this part 7049845), closures 17219912, weighted labelled R tested 2424592215 (all parts), pruned by K_8 test 700650138 (this part), working 0 (weighted, this part; 0 items) (143.1 s)
real 143.45
user 142.81
sys 0.44
