0 : 0:{}:{}

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

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

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

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

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

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

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

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

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

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

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

 12 :  0:{1,2,4}:{(1,1),(2,1),(7,1),(8,1),(10,1),(11,1)}
       1:{3}:{(0,1)}
       2:{1,2,5}:{(0,1),(6,1),(13,1),(14,1)}
       3:{3,4}:{(1,1),(7,1),(8,1),(9,1),(11,1),(16,1),(19,1)}
       4:{1,3}:{(1,1),(7,1),(10,1),(16,1)}
       5:{2,3}:{(1,1),(8,1),(10,1),(16,1)}
       6:{3,5}:{(1,1),(2,1),(11,1)}
       7:{1,4}:{(3,1),(4,1),(13,1)}
       8:{2,4}:{(3,1),(5,1),(14,1)}
       9:{3,5}:{(3,1),(13,1),(14,1),(15,1)}
      10:{1,2}:{(4,1),(5,1)}
      11:{4}:{(6,1)}
      12:{1,2,4}:{(7,1),(8,1),(10,1),(16,1),(17,1),(19,1)}
      13:{1,5}:{(7,1),(9,1)}
      14:{2,5}:{(8,1),(9,1)}
      15:{4,5}:{(9,1),(11,1),(19,1)}
      16:{3}:{(12,1)}
      17:{1,2,5}:{(12,1),(13,1),(14,1),(18,1)}
      18:{3,5}:{(16,1),(17,1),(19,1)}
      19:{4}:{(18,1)}

 13 :  0:{1,2,5}:{(1,1),(2,1),(13,1),(14,1)}
       1:{3,5}:{(0,1),(3,1),(4,1)}
       2:{1,2,4}:{(0,1),(3,1),(4,1),(10,1),(11,1),(12,1)}
       3:{4}:{(1,1)}
       4:{3}:{(2,1)}
       5:{4,5}:{(3,1),(9,1),(19,1)}
       6:{3,4}:{(3,1),(4,1),(9,1),(10,1),(11,1),(17,1),(19,1)}
       7:{1,3}:{(4,1),(10,1),(12,1),(17,1)}
       8:{2,3}:{(4,1),(11,1),(12,1),(17,1)}
       9:{3,5}:{(5,1),(6,1),(13,1),(14,1)}
      10:{1,4}:{(6,1),(7,1),(13,1)}
      11:{2,4}:{(6,1),(8,1),(14,1)}
      12:{1,2}:{(7,1),(8,1)}
      13:{1,5}:{(9,1),(10,1)}
      14:{2,5}:{(9,1),(11,1)}
      15:{1,2,4}:{(10,1),(11,1),(12,1),(16,1),(17,1),(19,1)}
      16:{1,2,5}:{(13,1),(14,1),(15,1),(18,1)}
      17:{3}:{(15,1)}
      18:{3,5}:{(16,1),(17,1),(19,1)}
      19:{4}:{(18,1)}

 14 :  0:{1,3}:{(1,1),(2,1),(8,1)}
       1:{1,2}:{(0,1),(3,1)}
       2:{1,4}:{(0,1),(5,1),(6,1)}
       3:{2,3}:{(1,1),(7,1),(8,1)}
       4:{1,2,4}:{(1,1),(2,1),(7,1),(8,1),(9,1),(10,1),(19,1),(21,1),(22,1)}
       5:{3,4}:{(2,1),(8,1),(10,1),(11,1),(22,1)}
       6:{1,5}:{(2,1),(11,1)}
       7:{2,4}:{(3,1),(12,1),(13,1)}
       8:{3}:{(4,1)}
       9:{1,2,5}:{(4,1),(6,1),(13,1),(16,1),(17,1),(23,1)}
      10:{2,4}:{(5,1),(15,1),(17,1)}
      11:{3,5}:{(5,1),(6,1),(17,1),(18,1)}
      12:{3,4}:{(7,1),(8,1),(19,1),(20,1),(22,1)}
      13:{2,5}:{(7,1),(20,1)}
      14:{1,3}:{(8,1),(19,1),(21,1)}
      15:{2,3}:{(8,1),(10,1),(21,1)}
      16:{3,5}:{(8,1),(9,1),(22,1)}
      17:{2,5}:{(10,1),(11,1)}
      18:{4,5}:{(11,1),(22,1)}
      19:{1,4}:{(12,1),(14,1),(23,1)}
      20:{3,5}:{(12,1),(13,1),(23,1),(24,1)}
      21:{1,2}:{(14,1),(15,1)}
      22:{4}:{(16,1)}
      23:{1,5}:{(19,1),(20,1)}
      24:{4,5}:{(20,1),(22,1)}

 15 :  0:{2,3}:{(1,1),(2,1),(8,1)}
       1:{1,2}:{(0,1),(3,1)}
       2:{2,4}:{(0,1),(5,1),(6,1)}
       3:{1,3}:{(1,1),(7,1),(8,1)}
       4:{1,2,4}:{(1,1),(2,1),(7,1),(8,1),(9,1),(10,1),(19,1),(21,1),(22,1)}
       5:{3,4}:{(2,1),(8,1),(10,1),(11,1),(22,1)}
       6:{2,5}:{(2,1),(11,1)}
       7:{1,4}:{(3,1),(12,1),(13,1)}
       8:{3}:{(4,1)}
       9:{1,2,5}:{(4,1),(6,1),(13,1),(16,1),(17,1),(23,1)}
      10:{1,4}:{(5,1),(14,1),(17,1)}
      11:{3,5}:{(5,1),(6,1),(17,1),(18,1)}
      12:{3,4}:{(7,1),(8,1),(19,1),(20,1),(22,1)}
      13:{1,5}:{(7,1),(20,1)}
      14:{1,3}:{(8,1),(10,1),(21,1)}
      15:{2,3}:{(8,1),(19,1),(21,1)}
      16:{3,5}:{(8,1),(9,1),(22,1)}
      17:{1,5}:{(10,1),(11,1)}
      18:{4,5}:{(11,1),(22,1)}
      19:{2,4}:{(12,1),(15,1),(23,1)}
      20:{3,5}:{(12,1),(13,1),(23,1),(24,1)}
      21:{1,2}:{(14,1),(15,1)}
      22:{4}:{(16,1)}
      23:{2,5}:{(19,1),(20,1)}
      24:{4,5}:{(20,1),(22,1)}

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

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

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

 19 :  0:{3,4}:{(1,1),(2,1),(3,1),(12,1),(21,1)}
       1:{1,4}:{(0,1),(4,1),(7,1)}
       2:{2,4}:{(0,1),(5,1),(8,1)}
       3:{3,5}:{(0,1),(7,1),(8,1),(9,1)}
       4:{1,3}:{(1,1),(10,1),(12,1)}
       5:{2,3}:{(2,1),(11,1),(12,1)}
       6:{1,2,4}:{(1,1),(2,1),(10,1),(11,1),(12,1),(13,1),(18,1),(19,1),(21,1)}
       7:{1,5}:{(1,1),(3,1)}
       8:{2,5}:{(2,1),(3,1)}
       9:{4,5}:{(3,1),(21,1)}
      10:{1,2}:{(4,1),(14,1)}
      11:{1,2}:{(5,1),(15,1)}
      12:{3}:{(6,1)}
      13:{1,2,5}:{(6,1),(7,1),(8,1),(17,1),(22,1),(23,1)}
      14:{2,3}:{(10,1),(12,1),(18,1)}
      15:{1,3}:{(11,1),(12,1),(19,1)}
      16:{3,4}:{(12,1),(18,1),(19,1),(20,1),(21,1)}
      17:{3,5}:{(12,1),(13,1),(21,1)}
      18:{2,4}:{(14,1),(16,1),(22,1)}
      19:{1,4}:{(15,1),(16,1),(23,1)}
      20:{3,5}:{(16,1),(22,1),(23,1),(24,1)}
      21:{4}:{(17,1)}
      22:{2,5}:{(18,1),(20,1)}
      23:{1,5}:{(19,1),(20,1)}
      24:{4,5}:{(20,1),(21,1)}

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

 21 :  0:{4,5}:{(1,1),(15,1)}
       1:{3,5}:{(0,1),(2,1),(3,1),(4,1)}
       2:{3,4}:{(1,1),(5,1),(6,1),(14,1),(15,1)}
       3:{1,5}:{(1,1),(5,1)}
       4:{2,5}:{(1,1),(6,1)}
       5:{1,4}:{(2,1),(3,1),(8,1)}
       6:{2,4}:{(2,1),(4,1),(9,1)}
       7:{1,2,5}:{(3,1),(4,1),(10,1),(11,1),(23,1),(24,1)}
       8:{1,3}:{(5,1),(12,1),(14,1)}
       9:{2,3}:{(6,1),(13,1),(14,1)}
      10:{1,2,4}:{(5,1),(6,1),(7,1),(12,1),(13,1),(14,1),(15,1),(20,1),(21,1)}
      11:{3,5}:{(7,1),(14,1),(15,1)}
      12:{1,2}:{(8,1),(16,1)}
      13:{1,2}:{(9,1),(17,1)}
      14:{3}:{(10,1)}
      15:{4}:{(11,1)}
      16:{2,3}:{(12,1),(14,1),(20,1)}
      17:{1,3}:{(13,1),(14,1),(21,1)}
      18:{3,4}:{(14,1),(15,1),(20,1),(21,1),(22,1)}
      19:{4,5}:{(15,1),(22,1)}
      20:{2,4}:{(16,1),(18,1),(23,1)}
      21:{1,4}:{(17,1),(18,1),(24,1)}
      22:{3,5}:{(18,1),(19,1),(23,1),(24,1)}
      23:{2,5}:{(20,1),(22,1)}
      24:{1,5}:{(21,1),(22,1)}

 22 :  0:{1,3}:{(2,1),(3,1),(10,1)}
       1:{2,3}:{(2,1),(4,1),(10,1)}
       2:{1,2}:{(0,1),(1,1)}
       3:{1,4}:{(0,1),(6,1),(7,1)}
       4:{2,4}:{(1,1),(8,1),(9,1)}
       5:{1,2,4}:{(2,1),(3,1),(4,1),(10,1),(11,1),(12,1),(14,1),(23,1),(24,1)}
       6:{3,4}:{(3,1),(10,1),(12,1),(13,1),(24,1)}
       7:{1,5}:{(3,1),(13,1)}
       8:{3,4}:{(4,1),(10,1),(14,1),(15,1),(24,1)}
       9:{2,5}:{(4,1),(15,1)}
      10:{3}:{(5,1)}
      11:{1,2,5}:{(5,1),(7,1),(9,1),(18,1),(19,1),(21,1)}
      12:{2,4}:{(6,1),(17,1),(19,1)}
      13:{3,5}:{(6,1),(7,1),(19,1),(20,1)}
      14:{1,4}:{(8,1),(16,1),(21,1)}
      15:{3,5}:{(8,1),(9,1),(21,1),(22,1)}
      16:{1,3}:{(10,1),(14,1),(23,1)}
      17:{2,3}:{(10,1),(12,1),(23,1)}
      18:{3,5}:{(10,1),(11,1),(24,1)}
      19:{2,5}:{(12,1),(13,1)}
      20:{4,5}:{(13,1),(24,1)}
      21:{1,5}:{(14,1),(15,1)}
      22:{4,5}:{(15,1),(24,1)}
      23:{1,2}:{(16,1),(17,1)}
      24:{4}:{(18,1)}

 23 :  0:{1,3,5}:{(1,1),(2,1),(8,1),(9,1)}
       1:{1,2,5}:{(0,1),(3,1),(4,1),(15,1),(19,1)}
       2:{1,4}:{(0,1),(6,1)}
       3:{2,3,5}:{(1,1),(7,1),(8,1),(16,1)}
       4:{1,2,4}:{(1,1),(2,1),(7,1),(8,1),(10,1),(17,1),(18,1)}
       5:{1,4,5}:{(2,1),(9,1)}
       6:{3,4}:{(2,1),(8,1),(9,1),(10,1)}
       7:{2,4}:{(3,1),(12,1)}
       8:{3}:{(4,1)}
       9:{3,5}:{(5,1),(6,1),(15,1)}
      10:{2,4}:{(6,1),(14,1),(15,1)}
      11:{2,4,5}:{(7,1),(16,1)}
      12:{3,4}:{(7,1),(8,1),(16,1),(17,1)}
      13:{1,3}:{(8,1),(17,1),(18,1)}
      14:{2,3}:{(8,1),(10,1),(18,1)}
      15:{2,5}:{(9,1),(10,1)}
      16:{3,5}:{(11,1),(12,1),(19,1)}
      17:{1,4}:{(12,1),(13,1),(19,1)}
      18:{1,2}:{(13,1),(14,1)}
      19:{1,5}:{(16,1),(17,1)}

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

 25 :  0:{3,4}:{(2,1),(3,1),(4,1),(13,1),(22,1)}
       1:{1,3}:{(2,1),(5,1),(13,1)}
       2:{1,4}:{(0,1),(1,1),(8,1)}
       3:{2,4}:{(0,1),(6,1),(9,1)}
       4:{3,5}:{(0,1),(8,1),(9,1),(10,1)}
       5:{1,2}:{(1,1),(11,1)}
       6:{2,3}:{(3,1),(12,1),(13,1)}
       7:{1,2,4}:{(2,1),(3,1),(5,1),(12,1),(13,1),(14,1),(15,1),(20,1),(22,1)}
       8:{1,5}:{(2,1),(4,1)}
       9:{2,5}:{(3,1),(4,1)}
      10:{4,5}:{(4,1),(22,1)}
      11:{2,3}:{(5,1),(13,1),(15,1)}
      12:{1,2}:{(6,1),(16,1)}
      13:{3}:{(7,1)}
      14:{1,2,5}:{(7,1),(8,1),(9,1),(18,1),(19,1),(23,1)}
      15:{2,4}:{(11,1),(17,1),(19,1)}
      16:{1,3}:{(12,1),(13,1),(20,1)}
      17:{3,4}:{(13,1),(15,1),(20,1),(21,1),(22,1)}
      18:{3,5}:{(13,1),(14,1),(22,1)}
      19:{2,5}:{(15,1),(21,1)}
      20:{1,4}:{(16,1),(17,1),(23,1)}
      21:{3,5}:{(17,1),(19,1),(23,1),(24,1)}
      22:{4}:{(18,1)}
      23:{1,5}:{(20,1),(21,1)}
      24:{4,5}:{(21,1),(22,1)}

 26 :  0:{1,4,5}:{(1,1),(5,1)}
       1:{3,5}:{(0,1),(2,1),(4,1)}
       2:{3,4}:{(1,1),(5,1),(6,1),(12,1)}
       3:{1,3,5}:{(1,1),(5,1),(7,1),(12,1)}
       4:{2,5}:{(1,1),(6,1)}
       5:{1,4}:{(2,1),(3,1)}
       6:{2,4}:{(2,1),(4,1),(8,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1),(10,1),(19,1)}
       8:{2,3}:{(6,1),(11,1),(12,1)}
       9:{1,2,4}:{(5,1),(6,1),(7,1),(11,1),(12,1),(13,1),(17,1)}
      10:{2,3,5}:{(7,1),(12,1),(13,1),(18,1)}
      11:{1,2}:{(8,1),(14,1)}
      12:{3}:{(9,1)}
      13:{2,4}:{(10,1),(15,1)}
      14:{1,3}:{(11,1),(12,1),(17,1)}
      15:{3,4}:{(12,1),(13,1),(17,1),(18,1)}
      16:{2,4,5}:{(13,1),(18,1)}
      17:{1,4}:{(14,1),(15,1),(19,1)}
      18:{3,5}:{(15,1),(16,1),(19,1)}
      19:{1,5}:{(17,1),(18,1)}

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

 28 :  0:{2,3,5}:{(1,1),(2,1),(8,1),(9,1)}
       1:{1,2,5}:{(0,1),(3,1),(4,1),(15,1),(19,1)}
       2:{2,4}:{(0,1),(6,1)}
       3:{1,3,5}:{(1,1),(7,1),(8,1),(16,1)}
       4:{1,2,4}:{(1,1),(2,1),(7,1),(8,1),(10,1),(17,1),(18,1)}
       5:{2,4,5}:{(2,1),(9,1)}
       6:{3,4}:{(2,1),(8,1),(9,1),(10,1)}
       7:{1,4}:{(3,1),(12,1)}
       8:{3}:{(4,1)}
       9:{3,5}:{(5,1),(6,1),(15,1)}
      10:{1,4}:{(6,1),(13,1),(15,1)}
      11:{1,4,5}:{(7,1),(16,1)}
      12:{3,4}:{(7,1),(8,1),(16,1),(17,1)}
      13:{1,3}:{(8,1),(10,1),(18,1)}
      14:{2,3}:{(8,1),(17,1),(18,1)}
      15:{1,5}:{(9,1),(10,1)}
      16:{3,5}:{(11,1),(12,1),(19,1)}
      17:{2,4}:{(12,1),(14,1),(19,1)}
      18:{1,2}:{(13,1),(14,1)}
      19:{2,5}:{(16,1),(17,1)}

 29 :  0:{3,4}:{(2,1),(3,1),(4,1),(13,1),(22,1)}
       1:{2,3}:{(3,1),(5,1),(13,1)}
       2:{1,4}:{(0,1),(6,1),(8,1)}
       3:{2,4}:{(0,1),(1,1),(9,1)}
       4:{3,5}:{(0,1),(8,1),(9,1),(10,1)}
       5:{1,2}:{(1,1),(11,1)}
       6:{1,3}:{(2,1),(12,1),(13,1)}
       7:{1,2,4}:{(2,1),(3,1),(5,1),(12,1),(13,1),(14,1),(15,1),(20,1),(22,1)}
       8:{1,5}:{(2,1),(4,1)}
       9:{2,5}:{(3,1),(4,1)}
      10:{4,5}:{(4,1),(22,1)}
      11:{1,3}:{(5,1),(13,1),(15,1)}
      12:{1,2}:{(6,1),(16,1)}
      13:{3}:{(7,1)}
      14:{1,2,5}:{(7,1),(8,1),(9,1),(18,1),(19,1),(23,1)}
      15:{1,4}:{(11,1),(17,1),(19,1)}
      16:{2,3}:{(12,1),(13,1),(20,1)}
      17:{3,4}:{(13,1),(15,1),(20,1),(21,1),(22,1)}
      18:{3,5}:{(13,1),(14,1),(22,1)}
      19:{1,5}:{(15,1),(21,1)}
      20:{2,4}:{(16,1),(17,1),(23,1)}
      21:{3,5}:{(17,1),(19,1),(23,1),(24,1)}
      22:{4}:{(18,1)}
      23:{2,5}:{(20,1),(21,1)}
      24:{4,5}:{(21,1),(22,1)}

 30 :  0:{2,4,5}:{(1,1),(6,1)}
       1:{3,5}:{(0,1),(2,1),(3,1)}
       2:{3,4}:{(1,1),(5,1),(6,1),(12,1)}
       3:{1,5}:{(1,1),(5,1)}
       4:{2,3,5}:{(1,1),(6,1),(7,1),(12,1)}
       5:{1,4}:{(2,1),(3,1),(8,1)}
       6:{2,4}:{(2,1),(4,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1),(10,1),(19,1)}
       8:{1,3}:{(5,1),(11,1),(12,1)}
       9:{1,2,4}:{(5,1),(6,1),(7,1),(11,1),(12,1),(13,1),(17,1)}
      10:{1,3,5}:{(7,1),(12,1),(13,1),(18,1)}
      11:{1,2}:{(8,1),(14,1)}
      12:{3}:{(9,1)}
      13:{1,4}:{(10,1),(15,1)}
      14:{2,3}:{(11,1),(12,1),(17,1)}
      15:{3,4}:{(12,1),(13,1),(17,1),(18,1)}
      16:{1,4,5}:{(13,1),(18,1)}
      17:{2,4}:{(14,1),(15,1),(19,1)}
      18:{3,5}:{(15,1),(16,1),(19,1)}
      19:{2,5}:{(17,1),(18,1)}

 31 :  0:{1,2,4}:{(1,1),(2,1),(7,1),(8,1),(10,1),(11,1)}
       1:{3}:{(0,1)}
       2:{1,2,5}:{(0,1),(6,1),(13,1),(14,1)}
       3:{3,4}:{(1,1),(7,1),(8,1),(9,1),(11,1),(16,1),(19,1)}
       4:{1,3}:{(1,1),(7,1),(10,1),(16,1)}
       5:{2,3}:{(1,1),(8,1),(10,1),(16,1)}
       6:{3,5}:{(1,1),(2,1),(11,1)}
       7:{1,4}:{(3,1),(4,1),(13,1)}
       8:{2,4}:{(3,1),(5,1),(14,1)}
       9:{3,5}:{(3,1),(13,1),(14,1),(15,1)}
      10:{1,2}:{(4,1),(5,1)}
      11:{4}:{(6,1)}
      12:{1,2,4}:{(7,1),(8,1),(10,1),(16,1),(17,1),(19,1)}
      13:{1,5}:{(7,1),(9,1)}
      14:{2,5}:{(8,1),(9,1)}
      15:{4,5}:{(9,1),(11,1),(19,1)}
      16:{3}:{(12,1)}
      17:{1,2,5}:{(12,1),(13,1),(14,1),(18,1)}
      18:{3,5}:{(16,1),(17,1),(19,1)}
      19:{4}:{(18,1)}

 32 :  0:{1,2,5}:{(1,1),(2,1),(13,1),(14,1)}
       1:{3,5}:{(0,1),(3,1),(4,1)}
       2:{1,2,4}:{(0,1),(3,1),(4,1),(10,1),(11,1),(12,1)}
       3:{4}:{(1,1)}
       4:{3}:{(2,1)}
       5:{4,5}:{(3,1),(9,1),(19,1)}
       6:{3,4}:{(3,1),(4,1),(9,1),(10,1),(11,1),(17,1),(19,1)}
       7:{1,3}:{(4,1),(10,1),(12,1),(17,1)}
       8:{2,3}:{(4,1),(11,1),(12,1),(17,1)}
       9:{3,5}:{(5,1),(6,1),(13,1),(14,1)}
      10:{1,4}:{(6,1),(7,1),(13,1)}
      11:{2,4}:{(6,1),(8,1),(14,1)}
      12:{1,2}:{(7,1),(8,1)}
      13:{1,5}:{(9,1),(10,1)}
      14:{2,5}:{(9,1),(11,1)}
      15:{1,2,4}:{(10,1),(11,1),(12,1),(16,1),(17,1),(19,1)}
      16:{1,2,5}:{(13,1),(14,1),(15,1),(18,1)}
      17:{3}:{(15,1)}
      18:{3,5}:{(16,1),(17,1),(19,1)}
      19:{4}:{(18,1)}

 33 :  0:{4,5}:{(2,1),(20,1)}
       1:{3,4}:{(2,1),(3,1),(4,1),(13,1),(20,1)}
       2:{3,5}:{(0,1),(1,1),(7,1),(8,1)}
       3:{1,4}:{(1,1),(5,1),(7,1)}
       4:{2,4}:{(1,1),(6,1),(8,1)}
       5:{1,3}:{(3,1),(10,1),(13,1)}
       6:{2,3}:{(4,1),(11,1),(13,1)}
       7:{1,5}:{(2,1),(3,1)}
       8:{2,5}:{(2,1),(4,1)}
       9:{1,2,4}:{(3,1),(4,1),(10,1),(11,1),(12,1),(13,1),(18,1),(19,1),(20,1)}
      10:{1,2}:{(5,1),(14,1)}
      11:{1,2}:{(6,1),(15,1)}
      12:{1,2,5}:{(7,1),(8,1),(9,1),(16,1),(22,1),(23,1)}
      13:{3}:{(9,1)}
      14:{2,3}:{(10,1),(13,1),(18,1)}
      15:{1,3}:{(11,1),(13,1),(19,1)}
      16:{3,5}:{(12,1),(13,1),(20,1)}
      17:{3,4}:{(13,1),(18,1),(19,1),(20,1),(21,1)}
      18:{2,4}:{(14,1),(17,1),(22,1)}
      19:{1,4}:{(15,1),(17,1),(23,1)}
      20:{4}:{(16,1)}
      21:{3,5}:{(17,1),(22,1),(23,1),(24,1)}
      22:{2,5}:{(18,1),(21,1)}
      23:{1,5}:{(19,1),(21,1)}
      24:{4,5}:{(20,1),(21,1)}

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

 35 :  0:{1,3,5}:{(2,1),(3,1),(10,1),(11,1)}
       1:{2,3,5}:{(2,1),(4,1),(10,1),(13,1)}
       2:{1,2,5}:{(0,1),(1,1),(5,1),(17,1),(18,1)}
       3:{1,4}:{(0,1),(7,1)}
       4:{2,4}:{(1,1),(9,1)}
       5:{1,2,4}:{(2,1),(3,1),(4,1),(10,1),(12,1),(14,1),(19,1)}
       6:{1,4,5}:{(3,1),(11,1)}
       7:{3,4}:{(3,1),(10,1),(11,1),(12,1)}
       8:{2,4,5}:{(4,1),(13,1)}
       9:{3,4}:{(4,1),(10,1),(13,1),(14,1)}
      10:{3}:{(5,1)}
      11:{3,5}:{(6,1),(7,1),(17,1)}
      12:{2,4}:{(7,1),(16,1),(17,1)}
      13:{3,5}:{(8,1),(9,1),(18,1)}
      14:{1,4}:{(9,1),(15,1),(18,1)}
      15:{1,3}:{(10,1),(14,1),(19,1)}
      16:{2,3}:{(10,1),(12,1),(19,1)}
      17:{2,5}:{(11,1),(12,1)}
      18:{1,5}:{(13,1),(14,1)}
      19:{1,2}:{(15,1),(16,1)}

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

 37 :  0:{4,5}:{(3,1),(21,1)}
       1:{3,4}:{(3,1),(4,1),(5,1),(14,1),(21,1)}
       2:{1,3}:{(4,1),(6,1),(14,1)}
       3:{3,5}:{(0,1),(1,1),(8,1),(9,1)}
       4:{1,4}:{(1,1),(2,1),(8,1)}
       5:{2,4}:{(1,1),(7,1),(9,1)}
       6:{1,2}:{(2,1),(11,1)}
       7:{2,3}:{(5,1),(12,1),(14,1)}
       8:{1,5}:{(3,1),(4,1)}
       9:{2,5}:{(3,1),(5,1)}
      10:{1,2,4}:{(4,1),(5,1),(6,1),(12,1),(13,1),(14,1),(15,1),(20,1),(21,1)}
      11:{2,3}:{(6,1),(14,1),(15,1)}
      12:{1,2}:{(7,1),(16,1)}
      13:{1,2,5}:{(8,1),(9,1),(10,1),(17,1),(19,1),(23,1)}
      14:{3}:{(10,1)}
      15:{2,4}:{(11,1),(18,1),(19,1)}
      16:{1,3}:{(12,1),(14,1),(20,1)}
      17:{3,5}:{(13,1),(14,1),(21,1)}
      18:{3,4}:{(14,1),(15,1),(20,1),(21,1),(22,1)}
      19:{2,5}:{(15,1),(22,1)}
      20:{1,4}:{(16,1),(18,1),(23,1)}
      21:{4}:{(17,1)}
      22:{3,5}:{(18,1),(19,1),(23,1),(24,1)}
      23:{1,5}:{(20,1),(22,1)}
      24:{4,5}:{(21,1),(22,1)}

 38 :  0:{1,3,5}:{(1,1),(2,1),(7,1),(9,1)}
       1:{1,2,5}:{(0,1),(4,1),(5,1),(11,1),(19,1)}
       2:{1,4}:{(0,1),(6,1)}
       3:{1,4,5}:{(2,1),(7,1)}
       4:{2,3,5}:{(1,1),(8,1),(9,1),(16,1)}
       5:{1,2,4}:{(1,1),(2,1),(8,1),(9,1),(10,1),(17,1),(18,1)}
       6:{3,4}:{(2,1),(7,1),(9,1),(10,1)}
       7:{3,5}:{(3,1),(6,1),(11,1)}
       8:{2,4}:{(4,1),(13,1)}
       9:{3}:{(5,1)}
      10:{2,4}:{(6,1),(11,1),(15,1)}
      11:{2,5}:{(7,1),(10,1)}
      12:{2,4,5}:{(8,1),(16,1)}
      13:{3,4}:{(8,1),(9,1),(16,1),(17,1)}
      14:{1,3}:{(9,1),(17,1),(18,1)}
      15:{2,3}:{(9,1),(10,1),(18,1)}
      16:{3,5}:{(12,1),(13,1),(19,1)}
      17:{1,4}:{(13,1),(14,1),(19,1)}
      18:{1,2}:{(14,1),(15,1)}
      19:{1,5}:{(16,1),(17,1)}

 39 :  0:{4,5}:{(3,1),(21,1)}
       1:{3,4}:{(3,1),(4,1),(5,1),(14,1),(21,1)}
       2:{2,3}:{(5,1),(6,1),(14,1)}
       3:{3,5}:{(0,1),(1,1),(8,1),(9,1)}
       4:{1,4}:{(1,1),(7,1),(8,1)}
       5:{2,4}:{(1,1),(2,1),(9,1)}
       6:{1,2}:{(2,1),(11,1)}
       7:{1,3}:{(4,1),(12,1),(14,1)}
       8:{1,5}:{(3,1),(4,1)}
       9:{2,5}:{(3,1),(5,1)}
      10:{1,2,4}:{(4,1),(5,1),(6,1),(12,1),(13,1),(14,1),(15,1),(20,1),(21,1)}
      11:{1,3}:{(6,1),(14,1),(15,1)}
      12:{1,2}:{(7,1),(16,1)}
      13:{1,2,5}:{(8,1),(9,1),(10,1),(17,1),(19,1),(23,1)}
      14:{3}:{(10,1)}
      15:{1,4}:{(11,1),(18,1),(19,1)}
      16:{2,3}:{(12,1),(14,1),(20,1)}
      17:{3,5}:{(13,1),(14,1),(21,1)}
      18:{3,4}:{(14,1),(15,1),(20,1),(21,1),(22,1)}
      19:{1,5}:{(15,1),(22,1)}
      20:{2,4}:{(16,1),(18,1),(23,1)}
      21:{4}:{(17,1)}
      22:{3,5}:{(18,1),(19,1),(23,1),(24,1)}
      23:{2,5}:{(20,1),(22,1)}
      24:{4,5}:{(21,1),(22,1)}

 40 :  0:{2,3,5}:{(1,1),(2,1),(7,1),(9,1)}
       1:{1,2,5}:{(0,1),(4,1),(5,1),(11,1),(19,1)}
       2:{2,4}:{(0,1),(6,1)}
       3:{2,4,5}:{(2,1),(7,1)}
       4:{1,3,5}:{(1,1),(8,1),(9,1),(16,1)}
       5:{1,2,4}:{(1,1),(2,1),(8,1),(9,1),(10,1),(17,1),(18,1)}
       6:{3,4}:{(2,1),(7,1),(9,1),(10,1)}
       7:{3,5}:{(3,1),(6,1),(11,1)}
       8:{1,4}:{(4,1),(13,1)}
       9:{3}:{(5,1)}
      10:{1,4}:{(6,1),(11,1),(14,1)}
      11:{1,5}:{(7,1),(10,1)}
      12:{1,4,5}:{(8,1),(16,1)}
      13:{3,4}:{(8,1),(9,1),(16,1),(17,1)}
      14:{1,3}:{(9,1),(10,1),(18,1)}
      15:{2,3}:{(9,1),(17,1),(18,1)}
      16:{3,5}:{(12,1),(13,1),(19,1)}
      17:{2,4}:{(13,1),(15,1),(19,1)}
      18:{1,2}:{(14,1),(15,1)}
      19:{2,5}:{(16,1),(17,1)}

 41 :  0:{1,4,5}:{(1,1),(5,1)}
       1:{3,5}:{(0,1),(2,1),(4,1)}
       2:{3,4}:{(1,1),(5,1),(6,1),(12,1)}
       3:{1,3,5}:{(1,1),(5,1),(7,1),(12,1)}
       4:{2,5}:{(1,1),(6,1)}
       5:{1,4}:{(2,1),(3,1)}
       6:{2,4}:{(2,1),(4,1),(8,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1),(10,1),(19,1)}
       8:{2,3}:{(6,1),(11,1),(12,1)}
       9:{1,2,4}:{(5,1),(6,1),(7,1),(11,1),(12,1),(13,1),(17,1)}
      10:{2,3,5}:{(7,1),(12,1),(13,1),(18,1)}
      11:{1,2}:{(8,1),(14,1)}
      12:{3}:{(9,1)}
      13:{2,4}:{(10,1),(15,1)}
      14:{1,3}:{(11,1),(12,1),(17,1)}
      15:{3,4}:{(12,1),(13,1),(17,1),(18,1)}
      16:{2,4,5}:{(13,1),(18,1)}
      17:{1,4}:{(14,1),(15,1),(19,1)}
      18:{3,5}:{(15,1),(16,1),(19,1)}
      19:{1,5}:{(17,1),(18,1)}

 42 :  0:{2,4,5}:{(1,1),(6,1)}
       1:{3,5}:{(0,1),(2,1),(3,1)}
       2:{3,4}:{(1,1),(5,1),(6,1),(12,1)}
       3:{1,5}:{(1,1),(5,1)}
       4:{2,3,5}:{(1,1),(6,1),(7,1),(12,1)}
       5:{1,4}:{(2,1),(3,1),(8,1)}
       6:{2,4}:{(2,1),(4,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1),(10,1),(19,1)}
       8:{1,3}:{(5,1),(11,1),(12,1)}
       9:{1,2,4}:{(5,1),(6,1),(7,1),(11,1),(12,1),(13,1),(17,1)}
      10:{1,3,5}:{(7,1),(12,1),(13,1),(18,1)}
      11:{1,2}:{(8,1),(14,1)}
      12:{3}:{(9,1)}
      13:{1,4}:{(10,1),(15,1)}
      14:{2,3}:{(11,1),(12,1),(17,1)}
      15:{3,4}:{(12,1),(13,1),(17,1),(18,1)}
      16:{1,4,5}:{(13,1),(18,1)}
      17:{2,4}:{(14,1),(15,1),(19,1)}
      18:{3,5}:{(15,1),(16,1),(19,1)}
      19:{2,5}:{(17,1),(18,1)}

 43 :  0:{1,2,5}:{(1,1),(2,1),(13,1),(14,1)}
       1:{3,5}:{(0,1),(3,1),(4,1)}
       2:{1,2,4}:{(0,1),(3,1),(4,1),(10,1),(11,1),(12,1)}
       3:{4}:{(1,1)}
       4:{3}:{(2,1)}
       5:{4,5}:{(3,1),(9,1),(19,1)}
       6:{3,4}:{(3,1),(4,1),(9,1),(10,1),(11,1),(17,1),(19,1)}
       7:{1,3}:{(4,1),(10,1),(12,1),(17,1)}
       8:{2,3}:{(4,1),(11,1),(12,1),(17,1)}
       9:{3,5}:{(5,1),(6,1),(13,1),(14,1)}
      10:{1,4}:{(6,1),(7,1),(13,1)}
      11:{2,4}:{(6,1),(8,1),(14,1)}
      12:{1,2}:{(7,1),(8,1)}
      13:{1,5}:{(9,1),(10,1)}
      14:{2,5}:{(9,1),(11,1)}
      15:{1,2,4}:{(10,1),(11,1),(12,1),(16,1),(17,1),(19,1)}
      16:{1,2,5}:{(13,1),(14,1),(15,1),(18,1)}
      17:{3}:{(15,1)}
      18:{3,5}:{(16,1),(17,1),(19,1)}
      19:{4}:{(18,1)}

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

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

 46 :  0:{1,3,5}:{(2,1),(3,1),(10,1),(12,1)}
       1:{2,3,5}:{(2,1),(4,1),(11,1),(12,1)}
       2:{1,2,5}:{(0,1),(1,1),(7,1),(15,1),(16,1)}
       3:{1,4}:{(0,1),(8,1)}
       4:{2,4}:{(1,1),(9,1)}
       5:{1,4,5}:{(3,1),(10,1)}
       6:{2,4,5}:{(4,1),(11,1)}
       7:{1,2,4}:{(2,1),(3,1),(4,1),(12,1),(13,1),(14,1),(19,1)}
       8:{3,4}:{(3,1),(10,1),(12,1),(13,1)}
       9:{3,4}:{(4,1),(11,1),(12,1),(14,1)}
      10:{3,5}:{(5,1),(8,1),(15,1)}
      11:{3,5}:{(6,1),(9,1),(16,1)}
      12:{3}:{(7,1)}
      13:{2,4}:{(8,1),(15,1),(18,1)}
      14:{1,4}:{(9,1),(16,1),(17,1)}
      15:{2,5}:{(10,1),(13,1)}
      16:{1,5}:{(11,1),(14,1)}
      17:{1,3}:{(12,1),(14,1),(19,1)}
      18:{2,3}:{(12,1),(13,1),(19,1)}
      19:{1,2}:{(17,1),(18,1)}

 47 :  0:{1,3,4}:{(1,1),(2,1),(12,1)}
       1:{1,2,4}:{(0,1),(3,1),(4,1),(9,1)}
       2:{1,3,5}:{(0,1),(4,1),(5,1),(10,1)}
       3:{2,3}:{(1,1)}
       4:{1,2,5}:{(1,1),(2,1),(6,1)}
       5:{1,4,5}:{(2,1),(8,1)}
       6:{2,3,5}:{(3,1),(4,1),(9,1),(10,1)}
       7:{1,2,4,5}:{(4,1),(5,1),(9,1),(10,1),(11,1),(15,1),(17,1)}
       8:{3,4,5}:{(5,1),(10,1),(11,1)}
       9:{2,4}:{(6,1),(12,1)}
      10:{3,5}:{(7,1),(12,1)}
      11:{2,4,5}:{(8,1),(14,1)}
      12:{3,4}:{(9,1),(10,1),(15,1)}
      13:{1,3,5}:{(10,1),(15,1),(17,1),(19,1)}
      14:{2,3,5}:{(10,1),(11,1),(16,1),(17,1)}
      15:{1,4}:{(12,1),(13,1)}
      16:{2,3,4}:{(12,1),(14,1),(18,1)}
      17:{1,2,5}:{(13,1),(14,1),(18,1)}
      18:{1,2,4}:{(15,1),(16,1),(17,1),(19,1)}
      19:{1,3}:{(18,1)}

 48 :  0:{2,4,5}:{(1,1),(6,1)}
       1:{3,5}:{(0,1),(2,1),(3,1)}
       2:{3,4}:{(1,1),(5,1),(6,1),(12,1)}
       3:{1,5}:{(1,1),(5,1)}
       4:{2,3,5}:{(1,1),(6,1),(7,1),(12,1)}
       5:{1,4}:{(2,1),(3,1),(8,1)}
       6:{2,4}:{(2,1),(4,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1),(10,1),(19,1)}
       8:{1,3}:{(5,1),(11,1),(12,1)}
       9:{1,2,4}:{(5,1),(6,1),(7,1),(11,1),(12,1),(13,1),(17,1)}
      10:{1,3,5}:{(7,1),(12,1),(13,1),(18,1)}
      11:{1,2}:{(8,1),(14,1)}
      12:{3}:{(9,1)}
      13:{1,4}:{(10,1),(15,1)}
      14:{2,3}:{(11,1),(12,1),(17,1)}
      15:{3,4}:{(12,1),(13,1),(17,1),(18,1)}
      16:{1,4,5}:{(13,1),(18,1)}
      17:{2,4}:{(14,1),(15,1),(19,1)}
      18:{3,5}:{(15,1),(16,1),(19,1)}
      19:{2,5}:{(17,1),(18,1)}

 49 :  0:{1,4,5}:{(1,1),(5,1)}
       1:{3,5}:{(0,1),(2,1),(4,1)}
       2:{3,4}:{(1,1),(5,1),(6,1),(12,1)}
       3:{1,3,5}:{(1,1),(5,1),(7,1),(12,1)}
       4:{2,5}:{(1,1),(6,1)}
       5:{1,4}:{(2,1),(3,1)}
       6:{2,4}:{(2,1),(4,1),(8,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1),(10,1),(19,1)}
       8:{2,3}:{(6,1),(11,1),(12,1)}
       9:{1,2,4}:{(5,1),(6,1),(7,1),(11,1),(12,1),(13,1),(17,1)}
      10:{2,3,5}:{(7,1),(12,1),(13,1),(18,1)}
      11:{1,2}:{(8,1),(14,1)}
      12:{3}:{(9,1)}
      13:{2,4}:{(10,1),(15,1)}
      14:{1,3}:{(11,1),(12,1),(17,1)}
      15:{3,4}:{(12,1),(13,1),(17,1),(18,1)}
      16:{2,4,5}:{(13,1),(18,1)}
      17:{1,4}:{(14,1),(15,1),(19,1)}
      18:{3,5}:{(15,1),(16,1),(19,1)}
      19:{1,5}:{(17,1),(18,1)}

 50 :  0:{2,3,4}:{(1,1),(2,1),(12,1)}
       1:{1,2,4}:{(0,1),(3,1),(4,1),(9,1)}
       2:{2,3,5}:{(0,1),(4,1),(5,1),(10,1)}
       3:{1,3}:{(1,1)}
       4:{1,2,5}:{(1,1),(2,1),(6,1)}
       5:{2,4,5}:{(2,1),(8,1)}
       6:{1,3,5}:{(3,1),(4,1),(9,1),(10,1)}
       7:{1,2,4,5}:{(4,1),(5,1),(9,1),(10,1),(11,1),(16,1),(17,1)}
       8:{3,4,5}:{(5,1),(10,1),(11,1)}
       9:{1,4}:{(6,1),(12,1)}
      10:{3,5}:{(7,1),(12,1)}
      11:{1,4,5}:{(8,1),(13,1)}
      12:{3,4}:{(9,1),(10,1),(16,1)}
      13:{1,3,5}:{(10,1),(11,1),(15,1),(17,1)}
      14:{2,3,5}:{(10,1),(16,1),(17,1),(19,1)}
      15:{1,3,4}:{(12,1),(13,1),(18,1)}
      16:{2,4}:{(12,1),(14,1)}
      17:{1,2,5}:{(13,1),(14,1),(18,1)}
      18:{1,2,4}:{(15,1),(16,1),(17,1),(19,1)}
      19:{2,3}:{(18,1)}

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

 52 :  0:{1,3,5}:{(2,1),(3,1),(4,1),(10,1)}
       1:{1,4,5}:{(3,1),(4,1)}
       2:{1,2,5}:{(0,1),(5,1),(6,1),(8,1),(19,1)}
       3:{1,4}:{(0,1),(7,1)}
       4:{3,5}:{(1,1),(7,1),(8,1)}
       5:{2,3,5}:{(2,1),(9,1),(10,1),(16,1)}
       6:{1,2,4}:{(2,1),(3,1),(9,1),(10,1),(11,1),(17,1),(18,1)}
       7:{3,4}:{(3,1),(4,1),(10,1),(11,1)}
       8:{2,5}:{(4,1),(11,1)}
       9:{2,4}:{(5,1),(13,1)}
      10:{3}:{(6,1)}
      11:{2,4}:{(7,1),(8,1),(15,1)}
      12:{2,4,5}:{(9,1),(16,1)}
      13:{3,4}:{(9,1),(10,1),(16,1),(17,1)}
      14:{1,3}:{(10,1),(17,1),(18,1)}
      15:{2,3}:{(10,1),(11,1),(18,1)}
      16:{3,5}:{(12,1),(13,1),(19,1)}
      17:{1,4}:{(13,1),(14,1),(19,1)}
      18:{1,2}:{(14,1),(15,1)}
      19:{1,5}:{(16,1),(17,1)}

 53 :  0:{2,3,5}:{(2,1),(3,1),(4,1),(10,1)}
       1:{2,4,5}:{(3,1),(4,1)}
       2:{1,2,5}:{(0,1),(5,1),(6,1),(8,1),(19,1)}
       3:{2,4}:{(0,1),(7,1)}
       4:{3,5}:{(1,1),(7,1),(8,1)}
       5:{1,3,5}:{(2,1),(9,1),(10,1),(16,1)}
       6:{1,2,4}:{(2,1),(3,1),(9,1),(10,1),(11,1),(17,1),(18,1)}
       7:{3,4}:{(3,1),(4,1),(10,1),(11,1)}
       8:{1,5}:{(4,1),(11,1)}
       9:{1,4}:{(5,1),(13,1)}
      10:{3}:{(6,1)}
      11:{1,4}:{(7,1),(8,1),(14,1)}
      12:{1,4,5}:{(9,1),(16,1)}
      13:{3,4}:{(9,1),(10,1),(16,1),(17,1)}
      14:{1,3}:{(10,1),(11,1),(18,1)}
      15:{2,3}:{(10,1),(17,1),(18,1)}
      16:{3,5}:{(12,1),(13,1),(19,1)}
      17:{2,4}:{(13,1),(15,1),(19,1)}
      18:{1,2}:{(14,1),(15,1)}
      19:{2,5}:{(16,1),(17,1)}

 54 :  0:{3,4,5}:{(1,1),(2,1),(10,1)}
       1:{1,4,5}:{(0,1),(3,1)}
       2:{2,4,5}:{(0,1),(4,1)}
       3:{1,3,5}:{(1,1),(6,1),(8,1),(10,1)}
       4:{2,3,5}:{(2,1),(7,1),(9,1),(10,1)}
       5:{1,2,4,5}:{(1,1),(2,1),(8,1),(9,1),(10,1),(18,1),(19,1)}
       6:{1,3,4}:{(3,1),(11,1),(15,1)}
       7:{2,3,4}:{(4,1),(12,1),(15,1)}
       8:{1,2,5}:{(3,1),(11,1),(13,1)}
       9:{1,2,5}:{(4,1),(12,1),(14,1)}
      10:{3,5}:{(5,1),(15,1)}
      11:{1,2,4}:{(6,1),(8,1),(16,1),(18,1)}
      12:{1,2,4}:{(7,1),(9,1),(17,1),(19,1)}
      13:{2,3,5}:{(8,1),(10,1),(16,1),(18,1)}
      14:{1,3,5}:{(9,1),(10,1),(17,1),(19,1)}
      15:{3,4}:{(10,1),(18,1),(19,1)}
      16:{2,3}:{(11,1)}
      17:{1,3}:{(12,1)}
      18:{2,4}:{(13,1),(15,1)}
      19:{1,4}:{(14,1),(15,1)}

 55 :  0:{1,2,3,5}:{(1,1),(4,1),(13,1),(14,1)}
       1:{1,2,4}:{(0,1),(3,1)}
       2:{1,2,4,5}:{(1,1),(4,1),(11,1),(12,1),(13,1)}
       3:{3,4}:{(1,1),(4,1)}
       4:{3,5}:{(2,1),(3,1)}
       5:{1,3,4}:{(3,1),(8,1),(10,1),(19,1)}
       6:{2,3,4}:{(3,1),(9,1),(10,1),(19,1)}
       7:{3,4,5}:{(4,1),(11,1),(12,1),(17,1)}
       8:{1,3,5}:{(4,1),(5,1),(11,1),(13,1),(17,1)}
       9:{2,3,5}:{(4,1),(6,1),(12,1),(13,1),(17,1)}
      10:{1,2,4}:{(5,1),(6,1),(13,1),(14,1)}
      11:{1,4,5}:{(7,1),(8,1)}
      12:{2,4,5}:{(7,1),(9,1)}
      13:{1,2,5}:{(8,1),(9,1),(10,1)}
      14:{1,2,3}:{(10,1)}
      15:{1,2,4,5}:{(11,1),(12,1),(13,1),(17,1),(18,1)}
      16:{1,2,3,5}:{(13,1),(14,1),(17,1),(18,1)}
      17:{3,5}:{(15,1),(19,1)}
      18:{1,2,4}:{(16,1),(19,1)}
      19:{3,4}:{(17,1),(18,1)}

 56 :  0:{1,3,4}:{(1,1),(2,1),(12,1)}
       1:{1,2,4}:{(0,1),(3,1),(4,1),(9,1)}
       2:{1,3,5}:{(0,1),(4,1),(5,1),(10,1)}
       3:{2,3}:{(1,1)}
       4:{1,2,5}:{(1,1),(2,1),(6,1)}
       5:{1,4,5}:{(2,1),(8,1)}
       6:{2,3,5}:{(3,1),(4,1),(9,1),(10,1)}
       7:{1,2,4,5}:{(4,1),(5,1),(9,1),(10,1),(11,1),(15,1),(17,1)}
       8:{3,4,5}:{(5,1),(10,1),(11,1)}
       9:{2,4}:{(6,1),(12,1)}
      10:{3,5}:{(7,1),(12,1)}
      11:{2,4,5}:{(8,1),(14,1)}
      12:{3,4}:{(9,1),(10,1),(15,1)}
      13:{1,3,5}:{(10,1),(15,1),(17,1),(19,1)}
      14:{2,3,5}:{(10,1),(11,1),(16,1),(17,1)}
      15:{1,4}:{(12,1),(13,1)}
      16:{2,3,4}:{(12,1),(14,1),(18,1)}
      17:{1,2,5}:{(13,1),(14,1),(18,1)}
      18:{1,2,4}:{(15,1),(16,1),(17,1),(19,1)}
      19:{1,3}:{(18,1)}

 57 :  0:{2,3,4}:{(1,1),(2,1),(12,1)}
       1:{1,2,4}:{(0,1),(3,1),(4,1),(9,1)}
       2:{2,3,5}:{(0,1),(4,1),(5,1),(10,1)}
       3:{1,3}:{(1,1)}
       4:{1,2,5}:{(1,1),(2,1),(6,1)}
       5:{2,4,5}:{(2,1),(8,1)}
       6:{1,3,5}:{(3,1),(4,1),(9,1),(10,1)}
       7:{1,2,4,5}:{(4,1),(5,1),(9,1),(10,1),(11,1),(16,1),(17,1)}
       8:{3,4,5}:{(5,1),(10,1),(11,1)}
       9:{1,4}:{(6,1),(12,1)}
      10:{3,5}:{(7,1),(12,1)}
      11:{1,4,5}:{(8,1),(13,1)}
      12:{3,4}:{(9,1),(10,1),(16,1)}
      13:{1,3,5}:{(10,1),(11,1),(15,1),(17,1)}
      14:{2,3,5}:{(10,1),(16,1),(17,1),(19,1)}
      15:{1,3,4}:{(12,1),(13,1),(18,1)}
      16:{2,4}:{(12,1),(14,1)}
      17:{1,2,5}:{(13,1),(14,1),(18,1)}
      18:{1,2,4}:{(15,1),(16,1),(17,1),(19,1)}
      19:{2,3}:{(18,1)}

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

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

 60 :  0:{1,3,4}:{(2,1),(3,1),(17,1)}
       1:{3,4,5}:{(4,1),(5,1),(13,1)}
       2:{1,3,5}:{(0,1),(4,1),(6,1),(13,1)}
       3:{1,2,4}:{(0,1),(6,1),(7,1),(14,1)}
       4:{1,4,5}:{(1,1),(2,1)}
       5:{2,4,5}:{(1,1),(8,1)}
       6:{1,2,5}:{(2,1),(3,1),(10,1)}
       7:{2,3}:{(3,1)}
       8:{2,3,5}:{(5,1),(11,1),(12,1),(13,1)}
       9:{1,2,4,5}:{(4,1),(5,1),(6,1),(12,1),(13,1),(14,1),(19,1)}
      10:{2,3,5}:{(6,1),(7,1),(13,1),(14,1)}
      11:{2,3,4}:{(8,1),(15,1),(17,1)}
      12:{1,2,5}:{(8,1),(15,1),(16,1)}
      13:{3,5}:{(9,1),(17,1)}
      14:{2,4}:{(10,1),(17,1)}
      15:{1,2,4}:{(11,1),(12,1),(18,1),(19,1)}
      16:{1,3,5}:{(12,1),(13,1),(18,1),(19,1)}
      17:{3,4}:{(13,1),(14,1),(19,1)}
      18:{1,3}:{(15,1)}
      19:{1,4}:{(16,1),(17,1)}

 61 :  0:{2,3,5}:{(2,1),(3,1),(4,1),(10,1)}
       1:{2,4,5}:{(3,1),(4,1)}
       2:{1,2,5}:{(0,1),(5,1),(6,1),(8,1),(19,1)}
       3:{2,4}:{(0,1),(7,1)}
       4:{3,5}:{(1,1),(7,1),(8,1)}
       5:{1,3,5}:{(2,1),(9,1),(10,1),(16,1)}
       6:{1,2,4}:{(2,1),(3,1),(9,1),(10,1),(11,1),(17,1),(18,1)}
       7:{3,4}:{(3,1),(4,1),(10,1),(11,1)}
       8:{1,5}:{(4,1),(11,1)}
       9:{1,4}:{(5,1),(13,1)}
      10:{3}:{(6,1)}
      11:{1,4}:{(7,1),(8,1),(14,1)}
      12:{1,4,5}:{(9,1),(16,1)}
      13:{3,4}:{(9,1),(10,1),(16,1),(17,1)}
      14:{1,3}:{(10,1),(11,1),(18,1)}
      15:{2,3}:{(10,1),(17,1),(18,1)}
      16:{3,5}:{(12,1),(13,1),(19,1)}
      17:{2,4}:{(13,1),(15,1),(19,1)}
      18:{1,2}:{(14,1),(15,1)}
      19:{2,5}:{(16,1),(17,1)}

 62 :  0:{3,4,5}:{(1,1),(2,1),(11,1)}
       1:{1,4,5}:{(0,1),(4,1)}
       2:{2,4,5}:{(0,1),(5,1)}
       3:{1,3,4}:{(4,1),(7,1),(16,1)}
       4:{1,3,5}:{(1,1),(3,1),(9,1),(11,1)}
       5:{2,3,5}:{(2,1),(8,1),(10,1),(11,1)}
       6:{1,2,4,5}:{(1,1),(2,1),(9,1),(10,1),(11,1),(18,1),(19,1)}
       7:{1,2,4}:{(3,1),(9,1),(12,1),(18,1)}
       8:{2,3,4}:{(5,1),(13,1),(16,1)}
       9:{1,2,5}:{(4,1),(7,1),(14,1)}
      10:{1,2,5}:{(5,1),(13,1),(15,1)}
      11:{3,5}:{(6,1),(16,1)}
      12:{2,3}:{(7,1)}
      13:{1,2,4}:{(8,1),(10,1),(17,1),(19,1)}
      14:{2,3,5}:{(9,1),(11,1),(12,1),(18,1)}
      15:{1,3,5}:{(10,1),(11,1),(17,1),(19,1)}
      16:{3,4}:{(11,1),(18,1),(19,1)}
      17:{1,3}:{(13,1)}
      18:{2,4}:{(14,1),(16,1)}
      19:{1,4}:{(15,1),(16,1)}

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

 64 :  0:{1,3,5}:{(2,1),(3,1),(4,1),(10,1)}
       1:{1,4,5}:{(3,1),(4,1)}
       2:{1,2,5}:{(0,1),(5,1),(6,1),(8,1),(19,1)}
       3:{1,4}:{(0,1),(7,1)}
       4:{3,5}:{(1,1),(7,1),(8,1)}
       5:{2,3,5}:{(2,1),(9,1),(10,1),(16,1)}
       6:{1,2,4}:{(2,1),(3,1),(9,1),(10,1),(11,1),(17,1),(18,1)}
       7:{3,4}:{(3,1),(4,1),(10,1),(11,1)}
       8:{2,5}:{(4,1),(11,1)}
       9:{2,4}:{(5,1),(13,1)}
      10:{3}:{(6,1)}
      11:{2,4}:{(7,1),(8,1),(15,1)}
      12:{2,4,5}:{(9,1),(16,1)}
      13:{3,4}:{(9,1),(10,1),(16,1),(17,1)}
      14:{1,3}:{(10,1),(17,1),(18,1)}
      15:{2,3}:{(10,1),(11,1),(18,1)}
      16:{3,5}:{(12,1),(13,1),(19,1)}
      17:{1,4}:{(13,1),(14,1),(19,1)}
      18:{1,2}:{(14,1),(15,1)}
      19:{1,5}:{(16,1),(17,1)}

 65 :  0:{2,3,4}:{(2,1),(3,1),(17,1)}
       1:{3,4,5}:{(4,1),(5,1),(13,1)}
       2:{2,3,5}:{(0,1),(5,1),(6,1),(13,1)}
       3:{1,2,4}:{(0,1),(6,1),(7,1),(14,1)}
       4:{1,4,5}:{(1,1),(8,1)}
       5:{2,4,5}:{(1,1),(2,1)}
       6:{1,2,5}:{(2,1),(3,1),(10,1)}
       7:{1,3}:{(3,1)}
       8:{1,3,5}:{(4,1),(11,1),(12,1),(13,1)}
       9:{1,2,4,5}:{(4,1),(5,1),(6,1),(12,1),(13,1),(14,1),(19,1)}
      10:{1,3,5}:{(6,1),(7,1),(13,1),(14,1)}
      11:{1,3,4}:{(8,1),(15,1),(17,1)}
      12:{1,2,5}:{(8,1),(15,1),(16,1)}
      13:{3,5}:{(9,1),(17,1)}
      14:{1,4}:{(10,1),(17,1)}
      15:{1,2,4}:{(11,1),(12,1),(18,1),(19,1)}
      16:{2,3,5}:{(12,1),(13,1),(18,1),(19,1)}
      17:{3,4}:{(13,1),(14,1),(19,1)}
      18:{2,3}:{(15,1)}
      19:{2,4}:{(16,1),(17,1)}

 66 :  0:{3,4,5}:{(1,1),(2,1),(11,1)}
       1:{1,4,5}:{(0,1),(4,1)}
       2:{2,4,5}:{(0,1),(5,1)}
       3:{2,3,4}:{(5,1),(7,1),(16,1)}
       4:{1,3,5}:{(1,1),(8,1),(9,1),(11,1)}
       5:{2,3,5}:{(2,1),(3,1),(10,1),(11,1)}
       6:{1,2,4,5}:{(1,1),(2,1),(9,1),(10,1),(11,1),(18,1),(19,1)}
       7:{1,2,4}:{(3,1),(10,1),(12,1),(19,1)}
       8:{1,3,4}:{(4,1),(13,1),(16,1)}
       9:{1,2,5}:{(4,1),(13,1),(14,1)}
      10:{1,2,5}:{(5,1),(7,1),(15,1)}
      11:{3,5}:{(6,1),(16,1)}
      12:{1,3}:{(7,1)}
      13:{1,2,4}:{(8,1),(9,1),(17,1),(18,1)}
      14:{2,3,5}:{(9,1),(11,1),(17,1),(18,1)}
      15:{1,3,5}:{(10,1),(11,1),(12,1),(19,1)}
      16:{3,4}:{(11,1),(18,1),(19,1)}
      17:{2,3}:{(13,1)}
      18:{2,4}:{(14,1),(16,1)}
      19:{1,4}:{(15,1),(16,1)}

 67 :  0:{1,3,5}:{(2,1),(3,1),(10,1),(12,1)}
       1:{2,3,5}:{(2,1),(4,1),(11,1),(12,1)}
       2:{1,2,5}:{(0,1),(1,1),(7,1),(15,1),(16,1)}
       3:{1,4}:{(0,1),(8,1)}
       4:{2,4}:{(1,1),(9,1)}
       5:{1,4,5}:{(3,1),(10,1)}
       6:{2,4,5}:{(4,1),(11,1)}
       7:{1,2,4}:{(2,1),(3,1),(4,1),(12,1),(13,1),(14,1),(19,1)}
       8:{3,4}:{(3,1),(10,1),(12,1),(13,1)}
       9:{3,4}:{(4,1),(11,1),(12,1),(14,1)}
      10:{3,5}:{(5,1),(8,1),(15,1)}
      11:{3,5}:{(6,1),(9,1),(16,1)}
      12:{3}:{(7,1)}
      13:{2,4}:{(8,1),(15,1),(18,1)}
      14:{1,4}:{(9,1),(16,1),(17,1)}
      15:{2,5}:{(10,1),(13,1)}
      16:{1,5}:{(11,1),(14,1)}
      17:{1,3}:{(12,1),(14,1),(19,1)}
      18:{2,3}:{(12,1),(13,1),(19,1)}
      19:{1,2}:{(17,1),(18,1)}

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

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

 70 :  0:{1,3,4}:{(2,1),(3,1),(17,1)}
       1:{3,4,5}:{(4,1),(5,1),(13,1)}
       2:{1,3,5}:{(0,1),(4,1),(6,1),(13,1)}
       3:{1,2,4}:{(0,1),(6,1),(7,1),(14,1)}
       4:{1,4,5}:{(1,1),(2,1)}
       5:{2,4,5}:{(1,1),(8,1)}
       6:{1,2,5}:{(2,1),(3,1),(10,1)}
       7:{2,3}:{(3,1)}
       8:{2,3,5}:{(5,1),(11,1),(12,1),(13,1)}
       9:{1,2,4,5}:{(4,1),(5,1),(6,1),(12,1),(13,1),(14,1),(19,1)}
      10:{2,3,5}:{(6,1),(7,1),(13,1),(14,1)}
      11:{2,3,4}:{(8,1),(15,1),(17,1)}
      12:{1,2,5}:{(8,1),(15,1),(16,1)}
      13:{3,5}:{(9,1),(17,1)}
      14:{2,4}:{(10,1),(17,1)}
      15:{1,2,4}:{(11,1),(12,1),(18,1),(19,1)}
      16:{1,3,5}:{(12,1),(13,1),(18,1),(19,1)}
      17:{3,4}:{(13,1),(14,1),(19,1)}
      18:{1,3}:{(15,1)}
      19:{1,4}:{(16,1),(17,1)}

 71 :  0:{2,3,4}:{(2,1),(3,1),(17,1)}
       1:{3,4,5}:{(4,1),(5,1),(13,1)}
       2:{2,3,5}:{(0,1),(5,1),(6,1),(13,1)}
       3:{1,2,4}:{(0,1),(6,1),(7,1),(14,1)}
       4:{1,4,5}:{(1,1),(8,1)}
       5:{2,4,5}:{(1,1),(2,1)}
       6:{1,2,5}:{(2,1),(3,1),(10,1)}
       7:{1,3}:{(3,1)}
       8:{1,3,5}:{(4,1),(11,1),(12,1),(13,1)}
       9:{1,2,4,5}:{(4,1),(5,1),(6,1),(12,1),(13,1),(14,1),(19,1)}
      10:{1,3,5}:{(6,1),(7,1),(13,1),(14,1)}
      11:{1,3,4}:{(8,1),(15,1),(17,1)}
      12:{1,2,5}:{(8,1),(15,1),(16,1)}
      13:{3,5}:{(9,1),(17,1)}
      14:{1,4}:{(10,1),(17,1)}
      15:{1,2,4}:{(11,1),(12,1),(18,1),(19,1)}
      16:{2,3,5}:{(12,1),(13,1),(18,1),(19,1)}
      17:{3,4}:{(13,1),(14,1),(19,1)}
      18:{2,3}:{(15,1)}
      19:{2,4}:{(16,1),(17,1)}

 72 :  0:{3,4,5}:{(1,1),(2,1),(12,1)}
       1:{1,4,5}:{(0,1),(5,1)}
       2:{2,4,5}:{(0,1),(6,1)}
       3:{1,3,4}:{(5,1),(8,1),(17,1)}
       4:{2,3,4}:{(6,1),(9,1),(17,1)}
       5:{1,3,5}:{(1,1),(3,1),(10,1),(12,1)}
       6:{2,3,5}:{(2,1),(4,1),(11,1),(12,1)}
       7:{1,2,4,5}:{(1,1),(2,1),(10,1),(11,1),(12,1),(18,1),(19,1)}
       8:{1,2,4}:{(3,1),(10,1),(13,1),(18,1)}
       9:{1,2,4}:{(4,1),(11,1),(14,1),(19,1)}
      10:{1,2,5}:{(5,1),(8,1),(15,1)}
      11:{1,2,5}:{(6,1),(9,1),(16,1)}
      12:{3,5}:{(7,1),(17,1)}
      13:{2,3}:{(8,1)}
      14:{1,3}:{(9,1)}
      15:{2,3,5}:{(10,1),(12,1),(13,1),(18,1)}
      16:{1,3,5}:{(11,1),(12,1),(14,1),(19,1)}
      17:{3,4}:{(12,1),(18,1),(19,1)}
      18:{2,4}:{(15,1),(17,1)}
      19:{1,4}:{(16,1),(17,1)}

 73 :  0:{1,2,3,5}:{(1,1),(4,1),(13,1),(14,1)}
       1:{1,2,4}:{(0,1),(3,1)}
       2:{1,2,4,5}:{(1,1),(4,1),(11,1),(12,1),(13,1)}
       3:{3,4}:{(1,1),(4,1)}
       4:{3,5}:{(2,1),(3,1)}
       5:{1,3,4}:{(3,1),(8,1),(10,1),(19,1)}
       6:{2,3,4}:{(3,1),(9,1),(10,1),(19,1)}
       7:{3,4,5}:{(4,1),(11,1),(12,1),(17,1)}
       8:{1,3,5}:{(4,1),(5,1),(11,1),(13,1),(17,1)}
       9:{2,3,5}:{(4,1),(6,1),(12,1),(13,1),(17,1)}
      10:{1,2,4}:{(5,1),(6,1),(13,1),(14,1)}
      11:{1,4,5}:{(7,1),(8,1)}
      12:{2,4,5}:{(7,1),(9,1)}
      13:{1,2,5}:{(8,1),(9,1),(10,1)}
      14:{1,2,3}:{(10,1)}
      15:{1,2,4,5}:{(11,1),(12,1),(13,1),(17,1),(18,1)}
      16:{1,2,3,5}:{(13,1),(14,1),(17,1),(18,1)}
      17:{3,5}:{(15,1),(19,1)}
      18:{1,2,4}:{(16,1),(19,1)}
      19:{3,4}:{(17,1),(18,1)}

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

 75 :  0:{2,3,4}:{(1,1),(2,1),(12,1)}
       1:{1,2,4}:{(0,1),(3,1),(4,1),(9,1)}
       2:{2,3,5}:{(0,1),(4,1),(5,1),(10,1)}
       3:{1,3}:{(1,1)}
       4:{1,2,5}:{(1,1),(2,1),(6,1)}
       5:{2,4,5}:{(2,1),(8,1)}
       6:{1,3,5}:{(3,1),(4,1),(9,1),(10,1)}
       7:{1,2,4,5}:{(4,1),(5,1),(9,1),(10,1),(11,1),(16,1),(17,1)}
       8:{3,4,5}:{(5,1),(10,1),(11,1)}
       9:{1,4}:{(6,1),(12,1)}
      10:{3,5}:{(7,1),(12,1)}
      11:{1,4,5}:{(8,1),(13,1)}
      12:{3,4}:{(9,1),(10,1),(16,1)}
      13:{1,3,5}:{(10,1),(11,1),(15,1),(17,1)}
      14:{2,3,5}:{(10,1),(16,1),(17,1),(19,1)}
      15:{1,3,4}:{(12,1),(13,1),(18,1)}
      16:{2,4}:{(12,1),(14,1)}
      17:{1,2,5}:{(13,1),(14,1),(18,1)}
      18:{1,2,4}:{(15,1),(16,1),(17,1),(19,1)}
      19:{2,3}:{(18,1)}

 76 :  0:{1,3,5}:{(3,1),(4,1),(12,1),(13,1)}
       1:{2,3,5}:{(3,1),(5,1),(6,1),(13,1)}
       2:{2,4,5}:{(5,1),(6,1)}
       3:{1,2,5}:{(0,1),(1,1),(8,1),(11,1),(16,1)}
       4:{1,4}:{(0,1),(9,1)}
       5:{2,4}:{(1,1),(10,1)}
       6:{3,5}:{(2,1),(10,1),(11,1)}
       7:{1,4,5}:{(4,1),(12,1)}
       8:{1,2,4}:{(3,1),(4,1),(5,1),(13,1),(14,1),(15,1),(19,1)}
       9:{3,4}:{(4,1),(12,1),(13,1),(14,1)}
      10:{3,4}:{(5,1),(6,1),(13,1),(15,1)}
      11:{1,5}:{(6,1),(15,1)}
      12:{3,5}:{(7,1),(9,1),(16,1)}
      13:{3}:{(8,1)}
      14:{2,4}:{(9,1),(16,1),(18,1)}
      15:{1,4}:{(10,1),(11,1),(17,1)}
      16:{2,5}:{(12,1),(14,1)}
      17:{1,3}:{(13,1),(15,1),(19,1)}
      18:{2,3}:{(13,1),(14,1),(19,1)}
      19:{1,2}:{(17,1),(18,1)}

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

 78 :  0:{1,3,4}:{(1,1),(2,1),(12,1)}
       1:{1,2,4}:{(0,1),(3,1),(4,1),(9,1)}
       2:{1,3,5}:{(0,1),(4,1),(5,1),(10,1)}
       3:{2,3}:{(1,1)}
       4:{1,2,5}:{(1,1),(2,1),(6,1)}
       5:{1,4,5}:{(2,1),(8,1)}
       6:{2,3,5}:{(3,1),(4,1),(9,1),(10,1)}
       7:{1,2,4,5}:{(4,1),(5,1),(9,1),(10,1),(11,1),(15,1),(17,1)}
       8:{3,4,5}:{(5,1),(10,1),(11,1)}
       9:{2,4}:{(6,1),(12,1)}
      10:{3,5}:{(7,1),(12,1)}
      11:{2,4,5}:{(8,1),(14,1)}
      12:{3,4}:{(9,1),(10,1),(15,1)}
      13:{1,3,5}:{(10,1),(15,1),(17,1),(19,1)}
      14:{2,3,5}:{(10,1),(11,1),(16,1),(17,1)}
      15:{1,4}:{(12,1),(13,1)}
      16:{2,3,4}:{(12,1),(14,1),(18,1)}
      17:{1,2,5}:{(13,1),(14,1),(18,1)}
      18:{1,2,4}:{(15,1),(16,1),(17,1),(19,1)}
      19:{1,3}:{(18,1)}

 79 :  0:{1,3,5}:{(3,1),(4,1),(6,1),(13,1)}
       1:{2,3,5}:{(3,1),(5,1),(12,1),(13,1)}
       2:{1,4,5}:{(4,1),(6,1)}
       3:{1,2,5}:{(0,1),(1,1),(8,1),(11,1),(16,1)}
       4:{1,4}:{(0,1),(9,1)}
       5:{2,4}:{(1,1),(10,1)}
       6:{3,5}:{(2,1),(9,1),(11,1)}
       7:{2,4,5}:{(5,1),(12,1)}
       8:{1,2,4}:{(3,1),(4,1),(5,1),(13,1),(14,1),(15,1),(19,1)}
       9:{3,4}:{(4,1),(6,1),(13,1),(14,1)}
      10:{3,4}:{(5,1),(12,1),(13,1),(15,1)}
      11:{2,5}:{(6,1),(14,1)}
      12:{3,5}:{(7,1),(10,1),(16,1)}
      13:{3}:{(8,1)}
      14:{2,4}:{(9,1),(11,1),(18,1)}
      15:{1,4}:{(10,1),(16,1),(17,1)}
      16:{1,5}:{(12,1),(15,1)}
      17:{1,3}:{(13,1),(15,1),(19,1)}
      18:{2,3}:{(13,1),(14,1),(19,1)}
      19:{1,2}:{(17,1),(18,1)}

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

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

 82 :  0:{1,3,4}:{(2,1),(3,1),(17,1)}
       1:{2,3,4}:{(2,1),(4,1),(17,1)}
       2:{1,2,4}:{(0,1),(1,1),(5,1),(6,1)}
       3:{1,3,5}:{(0,1),(6,1),(7,1),(14,1)}
       4:{2,3,5}:{(1,1),(6,1),(8,1),(14,1)}
       5:{1,2,3}:{(2,1)}
       6:{1,2,5}:{(2,1),(3,1),(4,1)}
       7:{1,4,5}:{(3,1),(11,1)}
       8:{2,4,5}:{(4,1),(12,1)}
       9:{1,2,3,5}:{(5,1),(6,1),(13,1),(14,1),(22,1),(24,1)}
      10:{1,2,4,5}:{(6,1),(7,1),(8,1),(13,1),(14,1),(15,1),(16,1),(22,1)}
      11:{3,4,5}:{(7,1),(14,1),(15,1)}
      12:{3,4,5}:{(8,1),(14,1),(16,1)}
      13:{1,2,4}:{(9,1),(17,1)}
      14:{3,5}:{(10,1),(17,1)}
      15:{2,4,5}:{(11,1),(19,1)}
      16:{1,4,5}:{(12,1),(18,1)}
      17:{3,4}:{(13,1),(14,1)}
      18:{1,3,5}:{(14,1),(16,1),(20,1),(22,1)}
      19:{2,3,5}:{(14,1),(15,1),(21,1),(22,1)}
      20:{1,3,4}:{(17,1),(18,1),(23,1)}
      21:{2,3,4}:{(17,1),(19,1),(23,1)}
      22:{1,2,5}:{(18,1),(19,1),(23,1)}
      23:{1,2,4}:{(20,1),(21,1),(22,1),(24,1)}
      24:{1,2,3}:{(23,1)}

 83 :  0:{1,3,5}:{(4,1),(5,1),(8,1),(14,1)}
       1:{2,3,5}:{(4,1),(6,1),(7,1),(14,1)}
       2:{2,4,5}:{(6,1),(7,1)}
       3:{1,4,5}:{(5,1),(8,1)}
       4:{1,2,5}:{(0,1),(1,1),(9,1),(12,1),(13,1)}
       5:{1,4}:{(0,1),(10,1)}
       6:{2,4}:{(1,1),(11,1)}
       7:{3,5}:{(2,1),(11,1),(12,1)}
       8:{3,5}:{(3,1),(10,1),(13,1)}
       9:{1,2,4}:{(4,1),(5,1),(6,1),(14,1),(15,1),(16,1),(19,1)}
      10:{3,4}:{(5,1),(8,1),(14,1),(15,1)}
      11:{3,4}:{(6,1),(7,1),(14,1),(16,1)}
      12:{1,5}:{(7,1),(16,1)}
      13:{2,5}:{(8,1),(15,1)}
      14:{3}:{(9,1)}
      15:{2,4}:{(10,1),(13,1),(18,1)}
      16:{1,4}:{(11,1),(12,1),(17,1)}
      17:{1,3}:{(14,1),(16,1),(19,1)}
      18:{2,3}:{(14,1),(15,1),(19,1)}
      19:{1,2}:{(17,1),(18,1)}

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

 85 :  0:{1,2,3,5}:{(1,1),(4,1),(7,1),(16,1)}
       1:{1,2,4}:{(0,1),(2,1)}
       2:{3,4}:{(1,1),(7,1)}
       3:{1,2,4,5}:{(1,1),(7,1),(14,1),(15,1),(16,1)}
       4:{1,2,3}:{(10,1)}
       5:{2,3,4}:{(2,1),(10,1),(11,1),(17,1)}
       6:{1,3,4}:{(2,1),(10,1),(12,1),(17,1)}
       7:{3,5}:{(2,1),(3,1)}
       8:{1,2,3,5}:{(4,1),(13,1),(16,1),(19,1)}
       9:{3,4,5}:{(7,1),(14,1),(15,1),(19,1)}
      10:{1,2,4}:{(4,1),(5,1),(6,1),(16,1)}
      11:{2,3,5}:{(5,1),(7,1),(14,1),(16,1),(19,1)}
      12:{1,3,5}:{(6,1),(7,1),(15,1),(16,1),(19,1)}
      13:{1,2,4}:{(8,1),(17,1)}
      14:{2,4,5}:{(9,1),(11,1)}
      15:{1,4,5}:{(9,1),(12,1)}
      16:{1,2,5}:{(10,1),(11,1),(12,1)}
      17:{3,4}:{(13,1),(19,1)}
      18:{1,2,4,5}:{(13,1),(14,1),(15,1),(16,1),(19,1)}
      19:{3,5}:{(17,1),(18,1)}

 86 :  0:{2,3,4}:{(2,1),(3,1),(18,1)}
       1:{3,4,5}:{(4,1),(5,1),(14,1)}
       2:{2,3,5}:{(0,1),(5,1),(6,1),(14,1)}
       3:{1,2,4}:{(0,1),(6,1),(7,1),(15,1)}
       4:{1,4,5}:{(1,1),(9,1)}
       5:{2,4,5}:{(1,1),(2,1)}
       6:{1,2,5}:{(2,1),(3,1),(11,1)}
       7:{1,3}:{(3,1)}
       8:{1,3,4}:{(9,1),(12,1),(18,1)}
       9:{1,3,5}:{(4,1),(8,1),(13,1),(14,1)}
      10:{1,2,4,5}:{(4,1),(5,1),(6,1),(13,1),(14,1),(15,1),(19,1)}
      11:{1,3,5}:{(6,1),(7,1),(14,1),(15,1)}
      12:{1,2,4}:{(8,1),(13,1),(16,1),(19,1)}
      13:{1,2,5}:{(9,1),(12,1),(17,1)}
      14:{3,5}:{(10,1),(18,1)}
      15:{1,4}:{(11,1),(18,1)}
      16:{2,3}:{(12,1)}
      17:{2,3,5}:{(13,1),(14,1),(16,1),(19,1)}
      18:{3,4}:{(14,1),(15,1),(19,1)}
      19:{2,4}:{(17,1),(18,1)}

 87 :  0:{1,2,3}:{(2,1)}
       1:{2,3,4}:{(2,1),(4,1),(11,1)}
       2:{1,2,4}:{(0,1),(1,1),(5,1),(6,1)}
       3:{1,2,3,5}:{(0,1),(6,1),(7,1),(14,1),(23,1),(24,1)}
       4:{2,3,5}:{(1,1),(6,1),(8,1),(14,1)}
       5:{1,3,4}:{(2,1),(9,1),(11,1)}
       6:{1,2,5}:{(2,1),(4,1),(9,1)}
       7:{1,2,4}:{(3,1),(11,1)}
       8:{2,4,5}:{(4,1),(12,1)}
       9:{1,3,5}:{(5,1),(6,1),(13,1),(14,1)}
      10:{1,2,4,5}:{(6,1),(7,1),(8,1),(13,1),(14,1),(17,1),(22,1),(23,1)}
      11:{3,4}:{(7,1),(14,1)}
      12:{3,4,5}:{(8,1),(14,1),(17,1)}
      13:{1,4,5}:{(9,1),(18,1)}
      14:{3,5}:{(10,1),(11,1)}
      15:{1,3,4}:{(11,1),(19,1),(21,1)}
      16:{2,3,4}:{(11,1),(20,1),(21,1)}
      17:{1,4,5}:{(12,1),(19,1)}
      18:{3,4,5}:{(13,1),(14,1),(22,1)}
      19:{1,3,5}:{(14,1),(15,1),(17,1),(23,1)}
      20:{2,3,5}:{(14,1),(16,1),(22,1),(23,1)}
      21:{1,2,4}:{(15,1),(16,1),(23,1),(24,1)}
      22:{2,4,5}:{(18,1),(20,1)}
      23:{1,2,5}:{(19,1),(20,1),(21,1)}
      24:{1,2,3}:{(21,1)}

 88 :  0:{1,3,4}:{(2,1),(3,1),(18,1)}
       1:{3,4,5}:{(4,1),(5,1),(14,1)}
       2:{1,3,5}:{(0,1),(4,1),(6,1),(14,1)}
       3:{1,2,4}:{(0,1),(6,1),(7,1),(15,1)}
       4:{1,4,5}:{(1,1),(2,1)}
       5:{2,4,5}:{(1,1),(9,1)}
       6:{1,2,5}:{(2,1),(3,1),(11,1)}
       7:{2,3}:{(3,1)}
       8:{2,3,4}:{(9,1),(12,1),(18,1)}
       9:{2,3,5}:{(5,1),(8,1),(13,1),(14,1)}
      10:{1,2,4,5}:{(4,1),(5,1),(6,1),(13,1),(14,1),(15,1),(19,1)}
      11:{2,3,5}:{(6,1),(7,1),(14,1),(15,1)}
      12:{1,2,4}:{(8,1),(13,1),(16,1),(19,1)}
      13:{1,2,5}:{(9,1),(12,1),(17,1)}
      14:{3,5}:{(10,1),(18,1)}
      15:{2,4}:{(11,1),(18,1)}
      16:{1,3}:{(12,1)}
      17:{1,3,5}:{(13,1),(14,1),(16,1),(19,1)}
      18:{3,4}:{(14,1),(15,1),(19,1)}
      19:{1,4}:{(17,1),(18,1)}

 89 :  0:{1,2,3}:{(2,1)}
       1:{1,3,4}:{(2,1),(4,1),(11,1)}
       2:{1,2,4}:{(0,1),(1,1),(5,1),(6,1)}
       3:{1,2,3,5}:{(0,1),(6,1),(7,1),(14,1),(23,1),(24,1)}
       4:{1,3,5}:{(1,1),(6,1),(8,1),(14,1)}
       5:{2,3,4}:{(2,1),(9,1),(11,1)}
       6:{1,2,5}:{(2,1),(4,1),(9,1)}
       7:{1,2,4}:{(3,1),(11,1)}
       8:{1,4,5}:{(4,1),(12,1)}
       9:{2,3,5}:{(5,1),(6,1),(13,1),(14,1)}
      10:{1,2,4,5}:{(6,1),(7,1),(8,1),(13,1),(14,1),(17,1),(22,1),(23,1)}
      11:{3,4}:{(7,1),(14,1)}
      12:{3,4,5}:{(8,1),(14,1),(17,1)}
      13:{2,4,5}:{(9,1),(18,1)}
      14:{3,5}:{(10,1),(11,1)}
      15:{1,3,4}:{(11,1),(19,1),(21,1)}
      16:{2,3,4}:{(11,1),(20,1),(21,1)}
      17:{2,4,5}:{(12,1),(20,1)}
      18:{3,4,5}:{(13,1),(14,1),(22,1)}
      19:{1,3,5}:{(14,1),(15,1),(22,1),(23,1)}
      20:{2,3,5}:{(14,1),(16,1),(17,1),(23,1)}
      21:{1,2,4}:{(15,1),(16,1),(23,1),(24,1)}
      22:{1,4,5}:{(18,1),(19,1)}
      23:{1,2,5}:{(19,1),(20,1),(21,1)}
      24:{1,2,3}:{(21,1)}

 90 :  0:{3,4,5}:{(1,1),(2,1),(12,1)}
       1:{1,4,5}:{(0,1),(5,1)}
       2:{2,4,5}:{(0,1),(6,1)}
       3:{1,3,4}:{(5,1),(8,1),(17,1)}
       4:{2,3,4}:{(6,1),(9,1),(17,1)}
       5:{1,3,5}:{(1,1),(3,1),(10,1),(12,1)}
       6:{2,3,5}:{(2,1),(4,1),(11,1),(12,1)}
       7:{1,2,4,5}:{(1,1),(2,1),(10,1),(11,1),(12,1),(18,1),(19,1)}
       8:{1,2,4}:{(3,1),(10,1),(13,1),(18,1)}
       9:{1,2,4}:{(4,1),(11,1),(14,1),(19,1)}
      10:{1,2,5}:{(5,1),(8,1),(15,1)}
      11:{1,2,5}:{(6,1),(9,1),(16,1)}
      12:{3,5}:{(7,1),(17,1)}
      13:{2,3}:{(8,1)}
      14:{1,3}:{(9,1)}
      15:{2,3,5}:{(10,1),(12,1),(13,1),(18,1)}
      16:{1,3,5}:{(11,1),(12,1),(14,1),(19,1)}
      17:{3,4}:{(12,1),(18,1),(19,1)}
      18:{2,4}:{(15,1),(17,1)}
      19:{1,4}:{(16,1),(17,1)}

 91 :  0:{1,2,3,5}:{(1,1),(4,1),(13,1),(14,1)}
       1:{1,2,4}:{(0,1),(3,1)}
       2:{1,2,4,5}:{(1,1),(4,1),(11,1),(12,1),(13,1)}
       3:{3,4}:{(1,1),(4,1)}
       4:{3,5}:{(2,1),(3,1)}
       5:{1,3,4}:{(3,1),(8,1),(10,1),(19,1)}
       6:{2,3,4}:{(3,1),(9,1),(10,1),(19,1)}
       7:{3,4,5}:{(4,1),(11,1),(12,1),(17,1)}
       8:{1,3,5}:{(4,1),(5,1),(11,1),(13,1),(17,1)}
       9:{2,3,5}:{(4,1),(6,1),(12,1),(13,1),(17,1)}
      10:{1,2,4}:{(5,1),(6,1),(13,1),(14,1)}
      11:{1,4,5}:{(7,1),(8,1)}
      12:{2,4,5}:{(7,1),(9,1)}
      13:{1,2,5}:{(8,1),(9,1),(10,1)}
      14:{1,2,3}:{(10,1)}
      15:{1,2,4,5}:{(11,1),(12,1),(13,1),(17,1),(18,1)}
      16:{1,2,3,5}:{(13,1),(14,1),(17,1),(18,1)}
      17:{3,5}:{(15,1),(19,1)}
      18:{1,2,4}:{(16,1),(19,1)}
      19:{3,4}:{(17,1),(18,1)}

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

 93 :  0:{1,2,3}:{(3,1)}
       1:{2,3,4}:{(3,1),(5,1),(12,1)}
       2:{1,3,4}:{(3,1),(6,1),(12,1)}
       3:{1,2,4}:{(0,1),(1,1),(2,1),(7,1)}
       4:{1,2,3,5}:{(0,1),(7,1),(8,1),(15,1),(23,1),(24,1)}
       5:{2,3,5}:{(1,1),(7,1),(9,1),(15,1)}
       6:{1,3,5}:{(2,1),(7,1),(10,1),(15,1)}
       7:{1,2,5}:{(3,1),(5,1),(6,1)}
       8:{1,2,4}:{(4,1),(12,1)}
       9:{2,4,5}:{(5,1),(13,1)}
      10:{1,4,5}:{(6,1),(14,1)}
      11:{1,2,4,5}:{(7,1),(8,1),(9,1),(10,1),(15,1),(18,1),(19,1),(23,1)}
      12:{3,4}:{(8,1),(15,1)}
      13:{3,4,5}:{(9,1),(15,1),(18,1)}
      14:{3,4,5}:{(10,1),(15,1),(19,1)}
      15:{3,5}:{(11,1),(12,1)}
      16:{1,3,4}:{(12,1),(20,1),(22,1)}
      17:{2,3,4}:{(12,1),(21,1),(22,1)}
      18:{1,4,5}:{(13,1),(20,1)}
      19:{2,4,5}:{(14,1),(21,1)}
      20:{1,3,5}:{(15,1),(16,1),(18,1),(23,1)}
      21:{2,3,5}:{(15,1),(17,1),(19,1),(23,1)}
      22:{1,2,4}:{(16,1),(17,1),(23,1),(24,1)}
      23:{1,2,5}:{(20,1),(21,1),(22,1)}
      24:{1,2,3}:{(22,1)}

 94 :  0:{1,2,3}:{(3,1)}
       1:{2,3,4}:{(3,1),(4,1),(10,1)}
       2:{1,2,3,5}:{(0,1),(6,1),(7,1),(14,1),(17,1),(24,1)}
       3:{1,2,4}:{(0,1),(1,1),(5,1),(7,1)}
       4:{2,3,5}:{(1,1),(7,1),(8,1),(17,1)}
       5:{1,3,4}:{(3,1),(9,1),(10,1)}
       6:{1,2,4}:{(2,1),(10,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1)}
       8:{2,4,5}:{(4,1),(12,1)}
       9:{1,3,5}:{(5,1),(7,1),(13,1),(17,1)}
      10:{3,4}:{(6,1),(17,1)}
      11:{1,2,4,5}:{(6,1),(7,1),(8,1),(13,1),(17,1),(18,1),(23,1),(24,1)}
      12:{3,4,5}:{(8,1),(17,1),(18,1)}
      13:{1,4,5}:{(9,1),(19,1)}
      14:{1,2,3}:{(20,1)}
      15:{2,3,4}:{(10,1),(20,1),(21,1)}
      16:{1,3,4}:{(10,1),(20,1),(22,1)}
      17:{3,5}:{(10,1),(11,1)}
      18:{1,4,5}:{(12,1),(22,1)}
      19:{3,4,5}:{(13,1),(17,1),(23,1)}
      20:{1,2,4}:{(14,1),(15,1),(16,1),(24,1)}
      21:{2,3,5}:{(15,1),(17,1),(23,1),(24,1)}
      22:{1,3,5}:{(16,1),(17,1),(18,1),(24,1)}
      23:{2,4,5}:{(19,1),(21,1)}
      24:{1,2,5}:{(20,1),(21,1),(22,1)}

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

 96 :  0:{2,3,4}:{(2,1),(3,1),(18,1)}
       1:{3,4,5}:{(5,1),(6,1),(15,1)}
       2:{2,3,5}:{(0,1),(6,1),(7,1),(15,1)}
       3:{1,2,4}:{(0,1),(7,1),(8,1),(16,1)}
       4:{1,3,4}:{(9,1),(10,1),(18,1)}
       5:{1,4,5}:{(1,1),(9,1)}
       6:{2,4,5}:{(1,1),(2,1)}
       7:{1,2,5}:{(2,1),(3,1),(12,1)}
       8:{1,3}:{(3,1)}
       9:{1,3,5}:{(4,1),(5,1),(13,1),(15,1)}
      10:{1,2,4}:{(4,1),(13,1),(14,1),(19,1)}
      11:{1,2,4,5}:{(5,1),(6,1),(7,1),(13,1),(15,1),(16,1),(19,1)}
      12:{1,3,5}:{(7,1),(8,1),(15,1),(16,1)}
      13:{1,2,5}:{(9,1),(10,1),(17,1)}
      14:{2,3}:{(10,1)}
      15:{3,5}:{(11,1),(18,1)}
      16:{1,4}:{(12,1),(18,1)}
      17:{2,3,5}:{(13,1),(14,1),(15,1),(19,1)}
      18:{3,4}:{(15,1),(16,1),(19,1)}
      19:{2,4}:{(17,1),(18,1)}

 97 :  0:{1,2,3}:{(3,1)}
       1:{1,3,4}:{(3,1),(4,1),(10,1)}
       2:{1,2,3,5}:{(0,1),(6,1),(7,1),(14,1),(17,1),(24,1)}
       3:{1,2,4}:{(0,1),(1,1),(5,1),(7,1)}
       4:{1,3,5}:{(1,1),(7,1),(8,1),(17,1)}
       5:{2,3,4}:{(3,1),(9,1),(10,1)}
       6:{1,2,4}:{(2,1),(10,1)}
       7:{1,2,5}:{(3,1),(4,1),(9,1)}
       8:{1,4,5}:{(4,1),(12,1)}
       9:{2,3,5}:{(5,1),(7,1),(13,1),(17,1)}
      10:{3,4}:{(6,1),(17,1)}
      11:{1,2,4,5}:{(6,1),(7,1),(8,1),(13,1),(17,1),(18,1),(23,1),(24,1)}
      12:{3,4,5}:{(8,1),(17,1),(18,1)}
      13:{2,4,5}:{(9,1),(19,1)}
      14:{1,2,3}:{(20,1)}
      15:{2,3,4}:{(10,1),(20,1),(21,1)}
      16:{1,3,4}:{(10,1),(20,1),(22,1)}
      17:{3,5}:{(10,1),(11,1)}
      18:{2,4,5}:{(12,1),(21,1)}
      19:{3,4,5}:{(13,1),(17,1),(23,1)}
      20:{1,2,4}:{(14,1),(15,1),(16,1),(24,1)}
      21:{2,3,5}:{(15,1),(17,1),(18,1),(24,1)}
      22:{1,3,5}:{(16,1),(17,1),(23,1),(24,1)}
      23:{1,4,5}:{(19,1),(22,1)}
      24:{1,2,5}:{(20,1),(21,1),(22,1)}

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

 99 :  0:{1,3,4}:{(2,1),(3,1),(18,1)}
       1:{3,4,5}:{(5,1),(6,1),(15,1)}
       2:{1,3,5}:{(0,1),(5,1),(7,1),(15,1)}
       3:{1,2,4}:{(0,1),(7,1),(8,1),(16,1)}
       4:{2,3,4}:{(9,1),(10,1),(18,1)}
       5:{1,4,5}:{(1,1),(2,1)}
       6:{2,4,5}:{(1,1),(9,1)}
       7:{1,2,5}:{(2,1),(3,1),(12,1)}
       8:{2,3}:{(3,1)}
       9:{2,3,5}:{(4,1),(6,1),(13,1),(15,1)}
      10:{1,2,4}:{(4,1),(13,1),(14,1),(19,1)}
      11:{1,2,4,5}:{(5,1),(6,1),(7,1),(13,1),(15,1),(16,1),(19,1)}
      12:{2,3,5}:{(7,1),(8,1),(15,1),(16,1)}
      13:{1,2,5}:{(9,1),(10,1),(17,1)}
      14:{1,3}:{(10,1)}
      15:{3,5}:{(11,1),(18,1)}
      16:{2,4}:{(12,1),(18,1)}
      17:{1,3,5}:{(13,1),(14,1),(15,1),(19,1)}
      18:{3,4}:{(15,1),(16,1),(19,1)}
      19:{1,4}:{(17,1),(18,1)}

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

101 :  0:{1,2,3,5}:{(1,1),(4,1),(7,1),(16,1)}
       1:{1,2,4}:{(0,1),(2,1)}
       2:{3,4}:{(1,1),(7,1)}
       3:{1,2,4,5}:{(1,1),(7,1),(14,1),(15,1),(16,1)}
       4:{1,2,3}:{(10,1)}
       5:{2,3,4}:{(2,1),(10,1),(11,1),(17,1)}
       6:{1,3,4}:{(2,1),(10,1),(12,1),(17,1)}
       7:{3,5}:{(2,1),(3,1)}
       8:{1,2,3,5}:{(4,1),(13,1),(16,1),(19,1)}
       9:{3,4,5}:{(7,1),(14,1),(15,1),(19,1)}
      10:{1,2,4}:{(4,1),(5,1),(6,1),(16,1)}
      11:{2,3,5}:{(5,1),(7,1),(14,1),(16,1),(19,1)}
      12:{1,3,5}:{(6,1),(7,1),(15,1),(16,1),(19,1)}
      13:{1,2,4}:{(8,1),(17,1)}
      14:{2,4,5}:{(9,1),(11,1)}
      15:{1,4,5}:{(9,1),(12,1)}
      16:{1,2,5}:{(10,1),(11,1),(12,1)}
      17:{3,4}:{(13,1),(19,1)}
      18:{1,2,4,5}:{(13,1),(14,1),(15,1),(16,1),(19,1)}
      19:{3,5}:{(17,1),(18,1)}

102 :  0:{3,4,5}:{(3,1),(4,1),(14,1)}
       1:{2,3,4}:{(5,1),(6,1),(17,1)}
       2:{1,3,4}:{(7,1),(8,1),(17,1)}
       3:{1,4,5}:{(0,1),(7,1)}
       4:{2,4,5}:{(0,1),(5,1)}
       5:{2,3,5}:{(1,1),(4,1),(10,1),(14,1)}
       6:{1,2,4}:{(1,1),(10,1),(11,1),(18,1)}
       7:{1,3,5}:{(2,1),(3,1),(12,1),(14,1)}
       8:{1,2,4}:{(2,1),(12,1),(13,1),(19,1)}
       9:{1,2,4,5}:{(3,1),(4,1),(10,1),(12,1),(14,1),(18,1),(19,1)}
      10:{1,2,5}:{(5,1),(6,1),(15,1)}
      11:{1,3}:{(6,1)}
      12:{1,2,5}:{(7,1),(8,1),(16,1)}
      13:{2,3}:{(8,1)}
      14:{3,5}:{(9,1),(17,1)}
      15:{1,3,5}:{(10,1),(11,1),(14,1),(18,1)}
      16:{2,3,5}:{(12,1),(13,1),(14,1),(19,1)}
      17:{3,4}:{(14,1),(18,1),(19,1)}
      18:{1,4}:{(15,1),(17,1)}
      19:{2,4}:{(16,1),(17,1)}

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

104 :  0:{1,2,3}:{(4,1)}
       1:{2,3,4}:{(4,1),(5,1),(11,1)}
       2:{1,3,4}:{(4,1),(6,1),(11,1)}
       3:{1,2,3,5}:{(0,1),(7,1),(8,1),(15,1),(18,1),(24,1)}
       4:{1,2,4}:{(0,1),(1,1),(2,1),(8,1)}
       5:{2,3,5}:{(1,1),(8,1),(9,1),(18,1)}
       6:{1,3,5}:{(2,1),(8,1),(10,1),(18,1)}
       7:{1,2,4}:{(3,1),(11,1)}
       8:{1,2,5}:{(4,1),(5,1),(6,1)}
       9:{2,4,5}:{(5,1),(13,1)}
      10:{1,4,5}:{(6,1),(14,1)}
      11:{3,4}:{(7,1),(18,1)}
      12:{1,2,4,5}:{(7,1),(8,1),(9,1),(10,1),(18,1),(19,1),(20,1),(24,1)}
      13:{3,4,5}:{(9,1),(18,1),(19,1)}
      14:{3,4,5}:{(10,1),(18,1),(20,1)}
      15:{1,2,3}:{(21,1)}
      16:{2,3,4}:{(11,1),(21,1),(22,1)}
      17:{1,3,4}:{(11,1),(21,1),(23,1)}
      18:{3,5}:{(11,1),(12,1)}
      19:{1,4,5}:{(13,1),(23,1)}
      20:{2,4,5}:{(14,1),(22,1)}
      21:{1,2,4}:{(15,1),(16,1),(17,1),(24,1)}
      22:{2,3,5}:{(16,1),(18,1),(20,1),(24,1)}
      23:{1,3,5}:{(17,1),(18,1),(19,1),(24,1)}
      24:{1,2,5}:{(21,1),(22,1),(23,1)}

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

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

107 :  0:{1,2,3}:{(4,1)}
       1:{2,3,4}:{(4,1),(5,1),(15,1)}
       2:{1,2,3,5}:{(0,1),(6,1),(8,1),(12,1),(19,1),(20,1)}
       3:{3,4,5}:{(9,1),(10,1),(20,1)}
       4:{1,2,4}:{(0,1),(1,1),(11,1),(12,1)}
       5:{2,3,5}:{(1,1),(9,1),(12,1),(20,1)}
       6:{1,2,3}:{(13,1)}
       7:{1,3,4}:{(13,1),(14,1),(15,1)}
       8:{1,2,4}:{(2,1),(15,1)}
       9:{2,4,5}:{(3,1),(5,1)}
      10:{1,4,5}:{(3,1),(14,1)}
      11:{1,3,4}:{(4,1),(15,1),(17,1)}
      12:{1,2,5}:{(4,1),(5,1),(17,1)}
      13:{1,2,4}:{(6,1),(7,1),(18,1),(19,1)}
      14:{1,3,5}:{(7,1),(10,1),(19,1),(20,1)}
      15:{3,4}:{(8,1),(20,1)}
      16:{1,2,4,5}:{(8,1),(9,1),(10,1),(12,1),(19,1),(20,1),(21,1),(24,1)}
      17:{1,3,5}:{(11,1),(12,1),(20,1),(21,1)}
      18:{2,3,4}:{(13,1),(15,1),(22,1)}
      19:{1,2,5}:{(13,1),(14,1),(22,1)}
      20:{3,5}:{(15,1),(16,1)}
      21:{1,4,5}:{(17,1),(23,1)}
      22:{2,3,5}:{(18,1),(19,1),(20,1),(24,1)}
      23:{3,4,5}:{(20,1),(21,1),(24,1)}
      24:{2,4,5}:{(22,1),(23,1)}

108 :  0:{1,2,3}:{(4,1)}
       1:{1,3,4}:{(4,1),(5,1),(15,1)}
       2:{1,2,3,5}:{(0,1),(6,1),(8,1),(12,1),(19,1),(20,1)}
       3:{3,4,5}:{(9,1),(10,1),(20,1)}
       4:{1,2,4}:{(0,1),(1,1),(11,1),(12,1)}
       5:{1,3,5}:{(1,1),(10,1),(12,1),(20,1)}
       6:{1,2,3}:{(13,1)}
       7:{2,3,4}:{(13,1),(14,1),(15,1)}
       8:{1,2,4}:{(2,1),(15,1)}
       9:{2,4,5}:{(3,1),(14,1)}
      10:{1,4,5}:{(3,1),(5,1)}
      11:{2,3,4}:{(4,1),(15,1),(17,1)}
      12:{1,2,5}:{(4,1),(5,1),(17,1)}
      13:{1,2,4}:{(6,1),(7,1),(18,1),(19,1)}
      14:{2,3,5}:{(7,1),(9,1),(19,1),(20,1)}
      15:{3,4}:{(8,1),(20,1)}
      16:{1,2,4,5}:{(8,1),(9,1),(10,1),(12,1),(19,1),(20,1),(21,1),(24,1)}
      17:{2,3,5}:{(11,1),(12,1),(20,1),(21,1)}
      18:{1,3,4}:{(13,1),(15,1),(22,1)}
      19:{1,2,5}:{(13,1),(14,1),(22,1)}
      20:{3,5}:{(15,1),(16,1)}
      21:{2,4,5}:{(17,1),(23,1)}
      22:{1,3,5}:{(18,1),(19,1),(20,1),(24,1)}
      23:{3,4,5}:{(20,1),(21,1),(24,1)}
      24:{1,4,5}:{(22,1),(23,1)}

109 :  0:{1,2,3,5}:{(2,1),(4,1),(6,1),(16,1),(18,1),(19,1)}
       1:{3,4,5}:{(7,1),(8,1),(19,1)}
       2:{1,2,3}:{(9,1)}
       3:{2,3,4}:{(9,1),(10,1),(13,1)}
       4:{1,2,3}:{(11,1)}
       5:{1,3,4}:{(11,1),(12,1),(13,1)}
       6:{1,2,4}:{(0,1),(13,1)}
       7:{2,4,5}:{(1,1),(10,1)}
       8:{1,4,5}:{(1,1),(12,1)}
       9:{1,2,4}:{(2,1),(3,1),(15,1),(16,1)}
      10:{2,3,5}:{(3,1),(7,1),(16,1),(19,1)}
      11:{1,2,4}:{(4,1),(5,1),(17,1),(18,1)}
      12:{1,3,5}:{(5,1),(8,1),(18,1),(19,1)}
      13:{3,4}:{(6,1),(19,1)}
      14:{1,2,4,5}:{(6,1),(7,1),(8,1),(16,1),(18,1),(19,1),(23,1),(24,1)}
      15:{1,3,4}:{(9,1),(13,1),(20,1)}
      16:{1,2,5}:{(9,1),(10,1),(20,1)}
      17:{2,3,4}:{(11,1),(13,1),(21,1)}
      18:{1,2,5}:{(11,1),(12,1),(21,1)}
      19:{3,5}:{(13,1),(14,1)}
      20:{1,3,5}:{(15,1),(16,1),(19,1),(23,1)}
      21:{2,3,5}:{(17,1),(18,1),(19,1),(24,1)}
      22:{3,4,5}:{(19,1),(23,1),(24,1)}
      23:{1,4,5}:{(20,1),(22,1)}
      24:{2,4,5}:{(21,1),(22,1)}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

125 : 0:{1,2,3,4,5}:{}