P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),εyP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),w)),εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),εyP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),w)),z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),εyP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),w)),z,w)),εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),εyP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),w)),εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),εyP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),w)),z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),εyP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,εz~P(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,εwP(εx~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),εz~P(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,εwP(x,εyP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),εwP(x,y,εz~P(x,y,z,εwP(x,y,z,w)),w)),z,w)),w)),y,z,w)),w)),z,w)),w))