About theorem results of 201
82:50 09:53 98:28 10:19 05:52 82:41 01:56 07:22 05:47 82:00 64:00 05:54 02:22 09:39 02:07 07:14 12:06 03:11 05:02 79:25 10:31 06:13 17:13 17:13 03:27 82:51 13:14 48:56 47:16 02:40 03:33 60:47 09:59 09:16 03:55 05:47 38:41 07:21 03:48 04:05 03:27 03:58 09:57 04:34 05:45 03:58