About unification results of 153
13:43
10:03
12:55
12:36
12:13
10:01
13:29
16:00
16:25
28:49
16:09
14:14
15:43
46:46
45:39
12:17
13:27
15:11
24:12
23:02
48:42
109:40
15:20
21:31
47:23
56:09
23:13
22:38
21:18
39:48
24:57
28:27
19:10
27:59
26:00
26:19
48:37
39:04
24:17
76:35
58:47
32:20
34:33
59:07
33:49
29:20