((([]([]([](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)))/\([]([]((((([]F\/p1)\/p2)\/p3)\/p4)->[](((([]F\/p1)\/p2)\/p3)\/p4))->(((([]F\/p1)\/p2)\/p3)\/p4))->(((([]F\/p1)\/p2)\/p3)\/p4)))/\([]([](([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)->[]([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)))/\([]([]((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)->[](([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)))/\([]([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)->[]((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3))->((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3))->((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)))/\([]([]((((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)->[](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4))->(((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4))->(((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)))/\([]([](([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)->[]([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)))/\([]([]((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)->[](([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)))/\([]([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)->[]((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3))->((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3))->((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)))/\([]([]((((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)->[](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4))->(((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4))->(((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)))/\([]([](([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)->[]([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)))/\([]([]((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)->[](([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)))/\([]([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)->[]((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3))->((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3))->((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)))/\([]([]((((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)->[](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4))->(((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4))->(((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)))/\([]([](([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)->[]([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1))->([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)))/\([]([]((([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)->[](([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2))->(([](((([](((([](((([](((([]F\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/p2)\/p3)\/p4)\/p1)\/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)->p2)))))->((([]([](p1->[]p1)->p1)->[]p1)\/([]([](p2->[]p2)->p2)->[]p2))\/([]([](p3->[]p3)->p3)->[]p3)))