Model of size 35 found by c_dpll: 32 11 26 8 19 5 29 1 7 17 24 23 33 0 25 4 22 21 28 16 34 13 30 15 20 14 6 2 10 31 3 27 9 12 18 34 30 33 6 4 24 3 18 16 27 19 31 1 26 15 10 23 28 22 2 11 25 20 12 9 0 17 13 21 32 8 7 29 14 5 1 32 31 34 13 30 6 29 5 16 18 28 0 8 2 27 9 4 20 24 14 12 26 21 7 22 15 11 19 33 17 10 23 25 3 6 26 0 33 25 2 9 7 27 10 21 19 29 20 32 3 34 31 13 22 5 14 15 28 8 1 16 12 23 30 24 17 18 11 4 26 16 15 2 30 34 33 10 8 29 7 20 23 28 22 31 4 27 19 14 3 24 6 1 0 32 5 21 17 13 12 11 25 18 9 17 19 34 30 15 32 27 12 22 9 25 4 11 21 29 1 33 5 26 8 24 0 23 3 14 31 18 10 6 2 7 28 13 16 20 16 0 18 27 32 4 31 34 17 30 10 25 9 23 20 24 5 12 6 28 2 8 29 13 22 33 3 19 15 11 21 14 1 26 7 18 24 9 19 27 10 5 33 26 6 13 11 28 14 0 22 25 2 32 7 17 31 3 34 1 30 4 23 16 12 29 21 20 15 8 29 4 7 10 23 27 19 6 30 34 33 14 12 25 11 2 1 24 3 31 22 28 18 8 21 17 32 9 0 5 16 15 26 20 13 5 7 29 1 22 21 34 30 19 32 28 16 3 13 26 8 15 0 25 4 27 9 12 33 10 6 31 20 14 18 11 24 17 23 2 12 17 6 25 5 23 20 28 32 8 31 34 21 30 14 26 13 1 2 29 10 16 24 9 19 15 33 7 22 3 0 18 4 27 11 31 34 21 7 29 20 13 22 28 14 9 33 27 10 17 15 24 18 5 3 32 6 11 26 23 16 30 8 1 4 25 0 2 19 12 24 12 3 20 8 25 11 14 1 28 22 10 30 34 33 18 16 26 15 6 7 29 31 4 5 9 21 32 13 0 23 19 27 2 17 13 33 28 16 11 9 25 4 3 0 34 30 22 32 24 23 7 17 27 12 26 5 8 19 18 20 10 31 2 14 15 29 21 1 6 23 13 14 29 21 16 10 26 9 1 2 24 32 12 31 34 0 30 18 27 6 4 25 17 3 7 19 33 11 22 5 20 8 28 15 10 27 32 15 34 31 0 11 25 2 17 3 24 18 13 33 28 14 21 19 9 20 7 29 4 8 23 30 12 1 26 5 6 22 16 25 8 11 31 16 29 7 2 12 26 15 18 4 24 3 14 30 34 33 20 19 27 10 23 17 5 13 0 32 9 1 22 28 6 21 9 22 27 12 33 17 24 23 15 13 26 8 7 5 34 30 3 32 29 1 28 21 16 11 6 18 2 14 31 20 19 25 0 4 10 8 21 10 26 17 1 18 25 0 23 14 27 13 4 6 29 32 16 31 34 20 30 28 5 15 3 11 22 33 7 9 2 12 24 19 2 25 13 11 28 14 32 19 34 31 5 15 26 6 21 7 29 20 17 33 0 18 22 24 16 4 12 1 30 8 27 9 10 3 23 30 9 2 24 0 12 14 27 21 4 20 26 5 1 18 28 17 8 10 25 31 23 34 32 33 11 7 15 3 19 13 6 16 29 22 0 15 24 23 3 13 28 16 33 21 29 1 19 17 27 12 11 9 34 30 25 32 4 7 31 2 20 6 18 10 22 26 5 8 14 20 29 5 3 26 6 17 15 24 18 32 22 34 31 9 19 27 10 0 11 21 2 33 25 30 12 8 16 4 23 28 13 14 7 1 28 1 22 14 12 26 15 31 23 25 11 6 16 27 19 20 8 29 7 18 33 34 2 30 32 13 9 17 5 21 4 3 24 10 0 7 2 4 13 14 22 16 5 31 19 30 0 6 3 8 9 20 15 1 21 23 33 32 18 34 27 24 28 26 29 10 12 11 17 25 22 6 8 5 2 33 4 32 10 15 12 21 20 7 1 13 31 3 30 9 16 11 17 14 29 34 26 24 25 28 18 23 19 0 27 15 18 23 21 10 3 12 9 6 33 8 32 14 19 16 0 2 11 4 17 30 7 13 31 26 24 34 27 29 25 20 1 22 5 28 11 31 30 17 20 19 1 0 14 7 16 13 10 33 12 32 18 22 23 5 8 15 21 6 25 26 29 34 28 27 2 4 3 9 24 19 10 12 0 31 15 30 21 2 22 4 5 18 11 23 17 14 33 16 32 1 3 9 20 24 28 27 25 34 26 6 8 7 13 29 33 20 1 32 6 11 8 17 18 3 23 9 31 22 30 5 10 7 12 13 4 19 0 2 27 25 28 29 24 34 14 16 15 21 26 27 23 19 18 1 28 22 20 4 24 3 2 8 29 7 6 12 25 11 10 15 26 14 16 13 21 0 5 9 17 30 33 34 31 32 4 5 20 28 9 8 2 24 13 12 6 29 17 16 10 25 21 23 14 26 18 1 27 0 11 19 22 3 7 15 32 31 30 34 33 21 3 25 4 7 0 26 8 11 5 27 12 15 9 28 16 19 13 24 23 29 17 1 22 2 10 14 18 20 6 33 34 32 30 31 14 28 17 22 24 18 21 3 29 20 0 7 25 2 5 11 26 6 9 15 13 10 19 27 12 23 1 4 8 16 34 32 31 33 30 3 14 16 9 18 7 23 13 20 11 1 17 2 15 4 21 6 19 8 0 12 22 5 10 28 29 25 26 27 24 31 30 33 32 34 Model of size 35 found by c_dpll: 30 24 7 16 4 26 18 2 19 28 3 21 27 0 23 14 15 25 31 20 13 33 34 6 9 1 12 22 17 32 8 11 29 10 5 23 32 26 8 18 5 24 20 11 17 25 4 1 33 29 0 28 22 19 3 15 34 12 30 16 10 21 6 2 31 7 27 9 13 14 9 13 31 24 1 4 6 27 32 30 16 34 20 17 2 25 21 8 28 5 12 14 19 29 15 7 18 3 23 33 22 10 0 26 11 26 2 32 33 25 21 9 7 24 14 22 18 31 34 5 3 1 6 23 27 29 17 16 15 4 20 8 19 13 30 28 12 10 11 0 19 34 33 10 30 29 11 21 8 27 23 6 24 20 7 2 3 28 16 4 0 18 26 31 22 32 5 17 1 12 13 15 25 14 9 18 17 34 30 3 32 27 13 23 9 29 0 22 15 26 8 25 5 4 33 7 24 1 20 6 31 14 2 10 21 11 28 12 19 16 17 20 16 25 12 19 31 29 5 8 10 28 30 32 21 34 6 0 26 22 9 2 13 24 3 33 11 23 7 18 1 14 4 27 15 25 21 22 18 27 6 32 33 26 2 12 11 16 29 1 23 9 31 7 34 28 5 10 3 19 30 0 13 20 8 24 17 14 15 4 4 27 23 31 20 34 33 14 30 25 15 2 28 13 3 10 11 29 6 0 8 7 24 21 5 17 32 9 22 1 19 18 26 16 12 11 5 29 0 23 22 34 30 7 32 28 19 12 3 25 4 27 1 13 18 33 26 9 8 14 2 31 16 6 10 15 24 17 20 21 12 19 6 29 22 0 21 26 17 20 31 25 13 9 14 24 2 30 34 32 1 10 4 27 11 23 33 15 3 7 5 16 8 28 18 24 14 9 7 26 2 1 23 28 10 32 33 6 27 17 15 5 21 3 25 34 12 31 11 0 13 30 4 19 20 29 22 16 18 8 33 12 27 13 15 9 25 4 3 1 34 30 32 11 24 20 26 17 8 7 23 28 5 19 10 14 6 31 21 16 18 29 22 0 2 13 29 11 2 8 28 3 31 0 34 33 16 26 30 18 6 7 24 14 19 4 15 25 10 1 5 22 32 12 9 20 23 27 21 17 5 8 14 28 17 20 10 25 1 4 2 27 0 22 31 26 16 19 29 12 32 6 30 34 7 11 3 33 18 15 9 21 13 24 23 34 31 17 15 29 16 12 11 27 6 5 3 14 24 32 33 22 10 18 28 26 9 2 7 20 0 19 30 8 4 25 1 21 23 13 32 30 10 34 9 13 16 24 22 0 14 26 8 5 6 28 31 4 27 1 17 21 20 25 23 18 15 7 33 11 12 2 19 29 3 3 9 24 20 33 17 28 19 18 12 26 8 5 7 34 30 29 32 0 15 11 27 22 13 2 21 16 10 31 14 23 25 1 4 6 27 6 12 11 34 31 22 18 25 21 17 15 10 28 9 7 32 16 33 29 24 1 14 23 13 8 4 20 30 0 26 5 2 3 19 8 26 18 14 19 25 15 6 13 24 7 31 34 4 33 21 23 27 10 30 20 11 29 16 17 12 9 1 32 5 0 3 28 2 22 0 25 15 21 13 27 23 16 20 26 18 10 29 19 11 31 33 34 2 8 30 3 28 14 32 9 17 12 5 22 4 7 24 6 1 22 0 2 26 32 30 14 34 12 19 21 29 4 1 16 27 10 13 24 9 5 31 8 28 33 15 23 18 11 3 17 6 20 25 7 15 1 28 19 7 12 29 0 33 22 24 20 17 23 27 13 34 9 30 11 18 25 32 4 31 16 2 21 14 6 3 26 5 8 10 29 16 5 3 28 10 17 15 34 31 1 23 2 26 22 18 12 14 11 24 25 32 21 33 30 4 13 8 0 19 27 9 6 7 20 10 33 19 32 31 11 30 12 2 23 8 1 7 14 20 9 4 3 5 21 16 0 18 22 34 27 24 28 26 29 6 13 15 17 25 6 11 13 12 2 3 8 5 16 33 0 32 18 31 30 22 19 7 9 10 21 4 15 17 29 34 26 24 25 28 14 20 23 1 27 2 18 8 22 10 15 19 17 6 7 13 9 33 21 4 32 30 23 1 31 14 20 11 12 26 24 34 27 29 25 16 0 3 5 28 16 15 0 17 6 23 13 1 14 18 20 22 11 10 19 12 8 33 32 2 31 30 3 5 25 26 29 34 28 27 21 4 7 9 24 31 7 30 9 21 18 4 22 10 3 19 5 23 16 0 1 20 15 17 14 6 13 33 32 24 28 27 25 34 26 2 8 11 12 29 21 23 4 1 14 33 20 32 31 15 30 17 3 6 13 5 0 11 12 16 2 8 7 9 27 25 28 29 24 34 10 19 18 22 26 20 28 3 6 0 24 7 10 4 29 11 14 25 8 15 16 18 26 21 13 19 23 27 2 12 22 1 5 9 17 30 33 34 31 32 1 4 21 27 5 8 2 28 9 13 6 24 19 12 10 29 14 20 25 17 22 16 0 26 18 3 7 11 15 23 32 31 30 34 33 7 22 25 4 11 1 26 8 15 5 27 13 9 18 28 19 24 12 20 23 3 29 17 0 21 6 10 14 16 2 33 34 32 30 31 28 10 1 23 24 14 5 3 29 16 9 7 21 25 12 11 17 2 15 26 27 22 6 18 8 19 20 0 4 13 34 32 31 33 30 14 3 20 5 16 7 0 9 21 11 4 12 15 2 8 17 13 18 22 6 10 19 23 1 28 29 25 26 27 24 31 30 33 32 34 Model of size 35 found by c_dpll: 30 11 25 23 4 22 34 33 24 31 18 13 27 15 0 5 26 7 20 1 14 28 9 3 2 16 8 6 12 32 10 17 29 19 21 28 33 3 32 29 5 11 8 22 17 27 2 31 1 34 21 15 23 25 6 24 7 16 13 4 20 14 10 18 30 26 12 19 9 0 5 18 32 28 13 30 6 34 16 10 1 26 2 0 33 29 21 20 17 24 9 12 25 4 19 11 3 22 7 31 23 27 8 14 15 16 25 14 31 12 29 10 7 18 26 21 19 4 24 8 3 30 34 32 22 2 20 15 27 23 13 5 1 9 33 6 11 0 28 17 18 7 24 13 30 15 26 1 34 3 10 33 29 31 20 17 28 19 4 9 0 27 5 11 16 32 21 12 8 6 14 23 25 22 2 29 17 11 21 24 33 7 32 15 9 25 12 3 23 28 6 31 5 34 2 26 19 8 1 20 30 0 18 14 10 27 16 22 13 4 13 10 16 26 9 20 32 24 8 30 17 34 21 14 5 27 6 4 33 25 23 2 29 0 11 31 15 7 3 22 1 28 12 18 19 6 28 0 19 21 26 18 31 14 25 16 11 20 27 2 22 10 29 12 7 32 30 3 34 13 33 17 9 5 1 8 15 4 24 23 1 4 6 25 17 14 21 27 32 0 13 29 12 30 23 34 2 18 9 28 33 8 26 10 7 3 31 19 11 15 5 24 16 20 22 27 5 22 12 25 23 15 2 11 33 29 32 19 13 26 16 7 1 24 8 34 31 6 9 18 14 30 4 20 0 28 21 3 17 10 4 15 28 9 20 11 29 17 27 19 30 5 34 7 14 33 25 31 0 23 10 24 13 22 12 8 32 2 16 21 18 1 26 3 6 32 34 30 7 8 24 4 22 20 27 2 31 18 26 21 15 0 28 6 3 16 14 11 25 9 5 33 23 13 17 12 19 10 29 1 33 14 12 27 5 10 8 26 2 18 23 28 32 4 17 25 16 30 1 34 13 6 24 20 15 19 7 31 22 11 9 29 21 0 3 34 13 31 8 28 9 3 16 19 1 26 6 15 33 25 32 22 17 27 21 29 11 12 5 0 4 18 30 10 20 24 2 7 23 14 14 3 29 17 10 19 24 13 25 15 0 23 28 22 30 9 34 11 18 33 4 26 1 31 21 2 12 32 6 16 20 5 27 7 8 21 26 18 15 32 34 30 11 10 29 12 3 0 28 6 31 20 27 2 19 8 4 7 24 17 23 9 33 1 13 16 22 14 25 5 17 0 8 29 33 18 16 28 12 14 9 27 6 20 1 24 32 10 23 26 5 21 34 30 3 15 22 11 31 19 13 25 2 4 7 25 9 15 16 34 17 31 12 7 13 24 21 22 5 27 8 19 33 26 32 28 3 2 23 14 0 10 20 30 4 29 6 11 1 18 10 31 27 5 18 7 25 23 29 22 14 17 26 19 4 1 24 3 30 13 20 34 33 15 8 21 6 16 32 2 0 9 28 11 12 12 29 10 11 2 27 20 19 30 34 32 15 14 25 16 7 4 24 8 31 6 0 22 28 5 17 1 13 33 23 21 3 18 26 9 0 19 34 33 14 31 28 9 26 11 20 1 25 3 18 23 27 22 10 5 30 29 17 7 32 6 2 8 21 12 4 13 24 15 16 9 30 2 34 23 4 12 25 21 20 33 24 16 18 13 28 8 0 5 29 1 32 27 14 31 22 19 3 15 7 17 26 6 10 11 8 24 4 3 16 25 14 15 0 28 6 22 30 34 32 19 18 26 21 11 12 10 31 29 33 1 23 5 17 9 2 7 20 27 13 24 1 7 6 26 13 19 21 31 23 34 16 11 17 29 2 3 9 28 12 27 22 32 33 30 10 4 14 0 18 25 8 15 5 20 22 12 17 14 7 8 13 20 23 16 19 10 9 6 31 30 33 32 11 0 3 1 18 21 34 27 24 28 26 29 15 4 5 2 25 19 32 33 10 11 6 9 0 1 21 7 20 23 16 15 4 5 2 3 18 31 17 30 12 29 34 26 24 25 28 22 14 13 8 27 31 16 23 30 22 32 33 14 13 8 15 4 5 2 11 0 1 21 19 10 7 9 20 6 26 24 34 27 29 25 3 18 17 12 28 11 8 13 0 31 21 1 30 33 32 3 18 17 12 19 10 9 6 15 4 22 5 14 2 25 26 29 34 28 27 7 20 23 16 24 3 6 9 18 15 12 17 4 5 2 31 30 33 32 7 20 23 16 22 14 19 13 10 8 24 28 27 25 34 26 11 0 1 21 29 7 2 5 20 3 16 23 18 17 12 11 0 1 21 22 14 13 8 31 30 15 33 4 32 27 25 28 29 24 34 19 10 9 6 26 20 22 26 1 0 3 27 5 28 7 4 9 24 11 10 13 29 15 14 17 18 25 23 19 6 12 16 21 2 8 30 33 34 31 32 2 27 20 22 6 28 0 3 4 24 8 7 10 29 12 11 14 25 16 15 21 18 19 26 1 9 13 17 23 5 32 31 30 34 33 23 20 21 24 1 0 2 29 6 4 5 25 8 10 9 26 12 14 13 27 17 16 28 18 22 7 11 15 19 3 33 34 32 30 31 26 23 19 2 27 1 22 6 3 5 28 8 7 9 24 12 11 13 29 16 25 15 21 17 10 18 20 0 4 14 34 32 31 33 30 15 21 1 4 19 2 5 10 9 6 22 14 13 8 3 18 17 12 7 20 11 23 0 16 28 29 25 26 27 24 31 30 33 32 34 Model of size 35 found by c_dpll: 30 34 33 21 4 24 19 6 16 26 7 2 14 28 17 0 20 11 27 31 15 3 25 10 1 18 5 13 9 32 8 23 29 12 22 19 32 28 16 14 5 34 30 7 18 26 8 24 1 20 33 23 25 22 4 11 29 13 0 12 6 17 2 21 31 3 27 9 15 10 32 0 31 34 5 15 6 28 18 20 17 25 2 16 27 1 22 21 8 26 13 12 30 29 7 23 11 19 14 33 9 10 4 24 3 28 21 1 33 26 12 22 7 34 31 13 19 32 6 3 29 27 5 17 23 24 18 2 14 0 16 4 15 8 30 25 9 10 11 20 16 26 7 12 30 34 33 2 8 29 23 10 11 27 6 20 4 19 24 21 0 14 28 31 13 32 22 9 18 5 15 3 25 17 1 14 18 25 4 23 32 24 20 19 9 34 30 27 22 15 11 33 29 5 0 3 26 1 8 2 31 10 21 6 17 7 28 13 16 12 18 30 17 25 32 4 31 34 9 16 10 24 21 0 26 22 5 6 20 28 1 2 15 27 19 33 3 14 23 11 13 12 8 29 7 29 6 22 19 24 2 5 33 27 17 1 11 18 31 23 34 25 32 10 7 28 9 21 3 15 30 20 8 16 4 26 13 12 14 0 4 24 19 31 20 27 11 17 30 34 33 6 3 25 12 15 0 14 28 10 8 23 29 2 22 9 32 1 13 18 16 7 26 21 5 7 5 27 15 19 22 26 8 3 32 29 0 34 13 30 23 14 28 1 16 33 25 9 4 10 21 31 12 2 6 11 24 18 20 17 5 16 6 28 22 30 21 26 32 8 31 34 12 20 29 13 1 2 4 27 9 10 0 24 3 14 33 7 19 23 18 17 15 25 11 24 2 13 7 25 10 1 23 29 6 9 33 5 21 14 28 34 22 31 3 26 32 12 11 20 8 30 0 15 16 27 18 17 19 4 13 4 12 29 9 20 10 24 1 30 2 27 31 15 34 32 18 17 0 25 5 6 8 28 23 3 19 33 11 7 22 21 16 26 14 33 13 26 8 11 9 28 16 23 1 27 15 25 32 4 7 3 34 18 30 19 24 5 20 6 10 2 31 17 12 14 29 22 0 21 27 17 32 14 29 6 18 11 26 12 5 3 13 10 33 25 24 9 2 19 34 1 31 7 16 20 15 30 4 0 28 22 21 23 8 15 25 3 6 8 29 23 31 0 28 14 21 33 34 10 30 16 7 26 17 4 19 24 12 18 22 13 32 5 1 20 11 27 2 9 8 29 23 17 16 26 7 10 15 25 3 31 19 24 2 4 30 33 34 12 20 11 27 21 9 5 1 18 32 22 0 14 28 6 13 9 15 10 24 18 8 17 25 13 0 12 29 6 30 28 5 32 31 16 34 22 21 4 26 14 11 7 23 33 3 1 2 20 27 19 23 9 29 0 33 18 27 15 14 13 24 20 28 5 16 3 11 26 32 8 7 34 22 30 21 17 12 6 31 10 19 25 1 4 2 34 31 5 11 28 21 32 19 25 10 22 14 9 17 7 27 26 18 12 33 29 13 6 23 8 4 0 16 30 20 24 1 2 3 15 0 28 14 2 15 25 3 21 20 27 11 12 7 26 31 16 8 23 29 6 30 33 34 17 32 1 9 5 22 13 4 19 24 10 18 1 8 2 27 13 16 12 29 22 15 21 26 17 4 25 18 9 10 30 24 32 31 20 34 33 7 14 11 3 19 5 6 0 28 23 11 1 34 30 3 13 25 4 33 22 28 16 29 18 0 19 7 24 9 20 14 27 32 15 31 12 21 17 10 2 23 26 5 8 6 25 10 18 3 34 31 9 14 24 2 32 23 1 12 19 26 28 13 21 11 27 22 17 33 30 0 8 4 20 15 29 5 6 7 16 21 7 16 22 12 19 8 9 31 3 30 18 0 23 13 6 17 15 14 5 2 20 33 32 34 27 24 28 26 29 10 4 11 1 25 2 23 20 13 10 33 4 32 6 14 0 5 16 3 18 21 31 30 11 1 12 8 7 22 29 34 26 24 25 28 17 15 19 9 27 17 11 15 1 6 3 0 18 12 33 8 32 4 19 9 10 2 20 7 22 31 30 14 5 26 24 34 27 29 25 21 16 23 13 28 31 19 30 9 21 14 16 5 10 7 4 22 15 33 32 17 12 8 23 13 6 0 11 1 25 26 29 34 28 27 2 20 3 18 24 10 14 4 5 31 23 30 13 2 19 20 9 8 11 1 12 21 16 33 32 17 15 3 18 24 28 27 25 34 26 6 0 7 22 29 6 33 0 32 2 11 20 1 17 23 15 13 30 7 22 31 10 4 3 18 21 16 19 9 27 25 28 29 24 34 12 8 14 5 26 20 27 11 10 0 28 14 12 4 24 19 17 23 29 21 8 15 3 25 2 16 7 26 6 5 13 18 22 1 9 30 33 34 31 32 22 20 21 26 1 0 2 27 5 4 6 28 10 8 24 9 13 12 15 29 18 17 16 25 11 19 23 3 7 14 32 31 30 34 33 3 22 24 20 7 1 29 0 11 5 25 4 26 9 8 14 19 27 13 15 23 28 18 16 17 2 6 10 12 21 33 34 32 30 31 26 12 9 23 27 17 13 3 28 21 18 7 22 2 11 24 29 1 6 14 25 5 10 19 4 15 16 20 0 8 34 32 31 33 30 12 3 8 18 17 7 15 22 21 11 16 1 20 14 5 2 6 0 19 9 10 4 23 13 28 29 25 26 27 24 31 30 33 32 34 Model of size 35 found by c_dpll: 32 34 30 33 7 5 25 4 18 19 28 17 0 2 29 3 24 23 22 20 15 27 12 13 14 6 16 1 21 31 11 26 8 9 10 30 31 34 32 5 4 6 25 17 18 16 28 3 0 1 29 21 22 20 24 12 14 13 27 15 7 19 2 23 33 8 10 9 26 11 31 32 33 34 25 6 5 7 16 28 18 19 1 29 0 2 22 24 21 23 27 12 14 15 13 4 17 3 20 30 26 8 10 11 9 34 33 31 30 4 25 7 6 28 17 19 16 29 3 2 1 23 20 24 21 13 15 27 14 12 5 18 0 22 32 9 11 26 10 8 28 19 16 17 30 34 33 31 26 9 11 10 24 20 23 21 7 4 25 6 3 2 29 1 0 32 8 22 5 18 13 15 27 14 12 18 28 17 19 33 32 34 30 8 11 26 9 22 23 24 20 25 7 5 4 2 29 0 3 1 31 10 21 6 16 15 27 12 13 14 17 16 28 18 32 30 31 34 9 8 10 26 20 22 21 24 6 5 4 25 0 1 3 29 2 33 11 23 7 19 12 14 13 27 15 16 18 19 28 34 31 32 33 10 26 8 11 21 24 22 23 5 25 6 7 29 0 1 2 3 30 9 20 4 17 27 12 14 15 13 5 25 4 7 23 22 24 20 32 33 34 30 12 15 27 13 29 2 0 3 11 26 8 9 10 21 31 14 1 6 19 28 18 17 16 25 7 6 4 20 24 23 21 34 30 33 31 27 13 15 14 2 3 29 1 9 11 26 10 8 22 32 12 0 5 17 19 28 16 18 4 6 25 5 22 20 21 24 30 32 31 34 13 12 14 27 1 0 3 29 8 10 9 26 11 23 33 15 2 7 18 16 17 28 19 6 5 7 25 24 21 22 23 31 34 32 33 14 27 12 15 0 29 1 2 26 8 10 11 9 20 30 13 3 4 28 18 16 19 17 12 27 13 15 11 8 26 9 0 2 29 3 32 33 34 30 28 19 18 17 7 25 5 4 6 10 1 31 16 14 23 24 22 20 21 27 15 14 13 9 26 11 10 29 3 2 1 34 30 33 31 19 17 28 16 4 7 25 6 5 8 0 32 18 12 20 23 24 21 22 13 14 27 12 8 9 10 26 3 0 1 29 30 32 31 34 16 18 17 28 5 6 4 25 7 11 2 33 19 15 22 21 20 24 23 14 12 15 27 26 10 8 11 1 29 0 2 31 34 32 33 18 28 16 19 25 5 6 7 4 9 3 30 17 13 24 22 21 23 20 9 10 26 8 18 17 16 28 13 12 14 27 4 5 6 25 31 32 30 34 22 21 20 24 23 19 15 7 33 11 0 1 3 29 2 26 11 10 9 17 28 19 16 27 13 15 14 25 4 7 6 33 30 34 31 20 23 24 21 22 18 12 5 32 8 3 2 29 1 0 8 26 9 11 19 18 28 17 12 15 27 13 5 7 25 4 34 33 32 30 23 24 22 20 21 16 14 6 31 10 2 29 0 3 1 10 8 11 26 28 16 18 19 14 27 12 15 6 25 5 7 32 34 31 33 24 22 21 23 20 17 13 4 30 9 29 0 1 2 3 29 2 1 3 13 27 15 14 24 20 23 21 28 17 19 16 11 9 26 10 30 33 34 31 32 12 22 18 8 0 4 7 25 6 5 3 1 29 0 12 13 14 27 20 22 21 24 17 18 16 28 10 8 9 26 32 31 30 34 33 15 23 19 11 2 5 6 4 25 7 0 29 3 2 15 12 27 13 22 23 24 20 18 19 28 17 26 11 8 9 33 34 32 30 31 14 21 16 10 1 7 25 5 4 6 1 0 2 29 27 14 12 15 21 24 22 23 16 28 18 19 8 26 10 11 34 32 31 33 30 13 20 17 9 3 25 5 6 7 4 2 3 0 1 14 15 13 12 23 21 20 22 19 16 17 18 9 10 11 8 31 30 33 32 34 27 24 28 26 29 6 4 7 5 25 19 17 18 16 31 33 30 32 11 10 9 8 23 21 20 22 4 6 7 5 1 3 2 0 29 34 26 24 25 28 14 13 15 12 27 7 4 5 6 21 23 20 22 33 31 30 32 15 14 13 12 3 1 2 0 10 9 11 8 26 24 34 27 29 25 16 17 19 18 28 15 13 12 14 10 11 9 8 2 1 3 0 33 31 30 32 17 16 19 18 6 4 7 5 25 26 29 34 28 27 21 20 23 22 24 11 9 8 10 16 19 17 18 15 14 13 12 7 6 4 5 30 31 33 32 21 20 23 22 24 28 27 25 34 26 1 3 2 0 29 33 30 32 31 6 7 4 5 19 16 17 18 2 1 3 0 20 21 23 22 14 13 15 12 27 25 28 29 24 34 10 9 11 8 26 24 23 21 20 3 29 2 1 25 4 7 6 26 9 11 10 15 13 27 14 17 19 28 16 18 0 5 8 12 22 30 33 34 31 32 20 21 24 22 0 3 1 29 4 5 6 25 9 8 10 26 14 12 13 27 18 16 17 28 19 2 7 11 15 23 32 31 30 34 33 22 24 20 23 2 0 29 3 5 7 25 4 8 11 26 9 27 15 12 13 19 28 18 17 16 1 6 10 14 21 33 34 32 30 31 21 22 23 24 29 1 0 2 6 25 5 7 10 26 8 11 12 27 14 15 28 18 16 19 17 3 4 9 13 20 34 32 31 33 30 23 20 22 21 1 2 3 0 7 6 4 5 11 10 9 8 13 14 15 12 16 17 19 18 28 29 25 26 27 24 31 30 33 32 34 Model of size 35 found by c_dpll: 32 26 4 7 19 5 24 17 2 18 25 3 0 23 29 20 28 15 22 13 33 34 12 30 14 6 16 1 21 31 11 27 9 8 10 4 31 26 5 18 17 6 24 0 3 16 25 20 22 1 29 21 12 13 28 32 14 30 34 15 7 19 2 23 33 9 10 8 27 11 6 5 33 26 24 16 18 7 25 1 0 19 21 29 22 2 12 28 14 23 34 32 31 15 13 4 17 3 20 30 27 9 10 11 8 26 7 6 30 4 24 19 16 17 25 2 1 29 3 23 21 15 20 28 14 13 33 34 31 12 5 18 0 22 32 8 11 27 10 9 34 33 31 17 30 27 11 10 8 29 23 21 26 20 7 6 2 4 25 1 3 19 24 16 0 32 9 22 5 18 13 15 28 14 12 18 34 30 33 11 32 27 8 23 9 29 20 22 7 26 4 25 2 5 3 19 24 0 17 1 31 10 21 6 16 15 28 12 13 14 30 16 34 32 9 8 31 27 22 20 10 29 4 5 21 26 6 0 3 25 18 1 17 24 2 33 11 23 7 19 12 14 13 28 15 31 32 19 34 27 10 9 33 29 21 22 11 6 26 5 23 0 25 1 7 24 18 16 2 3 30 8 20 4 17 28 12 14 15 13 29 23 21 4 20 34 33 31 30 28 15 14 25 13 2 1 11 3 27 10 8 7 26 6 9 22 32 12 0 5 17 19 24 16 18 5 29 20 23 33 22 34 30 15 32 28 13 12 2 25 3 27 11 0 8 7 26 9 4 10 21 31 14 1 6 19 24 18 17 16 20 6 29 22 32 30 21 34 12 13 31 28 3 0 14 25 1 9 8 27 5 10 4 26 11 23 33 15 2 7 18 16 17 24 19 21 22 7 29 34 31 32 23 28 14 12 33 1 25 0 15 9 27 10 2 26 5 6 11 8 20 30 13 3 4 24 18 16 19 17 12 27 8 11 2 9 25 3 33 0 34 30 32 19 24 17 26 7 18 4 15 28 5 13 6 10 1 31 16 14 23 29 22 20 21 27 11 10 13 8 25 2 1 3 34 33 31 24 30 19 16 7 17 26 6 4 15 28 14 5 9 0 32 18 12 20 23 29 21 22 8 14 27 9 0 3 10 25 32 30 1 34 17 18 31 24 16 5 4 26 12 6 13 28 7 11 2 33 19 15 22 21 20 29 23 10 9 15 27 25 1 0 11 34 31 32 2 16 24 18 33 5 26 6 19 28 12 14 7 4 8 3 30 17 13 29 22 21 23 20 17 10 24 18 12 13 16 28 5 4 14 26 30 32 6 34 31 22 20 29 9 21 8 27 23 19 15 7 33 11 0 1 3 25 2 24 19 16 8 17 28 15 14 13 26 7 6 34 4 33 31 23 30 29 21 20 11 27 10 22 18 12 5 32 9 3 2 25 1 0 9 24 17 19 15 18 28 13 7 12 26 4 5 33 34 30 29 23 32 20 11 27 22 8 21 16 14 6 31 10 2 25 0 3 1 16 18 11 24 28 14 12 19 26 6 5 15 31 34 32 7 22 29 21 33 27 9 10 23 20 17 13 4 30 8 25 0 1 2 3 28 15 14 3 13 29 23 21 20 24 19 16 27 17 11 10 33 8 34 31 30 2 25 1 32 12 22 18 9 0 4 7 26 6 5 13 1 28 12 22 20 14 29 18 17 21 24 8 9 16 27 10 32 30 34 0 31 3 25 33 15 23 19 11 2 5 6 4 26 7 0 28 13 15 23 12 29 20 19 22 24 17 18 11 27 8 34 33 9 30 2 25 32 3 31 14 21 16 10 1 7 26 5 4 6 14 12 2 28 29 21 22 15 24 16 18 23 10 27 9 19 32 34 31 11 25 0 1 33 30 13 20 17 8 3 26 5 6 7 4 19 17 18 16 14 15 13 12 6 7 4 5 33 31 30 32 20 21 23 22 10 8 11 9 34 27 24 28 26 29 1 3 2 0 25 7 4 5 6 16 19 17 18 1 2 3 0 23 21 20 22 13 14 15 12 31 30 33 32 29 34 26 24 25 28 10 8 11 9 27 33 30 32 31 10 11 8 9 21 23 20 22 7 6 4 5 3 1 2 0 16 17 19 18 26 24 34 27 29 25 14 13 15 12 28 23 20 22 21 31 33 30 32 14 15 13 12 2 1 3 0 8 10 11 9 6 4 7 5 25 26 29 34 28 27 16 17 19 18 24 11 8 9 10 1 2 3 0 31 33 30 32 19 16 17 18 4 6 7 5 14 13 15 12 24 28 27 25 34 26 21 20 23 22 29 15 13 12 14 21 23 20 22 16 19 17 18 11 10 8 9 30 31 33 32 1 3 2 0 27 25 28 29 24 34 6 4 7 5 26 25 2 1 20 3 26 7 6 4 27 11 10 28 8 15 14 19 13 24 16 17 23 29 21 18 0 5 9 12 22 30 33 34 31 32 3 21 25 0 5 4 1 26 9 8 6 27 13 12 10 28 14 18 17 24 22 16 20 29 19 2 7 11 15 23 32 31 30 34 33 22 25 3 2 7 0 26 4 11 5 27 8 9 15 28 13 24 19 12 17 23 29 18 20 16 1 6 10 14 21 33 34 32 30 31 1 0 23 25 26 6 5 2 27 10 9 7 14 28 12 11 18 24 16 15 29 22 21 19 17 3 4 8 13 20 34 32 31 33 30 2 3 0 1 6 7 4 5 10 11 8 9 15 14 13 12 17 16 19 18 21 20 23 22 28 29 25 26 27 24 31 30 33 32 34 Model of size 35 found by c_dpll: 33 28 20 23 32 5 34 31 18 15 26 13 29 7 0 4 2 24 22 3 11 25 14 9 21 12 6 1 10 30 27 19 16 8 17 20 30 28 22 33 31 6 34 13 14 17 26 1 5 4 29 0 21 3 24 8 12 9 25 23 15 7 2 11 32 10 18 27 16 19 21 22 32 28 34 30 33 7 12 26 14 19 5 29 6 2 24 0 1 23 25 8 10 15 20 13 4 3 9 31 18 27 11 17 16 28 23 21 31 4 34 32 30 26 16 15 12 7 3 29 6 20 2 24 1 13 11 25 10 22 14 5 0 8 33 19 9 17 27 18 26 15 12 16 31 24 2 1 34 9 32 30 19 20 27 17 4 11 25 10 3 7 29 6 14 33 18 8 5 0 23 13 21 28 22 18 26 13 15 2 33 24 3 8 32 34 31 27 19 22 16 11 25 5 9 7 29 0 4 12 30 17 10 6 1 28 23 20 14 21 13 17 26 14 0 3 30 24 31 33 10 34 21 18 16 27 8 6 9 25 5 1 4 29 15 32 19 11 7 2 12 22 28 20 23 12 14 19 26 24 1 0 32 30 34 33 11 18 27 17 23 25 8 10 7 29 5 6 2 13 31 16 9 4 3 22 28 15 21 20 5 25 9 11 19 22 27 16 33 7 29 4 34 32 14 31 23 28 0 20 15 26 8 13 10 6 30 21 12 17 24 2 3 18 1 25 11 10 4 20 27 19 17 29 31 7 6 32 13 34 30 3 23 28 21 9 15 26 12 8 5 33 22 14 18 2 16 1 24 0 9 6 25 8 18 16 21 27 4 5 30 29 12 33 31 34 22 1 20 28 14 10 13 26 11 7 32 23 15 19 17 0 24 3 2 10 8 7 25 27 17 18 23 6 29 5 32 33 34 30 15 28 22 21 2 26 14 12 11 9 4 31 20 13 16 0 24 19 1 3 16 12 27 18 14 13 10 26 20 22 1 28 30 8 9 25 33 17 31 34 0 6 3 24 19 23 11 32 2 15 21 5 29 4 7 27 19 17 13 9 26 15 12 28 3 23 21 11 31 25 10 16 32 34 30 4 2 24 1 18 22 8 33 0 14 7 20 6 29 5 14 27 16 19 15 8 26 13 0 23 28 20 25 11 33 9 32 34 18 31 2 24 5 3 17 21 10 30 1 12 29 7 4 22 6 17 18 15 27 26 12 14 11 21 28 22 2 8 25 10 32 34 33 30 19 24 0 1 7 16 20 9 31 3 13 5 29 23 6 4 29 7 6 9 16 28 23 21 27 13 19 17 2 4 24 1 31 15 26 12 20 32 34 30 5 18 0 14 33 22 11 3 10 25 8 4 10 29 5 22 20 17 28 16 18 12 27 6 0 3 24 14 30 13 26 33 21 31 34 7 19 2 15 32 23 1 8 25 9 11 8 29 4 7 23 18 28 20 14 19 27 16 24 2 5 3 15 26 33 13 32 34 22 31 6 17 1 12 30 21 25 11 9 0 10 6 5 11 29 28 21 22 19 17 27 18 15 0 24 1 7 26 14 12 32 34 33 30 23 4 16 3 13 31 20 8 25 2 10 9 34 32 30 3 13 25 11 10 24 20 2 1 23 16 28 21 9 7 29 6 31 19 27 17 33 0 22 5 18 8 15 4 12 26 14 31 1 34 33 8 9 12 25 3 0 21 24 17 22 20 28 5 10 4 29 18 30 16 27 32 2 23 7 19 11 6 14 26 13 15 0 34 31 32 11 14 25 9 22 2 24 3 28 23 18 20 7 29 8 4 19 27 33 16 30 1 21 6 17 10 26 15 13 5 12 30 33 2 34 25 10 8 15 1 24 0 23 22 28 21 19 29 5 6 11 27 18 17 32 31 3 20 4 16 9 14 26 7 12 13 23 20 22 21 30 32 31 33 15 12 13 14 4 6 7 5 1 3 2 0 10 9 11 8 34 27 24 28 26 29 16 17 18 19 25 11 9 8 10 17 19 16 18 7 6 4 5 31 30 32 33 21 20 23 22 12 13 15 14 29 34 26 24 25 28 3 1 0 2 27 19 16 18 17 12 15 13 14 23 21 20 22 9 10 11 8 30 31 32 33 1 3 2 0 26 24 34 27 29 25 4 6 5 7 28 7 4 5 6 21 23 20 22 19 17 16 18 3 1 2 0 12 13 15 14 30 31 32 33 25 26 29 34 28 27 9 10 8 11 24 32 31 33 30 10 11 9 8 2 1 3 0 20 21 23 22 6 4 7 5 17 16 19 18 24 28 27 25 34 26 13 12 14 15 29 15 13 14 12 1 2 3 0 32 30 31 33 16 17 19 18 10 9 11 8 6 4 7 5 27 25 28 29 24 34 20 21 22 23 26 3 21 24 0 5 4 1 29 9 8 6 25 10 14 13 26 18 12 16 27 22 17 20 28 2 11 15 19 23 7 30 33 34 31 32 24 2 1 20 3 29 7 6 25 4 11 10 15 9 26 12 13 19 27 17 16 23 28 21 0 8 14 18 22 5 32 31 30 34 33 1 0 23 24 29 6 5 2 10 25 8 7 14 26 12 11 27 18 17 15 28 22 21 19 3 9 13 16 20 4 33 34 32 30 31 22 24 3 2 7 0 29 4 5 11 25 9 26 15 8 13 19 27 14 16 23 28 18 20 1 10 12 17 21 6 34 32 31 33 30 2 3 0 1 6 7 4 5 11 10 9 8 13 12 15 14 17 16 19 18 21 20 23 22 28 29 25 26 27 24 31 30 33 32 34 Model of size 35 found by c_dpll: 30 34 33 31 4 15 27 12 25 7 18 5 2 29 0 3 11 26 22 9 23 24 14 20 21 13 6 1 8 32 10 16 28 19 17 33 32 34 30 12 14 6 27 17 4 5 25 0 1 3 29 10 21 9 26 22 13 20 24 23 15 7 2 11 31 16 28 8 18 19 32 30 31 34 13 27 14 7 4 25 6 19 29 0 1 2 26 10 8 23 24 22 21 15 20 12 5 3 9 33 17 11 18 28 16 34 31 32 33 27 5 15 13 7 16 25 6 3 2 29 1 20 11 26 8 12 23 24 21 22 14 4 0 10 30 28 17 19 9 18 18 29 3 2 30 31 34 33 28 19 10 16 11 26 22 9 7 25 4 5 15 27 0 12 13 32 17 8 6 1 14 20 24 23 21 29 2 1 16 34 33 31 32 19 9 28 17 20 11 26 8 5 7 25 6 3 15 27 13 14 30 18 10 4 0 24 21 23 12 22 3 17 29 0 33 30 32 34 8 18 16 28 10 21 9 26 4 6 5 25 14 1 12 27 15 31 19 11 7 2 20 24 13 22 23 1 0 19 29 32 34 30 31 18 28 17 11 26 10 8 23 25 4 6 7 27 14 13 2 12 33 16 9 5 3 21 15 22 24 20 16 6 28 18 5 4 21 25 32 30 33 34 22 13 20 24 14 1 12 27 10 8 9 26 11 7 31 23 15 19 3 29 17 0 2 28 19 17 5 25 20 7 6 31 33 34 32 12 23 24 21 3 15 27 13 9 11 26 8 10 4 30 22 14 18 29 1 2 16 0 4 28 16 19 22 7 25 5 34 31 30 33 23 24 14 20 15 27 0 12 11 26 10 9 8 6 32 21 13 17 18 3 29 2 1 17 18 7 28 6 25 4 23 30 34 32 31 24 22 21 15 27 14 13 2 26 10 8 11 9 5 33 20 12 16 1 19 0 29 3 27 15 13 12 24 9 23 21 11 3 26 8 33 31 34 32 16 2 29 1 5 19 28 17 18 22 10 30 0 14 25 6 7 20 4 12 13 27 14 20 22 8 24 1 10 9 26 30 32 33 34 0 17 3 29 18 6 16 28 19 23 11 31 2 15 5 25 21 4 7 14 27 12 15 10 23 24 20 26 11 0 9 31 34 30 33 2 29 18 3 19 28 4 16 17 21 8 32 1 13 22 5 25 7 6 13 14 15 27 21 24 22 11 10 26 8 2 34 30 32 31 29 0 1 19 28 18 17 7 16 20 9 33 3 12 6 23 4 25 5 24 23 21 9 28 16 19 17 2 12 29 1 5 15 27 13 33 31 34 32 20 7 25 6 4 18 0 14 30 22 26 8 11 3 10 20 8 24 22 16 18 17 28 13 0 3 29 14 6 12 27 30 32 33 34 4 21 5 25 7 19 2 15 31 23 9 26 1 10 11 10 24 20 23 18 19 28 16 29 2 14 3 15 27 4 12 31 34 30 33 7 25 22 5 6 17 1 13 32 21 0 9 26 11 8 21 22 11 24 17 28 18 19 0 29 1 15 27 14 13 7 34 30 32 31 25 4 6 23 5 16 3 12 33 20 8 2 10 26 9 26 11 8 3 29 12 2 1 23 20 24 21 16 7 25 6 9 19 28 17 33 31 34 32 30 0 22 4 18 10 27 13 15 5 14 9 1 26 10 3 0 13 29 21 22 20 24 4 17 5 25 18 8 16 28 30 32 33 34 31 2 23 7 19 11 12 27 6 14 15 0 26 9 11 14 2 29 3 24 23 22 20 7 25 18 5 19 28 10 16 31 34 30 33 32 1 21 6 17 8 4 12 27 15 13 8 10 2 26 1 29 0 15 22 24 21 23 25 4 6 19 28 18 17 11 34 30 32 31 33 3 20 5 16 9 13 7 14 27 12 11 9 10 8 2 1 3 0 20 21 23 22 6 5 7 4 17 16 19 18 32 33 31 30 34 27 24 28 26 29 15 14 12 13 25 2 3 0 1 31 32 33 30 16 17 19 18 8 9 11 10 6 5 7 4 13 12 15 14 29 34 26 24 25 28 23 22 20 21 27 19 16 18 17 7 6 5 4 33 32 31 30 21 20 23 22 13 12 15 14 8 9 11 10 26 24 34 27 29 25 2 0 3 1 28 15 12 14 13 23 21 20 22 9 8 11 10 32 33 31 30 1 3 2 0 17 16 19 18 25 26 29 34 28 27 7 4 5 6 24 23 20 22 21 19 17 16 18 3 1 2 0 13 12 15 14 32 33 31 30 6 5 7 4 24 28 27 25 34 26 11 10 9 8 29 31 33 30 32 15 13 12 14 5 6 7 4 1 3 2 0 8 9 11 10 21 20 23 22 27 25 28 29 24 34 19 18 16 17 26 22 25 5 7 0 11 26 9 27 15 4 12 19 28 10 16 23 24 14 20 2 29 18 3 1 8 13 17 21 6 30 33 34 31 32 6 4 23 25 8 26 10 2 14 27 13 7 28 18 17 11 24 22 21 15 29 0 1 19 3 9 12 16 20 5 32 31 30 34 33 5 21 25 4 9 10 1 26 6 14 12 27 18 8 16 28 22 13 20 24 0 17 3 29 2 11 15 19 23 7 33 34 32 30 31 25 7 6 20 26 3 11 8 15 5 27 13 9 19 28 17 12 23 24 21 16 2 29 1 0 10 14 18 22 4 34 32 31 33 30 7 5 4 6 11 8 9 10 12 13 15 14 17 16 19 18 21 20 23 22 1 3 2 0 28 29 25 26 27 24 31 30 33 32 34