01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder((T/\~[][]([]([](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)))))\/F))