About theorem results of 201
10:53 49:03 13:50 11:51 14:19 71:20 83:40 54:22 16:09 12:32 15:14 11:29 95:59 46:15 13:39 12:49 17:22 14:13 32:28 81:35 21:34 17:05 18:13 14:31 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 81:47 83:03 36:40 52:25