0 : 0:{}:{} 1 : 0:{1}:{(1,1)} 1:{2}:{(0,1),(2,1)} 2:{3}:{(1,1),(3,1)} 3:{4}:{(2,1),(4,1)} 4:{5}:{(3,1)} 2 : 0:{2}:{(1,1),(2,1)} 1:{1}:{(0,1)} 2:{3}:{(0,1),(3,1)} 3:{4}:{(2,1),(4,1)} 4:{5}:{(3,1)} 3 : 0:{3}:{(1,1),(2,1)} 1:{2}:{(0,1),(3,1)} 2:{4}:{(0,1),(4,1)} 3:{1}:{(1,1)} 4:{5}:{(2,1)} 4 : 0:{4}:{(1,1),(2,1)} 1:{3}:{(0,1),(3,1)} 2:{5}:{(0,1)} 3:{2}:{(1,1),(4,1)} 4:{1}:{(3,1)} 5 : 0:{5}:{(1,1)} 1:{4}:{(0,1),(2,1)} 2:{3}:{(1,1),(3,1)} 3:{2}:{(2,1),(4,1)} 4:{1}:{(3,1)} 6 : 0:{1,3}:{(1,1),(2,1),(5,1)} 1:{2}:{(0,1)} 2:{1,4}:{(0,1),(3,1),(4,1)} 3:{2,4}:{(1,1),(2,1),(5,1),(6,1),(8,1)} 4:{1,5}:{(2,1),(6,1)} 5:{3}:{(3,1)} 6:{2,5}:{(3,1),(4,1),(7,1)} 7:{3,5}:{(5,1),(6,1),(8,1)} 8:{4}:{(7,1)} 7 : 0:{1,4}:{(1,1),(2,1),(3,1)} 1:{2,4}:{(0,1),(4,1),(5,1),(6,1),(8,1)} 2:{1,3}:{(0,1),(4,1),(6,1)} 3:{1,5}:{(0,1),(5,1)} 4:{3}:{(1,1)} 5:{2,5}:{(1,1),(3,1),(7,1)} 6:{2}:{(2,1)} 7:{3,5}:{(4,1),(5,1),(8,1)} 8:{4}:{(7,1)} 8 : 0:{1,5}:{(1,1),(2,1)} 1:{2,5}:{(0,1),(3,1),(4,1)} 2:{1,4}:{(0,1),(4,1),(5,1)} 3:{3,5}:{(1,1),(6,1),(7,1)} 4:{2,4}:{(1,1),(2,1),(6,1),(7,1),(8,1)} 5:{1,3}:{(2,1),(7,1),(8,1)} 6:{4}:{(3,1)} 7:{3}:{(4,1)} 8:{2}:{(5,1)} 9 : 0:{2,4}:{(1,1),(2,1),(3,1),(7,1),(8,1)} 1:{1,4}:{(0,1),(4,1),(5,1)} 2:{3}:{(0,1)} 3:{2,5}:{(0,1),(5,1),(6,1)} 4:{1,3}:{(1,1),(2,1),(7,1)} 5:{1,5}:{(1,1),(3,1)} 6:{3,5}:{(2,1),(3,1),(8,1)} 7:{2}:{(4,1)} 8:{4}:{(6,1)} 10 : 0:{2,5}:{(1,1),(2,1),(3,1)} 1:{1,5}:{(0,1),(4,1)} 2:{3,5}:{(0,1),(5,1),(6,1)} 3:{2,4}:{(0,1),(4,1),(5,1),(6,1),(8,1)} 4:{1,4}:{(1,1),(3,1),(7,1)} 5:{4}:{(2,1)} 6:{3}:{(3,1)} 7:{1,3}:{(4,1),(6,1),(8,1)} 8:{2}:{(7,1)} 11 : 0:{3,5}:{(1,1),(2,1),(6,1)} 1:{2,5}:{(0,1),(3,1),(4,1)} 2:{4}:{(0,1)} 3:{1,5}:{(1,1),(5,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)} 12 : 0:{1,2}:{(1,1)} 1:{1,3}:{(0,1),(2,1),(3,1)} 2:{2,3}:{(1,1),(4,1)} 3:{1,4}:{(1,1),(4,1),(5,1)} 4:{2,4}:{(2,1),(3,1),(6,1),(7,1)} 5:{1,5}:{(3,1),(7,1)} 6:{3,4}:{(4,1),(8,1)} 7:{2,5}:{(4,1),(5,1),(8,1)} 8:{3,5}:{(6,1),(7,1),(9,1)} 9:{4,5}:{(8,1)} 13 : 0:{1,3,5}:{(1,1),(2,1),(4,1)} 1:{2,5}:{(0,1),(3,1)} 2:{1,4}:{(0,1),(3,1)} 3:{2,4}:{(1,1),(2,1),(4,1)} 4:{3}:{(3,1)} 14 : 0:{1,3}:{(1,1),(2,1),(5,1)} 1:{2}:{(0,1)} 2:{1,4}:{(0,1),(3,1),(4,1)} 3:{2,4}:{(1,1),(2,1),(5,1),(6,1),(8,1)} 4:{1,5}:{(2,1),(6,1)} 5:{3}:{(3,1)} 6:{2,5}:{(3,1),(4,1),(7,1)} 7:{3,5}:{(5,1),(6,1),(8,1)} 8:{4}:{(7,1)} 15 : 0:{2,3}:{(1,1),(2,1)} 1:{1,3}:{(0,1),(3,1),(4,1)} 2:{2,4}:{(0,1),(4,1),(5,1),(6,1)} 3:{1,2}:{(1,1)} 4:{1,4}:{(1,1),(2,1),(7,1)} 5:{3,4}:{(2,1),(8,1)} 6:{2,5}:{(2,1),(7,1),(8,1)} 7:{1,5}:{(4,1),(6,1)} 8:{3,5}:{(5,1),(6,1),(9,1)} 9:{4,5}:{(8,1)} 16 : 0:{2,4}:{(1,1),(2,1),(3,1),(7,1),(8,1)} 1:{1,4}:{(0,1),(4,1),(5,1)} 2:{3}:{(0,1)} 3:{2,5}:{(0,1),(5,1),(6,1)} 4:{1,3}:{(1,1),(2,1),(7,1)} 5:{1,5}:{(1,1),(3,1)} 6:{3,5}:{(2,1),(3,1),(8,1)} 7:{2}:{(4,1)} 8:{4}:{(6,1)} 17 : 0:{3,4}:{(1,1),(2,1)} 1:{2,4}:{(0,1),(3,1),(4,1),(5,1)} 2:{3,5}:{(0,1),(5,1),(6,1)} 3:{2,3}:{(1,1),(7,1)} 4:{1,4}:{(1,1),(7,1),(8,1)} 5:{2,5}:{(1,1),(2,1),(8,1)} 6:{4,5}:{(2,1)} 7:{1,3}:{(3,1),(4,1),(9,1)} 8:{1,5}:{(4,1),(5,1)} 9:{1,2}:{(7,1)} 18 : 0:{3,5}:{(1,1),(2,1),(6,1)} 1:{2,5}:{(0,1),(3,1),(4,1)} 2:{4}:{(0,1)} 3:{1,5}:{(1,1),(5,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)} 19 : 0:{4,5}:{(1,1)} 1:{3,5}:{(0,1),(2,1),(3,1)} 2:{3,4}:{(1,1),(4,1)} 3:{2,5}:{(1,1),(4,1),(5,1)} 4:{2,4}:{(2,1),(3,1),(6,1),(7,1)} 5:{1,5}:{(3,1),(7,1)} 6:{2,3}:{(4,1),(8,1)} 7:{1,4}:{(4,1),(5,1),(8,1)} 8:{1,3}:{(6,1),(7,1),(9,1)} 9:{1,2}:{(8,1)} 20 : 0:{1,2,4}:{(1,1),(2,1),(6,1),(9,1)} 1:{1,3}:{(0,1),(4,1)} 2:{1,2,5}:{(0,1),(5,1),(10,1)} 3:{1,3,4}:{(1,1),(6,1),(7,1),(9,1),(14,1)} 4:{2,3}:{(1,1),(6,1)} 5:{1,3,5}:{(1,1),(2,1),(8,1),(9,1)} 6:{2,4}:{(3,1),(4,1),(10,1)} 7:{1,3,5}:{(3,1),(10,1),(11,1),(15,1)} 8:{2,3,5}:{(4,1),(5,1),(10,1),(12,1),(15,1)} 9:{1,4}:{(5,1),(12,1)} 10:{2,5}:{(6,1),(7,1)} 11:{1,4,5}:{(7,1),(9,1),(13,1)} 12:{2,4}:{(8,1),(9,1),(14,1)} 13:{2,4,5}:{(10,1),(11,1),(12,1),(15,1)} 14:{3,4}:{(12,1),(15,1)} 15:{3,5}:{(13,1),(14,1)} 21 : 0:{1,2,5}:{(1,1),(2,1),(15,1)} 1:{1,3,5}:{(0,1),(3,1),(4,1),(5,1)} 2:{1,2,4}:{(0,1),(4,1),(5,1),(13,1)} 3:{2,3,5}:{(1,1),(6,1),(9,1),(14,1),(15,1)} 4:{1,4}:{(1,1),(6,1)} 5:{1,3}:{(2,1),(9,1)} 6:{2,4}:{(3,1),(4,1),(11,1)} 7:{1,4,5}:{(4,1),(10,1),(12,1)} 8:{1,3,4}:{(4,1),(5,1),(11,1),(12,1),(13,1)} 9:{2,3}:{(5,1),(13,1)} 10:{2,4,5}:{(6,1),(7,1),(14,1),(15,1)} 11:{3,4}:{(6,1),(14,1)} 12:{1,3,5}:{(7,1),(8,1),(14,1),(15,1)} 13:{2,4}:{(8,1),(9,1),(15,1)} 14:{3,5}:{(10,1),(11,1)} 15:{2,5}:{(12,1),(13,1)} 22 : 0:{2,3}:{(2,1),(3,1)} 1:{1,2}:{(2,1)} 2:{1,3}:{(0,1),(1,1),(4,1)} 3:{2,4}:{(0,1),(4,1),(5,1),(6,1)} 4:{1,4}:{(2,1),(3,1),(7,1)} 5:{3,4}:{(3,1),(8,1)} 6:{2,5}:{(3,1),(7,1),(8,1)} 7:{1,5}:{(4,1),(6,1)} 8:{3,5}:{(5,1),(6,1),(9,1)} 9:{4,5}:{(8,1)} 23 : 0:{1,3,4}:{(1,1),(2,1),(7,1),(14,1),(15,1)} 1:{2,4}:{(0,1),(3,1),(5,1)} 2:{1,3,5}:{(0,1),(5,1),(6,1),(13,1)} 3:{2,3}:{(1,1),(7,1)} 4:{1,2,4}:{(1,1),(7,1),(9,1),(14,1)} 5:{2,5}:{(1,1),(2,1)} 6:{1,4,5}:{(2,1),(10,1),(14,1)} 7:{1,3}:{(3,1),(4,1)} 8:{2,3,5}:{(3,1),(5,1),(11,1),(12,1),(13,1)} 9:{1,2,5}:{(4,1),(5,1),(11,1)} 10:{2,4,5}:{(5,1),(6,1),(12,1),(13,1)} 11:{1,3,5}:{(7,1),(8,1),(9,1),(14,1)} 12:{2,4}:{(8,1),(14,1),(15,1)} 13:{3,5}:{(10,1),(15,1)} 14:{1,4}:{(11,1),(12,1)} 15:{3,4}:{(12,1),(13,1)} 24 : 0:{1,3,5}:{(1,1),(2,1),(4,1)} 1:{2,5}:{(0,1),(3,1)} 2:{1,4}:{(0,1),(3,1)} 3:{2,4}:{(1,1),(2,1),(4,1)} 4:{3}:{(3,1)} 25 : 0:{1,4,5}:{(1,1),(2,1),(14,1)} 1:{2,4,5}:{(0,1),(3,1),(5,1),(10,1)} 2:{1,3,5}:{(0,1),(3,1),(4,1),(5,1)} 3:{3,5}:{(1,1),(6,1)} 4:{1,3,4}:{(2,1),(6,1),(8,1),(14,1),(15,1)} 5:{2,5}:{(2,1),(8,1)} 6:{3,4}:{(3,1),(10,1)} 7:{2,3,5}:{(3,1),(5,1),(10,1),(11,1),(12,1)} 8:{2,4}:{(4,1),(5,1),(12,1)} 9:{1,2,5}:{(5,1),(11,1),(13,1)} 10:{2,4}:{(6,1),(7,1),(14,1)} 11:{1,3,5}:{(7,1),(9,1),(14,1),(15,1)} 12:{2,3}:{(8,1),(15,1)} 13:{1,2,4}:{(8,1),(9,1),(14,1),(15,1)} 14:{1,4}:{(10,1),(11,1)} 15:{1,3}:{(12,1),(13,1)} 26 : 0:{1,3,5}:{(1,1),(2,1),(4,1)} 1:{2,5}:{(0,1),(3,1)} 2:{1,4}:{(0,1),(3,1)} 3:{2,4}:{(1,1),(2,1),(4,1)} 4:{3}:{(3,1)} 27 : 0:{2,3,5}:{(1,1),(2,1),(10,1),(14,1),(15,1)} 1:{1,3,5}:{(0,1),(3,1),(4,1),(11,1)} 2:{2,4}:{(0,1),(4,1),(6,1)} 3:{1,2,5}:{(1,1),(7,1),(15,1)} 4:{1,4}:{(1,1),(2,1)} 5:{2,4,5}:{(2,1),(8,1),(10,1),(15,1)} 6:{3,4}:{(2,1),(10,1)} 7:{1,2,4}:{(3,1),(4,1),(11,1),(13,1)} 8:{1,4,5}:{(4,1),(5,1),(12,1)} 9:{1,3,4}:{(4,1),(6,1),(11,1),(12,1),(13,1)} 10:{3,5}:{(5,1),(6,1)} 11:{1,3}:{(7,1),(14,1)} 12:{1,3,5}:{(8,1),(9,1),(10,1),(15,1)} 13:{2,4}:{(9,1),(14,1),(15,1)} 14:{2,3}:{(11,1),(13,1)} 15:{2,5}:{(12,1),(13,1)} 28 : 0:{3,4}:{(2,1),(3,1)} 1:{2,3}:{(2,1),(4,1)} 2:{2,4}:{(0,1),(1,1),(6,1),(7,1)} 3:{3,5}:{(0,1),(7,1),(8,1)} 4:{1,3}:{(1,1),(5,1),(6,1)} 5:{1,2}:{(4,1)} 6:{1,4}:{(2,1),(4,1),(9,1)} 7:{2,5}:{(2,1),(3,1),(9,1)} 8:{4,5}:{(3,1)} 9:{1,5}:{(6,1),(7,1)} 29 : 0:{2,4,5}:{(1,1),(2,1),(7,1),(8,1)} 1:{1,4,5}:{(0,1),(3,1),(12,1)} 2:{3,5}:{(0,1),(4,1)} 3:{1,3,5}:{(1,1),(2,1),(6,1),(7,1)} 4:{3,4}:{(2,1),(8,1)} 5:{2,3,5}:{(2,1),(7,1),(8,1),(9,1),(13,1)} 6:{1,3,4}:{(3,1),(4,1),(10,1),(12,1),(15,1)} 7:{2,5}:{(3,1),(10,1)} 8:{2,4}:{(4,1),(5,1),(12,1)} 9:{1,3,5}:{(5,1),(11,1),(12,1),(15,1)} 10:{2,4}:{(6,1),(7,1),(13,1)} 11:{1,2,5}:{(7,1),(9,1),(14,1)} 12:{1,4}:{(8,1),(9,1)} 13:{2,3}:{(10,1),(15,1)} 14:{1,2,4}:{(10,1),(11,1),(12,1),(15,1)} 15:{1,3}:{(13,1),(14,1)} 30 : 0:{4,5}:{(2,1)} 1:{3,4}:{(2,1),(3,1)} 2:{3,5}:{(0,1),(1,1),(5,1)} 3:{2,4}:{(1,1),(4,1),(5,1),(6,1)} 4:{2,3}:{(3,1),(7,1)} 5:{2,5}:{(2,1),(3,1),(8,1)} 6:{1,4}:{(3,1),(7,1),(8,1)} 7:{1,3}:{(4,1),(6,1),(9,1)} 8:{1,5}:{(5,1),(6,1)} 9:{1,2}:{(7,1)} 31 : 0:{2,3,5}:{(2,1),(3,1),(11,1),(12,1),(15,1)} 1:{1,2,5}:{(2,1),(4,1),(15,1)} 2:{1,3,5}:{(0,1),(1,1),(5,1),(8,1)} 3:{2,4}:{(0,1),(5,1),(7,1)} 4:{1,2,4}:{(1,1),(5,1),(8,1),(14,1)} 5:{1,4}:{(2,1),(3,1)} 6:{2,4,5}:{(3,1),(9,1),(11,1),(15,1)} 7:{3,4}:{(3,1),(11,1)} 8:{1,3}:{(4,1),(12,1)} 9:{1,4,5}:{(5,1),(6,1),(13,1)} 10:{1,3,4}:{(5,1),(7,1),(8,1),(13,1),(14,1)} 11:{3,5}:{(6,1),(7,1)} 12:{2,3}:{(8,1),(14,1)} 13:{1,3,5}:{(9,1),(10,1),(11,1),(15,1)} 14:{2,4}:{(10,1),(12,1),(15,1)} 15:{2,5}:{(13,1),(14,1)} 32 : 0:{3,4}:{(3,1),(4,1)} 1:{2,3}:{(3,1),(5,1)} 2:{1,2}:{(5,1)} 3:{2,4}:{(0,1),(1,1),(6,1),(7,1)} 4:{3,5}:{(0,1),(7,1),(8,1)} 5:{1,3}:{(1,1),(2,1),(6,1)} 6:{1,4}:{(3,1),(5,1),(9,1)} 7:{2,5}:{(3,1),(4,1),(9,1)} 8:{4,5}:{(4,1)} 9:{1,5}:{(6,1),(7,1)} 33 : 0:{1,2,4}:{(1,1),(2,1),(6,1),(9,1)} 1:{1,3}:{(0,1),(4,1)} 2:{1,2,5}:{(0,1),(5,1),(10,1)} 3:{1,3,4}:{(1,1),(6,1),(7,1),(9,1),(14,1)} 4:{2,3}:{(1,1),(6,1)} 5:{1,3,5}:{(1,1),(2,1),(8,1),(9,1)} 6:{2,4}:{(3,1),(4,1),(10,1)} 7:{1,3,5}:{(3,1),(10,1),(11,1),(15,1)} 8:{2,3,5}:{(4,1),(5,1),(10,1),(12,1),(15,1)} 9:{1,4}:{(5,1),(12,1)} 10:{2,5}:{(6,1),(7,1)} 11:{1,4,5}:{(7,1),(9,1),(13,1)} 12:{2,4}:{(8,1),(9,1),(14,1)} 13:{2,4,5}:{(10,1),(11,1),(12,1),(15,1)} 14:{3,4}:{(12,1),(15,1)} 15:{3,5}:{(13,1),(14,1)} 34 : 0:{1,4,5}:{(2,1),(3,1),(15,1)} 1:{1,3,4}:{(3,1),(4,1),(9,1),(11,1),(15,1)} 2:{2,4,5}:{(0,1),(5,1),(7,1),(13,1)} 3:{1,3,5}:{(0,1),(1,1),(5,1),(7,1)} 4:{2,4}:{(1,1),(6,1),(7,1)} 5:{3,5}:{(2,1),(9,1)} 6:{2,3}:{(4,1),(11,1)} 7:{2,5}:{(3,1),(4,1)} 8:{1,2,4}:{(4,1),(11,1),(12,1),(15,1)} 9:{3,4}:{(5,1),(13,1)} 10:{2,3,5}:{(5,1),(6,1),(7,1),(13,1),(14,1)} 11:{1,3}:{(6,1),(8,1)} 12:{1,2,5}:{(7,1),(8,1),(14,1)} 13:{2,4}:{(9,1),(10,1),(15,1)} 14:{1,3,5}:{(10,1),(11,1),(12,1),(15,1)} 15:{1,4}:{(13,1),(14,1)} 35 : 0:{1,3,4}:{(1,1),(2,1),(7,1),(14,1),(15,1)} 1:{2,4}:{(0,1),(3,1),(5,1)} 2:{1,3,5}:{(0,1),(5,1),(6,1),(13,1)} 3:{2,3}:{(1,1),(7,1)} 4:{1,2,4}:{(1,1),(7,1),(9,1),(14,1)} 5:{2,5}:{(1,1),(2,1)} 6:{1,4,5}:{(2,1),(10,1),(14,1)} 7:{1,3}:{(3,1),(4,1)} 8:{2,3,5}:{(3,1),(5,1),(11,1),(12,1),(13,1)} 9:{1,2,5}:{(4,1),(5,1),(11,1)} 10:{2,4,5}:{(5,1),(6,1),(12,1),(13,1)} 11:{1,3,5}:{(7,1),(8,1),(9,1),(14,1)} 12:{2,4}:{(8,1),(14,1),(15,1)} 13:{3,5}:{(10,1),(15,1)} 14:{1,4}:{(11,1),(12,1)} 15:{3,4}:{(12,1),(13,1)} 36 : 0:{1,3,5}:{(1,1),(2,1),(4,1)} 1:{2,5}:{(0,1),(3,1)} 2:{1,4}:{(0,1),(3,1)} 3:{2,4}:{(1,1),(2,1),(4,1)} 4:{3}:{(3,1)} 37 : 0:{4,5}:{(3,1)} 1:{3,4}:{(3,1),(4,1)} 2:{2,3}:{(4,1),(5,1)} 3:{3,5}:{(0,1),(1,1),(7,1)} 4:{2,4}:{(1,1),(2,1),(7,1),(8,1)} 5:{1,3}:{(2,1),(6,1),(8,1)} 6:{1,2}:{(5,1)} 7:{2,5}:{(3,1),(4,1),(9,1)} 8:{1,4}:{(4,1),(5,1),(9,1)} 9:{1,5}:{(7,1),(8,1)} 38 : 0:{2,3,5}:{(1,1),(2,1),(9,1),(14,1),(15,1)} 1:{1,3,5}:{(0,1),(3,1),(5,1),(11,1)} 2:{2,4}:{(0,1),(5,1),(6,1)} 3:{1,2,5}:{(1,1),(7,1),(15,1)} 4:{2,4,5}:{(2,1),(8,1),(9,1),(15,1)} 5:{1,4}:{(1,1),(2,1)} 6:{3,4}:{(2,1),(9,1)} 7:{1,2,4}:{(3,1),(5,1),(11,1),(13,1)} 8:{1,4,5}:{(4,1),(5,1),(12,1)} 9:{3,5}:{(4,1),(6,1)} 10:{1,3,4}:{(5,1),(6,1),(11,1),(12,1),(13,1)} 11:{1,3}:{(7,1),(14,1)} 12:{1,3,5}:{(8,1),(9,1),(10,1),(15,1)} 13:{2,4}:{(10,1),(14,1),(15,1)} 14:{2,3}:{(11,1),(13,1)} 15:{2,5}:{(12,1),(13,1)} 39 : 0:{2,4,5}:{(1,1),(2,1),(7,1),(8,1)} 1:{1,4,5}:{(0,1),(3,1),(12,1)} 2:{3,5}:{(0,1),(4,1)} 3:{1,3,5}:{(1,1),(2,1),(6,1),(7,1)} 4:{3,4}:{(2,1),(8,1)} 5:{2,3,5}:{(2,1),(7,1),(8,1),(9,1),(13,1)} 6:{1,3,4}:{(3,1),(4,1),(10,1),(12,1),(15,1)} 7:{2,5}:{(3,1),(10,1)} 8:{2,4}:{(4,1),(5,1),(12,1)} 9:{1,3,5}:{(5,1),(11,1),(12,1),(15,1)} 10:{2,4}:{(6,1),(7,1),(13,1)} 11:{1,2,5}:{(7,1),(9,1),(14,1)} 12:{1,4}:{(8,1),(9,1)} 13:{2,3}:{(10,1),(15,1)} 14:{1,2,4}:{(10,1),(11,1),(12,1),(15,1)} 15:{1,3}:{(13,1),(14,1)} 40 : 0:{1,2,3}:{(1,1)} 1:{1,2,4}:{(0,1),(2,1),(3,1)} 2:{1,3,4}:{(1,1),(4,1),(5,1)} 3:{1,2,5}:{(1,1),(5,1)} 4:{2,3,4}:{(2,1),(6,1)} 5:{1,3,5}:{(2,1),(3,1),(6,1),(7,1)} 6:{2,3,5}:{(4,1),(5,1),(8,1)} 7:{1,4,5}:{(5,1),(8,1)} 8:{2,4,5}:{(6,1),(7,1),(9,1)} 9:{3,4,5}:{(8,1)} 41 : 0:{1,2,4,5}:{(1,1),(4,1)} 1:{1,3,5}:{(0,1),(2,1),(3,1)} 2:{1,3,4}:{(1,1),(4,1)} 3:{2,3,5}:{(1,1),(4,1)} 4:{2,4}:{(2,1),(3,1)} 42 : 0:{4,5}:{(4,1)} 1:{3,4}:{(4,1),(5,1)} 2:{2,3}:{(5,1),(6,1)} 3:{1,2}:{(6,1)} 4:{3,5}:{(0,1),(1,1),(7,1)} 5:{2,4}:{(1,1),(2,1),(7,1),(8,1)} 6:{1,3}:{(2,1),(3,1),(8,1)} 7:{2,5}:{(4,1),(5,1),(9,1)} 8:{1,4}:{(5,1),(6,1),(9,1)} 9:{1,5}:{(7,1),(8,1)} 43 : 0:{2,3,5}:{(2,1),(3,1),(10,1),(12,1),(15,1)} 1:{1,2,5}:{(2,1),(4,1),(15,1)} 2:{1,3,5}:{(0,1),(1,1),(6,1),(8,1)} 3:{2,4}:{(0,1),(6,1),(7,1)} 4:{1,2,4}:{(1,1),(6,1),(8,1),(14,1)} 5:{2,4,5}:{(3,1),(9,1),(10,1),(15,1)} 6:{1,4}:{(2,1),(3,1)} 7:{3,4}:{(3,1),(10,1)} 8:{1,3}:{(4,1),(12,1)} 9:{1,4,5}:{(5,1),(6,1),(13,1)} 10:{3,5}:{(5,1),(7,1)} 11:{1,3,4}:{(6,1),(7,1),(8,1),(13,1),(14,1)} 12:{2,3}:{(8,1),(14,1)} 13:{1,3,5}:{(9,1),(10,1),(11,1),(15,1)} 14:{2,4}:{(11,1),(12,1),(15,1)} 15:{2,5}:{(13,1),(14,1)} 44 : 0:{1,2,4}:{(2,1),(3,1),(4,1),(11,1)} 1:{1,3,4}:{(2,1),(4,1),(5,1),(11,1),(15,1)} 2:{1,3}:{(0,1),(6,1)} 3:{1,2,5}:{(0,1),(7,1),(8,1)} 4:{2,4}:{(1,1),(6,1),(8,1)} 5:{1,3,5}:{(1,1),(8,1),(9,1),(14,1)} 6:{2,3}:{(2,1),(4,1)} 7:{1,3,5}:{(2,1),(3,1),(10,1),(11,1)} 8:{2,5}:{(4,1),(5,1)} 9:{1,4,5}:{(5,1),(11,1),(12,1)} 10:{2,3,5}:{(6,1),(7,1),(8,1),(13,1),(14,1)} 11:{1,4}:{(7,1),(13,1)} 12:{2,4,5}:{(8,1),(9,1),(13,1),(14,1)} 13:{2,4}:{(10,1),(11,1),(15,1)} 14:{3,5}:{(12,1),(15,1)} 15:{3,4}:{(13,1),(14,1)} 45 : 0:{1,4,5}:{(2,1),(3,1),(15,1)} 1:{1,3,4}:{(3,1),(4,1),(9,1),(11,1),(15,1)} 2:{2,4,5}:{(0,1),(5,1),(7,1),(13,1)} 3:{1,3,5}:{(0,1),(1,1),(5,1),(7,1)} 4:{2,4}:{(1,1),(6,1),(7,1)} 5:{3,5}:{(2,1),(9,1)} 6:{2,3}:{(4,1),(11,1)} 7:{2,5}:{(3,1),(4,1)} 8:{1,2,4}:{(4,1),(11,1),(12,1),(15,1)} 9:{3,4}:{(5,1),(13,1)} 10:{2,3,5}:{(5,1),(6,1),(7,1),(13,1),(14,1)} 11:{1,3}:{(6,1),(8,1)} 12:{1,2,5}:{(7,1),(8,1),(14,1)} 13:{2,4}:{(9,1),(10,1),(15,1)} 14:{1,3,5}:{(10,1),(11,1),(12,1),(15,1)} 15:{1,4}:{(13,1),(14,1)} 46 : 0:{2,3,4}:{(1,1),(2,1)} 1:{1,3,4}:{(0,1),(3,1),(4,1)} 2:{2,3,5}:{(0,1),(4,1),(5,1)} 3:{1,2,4}:{(1,1),(6,1),(7,1)} 4:{1,3,5}:{(1,1),(2,1),(7,1),(8,1)} 5:{2,4,5}:{(2,1),(8,1),(9,1)} 6:{1,2,3}:{(3,1)} 7:{1,2,5}:{(3,1),(4,1)} 8:{1,4,5}:{(4,1),(5,1)} 9:{3,4,5}:{(5,1)} 47 : 0:{1,3,5}:{(1,1),(2,1),(4,1)} 1:{2,5}:{(0,1),(3,1)} 2:{1,4}:{(0,1),(3,1)} 3:{2,4}:{(1,1),(2,1),(4,1)} 4:{3}:{(3,1)} 48 : 0:{2,3,5}:{(2,1),(3,1),(5,1),(12,1),(15,1)} 1:{2,4,5}:{(3,1),(4,1),(5,1),(12,1)} 2:{1,3,5}:{(0,1),(6,1),(7,1),(13,1)} 3:{2,4}:{(0,1),(7,1),(8,1)} 4:{1,4,5}:{(1,1),(7,1),(9,1)} 5:{3,5}:{(1,1),(8,1)} 6:{1,2,5}:{(2,1),(10,1),(12,1)} 7:{1,4}:{(2,1),(3,1)} 8:{3,4}:{(3,1),(5,1)} 9:{1,3,5}:{(4,1),(5,1),(11,1),(12,1)} 10:{1,2,4}:{(6,1),(7,1),(13,1),(14,1)} 11:{1,3,4}:{(7,1),(8,1),(9,1),(13,1),(14,1)} 12:{2,5}:{(9,1),(14,1)} 13:{1,3}:{(10,1),(15,1)} 14:{2,4}:{(11,1),(12,1),(15,1)} 15:{2,3}:{(13,1),(14,1)} 49 : 0:{3,4,5}:{(1,1)} 1:{2,4,5}:{(0,1),(2,1),(3,1)} 2:{2,3,5}:{(1,1),(4,1),(5,1)} 3:{1,4,5}:{(1,1),(5,1)} 4:{2,3,4}:{(2,1),(6,1)} 5:{1,3,5}:{(2,1),(3,1),(6,1),(7,1)} 6:{1,3,4}:{(4,1),(5,1),(8,1)} 7:{1,2,5}:{(5,1),(8,1)} 8:{1,2,4}:{(6,1),(7,1),(9,1)} 9:{1,2,3}:{(8,1)} 50 : 0:{1,2,3,5}:{(1,1),(4,1)} 1:{1,2,4}:{(0,1),(3,1)} 2:{1,2,4,5}:{(1,1),(4,1),(8,1)} 3:{1,3,4}:{(1,1),(4,1),(5,1)} 4:{1,3,5}:{(2,1),(3,1),(7,1)} 5:{2,3,4}:{(3,1),(7,1)} 6:{1,3,4,5}:{(4,1),(8,1)} 7:{2,3,5}:{(4,1),(5,1),(8,1)} 8:{2,4,5}:{(6,1),(7,1)} 51 : 0:{1,2,3}:{(2,1)} 1:{2,3,4}:{(3,1),(4,1)} 2:{1,2,4}:{(0,1),(3,1),(5,1)} 3:{1,3,4}:{(1,1),(2,1),(6,1)} 4:{2,3,5}:{(1,1),(6,1),(7,1)} 5:{1,2,5}:{(2,1),(6,1)} 6:{1,3,5}:{(3,1),(4,1),(5,1),(8,1)} 7:{2,4,5}:{(4,1),(8,1),(9,1)} 8:{1,4,5}:{(6,1),(7,1)} 9:{3,4,5}:{(7,1)} 52 : 0:{2,3,4}:{(1,1),(2,1)} 1:{1,3,4}:{(0,1),(4,1),(5,1)} 2:{2,3,5}:{(0,1),(5,1),(6,1)} 3:{1,2,3}:{(4,1)} 4:{1,2,4}:{(1,1),(3,1),(7,1)} 5:{1,3,5}:{(1,1),(2,1),(7,1),(8,1)} 6:{2,4,5}:{(2,1),(8,1),(9,1)} 7:{1,2,5}:{(4,1),(5,1)} 8:{1,4,5}:{(5,1),(6,1)} 9:{3,4,5}:{(6,1)} 53 : 0:{1,2,4,5}:{(1,1),(4,1)} 1:{1,3,5}:{(0,1),(2,1),(3,1)} 2:{1,3,4}:{(1,1),(4,1)} 3:{2,3,5}:{(1,1),(4,1)} 4:{2,4}:{(2,1),(3,1)} 54 : 0:{1,3,4,5}:{(1,1),(5,1)} 1:{2,4,5}:{(0,1),(2,1)} 2:{2,3,5}:{(1,1),(4,1),(5,1)} 3:{1,2,4,5}:{(1,1),(5,1),(8,1)} 4:{2,3,4}:{(2,1),(6,1)} 5:{1,3,5}:{(2,1),(3,1),(6,1)} 6:{1,3,4}:{(4,1),(5,1),(8,1)} 7:{1,2,3,5}:{(5,1),(8,1)} 8:{1,2,4}:{(6,1),(7,1)} 55 : 0:{2,3,4}:{(2,1),(3,1)} 1:{3,4,5}:{(5,1)} 2:{2,3,5}:{(0,1),(5,1),(6,1)} 3:{1,3,4}:{(0,1),(4,1),(6,1)} 4:{1,2,4}:{(3,1),(7,1),(8,1)} 5:{2,4,5}:{(1,1),(2,1),(9,1)} 6:{1,3,5}:{(2,1),(3,1),(8,1),(9,1)} 7:{1,2,3}:{(4,1)} 8:{1,2,5}:{(4,1),(6,1)} 9:{1,4,5}:{(5,1),(6,1)} 56 : 0:{3,4,5}:{(1,1)} 1:{2,4,5}:{(0,1),(3,1),(4,1)} 2:{2,3,4}:{(3,1),(5,1)} 3:{2,3,5}:{(1,1),(2,1),(6,1)} 4:{1,4,5}:{(1,1),(6,1)} 5:{1,3,4}:{(2,1),(6,1),(7,1)} 6:{1,3,5}:{(3,1),(4,1),(5,1),(9,1)} 7:{1,2,4}:{(5,1),(8,1),(9,1)} 8:{1,2,3}:{(7,1)} 9:{1,2,5}:{(6,1),(7,1)} 57 : 0:{1,2,3,5}:{(1,1),(4,1)} 1:{1,2,4}:{(0,1),(3,1)} 2:{1,2,4,5}:{(1,1),(4,1),(8,1)} 3:{1,3,4}:{(1,1),(4,1),(5,1)} 4:{1,3,5}:{(2,1),(3,1),(7,1)} 5:{2,3,4}:{(3,1),(7,1)} 6:{1,3,4,5}:{(4,1),(8,1)} 7:{2,3,5}:{(4,1),(5,1),(8,1)} 8:{2,4,5}:{(6,1),(7,1)} 58 : 0:{1,2,3}:{(2,1)} 1:{2,3,4}:{(4,1),(5,1)} 2:{1,2,4}:{(0,1),(5,1),(6,1)} 3:{3,4,5}:{(7,1)} 4:{2,3,5}:{(1,1),(7,1),(8,1)} 5:{1,3,4}:{(1,1),(2,1),(8,1)} 6:{1,2,5}:{(2,1),(8,1)} 7:{2,4,5}:{(3,1),(4,1),(9,1)} 8:{1,3,5}:{(4,1),(5,1),(6,1),(9,1)} 9:{1,4,5}:{(7,1),(8,1)} 59 : 0:{2,3,4}:{(2,1),(3,1)} 1:{3,4,5}:{(6,1)} 2:{2,3,5}:{(0,1),(6,1),(7,1)} 3:{1,3,4}:{(0,1),(5,1),(7,1)} 4:{1,2,3}:{(5,1)} 5:{1,2,4}:{(3,1),(4,1),(8,1)} 6:{2,4,5}:{(1,1),(2,1),(9,1)} 7:{1,3,5}:{(2,1),(3,1),(8,1),(9,1)} 8:{1,2,5}:{(5,1),(7,1)} 9:{1,4,5}:{(6,1),(7,1)} 60 : 0:{3,4,5}:{(1,1)} 1:{2,4,5}:{(0,1),(3,1),(4,1)} 2:{2,3,4}:{(3,1),(5,1)} 3:{2,3,5}:{(1,1),(2,1),(7,1)} 4:{1,4,5}:{(1,1),(7,1)} 5:{1,3,4}:{(2,1),(7,1),(8,1)} 6:{1,2,3}:{(8,1)} 7:{1,3,5}:{(3,1),(4,1),(5,1),(9,1)} 8:{1,2,4}:{(5,1),(6,1),(9,1)} 9:{1,2,5}:{(7,1),(8,1)} 61 : 0:{1,2,4,5}:{(1,1),(4,1)} 1:{1,3,5}:{(0,1),(2,1),(3,1)} 2:{1,3,4}:{(1,1),(4,1)} 3:{2,3,5}:{(1,1),(4,1)} 4:{2,4}:{(2,1),(3,1)} 62 : 0:{1,2,4,5}:{(1,1),(4,1)} 1:{1,3,5}:{(0,1),(2,1),(3,1)} 2:{1,3,4}:{(1,1),(4,1)} 3:{2,3,5}:{(1,1),(4,1)} 4:{2,4}:{(2,1),(3,1)} 63 : 0:{1,3,4,5}:{(1,1),(5,1)} 1:{2,4,5}:{(0,1),(2,1)} 2:{2,3,5}:{(1,1),(4,1),(5,1)} 3:{1,2,4,5}:{(1,1),(5,1),(8,1)} 4:{2,3,4}:{(2,1),(6,1)} 5:{1,3,5}:{(2,1),(3,1),(6,1)} 6:{1,3,4}:{(4,1),(5,1),(8,1)} 7:{1,2,3,5}:{(5,1),(8,1)} 8:{1,2,4}:{(6,1),(7,1)} 64 : 0:{1,3,4,5}:{(2,1),(8,1)} 1:{1,2,3,5}:{(4,1),(8,1)} 2:{2,4,5}:{(0,1),(5,1)} 3:{2,3,4}:{(5,1),(7,1)} 4:{1,2,4}:{(1,1),(7,1)} 5:{2,3,5}:{(2,1),(3,1),(8,1)} 6:{1,2,4,5}:{(2,1),(4,1),(8,1)} 7:{1,3,4}:{(3,1),(4,1),(8,1)} 8:{1,3,5}:{(5,1),(6,1),(7,1)} 65 : 0:{1,2,3,5}:{(1,1),(5,1)} 1:{1,2,4}:{(0,1),(4,1)} 2:{1,2,4,5}:{(1,1),(5,1),(6,1)} 3:{1,3,4,5}:{(5,1),(6,1)} 4:{1,3,4}:{(1,1),(5,1),(7,1)} 5:{1,3,5}:{(2,1),(4,1),(8,1)} 6:{2,4,5}:{(3,1),(8,1)} 7:{2,3,4}:{(4,1),(8,1)} 8:{2,3,5}:{(5,1),(6,1),(7,1)} 66 : 0:{1,2,4,5}:{(1,1),(4,1)} 1:{1,3,5}:{(0,1),(2,1),(3,1)} 2:{1,3,4}:{(1,1),(4,1)} 3:{2,3,5}:{(1,1),(4,1)} 4:{2,4}:{(2,1),(3,1)} 67 : 0:{1,3,4,5}:{(1,1),(7,1)} 1:{2,4,5}:{(0,1),(3,1)} 2:{1,2,3,5}:{(6,1),(7,1)} 3:{2,3,5}:{(1,1),(5,1),(7,1)} 4:{1,2,4,5}:{(1,1),(6,1),(7,1)} 5:{2,3,4}:{(3,1),(8,1)} 6:{1,2,4}:{(2,1),(8,1)} 7:{1,3,5}:{(3,1),(4,1),(8,1)} 8:{1,3,4}:{(5,1),(6,1),(7,1)} 68 : 0:{1,2,3,4}:{(1,1)} 1:{1,2,3,5}:{(0,1),(2,1)} 2:{1,2,4,5}:{(1,1),(3,1)} 3:{1,3,4,5}:{(2,1),(4,1)} 4:{2,3,4,5}:{(3,1)} 69 : 0:{1,3,4,5}:{(2,1),(8,1)} 1:{1,2,3,5}:{(4,1),(8,1)} 2:{2,4,5}:{(0,1),(5,1)} 3:{2,3,4}:{(5,1),(7,1)} 4:{1,2,4}:{(1,1),(7,1)} 5:{2,3,5}:{(2,1),(3,1),(8,1)} 6:{1,2,4,5}:{(2,1),(4,1),(8,1)} 7:{1,3,4}:{(3,1),(4,1),(8,1)} 8:{1,3,5}:{(5,1),(6,1),(7,1)} 70 : 0:{1,2,3,5}:{(3,1),(4,1)} 1:{1,2,4,5}:{(3,1),(4,1),(5,1)} 2:{1,3,4,5}:{(4,1),(5,1)} 3:{1,2,4}:{(0,1),(6,1)} 4:{1,3,5}:{(1,1),(6,1),(7,1)} 5:{2,4,5}:{(2,1),(7,1)} 6:{1,3,4}:{(3,1),(4,1),(8,1)} 7:{2,3,5}:{(4,1),(5,1),(8,1)} 8:{2,3,4}:{(6,1),(7,1)} 71 : 0:{2,3,4,5}:{(1,1)} 1:{1,3,4,5}:{(0,1),(2,1)} 2:{1,2,4,5}:{(1,1),(3,1)} 3:{1,2,3,5}:{(2,1),(4,1)} 4:{1,2,3,4}:{(3,1)} 72 : 0:{1,2,3,4}:{(1,1)} 1:{1,2,3,5}:{(0,1),(3,1)} 2:{2,3,4,5}:{(4,1)} 3:{1,2,4,5}:{(1,1),(4,1)} 4:{1,3,4,5}:{(2,1),(3,1)} 73 : 0:{2,3,4,5}:{(1,1)} 1:{1,3,4,5}:{(0,1),(2,1)} 2:{1,2,4,5}:{(1,1),(4,1)} 3:{1,2,3,4}:{(4,1)} 4:{1,2,3,5}:{(2,1),(3,1)} 74 : 0:{2,3,4,5}:{(2,1)} 1:{1,2,3,4}:{(3,1)} 2:{1,3,4,5}:{(0,1),(4,1)} 3:{1,2,3,5}:{(1,1),(4,1)} 4:{1,2,4,5}:{(2,1),(3,1)} 75 : 0:{1,2,3,4,5}:{}