📄 foo
字号:
Num RPBS 1 Num ADFS 3 ARITY 0 0 0RPB_Num 0: with 21 points(and (or (not (not (adf0 )))(adf1 ))(or (and (or (adf1 )(adf1 ))(not (adf2 )))(and (and (not (not (adf2 )))(adf1 ))(not (adf2 )))))ADF_Num 0: with 35 points(splitR (write_node (to_node (retract (write_node (splitA (splitA (done )(done ))(splitR (write_node (to_node (retract (write_node (splitA (splitA (done )(done ))(to_node (splitR (splitR (done )(write_node (to_node (write_node (write_node (splitR (done )(done )))))))(to_node (done )))))))))(done )))))))(write_node (write_node (done ))))ADF_Num 1: with 110 points(splitA (splitA (splitR (splitA (splitA (splitA (done )(done ))(retract (done )))(write_node (to_node (done ))))(write_node (to_node (done ))))(splitR (to_node (splitR (retract (splitR (splitA (splitA (splitA (splitA (done )(done ))(done ))(retract (done )))(write_node (to_node (done ))))(splitA (splitR (splitA (splitA (splitA (done )(to_node (done )))(retract (done )))(write_node (to_node (done ))))(write_node (splitR (to_node (done ))(retract (done )))))(splitR (to_node (splitR (retract (splitR (splitA (splitA (splitA (done )(done ))(retract (done )))(write_node (to_node (done ))))(write_node (splitR (to_node (done ))(retract (done ))))))(retract (to_node (done )))))(to_node (retract (done )))))))(retract (done ))))(to_node (retract (done )))))(splitR (to_node (splitR (retract (splitR (splitA (splitA (splitA (done )(done ))(retract (done )))(write_node (to_node (done ))))(write_node (splitR (to_node (done ))(retract (done ))))))(retract (done ))))(to_node (retract (done )))))ADF_Num 2: with 53 points(to_node (splitR (splitA (write_node (to_node (retract (to_node (retract (retract (to_node (write_node (splitA (write_node (write_node (splitA (write_node (to_node (retract (done ))))(splitA (to_node (done ))(splitA (done )(retract (splitA (done )(retract (splitR (retract (done ))(splitR (retract (retract (done )))(to_node (retract (done )))))))))))))(splitA (to_node (done ))(splitA (done )(retract (retract (done ))))))))))))))(retract (retract (to_node (done )))))(write_node (write_node (done )))))RSTAT SUCCESS: 37 370000 1234 lang-4s/P000090.out
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -