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

• [] ( lit <= 3 );