[()]
[()]
[]
[()]
[belief1]
[]
[]
[()]
[()]
[()]
[()]
[()]
[()]
0.05user 0.00system 0:00.05elapsed 98%CPU (0avgtext+0avgdata 30820maxresident)k
0inputs+0outputs (0major+3667minor)pagefaults 0swaps