t=⊤
read n
while read -aq
do((q[n]))&&for((i=0;i<n;)){ ¬;b+=∧${_[q[i++]]}P_$i;}&&a+=∨\(${b:1}\) b=||t=
done
⊥ ${a:1} $t
echo A=$_