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