Selt version 3.7.5 – 03/29/23 – LAAS/CNRS
ktz loaded, 9 states, 18 transitions
0.002s

• [] ( -r / -r2);