doublexpermutexxapermutexyapermuteisZeroxxbpermutefalsexbpermuteackxxpxcpermutetruexb0permuteyxcsspermutexyap00psxxack0xplusxs0acksx0ackxs0acksxsyackxacksxyplus0yyplussxyplusxsyplusxssysplussxyplusxs0sxplusx0xisZero0trueisZerosxfalsedouble1permute3a0isZero1b0false0ack2p1c0true000s1plus2INNERMOST./TRS/secret06/aprove/double.trs