0 : 0:{}:{}

 1 : 0:{1}:{(1,1)}
     1:{2}:{(0,1),(2,1)}
     2:{3}:{(1,1),(3,1),(4,1)}
     3:{2}:{(2,1),(5,1)}
     4:{4}:{(2,1)}
     5:{1}:{(3,1)}

 2 : 0:{2}:{(1,1),(2,1)}
     1:{1}:{(0,1)}
     2:{3}:{(0,1),(3,1),(4,1)}
     3:{2}:{(2,1),(5,1)}
     4:{4}:{(2,1)}
     5:{1}:{(3,1)}

 3 : 0:{3}:{(1,1),(2,1)}
     1:{2}:{(0,1),(3,1),(4,1)}
     2:{4}:{(0,1)}
     3:{1}:{(1,1)}
     4:{3}:{(1,1),(5,1)}
     5:{4}:{(4,1)}

 4 : 0:{4}:{(1,1)}
     1:{3}:{(0,1),(2,1)}
     2:{2}:{(1,1),(3,1),(4,1)}
     3:{1}:{(2,1)}
     4:{3}:{(2,1),(5,1)}
     5:{4}:{(4,1)}

 5 : 0:{1,3}:{(1,1),(2,1),(5,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{2}:{(0,1),(4,1)}
     3:{2,4}:{(1,1),(2,1),(5,1),(6,1)}
     4:{3}:{(2,1),(6,1)}
     5:{3}:{(3,1),(7,1)}
     6:{4}:{(4,1)}
     7:{2}:{(5,1),(8,1)}
     8:{1}:{(7,1)}

 6 : 0:{1,4}:{(1,1),(2,1)}
     1:{1,3}:{(0,1),(3,1),(4,1),(7,1)}
     2:{2,4}:{(0,1),(3,1),(4,1),(8,1)}
     3:{2}:{(1,1),(6,1)}
     4:{3}:{(2,1),(5,1)}
     5:{2}:{(4,1),(7,1)}
     6:{3}:{(3,1),(8,1)}
     7:{1}:{(5,1)}
     8:{4}:{(6,1)}

 7 : 0:{2,4}:{(1,1),(2,1),(6,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{3}:{(0,1),(4,1)}
     3:{1,3}:{(1,1),(2,1),(5,1),(6,1)}
     4:{2}:{(2,1),(5,1)}
     5:{1}:{(4,1)}
     6:{2}:{(3,1),(7,1)}
     7:{3}:{(6,1),(8,1)}
     8:{4}:{(7,1)}

 8 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

 9 : 0:{1,3}:{(1,1),(2,1),(5,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{2}:{(0,1),(4,1)}
     3:{2,4}:{(1,1),(2,1),(5,1),(6,1)}
     4:{3}:{(2,1),(6,1)}
     5:{3}:{(3,1),(7,1)}
     6:{4}:{(4,1)}
     7:{2}:{(5,1),(8,1)}
     8:{1}:{(7,1)}

10 : 0:{2,4}:{(1,1),(2,1),(6,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{3}:{(0,1),(4,1)}
     3:{1,3}:{(1,1),(2,1),(5,1),(6,1)}
     4:{2}:{(2,1),(5,1)}
     5:{1}:{(4,1)}
     6:{2}:{(3,1),(7,1)}
     7:{3}:{(6,1),(8,1)}
     8:{4}:{(7,1)}

11 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

12 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

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

14 : 0:{1,3}:{(1,1),(2,1),(5,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{2}:{(0,1),(4,1)}
     3:{2,4}:{(1,1),(2,1),(5,1),(6,1)}
     4:{3}:{(2,1),(6,1)}
     5:{3}:{(3,1),(7,1)}
     6:{4}:{(4,1)}
     7:{2}:{(5,1),(8,1)}
     8:{1}:{(7,1)}

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

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

17 : 0:{2,4}:{(1,1),(2,1),(6,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{3}:{(0,1),(4,1)}
     3:{1,3}:{(1,1),(2,1),(5,1),(6,1)}
     4:{2}:{(2,1),(5,1)}
     5:{1}:{(4,1)}
     6:{2}:{(3,1),(7,1)}
     7:{3}:{(6,1),(8,1)}
     8:{4}:{(7,1)}

18 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

19 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

20 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

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

22 : 0:{1,3}:{(1,1),(2,1),(5,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{2}:{(0,1),(4,1)}
     3:{2,4}:{(1,1),(2,1),(5,1),(6,1)}
     4:{3}:{(2,1),(6,1)}
     5:{3}:{(3,1),(7,1)}
     6:{4}:{(4,1)}
     7:{2}:{(5,1),(8,1)}
     8:{1}:{(7,1)}

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

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

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

26 : 0:{2,4}:{(1,1),(2,1),(6,1),(8,1)}
     1:{1,4}:{(0,1),(3,1)}
     2:{3}:{(0,1),(4,1)}
     3:{1,3}:{(1,1),(2,1),(5,1),(6,1)}
     4:{2}:{(2,1),(5,1)}
     5:{1}:{(4,1)}
     6:{2}:{(3,1),(7,1)}
     7:{3}:{(6,1),(8,1)}
     8:{4}:{(7,1)}

27 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

28 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

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

30 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

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

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

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

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

35 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

36 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

37 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

38 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

39 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

40 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

41 : 0:{1,2}:{(1,1),(6,1)}
     1:{1,3}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{2}:{(1,1)}
     4:{2,4}:{(2,1),(3,1),(5,1)}
     5:{3}:{(4,1),(6,1)}
     6:{2}:{(5,1),(7,1)}
     7:{1}:{(6,1)}

42 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

43 : 0:{3,4}:{(1,1),(6,1)}
     1:{2,4}:{(0,1),(2,1),(3,1),(5,1)}
     2:{1,4}:{(1,1),(4,1)}
     3:{3}:{(1,1)}
     4:{1,3}:{(2,1),(3,1),(5,1)}
     5:{2}:{(4,1),(6,1)}
     6:{3}:{(5,1),(7,1)}
     7:{4}:{(6,1)}

44 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

45 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

46 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

47 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

48 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

49 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

50 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

51 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

52 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

53 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

54 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

55 : 0:{1,2,3}:{(1,1),(8,1)}
     1:{1,2,4}:{(0,1),(2,1)}
     2:{1,3,4}:{(1,1),(5,1),(8,1)}
     3:{2,3,4}:{(4,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,4}:{(2,1),(7,1)}
     6:{1,2,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{1,3}:{(6,1),(7,1)}

56 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

57 : 0:{2,3,4}:{(1,1),(8,1)}
     1:{1,3,4}:{(0,1),(3,1)}
     2:{1,2,3}:{(4,1),(5,1)}
     3:{1,2,4}:{(1,1),(5,1),(8,1)}
     4:{1,2,4}:{(2,1),(6,1)}
     5:{1,3}:{(3,1),(7,1)}
     6:{1,3,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{2,4}:{(6,1),(7,1)}

58 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(2,1),(7,1)}
     2:{1,3,4}:{(1,1),(3,1),(6,1)}
     3:{2,4}:{(2,1),(5,1)}
     4:{1,2,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{1,3}:{(4,1),(5,1),(7,1)}
     7:{1,2}:{(6,1)}

59 : 0:{1,2,3}:{(1,1),(8,1)}
     1:{1,2,4}:{(0,1),(2,1)}
     2:{1,3,4}:{(1,1),(5,1),(8,1)}
     3:{2,3,4}:{(4,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,4}:{(2,1),(7,1)}
     6:{1,2,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{1,3}:{(6,1),(7,1)}

60 : 0:{2,3,4}:{(1,1),(8,1)}
     1:{1,3,4}:{(0,1),(3,1)}
     2:{1,2,3}:{(4,1),(5,1)}
     3:{1,2,4}:{(1,1),(5,1),(8,1)}
     4:{1,2,4}:{(2,1),(6,1)}
     5:{1,3}:{(3,1),(7,1)}
     6:{1,3,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{2,4}:{(6,1),(7,1)}

61 : 0:{2,3,4}:{(1,1)}
     1:{1,3,4}:{(0,1),(2,1),(7,1)}
     2:{1,2,4}:{(1,1),(3,1),(6,1)}
     3:{1,3}:{(2,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,3}:{(3,1),(6,1)}
     6:{2,4}:{(4,1),(5,1),(7,1)}
     7:{3,4}:{(6,1)}

62 : 0:{1,2,3}:{(1,1),(8,1)}
     1:{1,2,4}:{(0,1),(2,1)}
     2:{1,3,4}:{(1,1),(5,1),(8,1)}
     3:{2,3,4}:{(4,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,4}:{(2,1),(7,1)}
     6:{1,2,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{1,3}:{(6,1),(7,1)}

63 : 0:{2,3,4}:{(1,1),(8,1)}
     1:{1,3,4}:{(0,1),(3,1)}
     2:{1,2,3}:{(4,1),(5,1)}
     3:{1,2,4}:{(1,1),(5,1),(8,1)}
     4:{1,2,4}:{(2,1),(6,1)}
     5:{1,3}:{(3,1),(7,1)}
     6:{1,3,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{2,4}:{(6,1),(7,1)}

64 : 0:{1,2,3}:{(1,1),(8,1)}
     1:{1,2,4}:{(0,1),(2,1)}
     2:{1,3,4}:{(1,1),(5,1),(8,1)}
     3:{2,3,4}:{(4,1),(5,1)}
     4:{1,3,4}:{(3,1),(6,1)}
     5:{2,4}:{(2,1),(7,1)}
     6:{1,2,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{1,3}:{(6,1),(7,1)}

65 : 0:{2,3,4}:{(1,1),(8,1)}
     1:{1,3,4}:{(0,1),(3,1)}
     2:{1,2,3}:{(4,1),(5,1)}
     3:{1,2,4}:{(1,1),(5,1),(8,1)}
     4:{1,2,4}:{(2,1),(6,1)}
     5:{1,3}:{(3,1),(7,1)}
     6:{1,3,4}:{(4,1),(5,1),(8,1)}
     7:{2,3}:{(5,1),(8,1)}
     8:{2,4}:{(6,1),(7,1)}

66 : 0:{1,2,3}:{(2,1),(6,1)}
     1:{2,3,4}:{(3,1),(7,1)}
     2:{1,2,4}:{(0,1),(5,1)}
     3:{1,3,4}:{(1,1),(4,1)}
     4:{1,2,4}:{(3,1),(6,1),(7,1)}
     5:{1,3,4}:{(2,1),(6,1),(7,1)}
     6:{1,3}:{(4,1),(8,1)}
     7:{2,4}:{(5,1),(8,1)}
     8:{2,3}:{(6,1),(7,1)}

67 : 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:{1,2,4}:{(3,1),(5,1)}
     5:{1,2,3}:{(4,1)}

68 : 0:{2,3,4}:{(2,1)}
     1:{1,2,3}:{(3,1)}
     2:{1,3,4}:{(0,1),(3,1)}
     3:{1,2,4}:{(1,1),(2,1),(4,1)}
     4:{1,3,4}:{(3,1),(5,1)}
     5:{2,3,4}:{(4,1)}

69 : 0:{1,2,3}:{(1,1)}
     1:{1,2,4}:{(0,1),(4,1)}
     2:{2,3,4}:{(4,1)}
     3:{1,2,3}:{(5,1)}
     4:{1,3,4}:{(1,1),(2,1),(5,1)}
     5:{1,2,4}:{(3,1),(4,1)}

70 : 0:{2,3,4}:{(2,1)}
     1:{1,2,3}:{(3,1)}
     2:{1,3,4}:{(0,1),(3,1)}
     3:{1,2,4}:{(1,1),(2,1),(5,1)}
     4:{2,3,4}:{(5,1)}
     5:{1,3,4}:{(3,1),(4,1)}

71 : 0:{1,2,3,4}:{}