x0 := read (); x1 := read (); y := 25+x0+x0+45-46; write (y)