spence ['0', '95'] local graphs 207000 with rank_3 F > 20: 10048
(rank_3(X-I), rank_3 F): {(13, 10): 576, (13, 11): 1416, (13, 12): 2040, (13, 13): 432, (14, 10): 2088, (14, 11): 4040, (14, 12): 7236, (14, 13): 2364, (14, 14): 32, (14, 15): 288, (15, 11): 1824, (15, 12): 4116, (15, 13): 3916, (15, 14): 56, (15, 15): 1858, (15, 16): 422, (16, 13): 1480, (16, 14): 530, (16, 15): 8274, (16, 16): 20296, (16, 17): 21922, (17, 14): 80, (17, 15): 696, (17, 16): 13768, (17, 17): 11754, (17, 18): 384, (18, 16): 304, (18, 17): 4152, (18, 18): 7680, (18, 19): 59216, (19, 18): 384, (19, 19): 7312, (19, 20): 2848, (20, 20): 3168, (20, 21): 10048}
