pattern order: 0 1 2 3 4 5 6 7; |Aut(Q)| = 48; chord orbits by size: 1 2 8 23 62 124 220
works: R_o = 0-8 1-8 0-9 1-9 0-10 2-10 3-10 2-11 6-11 ; R_c = 0-3
works: R_o = 0-8 1-8 0-9 1-9 0-10 3-10 4-10 4-11 6-11 ; R_c = 0-3
works: R_o = 0-8 1-8 0-9 1-9 2-10 5-10 0-11 2-11 5-11 ; R_c = 0-3
RESULT sym n=12 k=10 part 0/2: items 13779507 (this part 6889754), closures 23008206, weighted labelled R tested 2260653972 (all parts), pruned by K_8 test 144084200 (this part), working 55469808 (weighted, this part; 430255 items) (172.1 s)
real 172.50
user 171.65
sys 0.55
