UVA13057 Prove Them All

Description

[problemUrl]: https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=866&page=show_problem&problem=4955 [PDF](https://uva.onlinejudge.org/external/130/p13057.pdf) ![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA13057/e376d5c1a621f7ce68aa9c8ccfe20f7a695db55f.png)

Input Format

![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA13057/cb49a06eff5b36721bfaa505f82eea7e88ee6e69.png)

Output Format

![](https://cdn.luogu.com.cn/upload/vjudge_pic/UVA13057/95d62e27013b4656d8ebb5c8ea8ba5cf13364c4d.png)