 <?php   
    $sum=0;
    fscanf(STDIN,"%d",$K);

    for($i=1;$i<=$K;$i++){
        for($j=1;$j<=$K;$j++){
            for($k=1;$k<=$K;$k++){
                $ij = gmp_gcd($i, $j);
                $gcd = gmp_gcd($ij,$k);
                $sum += $gcd;
              

            }
        }
    }

    echo $sum."\n";
