q=4 exhaustive: {"pairs_SL": 10, "pairs_PSL": 10, "unequal": 0, "trace_violations": 0, "period_pairs": {"5,5": 10}}
q=4 param: [(2, [5, 5], [5, 5]), (3, [5, 5], [5, 5])]
q=5 exhaustive: {"pairs_SL": 5, "pairs_PSL": 20, "unequal": 0, "trace_violations": 0, "period_pairs": {"5,5": 20}}
q=5 param: [(3, [5, 5], [5, 5])]
q=7 exhaustive: {"pairs_SL": 8, "pairs_PSL": 32, "unequal": 0, "trace_violations": 0, "period_pairs": {"8,8": 32}}
q=7 param: [(3, [8, 8], [8, 8])]
q=8 exhaustive: {"pairs_SL": 27, "pairs_PSL": 27, "unequal": 0, "trace_violations": 0, "period_pairs": {"18,18": 27}}
q=8 param: [(3, [18, 18], [18, 18]), (5, [18, 18], [18, 18]), (6, [18, 18], [18, 18])]
q=9 exhaustive: {"pairs_SL": 20, "pairs_PSL": 80, "unequal": 0, "trace_violations": 0, "period_pairs": {"5,5": 80}}
q=9 param: [(5, [5, 5], [5, 5]), (8, [5, 5], [5, 5])]
q=11 exhaustive: {"pairs_SL": 20, "pairs_PSL": 80, "unequal": 0, "trace_violations": 0, "period_pairs": {"5,5": 80}}
q=11 param: [(4, [5, 5], [5, 5]), (8, [5, 5], [5, 5])]
q=13 exhaustive: {"pairs_SL": 81, "pairs_PSL": 324, "unequal": 0, "trace_violations": 0, "period_pairs": {"26,26": 52, "4,4": 56, "12,12": 48, "14,14": 56, "56,56": 112}}
q=13 param: [(3, [4, 4], [4, 4]), (6, [56, 56], [56, 56]), (7, [56, 56], [56, 56]), (8, [14, 14], [14, 14]), (9, [12, 12], [12, 12]), (11, [26, 26], [26, 26])]
q=16 exhaustive: {"pairs_SL": 30, "pairs_PSL": 30, "unequal": 0, "trace_violations": 0, "period_pairs": {"5,5": 30}}
q=16 param: [(10, [5, 5], [5, 5]), (11, [5, 5], [5, 5])]
q=17 exhaustive: {"pairs_SL": 18, "pairs_PSL": 72, "unequal": 0, "trace_violations": 0, "period_pairs": {"6,6": 72}}
q=17 param: [(13, [6, 6], [6, 6])]
q=19 exhaustive: {"pairs_SL": 60, "pairs_PSL": 240, "unequal": 0, "trace_violations": 0, "period_pairs": {"5,5": 160, "100,100": 80}}
q=19 param: [(5, [5, 5], [5, 5]), (13, [100, 100], [100, 100]), (15, [5, 5], [5, 5])]
q=23 exhaustive: {"pairs_SL": 48, "pairs_PSL": 192, "unequal": 0, "trace_violations": 0, "period_pairs": {"40,40": 192}}
q=23 param: [(5, [40, 40], [40, 40]), (8, [40, 40], [40, 40])]
q=25 exhaustive: {"pairs_SL": 25, "pairs_PSL": 100, "unequal": 0, "trace_violations": 0, "period_pairs": {"5,5": 100}}
q=25 param: [(3, [5, 5], [5, 5])]
q=27 exhaustive: {"pairs_SL": 162, "pairs_PSL": 648, "unequal": 0, "trace_violations": 0, "period_pairs": {"26,26": 312, "28,28": 336}}
q=27 param: [(5, [28, 28], [28, 28]), (8, [26, 26], [26, 26]), (10, [28, 28], [28, 28]), (12, [26, 26], [26, 26]), (18, [26, 26], [26, 26]), (25, [28, 28], [28, 28])]
q=29 exhaustive: {"pairs_SL": 295, "pairs_PSL": 1180, "unequal": 0, "trace_violations": 0, "period_pairs": {"87,87": 116, "49,49": 112, "30,30": 240, "5,5": 240, "90,90": 120, "28,28": 112, "75,75": 240}}
q=29 param: [(3, [49, 49], [49, 49]), (4, [30, 30], [30, 30]), (6, [5, 5], [5, 5]), (8, [30, 30], [30, 30]), (14, [75, 75], [75, 75]), (15, [75, 75], [75, 75]), (19, [28, 28], [28, 28]), (21, [90, 90], [90, 90]), (24, [5, 5], [5, 5]), (27, [87, 87], [87, 87])]
q=31 exhaustive: {"pairs_SL": 156, "pairs_PSL": 624, "unequal": 0, "trace_violations": 0, "period_pairs": {"80,80": 128, "56,56": 128, "32,32": 128, "5,5": 240}}
q=31 param: [(4, [80, 80], [80, 80]), (5, [56, 56], [56, 56]), (8, [32, 32], [32, 32]), (13, [5, 5], [5, 5]), (19, [5, 5], [5, 5])]
q=32 exhaustive: {"pairs_SL": 165, "pairs_PSL": 165, "unequal": 0, "trace_violations": 0, "period_pairs": {"33,33": 165}}
q=32 param: [(7, [33, 33], [33, 33]), (11, [33, 33], [33, 33]), (15, [33, 33], [33, 33]), (21, [33, 33], [33, 33]), (23, [33, 33], [33, 33])]
q=37 param: [(4, [72, 72], [72, 72]), (17, [48, 48], [48, 48]), (33, [72, 72], [72, 72])]
q=41 param: [(7, [5, 5], [5, 5]), (15, [40, 40], [40, 40]), (17, [4, 4], [4, 4]), (31, [42, 42], [42, 42]), (35, [5, 5], [5, 5]), (38, [20, 20], [20, 20])]
q=43 param: [(7, [110, 110], [110, 110]), (9, [22, 22], [22, 22]), (16, [44, 44], [44, 44]), (20, [42, 42], [42, 42]), (23, [84, 84], [84, 84]), (28, [63, 63], [63, 63])]
q=47 param: [(16, [69, 69], [69, 69]), (29, [72, 72], [72, 72]), (32, [72, 72], [72, 72])]
q=49 param: [(3, [8, 8], [8, 8]), (7, [80, 80], [80, 80]), (18, [5, 5], [5, 5]), (39, [5, 5], [5, 5]), (42, [80, 80], [80, 80])]
q=53 param: []
q=59 param: [(21, [18, 18], [18, 18]), (26, [5, 5], [5, 5]), (34, [5, 5], [5, 5]), (38, [18, 18], [18, 18])]
q=61 param: [(18, [5, 5], [5, 5]), (44, [5, 5], [5, 5])]
q=64 param: [(3, [52, 52], [52, 52]), (5, [52, 52], [52, 52]), (11, [18, 18], [18, 18]), (17, [52, 52], [52, 52]), (27, [52, 52], [52, 52]), (36, [18, 18], [18, 18]), (38, [52, 52], [52, 52]), (43, [52, 52], [52, 52]), (47, [18, 18], [18, 18]), (56, [5, 5], [5, 5]), (57, [5, 5], [5, 5])]
q=67 param: [(34, [119, 119], [119, 119]), (41, [85, 85], [85, 85])]
q=71 param: [(5, [72, 72], [72, 72]), (7, [15, 15], [15, 15]), (9, [5, 5], [5, 5]), (15, [70, 70], [70, 70]), (34, [70, 70], [70, 70]), (53, [70, 70], [70, 70]), (55, [72, 72], [72, 72]), (63, [5, 5], [5, 5])]
q=73 param: [(17, [26, 26], [26, 26]), (58, [18, 18], [18, 18]), (66, [13, 13], [13, 13])]
q=79 param: [(9, [12, 12], [12, 12]), (19, [112, 112], [112, 112]), (30, [5, 5], [5, 5]), (46, [20, 20], [20, 20]), (50, [5, 5], [5, 5]), (52, [90, 90], [90, 90]), (56, [91, 91], [91, 91]), (57, [50, 50], [50, 50])]
q=81 param: [(17, [5, 5], [5, 5]), (23, [5, 5], [5, 5])]
q=83 param: [(11, [84, 84], [84, 84]), (16, [82, 82], [82, 82]), (58, [82, 82], [82, 82])]
q=89 param: [(10, [5, 5], [5, 5]), (76, [75, 75], [75, 75]), (80, [5, 5], [5, 5])]
q=97 param: [(26, [98, 98], [98, 98]), (31, [98, 98], [98, 98]), (42, [98, 98], [98, 98]), (68, [72, 72], [72, 72])]
q=101 param: [(23, [5, 5], [5, 5]), (79, [5, 5], [5, 5]), (87, [24, 24], [24, 24])]
q=103 param: [(65, [16, 16], [16, 16]), (90, [8, 8], [8, 8])]
q=107 param: []
q=109 param: [(11, [5, 5], [5, 5]), (99, [5, 5], [5, 5])]
q=113 param: [(10, [38, 38], [38, 38]), (25, [112, 112], [112, 112]), (40, [6, 6], [6, 6]), (80, [114, 114], [114, 114])]
q=121 param: [(4, [5, 5], [5, 5]), (8, [5, 5], [5, 5])]
q=125 param: [(3, [5, 5], [5, 5])]
q=127 param: [(32, [70, 70], [70, 70]), (55, [63, 63], [63, 63]), (67, [32, 32], [32, 32]), (102, [105, 105], [105, 105])]
q=128 param: []
