REAL_1:11 -> REAL_1:10
REAL_1:12 -> REAL_1:9
REAL_1:13 -> REAL_1:def 1
REAL_1:14 -> REAL_1:def 3
REAL_1:15 -> REAL_1:def 2
REAL_1:16 -> REAL_1:def 4
REAL_1:85 -> REAL_1:84
REAL_1:87 -> REAL_1:86

REAL_2:3 -> REAL_1:def 1, REAL_1:18
REAL_2:81 -> REAL_2:49
REAL_2:86 -> REAL_2:36,43
REAL_2:87 -> REAL_2:36,43
REAL_2:141 -> REAL_1:74,REAL_1:73
REAL_2:148 -> REAL_1:50,REAL_1:26
REAL_2:149 -> REAL_2:127  partially
REAL_2:159 -> REAL_2:43,151
REAL_2:160 -> REAL_2:43,151
REAL_2:161 -> REAL_2:43,151
REAL_2:162 -> REAL_2:43,152
REAL_2:72 -> REAL_2:62
REAL_2:73 -> REAL_2:62
REAL_2:113 -> REAL_2:112
REAL_2:114 -> REAL_2:111
REAL_2:115 -> REAL_2:110
REAL_2:116 -> REAL_2:109

RCOMP_1:6 -> RCOMP_1:def 1
RCOMP_1:7 -> RCOMP_1:def 2
RCOMP_1:14 -> RCOMP_1:12,RCOMP_1:14