About theorem results of 201
83:26 52:47 60:03 12:38 14:15 12:32 13:38 06:10 03:46 74:58 15:16 05:21 08:13 06:35 07:15 71:01 07:35 06:11 04:46 05:01 13:58 21:58 51:33 08:14 07:25 08:45 51:33 77:21 10:07 09:50 78:22 10:00 10:01 10:10 07:40 44:09 11:22 58:53 08:44 10:44 17:11 10:57 74:39 08:44 14:22 10:24