main
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)
fun main()(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)(source)