About theorem results of 201
10:53 49:03 11:51 13:50 14:19 83:40 71:20 54:22 15:14 12:32 11:29 16:09 95:59 46:15 12:49 13:39 14:13 17:22 32:28 81:35 17:05 18:13 14:31 21:34 17:04 48:35 32:11 15:33 16:24 17:42 61:21 78:23 24:14 21:37 17:52 75:53 61:54 72:43 30:00 45:56 68:13 35:11 83:03 81:47 36:40 52:25