[()]
[()]
[(State 45)]
[45]
[()]
[a]
[()]
[()]
[()]
0.05user 0.01system 0:00.06elapsed 98%CPU (0avgtext+0avgdata 33936maxresident)k
0inputs+0outputs (0major+3645minor)pagefaults 0swaps