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