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