200315

Crystal


A332954(2)

sigma(1) の値で中身を分類してみても、同じになるようだ。

def a(k, m, n)
  a = (m..m + n - 1).map{|i| [i]}
  len = 1
  while len < n
    b = Array(Array(Int32)).new
    a.each{|c|
      (m..m + n - 1).each{|num|
        if !c.includes?(num)
          i = c.clone + [num]
          if (i[-2] * (len + k + 1)) > (i[-1] * (len + k))
            b << i
          end
        end
      }
    }
    a = b
    len += 1
  end
  ary = Array.new(n, 0)
  a.each{|c| ary[c[0] - m] += 1}
  ary[1..-1]
end

def b(k, m, n)
  a = (m..m + n - 1).map{|i| [i]}
  len = 1
  while len < n
    b = Array(Array(Int32)).new
    a.each{|c|
      (m..m + n - 1).each{|num|
        if !c.includes?(num)
          i = c.clone + [num]
          if (i[-2] * (len + k + 1)) >= (i[-1] * (len + k))
            b << i
          end
        end
      }
    }
    a = b
    len += 1
  end
  ary = Array.new(n, 0)
  a.each{|c| ary[c[0] - m] += 1}
  ary
end

(0..13).each{|i|
  (0..i + 1).each{|j|
    p a = (1..16).map{|k| a(i, j, k)}
    p b = (0..15).map{|k| b(i, j, k)}
    p [i, j, a == b]
  }
}

出力結果
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 2, 1, 2], [0, 1, 2, 2, 1, 3], [0, 1, 3, 5, 2, 3, 5], [0, 1, 3, 6, 5, 3, 4, 8], [0, 1, 4, 8, 12, 8, 5, 9, 13], [0, 1, 4, 12, 20, 18, 8, 11, 13, 21], [0, 1, 5, 18, 29, 42, 21, 22, 19, 27, 38], [0, 1, 5, 23, 44, 69, 48, 33, 30, 33, 38, 64], [0, 1, 6, 40, 77, 120, 128, 86, 69, 70, 66, 95, 116], [0, 1, 6, 41, 107, 196, 247, 188, 113, 116, 113, 124, 133, 216], [0, 1, 7, 61, 182, 302, 396, 451, 263, 246, 219, 239, 189, 283, 405]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 2, 1, 2], [0, 1, 2, 2, 1, 3], [0, 1, 3, 5, 2, 3, 5], [0, 1, 3, 6, 5, 3, 4, 8], [0, 1, 4, 8, 12, 8, 5, 9, 13], [0, 1, 4, 12, 20, 18, 8, 11, 13, 21], [0, 1, 5, 18, 29, 42, 21, 22, 19, 27, 38], [0, 1, 5, 23, 44, 69, 48, 33, 30, 33, 38, 64], [0, 1, 6, 40, 77, 120, 128, 86, 69, 70, 66, 95, 116], [0, 1, 6, 41, 107, 196, 247, 188, 113, 116, 113, 124, 133, 216], [0, 1, 7, 61, 182, 302, 396, 451, 263, 246, 219, 239, 189, 283, 405]]
[0, 0, true]
[[], [1], [1, 1], [1, 1, 1], [1, 2, 1, 2], [1, 2, 2, 1, 3], [1, 3, 5, 2, 3, 5], [1, 3, 6, 5, 3, 4, 8], [1, 4, 8, 12, 8, 5, 9, 13], [1, 4, 12, 20, 18, 8, 11, 13, 21], [1, 5, 18, 29, 42, 21, 22, 19, 27, 38], [1, 5, 23, 44, 69, 48, 33, 30, 33, 38, 64], [1, 6, 40, 77, 120, 128, 86, 69, 70, 66, 95, 116], [1, 6, 41, 107, 196, 247, 188, 113, 116, 113, 124, 133, 216], [1, 7, 61, 182, 302, 396, 451, 263, 246, 219, 239, 189, 283, 405], [1, 7, 79, 279, 512, 752, 932, 649, 393, 420, 470, 326, 403, 500, 714]]
[[], [1], [1, 1], [1, 1, 1], [1, 2, 1, 2], [1, 2, 2, 1, 3], [1, 3, 5, 2, 3, 5], [1, 3, 6, 5, 3, 4, 8], [1, 4, 8, 12, 8, 5, 9, 13], [1, 4, 12, 20, 18, 8, 11, 13, 21], [1, 5, 18, 29, 42, 21, 22, 19, 27, 38], [1, 5, 23, 44, 69, 48, 33, 30, 33, 38, 64], [1, 6, 40, 77, 120, 128, 86, 69, 70, 66, 95, 116], [1, 6, 41, 107, 196, 247, 188, 113, 116, 113, 124, 133, 216], [1, 7, 61, 182, 302, 396, 451, 263, 246, 219, 239, 189, 283, 405], [1, 7, 79, 279, 512, 752, 932, 649, 393, 420, 470, 326, 403, 500, 714]]
[0, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 2, 1, 3], [0, 0, 1, 1, 2, 2, 2, 5], [0, 0, 1, 1, 3, 3, 2, 4, 7], [0, 0, 1, 1, 3, 4, 5, 5, 7, 12], [0, 0, 1, 1, 4, 6, 8, 8, 7, 12, 17], [0, 0, 1, 1, 4, 7, 12, 11, 14, 16, 19, 31], [0, 0, 1, 1, 5, 10, 25, 21, 21, 26, 25, 35, 46], [0, 0, 1, 1, 5, 11, 25, 35, 36, 50, 46, 50, 56, 89], [0, 0, 1, 1, 6, 15, 40, 59, 68, 53, 77, 86, 67, 100, 141]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 2, 1, 3], [0, 0, 1, 1, 2, 2, 2, 5], [0, 0, 1, 1, 3, 3, 2, 4, 7], [0, 0, 1, 1, 3, 4, 5, 5, 7, 12], [0, 0, 1, 1, 4, 6, 8, 8, 7, 12, 17], [0, 0, 1, 1, 4, 7, 12, 11, 14, 16, 19, 31], [0, 0, 1, 1, 5, 10, 25, 21, 21, 26, 25, 35, 46], [0, 0, 1, 1, 5, 11, 25, 35, 36, 50, 46, 50, 56, 89], [0, 0, 1, 1, 6, 15, 40, 59, 68, 53, 77, 86, 67, 100, 141]]
[1, 0, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 2, 1, 3], [0, 1, 1, 2, 2, 2, 5], [0, 1, 1, 3, 3, 2, 4, 7], [0, 1, 1, 3, 4, 5, 5, 7, 12], [0, 1, 1, 4, 6, 8, 8, 7, 12, 17], [0, 1, 1, 4, 7, 12, 11, 14, 16, 19, 31], [0, 1, 1, 5, 10, 25, 21, 21, 26, 25, 35, 46], [0, 1, 1, 5, 11, 25, 35, 36, 50, 46, 50, 56, 89], [0, 1, 1, 6, 15, 40, 59, 68, 53, 77, 86, 67, 100, 141], [0, 1, 1, 6, 16, 57, 75, 131, 93, 151, 174, 132, 151, 186, 270]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 2, 1, 3], [0, 1, 1, 2, 2, 2, 5], [0, 1, 1, 3, 3, 2, 4, 7], [0, 1, 1, 3, 4, 5, 5, 7, 12], [0, 1, 1, 4, 6, 8, 8, 7, 12, 17], [0, 1, 1, 4, 7, 12, 11, 14, 16, 19, 31], [0, 1, 1, 5, 10, 25, 21, 21, 26, 25, 35, 46], [0, 1, 1, 5, 11, 25, 35, 36, 50, 46, 50, 56, 89], [0, 1, 1, 6, 15, 40, 59, 68, 53, 77, 86, 67, 100, 141], [0, 1, 1, 6, 16, 57, 75, 131, 93, 151, 174, 132, 151, 186, 270]]
[1, 1, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 2, 1, 3], [1, 1, 2, 2, 2, 5], [1, 1, 3, 3, 2, 4, 7], [1, 1, 3, 4, 5, 5, 7, 12], [1, 1, 4, 6, 8, 8, 7, 12, 17], [1, 1, 4, 7, 12, 11, 14, 16, 19, 31], [1, 1, 5, 10, 25, 21, 21, 26, 25, 35, 46], [1, 1, 5, 11, 25, 35, 36, 50, 46, 50, 56, 89], [1, 1, 6, 15, 40, 59, 68, 53, 77, 86, 67, 100, 141], [1, 1, 6, 16, 57, 75, 131, 93, 151, 174, 132, 151, 186, 270], [1, 1, 7, 21, 90, 129, 277, 205, 176, 317, 245, 266, 242, 333, 449]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 2, 1, 3], [1, 1, 2, 2, 2, 5], [1, 1, 3, 3, 2, 4, 7], [1, 1, 3, 4, 5, 5, 7, 12], [1, 1, 4, 6, 8, 8, 7, 12, 17], [1, 1, 4, 7, 12, 11, 14, 16, 19, 31], [1, 1, 5, 10, 25, 21, 21, 26, 25, 35, 46], [1, 1, 5, 11, 25, 35, 36, 50, 46, 50, 56, 89], [1, 1, 6, 15, 40, 59, 68, 53, 77, 86, 67, 100, 141], [1, 1, 6, 16, 57, 75, 131, 93, 151, 174, 132, 151, 186, 270], [1, 1, 7, 21, 90, 129, 277, 205, 176, 317, 245, 266, 242, 333, 449]]
[1, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 2, 2, 5], [0, 0, 0, 1, 1, 1, 2, 2, 3, 7], [0, 0, 0, 1, 1, 1, 3, 3, 4, 7, 11], [0, 0, 0, 1, 1, 1, 3, 4, 3, 7, 10, 16], [0, 0, 0, 1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [0, 0, 0, 1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [0, 0, 0, 1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 2, 2, 5], [0, 0, 0, 1, 1, 1, 2, 2, 3, 7], [0, 0, 0, 1, 1, 1, 3, 3, 4, 7, 11], [0, 0, 0, 1, 1, 1, 3, 4, 3, 7, 10, 16], [0, 0, 0, 1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [0, 0, 0, 1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [0, 0, 0, 1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70]]
[2, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 2, 2, 5], [0, 0, 1, 1, 1, 2, 2, 3, 7], [0, 0, 1, 1, 1, 3, 3, 4, 7, 11], [0, 0, 1, 1, 1, 3, 4, 3, 7, 10, 16], [0, 0, 1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [0, 0, 1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [0, 0, 1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70], [0, 0, 1, 1, 1, 5, 11, 14, 32, 25, 50, 58, 64, 76, 111]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 2, 2, 5], [0, 0, 1, 1, 1, 2, 2, 3, 7], [0, 0, 1, 1, 1, 3, 3, 4, 7, 11], [0, 0, 1, 1, 1, 3, 4, 3, 7, 10, 16], [0, 0, 1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [0, 0, 1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [0, 0, 1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70], [0, 0, 1, 1, 1, 5, 11, 14, 32, 25, 50, 58, 64, 76, 111]]
[2, 1, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 2, 2, 5], [0, 1, 1, 1, 2, 2, 3, 7], [0, 1, 1, 1, 3, 3, 4, 7, 11], [0, 1, 1, 1, 3, 4, 3, 7, 10, 16], [0, 1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [0, 1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [0, 1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70], [0, 1, 1, 1, 5, 11, 14, 32, 25, 50, 58, 64, 76, 111], [0, 1, 1, 1, 6, 15, 21, 54, 49, 69, 122, 128, 105, 150, 209]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 2, 2, 5], [0, 1, 1, 1, 2, 2, 3, 7], [0, 1, 1, 1, 3, 3, 4, 7, 11], [0, 1, 1, 1, 3, 4, 3, 7, 10, 16], [0, 1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [0, 1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [0, 1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70], [0, 1, 1, 1, 5, 11, 14, 32, 25, 50, 58, 64, 76, 111], [0, 1, 1, 1, 6, 15, 21, 54, 49, 69, 122, 128, 105, 150, 209]]
[2, 2, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 2, 2, 5], [1, 1, 1, 2, 2, 3, 7], [1, 1, 1, 3, 3, 4, 7, 11], [1, 1, 1, 3, 4, 3, 7, 10, 16], [1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70], [1, 1, 1, 5, 11, 14, 32, 25, 50, 58, 64, 76, 111], [1, 1, 1, 6, 15, 21, 54, 49, 69, 122, 128, 105, 150, 209], [1, 1, 1, 6, 16, 25, 78, 75, 68, 141, 210, 178, 171, 220, 348]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 2, 2, 5], [1, 1, 1, 2, 2, 3, 7], [1, 1, 1, 3, 3, 4, 7, 11], [1, 1, 1, 3, 4, 3, 7, 10, 16], [1, 1, 1, 4, 6, 5, 14, 12, 19, 26], [1, 1, 1, 4, 7, 7, 11, 20, 22, 26, 41], [1, 1, 1, 5, 10, 11, 19, 25, 42, 35, 50, 70], [1, 1, 1, 5, 11, 14, 32, 25, 50, 58, 64, 76, 111], [1, 1, 1, 6, 15, 21, 54, 49, 69, 122, 128, 105, 150, 209], [1, 1, 1, 6, 16, 25, 78, 75, 68, 141, 210, 178, 171, 220, 348]]
[2, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 2, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 0, 0, 0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 0, 0, 0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 2, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 0, 0, 0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 0, 0, 0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35]]
[3, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 2, 3, 7], [0, 0, 0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 0, 0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 0, 0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 0, 0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [0, 0, 0, 1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 2, 3, 7], [0, 0, 0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 0, 0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 0, 0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 0, 0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [0, 0, 0, 1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63]]
[3, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 2, 3, 7], [0, 0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [0, 0, 1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63], [0, 0, 1, 1, 1, 1, 5, 10, 11, 14, 36, 58, 48, 68, 94]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 2, 3, 7], [0, 0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [0, 0, 1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63], [0, 0, 1, 1, 1, 1, 5, 10, 11, 14, 36, 58, 48, 68, 94]]
[3, 2, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 2, 3, 7], [0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [0, 1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63], [0, 1, 1, 1, 1, 5, 10, 11, 14, 36, 58, 48, 68, 94], [0, 1, 1, 1, 1, 5, 11, 14, 18, 42, 72, 92, 89, 108, 171]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 2, 3, 7], [0, 1, 1, 1, 1, 2, 4, 5, 11], [0, 1, 1, 1, 1, 3, 3, 6, 10, 15], [0, 1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [0, 1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [0, 1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63], [0, 1, 1, 1, 1, 5, 10, 11, 14, 36, 58, 48, 68, 94], [0, 1, 1, 1, 1, 5, 11, 14, 18, 42, 72, 92, 89, 108, 171]]
[3, 3, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 2, 3, 7], [1, 1, 1, 1, 2, 4, 5, 11], [1, 1, 1, 1, 3, 3, 6, 10, 15], [1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63], [1, 1, 1, 1, 5, 10, 11, 14, 36, 58, 48, 68, 94], [1, 1, 1, 1, 5, 11, 14, 18, 42, 72, 92, 89, 108, 171], [1, 1, 1, 1, 6, 15, 21, 29, 45, 85, 122, 158, 136, 202, 266]]

[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 2, 3, 7], [1, 1, 1, 1, 2, 4, 5, 11], [1, 1, 1, 1, 3, 3, 6, 10, 15], [1, 1, 1, 1, 3, 4, 6, 12, 16, 25], [1, 1, 1, 1, 4, 6, 5, 14, 17, 26, 35], [1, 1, 1, 1, 4, 7, 7, 14, 34, 35, 41, 63], [1, 1, 1, 1, 5, 10, 11, 14, 36, 58, 48, 68, 94], [1, 1, 1, 1, 5, 11, 14, 18, 42, 72, 92, 89, 108, 171], [1, 1, 1, 1, 6, 15, 21, 29, 45, 85, 122, 158, 136, 202, 266]]
[3, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23]]
[4, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34]]
[4, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 0, 0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [0, 0, 0, 1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 0, 0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [0, 0, 0, 1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54]]
[4, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [0, 0, 1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54], [0, 0, 1, 1, 1, 1, 1, 4, 7, 7, 20, 34, 48, 56, 85]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [0, 0, 1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54], [0, 0, 1, 1, 1, 1, 1, 4, 7, 7, 20, 34, 48, 56, 85]]
[4, 3, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [0, 1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54], [0, 1, 1, 1, 1, 1, 4, 7, 7, 20, 34, 48, 56, 85], [0, 1, 1, 1, 1, 1, 5, 10, 11, 25, 41, 92, 75, 106, 145]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 4, 5, 11], [0, 1, 1, 1, 1, 1, 2, 6, 7, 15], [0, 1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [0, 1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [0, 1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54], [0, 1, 1, 1, 1, 1, 4, 7, 7, 20, 34, 48, 56, 85], [0, 1, 1, 1, 1, 1, 5, 10, 11, 25, 41, 92, 75, 106, 145]]
[4, 4, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 4, 5, 11], [1, 1, 1, 1, 1, 2, 6, 7, 15], [1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54], [1, 1, 1, 1, 1, 4, 7, 7, 20, 34, 48, 56, 85], [1, 1, 1, 1, 1, 5, 10, 11, 25, 41, 92, 75, 106, 145], [1, 1, 1, 1, 1, 5, 11, 14, 18, 40, 100, 126, 121, 147, 231]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 4, 5, 11], [1, 1, 1, 1, 1, 2, 6, 7, 15], [1, 1, 1, 1, 1, 3, 6, 10, 16, 23], [1, 1, 1, 1, 1, 3, 4, 9, 17, 22, 34], [1, 1, 1, 1, 1, 4, 6, 10, 24, 27, 41, 54], [1, 1, 1, 1, 1, 4, 7, 7, 20, 34, 48, 56, 85], [1, 1, 1, 1, 1, 5, 10, 11, 25, 41, 92, 75, 106, 145], [1, 1, 1, 1, 1, 5, 11, 14, 18, 40, 100, 126, 121, 147, 231]]
[4, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15]]
[5, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23]]
[5, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31]]
[5, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52]]
[5, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [0, 0, 1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52], [0, 0, 1, 1, 1, 1, 1, 1, 4, 6, 15, 34, 37, 56, 73]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [0, 0, 1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52], [0, 0, 1, 1, 1, 1, 1, 1, 4, 6, 15, 34, 37, 56, 73]]
[5, 4, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [0, 1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52], [0, 1, 1, 1, 1, 1, 1, 4, 6, 15, 34, 37, 56, 73], [0, 1, 1, 1, 1, 1, 1, 4, 7, 14, 34, 54, 75, 86, 131]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 6, 7, 15], [0, 1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [0, 1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [0, 1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52], [0, 1, 1, 1, 1, 1, 1, 4, 6, 15, 34, 37, 56, 73], [0, 1, 1, 1, 1, 1, 1, 4, 7, 14, 34, 54, 75, 86, 131]]
[5, 5, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 6, 7, 15], [1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52], [1, 1, 1, 1, 1, 1, 4, 6, 15, 34, 37, 56, 73], [1, 1, 1, 1, 1, 1, 4, 7, 14, 34, 54, 75, 86, 131], [1, 1, 1, 1, 1, 1, 5, 10, 11, 36, 58, 89, 102, 144, 196]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 6, 7, 15], [1, 1, 1, 1, 1, 1, 4, 10, 11, 23], [1, 1, 1, 1, 1, 1, 3, 9, 14, 22, 31], [1, 1, 1, 1, 1, 1, 3, 8, 15, 27, 34, 52], [1, 1, 1, 1, 1, 1, 4, 6, 15, 34, 37, 56, 73], [1, 1, 1, 1, 1, 1, 4, 7, 14, 34, 54, 75, 86, 131], [1, 1, 1, 1, 1, 1, 5, 10, 11, 36, 58, 89, 102, 144, 196]]
[5, 6, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[6, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[6, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23]]
[6, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31]]
[6, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47]]
[6, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 12, 21, 37, 46, 70]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 12, 21, 37, 46, 70]]
[6, 5, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47], [0, 1, 1, 1, 1, 1, 1, 1, 3, 12, 21, 37, 46, 70], [0, 1, 1, 1, 1, 1, 1, 1, 4, 12, 25, 54, 57, 86, 111]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47], [0, 1, 1, 1, 1, 1, 1, 1, 3, 12, 21, 37, 46, 70], [0, 1, 1, 1, 1, 1, 1, 1, 4, 12, 25, 54, 57, 86, 111]]
[6, 6, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47], [1, 1, 1, 1, 1, 1, 1, 3, 12, 21, 37, 46, 70], [1, 1, 1, 1, 1, 1, 1, 4, 12, 25, 54, 57, 86, 111], [1, 1, 1, 1, 1, 1, 1, 4, 7, 21, 48, 74, 102, 116, 177]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 10, 11, 23], [1, 1, 1, 1, 1, 1, 1, 6, 14, 15, 31], [1, 1, 1, 1, 1, 1, 1, 6, 15, 22, 34, 47], [1, 1, 1, 1, 1, 1, 1, 3, 12, 21, 37, 46, 70], [1, 1, 1, 1, 1, 1, 1, 4, 12, 25, 54, 57, 86, 111], [1, 1, 1, 1, 1, 1, 1, 4, 7, 21, 48, 74, 102, 116, 177]]
[6, 7, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[7, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[7, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[7, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[7, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31]]
[7, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47]]
[7, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 9, 21, 30, 46, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 9, 21, 30, 46, 63]]
[7, 6, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 9, 21, 30, 46, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 6, 20, 33, 57, 70, 106]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 9, 21, 30, 46, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 6, 20, 33, 57, 70, 106]]
[7, 7, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 9, 21, 30, 46, 63], [1, 1, 1, 1, 1, 1, 1, 1, 6, 20, 33, 57, 70, 106], [1, 1, 1, 1, 1, 1, 1, 1, 4, 18, 35, 74, 77, 116, 149]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 14, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 10, 22, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 9, 21, 30, 46, 63], [1, 1, 1, 1, 1, 1, 1, 1, 6, 20, 33, 57, 70, 106], [1, 1, 1, 1, 1, 1, 1, 1, 4, 18, 35, 74, 77, 116, 149]]
[7, 8, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[8, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[8, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[8, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[8, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[8, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[8, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47]]
[8, 6, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 14, 30, 31, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 14, 30, 31, 63]]
[8, 7, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 14, 30, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 15, 33, 46, 70, 95]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 14, 30, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 15, 33, 46, 70, 95]]
[8, 8, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 14, 30, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 15, 33, 46, 70, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 28, 45, 77, 94, 142]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 14, 30, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 15, 33, 46, 70, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 28, 45, 77, 94, 142]]
[8, 9, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[9, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[9, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[9, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[9, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[9, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[9, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[9, 6, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[9, 7, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 31, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 31, 63]]
[9, 8, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 46, 47, 95]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 46, 47, 95]]
[9, 9, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 46, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 21, 45, 62, 94, 127]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 22, 46, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 21, 45, 62, 94, 127]]
[9, 10, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[10, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[10, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[10, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[10, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[10, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[10, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[10, 6, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[10, 7, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[10, 8, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[10, 9, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 46, 47, 95]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 46, 47, 95]]
[10, 10, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 46, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 62, 63, 127]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 46, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 30, 62, 63, 127]]
[10, 11, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]]
[11, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[11, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[11, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[11, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[11, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[11, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[11, 6, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[11, 7, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[11, 8, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[11, 9, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[11, 10, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95]]
[11, 11, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 62, 63, 127]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 62, 63, 127]]
[11, 12, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]]
[12, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]]
[12, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[12, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[12, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[12, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[12, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[12, 6, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[12, 7, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[12, 8, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[12, 9, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[12, 10, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[12, 11, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95]]
[12, 12, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63, 127]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63, 127]]
[12, 13, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]]
[13, 0, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]]
[13, 1, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]]
[13, 2, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2]]
[13, 3, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3]]
[13, 4, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5]]
[13, 5, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7]]
[13, 6, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11]]
[13, 7, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15]]
[13, 8, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23]]
[13, 9, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31]]
[13, 10, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 0, 1], [0, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1], [0, 0, 0, 1, 1, 1, 2], [0, 0, 0, 1, 1, 1, 1, 3], [0, 0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47]]
[13, 11, true]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[[], [1], [0, 1], [0, 0, 1], [0, 0, 1, 1], [0, 0, 1, 1, 1], [0, 0, 1, 1, 1, 2], [0, 0, 1, 1, 1, 1, 3], [0, 0, 1, 1, 1, 1, 2, 5], [0, 0, 1, 1, 1, 1, 1, 3, 7], [0, 0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63]]
[13, 12, true]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95]]
[[], [1], [0, 1], [0, 1, 1], [0, 1, 1, 1], [0, 1, 1, 1, 2], [0, 1, 1, 1, 1, 3], [0, 1, 1, 1, 1, 2, 5], [0, 1, 1, 1, 1, 1, 3, 7], [0, 1, 1, 1, 1, 1, 2, 5, 11], [0, 1, 1, 1, 1, 1, 1, 3, 7, 15], [0, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [0, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [0, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [0, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95]]
[13, 13, true]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63, 127]]
[[], [1], [1, 1], [1, 1, 1], [1, 1, 1, 2], [1, 1, 1, 1, 3], [1, 1, 1, 1, 2, 5], [1, 1, 1, 1, 1, 3, 7], [1, 1, 1, 1, 1, 2, 5, 11], [1, 1, 1, 1, 1, 1, 3, 7, 15], [1, 1, 1, 1, 1, 1, 2, 5, 11, 23], [1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31], [1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47], [1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63], [1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 11, 23, 47, 95], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 7, 15, 31, 63, 127]]
[13, 14, true]