REAL_2:1 / INT_1:24
REAL_2:2 / SQUARE_1:8
REAL_2:8 / REAL_1:83
REAL_2:11 / INT_1:4
REAL_2:12 / SQUARE_1:6
REAL_2:17 / REAL_2:12, REAL_2:11, INT_1:3, SEQ_4:3
REAL_2:18 / REAL_1:17
REAL_2:23 / REAL_1:def 3
REAL_2:24 / REAL_1:def 3
REAL_2:49 / REAL_1:21
REAL_2:53 / REAL_1:35
REAL_2:55 / REAL_1:38
REAL_2:61 / REAL_1:42
REAL_2:62 / REAL_1:43
REAL_2:67 / SQUARE_1:17
REAL_2:85 / REAL_1:29
REAL_2:89 / SQUARE_1:15
REAL_2:90 / SEQ_2:2, SEQ_4:5
REAL_2:105 / SQUARE_1:11, REAL_1:50
REAL_2:106 / REAL_1:50, SQUARE_1:12
REAL_2:107 / REAL_2:106
REAL_2:108 / REAL_2:105
REAL_2:111 / REAL_2:110
REAL_2:112 / REAL_2:109
REAL_2:157 / REAL_2:149
REAL_2:158 / REAL_2:149
REAL_2:163 / SQUARE_1:2, REAL_2:127
REAL_2:164 / REAL_2:163
SEQ_4:3 / REAL_1:30
-------------------------------------------------
VECTSP_1:40/RLVECT_1:30
SETWISEO:1/ZFMISC_1:24
RLVECT_2:105/REAL_2:71
RLVECT_2:106/INT_1:26
RVSUM_1:1/REAL_2:6
RLVECT_2:105/REAL_2:71
RLVECT_2:106/INT_1:26
RVSUM_1:1/REAL_2:6
VECTSP_2:24/RLVECT_1:21
VECTSP_2:33/RLVECT_1:42
VECTSP_2:35/RLVECT_1:41
VECTSP_2:36/RLVECT_1:43
LIMFUNC1:2/REAL_2:45
ALGSTR_2:6/REAL_1:44
MOD_4:54/VECTSP_1:13
JORDAN4:12/REAL_1:70
JORDAN4:13/AXIOMS:25
JORDAN6:1/TOPREAL3:4
JORDAN1H:2/REAL_2:201