About abstraction results of 321
42:50 112:08 16:27 17:13 21:51 17:13 19:44 42:01 44:55 141:22 71:24 19:06 28:31 27:17 24:10 22:19 21:48 25:52 22:38 19:13 39:00 53:52 139:33 20:40 20:54 21:37 23:30 24:01 23:35 19:21 22:39 53:37 76:49 75:34 15:53 20:40 66:57 84:32 50:55 63:46 152:09 56:03 70:30 157:35 22:12 22:18