(((((([]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0)))/\[][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0))))/\[][][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0))))/\[][][][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0))))/\[][][][][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0))))/\~[][][][][][]([]([](p0->[]p0)->p0)->(<>[]p0->[]p0)))->(<><><><><><>~(((([]([](p0->[]p0)->p0)->[][]([](p0->[]p0)->p0))/\[]([]p0->[][]p0))/\([]([](p0->[]p0)->p0)->(<>[]p0->p0)))/\([]([]((p0->[]p0)->[](p0->[]p0))->(p0->[]p0))->(<>[](p0->[]p0)->(p0->[]p0))))\/(((<><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0)))\/<><><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0))))\/<><><><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0))))\/<><><><><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->p0))))))