(<>(((((p101\/[]p102)\/[]p103)/\((p201\/p202)\/[]p203))/\((p301\/p302)\/p303))/\((p401\/p402)\/p403))-><>((((((((((((((((((p101/\p201)\/(p101/\p301))\/(p101/\p401))\/(p201/\p301))\/(p201/\p401))\/(p301/\p401))\/([]p102/\p202))\/([]p102/\p302))\/([]p102/\p402))\/(p202/\p302))\/(p202/\p402))\/(p302/\p402))\/([]p103/\[]p203))\/([]p103/\~p303))\/([]p103/\p403))\/([]p203/\~p303))\/([]p203/\p403))\/(~p303/\p403)))