//EXPECTED 42
int main() {
  return 30+12;
}