About theorem results of 201
01:19 07:11 06:16 13:53 03:22 03:45 05:29 03:46 06:43 01:39 03:42 03:13 08:05 10:04 06:17 01:32 03:24 09:49 05:53 07:03 07:26 10:37 11:13 14:18 03:14 38:28 13:24 06:42 17:35 83:23 78:45 13:00 18:40 80:25 07:44 07:42 02:01 02:43 09:40 11:27 83:26 09:03 03:51 05:06 05:01 08:12