chooz

6.07

Execution time 0.008306 sec