fun bool main() = write(true && true)