void main() {
  $END$
}