void __main() {
}