$0=N+1
$1=N/K
$2=N*N
$3=K*N
ifK<=10
  ifK==1
    $1=N*7778742049
    $1=$1/12586269025
  end
  ifK==2
    $1=N*7645370045
    $1=$1/18457556052
  end
  ifK==3
    $1=N*15235664443
    $1=$1/50319981347
  end
  ifK==4
    $1=N*10182505537
    $1=$1/43133785636
  end
  ifK==5
    $1=N*9989688826
    $1=$1/51872282415
  end
  ifK==6
    $1=N*2921503573
    $1=$1/18003116202
  end
  ifK==7
    $1=N*17217982601
    $1=$1/122937341807
  end
  ifK==8
    $1=N*11241683441
    $1=$1/91317382001
  end
  ifK==9
    $1=N*3889316089
    $1=$1/35430783696
  end
  ifK==10
    $1=N*10928351501
    $1=$1/110365635060
  end
  $0=$1
end
while$0>$1
  $0=$1
  $4=$1*$1
  $1=2*$1
  $4=$4+$2
  $1=$1+$3
  $1=$4/$1
end
$0=$0+N
return$0