gcd_tripled added