[()]
[()]
[]
[()]
[belief1]
[]
[]
[()]
[()]
[()]
[()]
[()]
[()]
1.93user 0.01system 0:01.95elapsed 99%CPU (0avgtext+0avgdata 35396maxresident)k
0inputs+0outputs (0major+3941minor)pagefaults 0swaps