((([]([]([](p2->[]p2)->p2)->p2)/\((([]([](([]F\/p1)->[]([]F\/p1))->([]F\/p1))->([]F\/p1))/\([]([]((([]F\/p1)\/p2)->[](([]F\/p1)\/p2))->(([]F\/p1)\/p2))->(([]F\/p1)\/p2)))/\([]([](((([]F\/p1)\/p2)\/p3)->[]((([]F\/p1)\/p2)\/p3))->((([]F\/p1)\/p2)\/p3))->((([]F\/p1)\/p2)\/p3))))/\([]([]((([](p2->[]p2)->p2)/\([]([](p2->[]p2)->p2)->[][]([](p2->[]p2)->p2)))->[](([](p2->[]p2)->p2)/\([]([](p2->[]p2)->p2)->[][]([](p2->[]p2)->p2))))->(([](p2->[]p2)->p2)/\([]([](p2->[]p2)->p2)->[][]([](p2->[]p2)->p2))))->(([](p2->[]p2)->p2)/\([]([](p2->[]p2)->p2)->[][]([](p2->[]p2)->p2)))))->((([]([](p1->[]p1)->p1)->[]p1)\/([]([](p2->[]p2)->p2)->[]p2))\/([]([](p3->[]p3)->p3)->[]p3)))