[(EitherP Number)]
[Number]
0.04user 0.01system 0:00.05elapsed 100%CPU (0avgtext+0avgdata 33756maxresident)k
0inputs+0outputs (0major+3655minor)pagefaults 0swaps