Quelle  compare-dtpols.tstlong   Sprache: unbekannt

gap> coll := Collector(UnitriangularPcpGroup(10, 0));;                                                           
gap> dto := DTP_DTObjFromCollector(coll, true);;                                                               
gap> dto![PC_DTPPolynomials];                                                 
[ [ [ [ 1, [ 1, 1 ] ], [ 1, [ 46, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], 
      [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], 
      [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], 
      [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ], [ -1, [ 2, 1 ], [ 46, 1 ] ] ], 
      [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], 
      [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], 
      [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ], [ -1, [ 11, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 46, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], 
      [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], 
      [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ], [ -1, [ 19, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 46, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ], [ -1, [ 26, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 46, 1 ] ], 
          [ -1, [ 11, 1 ], [ 13, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 13, 1 ], [ 46, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ], [ -1, [ 32, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 46, 1 ] ],
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 46, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], [ -1, [ 37, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], 
              [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 15, 1 ], [ 46, 1 ] ]
            , [ -1, [ 11, 1 ], [ 13, 1 ], [ 15, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 13, 1 ], [ 15, 1 ], [ 46, 1 ] ], 
          [ -1, [ 19, 1 ], [ 22, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 22, 1 ], [ 46, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], [ -1, [ 41, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], 
              [ 8, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 16, 1 ], 
              [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 16, 1 ], [ 46, 1 ] 
             ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 23, 1 ], [ 46, 1 ] ]
            , [ -1, [ 11, 1 ], [ 13, 1 ], [ 23, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 13, 1 ], [ 23, 1 ], [ 46, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], [ -1, [ 44, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], 
              [ 8, 1 ], [ 9, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], 
              [ 17, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 15, 1 ], [ 17, 1 ], 
              [ 46, 1 ] ], 
          [ -1, [ 11, 1 ], [ 13, 1 ], [ 15, 1 ], [ 17, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 13, 1 ], [ 15, 1 ], [ 17, 1 ], 
              [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 24, 1 ], 
              [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 24, 1 ], [ 46, 1 ] 
             ], [ -1, [ 26, 1 ], [ 30, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 30, 1 ], [ 46, 1 ] ]
            , [ -1, [ 11, 1 ], [ 13, 1 ], [ 30, 1 ], [ 46, 1 ] ], 
          [ -1, [ 2, 1 ], [ 3, 1 ], [ 13, 1 ], [ 30, 1 ], [ 46, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ], [ 1, [ 47, 1 ] ] ], 
      [ [ 1, [ 3, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], 
      [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], 
      [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], 
      [ [ 1, [ 11, 1 ] ], [ -1, [ 3, 1 ], [ 47, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ],
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ], [ -1, [ 12, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 47, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ], [ -1, [ 20, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 47, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ], [ -1, [ 27, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 47, 1 ] ], 
          [ -1, [ 12, 1 ], [ 14, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 47, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ], [ -1, [ 33, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 47, 1 ] ],
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 15, 1 ], [ 47, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], [ -1, [ 38, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], 
              [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 16, 1 ], [ 47, 1 ] ]
            , [ -1, [ 12, 1 ], [ 14, 1 ], [ 16, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 16, 1 ], [ 47, 1 ] ], 
          [ -1, [ 20, 1 ], [ 23, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 23, 1 ], [ 47, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ -1, [ 42, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], 
              [ 9, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 17, 1 ], 
              [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 15, 1 ], [ 17, 1 ], [ 47, 1 ] 
             ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 24, 1 ], [ 47, 1 ] ]
            , [ -1, [ 12, 1 ], [ 14, 1 ], [ 24, 1 ], [ 47, 1 ] ], 
          [ -1, [ 3, 1 ], [ 4, 1 ], [ 14, 1 ], [ 24, 1 ], [ 47, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], 
      [ [ 1, [ 3, 1 ] ], [ 1, [ 48, 1 ] ] ], [ [ 1, [ 4, 1 ] ] ], 
      [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], 
      [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], 
      [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ], [ -1, [ 4, 1 ], [ 48, 1 ] ] ],
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ], [ 1, [ 10, 1 ], [ 48, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ],
      [ [ 1, [ 20, 1 ] ], [ -1, [ 13, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 48, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ], [ 1, [ 4, 1 ], [ 10, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ], [ -1, [ 21, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ], [ 1, [ 4, 1 ], [ 5, 1 ], [ 10, 1 ], [ 48, 1 ] ], 
          [ 1, [ 10, 1 ], [ 13, 1 ], [ 48, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ], [ -1, [ 28, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 48, 1 ] ], 
          [ -1, [ 13, 1 ], [ 15, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 15, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 10, 1 ], [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 10, 1 ], [ 14, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ], [ -1, [ 34, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 48, 1 ] ],
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 16, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 10, 1 ], [ 48, 1 ] ],
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 10, 1 ], [ 15, 1 ], [ 48, 1 ] ], 
          [ 1, [ 10, 1 ], [ 13, 1 ], [ 15, 1 ], [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 10, 1 ], [ 22, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ], [ -1, [ 39, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], 
              [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 17, 1 ], [ 48, 1 ] ]
            , [ -1, [ 13, 1 ], [ 15, 1 ], [ 17, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 15, 1 ], [ 17, 1 ], [ 48, 1 ] ], 
          [ -1, [ 21, 1 ], [ 24, 1 ], [ 48, 1 ] ], 
          [ -1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 24, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 10, 1 ], 
              [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 10, 1 ], [ 16, 1 ], [ 48, 1 ] ]
            , [ 1, [ 4, 1 ], [ 10, 1 ], [ 14, 1 ], [ 16, 1 ], [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 10, 1 ], [ 23, 1 ], [ 48, 1 ] ], 
          [ 1, [ 10, 1 ], [ 13, 1 ], [ 23, 1 ], [ 48, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], 
              [ 10, 1 ], [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 10, 1 ], [ 17, 1 ], 
              [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 10, 1 ], [ 15, 1 ], [ 17, 1 ], [ 48, 1 ] 
             ], [ 1, [ 10, 1 ], [ 13, 1 ], [ 15, 1 ], [ 17, 1 ], [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 10, 1 ], [ 24, 1 ], [ 48, 1 ] ]
            , [ 1, [ 4, 1 ], [ 10, 1 ], [ 14, 1 ], [ 24, 1 ], [ 48, 1 ] ], 
          [ 1, [ 4, 1 ], [ 5, 1 ], [ 10, 1 ], [ 30, 1 ], [ 48, 1 ] ], 
          [ 1, [ 10, 1 ], [ 13, 1 ], [ 30, 1 ], [ 48, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ], [ 1, [ 49, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], 
      [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], 
      [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], 
      [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ], [ -1, [ 5, 1 ], [ 49, 1 ] ] ],
      [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], 
      [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ], [ 1, [ 11, 1 ], [ 49, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ],
      [ [ 1, [ 21, 1 ] ], [ -1, [ 14, 1 ], [ 49, 1 ] ], 
          [ -1, [ 5, 1 ], [ 6, 1 ], [ 49, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], 
      [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ], [ 1, [ 18, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ], [ 1, [ 5, 1 ], [ 11, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ], [ -1, [ 22, 1 ], [ 49, 1 ] ], 
          [ -1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ], [ 1, [ 5, 1 ], [ 6, 1 ], [ 11, 1 ], [ 49, 1 ] ], 
          [ 1, [ 11, 1 ], [ 14, 1 ], [ 49, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ], [ -1, [ 29, 1 ], [ 49, 1 ] ], 
          [ -1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 49, 1 ] ], 
          [ -1, [ 14, 1 ], [ 16, 1 ], [ 49, 1 ] ], 
          [ -1, [ 5, 1 ], [ 6, 1 ], [ 16, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ], [ 1, [ 14, 1 ], [ 18, 1 ], [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 18, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 11, 1 ], [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 11, 1 ], [ 15, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ], [ -1, [ 35, 1 ], [ 49, 1 ] ], 
          [ -1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 49, 1 ] ],
          [ -1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 17, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 18, 1 ], [ 49, 1 ] ], 
          [ 1, [ 18, 1 ], [ 22, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 11, 1 ], [ 49, 1 ] ],
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 11, 1 ], [ 16, 1 ], [ 49, 1 ] ], 
          [ 1, [ 11, 1 ], [ 14, 1 ], [ 16, 1 ], [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 11, 1 ], [ 23, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 18, 1 ], [ 49, 1 ] ],
          [ 1, [ 14, 1 ], [ 16, 1 ], [ 18, 1 ], [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 16, 1 ], [ 18, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 11, 1 ], 
              [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 11, 1 ], [ 17, 1 ], [ 49, 1 ] ]
            , [ 1, [ 5, 1 ], [ 11, 1 ], [ 15, 1 ], [ 17, 1 ], [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 11, 1 ], [ 24, 1 ], [ 49, 1 ] ], 
          [ 1, [ 11, 1 ], [ 14, 1 ], [ 24, 1 ], [ 49, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 18, 1 ], 
              [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 17, 1 ], [ 18, 1 ], [ 49, 1 ] ]
            , [ 1, [ 14, 1 ], [ 18, 1 ], [ 24, 1 ], [ 49, 1 ] ], 
          [ 1, [ 5, 1 ], [ 6, 1 ], [ 18, 1 ], [ 24, 1 ], [ 49, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ], [ 1, [ 50, 1 ] ] ], 
      [ [ 1, [ 6, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], 
      [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], 
      [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], 
      [ [ 1, [ 14, 1 ] ], [ -1, [ 6, 1 ], [ 50, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ],
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ 1, [ 12, 1 ], [ 50, 1 ] ] ],
      [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ], [ -1, [ 15, 1 ], [ 50, 1 ] ], 
          [ -1, [ 6, 1 ], [ 7, 1 ], [ 50, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ], [ 1, [ 19, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ], [ 1, [ 6, 1 ], [ 12, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ], [ -1, [ 23, 1 ], [ 50, 1 ] ], 
          [ -1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ], [ 1, [ 25, 1 ], [ 50, 1 ] ] ],
      [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ], [ 1, [ 6, 1 ], [ 7, 1 ], [ 12, 1 ], [ 50, 1 ] ], 
          [ 1, [ 12, 1 ], [ 15, 1 ], [ 50, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ], [ -1, [ 30, 1 ], [ 50, 1 ] ], 
          [ -1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 50, 1 ] ], 
          [ -1, [ 15, 1 ], [ 17, 1 ], [ 50, 1 ] ], 
          [ -1, [ 6, 1 ], [ 7, 1 ], [ 17, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ], [ 1, [ 15, 1 ], [ 19, 1 ], [ 50, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 19, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 12, 1 ], [ 50, 1 ] ], 
          [ 1, [ 6, 1 ], [ 12, 1 ], [ 16, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 19, 1 ], [ 50, 1 ] ], 
          [ 1, [ 19, 1 ], [ 23, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 12, 1 ], [ 50, 1 ] ],
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 12, 1 ], [ 17, 1 ], [ 50, 1 ] ], 
          [ 1, [ 12, 1 ], [ 15, 1 ], [ 17, 1 ], [ 50, 1 ] ], 
          [ 1, [ 6, 1 ], [ 12, 1 ], [ 24, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], [ 1, [ 23, 1 ], [ 25, 1 ], [ 50, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 25, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 19, 1 ], [ 50, 1 ] ],
          [ 1, [ 15, 1 ], [ 17, 1 ], [ 19, 1 ], [ 50, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 17, 1 ], [ 19, 1 ], [ 50, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 25, 1 ], [ 50, 1 ] ],
          [ 1, [ 15, 1 ], [ 17, 1 ], [ 25, 1 ], [ 50, 1 ] ], 
          [ 1, [ 6, 1 ], [ 7, 1 ], [ 17, 1 ], [ 25, 1 ], [ 50, 1 ] ], 
          [ 1, [ 25, 1 ], [ 30, 1 ], [ 50, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], 
      [ [ 1, [ 6, 1 ] ], [ 1, [ 51, 1 ] ] ], [ [ 1, [ 7, 1 ] ] ], 
      [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], 
      [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], 
      [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ], [ -1, [ 7, 1 ], [ 51, 1 ] ] ],
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ], [ 1, [ 13, 1 ], [ 51, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ],
      [ [ 1, [ 23, 1 ] ], [ -1, [ 16, 1 ], [ 51, 1 ] ], 
          [ -1, [ 7, 1 ], [ 8, 1 ], [ 51, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ], [ 1, [ 20, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ], [ 1, [ 7, 1 ], [ 13, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ], [ -1, [ 24, 1 ], [ 51, 1 ] ], 
          [ -1, [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ], [ 1, [ 26, 1 ], [ 51, 1 ] ] ],
      [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ], [ 1, [ 7, 1 ], [ 8, 1 ], [ 13, 1 ], [ 51, 1 ] ], 
          [ 1, [ 13, 1 ], [ 16, 1 ], [ 51, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ], [ 1, [ 31, 1 ], [ 51, 1 ] ], 
          [ -1, [ 13, 1 ], [ 18, 1 ], [ 51, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ], [ 1, [ 16, 1 ], [ 20, 1 ], [ 51, 1 ] ], 
          [ 1, [ 7, 1 ], [ 8, 1 ], [ 20, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ], 
          [ 1, [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 13, 1 ], [ 51, 1 ] ], 
          [ 1, [ 7, 1 ], [ 13, 1 ], [ 17, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], [ -1, [ 7, 1 ], [ 13, 1 ], [ 18, 1 ], [ 51, 1 ] ] ],
      [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ], 
          [ 1, [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 20, 1 ], [ 51, 1 ] ], 
          [ 1, [ 20, 1 ], [ 24, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], 
          [ -1, [ 7, 1 ], [ 8, 1 ], [ 13, 1 ], [ 18, 1 ], [ 51, 1 ] ], 
          [ -1, [ 13, 1 ], [ 16, 1 ], [ 18, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ 1, [ 24, 1 ], [ 26, 1 ], [ 51, 1 ] ], 
          [ 1, [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 26, 1 ], [ 51, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], 
          [ -1, [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 13, 1 ], [ 18, 1 ], [ 51, 1 ] 
             ], [ -1, [ 7, 1 ], [ 13, 1 ], [ 17, 1 ], [ 18, 1 ], [ 51, 1 ] ], 
          [ -1, [ 13, 1 ], [ 18, 1 ], [ 24, 1 ], [ 51, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ], [ 1, [ 52, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], 
      [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], 
      [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], 
      [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ], [ -1, [ 8, 1 ], [ 52, 1 ] ] ],
      [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], 
      [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ], [ 1, [ 14, 1 ], [ 52, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ],
      [ [ 1, [ 24, 1 ] ], [ -1, [ 17, 1 ], [ 52, 1 ] ], 
          [ -1, [ 8, 1 ], [ 9, 1 ], [ 52, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ], [ 1, [ 21, 1 ], [ 52, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ], [ 1, [ 8, 1 ], [ 14, 1 ], [ 52, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ], [ 1, [ 27, 1 ], [ 52, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ],
      [ [ 1, [ 35, 1 ] ], [ 1, [ 8, 1 ], [ 9, 1 ], [ 14, 1 ], [ 52, 1 ] ], 
          [ 1, [ 14, 1 ], [ 17, 1 ], [ 52, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ], [ 1, [ 32, 1 ], [ 52, 1 ] ], 
          [ -1, [ 14, 1 ], [ 19, 1 ], [ 52, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ], [ 1, [ 17, 1 ], [ 21, 1 ], [ 52, 1 ] ], 
          [ 1, [ 8, 1 ], [ 9, 1 ], [ 21, 1 ], [ 52, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], [ 1, [ 36, 1 ], [ 52, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], [ -1, [ 8, 1 ], [ 14, 1 ], [ 19, 1 ], [ 52, 1 ] ] ],
      [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], [ -1, [ 8, 1 ], [ 14, 1 ], [ 25, 1 ], [ 52, 1 ] ] ],
      [ [ 1, [ 44, 1 ] ], 
          [ -1, [ 8, 1 ], [ 9, 1 ], [ 14, 1 ], [ 19, 1 ], [ 52, 1 ] ], 
          [ -1, [ 14, 1 ], [ 17, 1 ], [ 19, 1 ], [ 52, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], 
          [ -1, [ 8, 1 ], [ 9, 1 ], [ 14, 1 ], [ 25, 1 ], [ 52, 1 ] ], 
          [ -1, [ 14, 1 ], [ 17, 1 ], [ 25, 1 ], [ 52, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ], [ 1, [ 53, 1 ] ] ], 
      [ [ 1, [ 9, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], 
      [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], 
      [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], 
      [ [ 1, [ 17, 1 ] ], [ -1, [ 9, 1 ], [ 53, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ],
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ], [ 1, [ 15, 1 ], [ 53, 1 ] ] ],
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ], [ 1, [ 22, 1 ], [ 53, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ], [ 1, [ 9, 1 ], [ 15, 1 ], [ 53, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ], [ 1, [ 28, 1 ], [ 53, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ],
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ], [ 1, [ 33, 1 ], [ 53, 1 ] ], 
          [ -1, [ 15, 1 ], [ 20, 1 ], [ 53, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ], [ 1, [ 37, 1 ], [ 53, 1 ] ] ],
      [ [ 1, [ 42, 1 ] ], [ -1, [ 9, 1 ], [ 15, 1 ], [ 20, 1 ], [ 53, 1 ] ] ],
      [ [ 1, [ 43, 1 ] ], [ 1, [ 40, 1 ], [ 53, 1 ] ], 
          [ -1, [ 22, 1 ], [ 25, 1 ], [ 53, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ -1, [ 9, 1 ], [ 15, 1 ], [ 26, 1 ], [ 53, 1 ] ] ],
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], 
      [ [ 1, [ 9, 1 ] ], [ 1, [ 54, 1 ] ] ], [ [ 1, [ 10, 1 ] ] ], 
      [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], 
      [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], 
      [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], 
      [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], 
      [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ], [ 1, [ 16, 1 ], [ 54, 1 ] ] ],
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ], [ 1, [ 23, 1 ], [ 54, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ],
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ], [ 1, [ 29, 1 ], [ 54, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ],
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ], [ 1, [ 34, 1 ], [ 54, 1 ] ], 
          [ -1, [ 16, 1 ], [ 21, 1 ], [ 54, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ], [ 1, [ 38, 1 ], [ 54, 1 ] ] ],
      [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ 1, [ 41, 1 ], [ 54, 1 ] ], 
          [ -1, [ 23, 1 ], [ 26, 1 ], [ 54, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], [ 1, [ 43, 1 ], [ 54, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ], [ 1, [ 55, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], 
      [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], 
      [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ], [ -1, [ 12, 1 ], [ 55, 1 ] ] ]
        , [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ], [ -1, [ 20, 1 ], [ 55, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ], [ -1, [ 27, 1 ], [ 55, 1 ] ], 
          [ -1, [ 12, 1 ], [ 14, 1 ], [ 55, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], [ -1, [ 33, 1 ], [ 55, 1 ] ], 
          [ -1, [ 12, 1 ], [ 22, 1 ], [ 55, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], [ -1, [ 38, 1 ], [ 55, 1 ] ], 
          [ -1, [ 12, 1 ], [ 14, 1 ], [ 16, 1 ], [ 55, 1 ] ], 
          [ -1, [ 20, 1 ], [ 23, 1 ], [ 55, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], [ -1, [ 42, 1 ], [ 55, 1 ] ], 
          [ -1, [ 12, 1 ], [ 14, 1 ], [ 24, 1 ], [ 55, 1 ] ], 
          [ -1, [ 20, 1 ], [ 30, 1 ], [ 55, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ], [ 1, [ 56, 1 ] ] ], 
      [ [ 1, [ 12, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], 
      [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ], [ -1, [ 13, 1 ], [ 56, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ], [ -1, [ 21, 1 ], [ 56, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ], [ -1, [ 28, 1 ], [ 56, 1 ] ], 
          [ -1, [ 13, 1 ], [ 15, 1 ], [ 56, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], [ -1, [ 34, 1 ], [ 56, 1 ] ], 
          [ -1, [ 13, 1 ], [ 23, 1 ], [ 56, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ -1, [ 39, 1 ], [ 56, 1 ] ], 
          [ -1, [ 13, 1 ], [ 15, 1 ], [ 17, 1 ], [ 56, 1 ] ], 
          [ -1, [ 21, 1 ], [ 24, 1 ], [ 56, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], 
      [ [ 1, [ 12, 1 ] ], [ 1, [ 57, 1 ] ] ], [ [ 1, [ 13, 1 ] ] ], 
      [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], 
      [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], 
      [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], 
      [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ], [ -1, [ 14, 1 ], [ 57, 1 ] ] ]
        , [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ], [ -1, [ 22, 1 ], [ 57, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ], [ -1, [ 29, 1 ], [ 57, 1 ] ], 
          [ -1, [ 14, 1 ], [ 16, 1 ], [ 57, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ], [ -1, [ 35, 1 ], [ 57, 1 ] ], 
          [ -1, [ 14, 1 ], [ 24, 1 ], [ 57, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ], [ 1, [ 58, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], 
      [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ], [ -1, [ 15, 1 ], [ 58, 1 ] ] ]
        , [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ], [ 1, [ 18, 1 ], [ 58, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ],
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ], [ -1, [ 23, 1 ], [ 58, 1 ] ] ]
        , [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ], [ -1, [ 30, 1 ], [ 58, 1 ] ], 
          [ -1, [ 15, 1 ], [ 17, 1 ], [ 58, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], [ 1, [ 15, 1 ], [ 18, 1 ], [ 58, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], [ 1, [ 18, 1 ], [ 23, 1 ], [ 58, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], [ 1, [ 15, 1 ], [ 17, 1 ], [ 18, 1 ], [ 58, 1 ] ], 
          [ 1, [ 18, 1 ], [ 30, 1 ], [ 58, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ], [ 1, [ 59, 1 ] ] ], 
      [ [ 1, [ 15, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ], [ -1, [ 16, 1 ], [ 59, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ], [ 1, [ 19, 1 ], [ 59, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ],
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ], [ -1, [ 24, 1 ], [ 59, 1 ] ] ]
        , [ [ 1, [ 36, 1 ] ], [ 1, [ 25, 1 ], [ 59, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], [ 1, [ 16, 1 ], [ 19, 1 ], [ 59, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], [ 1, [ 16, 1 ], [ 25, 1 ], [ 59, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ 1, [ 19, 1 ], [ 24, 1 ], [ 59, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], [ 1, [ 24, 1 ], [ 25, 1 ], [ 59, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], 
      [ [ 1, [ 15, 1 ] ], [ 1, [ 60, 1 ] ] ], [ [ 1, [ 16, 1 ] ] ], 
      [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], 
      [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], 
      [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ], [ -1, [ 17, 1 ], [ 60, 1 ] ] ]
        , [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ], [ 1, [ 20, 1 ], [ 60, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ],
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ], [ 1, [ 26, 1 ], [ 60, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ],
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ], [ 1, [ 31, 1 ], [ 60, 1 ] ] ],
      [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ], [ 1, [ 17, 1 ], [ 20, 1 ], [ 60, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ 1, [ 17, 1 ], [ 26, 1 ], [ 60, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ], [ 1, [ 61, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ], [ 1, [ 21, 1 ], [ 61, 1 ] ] ],
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ], [ 1, [ 27, 1 ], [ 61, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ],
      [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ], [ 1, [ 32, 1 ], [ 61, 1 ] ] ],
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ], [ 1, [ 36, 1 ], [ 61, 1 ] ] ],
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ], [ 1, [ 62, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ], [ 1, [ 22, 1 ], [ 62, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ],
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ], [ 1, [ 28, 1 ], [ 62, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ],
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ], [ 1, [ 33, 1 ], [ 62, 1 ] ] ],
      [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ], [ 1, [ 37, 1 ], [ 62, 1 ] ] ],
      [ [ 1, [ 45, 1 ] ], [ 1, [ 40, 1 ], [ 62, 1 ] ], 
          [ -1, [ 22, 1 ], [ 25, 1 ], [ 62, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], 
      [ [ 1, [ 18, 1 ] ], [ 1, [ 63, 1 ] ] ], [ [ 1, [ 19, 1 ] ] ], 
      [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], 
      [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ], [ -1, [ 21, 1 ], [ 63, 1 ] ] ]
        , [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], [ -1, [ 28, 1 ], [ 63, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ], [ -1, [ 34, 1 ], [ 63, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], [ -1, [ 39, 1 ], [ 63, 1 ] ], 
          [ -1, [ 21, 1 ], [ 24, 1 ], [ 63, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ], [ 1, [ 64, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ], [ -1, [ 22, 1 ], [ 64, 1 ] ] ]
        , [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], [ -1, [ 29, 1 ], [ 64, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ -1, [ 35, 1 ], [ 64, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ], [ 1, [ 65, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ], [ -1, [ 23, 1 ], [ 65, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ], [ -1, [ 30, 1 ], [ 65, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], 
      [ [ 1, [ 21, 1 ] ], [ 1, [ 66, 1 ] ] ], [ [ 1, [ 22, 1 ] ] ], 
      [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ], [ -1, [ 24, 1 ], [ 66, 1 ] ] ]
        , [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], 
      [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ], [ 1, [ 67, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ], [ 1, [ 25, 1 ], [ 67, 1 ] ] ],
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ], [ 1, [ 68, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ], [ 1, [ 26, 1 ], [ 68, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ],
      [ [ 1, [ 43, 1 ] ], [ 1, [ 31, 1 ], [ 68, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ],
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], 
      [ [ 1, [ 24, 1 ] ], [ 1, [ 69, 1 ] ] ], [ [ 1, [ 25, 1 ] ] ], 
      [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ], [ 1, [ 27, 1 ], [ 69, 1 ] ] ],
      [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ], [ 1, [ 32, 1 ], [ 69, 1 ] ] ],
      [ [ 1, [ 45, 1 ] ], [ 1, [ 36, 1 ], [ 69, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ], [ 1, [ 70, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ], [ -1, [ 29, 1 ], [ 70, 1 ] ] ]
        , [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ], [ -1, [ 35, 1 ], [ 70, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ], [ 1, [ 71, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ], [ -1, [ 30, 1 ], [ 71, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], 
      [ [ 1, [ 27, 1 ] ], [ 1, [ 72, 1 ] ] ], [ [ 1, [ 28, 1 ] ] ], 
      [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ], [ 1, [ 73, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ], [ 1, [ 74, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], 
      [ [ 1, [ 30, 1 ] ], [ 1, [ 75, 1 ] ] ], [ [ 1, [ 31, 1 ] ] ], 
      [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ], [ 1, [ 31, 1 ], [ 75, 1 ] ] ] 
     ], [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ], [ 1, [ 76, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ], [ 1, [ 77, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], 
      [ [ 1, [ 33, 1 ] ], [ 1, [ 78, 1 ] ] ], [ [ 1, [ 34, 1 ] ] ], 
      [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ], [ 1, [ 79, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ], [ 1, [ 80, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], 
      [ [ 1, [ 36, 1 ] ], [ 1, [ 81, 1 ] ] ], [ [ 1, [ 37, 1 ] ] ], 
      [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ], [ 1, [ 82, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ], [ 1, [ 83, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], 
      [ [ 1, [ 39, 1 ] ], [ 1, [ 84, 1 ] ] ], [ [ 1, [ 40, 1 ] ] ], 
      [ [ 1, [ 41, 1 ] ] ], [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ], [ 1, [ 85, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ], [ 1, [ 86, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], [ [ 1, [ 44, 1 ] ] ], 
      [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
      [ [ 1, [ 28, 1 ] ] ], [ [ 1, [ 29, 1 ] ] ], [ [ 1, [ 30, 1 ] ] ], 
      [ [ 1, [ 31, 1 ] ] ], [ [ 1, [ 32, 1 ] ] ], [ [ 1, [ 33, 1 ] ] ], 
      [ [ 1, [ 34, 1 ] ] ], [ [ 1, [ 35, 1 ] ] ], [ [ 1, [ 36, 1 ] ] ], 
      [ [ 1, [ 37, 1 ] ] ], [ [ 1, [ 38, 1 ] ] ], [ [ 1, [ 39, 1 ] ] ], 
      [ [ 1, [ 40, 1 ] ] ], [ [ 1, [ 41, 1 ] ] ], 
      [ [ 1, [ 42, 1 ] ], [ 1, [ 87, 1 ] ] ], [ [ 1, [ 43, 1 ] ] ], 
      [ [ 1, [ 44, 1 ] ] ], [ [ 1, [ 45, 1 ] ] ] ], 
  [ [ [ 1, [ 1, 1 ] ] ], [ [ 1, [ 2, 1 ] ] ], [ [ 1, [ 3, 1 ] ] ], 
      [ [ 1, [ 4, 1 ] ] ], [ [ 1, [ 5, 1 ] ] ], [ [ 1, [ 6, 1 ] ] ], 
      [ [ 1, [ 7, 1 ] ] ], [ [ 1, [ 8, 1 ] ] ], [ [ 1, [ 9, 1 ] ] ], 
      [ [ 1, [ 10, 1 ] ] ], [ [ 1, [ 11, 1 ] ] ], [ [ 1, [ 12, 1 ] ] ], 
      [ [ 1, [ 13, 1 ] ] ], [ [ 1, [ 14, 1 ] ] ], [ [ 1, [ 15, 1 ] ] ], 
      [ [ 1, [ 16, 1 ] ] ], [ [ 1, [ 17, 1 ] ] ], [ [ 1, [ 18, 1 ] ] ], 
      [ [ 1, [ 19, 1 ] ] ], [ [ 1, [ 20, 1 ] ] ], [ [ 1, [ 21, 1 ] ] ], 
      [ [ 1, [ 22, 1 ] ] ], [ [ 1, [ 23, 1 ] ] ], [ [ 1, [ 24, 1 ] ] ], 
      [ [ 1, [ 25, 1 ] ] ], [ [ 1, [ 26, 1 ] ] ], [ [ 1, [ 27, 1 ] ] ], 
--> --------------------

--> maximum size reached

--> --------------------