www.pudn.com > dgpc.rar > foo158

Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 2 points

(not (adf0 ))

ADF_Num 0: with 19 points
(splitR (to_node (done ))
(write_node (splitR (splitA (splitR (to_node (write_node 
(done )))(retract (retract (done ))))
(write_node (to_node (write_node (done )))))(to_node (done )))))

ADF_Num 1: with 35 points
(splitR 
(splitA (splitR (write_node (done ))
(splitR (retract (write_node (splitR (done )(done ))))
(write_node (to_node (done )))))
(write_node (splitA (splitA (write_node (retract (done )))(write_node 
(splitR (done )(done ))))(retract (splitR (done )(done ))))))
(retract (to_node (to_node 
(write_node (retract (write_node (done ))))))))

ADF_Num 2: with 5 points
(splitR (write_node (done ))(to_node (done )))