genotype_variation: mutant (hct116-ctnnb1-/delta 45)