Num RPBS 1 Num ADFS 3 ARITY  0 0 0RPB_Num 0: with 2 points(not (adf1 ))ADF_Num 0: with 2 points(retract (done ))ADF_Num 1: with 23 points(splitA (write_node (write_node (done )))(splitR (write_node (splitA (splitR (done )(done ))(splitA (done )(to_node (done )))))(to_node (splitR (to_node (retract (done )))(write_node (splitR (done )(done )))))))ADF_Num 2: with 25 points(write_node (write_node (retract (splitA (splitR (retract(write_node (done )))(splitA (splitR (done )(done ))(splitR (done )(done ))))(splitR (retract (splitA (done )(done )))(splitA (retract (done ))(retract (done ))))))))