About precondition results of 51
17:38 13:12 02:10 03:40 02:25 02:15 05:24 03:00 03:45 03:57 11:40 04:38 05:31 05:43 50:03 50:03 69:52 31:58 31:58 07:01 10:34 104:47 10:12 14:01 38:19 13:11 16:56 18:16 52:46 52:46 16:45 23:30 25:32 28:56 43:26 44:26 33:32 48:28 126:24 59:08 51:30 101:59 63:46 95:04 56:46 59:07