[()]
[()]
[(State 45)]
[45]
[()]
[a]
[()]
[()]
[()]
0.04user 0.01system 0:00.05elapsed 98%CPU (0avgtext+0avgdata 31132maxresident)k
0inputs+0outputs (0major+3668minor)pagefaults 0swaps