((([]([]([](p2->[]p2)->p2)->[]p2)/\T)/\([]([]((([](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)))