24(3,3) 15(2,1) 42(6,0) 4(0,4) 13(1,6) 40(5,5) 30(4,2) 33(4,5) 0(0,0) 37(5,2) 17(2,3) 46(6,4) 27(3,6) 8(1,1) 7(1,0) 41(5,6) 19(2,5) 44(6,2) 29(4,1) 3(0,3) 25(3,4) 48(6,6) 31(4,3) 22(3,1) 12(1,5) 2(0,2) 18(2,4) 35(5,0) 39(5,4) 23(3,2) 10(1,3) 34(4,6) 14(2,0) 43(6,1) 5(0,5) 1(0,1) 47(6,5) 32(4,4) 21(3,0) 38(5,3) 9(1,2) 20(2,6) 16(2,2) 11(1,4) 6(0,6) 36(5,1) 26(3,5) 28(4,0) 45(6,3) nodes: 2408632858 time: 318127.56