false: AG ( (<usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr3_ai1_ce3>true) => <usr5_ai1_re6><usr4_ai1_ce1>(<usr4_ai1_re1><usr3_ai1_ce3><usr3_ni1_ne1><none>true) )
false: AG ( (<usr4_ai1_re1><usr1_ai1_ce4><usr1_ai1_VoidReply><usr2_ai1_ce4><usr2_ai1_VoidReply><usr3_ai1_ce4>true) => <usr4_ai1_re1><usr1_ai1_ce4>(<usr1_ai1_VoidReply><usr2_ai1_ce4><usr2_ai1_VoidReply><usr3_ai1_ce4><usr3_ai1_VoidReply><none>true) )
false: AG ( (<usr1_ai1_re1><usr9_ai1_ce2><usr9_ai1_VoidReply><usr5_ai1_ce10><usr5_ai1_re6><usr4_ai1_ce1>true & <usr1_ni1_ne1><none>true) => <usr1_ai1_re1><usr9_ai1_ce2>(<usr9_ai1_VoidReply><usr5_ai1_ce10><usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr2_ai1_ce3>true) )
true: AG ( (<usr2_ai1_VoidReply><usr3_ai1_ce4><usr3_ai1_VoidReply><ai1_re2>true) => <usr2_ni1_ne1><none>(<usr2_ni1_ne1><error>true & <usr2_ai1_VoidReply><usr3_ai1_ce4>true) )
true: AG ( (<usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr4_ai1_ce1><usr4_ai1_re1><usr4_ai1_ce1><usr4_ai1_re1><usr8_ai1_ce6><usr8_ai1_VoidReply><ai1_re2>true) => <usr5_ai1_re6><usr4_ai1_ce1>(<usr4_ai1_re1><usr4_ai1_ce1><usr4_ai1_re1><usr4_ai1_ce1><usr4_ai1_re1><usr8_ai1_ce6><usr8_ai1_VoidReply><ai1_re2>true) )
false: AG ( (<usr3_ai1_VoidReply><ai1_VoidReply><ai1_ce3><error>true) => <usr3_ai1_VoidReply><ai1_VoidReply>(<ai1_ce4><usr4_ai1_ce1>true & <usr2_ni1_ne1><error>true) )
false: AG ( (<usr1_ai1_VoidReply><error>true & <ai1_ce3><error>true & <ai1_ce4><error>true & <usr9_ai1_VoidReply><error>true & <usr3_ni1_ne1><error>true & <usr2_ni1_ne1><error>true & <usr7_ai3_re6><error>true & <usr2_ai1_VoidReply><error>true) => EF (<usr9_ai1_VoidReply><usr5_ai1_ce10><usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr3_ai1_ce3><usr3_ni1_ne1><error>true) )
true: AG ( (<usr6_ai1_VoidReply><usr4_ai1_ce1><usr4_ai1_re1><usr9_ai1_ce2><usr9_ai1_VoidReply><ai1_re1>true) => EF (<usr9_ai1_VoidReply><usr5_ai1_ce10><usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr3_ai1_ce3><usr3_ni1_ne1><error>true) )
true: AG ( (<usr9_ai1_VoidReply><ai1_re1>true) => <usr9_ai1_VoidReply><ai1_re1>(<ai1_ce3><usr8_ai1_ce1>true) )
true: AG ( (<usr2_ai1_VoidReply><usr3_ai1_ce4><usr3_ai1_VoidReply><none>true) => <usr2_ai1_VoidReply><usr3_ai1_ce4>(<usr3_ai1_VoidReply><none>true) )
true: AG ( (<usr2_ni1_ne1><error>true & <usr2_ai1_VoidReply><usr3_ai1_ce4>true) => <usr2_ai1_VoidReply><usr3_ai1_ce4>(<usr9_ai1_VoidReply><error>true & <usr4_ai1_re1><error>true & <usr5_ai1_re6><error>true & <usr8_ai1_VoidReply><error>true & <usr1_ai1_VoidReply><error>true & <ai1_ce4><error>true & <usr2_ai1_re1><error>true & <usr6_ai1_VoidReply><error>true & <usr1_ai1_re1><error>true & <usr7_ai3_re6><error>true & <usr2_ai1_VoidReply><error>true & <usr3_ai1_VoidReply><error>true & <usr3_ai1_re1><error>true & <ai1_ce1><error>true) )
false: AG ( (<usr2_ai1_VoidReply><usr3_ai1_ce2>true) => <usr2_ai1_VoidReply><usr3_ai1_ce2>(<usr9_ai1_VoidReply><error>true & <usr4_ai1_re1><error>true & <usr5_ai1_re6><error>true & <usr8_ai1_VoidReply><error>true & <usr1_ai1_VoidReply><error>true & <ai1_ce4><error>true & <usr2_ai1_re1><error>true & <usr6_ai1_VoidReply><error>true & <usr1_ai1_re1><error>true & <usr7_ai3_re6><error>true & <usr2_ai1_VoidReply><error>true & <usr3_ai1_VoidReply><error>true) )
true: AG ( (<usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr8_ai1_ce6><usr8_ai1_VoidReply><ai1_re2>true) => <usr5_ai1_re6><usr4_ai1_ce1>(<usr4_ai1_re1><usr8_ai1_ce6><usr8_ai1_VoidReply><ai1_re2>true) )
true: AG ( (<usr1_ai1_VoidReply><usr2_ai1_ce2>true & <usr1_ni1_ne1><none>true) => <usr1_ai1_VoidReply><usr2_ai1_ce2>(<usr2_ni1_ne1><none>true & <usr2_ai1_VoidReply><usr3_ai1_ce2>true) )
true: AG ( (<usr3_ai1_VoidReply><ai1_VoidReply><ai1_ce4><error>true) => <usr3_ni1_ne1><none>(<usr9_ai1_VoidReply><error>true & <usr4_ai1_re1><error>true & <usr5_ai1_re6><error>true & <usr8_ai1_VoidReply><error>true & <usr1_ai1_VoidReply><error>true & <ai1_ce4><error>true & <usr2_ai1_re1><error>true & <usr6_ai1_VoidReply><error>true & <usr1_ai1_re1><error>true & <usr7_ai3_re6><error>true & <usr2_ai1_VoidReply><error>true & <usr3_ai1_VoidReply><error>true & <usr3_ai1_re1><error>true & <ai1_ce1><error>true) )
false: AG ( (<usr2_ai1_VoidReply><error>true) => <usr2_ai1_re2><usr5_ai1_ce10>(<usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr3_ai1_ce3><usr3_ni1_ne1><error>true) )
false: AG ( (<usr4_ai1_re1><usr2_ai1_ce3>true) => <usr4_ai1_re1><usr2_ai1_ce3>(<usr2_ni1_ne1><none>true & <usr2_ai1_VoidReply><error>true) )
false: AG ( (<usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr3_ai1_ce3>true) => <usr5_ai1_re7><usr6_ai1_ce1>(<usr6_ai1_VoidReply><usr4_ai1_ce1><usr4_ai1_re1><usr9_ai1_ce2><usr9_ai1_VoidReply><ai1_re1>true) )
false: AG ( (<ai1_ce3><error>true & <usr3_ni1_ne1><error>true & <usr2_ni1_ne1><error>true & <usr7_ai3_re6><error>true) => EF (<usr9_ai1_VoidReply><usr5_ai1_ce10><usr5_ai1_re6><usr4_ai1_ce1><usr4_ai1_re1><usr4_ai1_ce1><usr4_ai1_re1><usr4_ai1_ce1><usr4_ai1_re1><usr8_ai1_ce6><usr8_ai1_VoidReply><ai1_re2>true) )
true: AG ( (<usr3_ni1_ne1><error>true & <usr3_ai1_re1><usr4_ai1_ce1>true) => <usr3_ai1_re1><usr4_ai1_ce1>(<usr4_ai1_re1><usr9_ai1_ce2><usr9_ai1_VoidReply><ni1_ne1__usr4_ai1_ce1>true) )
