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