k_branch_n_01.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
50b8a36b0932a510e825ed1ad8103f81ead2b7d8Pavel Reichl((p100/\~p101)/\(((((p101->p100)/\(p102->p101))/\((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1))))))/\((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1))))/\[]((((p101->p100)/\(p102->p101))/\((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1))))))/\((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1))))))