6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann((((([]p1\/[]p2)\/[]p3)\/[]p5)\/((((((F\/F)\/(F\/F))\/(F\/F))\/(F\/F))\/(F\/F))\/(F\/F)))\/(((<>~p2\/<>~p4)\/<>~p2)\/<>~p6))