local graphs 103500 violating the 11-rank proposition: 0
(rank_11 D, disc at rank 20, rank_3 F): {(14, None, 13): 16, (14, None, 14): 24, (14, None, 16): 48, (15, None, 10): 80, (15, None, 12): 64, (15, None, 13): 112, (15, None, 14): 32, (15, None, 15): 80, (15, None, 16): 208, (16, None, 11): 48, (16, None, 12): 8, (16, None, 13): 8, (16, None, 14): 32, (16, None, 15): 170, (16, None, 16): 16, (16, None, 17): 32, (17, None, 11): 8, (17, None, 13): 8, (17, None, 14): 24, (17, None, 15): 60, (17, None, 16): 88, (17, None, 17): 112, (17, None, 18): 80, (17, None, 19): 20, (17, None, 20): 48, (18, None, 13): 96, (18, None, 14): 16, (18, None, 15): 322, (18, None, 16): 382, (18, None, 17): 350, (18, None, 18): 372, (18, None, 19): 460, (18, None, 20): 304, (18, None, 21): 112, (19, None, 10): 982, (19, None, 11): 3030, (19, None, 12): 4968, (19, None, 13): 3452, (19, None, 14): 122, (19, None, 15): 1070, (19, None, 16): 3782, (19, None, 17): 2530, (19, None, 18): 1460, (19, None, 19): 4308, (19, None, 20): 896, (19, None, 21): 1024, (20, -1, 14): 144, (20, -1, 15): 2978, (20, -1, 16): 9102, (20, -1, 17): 13928, (20, -1, 18): 3728, (20, -1, 19): 28476, (20, -1, 20): 4768, (20, -1, 21): 8912}
