cert_all_n5_11.jsonl: 101 lines, 0 rejected []
   n=5: classes C not certified: [((1, 1, 1, 1, 1), 0)]
   n=6: classes C not certified: [((1, 1, 1, 1, 1, 1), 0)]
   n=7: classes C not certified: [((1, 1, 1, 1, 1, 1, 1), 0)]
   n=8: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=9: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=10: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=11: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   half labels: 11 split types seen, claim's labels swapped relative to mine for 0: []
cert_all_n12_14.jsonl: 167 lines, 0 rejected []
   n=12: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=13: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=14: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   half labels: 9 split types seen, claim's labels swapped relative to mine for 0: []
cert_all_n15_18.jsonl: 569 lines, 0 rejected []
   n=15: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=16: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=17: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   n=18: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0)]
   half labels: 19 split types seen, claim's labels swapped relative to mine for 0: []
cert_small_n5_23.jsonl: 95 lines, 0 rejected []
   n=5: classes C not certified: [((1, 1, 1, 1, 1), 0)]
   n=6: classes C not certified: [((1, 1, 1, 1, 1, 1), 0)]
   n=7: classes C not certified: [((1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2), 0), ((7,), -1), ((7,), 1)]
   n=8: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2), 0), ((3, 2, 2, 1), 0), ((4, 4), 0), ((5, 3), -1), ((5, 3), 1), ((6, 2), 0), ((7, 1), -1), ((7, 1), 1)]
   n=9: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1), 0), ((3, 2, 2, 1, 1), 0), ((3, 3, 3), 0), ((4, 3, 2), 0), ((4, 4, 1), 0), ((5, 2, 2), 0), ((5, 3, 1), -1), ((5, 3, 1), 1), ((6, 2, 1), 0), ((7, 1, 1), 0), ((9,), -1), ((9,), 1)]
   n=10: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1), 0), ((3, 2, 2, 1, 1, 1), 0), ((3, 3, 2, 2), 0), ((3, 3, 3, 1), 0), ((4, 2, 2, 2), 0), ((4, 3, 2, 1), 0), ((4, 4, 1, 1), 0), ((5, 2, 2, 1), 0), ((5, 3, 1, 1), 0), ((5, 5), 0), ((6, 2, 1, 1), 0), ((6, 4), 0), ((7, 1, 1, 1), 0), ((7, 3), -1), ((7, 3), 1), ((8, 2), 0), ((9, 1), -1), ((9, 1), 1)]
   n=11: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1), 0), ((3, 2, 2, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2), 0), ((3, 3, 2, 2, 1), 0), ((3, 3, 3, 1, 1), 0), ((4, 2, 2, 2, 1), 0), ((4, 3, 2, 1, 1), 0), ((4, 4, 1, 1, 1), 0), ((4, 4, 3), 0), ((5, 2, 2, 1, 1), 0), ((5, 3, 1, 1, 1), 0), ((5, 3, 3), 0), ((5, 4, 2), 0), ((5, 5, 1), 0), ((6, 2, 1, 1, 1), 0), ((6, 3, 2), 0), ((6, 4, 1), 0), ((7, 1, 1, 1, 1), 0), ((7, 2, 2), 0), ((7, 3, 1), -1), ((7, 3, 1), 1), ((8, 2, 1), 0), ((9, 1, 1), 0), ((11,), -1), ((11,), 1)]
   n=12: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2), 0), ((3, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1), 0), ((3, 3, 2, 2, 1, 1), 0), ((3, 3, 3, 1, 1, 1), 0), ((3, 3, 3, 3), 0), ((4, 2, 2, 2, 1, 1), 0), ((4, 3, 2, 1, 1, 1), 0), ((4, 3, 3, 2), 0), ((4, 4, 1, 1, 1, 1), 0), ((4, 4, 2, 2), 0), ((4, 4, 3, 1), 0), ((5, 2, 2, 1, 1, 1), 0), ((5, 3, 1, 1, 1, 1), 0), ((5, 3, 2, 2), 0), ((5, 3, 3, 1), 0), ((5, 4, 2, 1), 0), ((5, 5, 1, 1), 0), ((6, 2, 1, 1, 1, 1), 0), ((6, 2, 2, 2), 0), ((6, 3, 2, 1), 0), ((6, 4, 1, 1), 0), ((6, 6), 0), ((7, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1), 0), ((7, 3, 1, 1), 0), ((7, 5), -1), ((7, 5), 1), ((8, 2, 1, 1), 0), ((8, 4), 0), ((9, 1, 1, 1), 0), ((9, 3), -1), ((9, 3), 1), ((10, 2), 0), ((11, 1), -1), ((11, 1), 1)]
   n=13: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2), 0), ((3, 3, 3, 3, 1), 0), ((4, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 2, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2), 0), ((4, 3, 3, 2, 1), 0), ((4, 4, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1), 0), ((4, 4, 3, 1, 1), 0), ((5, 2, 2, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2), 0), ((5, 3, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1), 0), ((5, 3, 3, 1, 1), 0), ((5, 4, 2, 1, 1), 0), ((5, 4, 4), 0), ((5, 5, 1, 1, 1), 0), ((5, 5, 3), 0), ((6, 2, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1), 0), ((6, 3, 2, 1, 1), 0), ((6, 4, 1, 1, 1), 0), ((6, 4, 3), 0), ((6, 5, 2), 0), ((6, 6, 1), 0), ((7, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1), 0), ((7, 3, 1, 1, 1), 0), ((7, 3, 3), 0), ((7, 4, 2), 0), ((7, 5, 1), -1), ((7, 5, 1), 1), ((8, 2, 1, 1, 1), 0), ((8, 3, 2), 0), ((8, 4, 1), 0), ((9, 1, 1, 1, 1), 0), ((9, 2, 2), 0), ((9, 3, 1), -1), ((9, 3, 1), 1), ((10, 2, 1), 0), ((11, 1, 1), 0), ((13,), -1), ((13,), 1)]
   n=14: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 3, 2, 2, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2), 0), ((3, 3, 3, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1), 0), ((3, 3, 3, 3, 1, 1), 0), ((4, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2), 0), ((4, 3, 2, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1), 0), ((4, 3, 3, 2, 1, 1), 0), ((4, 4, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1), 0), ((4, 4, 3, 1, 1, 1), 0), ((4, 4, 3, 3), 0), ((4, 4, 4, 2), 0), ((5, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1), 0), ((5, 3, 3, 1, 1, 1), 0), ((5, 3, 3, 3), 0), ((5, 4, 2, 1, 1, 1), 0), ((5, 4, 3, 2), 0), ((5, 4, 4, 1), 0), ((5, 5, 1, 1, 1, 1), 0), ((5, 5, 2, 2), 0), ((5, 5, 3, 1), 0), ((6, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1), 0), ((6, 3, 2, 1, 1, 1), 0), ((6, 3, 3, 2), 0), ((6, 4, 1, 1, 1, 1), 0), ((6, 4, 2, 2), 0), ((6, 4, 3, 1), 0), ((6, 5, 2, 1), 0), ((6, 6, 1, 1), 0), ((7, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1), 0), ((7, 3, 1, 1, 1, 1), 0), ((7, 3, 2, 2), 0), ((7, 3, 3, 1), 0), ((7, 4, 2, 1), 0), ((7, 5, 1, 1), 0), ((7, 7), 0), ((8, 2, 1, 1, 1, 1), 0), ((8, 2, 2, 2), 0), ((8, 3, 2, 1), 0), ((8, 4, 1, 1), 0), ((8, 6), 0), ((9, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1), 0), ((9, 3, 1, 1), 0), ((9, 5), -1), ((9, 5), 1), ((10, 2, 1, 1), 0), ((10, 4), 0), ((11, 1, 1, 1), 0), ((11, 3), -1), ((11, 3), 1), ((12, 2), 0), ((13, 1), -1), ((13, 1), 1)]
   n=15: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1), 0), ((3, 3, 3, 3, 1, 1, 1), 0), ((3, 3, 3, 3, 3), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1), 0), ((4, 3, 3, 2, 1, 1, 1), 0), ((4, 3, 3, 3, 2), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1), 0), ((4, 4, 3, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2), 0), ((4, 4, 3, 3, 1), 0), ((4, 4, 4, 2, 1), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1), 0), ((5, 3, 3, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2), 0), ((5, 3, 3, 3, 1), 0), ((5, 4, 2, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2), 0), ((5, 4, 3, 2, 1), 0), ((5, 4, 4, 1, 1), 0), ((5, 5, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1), 0), ((5, 5, 3, 1, 1), 0), ((5, 5, 5), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1), 0), ((6, 3, 2, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2), 0), ((6, 3, 3, 2, 1), 0), ((6, 4, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1), 0), ((6, 4, 3, 1, 1), 0), ((6, 5, 2, 1, 1), 0), ((6, 5, 4), 0), ((6, 6, 1, 1, 1), 0), ((6, 6, 3), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2), 0), ((7, 3, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1), 0), ((7, 3, 3, 1, 1), 0), ((7, 4, 2, 1, 1), 0), ((7, 4, 4), 0), ((7, 5, 1, 1, 1), 0), ((7, 5, 3), -1), ((7, 5, 3), 1), ((7, 6, 2), 0), ((7, 7, 1), 0), ((8, 2, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1), 0), ((8, 3, 2, 1, 1), 0), ((8, 4, 1, 1, 1), 0), ((8, 4, 3), 0), ((8, 5, 2), 0), ((8, 6, 1), 0), ((9, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1), 0), ((9, 3, 1, 1, 1), 0), ((9, 3, 3), 0), ((9, 4, 2), 0), ((9, 5, 1), -1), ((9, 5, 1), 1), ((10, 2, 1, 1, 1), 0), ((10, 3, 2), 0), ((10, 4, 1), 0), ((11, 1, 1, 1, 1), 0), ((11, 2, 2), 0), ((11, 3, 1), -1), ((11, 3, 1), 1), ((12, 2, 1), 0), ((13, 1, 1), 0), ((15,), -1), ((15,), 1)]
   n=16: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 3, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2), 0), ((3, 3, 3, 3, 3, 1), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 3, 2, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2), 0), ((4, 3, 3, 3, 2, 1), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2), 0), ((4, 4, 3, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1), 0), ((4, 4, 3, 3, 1, 1), 0), ((4, 4, 4, 2, 1, 1), 0), ((4, 4, 4, 4), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2), 0), ((5, 3, 3, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1), 0), ((5, 3, 3, 3, 1, 1), 0), ((5, 4, 2, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1), 0), ((5, 4, 3, 2, 1, 1), 0), ((5, 4, 4, 1, 1, 1), 0), ((5, 4, 4, 3), 0), ((5, 5, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1), 0), ((5, 5, 3, 1, 1, 1), 0), ((5, 5, 3, 3), 0), ((5, 5, 4, 2), 0), ((5, 5, 5, 1), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2), 0), ((6, 3, 2, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1), 0), ((6, 3, 3, 2, 1, 1), 0), ((6, 4, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1), 0), ((6, 4, 3, 1, 1, 1), 0), ((6, 4, 3, 3), 0), ((6, 4, 4, 2), 0), ((6, 5, 2, 1, 1, 1), 0), ((6, 5, 3, 2), 0), ((6, 5, 4, 1), 0), ((6, 6, 1, 1, 1, 1), 0), ((6, 6, 2, 2), 0), ((6, 6, 3, 1), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1), 0), ((7, 3, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1), 0), ((7, 3, 3, 1, 1, 1), 0), ((7, 3, 3, 3), 0), ((7, 4, 2, 1, 1, 1), 0), ((7, 4, 3, 2), 0), ((7, 4, 4, 1), 0), ((7, 5, 1, 1, 1, 1), 0), ((7, 5, 2, 2), 0), ((7, 5, 3, 1), -1), ((7, 5, 3, 1), 1), ((7, 6, 2, 1), 0), ((7, 7, 1, 1), 0), ((8, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1), 0), ((8, 3, 2, 1, 1, 1), 0), ((8, 3, 3, 2), 0), ((8, 4, 1, 1, 1, 1), 0), ((8, 4, 2, 2), 0), ((8, 4, 3, 1), 0), ((8, 5, 2, 1), 0), ((8, 6, 1, 1), 0), ((8, 8), 0), ((9, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1), 0), ((9, 3, 1, 1, 1, 1), 0), ((9, 3, 2, 2), 0), ((9, 3, 3, 1), 0), ((9, 4, 2, 1), 0), ((9, 5, 1, 1), 0), ((9, 7), -1), ((9, 7), 1), ((10, 2, 1, 1, 1, 1), 0), ((10, 2, 2, 2), 0), ((10, 3, 2, 1), 0), ((10, 4, 1, 1), 0), ((10, 6), 0), ((11, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1), 0), ((11, 3, 1, 1), 0), ((11, 5), -1), ((11, 5), 1), ((12, 2, 1, 1), 0), ((12, 4), 0), ((13, 1, 1, 1), 0), ((13, 3), -1), ((13, 3), 1), ((14, 2), 0), ((15, 1), -1), ((15, 1), 1)]
   n=17: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2), 0), ((3, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 1), 0), ((3, 3, 3, 3, 3, 1, 1), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2), 0), ((4, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 1), 0), ((4, 3, 3, 3, 2, 1, 1), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 1), 0), ((4, 4, 3, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1, 1), 0), ((4, 4, 3, 3, 1, 1, 1), 0), ((4, 4, 3, 3, 3), 0), ((4, 4, 4, 2, 1, 1, 1), 0), ((4, 4, 4, 3, 2), 0), ((4, 4, 4, 4, 1), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 1), 0), ((5, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1, 1), 0), ((5, 3, 3, 3, 1, 1, 1), 0), ((5, 3, 3, 3, 3), 0), ((5, 4, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1, 1), 0), ((5, 4, 3, 2, 1, 1, 1), 0), ((5, 4, 3, 3, 2), 0), ((5, 4, 4, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2), 0), ((5, 4, 4, 3, 1), 0), ((5, 5, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1, 1), 0), ((5, 5, 3, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2), 0), ((5, 5, 3, 3, 1), 0), ((5, 5, 4, 2, 1), 0), ((5, 5, 5, 1, 1), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 1), 0), ((6, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1, 1), 0), ((6, 3, 3, 2, 1, 1, 1), 0), ((6, 3, 3, 3, 2), 0), ((6, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1, 1), 0), ((6, 4, 3, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2), 0), ((6, 4, 3, 3, 1), 0), ((6, 4, 4, 2, 1), 0), ((6, 5, 2, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2), 0), ((6, 5, 3, 2, 1), 0), ((6, 5, 4, 1, 1), 0), ((6, 6, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 1), 0), ((6, 6, 3, 1, 1), 0), ((6, 6, 5), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1, 1), 0), ((7, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1, 1), 0), ((7, 3, 3, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2), 0), ((7, 3, 3, 3, 1), 0), ((7, 4, 2, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2), 0), ((7, 4, 3, 2, 1), 0), ((7, 4, 4, 1, 1), 0), ((7, 5, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 1), 0), ((7, 5, 3, 1, 1), 0), ((7, 5, 5), 0), ((7, 6, 2, 1, 1), 0), ((7, 6, 4), 0), ((7, 7, 1, 1, 1), 0), ((7, 7, 3), 0), ((8, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1, 1), 0), ((8, 3, 2, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2), 0), ((8, 3, 3, 2, 1), 0), ((8, 4, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 1), 0), ((8, 4, 3, 1, 1), 0), ((8, 5, 2, 1, 1), 0), ((8, 5, 4), 0), ((8, 6, 1, 1, 1), 0), ((8, 6, 3), 0), ((8, 7, 2), 0), ((8, 8, 1), 0), ((9, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2), 0), ((9, 3, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 1), 0), ((9, 3, 3, 1, 1), 0), ((9, 4, 2, 1, 1), 0), ((9, 4, 4), 0), ((9, 5, 1, 1, 1), 0), ((9, 5, 3), -1), ((9, 5, 3), 1), ((9, 6, 2), 0), ((9, 7, 1), -1), ((9, 7, 1), 1), ((10, 2, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 1), 0), ((10, 3, 2, 1, 1), 0), ((10, 4, 1, 1, 1), 0), ((10, 4, 3), 0), ((10, 5, 2), 0), ((10, 6, 1), 0), ((11, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1, 1), 0), ((11, 3, 1, 1, 1), 0), ((11, 3, 3), 0), ((11, 4, 2), 0), ((11, 5, 1), -1), ((11, 5, 1), 1), ((12, 2, 1, 1, 1), 0), ((12, 3, 2), 0), ((12, 4, 1), 0), ((13, 1, 1, 1, 1), 0), ((13, 2, 2), 0), ((13, 3, 1), -1), ((13, 3, 1), 1), ((14, 2, 1), 0), ((15, 1, 1), 0), ((17,), -1), ((17,), 1)]
   n=18: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 1), 0), ((3, 3, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 1, 1), 0), ((3, 3, 3, 3, 3, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 3), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 1), 0), ((4, 3, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 1, 1), 0), ((4, 3, 3, 3, 2, 1, 1, 1), 0), ((4, 3, 3, 3, 3, 2), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 1, 1), 0), ((4, 4, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1, 1, 1), 0), ((4, 4, 3, 3, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2), 0), ((4, 4, 3, 3, 3, 1), 0), ((4, 4, 4, 2, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2), 0), ((4, 4, 4, 3, 2, 1), 0), ((4, 4, 4, 4, 1, 1), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 1, 1), 0), ((5, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1, 1, 1), 0), ((5, 3, 3, 3, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2), 0), ((5, 3, 3, 3, 3, 1), 0), ((5, 4, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1, 1, 1), 0), ((5, 4, 3, 2, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2), 0), ((5, 4, 3, 3, 2, 1), 0), ((5, 4, 4, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 1), 0), ((5, 4, 4, 3, 1, 1), 0), ((5, 5, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2), 0), ((5, 5, 3, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 1), 0), ((5, 5, 3, 3, 1, 1), 0), ((5, 5, 4, 2, 1, 1), 0), ((5, 5, 4, 4), 0), ((5, 5, 5, 1, 1, 1), 0), ((5, 5, 5, 3), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 1, 1), 0), ((6, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1, 1, 1), 0), ((6, 3, 3, 2, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2), 0), ((6, 3, 3, 3, 2, 1), 0), ((6, 4, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2), 0), ((6, 4, 3, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 1), 0), ((6, 4, 3, 3, 1, 1), 0), ((6, 4, 4, 2, 1, 1), 0), ((6, 4, 4, 4), 0), ((6, 5, 2, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 1), 0), ((6, 5, 3, 2, 1, 1), 0), ((6, 5, 4, 1, 1, 1), 0), ((6, 5, 4, 3), 0), ((6, 5, 5, 2), 0), ((6, 6, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 1, 1), 0), ((6, 6, 3, 1, 1, 1), 0), ((6, 6, 3, 3), 0), ((6, 6, 4, 2), 0), ((6, 6, 5, 1), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1, 1, 1), 0), ((7, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2), 0), ((7, 3, 3, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 1), 0), ((7, 3, 3, 3, 1, 1), 0), ((7, 4, 2, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 1), 0), ((7, 4, 3, 2, 1, 1), 0), ((7, 4, 4, 1, 1, 1), 0), ((7, 4, 4, 3), 0), ((7, 5, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 1, 1), 0), ((7, 5, 3, 1, 1, 1), 0), ((7, 5, 3, 3), 0), ((7, 5, 4, 2), 0), ((7, 5, 5, 1), 0), ((7, 6, 2, 1, 1, 1), 0), ((7, 6, 3, 2), 0), ((7, 6, 4, 1), 0), ((7, 7, 1, 1, 1, 1), 0), ((7, 7, 2, 2), 0), ((7, 7, 3, 1), 0), ((8, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2), 0), ((8, 3, 2, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 1), 0), ((8, 3, 3, 2, 1, 1), 0), ((8, 4, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 1, 1), 0), ((8, 4, 3, 1, 1, 1), 0), ((8, 4, 3, 3), 0), ((8, 4, 4, 2), 0), ((8, 5, 2, 1, 1, 1), 0), ((8, 5, 3, 2), 0), ((8, 5, 4, 1), 0), ((8, 6, 1, 1, 1, 1), 0), ((8, 6, 2, 2), 0), ((8, 6, 3, 1), 0), ((8, 7, 2, 1), 0), ((8, 8, 1, 1), 0), ((9, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 1), 0), ((9, 3, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 1, 1), 0), ((9, 3, 3, 1, 1, 1), 0), ((9, 3, 3, 3), 0), ((9, 4, 2, 1, 1, 1), 0), ((9, 4, 3, 2), 0), ((9, 4, 4, 1), 0), ((9, 5, 1, 1, 1, 1), 0), ((9, 5, 2, 2), 0), ((9, 5, 3, 1), -1), ((9, 5, 3, 1), 1), ((9, 6, 2, 1), 0), ((9, 7, 1, 1), 0), ((9, 9), 0), ((10, 2, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 1, 1), 0), ((10, 3, 2, 1, 1, 1), 0), ((10, 3, 3, 2), 0), ((10, 4, 1, 1, 1, 1), 0), ((10, 4, 2, 2), 0), ((10, 4, 3, 1), 0), ((10, 5, 2, 1), 0), ((10, 6, 1, 1), 0), ((10, 8), 0), ((11, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1, 1, 1), 0), ((11, 3, 1, 1, 1, 1), 0), ((11, 3, 2, 2), 0), ((11, 3, 3, 1), 0), ((11, 4, 2, 1), 0), ((11, 5, 1, 1), 0), ((11, 7), -1), ((11, 7), 1), ((12, 2, 1, 1, 1, 1), 0), ((12, 2, 2, 2), 0), ((12, 3, 2, 1), 0), ((12, 4, 1, 1), 0), ((12, 6), 0), ((13, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 1), 0), ((13, 3, 1, 1), 0), ((13, 5), -1), ((13, 5), 1), ((14, 2, 1, 1), 0), ((14, 4), 0), ((15, 1, 1, 1), 0), ((15, 3), -1), ((15, 3), 1), ((16, 2), 0), ((17, 1), -1), ((17, 1), 1)]
   n=19: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 2, 2), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2, 1), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 2, 2), 0), ((3, 3, 3, 3, 3, 3, 1), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 1, 1), 0), ((4, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 2, 2), 0), ((4, 3, 3, 3, 3, 2, 1), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 1, 1, 1), 0), ((4, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 2, 2), 0), ((4, 4, 3, 3, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2, 1), 0), ((4, 4, 3, 3, 3, 1, 1), 0), ((4, 4, 4, 2, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2, 1), 0), ((4, 4, 4, 3, 2, 1, 1), 0), ((4, 4, 4, 4, 1, 1, 1), 0), ((4, 4, 4, 4, 3), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((5, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 2, 2), 0), ((5, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2, 1), 0), ((5, 3, 3, 3, 3, 1, 1), 0), ((5, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 2, 2), 0), ((5, 4, 3, 2, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2, 1), 0), ((5, 4, 3, 3, 2, 1, 1), 0), ((5, 4, 4, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 1, 1), 0), ((5, 4, 4, 3, 1, 1, 1), 0), ((5, 4, 4, 3, 3), 0), ((5, 4, 4, 4, 2), 0), ((5, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2, 1), 0), ((5, 5, 3, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 1, 1), 0), ((5, 5, 3, 3, 1, 1, 1), 0), ((5, 5, 3, 3, 3), 0), ((5, 5, 4, 2, 1, 1, 1), 0), ((5, 5, 4, 3, 2), 0), ((5, 5, 4, 4, 1), 0), ((5, 5, 5, 1, 1, 1, 1), 0), ((5, 5, 5, 2, 2), 0), ((5, 5, 5, 3, 1), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((6, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 2, 2), 0), ((6, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2, 1), 0), ((6, 3, 3, 3, 2, 1, 1), 0), ((6, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2, 1), 0), ((6, 4, 3, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 1, 1), 0), ((6, 4, 3, 3, 1, 1, 1), 0), ((6, 4, 3, 3, 3), 0), ((6, 4, 4, 2, 1, 1, 1), 0), ((6, 4, 4, 3, 2), 0), ((6, 4, 4, 4, 1), 0), ((6, 5, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 1, 1), 0), ((6, 5, 3, 2, 1, 1, 1), 0), ((6, 5, 3, 3, 2), 0), ((6, 5, 4, 1, 1, 1, 1), 0), ((6, 5, 4, 2, 2), 0), ((6, 5, 4, 3, 1), 0), ((6, 5, 5, 2, 1), 0), ((6, 6, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 1, 1, 1), 0), ((6, 6, 3, 1, 1, 1, 1), 0), ((6, 6, 3, 2, 2), 0), ((6, 6, 3, 3, 1), 0), ((6, 6, 4, 2, 1), 0), ((6, 6, 5, 1, 1), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 2, 2), 0), ((7, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2, 1), 0), ((7, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 1, 1), 0), ((7, 3, 3, 3, 1, 1, 1), 0), ((7, 3, 3, 3, 3), 0), ((7, 4, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 1, 1), 0), ((7, 4, 3, 2, 1, 1, 1), 0), ((7, 4, 3, 3, 2), 0), ((7, 4, 4, 1, 1, 1, 1), 0), ((7, 4, 4, 2, 2), 0), ((7, 4, 4, 3, 1), 0), ((7, 5, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 1, 1, 1), 0), ((7, 5, 3, 1, 1, 1, 1), 0), ((7, 5, 3, 2, 2), 0), ((7, 5, 3, 3, 1), 0), ((7, 5, 4, 2, 1), 0), ((7, 5, 5, 1, 1), 0), ((7, 6, 2, 1, 1, 1, 1), 0), ((7, 6, 2, 2, 2), 0), ((7, 6, 3, 2, 1), 0), ((7, 6, 4, 1, 1), 0), ((7, 6, 6), 0), ((7, 7, 1, 1, 1, 1, 1), 0), ((7, 7, 2, 2, 1), 0), ((7, 7, 3, 1, 1), 0), ((7, 7, 5), 0), ((8, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2, 1), 0), ((8, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 1, 1), 0), ((8, 3, 3, 2, 1, 1, 1), 0), ((8, 3, 3, 3, 2), 0), ((8, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 1, 1, 1), 0), ((8, 4, 3, 1, 1, 1, 1), 0), ((8, 4, 3, 2, 2), 0), ((8, 4, 3, 3, 1), 0), ((8, 4, 4, 2, 1), 0), ((8, 5, 2, 1, 1, 1, 1), 0), ((8, 5, 2, 2, 2), 0), ((8, 5, 3, 2, 1), 0), ((8, 5, 4, 1, 1), 0), ((8, 6, 1, 1, 1, 1, 1), 0), ((8, 6, 2, 2, 1), 0), ((8, 6, 3, 1, 1), 0), ((8, 6, 5), 0), ((8, 7, 2, 1, 1), 0), ((8, 7, 4), 0), ((8, 8, 1, 1, 1), 0), ((8, 8, 3), 0), ((9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 1, 1), 0), ((9, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 1, 1, 1), 0), ((9, 3, 3, 1, 1, 1, 1), 0), ((9, 3, 3, 2, 2), 0), ((9, 3, 3, 3, 1), 0), ((9, 4, 2, 1, 1, 1, 1), 0), ((9, 4, 2, 2, 2), 0), ((9, 4, 3, 2, 1), 0), ((9, 4, 4, 1, 1), 0), ((9, 5, 1, 1, 1, 1, 1), 0), ((9, 5, 2, 2, 1), 0), ((9, 5, 3, 1, 1), 0), ((9, 5, 5), 0), ((9, 6, 2, 1, 1), 0), ((9, 6, 4), 0), ((9, 7, 1, 1, 1), 0), ((9, 7, 3), -1), ((9, 7, 3), 1), ((9, 8, 2), 0), ((9, 9, 1), 0), ((10, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 1, 1, 1), 0), ((10, 3, 2, 1, 1, 1, 1), 0), ((10, 3, 2, 2, 2), 0), ((10, 3, 3, 2, 1), 0), ((10, 4, 1, 1, 1, 1, 1), 0), ((10, 4, 2, 2, 1), 0), ((10, 4, 3, 1, 1), 0), ((10, 5, 2, 1, 1), 0), ((10, 5, 4), 0), ((10, 6, 1, 1, 1), 0), ((10, 6, 3), 0), ((10, 7, 2), 0), ((10, 8, 1), 0), ((11, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1, 1, 1, 1), 0), ((11, 2, 2, 2, 2), 0), ((11, 3, 1, 1, 1, 1, 1), 0), ((11, 3, 2, 2, 1), 0), ((11, 3, 3, 1, 1), 0), ((11, 4, 2, 1, 1), 0), ((11, 4, 4), 0), ((11, 5, 1, 1, 1), 0), ((11, 5, 3), -1), ((11, 5, 3), 1), ((11, 6, 2), 0), ((11, 7, 1), -1), ((11, 7, 1), 1), ((12, 2, 1, 1, 1, 1, 1), 0), ((12, 2, 2, 2, 1), 0), ((12, 3, 2, 1, 1), 0), ((12, 4, 1, 1, 1), 0), ((12, 4, 3), 0), ((12, 5, 2), 0), ((12, 6, 1), 0), ((13, 1, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 1, 1), 0), ((13, 3, 1, 1, 1), 0), ((13, 3, 3), 0), ((13, 4, 2), 0), ((13, 5, 1), -1), ((13, 5, 1), 1), ((14, 2, 1, 1, 1), 0), ((14, 3, 2), 0), ((14, 4, 1), 0), ((15, 1, 1, 1, 1), 0), ((15, 2, 2), 0), ((15, 3, 1), -1), ((15, 3, 1), 1), ((16, 2, 1), 0), ((17, 1, 1), 0), ((19,), -1), ((19,), 1)]
   n=20: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 2, 2), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 2, 2), 0), ((3, 3, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 2, 2, 1), 0), ((3, 3, 3, 3, 3, 3, 1, 1), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 2, 2), 0), ((4, 3, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 2, 2, 1), 0), ((4, 3, 3, 3, 3, 2, 1, 1), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 2, 2), 0), ((4, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 2, 2, 1), 0), ((4, 4, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2, 1, 1), 0), ((4, 4, 3, 3, 3, 1, 1, 1), 0), ((4, 4, 3, 3, 3, 3), 0), ((4, 4, 4, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2, 1, 1), 0), ((4, 4, 4, 3, 2, 1, 1, 1), 0), ((4, 4, 4, 3, 3, 2), 0), ((4, 4, 4, 4, 1, 1, 1, 1), 0), ((4, 4, 4, 4, 2, 2), 0), ((4, 4, 4, 4, 3, 1), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 2, 2), 0), ((5, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 2, 2, 1), 0), ((5, 3, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2, 1, 1), 0), ((5, 3, 3, 3, 3, 1, 1, 1), 0), ((5, 3, 3, 3, 3, 3), 0), ((5, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 2, 2, 1), 0), ((5, 4, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2, 1, 1), 0), ((5, 4, 3, 3, 2, 1, 1, 1), 0), ((5, 4, 3, 3, 3, 2), 0), ((5, 4, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 1, 1, 1), 0), ((5, 4, 4, 3, 1, 1, 1, 1), 0), ((5, 4, 4, 3, 2, 2), 0), ((5, 4, 4, 3, 3, 1), 0), ((5, 4, 4, 4, 2, 1), 0), ((5, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2, 1, 1), 0), ((5, 5, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 1, 1, 1), 0), ((5, 5, 3, 3, 1, 1, 1, 1), 0), ((5, 5, 3, 3, 2, 2), 0), ((5, 5, 3, 3, 3, 1), 0), ((5, 5, 4, 2, 1, 1, 1, 1), 0), ((5, 5, 4, 2, 2, 2), 0), ((5, 5, 4, 3, 2, 1), 0), ((5, 5, 4, 4, 1, 1), 0), ((5, 5, 5, 1, 1, 1, 1, 1), 0), ((5, 5, 5, 2, 2, 1), 0), ((5, 5, 5, 3, 1, 1), 0), ((5, 5, 5, 5), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 2, 2), 0), ((6, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 2, 2, 1), 0), ((6, 3, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2, 1, 1), 0), ((6, 3, 3, 3, 2, 1, 1, 1), 0), ((6, 3, 3, 3, 3, 2), 0), ((6, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2, 1, 1), 0), ((6, 4, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 1, 1, 1), 0), ((6, 4, 3, 3, 1, 1, 1, 1), 0), ((6, 4, 3, 3, 2, 2), 0), ((6, 4, 3, 3, 3, 1), 0), ((6, 4, 4, 2, 1, 1, 1, 1), 0), ((6, 4, 4, 2, 2, 2), 0), ((6, 4, 4, 3, 2, 1), 0), ((6, 4, 4, 4, 1, 1), 0), ((6, 5, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 1, 1, 1), 0), ((6, 5, 3, 2, 1, 1, 1, 1), 0), ((6, 5, 3, 2, 2, 2), 0), ((6, 5, 3, 3, 2, 1), 0), ((6, 5, 4, 1, 1, 1, 1, 1), 0), ((6, 5, 4, 2, 2, 1), 0), ((6, 5, 4, 3, 1, 1), 0), ((6, 5, 5, 2, 1, 1), 0), ((6, 5, 5, 4), 0), ((6, 6, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 2, 2), 0), ((6, 6, 3, 1, 1, 1, 1, 1), 0), ((6, 6, 3, 2, 2, 1), 0), ((6, 6, 3, 3, 1, 1), 0), ((6, 6, 4, 2, 1, 1), 0), ((6, 6, 4, 4), 0), ((6, 6, 5, 1, 1, 1), 0), ((6, 6, 5, 3), 0), ((6, 6, 6, 2), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 2, 2, 1), 0), ((7, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2, 1, 1), 0), ((7, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 1, 1, 1), 0), ((7, 3, 3, 3, 1, 1, 1, 1), 0), ((7, 3, 3, 3, 2, 2), 0), ((7, 3, 3, 3, 3, 1), 0), ((7, 4, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 1, 1, 1), 0), ((7, 4, 3, 2, 1, 1, 1, 1), 0), ((7, 4, 3, 2, 2, 2), 0), ((7, 4, 3, 3, 2, 1), 0), ((7, 4, 4, 1, 1, 1, 1, 1), 0), ((7, 4, 4, 2, 2, 1), 0), ((7, 4, 4, 3, 1, 1), 0), ((7, 5, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 2, 2), 0), ((7, 5, 3, 1, 1, 1, 1, 1), 0), ((7, 5, 3, 2, 2, 1), 0), ((7, 5, 3, 3, 1, 1), 0), ((7, 5, 4, 2, 1, 1), 0), ((7, 5, 4, 4), 0), ((7, 5, 5, 1, 1, 1), 0), ((7, 5, 5, 3), 0), ((7, 6, 2, 1, 1, 1, 1, 1), 0), ((7, 6, 2, 2, 2, 1), 0), ((7, 6, 3, 2, 1, 1), 0), ((7, 6, 4, 1, 1, 1), 0), ((7, 6, 4, 3), 0), ((7, 6, 5, 2), 0), ((7, 6, 6, 1), 0), ((7, 7, 1, 1, 1, 1, 1, 1), 0), ((7, 7, 2, 2, 1, 1), 0), ((7, 7, 3, 1, 1, 1), 0), ((7, 7, 3, 3), 0), ((7, 7, 4, 2), 0), ((7, 7, 5, 1), 0), ((8, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2, 1, 1), 0), ((8, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 1, 1, 1), 0), ((8, 3, 3, 2, 1, 1, 1, 1), 0), ((8, 3, 3, 2, 2, 2), 0), ((8, 3, 3, 3, 2, 1), 0), ((8, 4, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 2, 2), 0), ((8, 4, 3, 1, 1, 1, 1, 1), 0), ((8, 4, 3, 2, 2, 1), 0), ((8, 4, 3, 3, 1, 1), 0), ((8, 4, 4, 2, 1, 1), 0), ((8, 4, 4, 4), 0), ((8, 5, 2, 1, 1, 1, 1, 1), 0), ((8, 5, 2, 2, 2, 1), 0), ((8, 5, 3, 2, 1, 1), 0), ((8, 5, 4, 1, 1, 1), 0), ((8, 5, 4, 3), 0), ((8, 5, 5, 2), 0), ((8, 6, 1, 1, 1, 1, 1, 1), 0), ((8, 6, 2, 2, 1, 1), 0), ((8, 6, 3, 1, 1, 1), 0), ((8, 6, 3, 3), 0), ((8, 6, 4, 2), 0), ((8, 6, 5, 1), 0), ((8, 7, 2, 1, 1, 1), 0), ((8, 7, 3, 2), 0), ((8, 7, 4, 1), 0), ((8, 8, 1, 1, 1, 1), 0), ((8, 8, 2, 2), 0), ((8, 8, 3, 1), 0), ((9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 1, 1, 1), 0), ((9, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 2, 2), 0), ((9, 3, 3, 1, 1, 1, 1, 1), 0), ((9, 3, 3, 2, 2, 1), 0), ((9, 3, 3, 3, 1, 1), 0), ((9, 4, 2, 1, 1, 1, 1, 1), 0), ((9, 4, 2, 2, 2, 1), 0), ((9, 4, 3, 2, 1, 1), 0), ((9, 4, 4, 1, 1, 1), 0), ((9, 4, 4, 3), 0), ((9, 5, 1, 1, 1, 1, 1, 1), 0), ((9, 5, 2, 2, 1, 1), 0), ((9, 5, 3, 1, 1, 1), 0), ((9, 5, 3, 3), 0), ((9, 5, 4, 2), 0), ((9, 5, 5, 1), 0), ((9, 6, 2, 1, 1, 1), 0), ((9, 6, 3, 2), 0), ((9, 6, 4, 1), 0), ((9, 7, 1, 1, 1, 1), 0), ((9, 7, 2, 2), 0), ((9, 7, 3, 1), -1), ((9, 7, 3, 1), 1), ((9, 8, 2, 1), 0), ((9, 9, 1, 1), 0), ((10, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 2, 2), 0), ((10, 3, 2, 1, 1, 1, 1, 1), 0), ((10, 3, 2, 2, 2, 1), 0), ((10, 3, 3, 2, 1, 1), 0), ((10, 4, 1, 1, 1, 1, 1, 1), 0), ((10, 4, 2, 2, 1, 1), 0), ((10, 4, 3, 1, 1, 1), 0), ((10, 4, 3, 3), 0), ((10, 4, 4, 2), 0), ((10, 5, 2, 1, 1, 1), 0), ((10, 5, 3, 2), 0), ((10, 5, 4, 1), 0), ((10, 6, 1, 1, 1, 1), 0), ((10, 6, 2, 2), 0), ((10, 6, 3, 1), 0), ((10, 7, 2, 1), 0), ((10, 8, 1, 1), 0), ((10, 10), 0), ((11, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 2, 2, 1), 0), ((11, 3, 1, 1, 1, 1, 1, 1), 0), ((11, 3, 2, 2, 1, 1), 0), ((11, 3, 3, 1, 1, 1), 0), ((11, 3, 3, 3), 0), ((11, 4, 2, 1, 1, 1), 0), ((11, 4, 3, 2), 0), ((11, 4, 4, 1), 0), ((11, 5, 1, 1, 1, 1), 0), ((11, 5, 2, 2), 0), ((11, 5, 3, 1), -1), ((11, 5, 3, 1), 1), ((11, 6, 2, 1), 0), ((11, 7, 1, 1), 0), ((11, 9), -1), ((11, 9), 1), ((12, 2, 1, 1, 1, 1, 1, 1), 0), ((12, 2, 2, 2, 1, 1), 0), ((12, 3, 2, 1, 1, 1), 0), ((12, 3, 3, 2), 0), ((12, 4, 1, 1, 1, 1), 0), ((12, 4, 2, 2), 0), ((12, 4, 3, 1), 0), ((12, 5, 2, 1), 0), ((12, 6, 1, 1), 0), ((12, 8), 0), ((13, 1, 1, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 1, 1, 1), 0), ((13, 3, 1, 1, 1, 1), 0), ((13, 3, 2, 2), 0), ((13, 3, 3, 1), 0), ((13, 4, 2, 1), 0), ((13, 5, 1, 1), 0), ((13, 7), -1), ((13, 7), 1), ((14, 2, 1, 1, 1, 1), 0), ((14, 2, 2, 2), 0), ((14, 3, 2, 1), 0), ((14, 4, 1, 1), 0), ((14, 6), 0), ((15, 1, 1, 1, 1, 1), 0), ((15, 2, 2, 1), 0), ((15, 3, 1, 1), 0), ((15, 5), -1), ((15, 5), 1), ((16, 2, 1, 1), 0), ((16, 4), 0), ((17, 1, 1, 1), 0), ((17, 3), -1), ((17, 3), 1), ((18, 2), 0), ((19, 1), -1), ((19, 1), 1)]
   n=21: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 2, 2), 0), ((3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 2, 2, 1), 0), ((3, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 2, 2, 1, 1), 0), ((3, 3, 3, 3, 3, 3, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 3, 3), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 2, 2), 0), ((4, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 2, 2, 1), 0), ((4, 3, 3, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 2, 2, 1, 1), 0), ((4, 3, 3, 3, 3, 2, 1, 1, 1), 0), ((4, 3, 3, 3, 3, 3, 2), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 2, 2, 1), 0), ((4, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 2, 2, 1, 1), 0), ((4, 4, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2, 1, 1, 1), 0), ((4, 4, 3, 3, 3, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 3, 2, 2), 0), ((4, 4, 3, 3, 3, 3, 1), 0), ((4, 4, 4, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2, 1, 1, 1), 0), ((4, 4, 4, 3, 2, 1, 1, 1, 1), 0), ((4, 4, 4, 3, 2, 2, 2), 0), ((4, 4, 4, 3, 3, 2, 1), 0), ((4, 4, 4, 4, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 4, 2, 2, 1), 0), ((4, 4, 4, 4, 3, 1, 1), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 2, 2), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 2, 2, 1), 0), ((5, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 2, 2, 1, 1), 0), ((5, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2, 1, 1, 1), 0), ((5, 3, 3, 3, 3, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 3, 2, 2), 0), ((5, 3, 3, 3, 3, 3, 1), 0), ((5, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 2, 2, 1, 1), 0), ((5, 4, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2, 1, 1, 1), 0), ((5, 4, 3, 3, 2, 1, 1, 1, 1), 0), ((5, 4, 3, 3, 2, 2, 2), 0), ((5, 4, 3, 3, 3, 2, 1), 0), ((5, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 2, 2), 0), ((5, 4, 4, 3, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 3, 2, 2, 1), 0), ((5, 4, 4, 3, 3, 1, 1), 0), ((5, 4, 4, 4, 2, 1, 1), 0), ((5, 4, 4, 4, 4), 0), ((5, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2, 1, 1, 1), 0), ((5, 5, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 2, 2), 0), ((5, 5, 3, 3, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 3, 2, 2, 1), 0), ((5, 5, 3, 3, 3, 1, 1), 0), ((5, 5, 4, 2, 1, 1, 1, 1, 1), 0), ((5, 5, 4, 2, 2, 2, 1), 0), ((5, 5, 4, 3, 2, 1, 1), 0), ((5, 5, 4, 4, 1, 1, 1), 0), ((5, 5, 4, 4, 3), 0), ((5, 5, 5, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 5, 2, 2, 1, 1), 0), ((5, 5, 5, 3, 1, 1, 1), 0), ((5, 5, 5, 3, 3), 0), ((5, 5, 5, 4, 2), 0), ((5, 5, 5, 5, 1), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((6, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 2, 2, 1, 1), 0), ((6, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2, 1, 1, 1), 0), ((6, 3, 3, 3, 2, 1, 1, 1, 1), 0), ((6, 3, 3, 3, 2, 2, 2), 0), ((6, 3, 3, 3, 3, 2, 1), 0), ((6, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2, 1, 1, 1), 0), ((6, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 2, 2), 0), ((6, 4, 3, 3, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 3, 2, 2, 1), 0), ((6, 4, 3, 3, 3, 1, 1), 0), ((6, 4, 4, 2, 1, 1, 1, 1, 1), 0), ((6, 4, 4, 2, 2, 2, 1), 0), ((6, 4, 4, 3, 2, 1, 1), 0), ((6, 4, 4, 4, 1, 1, 1), 0), ((6, 4, 4, 4, 3), 0), ((6, 5, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 2, 2), 0), ((6, 5, 3, 2, 1, 1, 1, 1, 1), 0), ((6, 5, 3, 2, 2, 2, 1), 0), ((6, 5, 3, 3, 2, 1, 1), 0), ((6, 5, 4, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 4, 2, 2, 1, 1), 0), ((6, 5, 4, 3, 1, 1, 1), 0), ((6, 5, 4, 3, 3), 0), ((6, 5, 4, 4, 2), 0), ((6, 5, 5, 2, 1, 1, 1), 0), ((6, 5, 5, 3, 2), 0), ((6, 5, 5, 4, 1), 0), ((6, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 2, 2, 1), 0), ((6, 6, 3, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 3, 2, 2, 1, 1), 0), ((6, 6, 3, 3, 1, 1, 1), 0), ((6, 6, 3, 3, 3), 0), ((6, 6, 4, 2, 1, 1, 1), 0), ((6, 6, 4, 3, 2), 0), ((6, 6, 4, 4, 1), 0), ((6, 6, 5, 1, 1, 1, 1), 0), ((6, 6, 5, 2, 2), 0), ((6, 6, 5, 3, 1), 0), ((6, 6, 6, 2, 1), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((7, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((7, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 2, 2), 0), ((7, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 3, 2, 2, 1), 0), ((7, 3, 3, 3, 3, 1, 1), 0), ((7, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 2, 2), 0), ((7, 4, 3, 2, 1, 1, 1, 1, 1), 0), ((7, 4, 3, 2, 2, 2, 1), 0), ((7, 4, 3, 3, 2, 1, 1), 0), ((7, 4, 4, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 4, 2, 2, 1, 1), 0), ((7, 4, 4, 3, 1, 1, 1), 0), ((7, 4, 4, 3, 3), 0), ((7, 4, 4, 4, 2), 0), ((7, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 2, 2, 1), 0), ((7, 5, 3, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 3, 2, 2, 1, 1), 0), ((7, 5, 3, 3, 1, 1, 1), 0), ((7, 5, 3, 3, 3), 0), ((7, 5, 4, 2, 1, 1, 1), 0), ((7, 5, 4, 3, 2), 0), ((7, 5, 4, 4, 1), 0), ((7, 5, 5, 1, 1, 1, 1), 0), ((7, 5, 5, 2, 2), 0), ((7, 5, 5, 3, 1), 0), ((7, 6, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 6, 2, 2, 2, 1, 1), 0), ((7, 6, 3, 2, 1, 1, 1), 0), ((7, 6, 3, 3, 2), 0), ((7, 6, 4, 1, 1, 1, 1), 0), ((7, 6, 4, 2, 2), 0), ((7, 6, 4, 3, 1), 0), ((7, 6, 5, 2, 1), 0), ((7, 6, 6, 1, 1), 0), ((7, 7, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 7, 2, 2, 1, 1, 1), 0), ((7, 7, 3, 1, 1, 1, 1), 0), ((7, 7, 3, 2, 2), 0), ((7, 7, 3, 3, 1), 0), ((7, 7, 4, 2, 1), 0), ((7, 7, 5, 1, 1), 0), ((7, 7, 7), 0), ((8, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((8, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 2, 2), 0), ((8, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((8, 3, 3, 2, 2, 2, 1), 0), ((8, 3, 3, 3, 2, 1, 1), 0), ((8, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 2, 2, 1), 0), ((8, 4, 3, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 3, 2, 2, 1, 1), 0), ((8, 4, 3, 3, 1, 1, 1), 0), ((8, 4, 3, 3, 3), 0), ((8, 4, 4, 2, 1, 1, 1), 0), ((8, 4, 4, 3, 2), 0), ((8, 4, 4, 4, 1), 0), ((8, 5, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 5, 2, 2, 2, 1, 1), 0), ((8, 5, 3, 2, 1, 1, 1), 0), ((8, 5, 3, 3, 2), 0), ((8, 5, 4, 1, 1, 1, 1), 0), ((8, 5, 4, 2, 2), 0), ((8, 5, 4, 3, 1), 0), ((8, 5, 5, 2, 1), 0), ((8, 6, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 6, 2, 2, 1, 1, 1), 0), ((8, 6, 3, 1, 1, 1, 1), 0), ((8, 6, 3, 2, 2), 0), ((8, 6, 3, 3, 1), 0), ((8, 6, 4, 2, 1), 0), ((8, 6, 5, 1, 1), 0), ((8, 7, 2, 1, 1, 1, 1), 0), ((8, 7, 2, 2, 2), 0), ((8, 7, 3, 2, 1), 0), ((8, 7, 4, 1, 1), 0), ((8, 7, 6), 0), ((8, 8, 1, 1, 1, 1, 1), 0), ((8, 8, 2, 2, 1), 0), ((8, 8, 3, 1, 1), 0), ((8, 8, 5), 0), ((9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 2, 2), 0), ((9, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 2, 2, 1), 0), ((9, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 3, 2, 2, 1, 1), 0), ((9, 3, 3, 3, 1, 1, 1), 0), ((9, 3, 3, 3, 3), 0), ((9, 4, 2, 1, 1, 1, 1, 1, 1), 0), ((9, 4, 2, 2, 2, 1, 1), 0), ((9, 4, 3, 2, 1, 1, 1), 0), ((9, 4, 3, 3, 2), 0), ((9, 4, 4, 1, 1, 1, 1), 0), ((9, 4, 4, 2, 2), 0), ((9, 4, 4, 3, 1), 0), ((9, 5, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 5, 2, 2, 1, 1, 1), 0), ((9, 5, 3, 1, 1, 1, 1), 0), ((9, 5, 3, 2, 2), 0), ((9, 5, 3, 3, 1), 0), ((9, 5, 4, 2, 1), 0), ((9, 5, 5, 1, 1), 0), ((9, 6, 2, 1, 1, 1, 1), 0), ((9, 6, 2, 2, 2), 0), ((9, 6, 3, 2, 1), 0), ((9, 6, 4, 1, 1), 0), ((9, 6, 6), 0), ((9, 7, 1, 1, 1, 1, 1), 0), ((9, 7, 2, 2, 1), 0), ((9, 7, 3, 1, 1), 0), ((9, 7, 5), -1), ((9, 7, 5), 1), ((9, 8, 2, 1, 1), 0), ((9, 8, 4), 0), ((9, 9, 1, 1, 1), 0), ((9, 9, 3), 0), ((10, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 2, 2, 1), 0), ((10, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((10, 3, 2, 2, 2, 1, 1), 0), ((10, 3, 3, 2, 1, 1, 1), 0), ((10, 3, 3, 3, 2), 0), ((10, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 4, 2, 2, 1, 1, 1), 0), ((10, 4, 3, 1, 1, 1, 1), 0), ((10, 4, 3, 2, 2), 0), ((10, 4, 3, 3, 1), 0), ((10, 4, 4, 2, 1), 0), ((10, 5, 2, 1, 1, 1, 1), 0), ((10, 5, 2, 2, 2), 0), ((10, 5, 3, 2, 1), 0), ((10, 5, 4, 1, 1), 0), ((10, 6, 1, 1, 1, 1, 1), 0), ((10, 6, 2, 2, 1), 0), ((10, 6, 3, 1, 1), 0), ((10, 6, 5), 0), ((10, 7, 2, 1, 1), 0), ((10, 7, 4), 0), ((10, 8, 1, 1, 1), 0), ((10, 8, 3), 0), ((10, 9, 2), 0), ((10, 10, 1), 0), ((11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 2, 2, 1, 1), 0), ((11, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 3, 2, 2, 1, 1, 1), 0), ((11, 3, 3, 1, 1, 1, 1), 0), ((11, 3, 3, 2, 2), 0), ((11, 3, 3, 3, 1), 0), ((11, 4, 2, 1, 1, 1, 1), 0), ((11, 4, 2, 2, 2), 0), ((11, 4, 3, 2, 1), 0), ((11, 4, 4, 1, 1), 0), ((11, 5, 1, 1, 1, 1, 1), 0), ((11, 5, 2, 2, 1), 0), ((11, 5, 3, 1, 1), 0), ((11, 5, 5), 0), ((11, 6, 2, 1, 1), 0), ((11, 6, 4), 0), ((11, 7, 1, 1, 1), 0), ((11, 7, 3), -1), ((11, 7, 3), 1), ((11, 8, 2), 0), ((11, 9, 1), -1), ((11, 9, 1), 1), ((12, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((12, 2, 2, 2, 1, 1, 1), 0), ((12, 3, 2, 1, 1, 1, 1), 0), ((12, 3, 2, 2, 2), 0), ((12, 3, 3, 2, 1), 0), ((12, 4, 1, 1, 1, 1, 1), 0), ((12, 4, 2, 2, 1), 0), ((12, 4, 3, 1, 1), 0), ((12, 5, 2, 1, 1), 0), ((12, 5, 4), 0), ((12, 6, 1, 1, 1), 0), ((12, 6, 3), 0), ((12, 7, 2), 0), ((12, 8, 1), 0), ((13, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 1, 1, 1, 1), 0), ((13, 2, 2, 2, 2), 0), ((13, 3, 1, 1, 1, 1, 1), 0), ((13, 3, 2, 2, 1), 0), ((13, 3, 3, 1, 1), 0), ((13, 4, 2, 1, 1), 0), ((13, 4, 4), 0), ((13, 5, 1, 1, 1), 0), ((13, 5, 3), -1), ((13, 5, 3), 1), ((13, 6, 2), 0), ((13, 7, 1), -1), ((13, 7, 1), 1), ((14, 2, 1, 1, 1, 1, 1), 0), ((14, 2, 2, 2, 1), 0), ((14, 3, 2, 1, 1), 0), ((14, 4, 1, 1, 1), 0), ((14, 4, 3), 0), ((14, 5, 2), 0), ((14, 6, 1), 0), ((15, 1, 1, 1, 1, 1, 1), 0), ((15, 2, 2, 1, 1), 0), ((15, 3, 1, 1, 1), 0), ((15, 3, 3), 0), ((15, 4, 2), 0), ((15, 5, 1), -1), ((15, 5, 1), 1), ((16, 2, 1, 1, 1), 0), ((16, 3, 2), 0), ((16, 4, 1), 0), ((17, 1, 1, 1, 1), 0), ((17, 2, 2), 0), ((17, 3, 1), -1), ((17, 3, 1), 1), ((18, 2, 1), 0), ((19, 1, 1), 0), ((21,), -1), ((21,), 1)]
   n=22: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2, 2, 2), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 2, 2, 1), 0), ((3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 3, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 3, 2, 2), 0), ((3, 3, 3, 3, 3, 3, 3, 1), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2, 2, 2), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((4, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 2, 2, 1, 1), 0), ((4, 3, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 3, 3, 3, 2, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 3, 2, 2, 2), 0), ((4, 3, 3, 3, 3, 3, 2, 1), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((4, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((4, 4, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2, 2, 2), 0), ((4, 4, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 3, 2, 2, 1), 0), ((4, 4, 3, 3, 3, 3, 1, 1), 0), ((4, 4, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2, 2, 2), 0), ((4, 4, 4, 3, 2, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 3, 2, 2, 2, 1), 0), ((4, 4, 4, 3, 3, 2, 1, 1), 0), ((4, 4, 4, 4, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 4, 2, 2, 1, 1), 0), ((4, 4, 4, 4, 3, 1, 1, 1), 0), ((4, 4, 4, 4, 3, 3), 0), ((4, 4, 4, 4, 4, 2), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((5, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((5, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2, 2, 2), 0), ((5, 3, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 3, 2, 2, 1), 0), ((5, 3, 3, 3, 3, 3, 1, 1), 0), ((5, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((5, 4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2, 2, 2), 0), ((5, 4, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 3, 2, 2, 2, 1), 0), ((5, 4, 3, 3, 3, 2, 1, 1), 0), ((5, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 2, 2, 1), 0), ((5, 4, 4, 3, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 3, 2, 2, 1, 1), 0), ((5, 4, 4, 3, 3, 1, 1, 1), 0), ((5, 4, 4, 3, 3, 3), 0), ((5, 4, 4, 4, 2, 1, 1, 1), 0), ((5, 4, 4, 4, 3, 2), 0), ((5, 4, 4, 4, 4, 1), 0), ((5, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2, 2, 2), 0), ((5, 5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 2, 2, 1), 0), ((5, 5, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 3, 2, 2, 1, 1), 0), ((5, 5, 3, 3, 3, 1, 1, 1), 0), ((5, 5, 3, 3, 3, 3), 0), ((5, 5, 4, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 4, 2, 2, 2, 1, 1), 0), ((5, 5, 4, 3, 2, 1, 1, 1), 0), ((5, 5, 4, 3, 3, 2), 0), ((5, 5, 4, 4, 1, 1, 1, 1), 0), ((5, 5, 4, 4, 2, 2), 0), ((5, 5, 4, 4, 3, 1), 0), ((5, 5, 5, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 5, 2, 2, 1, 1, 1), 0), ((5, 5, 5, 3, 1, 1, 1, 1), 0), ((5, 5, 5, 3, 2, 2), 0), ((5, 5, 5, 3, 3, 1), 0), ((5, 5, 5, 4, 2, 1), 0), ((5, 5, 5, 5, 1, 1), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((6, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((6, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2, 2, 2), 0), ((6, 3, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 3, 2, 2, 2, 1), 0), ((6, 3, 3, 3, 3, 2, 1, 1), 0), ((6, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2, 2, 2), 0), ((6, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 2, 2, 1), 0), ((6, 4, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 3, 2, 2, 1, 1), 0), ((6, 4, 3, 3, 3, 1, 1, 1), 0), ((6, 4, 3, 3, 3, 3), 0), ((6, 4, 4, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 4, 2, 2, 2, 1, 1), 0), ((6, 4, 4, 3, 2, 1, 1, 1), 0), ((6, 4, 4, 3, 3, 2), 0), ((6, 4, 4, 4, 1, 1, 1, 1), 0), ((6, 4, 4, 4, 2, 2), 0), ((6, 4, 4, 4, 3, 1), 0), ((6, 5, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 2, 2, 1), 0), ((6, 5, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 3, 2, 2, 2, 1, 1), 0), ((6, 5, 3, 3, 2, 1, 1, 1), 0), ((6, 5, 3, 3, 3, 2), 0), ((6, 5, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 4, 2, 2, 1, 1, 1), 0), ((6, 5, 4, 3, 1, 1, 1, 1), 0), ((6, 5, 4, 3, 2, 2), 0), ((6, 5, 4, 3, 3, 1), 0), ((6, 5, 4, 4, 2, 1), 0), ((6, 5, 5, 2, 1, 1, 1, 1), 0), ((6, 5, 5, 2, 2, 2), 0), ((6, 5, 5, 3, 2, 1), 0), ((6, 5, 5, 4, 1, 1), 0), ((6, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 2, 2, 1, 1), 0), ((6, 6, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 3, 2, 2, 1, 1, 1), 0), ((6, 6, 3, 3, 1, 1, 1, 1), 0), ((6, 6, 3, 3, 2, 2), 0), ((6, 6, 3, 3, 3, 1), 0), ((6, 6, 4, 2, 1, 1, 1, 1), 0), ((6, 6, 4, 2, 2, 2), 0), ((6, 6, 4, 3, 2, 1), 0), ((6, 6, 4, 4, 1, 1), 0), ((6, 6, 5, 1, 1, 1, 1, 1), 0), ((6, 6, 5, 2, 2, 1), 0), ((6, 6, 5, 3, 1, 1), 0), ((6, 6, 5, 5), 0), ((6, 6, 6, 2, 1, 1), 0), ((6, 6, 6, 4), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((7, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2, 2, 2), 0), ((7, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 2, 2, 1), 0), ((7, 3, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 3, 2, 2, 1, 1), 0), ((7, 3, 3, 3, 3, 1, 1, 1), 0), ((7, 3, 3, 3, 3, 3), 0), ((7, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 2, 2, 1), 0), ((7, 4, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 3, 2, 2, 2, 1, 1), 0), ((7, 4, 3, 3, 2, 1, 1, 1), 0), ((7, 4, 3, 3, 3, 2), 0), ((7, 4, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 4, 2, 2, 1, 1, 1), 0), ((7, 4, 4, 3, 1, 1, 1, 1), 0), ((7, 4, 4, 3, 2, 2), 0), ((7, 4, 4, 3, 3, 1), 0), ((7, 4, 4, 4, 2, 1), 0), ((7, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 2, 2, 1, 1), 0), ((7, 5, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 3, 2, 2, 1, 1, 1), 0), ((7, 5, 3, 3, 1, 1, 1, 1), 0), ((7, 5, 3, 3, 2, 2), 0), ((7, 5, 3, 3, 3, 1), 0), ((7, 5, 4, 2, 1, 1, 1, 1), 0), ((7, 5, 4, 2, 2, 2), 0), ((7, 5, 4, 3, 2, 1), 0), ((7, 5, 4, 4, 1, 1), 0), ((7, 5, 5, 1, 1, 1, 1, 1), 0), ((7, 5, 5, 2, 2, 1), 0), ((7, 5, 5, 3, 1, 1), 0), ((7, 5, 5, 5), 0), ((7, 6, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 6, 2, 2, 2, 1, 1, 1), 0), ((7, 6, 3, 2, 1, 1, 1, 1), 0), ((7, 6, 3, 2, 2, 2), 0), ((7, 6, 3, 3, 2, 1), 0), ((7, 6, 4, 1, 1, 1, 1, 1), 0), ((7, 6, 4, 2, 2, 1), 0), ((7, 6, 4, 3, 1, 1), 0), ((7, 6, 5, 2, 1, 1), 0), ((7, 6, 5, 4), 0), ((7, 6, 6, 1, 1, 1), 0), ((7, 6, 6, 3), 0), ((7, 7, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 7, 2, 2, 1, 1, 1, 1), 0), ((7, 7, 2, 2, 2, 2), 0), ((7, 7, 3, 1, 1, 1, 1, 1), 0), ((7, 7, 3, 2, 2, 1), 0), ((7, 7, 3, 3, 1, 1), 0), ((7, 7, 4, 2, 1, 1), 0), ((7, 7, 4, 4), 0), ((7, 7, 5, 1, 1, 1), 0), ((7, 7, 5, 3), 0), ((7, 7, 6, 2), 0), ((7, 7, 7, 1), 0), ((8, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2, 2, 2), 0), ((8, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 2, 2, 1), 0), ((8, 3, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 3, 2, 2, 2, 1, 1), 0), ((8, 3, 3, 3, 2, 1, 1, 1), 0), ((8, 3, 3, 3, 3, 2), 0), ((8, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 2, 2, 1, 1), 0), ((8, 4, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 3, 2, 2, 1, 1, 1), 0), ((8, 4, 3, 3, 1, 1, 1, 1), 0), ((8, 4, 3, 3, 2, 2), 0), ((8, 4, 3, 3, 3, 1), 0), ((8, 4, 4, 2, 1, 1, 1, 1), 0), ((8, 4, 4, 2, 2, 2), 0), ((8, 4, 4, 3, 2, 1), 0), ((8, 4, 4, 4, 1, 1), 0), ((8, 5, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 5, 2, 2, 2, 1, 1, 1), 0), ((8, 5, 3, 2, 1, 1, 1, 1), 0), ((8, 5, 3, 2, 2, 2), 0), ((8, 5, 3, 3, 2, 1), 0), ((8, 5, 4, 1, 1, 1, 1, 1), 0), ((8, 5, 4, 2, 2, 1), 0), ((8, 5, 4, 3, 1, 1), 0), ((8, 5, 5, 2, 1, 1), 0), ((8, 5, 5, 4), 0), ((8, 6, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 6, 2, 2, 1, 1, 1, 1), 0), ((8, 6, 2, 2, 2, 2), 0), ((8, 6, 3, 1, 1, 1, 1, 1), 0), ((8, 6, 3, 2, 2, 1), 0), ((8, 6, 3, 3, 1, 1), 0), ((8, 6, 4, 2, 1, 1), 0), ((8, 6, 4, 4), 0), ((8, 6, 5, 1, 1, 1), 0), ((8, 6, 5, 3), 0), ((8, 6, 6, 2), 0), ((8, 7, 2, 1, 1, 1, 1, 1), 0), ((8, 7, 2, 2, 2, 1), 0), ((8, 7, 3, 2, 1, 1), 0), ((8, 7, 4, 1, 1, 1), 0), ((8, 7, 4, 3), 0), ((8, 7, 5, 2), 0), ((8, 7, 6, 1), 0), ((8, 8, 1, 1, 1, 1, 1, 1), 0), ((8, 8, 2, 2, 1, 1), 0), ((8, 8, 3, 1, 1, 1), 0), ((8, 8, 3, 3), 0), ((8, 8, 4, 2), 0), ((8, 8, 5, 1), 0), ((9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 2, 2, 1), 0), ((9, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 2, 2, 1, 1), 0), ((9, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 3, 2, 2, 1, 1, 1), 0), ((9, 3, 3, 3, 1, 1, 1, 1), 0), ((9, 3, 3, 3, 2, 2), 0), ((9, 3, 3, 3, 3, 1), 0), ((9, 4, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 4, 2, 2, 2, 1, 1, 1), 0), ((9, 4, 3, 2, 1, 1, 1, 1), 0), ((9, 4, 3, 2, 2, 2), 0), ((9, 4, 3, 3, 2, 1), 0), ((9, 4, 4, 1, 1, 1, 1, 1), 0), ((9, 4, 4, 2, 2, 1), 0), ((9, 4, 4, 3, 1, 1), 0), ((9, 5, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 5, 2, 2, 1, 1, 1, 1), 0), ((9, 5, 2, 2, 2, 2), 0), ((9, 5, 3, 1, 1, 1, 1, 1), 0), ((9, 5, 3, 2, 2, 1), 0), ((9, 5, 3, 3, 1, 1), 0), ((9, 5, 4, 2, 1, 1), 0), ((9, 5, 4, 4), 0), ((9, 5, 5, 1, 1, 1), 0), ((9, 5, 5, 3), 0), ((9, 6, 2, 1, 1, 1, 1, 1), 0), ((9, 6, 2, 2, 2, 1), 0), ((9, 6, 3, 2, 1, 1), 0), ((9, 6, 4, 1, 1, 1), 0), ((9, 6, 4, 3), 0), ((9, 6, 5, 2), 0), ((9, 6, 6, 1), 0), ((9, 7, 1, 1, 1, 1, 1, 1), 0), ((9, 7, 2, 2, 1, 1), 0), ((9, 7, 3, 1, 1, 1), 0), ((9, 7, 3, 3), 0), ((9, 7, 4, 2), 0), ((9, 7, 5, 1), -1), ((9, 7, 5, 1), 1), ((9, 8, 2, 1, 1, 1), 0), ((9, 8, 3, 2), 0), ((9, 8, 4, 1), 0), ((9, 9, 1, 1, 1, 1), 0), ((9, 9, 2, 2), 0), ((9, 9, 3, 1), 0), ((10, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 2, 2, 1, 1), 0), ((10, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 3, 2, 2, 2, 1, 1, 1), 0), ((10, 3, 3, 2, 1, 1, 1, 1), 0), ((10, 3, 3, 2, 2, 2), 0), ((10, 3, 3, 3, 2, 1), 0), ((10, 4, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 4, 2, 2, 1, 1, 1, 1), 0), ((10, 4, 2, 2, 2, 2), 0), ((10, 4, 3, 1, 1, 1, 1, 1), 0), ((10, 4, 3, 2, 2, 1), 0), ((10, 4, 3, 3, 1, 1), 0), ((10, 4, 4, 2, 1, 1), 0), ((10, 4, 4, 4), 0), ((10, 5, 2, 1, 1, 1, 1, 1), 0), ((10, 5, 2, 2, 2, 1), 0), ((10, 5, 3, 2, 1, 1), 0), ((10, 5, 4, 1, 1, 1), 0), ((10, 5, 4, 3), 0), ((10, 5, 5, 2), 0), ((10, 6, 1, 1, 1, 1, 1, 1), 0), ((10, 6, 2, 2, 1, 1), 0), ((10, 6, 3, 1, 1, 1), 0), ((10, 6, 3, 3), 0), ((10, 6, 4, 2), 0), ((10, 6, 5, 1), 0), ((10, 7, 2, 1, 1, 1), 0), ((10, 7, 3, 2), 0), ((10, 7, 4, 1), 0), ((10, 8, 1, 1, 1, 1), 0), ((10, 8, 2, 2), 0), ((10, 8, 3, 1), 0), ((10, 9, 2, 1), 0), ((10, 10, 1, 1), 0), ((11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 2, 2, 1, 1, 1), 0), ((11, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 3, 2, 2, 1, 1, 1, 1), 0), ((11, 3, 2, 2, 2, 2), 0), ((11, 3, 3, 1, 1, 1, 1, 1), 0), ((11, 3, 3, 2, 2, 1), 0), ((11, 3, 3, 3, 1, 1), 0), ((11, 4, 2, 1, 1, 1, 1, 1), 0), ((11, 4, 2, 2, 2, 1), 0), ((11, 4, 3, 2, 1, 1), 0), ((11, 4, 4, 1, 1, 1), 0), ((11, 4, 4, 3), 0), ((11, 5, 1, 1, 1, 1, 1, 1), 0), ((11, 5, 2, 2, 1, 1), 0), ((11, 5, 3, 1, 1, 1), 0), ((11, 5, 3, 3), 0), ((11, 5, 4, 2), 0), ((11, 5, 5, 1), 0), ((11, 6, 2, 1, 1, 1), 0), ((11, 6, 3, 2), 0), ((11, 6, 4, 1), 0), ((11, 7, 1, 1, 1, 1), 0), ((11, 7, 2, 2), 0), ((11, 7, 3, 1), -1), ((11, 7, 3, 1), 1), ((11, 8, 2, 1), 0), ((11, 9, 1, 1), 0), ((11, 11), 0), ((12, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((12, 2, 2, 2, 1, 1, 1, 1), 0), ((12, 2, 2, 2, 2, 2), 0), ((12, 3, 2, 1, 1, 1, 1, 1), 0), ((12, 3, 2, 2, 2, 1), 0), ((12, 3, 3, 2, 1, 1), 0), ((12, 4, 1, 1, 1, 1, 1, 1), 0), ((12, 4, 2, 2, 1, 1), 0), ((12, 4, 3, 1, 1, 1), 0), ((12, 4, 3, 3), 0), ((12, 4, 4, 2), 0), ((12, 5, 2, 1, 1, 1), 0), ((12, 5, 3, 2), 0), ((12, 5, 4, 1), 0), ((12, 6, 1, 1, 1, 1), 0), ((12, 6, 2, 2), 0), ((12, 6, 3, 1), 0), ((12, 7, 2, 1), 0), ((12, 8, 1, 1), 0), ((12, 10), 0), ((13, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 2, 2, 1), 0), ((13, 3, 1, 1, 1, 1, 1, 1), 0), ((13, 3, 2, 2, 1, 1), 0), ((13, 3, 3, 1, 1, 1), 0), ((13, 3, 3, 3), 0), ((13, 4, 2, 1, 1, 1), 0), ((13, 4, 3, 2), 0), ((13, 4, 4, 1), 0), ((13, 5, 1, 1, 1, 1), 0), ((13, 5, 2, 2), 0), ((13, 5, 3, 1), -1), ((13, 5, 3, 1), 1), ((13, 6, 2, 1), 0), ((13, 7, 1, 1), 0), ((13, 9), -1), ((13, 9), 1), ((14, 2, 1, 1, 1, 1, 1, 1), 0), ((14, 2, 2, 2, 1, 1), 0), ((14, 3, 2, 1, 1, 1), 0), ((14, 3, 3, 2), 0), ((14, 4, 1, 1, 1, 1), 0), ((14, 4, 2, 2), 0), ((14, 4, 3, 1), 0), ((14, 5, 2, 1), 0), ((14, 6, 1, 1), 0), ((14, 8), 0), ((15, 1, 1, 1, 1, 1, 1, 1), 0), ((15, 2, 2, 1, 1, 1), 0), ((15, 3, 1, 1, 1, 1), 0), ((15, 3, 2, 2), 0), ((15, 3, 3, 1), 0), ((15, 4, 2, 1), 0), ((15, 5, 1, 1), 0), ((15, 7), -1), ((15, 7), 1), ((16, 2, 1, 1, 1, 1), 0), ((16, 2, 2, 2), 0), ((16, 3, 2, 1), 0), ((16, 4, 1, 1), 0), ((16, 6), 0), ((17, 1, 1, 1, 1, 1), 0), ((17, 2, 2, 1), 0), ((17, 3, 1, 1), 0), ((17, 5), -1), ((17, 5), 1), ((18, 2, 1, 1), 0), ((18, 4), 0), ((19, 1, 1, 1), 0), ((19, 3), -1), ((19, 3), 1), ((20, 2), 0), ((21, 1), -1), ((21, 1), 1)]
   n=23: classes C not certified: [((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2), 0), ((3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((3, 3, 2, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 2, 2, 2, 2), 0), ((3, 3, 3, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((3, 3, 3, 3, 3, 3, 2, 2, 1), 0), ((3, 3, 3, 3, 3, 3, 3, 1, 1), 0), ((4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 2, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((4, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 2, 2, 2, 2, 2), 0), ((4, 3, 3, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((4, 3, 3, 3, 3, 2, 2, 2, 1), 0), ((4, 3, 3, 3, 3, 3, 2, 1, 1), 0), ((4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((4, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((4, 4, 3, 2, 2, 2, 2, 2, 2), 0), ((4, 4, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 2, 2, 2, 2, 1), 0), ((4, 4, 3, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 3, 3, 3, 2, 2, 1, 1), 0), ((4, 4, 3, 3, 3, 3, 1, 1, 1), 0), ((4, 4, 3, 3, 3, 3, 3), 0), ((4, 4, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 2, 2, 2, 2, 2, 1), 0), ((4, 4, 4, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 3, 2, 2, 2, 1, 1), 0), ((4, 4, 4, 3, 3, 2, 1, 1, 1), 0), ((4, 4, 4, 3, 3, 3, 2), 0), ((4, 4, 4, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((4, 4, 4, 4, 2, 2, 1, 1, 1), 0), ((4, 4, 4, 4, 3, 1, 1, 1, 1), 0), ((4, 4, 4, 4, 3, 2, 2), 0), ((4, 4, 4, 4, 3, 3, 1), 0), ((4, 4, 4, 4, 4, 2, 1), 0), ((5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((5, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 3, 3, 2, 2, 2, 2, 2, 2), 0), ((5, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 2, 2, 2, 2, 1), 0), ((5, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((5, 3, 3, 3, 3, 2, 2, 1, 1), 0), ((5, 3, 3, 3, 3, 3, 1, 1, 1), 0), ((5, 3, 3, 3, 3, 3, 3), 0), ((5, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((5, 4, 2, 2, 2, 2, 2, 2, 2), 0), ((5, 4, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 2, 2, 2, 2, 2, 1), 0), ((5, 4, 3, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 3, 3, 2, 2, 2, 1, 1), 0), ((5, 4, 3, 3, 3, 2, 1, 1, 1), 0), ((5, 4, 3, 3, 3, 3, 2), 0), ((5, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 2, 2, 2, 2, 1, 1), 0), ((5, 4, 4, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 4, 4, 3, 2, 2, 1, 1, 1), 0), ((5, 4, 4, 3, 3, 1, 1, 1, 1), 0), ((5, 4, 4, 3, 3, 2, 2), 0), ((5, 4, 4, 3, 3, 3, 1), 0), ((5, 4, 4, 4, 2, 1, 1, 1, 1), 0), ((5, 4, 4, 4, 2, 2, 2), 0), ((5, 4, 4, 4, 3, 2, 1), 0), ((5, 4, 4, 4, 4, 1, 1), 0), ((5, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((5, 5, 2, 2, 2, 2, 2, 2, 1), 0), ((5, 5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 2, 2, 2, 2, 1, 1), 0), ((5, 5, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 3, 3, 2, 2, 1, 1, 1), 0), ((5, 5, 3, 3, 3, 1, 1, 1, 1), 0), ((5, 5, 3, 3, 3, 2, 2), 0), ((5, 5, 3, 3, 3, 3, 1), 0), ((5, 5, 4, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 4, 2, 2, 2, 1, 1, 1), 0), ((5, 5, 4, 3, 2, 1, 1, 1, 1), 0), ((5, 5, 4, 3, 2, 2, 2), 0), ((5, 5, 4, 3, 3, 2, 1), 0), ((5, 5, 4, 4, 1, 1, 1, 1, 1), 0), ((5, 5, 4, 4, 2, 2, 1), 0), ((5, 5, 4, 4, 3, 1, 1), 0), ((5, 5, 5, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((5, 5, 5, 2, 2, 1, 1, 1, 1), 0), ((5, 5, 5, 2, 2, 2, 2), 0), ((5, 5, 5, 3, 1, 1, 1, 1, 1), 0), ((5, 5, 5, 3, 2, 2, 1), 0), ((5, 5, 5, 3, 3, 1, 1), 0), ((5, 5, 5, 4, 2, 1, 1), 0), ((5, 5, 5, 4, 4), 0), ((5, 5, 5, 5, 1, 1, 1), 0), ((5, 5, 5, 5, 3), 0), ((6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((6, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((6, 3, 2, 2, 2, 2, 2, 2, 2), 0), ((6, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 2, 2, 2, 2, 2, 1), 0), ((6, 3, 3, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 3, 3, 3, 2, 2, 2, 1, 1), 0), ((6, 3, 3, 3, 3, 2, 1, 1, 1), 0), ((6, 3, 3, 3, 3, 3, 2), 0), ((6, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((6, 4, 2, 2, 2, 2, 2, 2, 1), 0), ((6, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 2, 2, 2, 2, 1, 1), 0), ((6, 4, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 3, 3, 2, 2, 1, 1, 1), 0), ((6, 4, 3, 3, 3, 1, 1, 1, 1), 0), ((6, 4, 3, 3, 3, 2, 2), 0), ((6, 4, 3, 3, 3, 3, 1), 0), ((6, 4, 4, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 4, 4, 2, 2, 2, 1, 1, 1), 0), ((6, 4, 4, 3, 2, 1, 1, 1, 1), 0), ((6, 4, 4, 3, 2, 2, 2), 0), ((6, 4, 4, 3, 3, 2, 1), 0), ((6, 4, 4, 4, 1, 1, 1, 1, 1), 0), ((6, 4, 4, 4, 2, 2, 1), 0), ((6, 4, 4, 4, 3, 1, 1), 0), ((6, 5, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 2, 2, 2, 2, 2, 1, 1), 0), ((6, 5, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 3, 2, 2, 2, 1, 1, 1), 0), ((6, 5, 3, 3, 2, 1, 1, 1, 1), 0), ((6, 5, 3, 3, 2, 2, 2), 0), ((6, 5, 3, 3, 3, 2, 1), 0), ((6, 5, 4, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 5, 4, 2, 2, 1, 1, 1, 1), 0), ((6, 5, 4, 2, 2, 2, 2), 0), ((6, 5, 4, 3, 1, 1, 1, 1, 1), 0), ((6, 5, 4, 3, 2, 2, 1), 0), ((6, 5, 4, 3, 3, 1, 1), 0), ((6, 5, 4, 4, 2, 1, 1), 0), ((6, 5, 4, 4, 4), 0), ((6, 5, 5, 2, 1, 1, 1, 1, 1), 0), ((6, 5, 5, 2, 2, 2, 1), 0), ((6, 5, 5, 3, 2, 1, 1), 0), ((6, 5, 5, 4, 1, 1, 1), 0), ((6, 5, 5, 4, 3), 0), ((6, 5, 5, 5, 2), 0), ((6, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 2, 2, 2, 2, 1, 1, 1), 0), ((6, 6, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 3, 2, 2, 1, 1, 1, 1), 0), ((6, 6, 3, 2, 2, 2, 2), 0), ((6, 6, 3, 3, 1, 1, 1, 1, 1), 0), ((6, 6, 3, 3, 2, 2, 1), 0), ((6, 6, 3, 3, 3, 1, 1), 0), ((6, 6, 4, 2, 1, 1, 1, 1, 1), 0), ((6, 6, 4, 2, 2, 2, 1), 0), ((6, 6, 4, 3, 2, 1, 1), 0), ((6, 6, 4, 4, 1, 1, 1), 0), ((6, 6, 4, 4, 3), 0), ((6, 6, 5, 1, 1, 1, 1, 1, 1), 0), ((6, 6, 5, 2, 2, 1, 1), 0), ((6, 6, 5, 3, 1, 1, 1), 0), ((6, 6, 5, 3, 3), 0), ((6, 6, 5, 4, 2), 0), ((6, 6, 5, 5, 1), 0), ((6, 6, 6, 2, 1, 1, 1), 0), ((6, 6, 6, 3, 2), 0), ((6, 6, 6, 4, 1), 0), ((7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((7, 2, 2, 2, 2, 2, 2, 2, 2), 0), ((7, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 3, 2, 2, 2, 2, 2, 2, 1), 0), ((7, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 2, 2, 2, 2, 1, 1), 0), ((7, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 3, 3, 3, 2, 2, 1, 1, 1), 0), ((7, 3, 3, 3, 3, 1, 1, 1, 1), 0), ((7, 3, 3, 3, 3, 2, 2), 0), ((7, 3, 3, 3, 3, 3, 1), 0), ((7, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 2, 2, 2, 2, 2, 1, 1), 0), ((7, 4, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 3, 2, 2, 2, 1, 1, 1), 0), ((7, 4, 3, 3, 2, 1, 1, 1, 1), 0), ((7, 4, 3, 3, 2, 2, 2), 0), ((7, 4, 3, 3, 3, 2, 1), 0), ((7, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 4, 4, 2, 2, 1, 1, 1, 1), 0), ((7, 4, 4, 2, 2, 2, 2), 0), ((7, 4, 4, 3, 1, 1, 1, 1, 1), 0), ((7, 4, 4, 3, 2, 2, 1), 0), ((7, 4, 4, 3, 3, 1, 1), 0), ((7, 4, 4, 4, 2, 1, 1), 0), ((7, 4, 4, 4, 4), 0), ((7, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 2, 2, 2, 2, 1, 1, 1), 0), ((7, 5, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 3, 2, 2, 1, 1, 1, 1), 0), ((7, 5, 3, 2, 2, 2, 2), 0), ((7, 5, 3, 3, 1, 1, 1, 1, 1), 0), ((7, 5, 3, 3, 2, 2, 1), 0), ((7, 5, 3, 3, 3, 1, 1), 0), ((7, 5, 4, 2, 1, 1, 1, 1, 1), 0), ((7, 5, 4, 2, 2, 2, 1), 0), ((7, 5, 4, 3, 2, 1, 1), 0), ((7, 5, 4, 4, 1, 1, 1), 0), ((7, 5, 4, 4, 3), 0), ((7, 5, 5, 1, 1, 1, 1, 1, 1), 0), ((7, 5, 5, 2, 2, 1, 1), 0), ((7, 5, 5, 3, 1, 1, 1), 0), ((7, 5, 5, 3, 3), 0), ((7, 5, 5, 4, 2), 0), ((7, 5, 5, 5, 1), 0), ((7, 6, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 6, 2, 2, 2, 1, 1, 1, 1), 0), ((7, 6, 2, 2, 2, 2, 2), 0), ((7, 6, 3, 2, 1, 1, 1, 1, 1), 0), ((7, 6, 3, 2, 2, 2, 1), 0), ((7, 6, 3, 3, 2, 1, 1), 0), ((7, 6, 4, 1, 1, 1, 1, 1, 1), 0), ((7, 6, 4, 2, 2, 1, 1), 0), ((7, 6, 4, 3, 1, 1, 1), 0), ((7, 6, 4, 3, 3), 0), ((7, 6, 4, 4, 2), 0), ((7, 6, 5, 2, 1, 1, 1), 0), ((7, 6, 5, 3, 2), 0), ((7, 6, 5, 4, 1), 0), ((7, 6, 6, 1, 1, 1, 1), 0), ((7, 6, 6, 2, 2), 0), ((7, 6, 6, 3, 1), 0), ((7, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((7, 7, 2, 2, 1, 1, 1, 1, 1), 0), ((7, 7, 2, 2, 2, 2, 1), 0), ((7, 7, 3, 1, 1, 1, 1, 1, 1), 0), ((7, 7, 3, 2, 2, 1, 1), 0), ((7, 7, 3, 3, 1, 1, 1), 0), ((7, 7, 3, 3, 3), 0), ((7, 7, 4, 2, 1, 1, 1), 0), ((7, 7, 4, 3, 2), 0), ((7, 7, 4, 4, 1), 0), ((7, 7, 5, 1, 1, 1, 1), 0), ((7, 7, 5, 2, 2), 0), ((7, 7, 5, 3, 1), 0), ((7, 7, 6, 2, 1), 0), ((7, 7, 7, 1, 1), 0), ((8, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((8, 2, 2, 2, 2, 2, 2, 2, 1), 0), ((8, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 2, 2, 2, 2, 2, 1, 1), 0), ((8, 3, 3, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 3, 3, 2, 2, 2, 1, 1, 1), 0), ((8, 3, 3, 3, 2, 1, 1, 1, 1), 0), ((8, 3, 3, 3, 2, 2, 2), 0), ((8, 3, 3, 3, 3, 2, 1), 0), ((8, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 2, 2, 2, 2, 1, 1, 1), 0), ((8, 4, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 4, 3, 2, 2, 1, 1, 1, 1), 0), ((8, 4, 3, 2, 2, 2, 2), 0), ((8, 4, 3, 3, 1, 1, 1, 1, 1), 0), ((8, 4, 3, 3, 2, 2, 1), 0), ((8, 4, 3, 3, 3, 1, 1), 0), ((8, 4, 4, 2, 1, 1, 1, 1, 1), 0), ((8, 4, 4, 2, 2, 2, 1), 0), ((8, 4, 4, 3, 2, 1, 1), 0), ((8, 4, 4, 4, 1, 1, 1), 0), ((8, 4, 4, 4, 3), 0), ((8, 5, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 5, 2, 2, 2, 1, 1, 1, 1), 0), ((8, 5, 2, 2, 2, 2, 2), 0), ((8, 5, 3, 2, 1, 1, 1, 1, 1), 0), ((8, 5, 3, 2, 2, 2, 1), 0), ((8, 5, 3, 3, 2, 1, 1), 0), ((8, 5, 4, 1, 1, 1, 1, 1, 1), 0), ((8, 5, 4, 2, 2, 1, 1), 0), ((8, 5, 4, 3, 1, 1, 1), 0), ((8, 5, 4, 3, 3), 0), ((8, 5, 4, 4, 2), 0), ((8, 5, 5, 2, 1, 1, 1), 0), ((8, 5, 5, 3, 2), 0), ((8, 5, 5, 4, 1), 0), ((8, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 6, 2, 2, 1, 1, 1, 1, 1), 0), ((8, 6, 2, 2, 2, 2, 1), 0), ((8, 6, 3, 1, 1, 1, 1, 1, 1), 0), ((8, 6, 3, 2, 2, 1, 1), 0), ((8, 6, 3, 3, 1, 1, 1), 0), ((8, 6, 3, 3, 3), 0), ((8, 6, 4, 2, 1, 1, 1), 0), ((8, 6, 4, 3, 2), 0), ((8, 6, 4, 4, 1), 0), ((8, 6, 5, 1, 1, 1, 1), 0), ((8, 6, 5, 2, 2), 0), ((8, 6, 5, 3, 1), 0), ((8, 6, 6, 2, 1), 0), ((8, 7, 2, 1, 1, 1, 1, 1, 1), 0), ((8, 7, 2, 2, 2, 1, 1), 0), ((8, 7, 3, 2, 1, 1, 1), 0), ((8, 7, 3, 3, 2), 0), ((8, 7, 4, 1, 1, 1, 1), 0), ((8, 7, 4, 2, 2), 0), ((8, 7, 4, 3, 1), 0), ((8, 7, 5, 2, 1), 0), ((8, 7, 6, 1, 1), 0), ((8, 8, 1, 1, 1, 1, 1, 1, 1), 0), ((8, 8, 2, 2, 1, 1, 1), 0), ((8, 8, 3, 1, 1, 1, 1), 0), ((8, 8, 3, 2, 2), 0), ((8, 8, 3, 3, 1), 0), ((8, 8, 4, 2, 1), 0), ((8, 8, 5, 1, 1), 0), ((8, 8, 7), 0), ((9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((9, 2, 2, 2, 2, 2, 2, 1, 1), 0), ((9, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 2, 2, 2, 2, 1, 1, 1), 0), ((9, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 3, 3, 2, 2, 1, 1, 1, 1), 0), ((9, 3, 3, 2, 2, 2, 2), 0), ((9, 3, 3, 3, 1, 1, 1, 1, 1), 0), ((9, 3, 3, 3, 2, 2, 1), 0), ((9, 3, 3, 3, 3, 1, 1), 0), ((9, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 4, 2, 2, 2, 1, 1, 1, 1), 0), ((9, 4, 2, 2, 2, 2, 2), 0), ((9, 4, 3, 2, 1, 1, 1, 1, 1), 0), ((9, 4, 3, 2, 2, 2, 1), 0), ((9, 4, 3, 3, 2, 1, 1), 0), ((9, 4, 4, 1, 1, 1, 1, 1, 1), 0), ((9, 4, 4, 2, 2, 1, 1), 0), ((9, 4, 4, 3, 1, 1, 1), 0), ((9, 4, 4, 3, 3), 0), ((9, 4, 4, 4, 2), 0), ((9, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 5, 2, 2, 1, 1, 1, 1, 1), 0), ((9, 5, 2, 2, 2, 2, 1), 0), ((9, 5, 3, 1, 1, 1, 1, 1, 1), 0), ((9, 5, 3, 2, 2, 1, 1), 0), ((9, 5, 3, 3, 1, 1, 1), 0), ((9, 5, 3, 3, 3), 0), ((9, 5, 4, 2, 1, 1, 1), 0), ((9, 5, 4, 3, 2), 0), ((9, 5, 4, 4, 1), 0), ((9, 5, 5, 1, 1, 1, 1), 0), ((9, 5, 5, 2, 2), 0), ((9, 5, 5, 3, 1), 0), ((9, 6, 2, 1, 1, 1, 1, 1, 1), 0), ((9, 6, 2, 2, 2, 1, 1), 0), ((9, 6, 3, 2, 1, 1, 1), 0), ((9, 6, 3, 3, 2), 0), ((9, 6, 4, 1, 1, 1, 1), 0), ((9, 6, 4, 2, 2), 0), ((9, 6, 4, 3, 1), 0), ((9, 6, 5, 2, 1), 0), ((9, 6, 6, 1, 1), 0), ((9, 7, 1, 1, 1, 1, 1, 1, 1), 0), ((9, 7, 2, 2, 1, 1, 1), 0), ((9, 7, 3, 1, 1, 1, 1), 0), ((9, 7, 3, 2, 2), 0), ((9, 7, 3, 3, 1), 0), ((9, 7, 4, 2, 1), 0), ((9, 7, 5, 1, 1), 0), ((9, 7, 7), 0), ((9, 8, 2, 1, 1, 1, 1), 0), ((9, 8, 2, 2, 2), 0), ((9, 8, 3, 2, 1), 0), ((9, 8, 4, 1, 1), 0), ((9, 8, 6), 0), ((9, 9, 1, 1, 1, 1, 1), 0), ((9, 9, 2, 2, 1), 0), ((9, 9, 3, 1, 1), 0), ((9, 9, 5), 0), ((10, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 2, 2, 2, 2, 2, 1, 1, 1), 0), ((10, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 3, 2, 2, 2, 1, 1, 1, 1), 0), ((10, 3, 2, 2, 2, 2, 2), 0), ((10, 3, 3, 2, 1, 1, 1, 1, 1), 0), ((10, 3, 3, 2, 2, 2, 1), 0), ((10, 3, 3, 3, 2, 1, 1), 0), ((10, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 4, 2, 2, 1, 1, 1, 1, 1), 0), ((10, 4, 2, 2, 2, 2, 1), 0), ((10, 4, 3, 1, 1, 1, 1, 1, 1), 0), ((10, 4, 3, 2, 2, 1, 1), 0), ((10, 4, 3, 3, 1, 1, 1), 0), ((10, 4, 3, 3, 3), 0), ((10, 4, 4, 2, 1, 1, 1), 0), ((10, 4, 4, 3, 2), 0), ((10, 4, 4, 4, 1), 0), ((10, 5, 2, 1, 1, 1, 1, 1, 1), 0), ((10, 5, 2, 2, 2, 1, 1), 0), ((10, 5, 3, 2, 1, 1, 1), 0), ((10, 5, 3, 3, 2), 0), ((10, 5, 4, 1, 1, 1, 1), 0), ((10, 5, 4, 2, 2), 0), ((10, 5, 4, 3, 1), 0), ((10, 5, 5, 2, 1), 0), ((10, 6, 1, 1, 1, 1, 1, 1, 1), 0), ((10, 6, 2, 2, 1, 1, 1), 0), ((10, 6, 3, 1, 1, 1, 1), 0), ((10, 6, 3, 2, 2), 0), ((10, 6, 3, 3, 1), 0), ((10, 6, 4, 2, 1), 0), ((10, 6, 5, 1, 1), 0), ((10, 7, 2, 1, 1, 1, 1), 0), ((10, 7, 2, 2, 2), 0), ((10, 7, 3, 2, 1), 0), ((10, 7, 4, 1, 1), 0), ((10, 7, 6), 0), ((10, 8, 1, 1, 1, 1, 1), 0), ((10, 8, 2, 2, 1), 0), ((10, 8, 3, 1, 1), 0), ((10, 8, 5), 0), ((10, 9, 2, 1, 1), 0), ((10, 9, 4), 0), ((10, 10, 1, 1, 1), 0), ((10, 10, 3), 0), ((11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 2, 2, 2, 2, 1, 1, 1, 1), 0), ((11, 2, 2, 2, 2, 2, 2), 0), ((11, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 3, 2, 2, 1, 1, 1, 1, 1), 0), ((11, 3, 2, 2, 2, 2, 1), 0), ((11, 3, 3, 1, 1, 1, 1, 1, 1), 0), ((11, 3, 3, 2, 2, 1, 1), 0), ((11, 3, 3, 3, 1, 1, 1), 0), ((11, 3, 3, 3, 3), 0), ((11, 4, 2, 1, 1, 1, 1, 1, 1), 0), ((11, 4, 2, 2, 2, 1, 1), 0), ((11, 4, 3, 2, 1, 1, 1), 0), ((11, 4, 3, 3, 2), 0), ((11, 4, 4, 1, 1, 1, 1), 0), ((11, 4, 4, 2, 2), 0), ((11, 4, 4, 3, 1), 0), ((11, 5, 1, 1, 1, 1, 1, 1, 1), 0), ((11, 5, 2, 2, 1, 1, 1), 0), ((11, 5, 3, 1, 1, 1, 1), 0), ((11, 5, 3, 2, 2), 0), ((11, 5, 3, 3, 1), 0), ((11, 5, 4, 2, 1), 0), ((11, 5, 5, 1, 1), 0), ((11, 6, 2, 1, 1, 1, 1), 0), ((11, 6, 2, 2, 2), 0), ((11, 6, 3, 2, 1), 0), ((11, 6, 4, 1, 1), 0), ((11, 6, 6), 0), ((11, 7, 1, 1, 1, 1, 1), 0), ((11, 7, 2, 2, 1), 0), ((11, 7, 3, 1, 1), 0), ((11, 7, 5), -1), ((11, 7, 5), 1), ((11, 8, 2, 1, 1), 0), ((11, 8, 4), 0), ((11, 9, 1, 1, 1), 0), ((11, 9, 3), -1), ((11, 9, 3), 1), ((11, 10, 2), 0), ((11, 11, 1), 0), ((12, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((12, 2, 2, 2, 1, 1, 1, 1, 1), 0), ((12, 2, 2, 2, 2, 2, 1), 0), ((12, 3, 2, 1, 1, 1, 1, 1, 1), 0), ((12, 3, 2, 2, 2, 1, 1), 0), ((12, 3, 3, 2, 1, 1, 1), 0), ((12, 3, 3, 3, 2), 0), ((12, 4, 1, 1, 1, 1, 1, 1, 1), 0), ((12, 4, 2, 2, 1, 1, 1), 0), ((12, 4, 3, 1, 1, 1, 1), 0), ((12, 4, 3, 2, 2), 0), ((12, 4, 3, 3, 1), 0), ((12, 4, 4, 2, 1), 0), ((12, 5, 2, 1, 1, 1, 1), 0), ((12, 5, 2, 2, 2), 0), ((12, 5, 3, 2, 1), 0), ((12, 5, 4, 1, 1), 0), ((12, 6, 1, 1, 1, 1, 1), 0), ((12, 6, 2, 2, 1), 0), ((12, 6, 3, 1, 1), 0), ((12, 6, 5), 0), ((12, 7, 2, 1, 1), 0), ((12, 7, 4), 0), ((12, 8, 1, 1, 1), 0), ((12, 8, 3), 0), ((12, 9, 2), 0), ((12, 10, 1), 0), ((13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 1, 1, 1, 1, 1, 1), 0), ((13, 2, 2, 2, 2, 1, 1), 0), ((13, 3, 1, 1, 1, 1, 1, 1, 1), 0), ((13, 3, 2, 2, 1, 1, 1), 0), ((13, 3, 3, 1, 1, 1, 1), 0), ((13, 3, 3, 2, 2), 0), ((13, 3, 3, 3, 1), 0), ((13, 4, 2, 1, 1, 1, 1), 0), ((13, 4, 2, 2, 2), 0), ((13, 4, 3, 2, 1), 0), ((13, 4, 4, 1, 1), 0), ((13, 5, 1, 1, 1, 1, 1), 0), ((13, 5, 2, 2, 1), 0), ((13, 5, 3, 1, 1), 0), ((13, 5, 5), 0), ((13, 6, 2, 1, 1), 0), ((13, 6, 4), 0), ((13, 7, 1, 1, 1), 0), ((13, 7, 3), -1), ((13, 7, 3), 1), ((13, 8, 2), 0), ((13, 9, 1), -1), ((13, 9, 1), 1), ((14, 2, 1, 1, 1, 1, 1, 1, 1), 0), ((14, 2, 2, 2, 1, 1, 1), 0), ((14, 3, 2, 1, 1, 1, 1), 0), ((14, 3, 2, 2, 2), 0), ((14, 3, 3, 2, 1), 0), ((14, 4, 1, 1, 1, 1, 1), 0), ((14, 4, 2, 2, 1), 0), ((14, 4, 3, 1, 1), 0), ((14, 5, 2, 1, 1), 0), ((14, 5, 4), 0), ((14, 6, 1, 1, 1), 0), ((14, 6, 3), 0), ((14, 7, 2), 0), ((14, 8, 1), 0), ((15, 1, 1, 1, 1, 1, 1, 1, 1), 0), ((15, 2, 2, 1, 1, 1, 1), 0), ((15, 2, 2, 2, 2), 0), ((15, 3, 1, 1, 1, 1, 1), 0), ((15, 3, 2, 2, 1), 0), ((15, 3, 3, 1, 1), 0), ((15, 4, 2, 1, 1), 0), ((15, 4, 4), 0), ((15, 5, 1, 1, 1), 0), ((15, 5, 3), -1), ((15, 5, 3), 1), ((15, 6, 2), 0), ((15, 7, 1), -1), ((15, 7, 1), 1), ((16, 2, 1, 1, 1, 1, 1), 0), ((16, 2, 2, 2, 1), 0), ((16, 3, 2, 1, 1), 0), ((16, 4, 1, 1, 1), 0), ((16, 4, 3), 0), ((16, 5, 2), 0), ((16, 6, 1), 0), ((17, 1, 1, 1, 1, 1, 1), 0), ((17, 2, 2, 1, 1), 0), ((17, 3, 1, 1, 1), 0), ((17, 3, 3), 0), ((17, 4, 2), 0), ((17, 5, 1), -1), ((17, 5, 1), 1), ((18, 2, 1, 1, 1), 0), ((18, 3, 2), 0), ((18, 4, 1), 0), ((19, 1, 1, 1, 1), 0), ((19, 2, 2), 0), ((19, 3, 1), -1), ((19, 3, 1), 1), ((20, 2, 1), 0), ((21, 1, 1), 0), ((23,), -1), ((23,), 1)]
   half labels: 77 split types seen, claim's labels swapped relative to mine for 0: []
nice -n 10 python -I vb_certcheck.py  2.29s user 0.02s system 99% cpu 2.320 total
cert_small_n5_23: for every n in 5..23 the certified classes C are exactly the classes of support <= 6 (types 3, 2.2, 5, 3.3, 4.2, both halves when split): True
