About theorem results of 202
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 14:18 10:37 11:13 03:14 38:28 03:03 13:24 06:42 17:35 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