#include<civlc.cvh>

$input int N;
$assume(0 < N && N<10);

int main(void){
  int a;
  
  a=$choose_int(N);
}