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