FUNCT_2:1/RELSET_1:11, FUNCT_2:def 1
FUNCT_2:2/RELSET_1:12, FUNCT_2:def 1
FUNCT_2:13/FUNCT_2:11
FUNCT_2:15/FUNCT_2:11
FUNCT_2:57/FUNCT_2:19
FUNCT_2:69/FUNCT_2:7
FUNCT_2:78  obvious
FUNCT_2:80  obvious
FUNCT_2:84/FUNCT_2:def 3
FUNCT_2:94/RELSET_1:12, FUNCT_2:def 1
FUNCT_2:95/RELSET_1:11, FUNCT_2:def 1
FUNCT_2:96/FUNCT_2:7
FUNCT_2:97/FUNCT_2:61
FUNCT_2:98/FUNCT_2:18
FUNCT_2:99/FUNCT_2:21
FUNCT_2:100/FUNCT_2:23
FUNCT_2:101/FUNCT_2:25
FUNCT_2:102/FUNCT_2:43
FUNCT_2:103 obvious
FUNCT_2:104/FUNCT_2:45
FUNCT_2:106/FUNCT_2:46
FUNCT_2:107 obvious
FUNCT_2:108/FUNCT_2:48
FUNCT_2:109/FUNCT_2:49
FUNCT_2:110/FUNCT_2:51
FUNCT_2:112/FUNCT_2:53
FUNCT_2:122/FUNCT_2:55, RELAT_1:60
FUNCT_2:126/FUNCT_2:124
FUNCT_2:129/FUNCT_2:127
FUNCT_2:135/FUNCT_2:133
FUNCT_2:137/FUNCT_2:136
FUNCT_2:138 obvious
FUNCT_2:139 obvious
FUNCT_2:140 obvious
FUNCT_2:144/FUNCT_2:142
FUNCT_2:147/FUNCT_2:145
FUNCT_2:150/FUNCT_2:148
FUNCT_2:153/FUNCT_2:151
FUNCT_2:157/FUNCT_2:155
FUNCT_2:163/FUNCT_2:161


PREPOWER:def 1/PREPOWER:4
PREPOWER:def 2/PREPOWER:def 1
PREPOWER:6/PREPOWER:def 1
PREPOWER:7/NEWTON:11
PREPOWER:8/NEWTON:15
PREPOWER:9/NEWTON:13
PREPOWER:10/NEWTON:12
PREPOWER:11/NEWTON:14
PREPOWER:16/NEWTON:16


ZFMISC_1:136/BOOLE:def 1
FUNCT_1:3/RELAT_1:def 1
FUNCT_1:13/RELAT_1:65
FUNCT_1:69/RELAT_1:90
ARYTM_3:67/ORDINAL1:18
FUNCT_2:39/FUNCT_1:72
TOPS_1:23/PRE_TOPC:52
SEQ_1:9/FUNCT_2:113
RLVECT_1:101/REAL_1:69
VECTSP_1:24/RLVECT_1:def 6
VECTSP_1:25/RLVECT_1:10
VECTSP_1:50/RLVECT_1:10
VECTSP_1:82/RLVECT_1:10
SETWISEO:17/FINSUB_1:22
TREES_1:9/CARD_1:80
TREES_1:10/BOOLE:27
TREES_1:11/BOOLE:30
TREES_1:13/BOOLE:def 8
TREES_1:14/BOOLE:29
REALSET1:7/ZFMISC_1:113
SQUARE_1:10/REAL_1:69
FINSEQ_2:29/FUNCT_2:3
CLASSES2:48/ORDINAL1:def 2
ANALOAF:39/REALSET1:def 20
SETWOP_2:1/FINSUB_1:22
SETWOP_2:28/FINSOP_1:11
SETWOP_2:29/FINSOP_1:12
SETWOP_2:30/FINSOP_1:5
SETWOP_2:31/FINSOP_1:6
SETWOP_2:32/FINSOP_1:7
SETWOP_2:33/FINSOP_1:13
SETWOP_2:34/FINSOP_1:15
SETWOP_2:36/FINSOP_1:17
PARTFUN2:19/FUNCT_1:55
PARTFUN2:20/FUNCT_1:58
PARTFUN2:21/FUNCT_1:59
PARTFUN2:25/FUNCT_1:61
PARTFUN2:26/FUNCT_1:62
PARTFUN2:27/FUNCT_1:63
PARTFUN2:28/FUNCT_1:64
PARTFUN2:29/FUNCT_1:65
PARTFUN2:30/FUNCT_1:66
PARTFUN2:31/FUNCT_1:67
PARTFUN2:80/FUNCT_1:56
PARTFUN2:81/FUNCT_1:57
RPR_1:30/SUBSET_1:45
RPR_1:31/BOOLE:104
RPR_1:33/BOOLE:111
VECTSP_2:21/VECTSP_1:14
VECTSP_2:23/VECTSP_1:65
VECTSP_2:25/VECTSP_1:38
VECTSP_2:26/VECTSP_1:39
VECTSP_2:27/VECTSP_1:40
VECTSP_2:28/VECTSP_1:41
VECTSP_2:29/VECTSP_1:41
VECTSP_2:30/VECTSP_1:42
GROUP_2:1/RLVECT_1:def 1
VECTSP_4:104/RLVECT_1:26
VECTSP_4:106/RLVECT_1:43
NEWTON:2/INT_1:18
LATTICE2:1/FUNCT_2:38
LATTICE2:4/FUNCT_1:72
SUB_METR:10/METRIC_1:1
SUB_METR:12/METRIC_1:4
SUB_METR:13/METRIC_1:5
SUB_METR:15/METRIC_1:1
SUB_METR:20/METRIC_1:1
SUB_METR:22/METRIC_1:4
SUB_METR:25/METRIC_1:1
MEASURE1:37/SUPINF_2:def 14
MIDSP_2:12/RLVECT_1:45
BHSP_1:52/NORMSP_1:17
MODAL_1:21/FINSET_1:13
GRCAT_1:1/ZFMISC_1:106
MOD_2:2/GRCAT_1:11
MOD_2:3/GRCAT_1:12
METRIC_6:41/TBSP_1:7
SYSREL:21/ZFMISC_1:106
FF_SIEC:1/NET_1:def 1
FF_SIEC:9/NET_1:def 1
FF_SIEC:10/NET_1:11
LMOD_6:8/BOOLE:29
CARD_5:7/CARD_1:83
TOPREAL3:22/TOPREAL1:def 5
GOBOARD2:2/PARTFUN2:16
TDLAT_3:1/BOOLE:29
FVSUM_1:85/RLVECT_1:60
FVSUM_1:86/RLVECT_1:61
FVSUM_1:88/RLVECT_1:58
FVSUM_1:90/RLVECT_1:62
FVSUM_1:91/RLVECT_1:63
RLVECT_4:3/RLVECT_1:21
RLVECT_4:5/RLSUB_2:78
PRE_FF:8/HEINE:5
BOOLMARK:4/TOPREAL4:1
TEX_2:11/TSEP_1:5
AMI_5:17/AMI_3:def 1
AMI_5:21/AMI_1:48
MEASURE6:6/SUPINF_1:def 8
BOOLEALG:1/LATTICES:22
BOOLEALG:5/LATTICES:27
BOOLEALG:13/LATTICES:22
BOOLEALG:18/LATTICES:21
BOOLEALG:20/LATTICES:def 3
BOOLEALG:23/LATTICES:34
PRE_CIRC:1/PROB_1:13
MEASURE7:19/MEASURE1:60
MEASURE7:20/MEASURE1:45
MEASURE7:22/MEASURE1:46
MEASURE7:23/MEASURE1:46
MEASURE7:24/MEASURE1:47
MEASURE7:27/MEASURE1:49
MEASURE7:28/MEASURE1:61
MEASURE7:29/MEASURE1:62
MEASURE7:30/MEASURE1:63
MEASURE7:31/MEASURE1:64
MEASURE7:32/MEASURE1:def 11
MEASURE7:33/MEASURE2:27
MEASURE7:34/MEASURE3:14
MEASURE7:35/MEASURE2:16
MEASURE7:36/MEASURE2:17
MEASURE7:37/MEASURE2:18
MEASURE7:38/MEASURE1:69
MEASURE7:39/MEASURE1:70
MEASURE7:40/MEASURE1:71
MEASURE7:41/MEASURE1:66
MEASURE7:42/MEASURE1:67
LATSUBGR:8/RELAT_1:156
LATSUBGR:9/RELAT_1:178
LATSUBGR:15/RELAT_1:175
LATSUBGR:16/RELAT_1:153
URYSOHN1:4/HEINE:5
TREES_A:12/TREES_2:def 12
QC_LANG4:1/AXIOMS:22
QC_LANG4:2/NAT_1:38
ENDALG:8/AUTALG_1:22
FUNCT_7:9/FUNCT_4:45
JORDAN3:35/TOPREAL3:26
GRAPH_3:4/MSSCYC_1:6
JORDAN5B:18/JORDAN4:27
QUOFIELD:44/RLVECT_1:def 10
FRECHET:14/FUNCOP_1:19
EULER_2:13/JORDAN4:15
EULER_2:16/RVSUM_1:124
PARTIT1:6/SETFAM_1:23
WAYBEL23:68/WAYBEL13:10
SCMRING2:31/AMI_1:def 7
TOPREAL6:75/JORDAN2C:16
BVFUNC_5:4/BVFUNC_1:5
BVFUNC13:60/BVFUNC11:10
BVFUNC13:63/BVFUNC11:12
BVFUNC13:64/BVFUNC11:8
BVFUNC13:65/BVFUNC11:13
BVFUNC13:66/BVFUNC11:11
BVFUNC13:67/BVFUNC11:9
RADIX_1:17/INT_1:def 2
BVFUNC19:20/BVFUNC11:14
CFUNCT_1:2/RFUNCT_1:2
CFUNCT_1:8/COMSEQ_1:def 13
CFUNCT_1:11/PARTFUN2:3
CFUNCT_1:12/PARTFUN2:45
CFUNCT_1:13/PARTFUN2:33
CFUNCT_1:14/PARTFUN2:def 3
CFCONT_1:1/FINSEQ_4:def 4
BVFUNC22:18/BVFUNC11:14
BVFUNC22:21/BVFUNC16:1
BVFUNC22:27/BVFUNC13:2
BVFUNC22:28/BVFUNC13:3
BVFUNC23:20/BVFUNC11:14
BVFUNC24:57/BVFUNC11:14
BVFUNC24:65/BVFUNC23:18
BVFUNC24:74/BVFUNC23:18
COMPLFLD:26/RLVECT_1:45


INTEGRA1:59/INTEGRA1:15
INTEGRA1:60/INTEGRA1:16
INTEGRA1:61/INTEGRA1:13
INTEGRA1:62/INTEGRA1:14

INTEGRA1:63/INTEGRA1:59

SCMPDS_4:12/SCMFSA6A:29
YELLOW15:1/FINSEQ_2:112
FINSEQ_2:12/FUNCT_1:12