About theorem results of 205
04:34 03:58 05:45 83:26 52:47 60:03 14:15 13:38 12:38 12:32 06:10 03:46 74:58 15:16 07:15 06:35 08:13 05:21 71:01 07:35 06:11 04:46 05:01 13:58 21:58 51:33 07:25 08:14 08:45 51:33 77:21 09:50 10:07 78:22 10:01 10:10 10:00 07:40 44:09 11:22 58:53 08:44 10:44 17:11 10:57 74:39