functioniszero0dummydummy2truefunctioniszerosxdummydummy2falsefunctionp0dummydummy20functionps0dummydummy20functionpssxdummydummy2sfunctionpsxxxfunctionplusdummyxyfunctioniffunctioniszeroxxxxyfunctioniftruexyyfunctioniffalsexyfunctionplusfunctionthirdxyyfunctionpxxysyfunctionthirdxyzzfunction4iszero000true0s1false0p0plus0if0third0INNERMOST./TRS/secret05/aprove3.trs