int main() {
  return 127;
}