### r2search raw 8 3
RESULT raw n=8 k=3: labelled sets tested 560, working 0 (0.0 s)
### r2search raw 8 4
RESULT raw n=8 k=4: labelled sets tested 1820, working 768 (0.0 s)
### r2search raw 9 4
RESULT raw n=9 k=4: labelled sets tested 10626, working 0 (0.0 s)
### r2search raw 9 5
RESULT raw n=9 k=5: labelled sets tested 42504, working 6864 (0.2 s)
### r2search raw 10 6
RESULT raw n=10 k=6: labelled sets tested 1107568, working 0 (5.3 s)
### r2search raw 10 7
RESULT raw n=10 k=7: labelled sets tested 4272048, working 554712 (20.0 s)
### r2search sym 8 3
RESULT sym n=8 k=3 part 0/1: items 1 (this part 1), closures 25, weighted labelled R tested 560 (all parts), pruned by K_8 test 0 (this part), working 0 (weighted, this part; 0 items) (0.0 s)
### r2search sym 8 4
works: R_o = ; R_c = 0-3 0-5 0-6 1-2
works: R_o = ; R_c = 0-3 0-5 0-7 1-2
works: R_o = ; R_c = 0-5 0-6 0-7 1-2
RESULT sym n=8 k=4 part 0/1: items 1 (this part 1), closures 64, weighted labelled R tested 1820 (all parts), pruned by K_8 test 0 (this part), working 768 (weighted, this part; 20 items) (0.0 s)
### r2search sym 9 4
RESULT sym n=9 k=4 part 0/1: items 154 (this part 154), closures 714, weighted labelled R tested 4326 (all parts), pruned by K_8 test 0 (this part), working 0 (weighted, this part; 0 items) (0.0 s)
### r2search sym 9 5
works: R_o = 0-8 1-8 ; R_c = 0-5 0-6 1-2
works: R_o = 0-8 1-8 ; R_c = 0-3 0-6 1-7
works: R_o = 0-8 1-8 ; R_c = 1-2 1-7 2-4
RESULT sym n=9 k=5 part 0/1: items 210 (this part 210), closures 1708, weighted labelled R tested 23576 (all parts), pruned by K_8 test 0 (this part), working 6864 (weighted, this part; 400 items) (0.0 s)
### r2search sym 9 4 nolem3
RESULT sym n=9 k=4 nolem3 part 0/1: items 154 (this part 154), closures 714, weighted labelled R tested 4326 (all parts), pruned by K_8 test 0 (this part), working 0 (weighted, this part; 0 items) (0.0 s)
### r2search sym 10 6
RESULT sym n=10 k=6 part 0/1: items 8736 (this part 8736), closures 33040, weighted labelled R tested 236208 (all parts), pruned by K_8 test 0 (this part), working 0 (weighted, this part; 0 items) (0.1 s)
### r2search sym 10 6 nolem3
RESULT sym n=10 k=6 nolem3 part 0/1: items 8772 (this part 8772), closures 33076, weighted labelled R tested 272048 (all parts), pruned by K_8 test 35840 (this part), working 0 (weighted, this part; 0 items) (0.1 s)
### r2search sym 10 7
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 0-5 0-6 1-2
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 0-3 0-6 1-7
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 1-2 1-7 2-4
RESULT sym n=10 k=7 part 0/1: items 18228 (this part 18228), closures 91182, weighted labelled R tested 1467760 (all parts), pruned by K_8 test 0 (this part), working 554712 (weighted, this part; 20283 items) (0.3 s)
### r2search sym 10 7 nolem3
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 0-5 0-6 1-2
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 0-3 0-6 1-7
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 1-2 1-7 2-4
RESULT sym n=10 k=7 nolem3 part 0/1: items 18264 (this part 18264), closures 91218, weighted labelled R tested 1584240 (all parts), pruned by K_8 test 116480 (this part), working 554712 (weighted, this part; 20283 items) (0.3 s)
### r2search sym 11 7
RESULT sym n=11 k=7 part 0/1: items 93952 (this part 93952), closures 295034, weighted labelled R tested 1942704 (all parts), pruned by K_8 test 215552 (this part), working 0 (weighted, this part; 0 items) (1.0 s)
### r2search sym 11 7 nolem3
RESULT sym n=11 k=7 nolem3 part 0/1: items 100927 (this part 100927), closures 302009, weighted labelled R tested 3116702 (all parts), pruned by K_8 test 1389550 (this part), working 0 (weighted, this part; 0 items) (1.1 s)
### r2search sym 11 8
works: R_o = 0-8 1-8 2-9 3-9 0-10 7-10 ; R_c = 0-5 1-2
works: R_o = 0-8 1-8 0-9 2-9 3-9 2-10 5-10 ; R_c = 0-3
works: R_o = 0-8 1-8 0-9 2-9 3-9 2-10 6-10 ; R_c = 0-3
RESULT sym n=11 k=8 part 0/1: items 360484 (this part 360484), closures 1259116, weighted labelled R tested 19421424 (all parts), pruned by K_8 test 1029120 (this part), working 428832 (weighted, this part; 9386 items) (6.3 s)
### r2search sym 11 8 nolem3
works: R_o = 0-8 1-8 2-9 3-9 0-10 7-10 ; R_c = 0-5 1-2
works: R_o = 0-8 1-8 0-9 2-9 3-9 2-10 5-10 ; R_c = 0-3
works: R_o = 0-8 1-8 0-9 2-9 3-9 2-10 6-10 ; R_c = 0-3
RESULT sym n=11 k=8 nolem3 part 0/1: items 369979 (this part 369979), closures 1268611, weighted labelled R tested 25547880 (all parts), pruned by K_8 test 7155576 (this part), working 428832 (weighted, this part; 9386 items) (6.4 s)
### r2search sym 12 9
RESULT sym n=12 k=9 part 0/1: items 2963134 (this part 2963134), closures 9028529, weighted labelled R tested 225604296 (all parts), pruned by K_8 test 54610088 (this part), working 0 (weighted, this part; 0 items) (47.3 s)
### r2search sym 12 9 nolem3
RESULT sym n=12 k=9 nolem3 part 0/1: items 3481977 (this part 3481977), closures 9547372, weighted labelled R tested 409540776 (all parts), pruned by K_8 test 238546568 (this part), working 0 (weighted, this part; 0 items) (54.8 s)
### r2search raw 8 3 mutate
RESULT raw n=8 k=3: labelled sets tested 560, working 228 (0.0 s)
### r2search raw 9 4 mutate
RESULT raw n=9 k=4: labelled sets tested 10626, working 456 (0.0 s)
### r2search sym 10 6 mutate
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 0-3 1-2
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 0-5 1-2
works: R_o = 0-8 1-8 0-9 1-9 ; R_c = 0-6 1-7
RESULT sym n=10 k=6 part 0/1: items 8736 (this part 8736), closures 33040, weighted labelled R tested 236208 (all parts), pruned by K_8 test 0 (this part), working 43680 (weighted, this part; 2497 items) (0.1 s)
### r2search sym 11 7 mutate
works: R_o = 0-8 1-8 2-9 5-9 2-10 5-10 ; R_c = 0-3
works: R_o = 0-8 1-8 4-9 5-9 4-10 5-10 ; R_c = 0-3
works: R_o = 0-8 1-8 2-9 6-9 2-10 6-10 ; R_c = 0-3
RESULT sym n=11 k=7 part 0/1: items 93952 (this part 93952), closures 295706, weighted labelled R tested 1942704 (all parts), pruned by K_8 test 192704 (this part), working 78336 (weighted, this part; 2512 items) (0.8 s)
