About unification results of 154
14:22
04:00
03:17
09:04
56:08
56:08
51:46
02:46
10:34
03:47
03:22
01:52
02:12
01:01
11:21
01:20
02:09
09:06
23:29
02:25
16:25
02:56
02:35
02:28
09:51
03:07
03:04
12:13
03:16
09:19
04:40
04:40
03:21
13:26
11:19
45:17
03:58
09:21
03:27
05:08
05:50
03:14
05:46
11:54
05:10
05:01