#include $input int N, B=10; $input int x,y; $assume(0y+i) a=a+i; else a=a-i; } }