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