/[mojave]/metaprl/theories/czf/czf_itt_equiv.prla
ViewVC logotype

Diff of /metaprl/theories/czf/czf_itt_equiv.prla

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3551 by xiny, Sun Mar 24 11:01:50 2002 UTC revision 3552 by xiny, Tue Apr 2 07:28:45 2002 UTC
# Line 2690  Line 2690 
2690  B       b1045   t1045  B       b1045   t1045
2691  T       t1046   o1015 b1045  T       t1046   o1015 b1045
2692  B       b1046   t1046  B       b1046   t1046
2693  P       p1046   Number 5009  P       p12     Number 5128
2694  P       p1047   Number 5440  P       p14     Number 5416
2695  O       o1047   location p1046 p1047  O       o14     location p12 p14
 P       p1048   String equiv_intro  
 O       o1048   rule p1048  
2696  NSummary!meta_labeled   meta_labeled    meta_labeled Summary  NSummary!meta_labeled   meta_labeled    meta_labeled Summary
2697  P       p1049   String wf  P       p1049   String wf
2698  O       o1049   meta_labeled p1049  O       o1049   meta_labeled p1049
# Line 2716  Line 2714 
2714  B       b1055   s1054  B       b1055   s1054
2715  T       t1055   o994 b1055  T       t1055   o994 b1055
2716  B       b1056   t1055  B       b1056   t1055
 S       s1056   t1000 h  
 G       s1056   t870  
 B       b1057   s1056  
 T       t1057   o994 b1057  
 B       b1058   t1057  
2717  S       s1058   t1000 h  S       s1058   t1000 h
2718  G       s1058   t604  G       s1058   t604
2719  B       b1059   s1058  B       b1059   s1058
2720  T       t1059   o994 b1059  T       t1059   o994 b1059
2721  B       b1060   t1059  B       b1060   t1059
 T       t1060   o993 b1058 b1060  
 B       b1061   t1060  
 T       t1061   o993 b1056 b1061  
 B       b1062   t1061  
 T       t1062   o993 b1054 b1062  
 B       b1063   t1062  
 T       t1063   o993 b1052 b1063  
 B       b1064   t1063  
 T       t1064   o993 b1051 b1064  
 B       b1065   t1064  
 T       t1065   o993 b1050 b1065  
 B       b1066   t1065  
 T       t1066   o993 b1049 b1066  
 B       b1067   t1066  
 P       p1067   String "rwh unfold_equiv 0 thenT autoT thenT rwh unfold_isset 0 thenT autoT thenT rwh fold_isset 0 thenT autoT"  
 O       o1067   ext_rule p1067  
 T       t1067   o b1057 b4  
 B       b1068   t1067  
 T       t1068   o b1055 b1068  
 B       b1069   t1068  
 T       t1069   o b1053 b1069  
 B       b1070   t1069  
 T       t1070   o b1018 b1070  
 B       b1071   t1070  
 T       t1071   o b1016 b1071  
 B       b1072   t1071  
 T       t1072   o b998 b1072  
 B       b1073   t1072  
 T       t1073   o b996 b1073  
 B       b1074   t1073  
 T       t1074   o1030 b1059 b1074  
 B       b1075   t1074  
 T       t1075   o1029 b1075 b4 b1035  
 B       b1076   t1075  
 T       t1076   o1028 b1076 b4  
 B       b1077   t1076  
 T       t1077   o1067 b1027 b1077 b4 b4  
 B       b1078   t1077  
 T       t1078   o1025 b1078  
 B       b1079   t1078  
 P       p1079   Number 5036  
 P       p1080   Number 5044  
 O       o1080   resource_defs p1079 p1080 p264  
 P       p1081   Number 5042  
 O       o1081   uid p1081 p1080  
 T       t1081   o1081 b1008  
 B       b1081   t1081  
 T       t1082   o b1081 b4  
 B       b1082   t1082  
 T       t1083   o1080 b1082  
 B       b1083   t1083  
 T       t1084   o b1083 b4  
 B       b1084   t1084  
 T       t1085   o1048 b993 b1067 b1079 b1084  
 B       b1085   t1085  
 T       t1086   o1047 b1085  
 B       b1086   t1086  
 P       p1086   Number 5561  
 P       p1087   Number 5849  
 O       o1087   location p1086 p1087  
2722  P       p1088   String equiv_ref_intro  P       p1088   String equiv_ref_intro
2723  O       o1088   rule p1088  O       o1088   rule p1088
2724  T       t1088   o599 b600 b601 b602 b602  T       t1088   o599 b600 b601 b602 b602
# Line 2802  Line 2735 
2735  B       b1092   t1092  B       b1092   t1092
2736  T       t1093   o993 b1049 b1092  T       t1093   o993 b1049 b1092
2737  B       b1093   t1093  B       b1093   t1093
2738  P       p1093   Number 5592  P       p16     Number 5159
2739  P       p1094   Number 5600  P       p18     Number 5167
2740  O       o1094   resource_defs p1093 p1094 p264  O       o18     resource_defs p16 p18 p264
2741  P       p1095   Number 5598  P       p20     Number 5165
2742  O       o1095   uid p1095 p1094  O       o20     uid p20 p18
2743  T       t1095   o1095 b1008  T       t233    o20 b1008
2744  B       b1095   t1095  B       b233    t233
2745  T       t1096   o b1095 b4  T       t237    o b233 b4
2746  B       b1096   t1096  B       b237    t237
2747  T       t1097   o1094 b1096  T       t238    o18 b237
2748  B       b1097   t1097  B       b238    t238
2749  T       t1098   o b1097 b4  T       t239    o b238 b4
2750  B       b1098   t1098  B       b239    t239
2751  T       t1099   o1088 b993 b1093 b1005 b1098  T       t242    o1088 b993 b1093 b1005 b239
2752  B       b1099   t1099  B       b242    t242
2753  T       t1100   o1087 b1099  T       t243    o14 b242
2754  B       b1100   t1100  B       b243    t243
2755  P       p1100   Number 5851  P       p249    Number 5418
2756  P       p1101   Number 6400  P       p254    Number 5967
2757  O       o1101   location p1100 p1101  O       o254    location p249 p254
2758  P       p1102   String equiv_rel_intro  P       p1102   String equiv_rel_intro
2759  O       o1102   rule p1102  O       o1102   rule p1102
2760  H       h1102   b t878  H       h1102   b t878
# Line 2883  Line 2816 
2816  B       b1124   t1123  B       b1124   t1123
2817  T       t1124   o993 b1049 b1124  T       t1124   o993 b1049 b1124
2818  B       b1125   t1124  B       b1125   t1124
2819  P       p1125   Number 5882  P       p260    Number 5449
2820  P       p1126   Number 5890  P       p261    Number 5457
2821  O       o1126   resource_defs p1125 p1126 p264  O       o261    resource_defs p260 p261 p264
2822  P       p1127   Number 5888  P       p280    Number 5455
2823  O       o1127   uid p1127 p1126  O       o280    uid p280 p261
2824  T       t1127   o1127 b1008  T       t290    o280 b1008
2825  B       b1127   t1127  B       b290    t290
2826  T       t1128   o b1127 b4  T       t292    o b290 b4
2827  B       b1128   t1128  B       b292    t292
2828  T       t1129   o1126 b1128  T       t301    o261 b292
2829  B       b1129   t1129  B       b301    t301
2830  T       t1130   o b1129 b4  T       t304    o b301 b4
2831  B       b1130   t1130  B       b304    t304
2832  T       t1131   o1102 b993 b1125 b1005 b1130  T       t309    o1102 b993 b1125 b1005 b304
2833  B       b1131   t1131  B       b309    t309
2834  T       t1132   o1101 b1131  T       t310    o254 b309
2835  B       b1132   t1132  B       b310    t310
2836  P       p1132   Number 6402  P       p324    Number 5969
2837  P       p1133   Number 6843  P       p325    Number 6410
2838  O       o1133   location p1132 p1133  O       o326    location p324 p325
2839  P       p1134   String equiv_sym  P       p1134   String equiv_sym
2840  O       o1134   rule p1134  O       o1134   rule p1134
2841  T       t1134   o599 b600 b601 b603 b602  T       t1134   o599 b600 b601 b603 b602
# Line 2929  Line 2862 
2862  B       b1143   t1143  B       b1143   t1143
2863  T       t1144   o1134 b993 b1143 b1005 b4  T       t1144   o1134 b993 b1143 b1005 b4
2864  B       b1144   t1144  B       b1144   t1144
2865  T       t1145   o1133 b1144  T       t332    o326 b1144
2866  B       b1145   t1145  B       b332    t332
2867  P       p1145   Number 6845  P       p348    Number 6412
2868  P       p1146   Number 7388  P       p349    Number 6955
2869  O       o1146   location p1145 p1146  O       o349    location p348 p349
2870  P       p1147   String equiv_trans  P       p1147   String equiv_trans
2871  O       o1147   rule p1147  O       o1147   rule p1147
2872  NSummary!term_param     term_param      term_param Summary  NSummary!term_param     term_param      term_param Summary
# Line 2988  Line 2921 
2921  B       b1168   t1167  B       b1168   t1167
2922  T       t1168   o1147 b1150 b1168 b1005 b4  T       t1168   o1147 b1150 b1168 b1005 b4
2923  B       b1169   t1168  B       b1169   t1168
2924  T       t1169   o1146 b1169  T       t406    o349 b1169
2925  B       b1170   t1169  B       b406    t406
2926  P       p1170   Number 7390  P       p407    Number 6957
2927  P       p1171   Number 7447  P       p408    Number 7014
2928  O       o1171   location p1170 p1171  O       o409    location p407 p408
2929  O       o1172   str_let p1170 p1171  O       o410    str_let p407 p408
2930  P       p1172   Number 7394  P       p410    Number 6961
2931  O       o1173   patt_var p1172 p1171  O       o411    patt_var p410 p408
2932  O       o1174   patt_done p1170 p1171  O       o415    patt_done p407 p408
2933  T       t1174   o1174  T       t457    o415
2934  B       b1174   t1174 equivRefT  B       b457    t457 equivRefT
2935  T       t1175   o1173 b1174  T       t474    o411 b457
2936  B       b1175   t1175  B       b474    t474
2937  NOcaml!fun      fun     fun Ocaml  NOcaml!fun      fun     fun Ocaml
2938  O       o1175   fun p1172 p1171  O       o478    fun p410 p408
2939  NOcaml!patt_if  patt_if patt_if Ocaml  NOcaml!patt_if  patt_if patt_if Ocaml
2940  O       o1176   patt_if p1172 p1171  O       o479    patt_if p410 p408
2941  P       p1176   Number 7404  P       p479    Number 6971
2942  P       p1177   Number 7405  P       p480    Number 6972
2943  O       o1177   patt_var p1176 p1177  O       o480    patt_var p479 p480
2944  NOcaml!patt_body        patt_body       patt_body Ocaml  NOcaml!patt_body        patt_body       patt_body Ocaml
2945  O       o1178   patt_body p1172 p1171  O       o481    patt_body p410 p408
2946  P       p1178   Number 7411  P       p481    Number 6978
2947  O       o1179   apply p1178 p1171  O       o482    apply p481 p408
2948  P       p1179   Number 7445  P       p486    Number 7012
2949  O       o1180   apply p1178 p1179  O       o488    apply p481 p486
2950  P       p1180   Number 7426  P       p488    Number 6993
2951  O       o1181   lid p1178 p1180  O       o489    lid p481 p488
2952  O       o1182   lid p1088  O       o1182   lid p1088
2953  T       t1182   o1182  T       t1182   o1182
2954  B       b1182   t1182  B       b1182   t1182
2955  T       t1183   o1181 b1182  T       t493    o489 b1182
2956  B       b1183   t1183  B       b493    t493
2957  P       p1183   Number 7428  P       p495    Number 6995
2958  P       p1184   Number 7444  P       p496    Number 7011
2959  O       o1184   apply p1183 p1184  O       o496    apply p495 p496
2960  P       p1185   Number 7442  P       p497    Number 7009
2961  O       o1185   lid p1183 p1185  O       o497    lid p495 p497
2962  P       p1186   String hyp_count_addr  P       p1186   String hyp_count_addr
2963  O       o1186   lid p1186  O       o1186   lid p1186
2964  T       t1186   o1186  T       t1186   o1186
2965  B       b1186   t1186  B       b1186   t1186
2966  T       t1187   o1185 b1186  T       t507    o497 b1186
2967  B       b1187   t1187  B       b507    t507
2968  P       p1187   Number 7443  P       p509    Number 7010
2969  O       o1187   lid p1187 p1184  O       o510    lid p509 p496
2970  P       p1188   Var p  P       p1188   Var p
2971  O       o1188   var p1188  O       o1188   var p1188
2972  T       t1188   o1188  T       t1188   o1188
2973  B       b1188   t1188  B       b1188   t1188
2974  T       t1189   o1187 b1188  T       t552    o510 b1188
2975  B       b1189   t1189  B       b552    t552
2976  T       t1190   o1184 b1187 b1189  T       t565    o496 b507 b552
2977  B       b1190   t1190  B       b565    t565
2978  T       t1191   o1180 b1183 b1190  T       t566    o488 b493 b565
2979  B       b1191   t1191  B       b566    t566
2980  P       p1191   Number 7446  P       p574    Number 7013
2981  O       o1191   lid p1191 p1171  O       o576    lid p574 p408
2982  T       t1192   o1191 b1188  T       t580    o576 b1188
2983  B       b1192   t1192  B       b580    t580
2984  T       t1193   o1179 b1191 b1192  T       t581    o482 b566 b580
2985  B       b1193   t1193  B       b581    t581
2986  T       t1194   o1178 b1193  T       t584    o481 b581
2987  B       b1194   t1194 p  B       b584    t584 p
2988  T       t1195   o1177 b1194  T       t612    o480 b584
2989  B       b1195   t1195  B       b612    t612
2990  T       t1196   o1176 b1195  T       t613    o479 b612
2991  B       b1196   t1196  B       b613    t613
2992  T       t1197   o1175 b1196  T       t666    o478 b613
2993  B       b1197   t1197  B       b666    t666
2994  T       t1198   o1172 b1175 b1197  T       t678    o410 b474 b666
2995  B       b1198   t1198  B       b678    t678
2996  T       t1199   o b1198 b4  T       t679    o b678 b4
2997  B       b1199   t1199  B       b679    t679
2998  T       t1200   o1172 b1199  T       t682    o410 b679
2999  B       b1200   t1200  B       b682    t682
3000  T       t1201   o405 b1200  T       t694    o405 b682
3001  B       b1201   t1201  B       b694    t694
3002  T       t1202   o1171 b1201  T       t697    o409 b694
3003  B       b1202   t1202  B       b697    t697
3004  P       p1202   Number 7449  P       p700    Number 7016
3005  P       p1203   Number 7500  P       p712    Number 7067
3006  O       o1203   location p1202 p1203  O       o748    location p700 p712
3007  O       o1204   str_let p1202 p1203  O       o749    str_let p700 p712
3008  P       p1204   Number 7453  P       p749    Number 7020
3009  O       o1205   patt_var p1204 p1203  O       o750    patt_var p749 p712
3010  O       o1206   patt_done p1202 p1203  O       o751    patt_done p700 p712
3011  T       t1206   o1206  T       t756    o751
3012  B       b1206   t1206 equivSymT  B       b756    t756 equivSymT
3013  T       t1207   o1205 b1206  T       t759    o750 b756
3014  B       b1207   t1207  B       b759    t759
3015  O       o1207   fun p1204 p1203  O       o763    fun p749 p712
3016  O       o1208   patt_if p1204 p1203  O       o764    patt_if p749 p712
3017  P       p1208   Number 7463  P       p764    Number 7030
3018  P       p1209   Number 7464  P       p765    Number 7031
3019  O       o1209   patt_var p1208 p1209  O       o765    patt_var p764 p765
3020  O       o1210   patt_body p1204 p1203  O       o766    patt_body p749 p712
3021  P       p1210   Number 7470  P       p766    Number 7037
3022  O       o1211   apply p1210 p1203  O       o767    apply p766 p712
3023  P       p1211   Number 7498  P       p767    Number 7065
3024  O       o1212   apply p1210 p1211  O       o777    apply p766 p767
3025  P       p1212   Number 7479  P       p777    Number 7046
3026  O       o1213   lid p1210 p1212  O       o778    lid p766 p777
3027  O       o1214   lid p1134  O       o1214   lid p1134
3028  T       t1214   o1214  T       t1214   o1214
3029  B       b1214   t1214  B       b1214   t1214
3030  T       t1215   o1213 b1214  T       t785    o778 b1214
3031  B       b1215   t1215  B       b785    t785
3032  P       p1215   Number 7481  P       p788    Number 7048
3033  P       p1216   Number 7497  P       p789    Number 7064
3034  O       o1216   apply p1215 p1216  O       o793    apply p788 p789
3035  P       p1217   Number 7495  P       p793    Number 7062
3036  O       o1217   lid p1215 p1217  O       o794    lid p788 p793
3037  T       t1217   o1217 b1186  T       t830    o794 b1186
3038  B       b1217   t1217  B       b830    t830
3039  P       p1218   Number 7496  P       p836    Number 7063
3040  O       o1218   lid p1218 p1216  O       o837    lid p836 p789
3041  T       t1218   o1218 b1188  T       t844    o837 b1188
3042  B       b1218   t1218  B       b844    t844
3043  T       t1219   o1216 b1217 b1218  T       t857    o793 b830 b844
3044  B       b1219   t1219  B       b857    t857
3045  T       t1220   o1212 b1215 b1219  T       t900    o777 b785 b857
3046  B       b1220   t1220  B       b900    t900
3047  P       p1220   Number 7499  P       p908    Number 7066
3048  O       o1220   lid p1220 p1203  O       o916    lid p908 p712
3049  T       t1221   o1220 b1188  T       t923    o916 b1188
3050  B       b1221   t1221  B       b923    t923
3051  T       t1222   o1211 b1220 b1221  T       t956    o767 b900 b923
3052  B       b1222   t1222  B       b956    t956
3053  T       t1223   o1210 b1222  T       t989    o766 b956
3054  B       b1223   t1223 p  B       b1057   t989 p
3055  T       t1224   o1209 b1223  T       t1057   o765 b1057
3056  B       b1224   t1224  B       b1058   t1057
3057  T       t1225   o1208 b1224  T       t1058   o764 b1058
3058  B       b1225   t1225  B       b1061   t1058
3059  T       t1226   o1207 b1225  T       t1061   o763 b1061
3060  B       b1226   t1226  B       b1062   t1061
3061  T       t1227   o1204 b1207 b1226  T       t1062   o749 b759 b1062
3062  B       b1227   t1227  B       b1063   t1062
3063  T       t1228   o b1227 b4  T       t1063   o b1063 b4
3064  B       b1228   t1228  B       b1064   t1063
3065  T       t1229   o1204 b1228  T       t1064   o749 b1064
3066  B       b1229   t1229  B       b1065   t1064
3067  T       t1230   o405 b1229  T       t1065   o405 b1065
3068  B       b1230   t1230  B       b1066   t1065
3069  T       t1231   o1203 b1230  T       t1066   o748 b1066
3070  B       b1231   t1231  B       b1067   t1066
3071  P       p1231   Number 7502  P       p1067   Number 7069
3072  P       p1232   Number 7561  P       p1068   Number 7128
3073  O       o1232   location p1231 p1232  O       o1068   location p1067 p1068
3074  O       o1233   str_let p1231 p1232  O       o1069   str_let p1067 p1068
3075  P       p1233   Number 7506  P       p1069   Number 7073
3076  O       o1234   patt_var p1233 p1232  O       o1070   patt_var p1069 p1068
3077  O       o1235   patt_done p1231 p1232  O       o1071   patt_done p1067 p1068
3078  T       t1235   o1235  T       t1071   o1071
3079  B       b1235   t1235 equivTransT  B       b1071   t1071 equivTransT
3080  T       t1236   o1234 b1235  T       t1072   o1070 b1071
3081  B       b1236   t1236  B       b1072   t1072
3082  O       o1236   fun p1233 p1232  O       o1072   fun p1069 p1068
3083  O       o1237   patt_if p1233 p1232  O       o1073   patt_if p1069 p1068
3084  P       p1237   Number 7518  P       p1073   Number 7085
3085  P       p1238   Number 7519  P       p1074   Number 7086
3086  O       o1238   patt_var p1237 p1238  O       o1074   patt_var p1073 p1074
3087  O       o1239   patt_body p1233 p1232  O       o1075   patt_body p1069 p1068
3088  P       p1239   Number 7520  P       p1075   Number 7087
3089  P       p1240   Number 7521  P       p1076   Number 7088
3090  O       o1240   patt_var p1239 p1240  O       o1076   patt_var p1075 p1076
3091  P       p1241   Number 7527  P       p1077   Number 7094
3092  O       o1241   apply p1241 p1232  O       o1077   apply p1077 p1068
3093  P       p1242   Number 7559  P       p1078   Number 7126
3094  O       o1242   apply p1241 p1242  O       o1078   apply p1077 p1078
3095  P       p1243   Number 7557  P       p1079   Number 7124
3096  O       o1243   apply p1241 p1243  O       o1079   apply p1077 p1079
3097  P       p1244   Number 7538  P       p1080   Number 7105
3098  O       o1244   lid p1241 p1244  O       o1080   lid p1077 p1080
3099  O       o1245   lid p1147  O       o1245   lid p1147
3100  T       t1245   o1245  T       t1245   o1245
3101  B       b1245   t1245  B       b1245   t1245
3102  T       t1246   o1244 b1245  T       t1081   o1080 b1245
3103  B       b1246   t1246  B       b1081   t1081
3104  P       p1246   Number 7540  P       p1081   Number 7107
3105  P       p1247   Number 7556  P       p1082   Number 7123
3106  O       o1247   apply p1246 p1247  O       o1082   apply p1081 p1082
3107  P       p1248   Number 7554  P       p1083   Number 7121
3108  O       o1248   lid p1246 p1248  O       o1083   lid p1081 p1083
3109  T       t1248   o1248 b1186  T       t1083   o1083 b1186
3110  B       b1248   t1248  B       b1083   t1083
3111  P       p1249   Number 7555  P       p1084   Number 7122
3112  O       o1249   lid p1249 p1247  O       o1084   lid p1084 p1082
3113  T       t1249   o1249 b1188  T       t1084   o1084 b1188
3114  B       b1249   t1249  B       b1084   t1084
3115  T       t1250   o1247 b1248 b1249  T       t1085   o1082 b1083 b1084
3116  B       b1250   t1250  B       b1085   t1085
3117  T       t1251   o1243 b1246 b1250  T       t1086   o1079 b1081 b1085
3118  B       b1251   t1251  B       b1086   t1086
3119  P       p1251   Number 7558  P       p1086   Number 7125
3120  O       o1251   lid p1251 p1242  O       o1086   lid p1086 p1078
3121  P       p1252   Var t  P       p1252   Var t
3122  O       o1252   var p1252  O       o1252   var p1252
3123  T       t1252   o1252  T       t1252   o1252
3124  B       b1252   t1252  B       b1252   t1252
3125  T       t1253   o1251 b1252  T       t1095   o1086 b1252
3126  B       b1253   t1253  B       b1095   t1095
3127  T       t1254   o1242 b1251 b1253  T       t1096   o1078 b1086 b1095
3128  B       b1254   t1254  B       b1096   t1096
3129  P       p1254   Number 7560  P       p1096   Number 7127
3130  O       o1254   lid p1254 p1232  O       o1096   lid p1096 p1068
3131  T       t1255   o1254 b1188  T       t1097   o1096 b1188
3132  B       b1255   t1255  B       b1097   t1097
3133  T       t1256   o1241 b1254 b1255  T       t1098   o1077 b1096 b1097
3134  B       b1256   t1256  B       b1098   t1098
3135  T       t1257   o1239 b1256  T       t1099   o1075 b1098
3136  B       b1257   t1257 p  B       b1099   t1099 p
3137  T       t1258   o1240 b1257  T       t1100   o1076 b1099
3138  B       b1258   t1258  B       b1100   t1100
3139  T       t1259   o1237 b1258  T       t1101   o1073 b1100
3140  B       b1259   t1259  B       b1102   t1101
3141  T       t1260   o1236 b1259  T       t1102   o1072 b1102
3142  B       b1260   t1260  B       b1103   t1102
3143  T       t1261   o1239 b1260  T       t1103   o1075 b1103
3144  B       b1261   t1261 t  B       b1105   t1103 t
3145  T       t1262   o1238 b1261  T       t1126   o1074 b1105
3146  B       b1262   t1262  B       b1127   t1126
3147  T       t1263   o1237 b1262  T       t1127   o1073 b1127
3148  B       b1263   t1263  B       b1128   t1127
3149  T       t1264   o1236 b1263  T       t1128   o1072 b1128
3150  B       b1264   t1264  B       b1129   t1128
3151  T       t1265   o1233 b1236 b1264  T       t1129   o1069 b1072 b1129
3152  B       b1265   t1265  B       b1130   t1129
3153  T       t1266   o b1265 b4  T       t1130   o b1130 b4
3154  B       b1266   t1266  B       b1131   t1130
3155  T       t1267   o1233 b1266  T       t1131   o1069 b1131
3156  B       b1267   t1267  B       b1132   t1131
3157  T       t1268   o405 b1267  T       t1132   o405 b1132
3158  B       b1268   t1268  B       b1145   t1132
3159  T       t1269   o1232 b1268  T       t1145   o1068 b1145
3160  B       b1269   t1269  B       b1147   t1145
3161  P       p1269   Number 7563  P       p1148   Number 7130
3162  P       p1270   Number 8312  P       p1149   Number 7879
3163  O       o1270   location p1269 p1270  O       o1171   location p1148 p1149
3164  P       p1271   String equiv_sym1  P       p1271   String equiv_sym1
3165  O       o1271   rule p1271  O       o1271   rule p1271
3166  P       p1272   String J  P       p1272   String J
# Line 3314  Line 3247 
3247  B       b1302   t1301  B       b1302   t1301
3248  T       t1302   o1271 b1276 b1302 b1005 b4  T       t1302   o1271 b1276 b1302 b1005 b4
3249  B       b1303   t1302  B       b1303   t1302
3250  T       t1303   o1270 b1303  T       t1171   o1171 b1303
3251  B       b1304   t1303  B       b1171   t1171
3252  P       p1304   Number 8314  P       p1172   Number 7881
3253  P       p1305   Number 8436  P       p1174   Number 8003
3254  O       o1305   location p1304 p1305  O       o1174   location p1172 p1174
3255  O       o1306   str_let p1304 p1305  O       o1175   str_let p1172 p1174
3256  P       p1306   Number 8318  P       p1175   Number 7885
3257  O       o1307   patt_var p1306 p1305  O       o1176   patt_var p1175 p1174
3258  O       o1308   patt_done p1304 p1305  O       o1177   patt_done p1172 p1174
3259  T       t1308   o1308  T       t1177   o1177
3260  B       b1308   t1308 equivSym1T  B       b1177   t1177 equivSym1T
3261  T       t1309   o1307 b1308  T       t1178   o1176 b1177
3262  B       b1309   t1309  B       b1178   t1178
3263  O       o1309   fun p1306 p1305  O       o1178   fun p1175 p1174
3264  O       o1310   patt_if p1306 p1305  O       o1179   patt_if p1175 p1174
3265  P       p1310   Number 8329  P       p1179   Number 7896
3266  P       p1311   Number 8330  P       p1180   Number 7897
3267  O       o1311   patt_var p1310 p1311  O       o1180   patt_var p1179 p1180
3268  O       o1312   patt_body p1306 p1305  O       o1181   patt_body p1175 p1174
3269  P       p1312   Number 8331  P       p1181   Number 7898
3270  P       p1313   Number 8332  P       p1182   Number 7899
3271  O       o1313   patt_var p1312 p1313  O       o1184   patt_var p1181 p1182
3272  NOcaml!let      let     let Ocaml  NOcaml!let      let     let Ocaml
3273  P       p1314   Number 8338  P       p1184   Number 7905
3274  O       o1314   let p1314 p1305  O       o1185   let p1184 p1174
3275  P       p1315   Number 8342  P       p1185   Number 7909
3276  P       p1316   Number 8343  P       p1187   Number 7910
3277  O       o1316   patt_var p1315 p1316  O       o1187   patt_var p1185 p1187
3278  NOcaml!patt_in  patt_in patt_in Ocaml  NOcaml!patt_in  patt_in patt_in Ocaml
3279  O       o1317   patt_in p1314 p1305  O       o1191   patt_in p1184 p1174
3280  P       p1317   Number 8374  P       p1191   Number 7941
3281  O       o1318   let p1317 p1305  O       o1197   let p1191 p1174
3282  NOcaml!patt_tuple       patt_tuple      patt_tuple Ocaml  NOcaml!patt_tuple       patt_tuple      patt_tuple Ocaml
3283  P       p1318   Number 8378  P       p1197   Number 7945
3284  P       p1319   Number 8382  P       p1198   Number 7949
3285  O       o1319   patt_tuple p1318 p1319  O       o1198   patt_tuple p1197 p1198
3286  P       p1320   Number 8379  P       p1199   Number 7946
3287  O       o1320   patt_var p1318 p1320  O       o1199   patt_var p1197 p1199
3288  NOcaml!patt_tuple_arg   patt_tuple_arg  patt_tuple_arg Ocaml  NOcaml!patt_tuple_arg   patt_tuple_arg  patt_tuple_arg Ocaml
3289  O       o1321   patt_tuple_arg p1318 p1319  O       o1200   patt_tuple_arg p1197 p1198
3290  P       p1321   Number 8381  P       p1200   Number 7948
3291  O       o1322   patt_var p1321 p1319  O       o1201   patt_var p1200 p1198
3292  NOcaml!patt_tuple_end   patt_tuple_end  patt_tuple_end Ocaml  NOcaml!patt_tuple_end   patt_tuple_end  patt_tuple_end Ocaml
3293  O       o1323   patt_tuple_end p1318 p1319  O       o1202   patt_tuple_end p1197 p1198
3294  O       o1324   patt_in p1317 p1305  O       o1203   patt_in p1191 p1174
3295  P       p1324   Number 8418  P       p1204   Number 7985
3296  O       o1325   apply p1324 p1305  O       o1204   apply p1204 p1174
3297  P       p1325   Number 8434  P       p1205   Number 8001
3298  O       o1326   apply p1324 p1325  O       o1205   apply p1204 p1205
3299  P       p1326   Number 8432  P       p1206   Number 7999
3300  O       o1327   apply p1324 p1326  O       o1206   apply p1204 p1206
3301  P       p1327   Number 8430  P       p1207   Number 7997
3302  O       o1328   apply p1324 p1327  O       o1207   apply p1204 p1207
3303  P       p1328   Number 8428  P       p1208   Number 7995
3304  O       o1329   lid p1324 p1328  O       o1208   lid p1204 p1208
3305  O       o1330   lid p1271  O       o1330   lid p1271
3306  T       t1330   o1330  T       t1330   o1330
3307  B       b1330   t1330  B       b1330   t1330
3308  T       t1331   o1329 b1330  T       t1208   o1208 b1330
3309  B       b1331   t1331  B       b1208   t1208
3310  P       p1331   Number 8429  P       p1209   Number 7996
3311  O       o1331   lid p1331 p1327  O       o1209   lid p1209 p1207
3312  P       p1332   Var j  P       p1332   Var j
3313  O       o1332   var p1332  O       o1332   var p1332
3314  T       t1332   o1332  T       t1332   o1332
3315  B       b1332   t1332  B       b1332   t1332
3316  T       t1333   o1331 b1332  T       t1209   o1209 b1332
3317  B       b1333   t1333  B       b1209   t1209
3318  T       t1334   o1328 b1331 b1333  T       t1210   o1207 b1208 b1209
3319  B       b1334   t1334  B       b1210   t1210
3320  P       p1334   Number 8431  P       p1210   Number 7998
3321  O       o1334   lid p1334 p1326  O       o1210   lid p1210 p1206
3322  P       p1335   Var k  P       p1335   Var k
3323  O       o1335   var p1335  O       o1335   var p1335
3324  T       t1335   o1335  T       t1335   o1335
3325  B       b1335   t1335  B       b1335   t1335
3326  T       t1336   o1334 b1335  T       t1211   o1210 b1335
3327  B       b1336   t1336  B       b1211   t1211
3328  T       t1337   o1327 b1334 b1336  T       t1212   o1206 b1210 b1211
3329  B       b1337   t1337  B       b1212   t1212
3330  P       p1337   Number 8433  P       p1212   Number 8000
3331  O       o1337   lid p1337 p1325  O       o1212   lid p1212 p1205
3332  P       p1338   Var u  P       p1338   Var u
3333  O       o1338   var p1338  O       o1338   var p1338
3334  T       t1338   o1338  T       t1338   o1338
3335  B       b1338   t1338  B       b1338   t1338
3336  T       t1339   o1337 b1338  T       t1213   o1212 b1338
3337  B       b1339   t1339  B       b1213   t1213
3338  T       t1340   o1326 b1337 b1339  T       t1215   o1205 b1212 b1213
3339  B       b1340   t1340  B       b1215   t1215
3340  P       p1340   Number 8435  P       p1215   Number 8002
3341  O       o1340   lid p1340 p1305  O       o1216   lid p1215 p1174
3342  T       t1341   o1340 b1188  T       t1217   o1216 b1188
3343  B       b1341   t1341  B       b1217   t1217
3344  T       t1342   o1325 b1340 b1341  T       t1218   o1204 b1215 b1217
3345  B       b1342   t1342  B       b1218   t1218
3346  T       t1343   o1324 b1342  T       t1219   o1203 b1218
3347  B       b1343   t1343  B       b1219   t1219
3348  T       t1344   o1323 b1343  T       t1220   o1202 b1219
3349  B       b1344   t1344 k  B       b1220   t1220 k
3350  T       t1345   o1322 b1344  T       t1221   o1201 b1220
3351  B       b1345   t1345  B       b1221   t1221
3352  T       t1346   o1321 b1345  T       t1222   o1200 b1221
3353  B       b1346   t1346 j  B       b1222   t1222 j
3354  T       t1347   o1320 b1346  T       t1223   o1199 b1222
3355  B       b1347   t1347  B       b1223   t1223
3356  T       t1348   o1319 b1347  T       t1224   o1198 b1223
3357  B       b1348   t1348  B       b1224   t1224
3358  P       p1348   Number 8385  P       p1224   Number 7952
3359  P       p1349   Number 8408  P       p1225   Number 7975
3360  O       o1349   apply p1348 p1349  O       o1225   apply p1224 p1225
3361  P       p1350   Number 8406  P       p1226   Number 7973
3362  O       o1350   apply p1348 p1350  O       o1226   apply p1224 p1226
3363  P       p1351   Number 8404  P       p1227   Number 7971
3364  O       o1351   proj p1348 p1351  O       o1227   proj p1224 p1227
3365  O       o1352   uid p1348 p1351  O       o1228   uid p1224 p1227
3366  O       o1353   uid p522  O       o1353   uid p522
3367  T       t1353   o1353  T       t1353   o1353
3368  B       b1353   t1353  B       b1353   t1353
3369  T       t1354   o1352 b1353  T       t1228   o1228 b1353
3370  B       b1354   t1354  B       b1228   t1228
3371  P       p1354   Number 8393  P       p1228   Number 7960
3372  O       o1354   lid p1354 p1351  O       o1229   lid p1228 p1227
3373  P       p1355   String hyp_indices  P       p1355   String hyp_indices
3374  O       o1355   lid p1355  O       o1355   lid p1355
3375  T       t1355   o1355  T       t1355   o1355
3376  B       b1355   t1355  B       b1355   t1355
3377  T       t1356   o1354 b1355  T       t1229   o1229 b1355
3378  B       b1356   t1356  B       b1229   t1229
3379  T       t1357   o1351 b1354 b1356  T       t1230   o1227 b1228 b1229
3380  B       b1357   t1357  B       b1230   t1230
3381  P       p1357   Number 8405  P       p1230   Number 7972
3382  O       o1357   lid p1357 p1350  O       o1230   lid p1230 p1226
3383  T       t1358   o1357 b1188  T       t1231   o1230 b1188
3384  B       b1358   t1358  B       b1231   t1231
3385  T       t1359   o1350 b1357 b1358  T       t1233   o1226 b1230 b1231
3386  B       b1359   t1359  B       b1233   t1233
3387  P       p1359   Number 8407  P       p1233   Number 7974
3388  O       o1359   lid p1359 p1349  O       o1233   lid p1233 p1225
3389  P       p1360   Var i  P       p1360   Var i
3390  O       o1360   var p1360  O       o1360   var p1360
3391  T       t1360   o1360  T       t1360   o1360
3392  B       b1360   t1360  B       b1360   t1360
3393  T       t1361   o1359 b1360  T       t1234   o1233 b1360
3394  B       b1361   t1361  B       b1234   t1234
3395  T       t1362   o1349 b1359 b1361  T       t1235   o1225 b1233 b1234
3396  B       b1362   t1362  B       b1235   t1235
3397  T       t1363   o b1362 b4  T       t1236   o b1235 b4
3398  B       b1363   t1363  B       b1236   t1236
3399  T       t1364   o1318 b1348 b1363  T       t1237   o1197 b1224 b1236
3400  B       b1364   t1364  B       b1237   t1237
3401  T       t1365   o1317 b1364  T       t1238   o1191 b1237
3402  B       b1365   t1365 u  B       b1238   t1238 u
3403  T       t1366   o1316 b1365  T       t1239   o1187 b1238
3404  B       b1366   t1366  B       b1239   t1239
3405  P       p1366   Number 8346  P       p1239   Number 7913
3406  P       p1367   Number 8367  P       p1240   Number 7934
3407  O       o1367   apply p1366 p1367  O       o1240   apply p1239 p1240
3408  P       p1368   Number 8363  P       p1241   Number 7930
3409  O       o1368   apply p1366 p1368  O       o1241   apply p1239 p1241
3410  P       p1369   Number 8361  P       p1243   Number 7928
3411  O       o1369   lid p1366 p1369  O       o1243   lid p1239 p1243
3412  P       p1370   String maybe_new_vars1  P       p1370   String maybe_new_vars1
3413  O       o1370   lid p1370  O       o1370   lid p1370
3414  T       t1370   o1370  T       t1370   o1370
3415  B       b1370   t1370  B       b1370   t1370
3416  T       t1371   o1369 b1370  T       t1243   o1243 b1370
3417  B       b1371   t1371  B       b1243   t1243
3418  P       p1371   Number 8362  P       p1244   Number 7929
3419  O       o1371   lid p1371 p1368  O       o1244   lid p1244 p1241
3420  T       t1372   o1371 b1188  T       t1244   o1244 b1188
3421  B       b1372   t1372  B       b1244   t1244
3422  T       t1373   o1368 b1371 b1372  T       t1246   o1241 b1243 b1244
3423  B       b1373   t1373  B       b1246   t1246
3424  P       p1373   Number 8364  P       p1246   Number 7931
3425  O       o1373   string p1373 p1367 p1273  O       o1247   string p1246 p1240 p1273
3426  T       t1374   o1373  T       t1248   o1247
3427  B       b1374   t1374  B       b1248   t1248
3428  T       t1375   o1367 b1373 b1374  T       t1249   o1240 b1246 b1248
3429  B       b1375   t1375  B       b1249   t1249
3430  T       t1376   o b1375 b4  T       t1250   o b1249 b4
3431  B       b1376   t1376  B       b1250   t1250
3432  T       t1377   o1314 b1366 b1376  T       t1251   o1185 b1239 b1250
3433  B       b1377   t1377  B       b1251   t1251
3434  T       t1378   o1312 b1377  T       t1253   o1181 b1251
3435  B       b1378   t1378 p  B       b1253   t1253 p
3436  T       t1379   o1313 b1378  T       t1254   o1184 b1253
3437  B       b1379   t1379  B       b1254   t1254
3438  T       t1380   o1310 b1379  T       t1256   o1179 b1254
3439  B       b1380   t1380  B       b1256   t1256
3440  T       t1381   o1309 b1380  T       t1257   o1178 b1256
3441  B       b1381   t1381  B       b1257   t1257
3442  T       t1382   o1312 b1381  T       t1258   o1181 b1257
3443  B       b1382   t1382 i  B       b1258   t1258 i
3444  T       t1383   o1311 b1382  T       t1259   o1180 b1258
3445  B       b1383   t1383  B       b1259   t1259
3446  T       t1384   o1310 b1383  T       t1260   o1179 b1259
3447  B       b1384   t1384  B       b1260   t1260
3448  T       t1385   o1309 b1384  T       t1261   o1178 b1260
3449  B       b1385   t1385  B       b1261   t1261
3450  T       t1386   o1306 b1309 b1385  T       t1262   o1175 b1178 b1261
3451  B       b1386   t1386  B       b1262   t1262
3452  T       t1387   o b1386 b4  T       t1263   o b1262 b4
3453  B       b1387   t1387  B       b1263   t1263
3454  T       t1388   o1306 b1387  T       t1264   o1175 b1263
3455  B       b1388   t1388  B       b1264   t1264
3456  T       t1389   o405 b1388  T       t1265   o405 b1264
3457  B       b1389   t1389  B       b1265   t1265
3458  T       t1390   o1305 b1389  T       t1266   o1174 b1265
3459  B       b1390   t1390  B       b1266   t1266
3460  P       p1390   Number 8438  P       p1266   Number 8005
3461  P       p1391   Number 8887  P       p1267   Number 8454
3462  O       o1391   location p1390 p1391  O       o1267   location p1266 p1267
3463  P       p1392   String equiv_fun_isset  P       p1392   String equiv_fun_isset
3464  O       o1392   rule p1392  O       o1392   rule p1392
3465  T       t1392   o1148 b616  T       t1392   o1148 b616
# Line 3606  Line 3539 
3539  B       b1423   t1422  B       b1423   t1422
3540  T       t1423   o1392 b1395 b1413 b1423 b4  T       t1423   o1392 b1395 b1413 b1423 b4
3541  B       b1424   t1423  B       b1424   t1423
3542  T       t1424   o1391 b1424  T       t1267   o1267 b1424
3543  B       b1425   t1424  B       b1267   t1267
3544  P       p1425   Number 8889  P       p1268   Number 8456
3545  P       p1426   Number 9338  P       p1270   Number 8905
3546  O       o1426   location p1425 p1426  O       o1270   location p1268 p1270
3547  P       p1427   String equiv_fun_mem  P       p1427   String equiv_fun_mem
3548  O       o1427   rule p1427  O       o1427   rule p1427
3549  T       t1427   o864 b1406 b600  T       t1427   o864 b1406 b600
# Line 3641  Line 3574 
3574  B       b1438   t1438  B       b1438   t1438
3575  T       t1439   o1427 b1395 b1433 b1438 b4  T       t1439   o1427 b1395 b1433 b1438 b4
3576  B       b1439   t1439  B       b1439   t1439
3577  T       t1440   o1426 b1439  T       t1271   o1270 b1439
3578  B       b1440   t1440  B       b1271   t1271
3579  P       p1440   Number 9340  P       p1274   Number 8907
3580  P       p1441   Number 9902  P       p1275   Number 9469
3581  O       o1441   location p1440 p1441  O       o1275   location p1274 p1275
3582  O       o1442   str_let p1440 p1441  O       o1276   str_let p1274 p1275
3583  P       p1442   Number 9344  P       p1276   Number 8911
3584  O       o1443   patt_var p1442 p1441  O       o1277   patt_var p1276 p1275
3585  O       o1444   patt_done p1440 p1441  O       o1278   patt_done p1274 p1275
3586  T       t1444   o1444  T       t1280   o1278
3587  B       b1444   t1444 equivFunSetT  B       b1304   t1280 equivFunSetT
3588  T       t1445   o1443 b1444  T       t1304   o1277 b1304
3589  B       b1445   t1445  B       b1307   t1304
3590  O       o1445   fun p1442 p1441  O       o1307   fun p1276 p1275
3591  O       o1446   patt_if p1442 p1441  O       o1308   patt_if p1276 p1275
3592  P       p1446   Number 9357  P       p1308   Number 8924
3593  P       p1447   Number 9358  P       p1309   Number 8925
3594  O       o1447   patt_var p1446 p1447  O       o1309   patt_var p1308 p1309
3595  O       o1448   patt_body p1442 p1441  O       o1310   patt_body p1276 p1275
3596  P       p1448   Number 9359  P       p1310   Number 8926
3597  P       p1449   Number 9360  P       p1311   Number 8927
3598  O       o1449   patt_var p1448 p1449  O       o1311   patt_var p1310 p1311
3599  P       p1450   Number 9366  P       p1312   Number 8933
3600  O       o1450   let p1450 p1441  O       o1312   let p1312 p1275
3601  P       p1451   Number 9370  P       p1313   Number 8937
3602  P       p1452   Number 9374  P       p1314   Number 8941
3603  O       o1452   patt_tuple p1451 p1452  O       o1314   patt_tuple p1313 p1314
3604  P       p1453   Number 9371  P       p1315   Number 8938
3605  O       o1453   patt_var p1451 p1453  O       o1316   patt_var p1313 p1315
3606  O       o1454   patt_tuple_arg p1451 p1452  O       o1317   patt_tuple_arg p1313 p1314
3607    P       p1129   Number 9907
3608    P       p1151   Number 9363
3609    P       p1153   Number 9365
3610  NOcaml!patt_wildcard    patt_wildcard   patt_wildcard Ocaml  NOcaml!patt_wildcard    patt_wildcard   patt_wildcard Ocaml
3611  P       p1454   Number 9373  P       p1317   Number 8940
3612  O       o1455   patt_wildcard p1454 p1452  O       o1318   patt_wildcard p1317 p1314
3613  O       o1456   patt_tuple_end p1451 p1452  O       o1319   patt_tuple_end p1313 p1314
3614  O       o1457   patt_in p1450 p1441  O       o1320   patt_in p1312 p1275
3615  P       p1457   Number 9403  P       p1321   Number 8970
3616  O       o1458   let p1457 p1441  O       o1321   let p1321 p1275
3617  P       p1458   Number 9407  P       p1324   Number 8974
3618  P       p1459   Number 9408  P       p1326   Number 8975
3619  O       o1459   patt_var p1458 p1459  O       o1326   patt_var p1324 p1326
3620  O       o1460   patt_in p1457 p1441  O       o1327   patt_in p1321 p1275
3621  P       p1460   Number 9446  P       p1327   Number 9013
3622  O       o1461   let p1460 p1441  O       o1328   let p1327 p1275
3623  P       p1461   Number 9450  P       p1328   Number 9017
3624  P       p1462   Number 9451  P       p1329   Number 9018
3625  O       o1462   patt_var p1461 p1462  O       o1329   patt_var p1328 p1329
3626  O       o1463   patt_in p1460 p1441  O       o1331   patt_in p1327 p1275
3627  P       p1463   Number 9832  P       p1173   Number 9844
 O       o1464   let p1463 p1441  
 P       p1464   Number 9836  
 P       p1465   Number 9840  
 O       o1465   patt_tuple p1464 p1465  
 P       p1466   Number 9837  
 O       o1466   patt_var p1464 p1466  
 O       o1467   patt_tuple_arg p1464 p1465  
 P       p1467   Number 9839  
 O       o1468   patt_var p1467 p1465  
 O       o1469   patt_tuple_end p1464 p1465  
 O       o1470   patt_in p1463 p1441  
 P       p1470   Number 9879  
 O       o1471   apply p1470 p1441  
 P       p1471   Number 9900  
 O       o1472   apply p1470 p1471  
 P       p1472   Number 9898  
 O       o1473   apply p1470 p1472  
 P       p1473   Number 9896  
 O       o1474   apply p1470 p1473  
 P       p1474   Number 9894  
 O       o1475   lid p1470 p1474  
3628  O       o1476   lid p1392  O       o1476   lid p1392
3629  T       t1476   o1476  T       t1476   o1476
3630  B       b1476   t1476  B       b1476   t1476
 T       t1477   o1475 b1476  
 B       b1477   t1477  
 P       p1477   Number 9895  
 O       o1477   lid p1477 p1473  
 T       t1478   o1477 b1332  
 B       b1478   t1478  
 T       t1479   o1474 b1477 b1478  
 B       b1479   t1479  
 P       p1479   Number 9897  
 O       o1479   lid p1479 p1472  
 T       t1480   o1479 b1335  
 B       b1480   t1480  
 T       t1481   o1473 b1479 b1480  
 B       b1481   t1481  
 P       p1481   Number 9899  
 O       o1481   lid p1481 p1471  
 T       t1482   o1481 b1252  
 B       b1482   t1482  
 T       t1483   o1472 b1481 b1482  
 B       b1483   t1483  
 P       p1483   Number 9901  
 O       o1483   lid p1483 p1441  
 T       t1484   o1483 b1188  
 B       b1484   t1484  
 T       t1485   o1471 b1483 b1484  
 B       b1485   t1485  
 T       t1486   o1470 b1485  
 B       b1486   t1486  
 T       t1487   o1469 b1486  
 B       b1487   t1487 k  
 T       t1488   o1468 b1487  
 B       b1488   t1488  
 T       t1489   o1467 b1488  
 B       b1489   t1489 j  
 T       t1490   o1466 b1489  
 B       b1490   t1490  
 T       t1491   o1465 b1490  
 B       b1491   t1491  
 P       p1491   Number 9843  
 P       p1492   Number 9866  
 O       o1492   apply p1491 p1492  
 P       p1493   Number 9864  
 O       o1493   apply p1491 p1493  
 P       p1494   Number 9862  
 O       o1494   proj p1491 p1494  
 O       o1495   uid p1491 p1494  
 T       t1495   o1495 b1353  
 B       b1495   t1495  
 P       p1495   Number 9851  
 O       o1496   lid p1495 p1494  
 T       t1496   o1496 b1355  
 B       b1496   t1496  
 T       t1497   o1494 b1495 b1496  
 B       b1497   t1497  
 P       p1497   Number 9863  
 O       o1497   lid p1497 p1493  
 T       t1498   o1497 b1188  
 B       b1498   t1498  
 T       t1499   o1493 b1497 b1498  
 B       b1499   t1499  
 P       p1499   Number 9865  
 O       o1499   lid p1499 p1492  
 T       t1500   o1499 b1360  
 B       b1500   t1500  
 T       t1501   o1492 b1499 b1500  
 B       b1501   t1501  
 T       t1502   o b1501 b4  
 B       b1502   t1502  
 T       t1503   o1464 b1491 b1502  
 B       b1503   t1503  
 T       t1504   o1463 b1503  
 B       b1504   t1504 t  
 T       t1505   o1462 b1504  
 B       b1505   t1505  
3631  NOcaml!try      try     try Ocaml  NOcaml!try      try     try Ocaml
 P       p1505   Number 9460  
 P       p1506   Number 9819  
 O       o1506   try p1505 p1506  
 O       o1507   patt_if p1505 p1506  
3632  NOcaml!patt_apply       patt_apply      patt_apply Ocaml  NOcaml!patt_apply       patt_apply      patt_apply Ocaml
 P       p1507   Number 9705  
 P       p1508   Number 9736  
 O       o1508   patt_apply p1507 p1508  
3633  NOcaml!patt_uid patt_uid        patt_uid Ocaml  NOcaml!patt_uid patt_uid        patt_uid Ocaml
 P       p1509   Number 9716  
 O       o1509   patt_uid p1507 p1509  
3634  O       o1510   patt_uid p484  O       o1510   patt_uid p484
3635  T       t1510   o1510  T       t1510   o1510
3636  B       b1510   t1510  B       b1510   t1510
3637  NOcaml!patt_apply_arg   patt_apply_arg  patt_apply_arg Ocaml  NOcaml!patt_apply_arg   patt_apply_arg  patt_apply_arg Ocaml
 O       o1511   patt_apply_arg p1507 p1508  
3638  NOcaml!patt_string      patt_string     patt_string Ocaml  NOcaml!patt_string      patt_string     patt_string Ocaml
 P       p1511   Number 9718  
 P       p1512   Number 9733  
3639  P       p1513   String get_attribute  P       p1513   String get_attribute
 O       o1513   patt_string p1511 p1512 p1513  
3640  NOcaml!patt_apply_end   patt_apply_end  patt_apply_end Ocaml  NOcaml!patt_apply_end   patt_apply_end  patt_apply_end Ocaml
 O       o1514   patt_apply_end p1507 p1508  
 P       p1514   Number 9734  
 P       p1515   Number 9735  
 O       o1515   patt_wildcard p1514 p1515  
 O       o1516   patt_body p1505 p1506  
 P       p1516   Number 9749  
 O       o1517   apply p1516 p1506  
 P       p1517   Number 9754  
 O       o1518   lid p1516 p1517  
3641  P       p1518   String raise  P       p1518   String raise
3642  O       o1519   lid p1518  O       o1519   lid p1518
3643  T       t1519   o1519  T       t1519   o1519
3644  B       b1519   t1519  B       b1519   t1519
 T       t1520   o1518 b1519  
 B       b1520   t1520  
 P       p1520   Number 9756  
 P       p1521   Number 9818  
 O       o1521   apply p1520 p1521  
 P       p1522   Number 9767  
 O       o1522   uid p1520 p1522  
3645  O       o1523   uid p484  O       o1523   uid p484
3646  T       t1523   o1523  T       t1523   o1523
3647  B       b1523   t1523  B       b1523   t1523
 T       t1524   o1522 b1523  
 B       b1524   t1524  
 P       p1524   Number 9769  
 P       p1525   Number 9783  
3648  P       p1526   String equivFunSetT  P       p1526   String equivFunSetT
 O       o1526   string p1524 p1525 p1526  
 T       t1526   o1526  
 B       b1526   t1526  
 T       t1527   o1521 b1524 b1526  
 B       b1527   t1527  
 P       p1527   Number 9785  
 P       p1528   Number 9817  
 O       o1528   apply p1527 p1528  
 P       p1529   Number 9796  
 O       o1529   uid p1527 p1529  
3649  P       p1530   String StringError  P       p1530   String StringError
3650  O       o1530   uid p1530  O       o1530   uid p1530
3651  T       t1530   o1530  T       t1530   o1530
3652  B       b1530   t1530  B       b1530   t1530
 T       t1531   o1529 b1530  
 B       b1531   t1531  
 P       p1531   Number 9798  
 P       p1532   Number 9816  
3653  P       p1533   String "need a term list"  P       p1533   String "need a term list"
 O       o1533   string p1531 p1532 p1533  
 T       t1533   o1533  
 B       b1533   t1533  
 T       t1534   o1528 b1531 b1533  
 B       b1534   t1534  
 T       t1535   o1521 b1527 b1534  
 B       b1535   t1535  
 T       t1536   o1517 b1520 b1535  
 B       b1536   t1536  
 T       t1537   o1516 b1536  
 B       b1537   t1537  
 T       t1538   o1514 b1537  
 B       b1538   t1538  
 T       t1539   o1515 b1538  
 B       b1539   t1539  
 T       t1540   o1511 b1539  
 B       b1540   t1540  
 T       t1541   o1514 b1540  
 B       b1541   t1541  
 T       t1542   o1513 b1541  
 B       b1542   t1542  
 T       t1543   o1511 b1542  
 B       b1543   t1543  
 T       t1544   o1509 b1510 b1543  
 B       b1544   t1544  
 T       t1545   o1508 b1544  
 B       b1545   t1545  
 T       t1546   o1508 b1545  
 B       b1546   t1546  
 T       t1547   o1507 b1546  
 B       b1547   t1547  
 P       p1547   Number 9473  
 P       p1548   Number 9693  
 O       o1548   let p1547 p1548  
 P       p1549   Number 9477  
 P       p1550   Number 9478  
 O       o1550   patt_var p1549 p1550  
 O       o1551   patt_in p1547 p1548  
3654  NOcaml!match    match   match Ocaml  NOcaml!match    match   match Ocaml
 P       p1551   Number 9531  
 O       o1552   match p1551 p1548  
3655  NOcaml!patt_ifelse      patt_ifelse     patt_ifelse Ocaml  NOcaml!patt_ifelse      patt_ifelse     patt_ifelse Ocaml
 O       o1553   patt_ifelse p1551 p1548  
 P       p1553   Number 9559  
 P       p1554   Number 9565  
 O       o1554   patt_apply p1553 p1554  
 O       o1555   patt_uid p1553 p1554  
3656  P       p1555   String ::  P       p1555   String ::
3657  O       o1556   patt_uid p1555  O       o1556   patt_uid p1555
3658  T       t1556   o1556  T       t1556   o1556
3659  B       b1556   t1556  B       b1556   t1556
 O       o1557   patt_apply_arg p1553 p1554  
 P       p1557   Number 9560  
 P       p1558   Number 9561  
 O       o1558   patt_var p1557 p1558  
 O       o1559   patt_apply_end p1553 p1554  
 P       p1559   Number 9563  
 O       o1560   patt_apply p1559 p1554  
 O       o1561   patt_uid p1559 p1554  
 O       o1562   patt_apply_arg p1559 p1554  
 P       p1562   Number 9564  
 O       o1563   patt_var p1559 p1562  
 O       o1564   patt_apply_end p1559 p1554  
3660  O       o1565   patt_uid p1008  O       o1565   patt_uid p1008
3661  T       t1565   o1565  T       t1565   o1565
3662  B       b1565   t1565  B       b1565   t1565
 O       o1566   patt_body p1551 p1548  
 P       p1566   Number 9569  
3663  P       p1567   Number 9598  P       p1567   Number 9598
 O       o1567   apply p1566 p1567  
3664  P       p1568   Number 9596  P       p1568   Number 9596
 O       o1568   apply p1566 p1568  
 P       p1569   Number 9594  
 O       o1569   apply p1566 p1569  
 P       p1570   Number 9592  
 O       o1570   apply p1566 p1570  
 P       p1571   Number 9590  
 O       o1571   lid p1566 p1571  
3665  P       p1572   String mk_equiv_fun_set_term  P       p1572   String mk_equiv_fun_set_term
3666  O       o1572   lid p1572  O       o1572   lid p1572
3667  T       t1572   o1572  T       t1572   o1572
3668  B       b1572   t1572  B       b1572   t1572
3669  T       t1573   o1571 b1572  P       p1579   Number 9597
3670    P       p1613   String "wrong number of terms"
3671    P       p1622   Var l
3672    O       o1622   var p1622
3673    T       t1622   o1622
3674    B       b1622   t1622
3675    P       p1631   String get_term_list_arg
3676    O       o1632   lid p1631
3677    T       t1632   o1632
3678    B       b1632   t1632
3679    P       p1637   String with
3680    P       p1648   String dest_isset
3681    O       o1648   lid p1648
3682    T       t1648   o1648
3683    B       b1648   t1648
3684    P       p1653   String concl
3685    O       o1654   lid p1653
3686    T       t1654   o1654
3687    B       b1654   t1654
3688    P       p1672   String nth_hyp
3689    O       o1673   lid p1672
3690    T       t1673   o1673
3691    B       b1673   t1673
3692    P       p1307   Number 9906
3693    P       p1455   Number 9465
3694    P       p1456   Number 9824
3695    P       p1498   Number 9823
3696    P       p1658   Number 9536
3697    P       p1665   Number 9568
3698    P       p1682   Number 9599
3699    P       p1890   Number 9659
3700    P       p3460   Number 9399
3701    O       o1334   let p3460 p1275
3702    P       p1334   Number 9403
3703    P       p1339   Number 9407
3704    O       o1340   patt_tuple p1334 p1339
3705    P       p1341   Number 9404
3706    O       o1342   patt_var p1334 p1341
3707    O       o1343   patt_tuple_arg p1334 p1339
3708    P       p1343   Number 9406
3709    O       o1344   patt_var p1343 p1339
3710    O       o1345   patt_tuple_end p1334 p1339
3711    O       o1346   patt_in p3460 p1275
3712    P       p1346   Number 9446
3713    O       o1347   apply p1346 p1275
3714    P       p1347   Number 9467
3715    O       o1348   apply p1346 p1347
3716    O       o1349   apply p1346 p1455
3717    P       p1349   Number 9463
3718    O       o1350   apply p1346 p1349
3719    P       p1350   Number 9461
3720    O       o1351   lid p1346 p1350
3721    T       t1351   o1351 b1476
3722    B       b1351   t1351
3723    P       p1351   Number 9462
3724    O       o1352   lid p1351 p1349
3725    T       t1352   o1352 b1332
3726    B       b1352   t1352
3727    T       t1354   o1350 b1351 b1352
3728    B       b1354   t1354
3729    P       p1354   Number 9464
3730    O       o1354   lid p1354 p1455
3731    T       t1356   o1354 b1335
3732    B       b1356   t1356
3733    T       t1357   o1349 b1354 b1356
3734    B       b1357   t1357
3735    P       p1357   Number 9466
3736    O       o1357   lid p1357 p1347
3737    T       t1358   o1357 b1252
3738    B       b1358   t1358
3739    T       t1359   o1348 b1357 b1358
3740    B       b1359   t1359
3741    P       p1359   Number 9468
3742    O       o1359   lid p1359 p1275
3743    T       t1361   o1359 b1188
3744    B       b1361   t1361
3745    T       t1362   o1347 b1359 b1361
3746    B       b1362   t1362
3747    T       t1363   o1346 b1362
3748    B       b1363   t1363
3749    T       t1364   o1345 b1363
3750    B       b1364   t1364 k
3751    T       t1365   o1344 b1364
3752    B       b1365   t1365
3753    T       t1366   o1343 b1365
3754    B       b1366   t1366 j
3755    T       t1369   o1342 b1366
3756    B       b1369   t1369
3757    T       t1371   o1340 b1369
3758    B       b1371   t1371
3759    P       p1371   Number 9410
3760    P       p1373   Number 9433
3761    O       o1373   apply p1371 p1373
3762    P       p1374   Number 9431
3763    O       o1374   apply p1371 p1374
3764    P       p1375   Number 9429
3765    O       o1375   proj p1371 p1375
3766    O       o1376   uid p1371 p1375
3767    T       t1376   o1376 b1353
3768    B       b1376   t1376
3769    P       p1376   Number 9418
3770    O       o1377   lid p1376 p1375
3771    T       t1377   o1377 b1355
3772    B       b1377   t1377
3773    T       t1378   o1375 b1376 b1377
3774    B       b1378   t1378
3775    P       p1378   Number 9430
3776    O       o1378   lid p1378 p1374
3777    T       t1379   o1378 b1188
3778    B       b1379   t1379
3779    T       t1380   o1374 b1378 b1379
3780    B       b1380   t1380
3781    P       p1380   Number 9432
3782    O       o1380   lid p1380 p1373
3783    T       t1381   o1380 b1360
3784    B       b1381   t1381
3785    T       t1382   o1373 b1380 b1381
3786    B       b1382   t1382
3787    T       t1383   o b1382 b4
3788    B       b1383   t1383
3789    T       t1384   o1334 b1371 b1383
3790    B       b1384   t1384
3791    T       t1385   o1331 b1384
3792    B       b1385   t1385 t
3793    T       t1386   o1329 b1385
3794    B       b1386   t1386
3795    P       p1386   Number 9027
3796    P       p1387   Number 9386
3797    O       o1387   try p1386 p1387
3798    O       o1388   patt_if p1386 p1387
3799    P       p1388   Number 9272
3800    P       p1389   Number 9303
3801    O       o1389   patt_apply p1388 p1389
3802    P       p1391   Number 9283
3803    O       o1391   patt_uid p1388 p1391
3804    O       o1393   patt_apply_arg p1388 p1389
3805    P       p1393   Number 9285
3806    P       p1394   Number 9300
3807    O       o1394   patt_string p1393 p1394 p1513
3808    O       o1395   patt_apply_end p1388 p1389
3809    P       p1395   Number 9301
3810    P       p1396   Number 9302
3811    O       o1396   patt_wildcard p1395 p1396
3812    O       o1397   patt_body p1386 p1387
3813    P       p1397   Number 9316
3814    O       o1398   apply p1397 p1387
3815    P       p1398   Number 9321
3816    O       o1399   lid p1397 p1398
3817    T       t1399   o1399 b1519
3818    B       b1425   t1399
3819    P       p1425   Number 9323
3820    P       p1426   Number 9385
3821    O       o1426   apply p1425 p1426
3822    P       p1429   Number 9334
3823    O       o1429   uid p1425 p1429
3824    T       t1440   o1429 b1523
3825    B       b1440   t1440
3826    P       p1440   Number 9336
3827    P       p1442   Number 9350
3828    O       o1442   string p1440 p1442 p1526
3829    T       t1444   o1442
3830    B       b1444   t1444
3831    T       t1445   o1426 b1440 b1444
3832    B       b1445   t1445
3833    P       p1445   Number 9352
3834    P       p1446   Number 9384
3835    O       o1446   apply p1445 p1446
3836    O       o1447   uid p1445 p1151
3837    T       t1449   o1447 b1530
3838    B       b1449   t1449
3839    P       p1449   Number 9383
3840    O       o1449   string p1153 p1449 p1533
3841    T       t1450   o1449
3842    B       b1450   t1450
3843    T       t1451   o1446 b1449 b1450
3844    B       b1451   t1451
3845    T       t1452   o1426 b1445 b1451
3846    B       b1452   t1452
3847    T       t1453   o1398 b1425 b1452
3848    B       b1453   t1453
3849    T       t1454   o1397 b1453
3850    B       b1454   t1454
3851    T       t1455   o1395 b1454
3852    B       b1455   t1455
3853    T       t1456   o1396 b1455
3854    B       b1456   t1456
3855    T       t1457   o1393 b1456
3856    B       b1457   t1457
3857    T       t1458   o1395 b1457
3858    B       b1458   t1458
3859    T       t1459   o1394 b1458
3860    B       b1459   t1459
3861    T       t1460   o1393 b1459
3862    B       b1460   t1460
3863    T       t1461   o1391 b1510 b1460
3864    B       b1461   t1461
3865    T       t1462   o1389 b1461
3866    B       b1462   t1462
3867    T       t1463   o1389 b1462
3868    B       b1463   t1463
3869    T       t1464   o1388 b1463
3870    B       b1464   t1464
3871    P       p1464   Number 9040
3872    P       p1465   Number 9260
3873    O       o1465   let p1464 p1465
3874    P       p1467   Number 9044
3875    P       p1468   Number 9045
3876    O       o1468   patt_var p1467 p1468
3877    O       o1469   patt_in p1464 p1465
3878    P       p1469   Number 9098
3879    O       o1470   match p1469 p1465
3880    O       o1471   patt_ifelse p1469 p1465
3881    P       p1472   Number 9126
3882    P       p1473   Number 9132
3883    O       o1473   patt_apply p1472 p1473
3884    O       o1474   patt_uid p1472 p1473
3885    O       o1475   patt_apply_arg p1472 p1473
3886    P       p1475   Number 9127
3887    P       p1476   Number 9128
3888    O       o1477   patt_var p1475 p1476
3889    O       o1479   patt_apply_end p1472 p1473
3890    P       p1479   Number 9130
3891    O       o1481   patt_apply p1479 p1473
3892    O       o1483   patt_uid p1479 p1473
3893    O       o1492   patt_apply_arg p1479 p1473
3894    P       p1492   Number 9131
3895    O       o1493   patt_var p1479 p1492
3896    O       o1494   patt_apply_end p1479 p1473
3897    O       o1495   patt_body p1469 p1465
3898    P       p1495   Number 9136
3899    P       p1497   Number 9165
3900    O       o1497   apply p1495 p1497
3901    P       p1499   Number 9163
3902    O       o1499   apply p1495 p1499
3903    P       p1501   Number 9161
3904    O       o1501   apply p1495 p1501
3905    P       p1502   Number 9159
3906    O       o1502   apply p1495 p1502
3907    P       p1503   Number 9157
3908    O       o1503   lid p1495 p1503
3909    T       t1503   o1503 b1572
3910    B       b1503   t1503
3911    P       p1504   Number 9158
3912    O       o1504   lid p1504 p1502
3913    T       t1504   o1504 b600
3914    B       b1504   t1504
3915    T       t1505   o1502 b1503 b1504
3916    B       b1505   t1505
3917    P       p1505   Number 9160
3918    O       o1505   lid p1505 p1501
3919    T       t1507   o1505 b601
3920    B       b1507   t1507
3921    T       t1508   o1501 b1505 b1507
3922    B       b1508   t1508
3923    P       p1508   Number 9162
3924    O       o1508   lid p1508 p1499
3925    T       t1509   o1508 b614
3926    B       b1509   t1509
3927    T       t1511   o1499 b1508 b1509
3928    B       b1511   t1511
3929    P       p1511   Number 9164
3930    O       o1511   lid p1511 p1497
3931    T       t1512   o1511 b1252
3932    B       b1512   t1512
3933    T       t1513   o1497 b1511 b1512
3934    B       b1513   t1513
3935    T       t1514   o1495 b1513
3936    B       b1514   t1514
3937    T       t1515   o1479 b1514
3938    B       b1515   t1515
3939    T       t1516   o1494 b1515
3940    B       b1516   t1516
3941    T       t1517   o1474 b1565 b1516
3942    B       b1517   t1517
3943    T       t1518   o1492 b1517
3944    B       b1518   t1518
3945    T       t1520   o1494 b1518
3946    B       b1520   t1520 r
3947    T       t1524   o1493 b1520
3948    B       b1524   t1524
3949    T       t1525   o1492 b1524
3950    B       b1525   t1525
3951    T       t1526   o1483 b1556 b1525
3952    B       b1526   t1526
3953    T       t1527   o1481 b1526
3954    B       b1527   t1527
3955    T       t1528   o1481 b1527
3956    B       b1528   t1528
3957    T       t1529   o1475 b1528
3958    B       b1529   t1529
3959    T       t1531   o1479 b1529
3960    B       b1531   t1531 s
3961    T       t1532   o1477 b1531
3962    B       b1532   t1532
3963    T       t1533   o1475 b1532
3964    B       b1533   t1533
3965    T       t1534   o1474 b1556 b1533
3966    B       b1534   t1534
3967    T       t1535   o1473 b1534
3968    B       b1535   t1535
3969    T       t1536   o1473 b1535
3970    B       b1536   t1536
3971    O       o1536   patt_if p1469 p1465
3972    P       p1536   Number 9181
3973    P       p1537   Number 9182
3974    O       o1537   patt_wildcard p1536 p1537
3975    P       p1538   Number 9186
3976    O       o1538   apply p1538 p1465
3977    P       p1539   Number 9191
3978    O       o1539   lid p1538 p1539
3979    T       t1539   o1539 b1519
3980    B       b1539   t1539
3981    P       p1540   Number 9192
3982    P       p1541   Number 9259
3983    O       o1541   apply p1540 p1541
3984    P       p1542   Number 9203
3985    O       o1542   uid p1540 p1542
3986    T       t1542   o1542 b1523
3987    B       b1542   t1542
3988    P       p1543   Number 9205
3989    P       p1544   Number 9219
3990    O       o1544   string p1543 p1544 p1526
3991    T       t1544   o1544
3992    B       b1544   t1544
3993    T       t1545   o1541 b1542 b1544
3994    B       b1545   t1545
3995    P       p1545   Number 9221
3996    P       p1546   Number 9258
3997    O       o1546   apply p1545 p1546
3998    P       p1547   Number 9232
3999    O       o1547   uid p1545 p1547
4000    T       t1547   o1547 b1530
4001    B       b1547   t1547
4002    P       p1548   Number 9234
4003    P       p1549   Number 9257
4004    O       o1549   string p1548 p1549 p1613
4005    T       t1549   o1549
4006    B       b1549   t1549
4007    T       t1550   o1546 b1547 b1549
4008    B       b1550   t1550
4009    T       t1551   o1541 b1545 b1550
4010    B       b1551   t1551
4011    T       t1552   o1538 b1539 b1551
4012    B       b1552   t1552
4013    T       t1553   o1495 b1552
4014    B       b1553   t1553
4015    T       t1554   o1537 b1553
4016    B       b1554   t1554
4017    T       t1555   o1536 b1554
4018    B       b1555   t1555
4019    T       t1557   o1471 b1536 b1555
4020    B       b1557   t1557
4021    P       p1557   Number 9104
4022    P       p1558   Number 9105
4023    O       o1558   lid p1557 p1558
4024    T       t1558   o1558 b1622
4025    B       b1558   t1558
4026    T       t1559   o1470 b1557 b1558
4027    B       b1559   t1559
4028    T       t1560   o1469 b1559
4029    B       b1560   t1560 l
4030    T       t1561   o1468 b1560
4031    B       b1561   t1561
4032    P       p1561   Number 9048
4033    P       p1563   Number 9082
4034    O       o1563   apply p1561 p1563
4035    P       p1564   Number 9075
4036    O       o1564   apply p1561 p1564
4037    P       p1565   Number 9073
4038    O       o1566   proj p1561 p1565
4039    O       o1567   uid p1561 p1565
4040    T       t1567   o1567 b1353
4041    B       b1567   t1567
4042    P       p1569   Number 9056
4043    O       o1569   lid p1569 p1565
4044    T       t1569   o1569 b1632
4045    B       b1569   t1569
4046    T       t1570   o1566 b1567 b1569
4047    B       b1570   t1570
4048    P       p1570   Number 9074
4049    O       o1570   lid p1570 p1564
4050    T       t1571   o1570 b1188
4051    B       b1571   t1571
4052    T       t1573   o1564 b1570 b1571
4053  B       b1573   t1573  B       b1573   t1573
4054  P       p1573   Number 9591  P       p1573   Number 9076
4055  O       o1573   lid p1573 p1570  O       o1573   string p1573 p1563 p1637
4056  T       t1574   o1573 b600  T       t1574   o1573
4057  B       b1574   t1574  B       b1574   t1574
4058  T       t1575   o1570 b1573 b1574  T       t1575   o1563 b1573 b1574
4059  B       b1575   t1575  B       b1575   t1575
4060  P       p1575   Number 9593  T       t1576   o b1575 b4
 O       o1575   lid p1575 p1569  
 T       t1576   o1575 b601  
4061  B       b1576   t1576  B       b1576   t1576
4062  T       t1577   o1569 b1575 b1576  T       t1577   o1465 b1561 b1576
4063  B       b1577   t1577  B       b1577   t1577
4064  P       p1577   Number 9595  T       t1578   o1387 b1464 b1577
 O       o1577   lid p1577 p1568  
 T       t1578   o1577 b614  
4065  B       b1578   t1578  B       b1578   t1578
4066  T       t1579   o1568 b1577 b1578  T       t1579   o b1578 b4
4067  B       b1579   t1579  B       b1579   t1579
4068  P       p1579   Number 9597  T       t1580   o1328 b1386 b1579
 O       o1579   lid p1579 p1567  
 T       t1580   o1579 b1252  
4069  B       b1580   t1580  B       b1580   t1580
4070  T       t1581   o1567 b1579 b1580  T       t1581   o1327 b1580
4071  B       b1581   t1581  B       b1581   t1581 t
4072  T       t1582   o1566 b1581  T       t1582   o1326 b1581
4073  B       b1582   t1582  B       b1582   t1582
4074  T       t1583   o1559 b1582  P       p1582   Number 8978
4075  B       b1583   t1583  P       p1583   Number 9006
4076  T       t1584   o1564 b1583  O       o1583   apply p1582 p1583
4077    P       p1584   Number 8988
4078    O       o1584   lid p1582 p1584
4079    T       t1584   o1584 b1648
4080  B       b1584   t1584  B       b1584   t1584
4081  T       t1585   o1555 b1565 b1584  P       p1585   Number 8990
4082  B       b1585   t1585  P       p1586   Number 9005
4083  T       t1586   o1562 b1585  O       o1586   apply p1585 p1586
4084  B       b1586   t1586  P       p1587   Number 9003
4085  T       t1587   o1564 b1586  O       o1587   proj p1585 p1587
4086  B       b1587   t1587 r  O       o1588   uid p1585 p1587
4087  T       t1588   o1563 b1587  T       t1588   o1588 b1353
4088  B       b1588   t1588  B       b1588   t1588
4089  T       t1589   o1562 b1588  P       p1588   Number 8998
4090    O       o1589   lid p1588 p1587
4091    T       t1589   o1589 b1654
4092  B       b1589   t1589  B       b1589   t1589
4093  T       t1590   o1561 b1556 b1589  T       t1590   o1587 b1588 b1589
4094  B       b1590   t1590  B       b1590   t1590
4095  T       t1591   o1560 b1590  P       p1590   Number 9004
4096    O       o1590   lid p1590 p1586
4097    T       t1591   o1590 b1188
4098  B       b1591   t1591  B       b1591   t1591
4099  T       t1592   o1560 b1591  T       t1592   o1586 b1590 b1591
4100  B       b1592   t1592  B       b1592   t1592
4101  T       t1593   o1557 b1592  T       t1593   o1583 b1584 b1592
4102  B       b1593   t1593  B       b1593   t1593
4103  T       t1594   o1559 b1593  T       t1594   o b1593 b4
4104  B       b1594   t1594 s  B       b1594   t1594
4105  T       t1595   o1558 b1594  T       t1595   o1321 b1582 b1594
4106  B       b1595   t1595  B       b1595   t1595
4107  T       t1596   o1557 b1595  T       t1596   o1320 b1595
4108  B       b1596   t1596  B       b1596   t1596
4109  T       t1597   o1555 b1556 b1596  T       t1597   o1319 b1596
4110  B       b1597   t1597  B       b1597   t1597
4111  T       t1598   o1554 b1597  T       t1598   o1318 b1597
4112  B       b1598   t1598  B       b1598   t1598
4113  T       t1599   o1554 b1598  T       t1599   o1317 b1598
4114  B       b1599   t1599  B       b1599   t1599 z
4115  O       o1599   patt_if p1551 p1548  T       t1602   o1316 b1599
 P       p1599   Number 9614  
 P       p1600   Number 9615  
 O       o1600   patt_wildcard p1599 p1600  
 P       p1601   Number 9619  
 O       o1601   apply p1601 p1548  
 P       p1602   Number 9624  
 O       o1602   lid p1601 p1602  
 T       t1602   o1602 b1519  
4116  B       b1602   t1602  B       b1602   t1602
4117  P       p1603   Number 9625  T       t1605   o1314 b1602
 P       p1604   Number 9692  
 O       o1604   apply p1603 p1604  
 P       p1605   Number 9636  
 O       o1605   uid p1603 p1605  
 T       t1605   o1605 b1523  
4118  B       b1605   t1605  B       b1605   t1605
4119  P       p1606   Number 9638  P       p1605   Number 8944
4120  P       p1607   Number 9652  P       p1606   Number 8963
4121  O       o1607   string p1606 p1607 p1526  O       o1606   apply p1605 p1606
4122  T       t1607   o1607  P       p1607   Number 8961
4123  B       b1607   t1607  O       o1607   apply p1605 p1607
4124  T       t1608   o1604 b1605 b1607  P       p1608   Number 8959
4125  B       b1608   t1608  O       o1608   proj p1605 p1608
4126  P       p1608   Number 9654  O       o1609   uid p1605 p1608
4127  P       p1609   Number 9691  T       t1610   o1609 b1353
 O       o1609   apply p1608 p1609  
 P       p1610   Number 9665  
 O       o1610   uid p1608 p1610  
 T       t1610   o1610 b1530  
4128  B       b1610   t1610  B       b1610   t1610
4129  P       p1611   Number 9667  P       p1610   Number 8952
4130  P       p1612   Number 9690  O       o1610   lid p1610 p1608
4131  P       p1613   String "wrong number of terms"  T       t1613   o1610 b1673
 O       o1613   string p1611 p1612 p1613  
 T       t1613   o1613  
4132  B       b1613   t1613  B       b1613   t1613
4133  T       t1614   o1609 b1610 b1613  T       t1614   o1608 b1610 b1613
4134  B       b1614   t1614  B       b1614   t1614
4135  T       t1615   o1604 b1608 b1614  P       p1614   Number 8960
4136    O       o1614   lid p1614 p1607
4137    T       t1615   o1614 b1188
4138  B       b1615   t1615  B       b1615   t1615
4139  T       t1616   o1601 b1602 b1615  T       t1616   o1607 b1614 b1615
4140  B       b1616   t1616  B       b1616   t1616
4141  T       t1617   o1566 b1616  P       p1616   Number 8962
4142    O       o1616   lid p1616 p1606
4143    T       t1617   o1616 b1360
4144  B       b1617   t1617  B       b1617   t1617
4145  T       t1618   o1600 b1617  T       t1618   o1606 b1616 b1617
4146  B       b1618   t1618  B       b1618   t1618
4147  T       t1619   o1599 b1618  T       t1619   o b1618 b4
4148  B       b1619   t1619  B       b1619   t1619
4149  T       t1620   o1553 b1599 b1619  T       t1620   o1312 b1605 b1619
4150  B       b1620   t1620  B       b1620   t1620
4151  P       p1620   Number 9537  T       t1623   o1310 b1620
4152  P       p1621   Number 9538  B       b1623   t1623 p
4153  O       o1621   lid p1620 p1621  T       t1624   o1311 b1623
 P       p1622   Var l  
 O       o1622   var p1622  
 T       t1622   o1622  
 B       b1622   t1622  
 T       t1623   o1621 b1622  
 B       b1623   t1623  
 T       t1624   o1552 b1620 b1623  
4154  B       b1624   t1624  B       b1624   t1624
4155  T       t1625   o1551 b1624  T       t1625   o1308 b1624
4156  B       b1625   t1625 l  B       b1625   t1625
4157  T       t1626   o1550 b1625  T       t1626   o1307 b1625
4158  B       b1626   t1626  B       b1626   t1626
4159  P       p1626   Number 9481  T       t1630   o1310 b1626
4160  P       p1627   Number 9515  B       b1630   t1630 i
4161  O       o1627   apply p1626 p1627  T       t1633   o1309 b1630
 P       p1628   Number 9508  
 O       o1628   apply p1626 p1628  
 P       p1629   Number 9506  
 O       o1629   proj p1626 p1629  
 O       o1630   uid p1626 p1629  
 T       t1630   o1630 b1353  
 B       b1630   t1630  
 P       p1630   Number 9489  
 O       o1631   lid p1630 p1629  
 P       p1631   String get_term_list_arg  
 O       o1632   lid p1631  
 T       t1632   o1632  
 B       b1632   t1632  
 T       t1633   o1631 b1632  
4162  B       b1633   t1633  B       b1633   t1633
4163  T       t1634   o1629 b1630 b1633  T       t1634   o1308 b1633
4164  B       b1634   t1634  B       b1634   t1634
4165  P       p1634   Number 9507  T       t1635   o1307 b1634
 O       o1634   lid p1634 p1628  
 T       t1635   o1634 b1188  
4166  B       b1635   t1635  B       b1635   t1635
4167  T       t1636   o1628 b1634 b1635  T       t1636   o1276 b1307 b1635
4168  B       b1636   t1636  B       b1636   t1636
4169  P       p1636   Number 9509  T       t1637   o b1636 b4
 P       p1637   String with  
 O       o1637   string p1636 p1627 p1637  
 T       t1637   o1637  
4170  B       b1637   t1637  B       b1637   t1637
4171  T       t1638   o1627 b1636 b1637  T       t1638   o1276 b1637
4172  B       b1638   t1638  B       b1638   t1638
4173  T       t1639   o b1638 b4  T       t1639   o405 b1638
4174  B       b1639   t1639  B       b1639   t1639
4175  T       t1640   o1548 b1626 b1639  T       t1640   o1275 b1639
4176  B       b1640   t1640  B       b1640   t1640
4177  T       t1641   o1506 b1547 b1640  P       p1640   Number 9471
4178  B       b1641   t1641  P       p1641   Number 9990
4179  T       t1642   o b1641 b4  O       o1641   location p1640 p1641
4180  B       b1642   t1642  O       o1642   str_let p1640 p1641
4181  T       t1643   o1461 b1505 b1642  P       p1642   Number 9475
4182  B       b1643   t1643  O       o1643   patt_var p1642 p1641
4183  T       t1644   o1460 b1643  O       o1644   patt_done p1640 p1641
4184  B       b1644   t1644 t  T       t1644   o1644
4185  T       t1645   o1459 b1644  B       b1644   t1644 equivFunMemT
4186    T       t1645   o1643 b1644
4187  B       b1645   t1645  B       b1645   t1645
4188  P       p1645   Number 9411  O       o1645   fun p1642 p1641
4189  P       p1646   Number 9439  O       o1646   patt_if p1642 p1641
4190  O       o1646   apply p1645 p1646  P       p1646   Number 9488
4191  P       p1647   Number 9421  P       p1647   Number 9489
4192  O       o1647   lid p1645 p1647  O       o1647   patt_var p1646 p1647
4193  P       p1648   String dest_isset  O       o1649   patt_body p1642 p1641
4194  O       o1648   lid p1648  P       p1649   Number 9490
4195  T       t1648   o1648  P       p1650   Number 9491
4196  B       b1648   t1648  O       o1650   patt_var p1649 p1650
4197  T       t1649   o1647 b1648  P       p1652   Number 9492
4198  B       b1649   t1649  P       p1656   Number 9493
4199  P       p1649   Number 9423  O       o1656   patt_var p1652 p1656
4200  P       p1650   Number 9438  P       p1659   Number 9499
4201  O       o1650   apply p1649 p1650  O       o1668   let p1659 p1641
4202  P       p1651   Number 9436  P       p1668   Number 9503
4203  O       o1651   proj p1649 p1651  P       p1669   Number 9507
4204  O       o1652   uid p1649 p1651  O       o1669   patt_tuple p1668 p1669
4205  T       t1652   o1652 b1353  P       p1670   Number 9504
4206  B       b1652   t1652  O       o1670   patt_var p1668 p1670
4207  P       p1652   Number 9431  O       o1671   patt_tuple_arg p1668 p1669
4208  O       o1653   lid p1652 p1651  P       p1671   Number 9506
4209  P       p1653   String concl  O       o1672   patt_wildcard p1671 p1669
4210  O       o1654   lid p1653  O       o1675   patt_tuple_end p1668 p1669
4211  T       t1654   o1654  O       o1677   patt_in p1659 p1641
4212  B       b1654   t1654  O       o1685   let p1658 p1641
4213  T       t1655   o1653 b1654  P       p1685   Number 9540
4214  B       b1655   t1655  P       p1686   Number 9541
4215  T       t1656   o1651 b1652 b1655  O       o1686   patt_var p1685 p1686
4216  B       b1656   t1656  O       o1687   patt_in p1658 p1641
4217  P       p1656   Number 9437  P       p1687   Number 9922
4218  O       o1656   lid p1656 p1650  O       o1688   let p1687 p1641
4219  T       t1657   o1656 b1188  P       p3664   Number 9909
 B       b1657   t1657  
 T       t1658   o1650 b1656 b1657  
 B       b1658   t1658  
 T       t1659   o1646 b1649 b1658  
 B       b1659   t1659  
 T       t1660   o b1659 b4  
 B       b1660   t1660  
 T       t1661   o1458 b1645 b1660  
 B       b1661   t1661  
 T       t1662   o1457 b1661  
 B       b1662   t1662  
 T       t1663   o1456 b1662  
 B       b1663   t1663  
 T       t1664   o1455 b1663  
 B       b1664   t1664  
 T       t1665   o1454 b1664  
 B       b1665   t1665 z  
 T       t1666   o1453 b1665  
 B       b1666   t1666  
 T       t1667   o1452 b1666  
 B       b1667   t1667  
 P       p1667   Number 9377  
 P       p1668   Number 9396  
 O       o1668   apply p1667 p1668  
 P       p1669   Number 9394  
 O       o1669   apply p1667 p1669  
 P       p1670   Number 9392  
 O       o1670   proj p1667 p1670  
 O       o1671   uid p1667 p1670  
 T       t1671   o1671 b1353  
 B       b1671   t1671  
 P       p1671   Number 9385  
 O       o1672   lid p1671 p1670  
 P       p1672   String nth_hyp  
 O       o1673   lid p1672  
 T       t1673   o1673  
 B       b1673   t1673  
 T       t1674   o1672 b1673  
 B       b1674   t1674  
 T       t1675   o1670 b1671 b1674  
 B       b1675   t1675  
 P       p1675   Number 9393  
 O       o1675   lid p1675 p1669  
 T       t1676   o1675 b1188  
 B       b1676   t1676  
 T       t1677   o1669 b1675 b1676  
 B       b1677   t1677  
 P       p1677   Number 9395  
 O       o1677   lid p1677 p1668  
 T       t1678   o1677 b1360  
 B       b1678   t1678  
 T       t1679   o1668 b1677 b1678  
 B       b1679   t1679  
 T       t1680   o b1679 b4  
 B       b1680   t1680  
 T       t1681   o1450 b1667 b1680  
 B       b1681   t1681  
 T       t1682   o1448 b1681  
 B       b1682   t1682 p  
 T       t1683   o1449 b1682  
 B       b1683   t1683  
 T       t1684   o1446 b1683  
 B       b1684   t1684  
 T       t1685   o1445 b1684  
 B       b1685   t1685  
 T       t1686   o1448 b1685  
 B       b1686   t1686 i  
 T       t1687   o1447 b1686  
 B       b1687   t1687  
 T       t1688   o1446 b1687  
 B       b1688   t1688  
 T       t1689   o1445 b1688  
 B       b1689   t1689  
 T       t1690   o1442 b1445 b1689  
 B       b1690   t1690  
 T       t1691   o b1690 b4  
 B       b1691   t1691  
 T       t1692   o1442 b1691  
 B       b1692   t1692  
 T       t1693   o405 b1692  
 B       b1693   t1693  
 T       t1694   o1441 b1693  
 B       b1694   t1694  
 P       p1694   Number 9904  
 P       p1695   Number 10423  
 O       o1695   location p1694 p1695  
 O       o1696   str_let p1694 p1695  
 P       p1696   Number 9908  
 O       o1697   patt_var p1696 p1695  
 O       o1698   patt_done p1694 p1695  
 T       t1698   o1698  
 B       b1698   t1698 equivFunMemT  
 T       t1699   o1697 b1698  
 B       b1699   t1699  
 O       o1699   fun p1696 p1695  
 O       o1700   patt_if p1696 p1695  
 P       p1700   Number 9921  
 P       p1701   Number 9922  
 O       o1701   patt_var p1700 p1701  
 O       o1702   patt_body p1696 p1695  
 P       p1702   Number 9923  
 P       p1703   Number 9924  
 O       o1703   patt_var p1702 p1703  
 P       p1704   Number 9925  
4220  P       p1705   Number 9926  P       p1705   Number 9926
4221  O       o1705   patt_var p1704 p1705  P       p3679   Number 9927
4222  P       p1706   Number 9932  O       o3680   patt_var p1705 p3679
4223  O       o1706   let p1706 p1695  P       p3682   Number 9929
4224  P       p1707   Number 9936  P       p3683   Number 9930
4225  P       p1708   Number 9940  O       o1689   patt_tuple p1705 p3683
4226  O       o1708   patt_tuple p1707 p1708  O       o1690   patt_tuple_arg p1705 p3683
4227  P       p1709   Number 9937  O       o1691   patt_var p3682 p3683
4228  O       o1709   patt_var p1707 p1709  O       o1692   patt_tuple_end p1705 p3683
4229  O       o1710   patt_tuple_arg p1707 p1708  O       o1693   patt_in p1687 p1641
4230  P       p1710   Number 9939  P       p1693   Number 9969
4231  O       o1711   patt_wildcard p1710 p1708  O       o1694   apply p1693 p1641
4232  O       o1712   patt_tuple_end p1707 p1708  P       p3685   Number 9941
 O       o1713   patt_in p1706 p1695  
 P       p1713   Number 9969  
 O       o1714   let p1713 p1695  
 P       p1714   Number 9973  
 P       p1715   Number 9974  
 O       o1715   patt_var p1714 p1715  
 O       o1716   patt_in p1713 p1695  
 P       p1716   Number 10355  
 O       o1717   let p1716 p1695  
 P       p1717   Number 10359  
 P       p1718   Number 10363  
 O       o1718   patt_tuple p1717 p1718  
 P       p1719   Number 10360  
 O       o1719   patt_var p1717 p1719  
 O       o1720   patt_tuple_arg p1717 p1718  
 P       p1720   Number 10362  
 O       o1721   patt_var p1720 p1718  
 O       o1722   patt_tuple_end p1717 p1718  
 O       o1723   patt_in p1716 p1695  
 P       p1723   Number 10402  
 O       o1724   apply p1723 p1695  
 P       p1724   Number 10421  
 O       o1725   apply p1723 p1724  
 P       p1725   Number 10419  
 O       o1726   apply p1723 p1725  
 P       p1726   Number 10417  
 O       o1727   apply p1723 p1726  
 P       p1727   Number 10415  
 O       o1728   lid p1723 p1727  
4233  O       o1729   lid p1427  O       o1729   lid p1427
4234  T       t1729   o1729  T       t1729   o1729
4235  B       b1729   t1729  B       b1729   t1729
4236  T       t1730   o1728 b1729  P       p3936   Number 9988
4237    O       o1695   apply p1693 p3936
4238    P       p1696   Number 9986
4239    O       o1696   apply p1693 p1696
4240    P       p1697   Number 9984
4241    O       o1697   apply p1693 p1697
4242    P       p1698   Number 9982
4243    O       o1698   lid p1693 p1698
4244    T       t1698   o1698 b1729
4245    B       b1698   t1698
4246    P       p1699   Number 9983
4247    O       o1699   lid p1699 p1697
4248    T       t1699   o1699 b1332
4249    B       b1699   t1699
4250    T       t1700   o1697 b1698 b1699
4251    B       b1700   t1700
4252    P       p1700   Number 9985
4253    O       o1700   lid p1700 p1696
4254    T       t1701   o1700 b1335
4255    B       b1701   t1701
4256    T       t1702   o1696 b1700 b1701
4257    B       b1702   t1702
4258    P       p1702   Number 9987
4259    O       o1702   lid p1702 p3936
4260    T       t1703   o1702 b1252
4261    B       b1703   t1703
4262    T       t1706   o1695 b1702 b1703
4263    B       b1706   t1706
4264    P       p1706   Number 9989
4265    O       o1706   lid p1706 p1641
4266    T       t1709   o1706 b1188
4267    B       b1709   t1709
4268    T       t1710   o1694 b1706 b1709
4269    B       b1710   t1710
4270    T       t1711   o1693 b1710
4271    B       b1711   t1711
4272    T       t1712   o1692 b1711
4273    B       b1712   t1712 k
4274    T       t1713   o1691 b1712
4275    B       b1713   t1713
4276    T       t1714   o1690 b1713
4277    B       b1714   t1714 j
4278    T       t1715   o3680 b1714
4279    B       b1715   t1715
4280    T       t1716   o1689 b1715
4281    B       b1716   t1716
4282    P       p1716   Number 9933
4283    P       p3951   Number 10264
4284    P       p4977   Number 9956
4285    O       o1716   apply p1716 p4977
4286    P       p1717   Number 9954
4287    O       o1717   apply p1716 p1717
4288    P       p1718   Number 9952
4289    O       o1718   proj p1716 p1718
4290    O       o1719   uid p1716 p1718
4291    T       t1719   o1719 b1353
4292    B       b1719   t1719
4293    O       o1720   lid p3685 p1718
4294    T       t1720   o1720 b1355
4295    B       b1720   t1720
4296    T       t1721   o1718 b1719 b1720
4297    B       b1721   t1721
4298    P       p1721   Number 9953
4299    O       o1721   lid p1721 p1717
4300    T       t1722   o1721 b1188
4301    B       b1722   t1722
4302    T       t1723   o1717 b1721 b1722
4303    B       b1723   t1723
4304    P       p1723   Number 9955
4305    O       o1723   lid p1723 p4977
4306    T       t1724   o1723 b1360
4307    B       b1724   t1724
4308    T       t1725   o1716 b1723 b1724
4309    B       b1725   t1725
4310    T       t1726   o b1725 b4
4311    B       b1726   t1726
4312    T       t1727   o1688 b1716 b1726
4313    B       b1727   t1727
4314    T       t1728   o1687 b1727
4315    B       b1728   t1728 t
4316    T       t1730   o1686 b1728
4317  B       b1730   t1730  B       b1730   t1730
4318  P       p1730   Number 10416  P       p1730   Number 9550
4319  O       o1730   lid p1730 p1726  O       o1730   try p1730 p3664
4320  T       t1731   o1730 b1332  O       o1732   patt_if p1730 p3664
4321  B       b1731   t1731  P       p1732   Number 9795
4322  T       t1732   o1727 b1730 b1731  P       p1733   Number 9826
4323  B       b1732   t1732  O       o1733   patt_apply p1732 p1733
4324  P       p1732   Number 10418  P       p1735   Number 9806
4325  O       o1732   lid p1732 p1725  O       o1735   patt_uid p1732 p1735
4326  T       t1733   o1732 b1335  O       o1736   patt_apply_arg p1732 p1733
4327  B       b1733   t1733  P       p1737   Number 9808
4328  T       t1734   o1726 b1732 b1733  O       o1737   patt_string p1737 p1498 p1513
4329  B       b1734   t1734  O       o1738   patt_apply_end p1732 p1733
4330  P       p1734   Number 10420  P       p1738   Number 9825
4331  O       o1734   lid p1734 p1724  O       o1739   patt_wildcard p1456 p1738
4332  T       t1735   o1734 b1252  O       o1740   patt_body p1730 p3664
4333  B       b1735   t1735  P       p1740   Number 9839
4334  T       t1736   o1725 b1734 b1735  O       o1741   apply p1740 p3664
4335  B       b1736   t1736  O       o1742   lid p1740 p1173
4336  P       p1736   Number 10422  T       t1742   o1742 b1519
4337  O       o1736   lid p1736 p1695  B       b1742   t1742
4338  T       t1737   o1736 b1188  P       p1742   Number 9846
4339  B       b1737   t1737  P       p1743   Number 9908
4340  T       t1738   o1724 b1736 b1737  O       o1743   apply p1742 p1743
4341  B       b1738   t1738  P       p1744   Number 9857
4342  T       t1739   o1723 b1738  O       o1744   uid p1742 p1744
4343  B       b1739   t1739  T       t1744   o1744 b1523
 T       t1740   o1722 b1739  
 B       b1740   t1740 k  
 T       t1741   o1721 b1740  
 B       b1741   t1741  
 T       t1742   o1720 b1741  
 B       b1742   t1742 j  
 T       t1743   o1719 b1742  
 B       b1743   t1743  
 T       t1744   o1718 b1743  
4344  B       b1744   t1744  B       b1744   t1744
4345  P       p1744   Number 10366  P       p1745   Number 9859
4346  P       p1745   Number 10389  P       p1746   Number 9873
4347  O       o1745   apply p1744 p1745  O       o1746   string p1745 p1746 p1526
4348  P       p1746   Number 10387  T       t1747   o1746
4349  O       o1746   apply p1744 p1746  B       b1747   t1747
4350  P       p1747   Number 10385  T       t1748   o1743 b1744 b1747
 O       o1747   proj p1744 p1747  
 O       o1748   uid p1744 p1747  
 T       t1748   o1748 b1353  
4351  B       b1748   t1748  B       b1748   t1748
4352  P       p1748   Number 10374  P       p1748   Number 9875
4353  O       o1749   lid p1748 p1747  O       o1748   apply p1748 p1129
4354  T       t1749   o1749 b1355  P       p1750   Number 9886
4355  B       b1749   t1749  O       o1750   uid p1748 p1750
4356  T       t1750   o1747 b1748 b1749  T       t1750   o1750 b1530
4357  B       b1750   t1750  B       b1750   t1750
4358  P       p1750   Number 10386  P       p1751   Number 9888
4359  O       o1750   lid p1750 p1746  O       o1752   string p1751 p1307 p1533
4360  T       t1751   o1750 b1188  T       t1752   o1752
 B       b1751   t1751  
 T       t1752   o1746 b1750 b1751  
4361  B       b1752   t1752  B       b1752   t1752
4362  P       p1752   Number 10388  T       t1753   o1748 b1750 b1752
 O       o1752   lid p1752 p1745  
 T       t1753   o1752 b1360  
4363  B       b1753   t1753  B       b1753   t1753
4364  T       t1754   o1745 b1752 b1753  T       t1754   o1743 b1748 b1753
4365  B       b1754   t1754  B       b1754   t1754
4366  T       t1755   o b1754 b4  T       t1755   o1741 b1742 b1754
4367  B       b1755   t1755  B       b1755   t1755
4368  T       t1756   o1717 b1744 b1755  T       t1756   o1740 b1755
4369  B       b1756   t1756  B       b1756   t1756
4370  T       t1757   o1716 b1756  T       t1757   o1738 b1756
4371  B       b1757   t1757 t  B       b1757   t1757
4372  T       t1758   o1715 b1757  T       t1758   o1739 b1757
4373  B       b1758   t1758  B       b1758   t1758
4374  P       p1758   Number 9983  T       t1769   o1736 b1758
 P       p1759   Number 10342  
 O       o1759   try p1758 p1759  
 O       o1760   patt_if p1758 p1759  
 P       p1760   Number 10228  
 P       p1761   Number 10259  
 O       o1761   patt_apply p1760 p1761  
 P       p1762   Number 10239  
 O       o1762   patt_uid p1760 p1762  
 O       o1763   patt_apply_arg p1760 p1761  
 P       p1763   Number 10241  
 P       p1764   Number 10256  
 O       o1764   patt_string p1763 p1764 p1513  
 O       o1765   patt_apply_end p1760 p1761  
 P       p1765   Number 10257  
 P       p1766   Number 10258  
 O       o1766   patt_wildcard p1765 p1766  
 O       o1767   patt_body p1758 p1759  
 P       p1767   Number 10272  
 O       o1768   apply p1767 p1759  
 P       p1768   Number 10277  
 O       o1769   lid p1767 p1768  
 T       t1769   o1769 b1519  
4375  B       b1769   t1769  B       b1769   t1769
4376  P       p1769   Number 10279  T       t1771   o1738 b1769
 P       p1770   Number 10341  
 O       o1770   apply p1769 p1770  
 P       p1771   Number 10290  
 O       o1771   uid p1769 p1771  
 T       t1771   o1771 b1523  
4377  B       b1771   t1771  B       b1771   t1771
4378  P       p1772   Number 10292  T       t1773   o1737 b1771
 P       p1773   Number 10306  
 O       o1773   string p1772 p1773 p1526  
 T       t1773   o1773  
4379  B       b1773   t1773  B       b1773   t1773
4380  T       t1774   o1770 b1771 b1773  T       t1774   o1736 b1773
4381  B       b1774   t1774  B       b1774   t1774
4382  P       p1774   Number 10308  T       t1776   o1735 b1510 b1774
 P       p1775   Number 10340  
 O       o1775   apply p1774 p1775  
 P       p1776   Number 10319  
 O       o1776   uid p1774 p1776  
 T       t1776   o1776 b1530  
4383  B       b1776   t1776  B       b1776   t1776
4384  P       p1777   Number 10321  T       t1778   o1733 b1776
 P       p1778   Number 10339  
 O       o1778   string p1777 p1778 p1533  
 T       t1778   o1778  
4385  B       b1778   t1778  B       b1778   t1778
4386  T       t1779   o1775 b1776 b1778  T       t1779   o1733 b1778
4387  B       b1779   t1779  B       b1779   t1779
4388  T       t1780   o1770 b1774 b1779  T       t1780   o1732 b1779
4389  B       b1780   t1780  B       b1780   t1780
4390  T       t1781   o1768 b1769 b1780  P       p1780   Number 9563
4391  B       b1781   t1781  P       p1781   Number 9783
4392  T       t1782   o1767 b1781  O       o1781   let p1780 p1781
4393  B       b1782   t1782  P       p1782   Number 9567
4394  T       t1783   o1765 b1782  O       o1782   patt_var p1782 p1665
4395  B       b1783   t1783  O       o1783   patt_in p1780 p1781
4396  T       t1784   o1766 b1783  P       p1783   Number 9621
4397  B       b1784   t1784  O       o1784   match p1783 p1781
4398  T       t1785   o1763 b1784  O       o1785   patt_ifelse p1783 p1781
4399  B       b1785   t1785  P       p1785   Number 9649
4400  T       t1786   o1765 b1785  P       p1786   Number 9655
4401  B       b1786   t1786  O       o1786   patt_apply p1785 p1786
4402  T       t1787   o1764 b1786  O       o1787   patt_uid p1785 p1786
4403  B       b1787   t1787  O       o1788   patt_apply_arg p1785 p1786
4404  T       t1788   o1763 b1787  P       p1788   Number 9650
4405  B       b1788   t1788  P       p1789   Number 9651
4406  T       t1789   o1762 b1510 b1788  O       o1789   patt_var p1788 p1789
4407  B       b1789   t1789  O       o1790   patt_apply_end p1785 p1786
4408  T       t1790   o1761 b1789  P       p1790   Number 9653
4409  B       b1790   t1790  O       o1791   patt_apply p1790 p1786
4410  T       t1791   o1761 b1790  O       o1792   patt_uid p1790 p1786
4411  B       b1791   t1791  O       o1793   patt_apply_arg p1790 p1786
4412  T       t1792   o1760 b1791  P       p1793   Number 9654
4413  B       b1792   t1792  O       o1794   patt_var p1790 p1793
4414  P       p1792   Number 9996  O       o1795   patt_apply_end p1790 p1786
4415  P       p1793   Number 10216  O       o1796   patt_body p1783 p1781
4416  O       o1793   let p1792 p1793  P       p1796   Number 9688
4417  P       p1794   Number 10000  O       o1797   apply p1890 p1796
4418  P       p1795   Number 10001  P       p1797   Number 9686
4419  O       o1795   patt_var p1794 p1795  O       o1798   apply p1890 p1797
4420  O       o1796   patt_in p1792 p1793  P       p1798   Number 9684
4421  P       p1796   Number 10054  O       o1799   apply p1890 p1798
4422  O       o1797   match p1796 p1793  P       p1800   Number 9682
4423  O       o1798   patt_ifelse p1796 p1793  O       o1800   apply p1890 p1800
4424  P       p1798   Number 10082  P       p1801   Number 9680
4425  P       p1799   Number 10088  O       o1801   lid p1890 p1801
4426  O       o1799   patt_apply p1798 p1799  T       t1801   o1801 b1572
4427  O       o1800   patt_uid p1798 p1799  B       b1801   t1801
4428  O       o1801   patt_apply_arg p1798 p1799  P       p1802   Number 9681
4429  P       p1801   Number 10083  O       o1802   lid p1802 p1800
4430  P       p1802   Number 10084  T       t1802   o1802 b600
4431  O       o1802   patt_var p1801 p1802  B       b1802   t1802
4432  O       o1803   patt_apply_end p1798 p1799  T       t1803   o1800 b1801 b1802
4433  P       p1803   Number 10086  B       b1803   t1803
4434  O       o1804   patt_apply p1803 p1799  P       p1803   Number 9683
4435  O       o1805   patt_uid p1803 p1799  O       o1803   lid p1803 p1798
4436  O       o1806   patt_apply_arg p1803 p1799  T       t1804   o1803 b601
4437  P       p1806   Number 10087  B       b1804   t1804
4438  O       o1807   patt_var p1803 p1806  T       t1805   o1799 b1803 b1804
4439  O       o1808   patt_apply_end p1803 p1799  B       b1805   t1805
4440  O       o1809   patt_body p1796 p1793  P       p1805   Number 9685
4441  P       p1809   Number 10092  O       o1805   lid p1805 p1797
4442  P       p1810   Number 10121  T       t1806   o1805 b614
4443  O       o1810   apply p1809 p1810  B       b1806   t1806
4444  P       p1811   Number 10119  T       t1807   o1798 b1805 b1806
4445  O       o1811   apply p1809 p1811  B       b1807   t1807
4446  P       p1812   Number 10117  P       p1807   Number 9687
4447  O       o1812   apply p1809 p1812  O       o1807   lid p1807 p1796
4448  P       p1813   Number 10115  T       t1808   o1807 b1252
4449  O       o1813   apply p1809 p1813  B       b1808   t1808
4450  P       p1814   Number 10113  T       t1809   o1797 b1807 b1808
4451  O       o1814   lid p1809 p1814  B       b1809   t1809
4452  T       t1814   o1814 b1572  T       t1810   o1796 b1809
4453    B       b1810   t1810
4454    T       t1811   o1790 b1810
4455    B       b1811   t1811
4456    T       t1812   o1795 b1811
4457    B       b1812   t1812
4458    T       t1813   o1787 b1565 b1812
4459    B       b1813   t1813
4460    T       t1814   o1793 b1813
4461  B       b1814   t1814  B       b1814   t1814
4462  P       p1815   Number 10114  T       t1815   o1795 b1814
4463  O       o1815   lid p1815 p1813  B       b1815   t1815 r
4464  T       t1815   o1815 b600  T       t1816   o1794 b1815
 B       b1815   t1815  
 T       t1816   o1813 b1814 b1815  
4465  B       b1816   t1816  B       b1816   t1816
4466  P       p1816   Number 10116  T       t1817   o1793 b1816
 O       o1816   lid p1816 p1812  
 T       t1817   o1816 b601  
4467  B       b1817   t1817  B       b1817   t1817
4468  T       t1818   o1812 b1816 b1817  T       t1818   o1792 b1556 b1817
4469  B       b1818   t1818  B       b1818   t1818
4470  P       p1818   Number 10118  T       t1819   o1791 b1818
 O       o1818   lid p1818 p1811  
 T       t1819   o1818 b614  
4471  B       b1819   t1819  B       b1819   t1819
4472  T       t1820   o1811 b1818 b1819  T       t1820   o1791 b1819
4473  B       b1820   t1820  B       b1820   t1820
4474  P       p1820   Number 10120  T       t1821   o1788 b1820
 O       o1820   lid p1820 p1810  
 T       t1821   o1820 b1252  
4475  B       b1821   t1821  B       b1821   t1821
4476  T       t1822   o1810 b1820 b1821  T       t1822   o1790 b1821
4477  B       b1822   t1822  B       b1822   t1822 s
4478  T       t1823   o1809 b1822  T       t1823   o1789 b1822
4479  B       b1823   t1823  B       b1823   t1823
4480  T       t1824   o1803 b1823  T       t1824   o1788 b1823
4481  B       b1824   t1824  B       b1824   t1824
4482  T       t1825   o1808 b1824  T       t1825   o1787 b1556 b1824
4483  B       b1825   t1825  B       b1825   t1825
4484  T       t1826   o1800 b1565 b1825  T       t1826   o1786 b1825
4485  B       b1826   t1826  B       b1826   t1826
4486  T       t1827   o1806 b1826  T       t1827   o1786 b1826
4487  B       b1827   t1827  B       b1827   t1827
4488  T       t1828   o1808 b1827  O       o1827   patt_if p1783 p1781
4489  B       b1828   t1828 r  P       p1827   Number 9704
4490  T       t1829   o1807 b1828  P       p1828   Number 9705
4491  B       b1829   t1829  O       o1828   patt_wildcard p1827 p1828
4492  T       t1830   o1806 b1829  P       p1829   Number 9709
4493    O       o1829   apply p1829 p1781
4494    P       p1830   Number 9714
4495    O       o1830   lid p1829 p1830
4496    T       t1830   o1830 b1519
4497  B       b1830   t1830  B       b1830   t1830
4498  T       t1831   o1805 b1556 b1830  P       p1831   Number 9715
4499  B       b1831   t1831  P       p1832   Number 9782
4500  T       t1832   o1804 b1831  O       o1832   apply p1831 p1832
4501  B       b1832   t1832  P       p1833   Number 9726
4502  T       t1833   o1804 b1832  O       o1833   uid p1831 p1833
4503    T       t1833   o1833 b1523
4504  B       b1833   t1833  B       b1833   t1833
4505  T       t1834   o1801 b1833  P       p1834   Number 9728
4506  B       b1834   t1834  P       p1835   Number 9742
4507  T       t1835   o1803 b1834  O       o1835   string p1834 p1835 p1526
4508  B       b1835   t1835 s  T       t1835   o1835
4509  T       t1836   o1802 b1835  B       b1835   t1835
4510    T       t1836   o1832 b1833 b1835
4511  B       b1836   t1836  B       b1836   t1836
4512  T       t1837   o1801 b1836  P       p1836   Number 9744
4513  B       b1837   t1837  P       p1837   Number 9781
4514  T       t1838   o1800 b1556 b1837  O       o1837   apply p1836 p1837
4515    P       p1838   Number 9755
4516    O       o1838   uid p1836 p1838
4517    T       t1838   o1838 b1530
4518  B       b1838   t1838  B       b1838   t1838
4519  T       t1839   o1799 b1838  P       p1839   Number 9757
4520  B       b1839   t1839  P       p1840   Number 9780
4521  T       t1840   o1799 b1839  O       o1840   string p1839 p1840 p1613
4522    T       t1840   o1840
4523  B       b1840   t1840  B       b1840   t1840
4524  O       o1840   patt_if p1796 p1793  T       t1842   o1837 b1838 b1840
4525  P       p1840   Number 10137  B       b1842   t1842
4526  P       p1841   Number 10138  T       t1843   o1832 b1836 b1842
 O       o1841   patt_wildcard p1840 p1841  
 P       p1842   Number 10142  
 O       o1842   apply p1842 p1793  
 P       p1843   Number 10147  
 O       o1843   lid p1842 p1843  
 T       t1843   o1843 b1519  
4527  B       b1843   t1843  B       b1843   t1843
4528  P       p1844   Number 10148  T       t1844   o1829 b1830 b1843
4529  P       p1845   Number 10215  B       b1844   t1844
4530  O       o1845   apply p1844 p1845  T       t1845   o1796 b1844
4531  P       p1846   Number 10159  B       b1845   t1845
4532  O       o1846   uid p1844 p1846  T       t1846   o1828 b1845
 T       t1846   o1846 b1523  
4533  B       b1846   t1846  B       b1846   t1846
4534  P       p1847   Number 10161  T       t1847   o1827 b1846
4535  P       p1848   Number 10175  B       b1847   t1847
4536  O       o1848   string p1847 p1848 p1526  T       t1848   o1785 b1827 b1847
 T       t1848   o1848  
4537  B       b1848   t1848  B       b1848   t1848
4538  T       t1849   o1845 b1846 b1848  P       p1848   Number 9627
4539    P       p1849   Number 9628
4540    O       o1849   lid p1848 p1849
4541    T       t1849   o1849 b1622
4542  B       b1849   t1849  B       b1849   t1849
4543  P       p1849   Number 10177  T       t1850   o1784 b1848 b1849
4544  P       p1850   Number 10214  B       b1850   t1850
4545  O       o1850   apply p1849 p1850  T       t1851   o1783 b1850
4546  P       p1851   Number 10188  B       b1851   t1851 l
4547  O       o1851   uid p1849 p1851  T       t1852   o1782 b1851
4548  T       t1851   o1851 b1530  B       b1852   t1852
4549  B       b1851   t1851  P       p1852   Number 9571
4550  P       p1852   Number 10190  P       p1853   Number 9605
4551  P       p1853   Number 10213  O       o1853   apply p1852 p1853
4552  O       o1853   string p1852 p1853 p1613  O       o1854   apply p1852 p1567
4553  T       t1853   o1853  O       o1857   proj p1852 p1568
4554  B       b1853   t1853  O       o1858   uid p1852 p1568
4555  T       t1854   o1850 b1851 b1853  T       t1858   o1858 b1353
 B       b1854   t1854  
 T       t1855   o1845 b1849 b1854  
 B       b1855   t1855  
 T       t1856   o1842 b1843 b1855  
 B       b1856   t1856  
 T       t1857   o1809 b1856  
 B       b1857   t1857  
 T       t1858   o1841 b1857  
4556  B       b1858   t1858  B       b1858   t1858
4557  T       t1859   o1840 b1858  P       p1858   Number 9579
4558    O       o1859   lid p1858 p1568
4559    T       t1859   o1859 b1632
4560  B       b1859   t1859  B       b1859   t1859
4561  T       t1860   o1798 b1840 b1859  T       t1860   o1857 b1858 b1859
4562  B       b1860   t1860  B       b1860   t1860
4563  P       p1860   Number 10060  O       o1860   lid p1579 p1567
4564  P       p1861   Number 10061  T       t1861   o1860 b1188
 O       o1861   lid p1860 p1861  
 T       t1861   o1861 b1622  
4565  B       b1861   t1861  B       b1861   t1861
4566  T       t1862   o1797 b1860 b1861  T       t1862   o1854 b1860 b1861
4567  B       b1862   t1862  B       b1862   t1862
4568  T       t1863   o1796 b1862  O       o1862   string p1682 p1853 p1637
4569  B       b1863   t1863 l  T       t1863   o1862
4570  T       t1864   o1795 b1863  B       b1863   t1863
4571    T       t1864   o1853 b1862 b1863
4572  B       b1864   t1864  B       b1864   t1864
4573  P       p1864   Number 10004  T       t1866   o b1864 b4
4574  P       p1865   Number 10038  B       b1866   t1866
4575  O       o1865   apply p1864 p1865  T       t1867   o1781 b1852 b1866
4576  P       p1866   Number 10031  B       b1867   t1867
4577  O       o1866   apply p1864 p1866  T       t1868   o1730 b1780 b1867
 P       p1867   Number 10029  
 O       o1867   proj p1864 p1867  
 O       o1868   uid p1864 p1867  
 T       t1868   o1868 b1353  
4578  B       b1868   t1868  B       b1868   t1868
4579  P       p1868   Number 10012  T       t1869   o b1868 b4
 O       o1869   lid p1868 p1867  
 T       t1869   o1869 b1632  
4580  B       b1869   t1869  B       b1869   t1869
4581  T       t1870   o1867 b1868 b1869  T       t1870   o1685 b1730 b1869
4582  B       b1870   t1870  B       b1870   t1870
4583  P       p1870   Number 10030  T       t1871   o1677 b1870
 O       o1870   lid p1870 p1866  
 T       t1871   o1870 b1188  
4584  B       b1871   t1871  B       b1871   t1871
4585  T       t1872   o1866 b1870 b1871  T       t1872   o1675 b1871
4586  B       b1872   t1872  B       b1872   t1872
4587  P       p1872   Number 10032  T       t1873   o1672 b1872
 O       o1872   string p1872 p1865 p1637  
 T       t1873   o1872  
4588  B       b1873   t1873  B       b1873   t1873
4589  T       t1874   o1865 b1872 b1873  T       t1874   o1671 b1873
4590  B       b1874   t1874  B       b1874   t1874 z
4591  T       t1875   o b1874 b4  T       t1875   o1670 b1874
4592  B       b1875   t1875  B       b1875   t1875
4593  T       t1876   o1793 b1864 b1875  T       t1876   o1669 b1875
4594  B       b1876   t1876  B       b1876   t1876
4595  T       t1877   o1759 b1792 b1876  P       p1876   Number 9510
4596  B       b1877   t1877  P       p1877   Number 9529
4597  T       t1878   o b1877 b4  O       o1877   apply p1876 p1877
4598  B       b1878   t1878  P       p1878   Number 9527
4599  T       t1879   o1714 b1758 b1878  O       o1878   apply p1876 p1878
4600  B       b1879   t1879  P       p1879   Number 9525
4601  T       t1880   o1713 b1879  O       o1879   proj p1876 p1879
4602    O       o1880   uid p1876 p1879
4603    T       t1880   o1880 b1353
4604  B       b1880   t1880  B       b1880   t1880
4605  T       t1881   o1712 b1880  P       p1880   Number 9518
4606    O       o1881   lid p1880 p1879
4607    T       t1881   o1881 b1673
4608  B       b1881   t1881  B       b1881   t1881
4609  T       t1882   o1711 b1881  T       t1882   o1879 b1880 b1881
4610  B       b1882   t1882  B       b1882   t1882
4611  T       t1883   o1710 b1882  P       p1882   Number 9526
4612  B       b1883   t1883 z  O       o1882   lid p1882 p1878
4613  T       t1884   o1709 b1883  T       t1883   o1882 b1188
4614    B       b1883   t1883
4615    T       t1884   o1878 b1882 b1883
4616  B       b1884   t1884  B       b1884   t1884
4617  T       t1885   o1708 b1884  P       p1884   Number 9528
4618    O       o1884   lid p1884 p1877
4619    T       t1885   o1884 b1360
4620  B       b1885   t1885  B       b1885   t1885
4621  P       p1885   Number 9943  T       t1888   o1877 b1884 b1885
4622  P       p1886   Number 9962  B       b1888   t1888
4623  O       o1886   apply p1885 p1886  T       t1889   o b1888 b4
 P       p1887   Number 9960  
 O       o1887   apply p1885 p1887  
 P       p1888   Number 9958  
 O       o1888   proj p1885 p1888  
 O       o1889   uid p1885 p1888  
 T       t1889   o1889 b1353  
4624  B       b1889   t1889  B       b1889   t1889
4625  P       p1889   Number 9951  T       t1890   o1668 b1876 b1889
 O       o1890   lid p1889 p1888  
 T       t1890   o1890 b1673  
4626  B       b1890   t1890  B       b1890   t1890
4627  T       t1891   o1888 b1889 b1890  T       t1891   o1649 b1890
4628  B       b1891   t1891  B       b1891   t1891 p
4629  P       p1891   Number 9959  T       t1892   o1656 b1891
 O       o1891   lid p1891 p1887  
 T       t1892   o1891 b1188  
4630  B       b1892   t1892  B       b1892   t1892
4631  T       t1893   o1887 b1891 b1892  T       t1893   o1646 b1892
4632  B       b1893   t1893  B       b1893   t1893
4633  P       p1893   Number 9961  T       t1894   o1645 b1893
 O       o1893   lid p1893 p1886  
 T       t1894   o1893 b1360  
4634  B       b1894   t1894  B       b1894   t1894
4635  T       t1895   o1886 b1893 b1894  T       t1895   o1649 b1894
4636  B       b1895   t1895  B       b1895   t1895 i
4637  T       t1896   o b1895 b4  T       t1896   o1650 b1895
4638  B       b1896   t1896  B       b1896   t1896
4639  T       t1897   o1706 b1885 b1896  T       t1897   o1646 b1896
4640  B       b1897   t1897  B       b1897   t1897
4641  T       t1898   o1702 b1897  T       t1898   o1645 b1897
4642  B       b1898   t1898 p  B       b1898   t1898
4643  T       t1899   o1705 b1898  T       t1899   o1649 b1898
4644  B       b1899   t1899  B       b1899   t1899 t
4645  T       t1900   o1700 b1899  T       t1900   o1647 b1899
4646  B       b1900   t1900  B       b1900   t1900
4647  T       t1901   o1699 b1900  T       t1901   o1646 b1900
4648  B       b1901   t1901  B       b1901   t1901
4649  T       t1902   o1702 b1901  T       t1902   o1645 b1901
4650  B       b1902   t1902 i  B       b1902   t1902
4651  T       t1903   o1703 b1902  T       t1903   o1642 b1645 b1902
4652  B       b1903   t1903  B       b1903   t1903
4653  T       t1904   o1700 b1903  T       t1904   o b1903 b4
4654  B       b1904   t1904  B       b1904   t1904
4655  T       t1905   o1699 b1904  T       t1905   o1642 b1904
4656  B       b1905   t1905  B       b1905   t1905
4657  T       t1906   o1702 b1905  T       t1906   o405 b1905
4658  B       b1906   t1906 t  B       b1906   t1906
4659  T       t1907   o1701 b1906  T       t1907   o1641 b1906
4660  B       b1907   t1907  B       b1907   t1907
4661  T       t1908   o1700 b1907  P       p1907   Number 9992
4662  B       b1908   t1908  P       p1908   Number 10237
4663  T       t1909   o1699 b1908  O       o1908   location p1907 p1908
 B       b1909   t1909  
 T       t1910   o1696 b1699 b1909  
 B       b1910   t1910  
 T       t1911   o b1910 b4  
 B       b1911   t1911  
 T       t1912   o1696 b1911  
 B       b1912   t1912  
 T       t1913   o405 b1912  
 B       b1913   t1913  
 T       t1914   o1695 b1913  
 B       b1914   t1914  
 P       p1914   Number 10425  
 P       p1915   Number 10670  
 O       o1915   location p1914 p1915  
4664  P       p1916   String equiv_id_fun  P       p1916   String equiv_id_fun
4665  O       o1916   rule p1916  O       o1916   rule p1916
4666  B       b1916   t614 z  B       b1916   t614 z
# Line 4760  Line 4694 
4694  B       b1928   t1927  B       b1928   t1927
4695  T       t1928   o1025 b1928  T       t1928   o1025 b1928
4696  B       b1929   t1928  B       b1929   t1928
4697  P       p1929   Number 10453  P       p1909   Number 10020
4698  P       p1930   Number 10461  P       p1910   Number 10028
4699  O       o1930   resource_defs p1929 p1930 p264  O       o1910   resource_defs p1909 p1910 p264
4700  P       p1931   Number 10459  P       p1911   Number 10026
4701  O       o1931   uid p1931 p1930  O       o1911   uid p1911 p1910
4702  T       t1931   o1931 b1008  T       t1911   o1911 b1008
4703    B       b1911   t1911
4704    T       t1912   o b1911 b4
4705    B       b1912   t1912
4706    T       t1913   o1910 b1912
4707    B       b1913   t1913
4708    T       t1914   o b1913 b4
4709    B       b1914   t1914
4710    T       t1931   o1916 b993 b1921 b1929 b1914
4711  B       b1931   t1931  B       b1931   t1931
4712  T       t1932   o b1931 b4  T       t1932   o1908 b1931
4713  B       b1932   t1932  B       b1932   t1932
4714  T       t1933   o1930 b1932  P       p1932   Number 10239
4715  B       b1933   t1933  P       p1933   Number 10571
4716  T       t1934   o b1933 b4  O       o1933   location p1932 p1933
 B       b1934   t1934  
 T       t1935   o1916 b993 b1921 b1929 b1934  
 B       b1935   t1935  
 T       t1936   o1915 b1935  
 B       b1936   t1936  
 P       p1936   Number 10672  
 P       p1937   Number 11004  
 O       o1937   location p1936 p1937  
4717  P       p1938   String equiv_fun  P       p1938   String equiv_fun
4718  O       o1938   rule p1938  O       o1938   rule p1938
4719  NCzf_itt_eq     Czf_itt_eq      Czf_itt_eq NIL  NCzf_itt_eq     Czf_itt_eq      Czf_itt_eq NIL
# Line 5522  Line 5456 
5456  B       b2254   t2253  B       b2254   t2253
5457  T       t2254   o1025 b2254  T       t2254   o1025 b2254
5458  B       b2255   t2254  B       b2255   t2254
5459  P       p2255   Number 10697  P       p1934   Number 10272
5460  P       p2256   Number 10705  O       o1934   resource_defs p3951 p1934 p264
5461  O       o2256   resource_defs p2255 p2256 p264  P       p1935   Number 10270
5462  P       p2257   Number 10703  O       o1935   uid p1935 p1934
5463  O       o2257   uid p2257 p2256  T       t1935   o1935 b1008
5464  T       t2257   o2257 b1008  B       b1935   t1935
5465  B       b2257   t2257  T       t1936   o b1935 b4
5466  T       t2258   o b2257 b4  B       b1936   t1936
5467  B       b2258   t2258  T       t1952   o1934 b1936
5468  T       t2259   o2256 b2258  B       b2257   t1952
5469  B       b2259   t2259  T       t2257   o b2257 b4
5470  T       t2260   o b2259 b4  B       b2258   t2257
5471  B       b2260   t2260  T       t2258   o1938 b993 b1962 b2255 b2258
5472  T       t2261   o1938 b993 b1962 b2255 b2260  B       b2259   t2258
5473  B       b2261   t2261  T       t2259   o1933 b2259
5474  T       t2262   o1937 b2261  B       b2260   t2259
5475  B       b2262   t2262  P       p2262   Number 10573
5476  P       p2262   Number 11006  P       p2263   Number 10787
 P       p2263   Number 11220  
5477  O       o2263   location p2262 p2263  O       o2263   location p2262 p2263
5478  P       p2264   String equiv_rel_fun  P       p2264   String equiv_rel_fun
5479  O       o2264   rule p2264  O       o2264   rule p2264
# Line 5920  Line 5853 
5853  B       b2420   t2419  B       b2420   t2419
5854  T       t2420   o1025 b2420  T       t2420   o1025 b2420
5855  B       b2421   t2420  B       b2421   t2420
5856  P       p2421   Number 11035  P       p2266   Number 10602
5857  P       p2422   Number 11043  P       p2267   Number 10610
5858  O       o2422   resource_defs p2421 p2422 p264  O       o2267   resource_defs p2266 p2267 p264
5859  P       p2423   Number 11041  P       p2269   Number 10608
5860  O       o2423   uid p2423 p2422  O       o2269   uid p2269 p2267
5861  T       t2423   o2423 b1008  T       t2285   o2269 b1008
5862  B       b2423   t2423  B       b2314   t2285
5863  T       t2424   o b2423 b4  T       t2376   o b2314 b4
5864  B       b2424   t2424  B       b2423   t2376
5865  T       t2425   o2422 b2424  T       t2423   o2267 b2423
5866  B       b2425   t2425  B       b2424   t2423
5867  T       t2426   o b2425 b4  T       t2424   o b2424 b4
5868  B       b2426   t2426  B       b2425   t2424
5869  T       t2427   o2264 b993 b2268 b2421 b2426  T       t2425   o2264 b993 b2268 b2421 b2425
5870  B       b2427   t2427  B       b2426   t2425
5871  T       t2428   o2263 b2427  T       t2426   o2263 b2426
5872  B       b2428   t2428  B       b2427   t2426
5873  P       p2428   Number 11222  P       p2427   Number 10789
5874  P       p2429   Number 11543  P       p2428   Number 11110
5875  O       o2429   location p2428 p2429  O       o2428   location p2427 p2428
5876  P       p2430   String equiv_set_fun1  P       p2430   String equiv_set_fun1
5877  O       o2430   rule p2430  O       o2430   rule p2430
5878  T       t2430   o599 b1952 b1953 b602 b603  T       t2430   o599 b1952 b1953 b602 b603
# Line 5974  Line 5907 
5907  B       b2442   t2442  B       b2442   t2442
5908  T       t2443   o1025 b2442  T       t2443   o1025 b2442
5909  B       b2443   t2443  B       b2443   t2443
5910  P       p2443   Number 11252  P       p2429   Number 10819
5911  P       p2444   Number 11260  P       p2431   Number 10827
5912  O       o2444   resource_defs p2443 p2444 p264  O       o2431   resource_defs p2429 p2431 p264
5913  P       p2445   Number 11258  P       p2432   Number 10825
5914  O       o2445   uid p2445 p2444  O       o2432   uid p2432 p2431
5915  T       t2445   o2445 b1008  T       t2445   o2432 b1008
5916  B       b2445   t2445  B       b2445   t2445
5917  T       t2446   o b2445 b4  T       t2446   o b2445 b4
5918  B       b2446   t2446  B       b2446   t2446
5919  T       t2447   o2444 b2446  T       t2447   o2431 b2446
5920  B       b2447   t2447  B       b2447   t2447
5921  T       t2448   o b2447 b4  T       t2448   o b2447 b4
5922  B       b2448   t2448  B       b2448   t2448
5923  T       t2449   o2430 b993 b2436 b2443 b2448  T       t2449   o2430 b993 b2436 b2443 b2448
5924  B       b2449   t2449  B       b2449   t2449
5925  T       t2450   o2429 b2449  T       t2450   o2428 b2449
5926  B       b2450   t2450  B       b2450   t2450
5927  P       p2450   Number 11545  P       p2450   Number 11112
5928  P       p2451   Number 11913  P       p2451   Number 11480
5929  O       o2451   location p2450 p2451  O       o2451   location p2450 p2451
5930  P       p2452   String equiv_elem_fun1  P       p2452   String equiv_elem_fun1
5931  O       o2452   rule p2452  O       o2452   rule p2452
# Line 6104  Line 6037 
6037  B       b2497   s2496  B       b2497   s2496
6038  T       t2497   o1030 b2497 b2462  T       t2497   o1030 b2497 b2462
6039  B       b2498   t2497  B       b2498   t2497
6040    T       t5039   o1029 b2498 b4 b2489
6041    B       b5039   t5039
6042    T       t5040   o b5039 b4
6043    B       b5040   t5040
6044    T       t5041   o b2494 b5040
6045    B       b5041   t5041
6046    T       t5042   o b2492 b5041
6047    B       b5042   t5042
6048    T       t5043   o1028 b2464 b5042
6049    B       b5043   t5043
6050  T       t2498   o1029 b2498 b1983 b2489  T       t2498   o1029 b2498 b1983 b2489
6051  B       b2499   t2498  B       b2499   t2498
6052  T       t2499   o2 b2499  T       t2499   o2 b2499
# Line 6143  Line 6086 
6086  B       b2513   t2512  B       b2513   t2512
6087  T       t2513   o1029 b2513 b4 b2500  T       t2513   o1029 b2513 b4 b2500
6088  B       b2514   t2513  B       b2514   t2513
 T       t2514   o b2514 b4  
 B       b2515   t2514  
 T       t2515   o b2510 b2515  
 B       b2516   t2515  
 T       t2516   o b2507 b2516  
 B       b2517   t2516  
 T       t2517   o b2504 b2517  
 B       b2518   t2517  
 T       t2518   o b2501 b2518  
 B       b2519   t2518  
 T       t2519   o b2494 b2519  
 B       b2520   t2519  
 T       t2520   o b2492 b2520  
 B       b2521   t2520  
 T       t2521   o1028 b2464 b2521  
 B       b2522   t2521  
6089  T       t2522   o1028 b2492 b4  T       t2522   o1028 b2492 b4
6090  B       b2523   t2522  B       b2523   t2522
6091  T       t2523   o2220 b1027 b2523 b4 b4  T       t2523   o2220 b1027 b2523 b4 b4
# Line 6167  Line 6094 
6094  B       b2525   t2524  B       b2525   t2524
6095  T       t2525   o2220 b1027 b2525 b4 b4  T       t2525   o2220 b1027 b2525 b4 b4
6096  B       b2526   t2525  B       b2526   t2525
6097    P       p5043   String "rwh unfold_equiv 0 thenT rwh unfold_equiv 5 thenT autoT"
6098    O       o5043   ext_rule p5043
6099  T       t2526   o1028 b2501 b4  T       t2526   o1028 b2501 b4
6100  B       b2527   t2526  B       b2527   t2526
6101  T       t2527   o2228 b1027 b2527 b4 b4  T       t2527   o2228 b1027 b2527 b4 b4
# Line 6203  Line 6132 
6132  B       b2540   t2539  B       b2540   t2539
6133  T       t2540   o b2528 b2540  T       t2540   o b2528 b2540
6134  B       b2541   t2540  B       b2541   t2540
 T       t2541   o b2526 b2541  
 B       b2542   t2541  
 T       t2542   o b2524 b2542  
 B       b2543   t2542  
 T       t2543   o2459 b1027 b2522 b2543 b4  
 B       b2544   t2543  
 T       t2544   o1025 b2544  
 B       b2545   t2544  
 P       p2545   Number 11576  
 P       p2546   Number 11584  
 O       o2546   resource_defs p2545 p2546 p264  
 P       p2547   Number 11582  
 O       o2547   uid p2547 p2546  
 T       t2547   o2547 b1008  
 B       b2547   t2547  
 T       t2548   o b2547 b4  
 B       b2548   t2548  
 T       t2549   o2546 b2548  
 B       b2549   t2549  
 T       t2550   o b2549 b4  
 B       b2550   t2550  
 T       t2551   o2452 b993 b2459 b2545 b2550  
 B       b2551   t2551  
 T       t2552   o2451 b2551  
 B       b2552   t2552  
 P       p2552   Number 11915  
 P       p2553   Number 12319  
 O       o2553   location p2552 p2553  
6135  P       p2554   String equiv_elem_fun2  P       p2554   String equiv_elem_fun2
6136  O       o2554   rule p2554  O       o2554   rule p2554
6137  T       t2554   o599 b600 b601 b602 b1952  T       t2554   o599 b600 b601 b602 b1952
# Line 6275  Line 6176 
6176  B       b2572   t2572  B       b2572   t2572
6177  T       t2573   o1025 b2572  T       t2573   o1025 b2572
6178  B       b2573   t2573  B       b2573   t2573
 P       p2573   Number 11946  
 P       p2574   Number 11954  
 O       o2574   resource_defs p2573 p2574 p264  
 P       p2575   Number 11952  
 O       o2575   uid p2575 p2574  
 T       t2575   o2575 b1008  
 B       b2575   t2575  
 T       t2576   o b2575 b4  
 B       b2576   t2576  
 T       t2577   o2574 b2576  
 B       b2577   t2577  
 T       t2578   o b2577 b4  
 B       b2578   t2578  
 T       t2579   o2554 b993 b2562 b2573 b2578  
 B       b2579   t2579  
 T       t2580   o2553 b2579  
 B       b2580   t2580  
 P       p2580   Number 12321  
 P       p2581   Number 12725  
 O       o2581   location p2580 p2581  
6179  P       p2582   String equiv_elem_fun3  P       p2582   String equiv_elem_fun3
6180  O       o2582   rule p2582  O       o2582   rule p2582
6181  T       t2582   o599 b600 b601 b1952 b603  T       t2582   o599 b600 b601 b1952 b603
# Line 6428  Line 6309 
6309  B       b2638   t2637  B       b2638   t2637
6310  T       t2638   o1029 b2638 b4 b2631  T       t2638   o1029 b2638 b4 b2631
6311  B       b2639   t2638  B       b2639   t2638
 T       t2639   o b2639 b4  
 B       b2640   t2639  
 T       t2640   o b2635 b2640  
 B       b2641   t2640  
 T       t2641   o b2632 b2641  
 B       b2642   t2641  
 T       t2642   o b2625 b2642  
 B       b2643   t2642  
 T       t2643   o1028 b2597 b2643  
 B       b2644   t2643  
6312  T       t2644   o1028 b2625 b4  T       t2644   o1028 b2625 b4
6313  B       b2645   t2644  B       b2645   t2644
6314  T       t2645   o2220 b1027 b2645 b4 b4  T       t2645   o2220 b1027 b2645 b4 b4
# Line 6460  Line 6331 
6331  B       b2654   t2653  B       b2654   t2653
6332  T       t2654   o b2648 b2654  T       t2654   o b2648 b2654
6333  B       b2655   t2654  B       b2655   t2654
 T       t2655   o b2646 b2655  
 B       b2656   t2655  
 T       t2656   o2459 b1027 b2644 b2656 b4  
 B       b2657   t2656  
 T       t2657   o1025 b2657  
 B       b2658   t2657  
 P       p2658   Number 12352  
 P       p2659   Number 12360  
 O       o2659   resource_defs p2658 p2659 p264  
 P       p2660   Number 12358  
 O       o2660   uid p2660 p2659  
 T       t2660   o2660 b1008  
 B       b2660   t2660  
 T       t2661   o b2660 b4  
 B       b2661   t2661  
 T       t2662   o2659 b2661  
 B       b2662   t2662  
 T       t2663   o b2662 b4  
 B       b2663   t2663  
 T       t2664   o2582 b993 b2590 b2658 b2663  
 B       b2664   t2664  
 T       t2665   o2581 b2664  
 B       b2665   t2665  
 P       p2665   Number 12727  
 P       p2666   Number 13074  
 O       o2666   location p2665 p2666  
6334  P       p2667   String equiv_elem_fun4  P       p2667   String equiv_elem_fun4
6335  O       o2667   rule p2667  O       o2667   rule p2667
6336  T       t2667   o599 b600 b601 b602 b614  T       t2667   o599 b600 b601 b602 b614
# Line 6524  Line 6369 
6369  B       b2681   t2681  B       b2681   t2681
6370  H       h2681   y_2 t858  H       h2681   y_2 t858
6371  H       h2682   y_1 t859  H       h2682   y_1 t859
6372    H       h5043   y_3 t1974
6373    H       h5044   z_1 t1987
6374    T       t5044   o864 b1973 b600
6375    H       h5045   y t5044
6376    T       t5045   o864 b1987 b600
6377    H       h5046   z_2 t5045
6378    T       t5046   o868 b1973 b1987
6379    B       b5046   t5046
6380    T       t5047   o864 b5046 b601
6381    H       h5047   z t5047
6382    S       s5047   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6383    G       s5047   t2009
6384    B       b5047   s5047
6385    T       t5048   o1030 b5047 b2462
6386    B       b5048   t5048
6387    T       t5049   o857 b2010 b2012
6388    S       s5049   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6389    G       s5049   t5049
6390    B       b5049   s5049
6391    T       t5050   o1030 b5049 b2462
6392    B       b5050   t5050
6393    B       b5051   t5049
6394    T       t5051   o857 b859 b5051
6395    S       s5051   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6396    G       s5051   t5051
6397    B       b5052   s5051
6398    T       t5052   o1030 b5052 b2462
6399    B       b5053   t5052
6400    B       b5054   t5051
6401    T       t5054   o857 b858 b5054
6402    S       s5054   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6403    G       s5054   t5054
6404    B       b5055   s5054
6405    T       t5055   o1030 b5055 b2462
6406    B       b5056   t5055
6407    B       b5057   t5054
6408    B       b5058   t2504
6409    B       b5059   t2507
6410    T       t5059   o857 b5058 b5059
6411    B       b5060   t5059
6412    T       t5060   o857 b5057 b5060
6413    S       s5060   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6414    G       s5060   t5060
6415    B       b5061   s5060
6416    T       t5061   o1030 b5061 b2462
6417    B       b5062   t5061
6418    B       b5063   t5060
6419    B       b5064   t2511
6420    T       t5064   o857 b5063 b5064
6421    S       s5064   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6422    G       s5064   t5064
6423    B       b5065   s5064
6424    T       t5065   o1030 b5065 b2462
6425    B       b5066   t5065
6426    T       t5066   o857 b1984 b1988
6427    H       h5066   z_3 t5066
6428    S       s5066   t1000 h h1968 h1969 h1972 h2681 h2682 h5066 h5045 h5046 h5047
6429    G       s5066   t5064
6430    B       b5067   s5066
6431    T       t5067   o1030 b5067 b2462
6432    B       b5068   t5067
6433    B       b5069   t5066
6434    T       t5069   o857 b859 b5069
6435    H       h5069   z_1 t5069
6436    S       s5069   t1000 h h1968 h1969 h1972 h2681 h5069 h5045 h5046 h5047
6437    G       s5069   t5064
6438    B       b5070   s5069
6439    T       t5070   o1030 b5070 b2462
6440    B       b5071   t5070
6441    B       b5072   t5069
6442    T       t5072   o857 b858 b5072
6443    H       h5072   y_1 t5072
6444    S       s5072   t1000 h h1968 h1969 h1972 h5072 h5045 h5046 h5047
6445    G       s5072   t5064
6446    B       b5073   s5072
6447    T       t5073   o1030 b5073 b2462
6448    B       b5074   t5073
6449    B       b5075   t5044
6450    B       b5076   t5045
6451    T       t5076   o857 b5075 b5076
6452    H       h5076   z_1 t5076
6453    S       s5076   t1000 h h1968 h1969 h1972 h5072 h5076 h5047
6454    G       s5076   t5064
6455    B       b5077   s5076
6456    T       t5077   o1030 b5077 b2462
6457    B       b5078   t5077
6458    B       b5079   t5072
6459    B       b5080   t5076
6460    T       t5080   o857 b5079 b5080
6461    H       h5080   y t5080
6462    S       s5080   t1000 h h1968 h1969 h1972 h5080 h5047
6463    G       s5080   t5064
6464    B       b5081   s5080
6465    T       t5081   o1030 b5081 b2462
6466    B       b5082   t5081
6467    B       b5083   t5080
6468    B       b5084   t5047
6469    T       t5084   o857 b5083 b5084
6470    H       h5084   x_1 t5084
6471    S       s5084   t1000 h h1968 h1969 h1972 h5084
6472    G       s5084   t5064
6473    B       b5085   s5084
6474    T       t5085   o1030 b5085 b2462
6475    B       b5086   t5085
6476    S       s5086   t1000 h h1968 h1969 h1972 h2494
6477    G       s5086   t5064
6478    B       b5087   s5086
6479    T       t5087   o1030 b5087 b2462
6480    B       b5088   t5087
6481    T       t5088   o2 b5039
6482    B       b5089   t5088
6483    T       t5089   o1029 b5088 b4 b5089
6484    B       b5090   t5089
6485    T       t5090   o2 b5090
6486    B       b5091   t5090
6487    T       t5091   o1029 b5086 b4 b5091
6488    B       b5092   t5091
6489    T       t5092   o2 b5092
6490    B       b5093   t5092
6491    T       t5093   o1029 b5082 b4 b5093
6492    B       b5094   t5093
6493    T       t5094   o2 b5094
6494    B       b5095   t5094
6495    T       t5095   o1029 b5078 b4 b5095
6496    B       b5096   t5095
6497    T       t5096   o2 b5096
6498    B       b5097   t5096
6499    T       t5097   o1029 b5074 b4 b5097
6500    B       b5098   t5097
6501    T       t5098   o2 b5098
6502    B       b5099   t5098
6503    T       t5099   o1029 b5071 b4 b5099
6504    B       b5100   t5099
6505    T       t5100   o2 b5100
6506    B       b5101   t5100
6507    T       t5101   o1029 b5068 b4 b5101
6508    B       b5102   t5101
6509    T       t5102   o2 b5102
6510    B       b5103   t5102
6511    T       t5103   o1029 b5066 b1983 b5103
6512    B       b5104   t5103
6513    T       t5104   o2 b5104
6514    B       b5105   t5104
6515    T       t5105   o1029 b5062 b1983 b5105
6516    B       b5106   t5105
6517    T       t5106   o2 b5106
6518    B       b5107   t5106
6519    T       t5107   o1029 b5056 b1983 b5107
6520    B       b5108   t5107
6521    T       t5108   o2 b5108
6522    B       b5109   t5108
6523    T       t5109   o1029 b5053 b1983 b5109
6524    B       b5110   t5109
6525    T       t5110   o2 b5110
6526    B       b5111   t5110
6527    T       t5111   o1029 b5050 b1983 b5111
6528    B       b5112   t5111
6529    T       t5112   o2 b5112
6530    B       b5113   t5112
6531    T       t5113   o1029 b5048 b4 b5113
6532    B       b5114   t5113
6533    S       s5114   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6534    G       s5114   t2011
6535    B       b5115   s5114
6536    T       t5115   o1030 b5115 b2462
6537    B       b5116   t5115
6538    T       t5116   o1029 b5116 b4 b5113
6539    B       b5117   t5116
6540    S       s5117   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6541    G       s5117   t2504
6542    B       b5118   s5117
6543    T       t5118   o1030 b5118 b2462
6544    B       b5119   t5118
6545    S       s5119   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6546    G       s5119   t5059
6547    B       b5120   s5119
6548    T       t5120   o1030 b5120 b2462
6549    B       b5121   t5120
6550    T       t5121   o1029 b5121 b1983 b5107
6551    B       b5122   t5121
6552    T       t5122   o2 b5122
6553    B       b5123   t5122
6554    T       t5123   o1029 b5119 b4 b5123
6555    B       b5124   t5123
6556    S       s5124   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6557    G       s5124   t2507
6558    B       b5125   s5124
6559    T       t5125   o1030 b5125 b2462
6560    B       b5126   t5125
6561    T       t5126   o1029 b5126 b4 b5123
6562    B       b5127   t5126
6563    S       s5127   t1000 h h1968 h1969 h1972 h2681 h2682 h5043 h5044 h5045 h5046 h5047
6564    G       s5127   t2511
6565    B       b5128   s5127
6566    T       t5128   o1030 b5128 b2462
6567    B       b5129   t5128
6568    T       t5129   o1029 b5129 b4 b5105
6569    B       b5130   t5129
6570    T       t5130   o b5130 b4
6571    B       b5131   t5130
6572    T       t5131   o b5127 b5131
6573    B       b5132   t5131
6574    T       t5132   o b5124 b5132
6575    B       b5133   t5132
6576    T       t5133   o b5117 b5133
6577    B       b5134   t5133
6578    T       t5134   o b5114 b5134
6579    B       b5135   t5134
6580    T       t5135   o1028 b5039 b5135
6581    B       b5136   t5135
6582    T       t5136   o1028 b5114 b4
6583    B       b5137   t5136
6584    T       t5137   o2228 b1027 b5137 b4 b4
6585    B       b5138   t5137
6586    T       t5138   o1028 b5117 b4
6587    B       b5139   t5138
6588    T       t5139   o2228 b1027 b5139 b4 b4
6589    B       b5140   t5139
6590    P       p5140   String "setSubstT << equal{'s1; 's2} >> 9 ttca"
6591    O       o5140   ext_rule p5140
6592    T       t5140   o1028 b5124 b4
6593    B       b5141   t5140
6594    T       t5141   o5140 b1027 b5141 b4 b4
6595    B       b5142   t5141
6596    P       p5142   String "setSubstT << equal{'s1; 's2} >> 10 ttca"
6597    O       o5142   ext_rule p5142
6598    T       t5142   o1028 b5127 b4
6599    B       b5143   t5142
6600    T       t5143   o5142 b1027 b5143 b4 b4
6601    B       b5144   t5143
6602    P       p5144   String "setSubstT << equal{'s1; 's2} >> 11 ttca"
6603    O       o5144   ext_rule p5144
6604    T       t5144   o1028 b5130 b4
6605    B       b5145   t5144
6606    T       t5145   o5144 b1027 b5145 b4 b4
6607    B       b5146   t5145
6608    T       t5146   o b5146 b4
6609    B       b5147   t5146
6610    T       t5147   o b5144 b5147
6611    B       b5148   t5147
6612    T       t5148   o b5142 b5148
6613    B       b5149   t5148
6614    T       t5149   o b5140 b5149
6615    B       b5150   t5149
6616    T       t5150   o b5138 b5150
6617    B       b5151   t5150
6618    T       t5151   o5043 b1027 b5136 b5151 b4
6619    B       b5152   t5151
6620    T       t5152   o b5152 b4
6621    B       b5153   t5152
6622    T       t5153   o b2526 b5153
6623    B       b5154   t5153
6624    T       t5154   o b2524 b5154
6625    B       b5155   t5154
6626    T       t5155   o2459 b1027 b5043 b5155 b2541
6627    B       b5156   t5155
6628    T       t5156   o1025 b5156
6629    B       b5157   t5156
6630    P       p2453   Number 11143
6631    P       p2454   Number 11151
6632    O       o2454   resource_defs p2453 p2454 p264
6633    P       p2455   Number 11149
6634    O       o2455   uid p2455 p2454
6635    T       t2477   o2455 b1008
6636    B       b2515   t2477
6637    T       t2515   o b2515 b4
6638    B       b2516   t2515
6639    T       t2516   o2454 b2516
6640    B       b2517   t2516
6641    T       t2517   o b2517 b4
6642    B       b2518   t2517
6643    T       t2518   o2452 b993 b2459 b5157 b2518
6644    B       b2519   t2518
6645    T       t2519   o2451 b2519
6646    B       b2520   t2519
6647    P       p2520   Number 11482
6648    P       p2521   Number 11886
6649    O       o2521   location p2520 p2521
6650    P       p2522   Number 11513
6651    P       p2523   Number 11521
6652    O       o2523   resource_defs p2522 p2523 p264
6653    P       p2524   Number 11519
6654    O       o2524   uid p2524 p2523
6655    T       t2541   o2524 b1008
6656    B       b2542   t2541
6657    T       t2542   o b2542 b4
6658    B       b2543   t2542
6659    T       t2543   o2523 b2543
6660    B       b2544   t2543
6661    T       t2544   o b2544 b4
6662    B       b2545   t2544
6663    T       t2545   o2554 b993 b2562 b2573 b2545
6664    B       b2547   t2545
6665    T       t2547   o2521 b2547
6666    B       b2548   t2547
6667    P       p2548   Number 11888
6668    P       p2549   Number 12292
6669    O       o2549   location p2548 p2549
6670    T       t5174   o1029 b2629 b4 b2622
6671    B       b5174   t5174
6672    T       t5175   o b5174 b4
6673    B       b5175   t5175
6674    T       t5176   o b2625 b5175
6675    B       b5176   t5176
6676    T       t5177   o1028 b2597 b5176
6677    B       b5177   t5177
6678  H       h2683   y_3 t860  H       h2683   y_3 t860
6679  T       t2683   o858 b1970  T       t2683   o858 b1970
6680  H       h2684   z_1 t2683  H       h2684   z_1 t2683
# Line 6757  Line 6908 
6908  B       b2783   t2782  B       b2783   t2782
6909  T       t2783   o1029 b2755 b4 b2783  T       t2783   o1029 b2755 b4 b2783
6910  B       b2784   t2783  B       b2784   t2783
 T       t2784   o b2784 b4  
 B       b2785   t2784  
 T       t2785   o b2752 b2785  
 B       b2786   t2785  
 T       t2786   o1028 b2681 b2786  
 B       b2787   t2786  
6911  T       t2787   o1028 b2752 b4  T       t2787   o1028 b2752 b4
6912  B       b2788   t2787  B       b2788   t2787
6913  T       t2788   o2238 b1027 b2788 b4 b4  T       t2788   o2238 b1027 b2788 b4 b4
# Line 6775  Line 6920 
6920  B       b2792   t2791  B       b2792   t2791
6921  T       t2792   o b2789 b2792  T       t2792   o b2789 b2792
6922  B       b2793   t2792  B       b2793   t2792
 T       t2793   o2674 b1027 b2787 b2793 b4  
 B       b2794   t2793  
 T       t2794   o1025 b2794  
 B       b2795   t2794  
 P       p2795   Number 12758  
 P       p2796   Number 12766  
 O       o2796   resource_defs p2795 p2796 p264  
 P       p2797   Number 12764  
 O       o2797   uid p2797 p2796  
 T       t2797   o2797 b1008  
 B       b2797   t2797  
 T       t2798   o b2797 b4  
 B       b2798   t2798  
 T       t2799   o2796 b2798  
 B       b2799   t2799  
 T       t2800   o b2799 b4  
 B       b2800   t2800  
 T       t2801   o2667 b993 b2674 b2795 b2800  
 B       b2801   t2801  
 T       t2802   o2666 b2801  
 B       b2802   t2802  
 P       p2802   Number 13076  
 P       p2803   Number 13423  
 O       o2803   location p2802 p2803  
6923  P       p2804   String equiv_elem_fun5  P       p2804   String equiv_elem_fun5
6924  O       o2804   rule p2804  O       o2804   rule p2804
6925  T       t2804   o599 b600 b601 b614 b603  T       t2804   o599 b600 b601 b614 b603
# Line 6839  Line 6960 
6960  B       b2820   t2820  B       b2820   t2820
6961  T       t2821   o1025 b2820  T       t2821   o1025 b2820
6962  B       b2821   t2821  B       b2821   t2821
 P       p2821   Number 13107  
 P       p2822   Number 13115  
 O       o2822   resource_defs p2821 p2822 p264  
 P       p2823   Number 13113  
 O       o2823   uid p2823 p2822  
 T       t2823   o2823 b1008  
 B       b2823   t2823  
 T       t2824   o b2823 b4  
 B       b2824   t2824  
 T       t2825   o2822 b2824  
 B       b2825   t2825  
 T       t2826   o b2825 b4  
 B       b2826   t2826  
 T       t2827   o2804 b993 b2811 b2821 b2826  
 B       b2827   t2827  
 T       t2828   o2803 b2827  
 B       b2828   t2828  
 P       p2828   Number 13425  
 P       p2829   Number 13841  
 O       o2829   location p2828 p2829  
6963  P       p2830   String equiv_elem_equiv_fun1  P       p2830   String equiv_elem_equiv_fun1
6964  O       o2830   rule p2830  O       o2830   rule p2830
6965  T       t2830   o612 b600 b601 b1940  T       t2830   o612 b600 b601 b1940
# Line 7228  Line 7329 
7329  B       b2984   t2983  B       b2984   t2983
7330  T       t2984   o1029 b2984 b4 b2980  T       t2984   o1029 b2984 b4 b2980
7331  B       b2985   t2984  B       b2985   t2984
 T       t2985   o b2985 b4  
 B       b2986   t2985  
 T       t2986   o b2982 b2986  
 B       b2987   t2986  
 T       t2987   o b2981 b2987  
 B       b2988   t2987  
 T       t2988   o1028 b2957 b2988  
 B       b2989   t2988  
7332  T       t2989   o1028 b2981 b4  T       t2989   o1028 b2981 b4
7333  B       b2990   t2989  B       b2990   t2989
7334  T       t2990   o2971 b1027 b2990 b4 b4  T       t2990   o2971 b1027 b2990 b4 b4
# Line 7250  Line 7343 
7343  B       b2994   t2993  B       b2994   t2993
7344  T       t2994   o2993 b1027 b2994 b4 b4  T       t2994   o2993 b1027 b2994 b4 b4
7345  B       b2995   t2994  B       b2995   t2994
 T       t2995   o b2995 b4  
 B       b2996   t2995  
 T       t2996   o b2993 b2996  
 B       b2997   t2996  
 T       t2997   o b2991 b2997  
 B       b2998   t2997  
 T       t2998   o2979 b1027 b2989 b2998 b4  
 B       b2999   t2998  
7346  P       p2999   String "rwh unfold_equiv_fun_set 3 ttca thenT withT << 'a >> (dT 3) ttca thenT withT << 'b >> (dT 8) ttca thenT dT 8 ttca thenT dT 8 ttca"  P       p2999   String "rwh unfold_equiv_fun_set 3 ttca thenT withT << 'a >> (dT 3) ttca thenT withT << 'b >> (dT 8) ttca thenT dT 8 ttca thenT dT 8 ttca"
7347  O       o2999   ext_rule p2999  O       o2999   ext_rule p2999
7348  T       t2999   o1028 b2964 b4  T       t2999   o1028 b2964 b4
# Line 7266  Line 7351 
7351  B       b3001   t3000  B       b3001   t3000
7352  T       t3001   o b3001 b4  T       t3001   o b3001 b4
7353  B       b3002   t3001  B       b3002   t3001
 T       t3002   o b2999 b3002  
 B       b3003   t3002  
 T       t3003   o b2979 b3003  
 B       b3004   t3003  
 T       t3004   o b2977 b3004  
 B       b3005   t3004  
 T       t3005   o b2975 b3005  
 B       b3006   t3005  
 T       t3006   o b2973 b3006  
 B       b3007   t3006  
 T       t3007   o2910 b1027 b2971 b3007 b4  
 B       b3008   t3007  
 T       t3008   o b3008 b4  
 B       b3009   t3008  
 T       t3009   o b2910 b3009  
 B       b3010   t3009  
 T       t3010   o b2908 b3010  
 B       b3011   t3010  
 T       t3011   o2840 b1027 b2906 b3011 b4  
 B       b3012   t3011  
 T       t3012   o1025 b3012  
 B       b3013   t3012  
 P       p3013   Number 13462  
 P       p3014   Number 13470  
 O       o3014   resource_defs p3013 p3014 p264  
 P       p3015   Number 13468  
 O       o3015   uid p3015 p3014  
 T       t3015   o3015 b1008  
 B       b3015   t3015  
 T       t3016   o b3015 b4  
 B       b3016   t3016  
 T       t3017   o3014 b3016  
 B       b3017   t3017  
 T       t3018   o b3017 b4  
 B       b3018   t3018  
 T       t3019   o2830 b993 b2840 b3013 b3018  
 B       b3019   t3019  
 T       t3020   o2829 b3019  
 B       b3020   t3020  
7354  O       o3020   location p p  O       o3020   location p p
7355  P       p3020   String equiv_elem_equiv_fun2  P       p3020   String equiv_elem_equiv_fun2
7356  O       o3021   rule p3020  O       o3021   rule p3020
# Line 7320  Line 7366 
7366  B       b3024   t3024  B       b3024   t3024
7367  T       t3025   o993 b1054 b3024  T       t3025   o993 b1054 b3024
7368  B       b3025   t3025  B       b3025   t3025
 T       t3026   o993 b1017 b3025  
 B       b3026   t3026  
 T       t3027   o993 b999 b3026  
 B       b3027   t3027  
 T       t3028   o993 b997 b3027  
 B       b3028   t3028  
7369  P       p3028   String "autoT thenT rwh unfold_equiv_fun_set 0 thenT autoT"  P       p3028   String "autoT thenT rwh unfold_equiv_fun_set 0 thenT autoT"
7370  O       o3028   ext_rule p3028  O       o3028   ext_rule p3028
7371  T       t3029   o b2830 b4  T       t3029   o b2830 b4
# Line 7350  Line 7390 
7390  B       b3038   t3038  B       b3038   t3038
7391  T       t3039   o1025 b3038  T       t3039   o1025 b3038
7392  B       b3039   t3039  B       b3039   t3039
 P       p3039   Number 13880  
 P       p3040   Number 13888  
 O       o3040   resource_defs p3039 p3040 p264  
 P       p3041   Number 13886  
 O       o3041   uid p3041 p3040  
 T       t3041   o3041 b1008  
 B       b3041   t3041  
 T       t3042   o b3041 b4  
 B       b3042   t3042  
 T       t3043   o3040 b3042  
 B       b3043   t3043  
 T       t3044   o b3043 b4  
 B       b3044   t3044  
 T       t3045   o3021 b993 b3028 b3039 b3044  
 B       b3045   t3045  
 T       t3046   o3020 b3045  
 B       b3046   t3046  
7393  P       p3046   String equiv_elem_equiv_fun3  P       p3046   String equiv_elem_equiv_fun3
7394  O       o3046   rule p3046  O       o3046   rule p3046
7395  T       t3047   o621 b600 b601 b2582  T       t3047   o621 b600 b601 b2582
# Line 7381  Line 7404 
7404  B       b3050   t3050  B       b3050   t3050
7405  T       t3051   o993 b1056 b3050  T       t3051   o993 b1056 b3050
7406  B       b3051   t3051  B       b3051   t3051
 T       t3052   o993 b1019 b3051  
 B       b3052   t3052  
 T       t3053   o993 b999 b3052  
 B       b3053   t3053  
 T       t3054   o993 b997 b3053  
 B       b3054   t3054  
7407  P       p3054   String "rwh unfold_equiv_fun_prop 0 thenT autoT"  P       p3054   String "rwh unfold_equiv_fun_prop 0 thenT autoT"
7408  O       o3054   ext_rule p3054  O       o3054   ext_rule p3054
7409  T       t3055   o b1055 b3030  T       t3055   o b1055 b3030
# Line 7524  Line 7541 
7541  B       b3110   t3109  B       b3110   t3109
7542  T       t3110   o1029 b3110 b4 b3103  T       t3110   o1029 b3110 b4 b3103
7543  B       b3111   t3110  B       b3111   t3110
 T       t3111   o b3111 b4  
 B       b3112   t3111  
 T       t3112   o b3107 b3112  
 B       b3113   t3112  
 T       t3113   o b3104 b3113  
 B       b3114   t3113  
 T       t3114   o b3097 b3114  
 B       b3115   t3114  
 T       t3115   o1028 b3060 b3115  
 B       b3116   t3115  
7544  P       p3116   String "withTermsT [<< 's >>; << 'r >>] (equivFunSetT 2) thenT autoT thenT rwh unfold_equiv 5 ttca"  P       p3116   String "withTermsT [<< 's >>; << 'r >>] (equivFunSetT 2) thenT autoT thenT rwh unfold_equiv 5 ttca"
7545  O       o3116   ext_rule p3116  O       o3116   ext_rule p3116
7546  T       t3116   o1028 b3097 b4  T       t3116   o1028 b3097 b4
# Line 7691  Line 7698 
7698  B       b3182   t3181  B       b3182   t3181
7699  T       t3182   o b3120 b3182  T       t3182   o b3120 b3182
7700  B       b3183   t3182  B       b3183   t3182
 T       t3183   o b3118 b3183  
 B       b3184   t3183  
 T       t3184   o3054 b1027 b3116 b3184 b4  
 B       b3185   t3184  
 T       t3185   o1025 b3185  
 B       b3186   t3185  
 P       p3186   Number 14320  
 P       p3187   Number 14328  
 O       o3187   resource_defs p3186 p3187 p264  
 P       p3188   Number 14326  
 O       o3188   uid p3188 p3187  
 T       t3188   o3188 b1008  
 B       b3188   t3188  
 T       t3189   o b3188 b4  
 B       b3189   t3189  
 T       t3190   o3187 b3189  
 B       b3190   t3190  
 T       t3191   o b3190 b4  
 B       b3191   t3191  
 T       t3192   o3046 b993 b3054 b3186 b3191  
 B       b3192   t3192  
 T       t3193   o3020 b3192  
 B       b3193   t3193  
7701  P       p3193   String equiv_elem_equiv_fun4  P       p3193   String equiv_elem_equiv_fun4
7702  O       o3193   rule p3193  O       o3193   rule p3193
7703  T       t3194   o621 b600 b601 b2667  T       t3194   o621 b600 b601 b2667
# Line 7726  Line 7710 
7710  B       b3196   t3196  B       b3196   t3196
7711  T       t3197   o993 b1054 b3196  T       t3197   o993 b1054 b3196
7712  B       b3197   t3197  B       b3197   t3197
 T       t3198   o993 b1017 b3197  
 B       b3198   t3198  
 T       t3199   o993 b999 b3198  
 B       b3199   t3199  
 T       t3200   o993 b997 b3199  
 B       b3200   t3200  
7713  P       p3200   String "rwh unfold_equiv_fun_prop 0 thenT autoT thenT rwh unfold_equiv 5 ttca thenT rwh fold_equiv 5"  P       p3200   String "rwh unfold_equiv_fun_prop 0 thenT autoT thenT rwh unfold_equiv 5 ttca thenT rwh fold_equiv 5"
7714  O       o3200   ext_rule p3200  O       o3200   ext_rule p3200
7715  T       t3201   o b1053 b1922  T       t3201   o b1053 b1922
# Line 7862  Line 7840 
7840  B       b3256   t3255  B       b3256   t3255
7841  T       t3256   o1029 b3210 b4 b3256  T       t3256   o1029 b3210 b4 b3256
7842  B       b3257   t3256  B       b3257   t3256
 T       t3257   o b3257 b4  
 B       b3258   t3257  
 T       t3258   o1028 b3206 b3258  
 B       b3259   t3258  
7843  P       p3259   String "assertT << equiv{'s; 'r; 'a; 'b} >> ttca"  P       p3259   String "assertT << equiv{'s; 'r; 'a; 'b} >> ttca"
7844  O       o3259   ext_rule p3259  O       o3259   ext_rule p3259
7845  T       t3259   o2 b3257  T       t3259   o2 b3257
# Line 7904  Line 7878 
7878  B       b3274   t3273  B       b3274   t3273
7879  T       t3274   o b3274 b4  T       t3274   o b3274 b4
7880  B       b3275   t3274  B       b3275   t3274
 T       t3275   o3200 b1027 b3259 b3275 b4  
 B       b3276   t3275  
 T       t3276   o1025 b3276  
 B       b3277   t3276  
 P       p3277   Number 14760  
 P       p3278   Number 14768  
 O       o3278   resource_defs p3277 p3278 p264  
 P       p3279   Number 14766  
 O       o3279   uid p3279 p3278  
 T       t3279   o3279 b1008  
 B       b3279   t3279  
 T       t3280   o b3279 b4  
 B       b3280   t3280  
 T       t3281   o3278 b3280  
 B       b3281   t3281  
 T       t3282   o b3281 b4  
 B       b3282   t3282  
 T       t3283   o3193 b993 b3200 b3277 b3282  
 B       b3283   t3283  
 T       t3284   o3020 b3283  
 B       b3284   t3284  
7881  P       p3284   String equiv_elem_equiv_fun5  P       p3284   String equiv_elem_equiv_fun5
7882  O       o3284   rule p3284  O       o3284   rule p3284
7883  T       t3285   o621 b600 b601 b2804  T       t3285   o621 b600 b601 b2804
# Line 7937  Line 7890 
7890  B       b3287   t3287  B       b3287   t3287
7891  T       t3288   o993 b1056 b3287  T       t3288   o993 b1056 b3287
7892  B       b3288   t3288  B       b3288   t3288
 T       t3289   o993 b1019 b3288  
 B       b3289   t3289  
 T       t3290   o993 b999 b3289  
 B       b3290   t3290  
 T       t3291   o993 b997 b3290  
 B       b3291   t3291  
7893  T       t3292   o b1055 b1922  T       t3292   o b1055 b1922
7894  B       b3292   t3292  B       b3292   t3292
7895  T       t3293   o b1018 b3292  T       t3293   o b1018 b3292
# Line 7961  Line 7908 
7908  B       b3299   t3299  B       b3299   t3299
7909  T       t3300   o1025 b3299  T       t3300   o1025 b3299
7910  B       b3300   t3300  B       b3300   t3300
 P       p3300   Number 15129  
 P       p3301   Number 15137  
 O       o3301   resource_defs p3300 p3301 p264  
 P       p3302   Number 15135  
 O       o3302   uid p3302 p3301  
 T       t3302   o3302 b1008  
 B       b3302   t3302  
 T       t3303   o b3302 b4  
 B       b3303   t3303  
 T       t3304   o3301 b3303  
 B       b3304   t3304  
 T       t3305   o b3304 b4  
 B       b3305   t3305  
 T       t3306   o3284 b993 b3291 b3300 b3305  
 B       b3306   t3306  
 T       t3307   o3020 b3306  
 B       b3307   t3307  
7911  P       p3307   String equiv_hyp_subst  P       p3307   String equiv_hyp_subst
7912  O       o3307   rule p3307  O       o3307   rule p3307
7913  T       t3308   o1148 b600  T       t3308   o1148 b600
# Line 8233  Line 8163 
8163  B       b3412   t3411  B       b3412   t3411
8164  T       t3412   o3307 b3324 b3338 b3412 b4  T       t3412   o3307 b3324 b3338 b3412 b4
8165  B       b3413   t3412  B       b3413   t3412
 T       t3413   o3020 b3413  
 B       b3414   t3413  
8166  P       p3414   String equiv_concl_subst  P       p3414   String equiv_concl_subst
8167  O       o3414   rule p3414  O       o3414   rule p3414
8168  T       t3414   o1290 b3312  T       t3414   o1290 b3312
# Line 8504  Line 8432 
8432  B       b3529   t3528  B       b3529   t3528
8433  T       t3529   o3414 b3423 b3436 b3529 b4  T       t3529   o3414 b3423 b3436 b3529 b4
8434  B       b3530   t3529  B       b3530   t3529
 T       t3530   o3020 b3530  
 B       b3531   t3530  
 P       p3531   Number 16199  
 P       p3532   Number 16705  
 O       o3532   location p3531 p3532  
 O       o3533   str_let p3531 p3532  
 P       p3533   Number 16203  
 O       o3534   patt_var p3533 p3532  
 O       o3535   patt_done p3531 p3532  
 T       t3535   o3535  
 B       b3535   t3535 equivConclSubstT  
 T       t3536   o3534 b3535  
 B       b3536   t3536  
 O       o3536   fun p3533 p3532  
 O       o3537   patt_if p3533 p3532  
 P       p3537   Number 16220  
 P       p3538   Number 16221  
 O       o3538   patt_var p3537 p3538  
 O       o3539   patt_body p3533 p3532  
 P       p3539   Number 16222  
 P       p3540   Number 16223  
 O       o3540   patt_var p3539 p3540  
 P       p3541   Number 16229  
 O       o3541   let p3541 p3532  
 P       p3542   Number 16233  
 P       p3543   Number 16245  
 O       o3543   patt_tuple p3542 p3543  
 P       p3544   Number 16234  
 O       o3544   patt_var p3542 p3544  
 O       o3545   patt_tuple_arg p3542 p3543  
 P       p3545   Number 16236  
 P       p3546   Number 16237  
 O       o3546   patt_var p3545 p3546  
 P       p3547   Number 16239  
 P       p3548   Number 16241  
 O       o3548   patt_var p3547 p3548  
 P       p3549   Number 16243  
 O       o3549   patt_var p3549 p3543  
 O       o3550   patt_tuple_end p3542 p3543  
 O       o3551   patt_in p3541 p3532  
 P       p3551   Number 16267  
 O       o3552   let p3551 p3532  
 P       p3552   Number 16271  
 P       p3553   Number 16275  
 O       o3553   patt_var p3552 p3553  
 O       o3554   patt_in p3551 p3532  
 P       p3554   Number 16300  
 O       o3555   let p3554 p3532  
 P       p3555   Number 16304  
 P       p3556   Number 16308  
 O       o3556   patt_var p3555 p3556  
 O       o3557   patt_in p3554 p3532  
 P       p3557   Number 16652  
 O       o3558   apply p3557 p3532  
8435  P       p3558   Number 16703  P       p3558   Number 16703
 O       o3559   apply p3557 p3558  
 P       p3559   Number 16698  
 O       o3560   apply p3557 p3559  
8436  P       p3560   Number 16695  P       p3560   Number 16695
 O       o3561   apply p3557 p3560  
 P       p3561   Number 16692  
 O       o3562   apply p3557 p3561  
 P       p3562   Number 16690  
 O       o3563   apply p3557 p3562  
 P       p3563   Number 16688  
 O       o3564   apply p3557 p3563  
 P       p3564   Number 16669  
 O       o3565   lid p3557 p3564  
8437  O       o3566   lid p3414  O       o3566   lid p3414
8438  T       t3566   o3566  T       t3566   o3566
8439  B       b3566   t3566  B       b3566   t3566
 T       t3567   o3565 b3566  
 B       b3567   t3567  
 P       p3567   Number 16671  
 P       p3568   Number 16687  
 O       o3568   apply p3567 p3568  
 P       p3569   Number 16685  
 O       o3569   lid p3567 p3569  
 T       t3569   o3569 b1186  
 B       b3569   t3569  
 P       p3570   Number 16686  
 O       o3570   lid p3570 p3568  
 T       t3570   o3570 b1188  
 B       b3570   t3570  
 T       t3571   o3568 b3569 b3570  
 B       b3571   t3571  
 T       t3572   o3564 b3567 b3571  
 B       b3572   t3572  
 P       p3572   Number 16689  
 O       o3572   lid p3572 p3562  
 T       t3573   o3572 b600  
 B       b3573   t3573  
 T       t3574   o3563 b3572 b3573  
 B       b3574   t3574  
 P       p3574   Number 16691  
 O       o3574   lid p3574 p3561  
 T       t3575   o3574 b601  
 B       b3575   t3575  
 T       t3576   o3562 b3574 b3575  
 B       b3576   t3576  
 P       p3576   Number 16693  
 O       o3576   lid p3576 p3560  
 T       t3577   o3576 b1970  
 B       b3577   t3577  
 T       t3578   o3561 b3576 b3577  
 B       b3578   t3578  
 P       p3578   Number 16696  
 O       o3578   lid p3578 p3559  
 T       t3579   o3578 b1971  
 B       b3579   t3579  
 T       t3580   o3560 b3578 b3579  
 B       b3580   t3580  
 P       p3580   Number 16699  
 O       o3580   lid p3580 p3558  
8440  P       p3581   Var bind  P       p3581   Var bind
8441  O       o3581   var p3581  O       o3581   var p3581
8442  T       t3581   o3581  T       t3581   o3581
8443  B       b3581   t3581  B       b3581   t3581
 T       t3582   o3580 b3581  
 B       b3582   t3582  
 T       t3583   o3559 b3580 b3582  
 B       b3583   t3583  
 P       p3583   Number 16704  
 O       o3583   lid p3583 p3532  
 T       t3584   o3583 b1188  
 B       b3584   t3584  
 T       t3585   o3558 b3583 b3584  
 B       b3585   t3585  
 T       t3586   o3557 b3585  
 B       b3586   t3586 bind  
 T       t3587   o3556 b3586  
 B       b3587   t3587  
 P       p3587   Number 16317  
 P       p3588   Number 16639  
 O       o3588   try p3587 p3588  
 O       o3589   patt_if p3587 p3588  
 P       p3589   Number 16524  
 P       p3590   Number 16537  
 O       o3590   patt_apply p3589 p3590  
 P       p3591   Number 16535  
 O       o3591   patt_uid p3589 p3591  
 O       o3592   patt_apply_arg p3589 p3590  
 P       p3592   Number 16536  
 O       o3593   patt_wildcard p3592 p3590  
 O       o3594   patt_apply_end p3589 p3590  
 O       o3595   patt_body p3587 p3588  
 P       p3595   Number 16553  
 O       o3596   let p3595 p3588  
 P       p3596   Number 16557  
 P       p3597   Number 16558  
 O       o3597   patt_var p3596 p3597  
 O       o3598   patt_in p3595 p3588  
 P       p3598   Number 16602  
 O       o3599   apply p3598 p3588  
 P       p3599   Number 16617  
 O       o3600   apply p3598 p3599  
 P       p3600   Number 16615  
 O       o3601   lid p3598 p3600  
8444  P       p3601   String mk_xbind_term  P       p3601   String mk_xbind_term
8445  O       o3602   lid p3601  O       o3602   lid p3601
8446  T       t3602   o3602  T       t3602   o3602
8447  B       b3602   t3602  B       b3602   t3602
 T       t3603   o3601 b3602  
 B       b3603   t3603  
 P       p3603   Number 16616  
 O       o3603   lid p3603 p3599  
 T       t3604   o3603 b3312  
 B       b3604   t3604  
 T       t3605   o3600 b3603 b3604  
 B       b3605   t3605  
 P       p3605   Number 16619  
 P       p3606   Number 16638  
 O       o3606   apply p3605 p3606  
 P       p3607   Number 16636  
 O       o3607   apply p3605 p3607  
 P       p3608   Number 16633  
 O       o3608   apply p3605 p3608  
 P       p3609   Number 16628  
 O       o3609   lid p3605 p3609  
8448  P       p3610   String var_subst  P       p3610   String var_subst
8449  O       o3610   lid p3610  O       o3610   lid p3610
8450  T       t3610   o3610  T       t3610   o3610
8451  B       b3610   t3610  B       b3610   t3610
 T       t3611   o3609 b3610  
 B       b3611   t3611  
 P       p3611   Number 16629  
 O       o3611   lid p3611 p3608  
8452  P       p3612   Var goal  P       p3612   Var goal
8453  O       o3612   var p3612  O       o3612   var p3612
8454  T       t3612   o3612  T       t3612   o3612
8455  B       b3612   t3612  B       b3612   t3612
 T       t3613   o3611 b3612  
 B       b3613   t3613  
 T       t3614   o3608 b3611 b3613  
 B       b3614   t3614  
 P       p3614   Number 16634  
 O       o3614   lid p3614 p3607  
 T       t3615   o3614 b1970  
 B       b3615   t3615  
 T       t3616   o3607 b3614 b3615  
 B       b3616   t3616  
 P       p3616   Number 16637  
 O       o3616   lid p3616 p3606  
 T       t3617   o3616 b3312  
 B       b3617   t3617  
 T       t3618   o3606 b3616 b3617  
 B       b3618   t3618  
 T       t3619   o3599 b3605 b3618  
 B       b3619   t3619  
 T       t3620   o3598 b3619  
 B       b3620   t3620 w  
 T       t3621   o3597 b3620  
 B       b3621   t3621  
 P       p3621   Number 16561  
 P       p3622   Number 16582  
 O       o3622   apply p3621 p3622  
 P       p3623   Number 16578  
 O       o3623   apply p3621 p3623  
 P       p3624   Number 16576  
 O       o3624   lid p3621 p3624  
 T       t3624   o3624 b1370  
 B       b3624   t3624  
 P       p3625   Number 16577  
 O       o3625   lid p3625 p3623  
 T       t3625   o3625 b1188  
 B       b3625   t3625  
 T       t3626   o3623 b3624 b3625  
 B       b3626   t3626  
 P       p3626   Number 16579  
8456  P       p3627   String w  P       p3627   String w
 O       o3627   string p3626 p3622 p3627  
 T       t3627   o3627  
 B       b3627   t3627  
 T       t3628   o3622 b3626 b3627  
 B       b3628   t3628  
 T       t3629   o b3628 b4  
 B       b3629   t3629  
 T       t3630   o3596 b3621 b3629  
 B       b3630   t3630  
 T       t3631   o3595 b3630  
 B       b3631   t3631  
 T       t3632   o3594 b3631  
 B       b3632   t3632  
 T       t3633   o3593 b3632  
 B       b3633   t3633  
 T       t3634   o3592 b3633  
 B       b3634   t3634  
 T       t3635   o3591 b1510 b3634  
 B       b3635   t3635  
 T       t3636   o3590 b3635  
 B       b3636   t3636  
 T       t3637   o3589 b3636  
 B       b3637   t3637  
 P       p3637   Number 16330  
 P       p3638   Number 16469  
 O       o3638   let p3637 p3638  
 P       p3639   Number 16334  
 P       p3640   Number 16336  
 O       o3640   patt_var p3639 p3640  
 O       o3641   patt_in p3637 p3638  
8457  NOcaml!ifthenelse       ifthenelse      ifthenelse Ocaml  NOcaml!ifthenelse       ifthenelse      ifthenelse Ocaml
 P       p3641   Number 16369  
 O       o3642   ifthenelse p3641 p3638  
 P       p3642   Number 16372  
 P       p3643   Number 16388  
 O       o3643   apply p3642 p3643  
 P       p3644   Number 16385  
 O       o3644   lid p3642 p3644  
8458  P       p3645   String is_xbind_term  P       p3645   String is_xbind_term
8459  O       o3645   lid p3645  O       o3645   lid p3645
8460  T       t3645   o3645  T       t3645   o3645
8461  B       b3645   t3645  B       b3645   t3645
 T       t3646   o3644 b3645  
 B       b3646   t3646  
 P       p3646   Number 16386  
 O       o3646   lid p3646 p3643  
8462  P       p3647   Var t1  P       p3647   Var t1
8463  O       o3647   var p3647  O       o3647   var p3647
8464  T       t3647   o3647  T       t3647   o3647
8465  B       b3647   t3647  B       b3647   t3647
 T       t3648   o3646 b3647  
 B       b3648   t3648  
 T       t3649   o3643 b3646 b3648  
 B       b3649   t3649  
 P       p3649   Number 16409  
 P       p3650   Number 16411  
 O       o3650   lid p3649 p3650  
 T       t3650   o3650 b3647  
 B       b3650   t3650  
 P       p3651   Number 16444  
 O       o3651   apply p3651 p3638  
 P       p3652   Number 16449  
 O       o3652   lid p3651 p3652  
 T       t3652   o3652 b1519  
 B       b3652   t3652  
 P       p3653   Number 16450  
 O       o3653   lid p3653 p3638  
8466  P       p3654   String generic_refiner_exn  P       p3654   String generic_refiner_exn
8467  O       o3654   lid p3654  O       o3654   lid p3654
8468  T       t3654   o3654  T       t3654   o3654
8469  B       b3654   t3654  B       b3654   t3654
 T       t3655   o3653 b3654  
 B       b3655   t3655  
 T       t3656   o3651 b3652 b3655  
 B       b3656   t3656  
 T       t3657   o3642 b3649 b3650 b3656  
 B       b3657   t3657  
 T       t3658   o3641 b3657  
 B       b3658   t3658 t1  
 T       t3659   o3640 b3658  
 B       b3659   t3659  
 P       p3659   Number 16339  
 P       p3660   Number 16353  
 O       o3660   apply p3659 p3660  
 P       p3661   Number 16351  
 O       o3661   lid p3659 p3661  
8470  P       p3662   String get_with_arg  P       p3662   String get_with_arg
8471  O       o3662   lid p3662  O       o3662   lid p3662
8472  T       t3662   o3662  T       t3662   o3662
8473  B       b3662   t3662  B       b3662   t3662
 T       t3663   o3661 b3662  
 B       b3663   t3663  
 P       p3663   Number 16352  
 O       o3663   lid p3663 p3660  
 T       t3664   o3663 b1188  
 B       b3664   t3664  
 T       t3665   o3660 b3663 b3664  
 B       b3665   t3665  
 T       t3666   o b3665 b4  
 B       b3666   t3666  
 T       t3667   o3638 b3659 b3666  
 B       b3667   t3667  
 T       t3668   o3588 b3637 b3667  
 B       b3668   t3668  
 T       t3669   o b3668 b4  
 B       b3669   t3669  
 T       t3670   o3555 b3587 b3669  
 B       b3670   t3670  
 T       t3671   o3554 b3670  
 B       b3671   t3671 goal  
 T       t3672   o3553 b3671  
 B       b3672   t3672  
 P       p3672   Number 16278  
 P       p3673   Number 16293  
 O       o3673   apply p3672 p3673  
 P       p3674   Number 16291  
 O       o3674   proj p3672 p3674  
 O       o3675   uid p3672 p3674  
 T       t3675   o3675 b1353  
 B       b3675   t3675  
 P       p3675   Number 16286  
 O       o3676   lid p3675 p3674  
 T       t3676   o3676 b1654  
 B       b3676   t3676  
 T       t3677   o3674 b3675 b3676  
 B       b3677   t3677  
 P       p3677   Number 16292  
 O       o3677   lid p3677 p3673  
 T       t3678   o3677 b1188  
 B       b3678   t3678  
 T       t3679   o3673 b3677 b3678  
 B       b3679   t3679  
 T       t3680   o b3679 b4  
 B       b3680   t3680  
 T       t3681   o3552 b3672 b3680  
 B       b3681   t3681  
 T       t3682   o3551 b3681  
 B       b3682   t3682  
 T       t3683   o3550 b3682  
 B       b3683   t3683 s2  
 T       t3684   o3549 b3683  
 B       b3684   t3684  
 T       t3685   o3545 b3684  
 B       b3685   t3685 s1  
 T       t3686   o3548 b3685  
 B       b3686   t3686  
 T       t3687   o3545 b3686  
 B       b3687   t3687 r  
 T       t3688   o3546 b3687  
 B       b3688   t3688  
 T       t3689   o3545 b3688  
 B       b3689   t3689 s  
 T       t3690   o3544 b3689  
 B       b3690   t3690  
 T       t3691   o3543 b3690  
 B       b3691   t3691  
 P       p3691   Number 16248  
 P       p3692   Number 16260  
 O       o3692   apply p3691 p3692  
 P       p3693   Number 16258  
 O       o3693   lid p3691 p3693  
8474  P       p3694   String dest_equiv  P       p3694   String dest_equiv
8475  O       o3694   lid p3694  O       o3694   lid p3694
8476  T       t3694   o3694  T       t3694   o3694
8477  B       b3694   t3694  B       b3694   t3694
 T       t3695   o3693 b3694  
 B       b3695   t3695  
 P       p3695   Number 16259  
 O       o3695   lid p3695 p3692  
 T       t3696   o3695 b1252  
 B       b3696   t3696  
 T       t3697   o3692 b3695 b3696  
 B       b3697   t3697  
 T       t3698   o b3697 b4  
 B       b3698   t3698  
 T       t3699   o3541 b3691 b3698  
 B       b3699   t3699  
 T       t3700   o3539 b3699  
 B       b3700   t3700 p  
 T       t3701   o3540 b3700  
 B       b3701   t3701  
 T       t3702   o3537 b3701  
 B       b3702   t3702  
 T       t3703   o3536 b3702  
 B       b3703   t3703  
 T       t3704   o3539 b3703  
 B       b3704   t3704 t  
 T       t3705   o3538 b3704  
 B       b3705   t3705  
 T       t3706   o3537 b3705  
 B       b3706   t3706  
 T       t3707   o3536 b3706  
 B       b3707   t3707  
 T       t3708   o3533 b3536 b3707  
 B       b3708   t3708  
 T       t3709   o b3708 b4  
 B       b3709   t3709  
 T       t3710   o3533 b3709  
 B       b3710   t3710  
 T       t3711   o405 b3710  
 B       b3711   t3711  
 T       t3712   o3532 b3711  
 B       b3712   t3712  
 P       p3712   Number 16707  
 P       p3713   Number 17264  
 O       o3713   location p3712 p3713  
 O       o3714   str_let p3712 p3713  
 P       p3714   Number 16711  
 O       o3715   patt_var p3714 p3713  
 O       o3716   patt_done p3712 p3713  
 T       t3716   o3716  
 B       b3716   t3716 equivHypSubstT  
 T       t3717   o3715 b3716  
 B       b3717   t3717  
 O       o3717   fun p3714 p3713  
 O       o3718   patt_if p3714 p3713  
 P       p3718   Number 16726  
 P       p3719   Number 16727  
 O       o3719   patt_var p3718 p3719  
 O       o3720   patt_body p3714 p3713  
 P       p3720   Number 16728  
 P       p3721   Number 16729  
 O       o3721   patt_var p3720 p3721  
 P       p3722   Number 16730  
 P       p3723   Number 16731  
 O       o3723   patt_var p3722 p3723  
 P       p3724   Number 16737  
 O       o3724   let p3724 p3713  
 P       p3725   Number 16741  
 P       p3726   Number 16753  
 O       o3726   patt_tuple p3725 p3726  
 P       p3727   Number 16742  
 O       o3727   patt_var p3725 p3727  
 O       o3728   patt_tuple_arg p3725 p3726  
 P       p3728   Number 16744  
 P       p3729   Number 16745  
 O       o3729   patt_var p3728 p3729  
 P       p3730   Number 16747  
 P       p3731   Number 16749  
 O       o3731   patt_var p3730 p3731  
 P       p3732   Number 16751  
 O       o3732   patt_var p3732 p3726  
 O       o3733   patt_tuple_end p3725 p3726  
 O       o3734   patt_in p3724 p3713  
 P       p3734   Number 16775  
 O       o3735   let p3734 p3713  
 P       p3735   Number 16779  
 P       p3736   Number 16783  
 O       o3736   patt_tuple p3735 p3736  
8478  P       p3737   Number 16780  P       p3737   Number 16780
 O       o3737   patt_var p3735 p3737  
 O       o3738   patt_tuple_arg p3735 p3736  
 P       p3738   Number 16782  
 O       o3739   patt_var p3738 p3736  
 O       o3740   patt_tuple_end p3735 p3736  
 O       o3741   patt_in p3734 p3713  
 P       p3741   Number 16808  
 O       o3742   let p3741 p3713  
 P       p3742   Number 16812  
 P       p3743   Number 16818  
 O       o3743   patt_tuple p3742 p3743  
8479  P       p3744   Number 16813  P       p3744   Number 16813
 O       o3744   patt_wildcard p3742 p3744  
 O       o3745   patt_tuple_arg p3742 p3743  
 P       p3745   Number 16815  
 O       o3746   patt_var p3745 p3743  
 O       o3747   patt_tuple_end p3742 p3743  
 O       o3748   patt_in p3741 p3713  
 P       p3748   Number 16839  
 O       o3749   let p3748 p3713  
 P       p3749   Number 16843  
 P       p3750   Number 16844  
 O       o3750   patt_var p3749 p3750  
 O       o3751   patt_in p3748 p3713  
 P       p3751   Number 16875  
 O       o3752   let p3751 p3713  
 P       p3752   Number 16879  
 P       p3753   Number 16883  
 O       o3753   patt_var p3752 p3753  
 O       o3754   patt_in p3751 p3713  
 P       p3754   Number 17226  
 O       o3755   apply p3754 p3713  
 P       p3755   Number 17262  
 O       o3756   apply p3754 p3755  
 P       p3756   Number 17260  
 O       o3757   apply p3754 p3756  
 P       p3757   Number 17255  
 O       o3758   apply p3754 p3757  
 P       p3758   Number 17252  
 O       o3759   apply p3754 p3758  
 P       p3759   Number 17249  
 O       o3760   apply p3754 p3759  
 P       p3760   Number 17247  
 O       o3761   apply p3754 p3760  
 P       p3761   Number 17245  
 O       o3762   apply p3754 p3761  
 P       p3762   Number 17243  
 O       o3763   apply p3754 p3762  
 P       p3763   Number 17241  
 O       o3764   lid p3754 p3763  
8480  O       o3765   lid p3307  O       o3765   lid p3307
8481  T       t3765   o3765  T       t3765   o3765
8482  B       b3765   t3765  B       b3765   t3765
 T       t3766   o3764 b3765  
 B       b3766   t3766  
 P       p3766   Number 17242  
 O       o3766   lid p3766 p3762  
 T       t3767   o3766 b1332  
 B       b3767   t3767  
 T       t3768   o3763 b3766 b3767  
 B       b3768   t3768  
 P       p3768   Number 17244  
 O       o3768   lid p3768 p3761  
 T       t3769   o3768 b1335  
 B       b3769   t3769  
 T       t3770   o3762 b3768 b3769  
 B       b3770   t3770  
 P       p3770   Number 17246  
 O       o3770   lid p3770 p3760  
 T       t3771   o3770 b600  
 B       b3771   t3771  
 T       t3772   o3761 b3770 b3771  
 B       b3772   t3772  
 P       p3772   Number 17248  
 O       o3772   lid p3772 p3759  
 T       t3773   o3772 b601  
 B       b3773   t3773  
 T       t3774   o3760 b3772 b3773  
 B       b3774   t3774  
 P       p3774   Number 17250  
 O       o3774   lid p3774 p3758  
 T       t3775   o3774 b1970  
 B       b3775   t3775  
 T       t3776   o3759 b3774 b3775  
 B       b3776   t3776  
 P       p3776   Number 17253  
 O       o3776   lid p3776 p3757  
 T       t3777   o3776 b1971  
 B       b3777   t3777  
 T       t3778   o3758 b3776 b3777  
 B       b3778   t3778  
 P       p3778   Number 17256  
 O       o3778   lid p3778 p3756  
 T       t3779   o3778 b3581  
 B       b3779   t3779  
 T       t3780   o3757 b3778 b3779  
 B       b3780   t3780  
 P       p3780   Number 17261  
 O       o3780   lid p3780 p3755  
 T       t3781   o3780 b614  
 B       b3781   t3781  
 T       t3782   o3756 b3780 b3781  
 B       b3782   t3782  
 P       p3782   Number 17263  
 O       o3782   lid p3782 p3713  
 T       t3783   o3782 b1188  
 B       b3783   t3783  
 T       t3784   o3755 b3782 b3783  
 B       b3784   t3784  
 T       t3785   o3754 b3784  
 B       b3785   t3785 bind  
 T       t3786   o3753 b3785  
 B       b3786   t3786  
 P       p3786   Number 16892  
 P       p3787   Number 17213  
 O       o3787   try p3786 p3787  
 O       o3788   patt_if p3786 p3787  
 P       p3788   Number 17099  
 P       p3789   Number 17112  
 O       o3789   patt_apply p3788 p3789  
 P       p3790   Number 17110  
 O       o3790   patt_uid p3788 p3790  
 O       o3791   patt_apply_arg p3788 p3789  
 P       p3791   Number 17111  
 O       o3792   patt_wildcard p3791 p3789  
 O       o3793   patt_apply_end p3788 p3789  
 O       o3794   patt_body p3786 p3787  
 P       p3794   Number 17128  
 O       o3795   let p3794 p3787  
 P       p3795   Number 17132  
 P       p3796   Number 17133  
 O       o3796   patt_var p3795 p3796  
 O       o3797   patt_in p3794 p3787  
 P       p3797   Number 17177  
 O       o3798   apply p3797 p3787  
 P       p3798   Number 17192  
 O       o3799   apply p3797 p3798  
 P       p3799   Number 17190  
 O       o3800   lid p3797 p3799  
 T       t3800   o3800 b3602  
 B       b3800   t3800  
 P       p3800   Number 17191  
 O       o3801   lid p3800 p3798  
 T       t3801   o3801 b3312  
 B       b3801   t3801  
 T       t3802   o3799 b3800 b3801  
 B       b3802   t3802  
 P       p3802   Number 17194  
 P       p3803   Number 17212  
 O       o3803   apply p3802 p3803  
 P       p3804   Number 17210  
 O       o3804   apply p3802 p3804  
 P       p3805   Number 17207  
 O       o3805   apply p3802 p3805  
 P       p3806   Number 17203  
 O       o3806   lid p3802 p3806  
 T       t3806   o3806 b3610  
 B       b3806   t3806  
 P       p3807   Number 17204  
 O       o3807   lid p3807 p3805  
8483  P       p3808   Var hyp  P       p3808   Var hyp
8484  O       o3808   var p3808  O       o3808   var p3808
8485  T       t3808   o3808  T       t3808   o3808
8486  B       b3808   t3808  B       b3808   t3808
 T       t3809   o3807 b3808  
 B       b3809   t3809  
 T       t3810   o3805 b3806 b3809  
 B       b3810   t3810  
 P       p3810   Number 17208  
 O       o3810   lid p3810 p3804  
 T       t3811   o3810 b1970  
 B       b3811   t3811  
 T       t3812   o3804 b3810 b3811  
 B       b3812   t3812  
 P       p3812   Number 17211  
 O       o3812   lid p3812 p3803  
 T       t3813   o3812 b3312  
 B       b3813   t3813  
 T       t3814   o3803 b3812 b3813  
 B       b3814   t3814  
 T       t3815   o3798 b3802 b3814  
 B       b3815   t3815  
 T       t3816   o3797 b3815  
 B       b3816   t3816 w  
 T       t3817   o3796 b3816  
 B       b3817   t3817  
 P       p3817   Number 17136  
 P       p3818   Number 17157  
 O       o3818   apply p3817 p3818  
 P       p3819   Number 17153  
 O       o3819   apply p3817 p3819  
 P       p3820   Number 17151  
 O       o3820   lid p3817 p3820  
 T       t3820   o3820 b1370  
 B       b3820   t3820  
 P       p3821   Number 17152  
 O       o3821   lid p3821 p3819  
 T       t3821   o3821 b1188  
 B       b3821   t3821  
 T       t3822   o3819 b3820 b3821  
 B       b3822   t3822  
 P       p3822   Number 17154  
 O       o3822   string p3822 p3818 p3627  
 T       t3823   o3822  
 B       b3823   t3823  
 T       t3824   o3818 b3822 b3823  
 B       b3824   t3824  
 T       t3825   o b3824 b4  
 B       b3825   t3825  
 T       t3826   o3795 b3817 b3825  
 B       b3826   t3826  
 T       t3827   o3794 b3826  
 B       b3827   t3827  
 T       t3828   o3793 b3827  
 B       b3828   t3828  
 T       t3829   o3792 b3828  
 B       b3829   t3829  
 T       t3830   o3791 b3829  
 B       b3830   t3830  
 T       t3831   o3790 b1510 b3830  
 B       b3831   t3831  
 T       t3832   o3789 b3831  
 B       b3832   t3832  
 T       t3833   o3788 b3832  
 B       b3833   t3833  
 P       p3833   Number 16905  
 P       p3834   Number 17044  
 O       o3834   let p3833 p3834  
 P       p3835   Number 16909  
 P       p3836   Number 16911  
 O       o3836   patt_var p3835 p3836  
 O       o3837   patt_in p3833 p3834  
 P       p3837   Number 16944  
 O       o3838   ifthenelse p3837 p3834  
 P       p3838   Number 16947  
 P       p3839   Number 16963  
 O       o3839   apply p3838 p3839  
 P       p3840   Number 16960  
 O       o3840   lid p3838 p3840  
 T       t3840   o3840 b3645  
 B       b3840   t3840  
 P       p3841   Number 16961  
 O       o3841   lid p3841 p3839  
 T       t3841   o3841 b3647  
 B       b3841   t3841  
 T       t3842   o3839 b3840 b3841  
 B       b3842   t3842  
 P       p3842   Number 16984  
 P       p3843   Number 16986  
 O       o3843   lid p3842 p3843  
 T       t3843   o3843 b3647  
 B       b3843   t3843  
 P       p3844   Number 17019  
 O       o3844   apply p3844 p3834  
 P       p3845   Number 17024  
 O       o3845   lid p3844 p3845  
 T       t3845   o3845 b1519  
 B       b3845   t3845  
 P       p3846   Number 17025  
 O       o3846   lid p3846 p3834  
 T       t3846   o3846 b3654  
 B       b3846   t3846  
 T       t3847   o3844 b3845 b3846  
 B       b3847   t3847  
 T       t3848   o3838 b3842 b3843 b3847  
 B       b3848   t3848  
 T       t3849   o3837 b3848  
 B       b3849   t3849 t1  
 T       t3850   o3836 b3849  
 B       b3850   t3850  
 P       p3850   Number 16914  
 P       p3851   Number 16928  
 O       o3851   apply p3850 p3851  
 P       p3852   Number 16926  
 O       o3852   lid p3850 p3852  
 T       t3852   o3852 b3662  
 B       b3852   t3852  
 P       p3853   Number 16927  
 O       o3853   lid p3853 p3851  
 T       t3853   o3853 b1188  
 B       b3853   t3853  
 T       t3854   o3851 b3852 b3853  
 B       b3854   t3854  
 T       t3855   o b3854 b4  
 B       b3855   t3855  
 T       t3856   o3834 b3850 b3855  
 B       b3856   t3856  
 T       t3857   o3787 b3833 b3856  
 B       b3857   t3857  
 T       t3858   o b3857 b4  
 B       b3858   t3858  
 T       t3859   o3752 b3786 b3858  
 B       b3859   t3859  
 T       t3860   o3751 b3859  
 B       b3860   t3860 z  
 T       t3861   o3750 b3860  
 B       b3861   t3861  
 P       p3861   Number 16847  
 P       p3862   Number 16868  
 O       o3862   apply p3861 p3862  
 P       p3863   Number 16864  
 O       o3863   apply p3861 p3863  
 P       p3864   Number 16862  
 O       o3864   lid p3861 p3864  
 T       t3864   o3864 b1370  
 B       b3