{"raw_statement":[{"iden":"problem statement","content":"There was an exam consisting of three problems worth $1$, $2$, and $4$ points.\nTakahashi, Aoki, and Snuke took this exam. Takahashi scored $A$ points, and Aoki scored $B$ points.\nSnuke solved all of the problems solved by at least one of Takahashi and Aoki, and failed to solve any of the problems solved by neither of them.\nFind Snuke's score.\nIt can be proved that Snuke's score is uniquely determined under the Constraints of this problem."},{"iden":"constraints","content":"*   $0\\leq A,B \\leq 7$\n*   $A$ and $B$ are integers."},{"iden":"input","content":"The input is given from Standard Input in the following format:\n\n$A$ $B$"},{"iden":"sample input 1","content":"1 2"},{"iden":"sample output 1","content":"3\n\nSince Takahashi scored $1$ point, we see that he solved only the $1$\\-point problem and failed to solve the other two.  \nSimilarly, since Aoki scored $2$ points, we see that he solved only the $2$\\-point problem and failed to solve the other two.\nTherefore, Snuke must have solved the $1$\\- and $2$\\-point problems, but not the $4$\\-point one, which Takahashi and Aoki both failed to solve, for a score of $3$ points. Thus, $3$ should be printed."},{"iden":"sample input 2","content":"5 3"},{"iden":"sample output 2","content":"7\n\nSince Takahashi scored $5$ points, we see that he solved the $1$\\- and $4$\\-point problems but not the $2$\\-point one.  \nSimilarly, since Aoki scored $3$ points, we see that he solved the $1$\\- and $2$\\-point problems but not the $4$\\-point one.\nTherefore, each of the three problems is solved by at least one of Takahashi and Aoki, so we see that Snuke solved all of the problems, for a score of $7$ points. Thus, $7$ should be printed."},{"iden":"sample input 3","content":"0 0"},{"iden":"sample output 3","content":"0\n\nBoth Takahashi and Aoki solved none of the problems. Therefore, so did Snuke. Thus, $0$ should be printed."}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}