import jp.kobe_u.copris._
import jp.kobe_u.copris.dsl._

init
int('x(20), 0, 4)
int('x(10), 0, 4)
int('x(5), 0, 4)
int('x(2), 0, 4)
add('x(20) * 20 + 'x(10) * 10 + 'x(5) * 5 + 'x(2) * 2 === 93)