#include<stdio.h>

int main(){
  int k; 
  int ans= 0;
 
  scanf("%d",k);
  
  for(int c = 1;c<k;c++){    
    for(int b = 1;b<k;b++){
      for(int a = 1;a<k;a++){
         int l=0;
        for(int i=1;i<=k;k++){
          if(a/i>0 && b/i>0){
            if(c/i>0){
            l=i;
            }
          }
        }
        ans+=l;
      }
    }
  }
}
    
  