HSPN
fs w 5 fs p(w) 5 fs p(W) 5 fs p(W+1) 5 fs p(W+W) 5 fs p(p(W_2+1)) 5 fs p(p(W_2+w)) 5 fs p(p(W_2+W)) 5 fs p(p(W_2+p(W_2+w))) 5 fs p(p(W_2+W_2)) 5 fs p(p(W_2+W_2)+p(W_2+W_2)) 5 fs p(p(W_2+W_2+1)) 5 fs p(p(W_2+W_2+W)) 5 fs p(p(W_2+W_2+p(W_2+W_2))) 5 fs p(p(W_2+W_2+W_2)) 5 fs p(p(p(W_3+1))) 5 fs p(p(p(W_3+W))) 5 fs p(p(p(W_3+W_2))) 5 fs p(p(p(W_3+W_2))+p(p(W_3+W_2))) 5 fs p(p(p(W_3+W_2)+W_2)) 5 fs p(p(p(W_3+W_2)+p(W_3+W_2))) 5 fs p(p(p(W_3+W_2+1))) 5 fs p(p(p(W_3+W_2+W))) 5 fs p(p(p(W_3+W_2+p(W_3+W_2)))) 5 fs p(p(p(W_3+W_2+W_2))) 5 fs p(p(p(W_3+p(W_3+1)))) 5 fs p(p(p(W_3+p(W_3+W)))) 5 fs p(p(p(W_3+p(W_3+p(W_3+W_2))))) 5 fs p(p(p(W_3+p(W_3+W_2)))) 5 fs p(p(p(W_3+p(W_3+W_2+1)))) 5 fs p(p(p(W_3+p(W_3+W_2+W_2)))) 5 fs p(p(p(W_3+p(W_3+p(W_3+1))))) 5 fs p(p(p(W_3+p(W_3+p(W_3+W_2))))) 5 fs p(p(p(W_3+W_3))) 5 fs p(p(p(W_3+W_3)+W_2)) 5 fs p(p(p(W_3+W_3)+p(W_3+W_3))) 5 fs p(p(p(W_3+W_3+1))) 5 fs p(p(p(W_3+W_3+W_2))) 5 fs p(p(p(W_3+W_3+W_3))) 5 fs p(p(p(p(W_4+1)))) 5 fs p(p(p(p(W_4+W)))) 5 fs p(p(p(p(W_4+W_2)))) 5 fs p(p(p(p(W_4+W_3)))) 5 fs p(p(p(p(W_4+W_4)))) 5 fs p(p(p(p(p(W_5+1))))) 5 fs p(p(p(p(p(W_5+W_4))))) 5 fs p(p(p(p(p(W_5+W_5))))) 5 fs p(p(p(p(p(p(W_6+1)))))) 5 fs p(p(p(p(p(p(W_6+W_6)))))) 5 fs W 5 lt p(W_2+1) W_2 lt W_2 W_3 lt W p(W+1) lt W_2 p(W_3+p(p(W_4+W_4))) lv 0 lv p(W) lv W lv p(W_2+W) lv p(W_2+W_2) lv p(p(W_3+W_3)) lv W_2 lv p(W_3+W_3) lv W_3
Calculate