local graphs 103500 violating the 11-rank proposition: 0
(rank_11 D, disc at rank 20, rank_3 F): {(16, None, 15): 22, (16, None, 16): 8, (17, None, 13): 12, (17, None, 15): 38, (17, None, 16): 40, (17, None, 19): 6, (18, None, 13): 128, (18, None, 14): 20, (18, None, 15): 188, (18, None, 16): 500, (18, None, 17): 242, (18, None, 18): 8, (18, None, 19): 376, (19, None, 10): 1602, (19, None, 11): 4194, (19, None, 12): 8352, (19, None, 13): 4360, (19, None, 14): 64, (19, None, 15): 842, (19, None, 16): 5086, (19, None, 17): 2060, (19, None, 18): 244, (19, None, 19): 3468, (20, -1, 14): 220, (20, -1, 15): 5346, (20, -1, 16): 15530, (20, -1, 17): 18574, (20, -1, 18): 2556, (20, -1, 19): 29414}
