ViewVC logotype

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

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

revision 3560 by xiny, Tue Apr 2 08:18:40 2002 UTC revision 3561 by xiny, Wed Apr 3 05:29:19 2002 UTC
# Line 5757  Line 5757 
5757  T       t617    o600 b616  T       t617    o600 b616
5758  B       b617    t617  B       b617    t617
5759  P       p617    Number 792  P       p617    Number 792
5760    P       p16     Number 1301
5761    O       o30     location p617 p16
5762  P       p620    String unfold_cyc_subg  P       p620    String unfold_cyc_subg
5763  O       o623    rewrite p620  O       o623    rewrite p620
5764  NItt_logic!and  and     and Itt_logic  NItt_logic!and  and     and Itt_logic
# Line 5768  Line 5770 
5770  B       b1681   t1680  B       b1681   t1680
5771  T       t1681   o309 b1681 b624  T       t1681   o309 b1681 b624
5772  B       b1682   t1681  B       b1682   t1681
 T       t1682   o732 b596 b1681  
 B       b1683   t1682  
5773  T       t1683   o732 b2507 b1681  T       t1683   o732 b2507 b1681
5774  B       b1684   t1683  B       b1684   t1683
 T       t1684   o603 b2314 b596 b2507  
 B       b1685   t1684  
 T       t1685   o603 b587 b596 b2507  
 B       b2187   t1685  
 T       t2187   o309 b1685 b2187  
 B       b2188   t2187  
 T       t2188   o348 b1684 b2188  
 B       b2189   t2188  
 T       t2189   o348 b1683 b2189  
 B       b2190   t2189 b  
 T       t2190   o775 b365 b2190  
 B       b2191   t2190 a  
 T       t2191   o775 b365 b2191  
 B       b2192   t2191  
5775  NCzf_itt_group!eqG      eqG     eqG Czf_itt_group  NCzf_itt_group!eqG      eqG     eqG Czf_itt_group
5776  O       o671    eqG  O       o671    eqG
5777  T       t706    o671 b2314  T       t706    o671 b2314
5778  B       b706    t706  B       b706    t706
 T       t710    o888 b1681 b706 b596 b2507  
 B       b710    t710  
5779  T       t711    o671 b587  T       t711    o671 b587
5780  B       b711    t711  B       b711    t711
5781  T       t712    o888 b733 b711 b596 b2507  T       t712    o888 b733 b711 b596 b2507
5782  B       b712    t712  B       b712    t712
 T       t730    o348 b710 b712  
 B       b730    t730 b  
 T       t732    o775 b365 b730  
 B       b732    t732 a  
 T       t739    o775 b365 b732  
 B       b739    t739  
 T       t740    o644 b2192 b739  
 B       b740    t740  
 T       t741    o644 b1682 b740  
 B       b741    t741  
 P       p828    Number 1146  
 O       o14     location p617 p828  
5783  O       o670    lid p620  O       o670    lid p620
5784  T       t670    o670  T       t670    o670
5785  B       b670    t670  B       b670    t670
# Line 8818  Line 8790 
8790  T       t4570   o644 b3699 b4570  T       t4570   o644 b3699 b4570
8791  B       b4571   t4570  B       b4571   t4570
8792  B       b4572   t2226  B       b4572   t2226
8793  T       t243    o644 b4572 b741  P       p30     Var c
8794  B       b243    t243  O       o32     var p30
8795  T       t298    o644 b656 b243  T       t370    o32
8796  B       b298    t298  B       b407    t370
8797  T       t299    o644 b1680 b298  T       t407    o732 b407 b1681
8798  B       b299    t299  B       b408    t407
8799  T       t300    o623 b636 b299 b615 b4  T       t408    o603 b2314 b2507 b407
8800  B       b300    t300  B       b409    t408
8801  T       t303    o14 b300  T       t409    o603 b587 b2507 b407
8802  B       b303    t303  B       b479    t409
8803  P       p309    Number 1148  T       t518    o888 b1681 b706 b409 b479
8804  P       p310    Number 1211  B       b519    t518
8805  O       o310    location p309 p310  T       t519    o348 b408 b519
8806  O       o311    str_let p309 p310  B       b687    t519
8807  P       p311    Number 1152  T       t687    o348 b1684 b687
8808  P       p312    Number 1162  B       b714    t687 c
8809  O       o312    patt_var p311 p312  T       t714    o775 b365 b714
8810  O       o313    patt_done p309 p310  B       b731    t714 b
8811  T       t330    o313  T       t790    o775 b365 b731
8812  B       b330    t330 fold_power  B       b883    t790
8813  T       t339    o312 b330  T       t883    o888 b1681 b706 b2507 b407
8814  B       b339    t339  B       b1105   t883
8815  P       p352    Number 1165  T       t1105   o888 b733 b711 b2507 b407
8816  O       o352    apply p352 p310  B       b1106   t1105
8817  P       p353    Number 1198  T       t1106   o348 b1105 b1106
8818  O       o353    apply p352 p353  B       b1107   t1106 c
8819  P       p354    Number 1174  T       t1136   o775 b365 b1107
8820  O       o354    lid p352 p354  B       b1224   t1136 b
8821  T       t361    o354 b634  T       t1224   o775 b365 b1224
8822  B       b362    t361  B       b1225   t1224
8823  P       p367    Number 1175  T       t1229   o348 b1106 b1105
8824  O       o367    apply p367 p353  B       b1421   t1229
8825  O       o369    proj p367 p353  T       t1435   o348 b408 b1421
8826  O       o374    uid p367 p353  B       b1436   t1435
8827  T       t387    o374 b638  T       t1443   o348 b1684 b1436
8828  B       b387    t387  B       b1671   t1443 c
8829  O       o387    lid p367 p353  T       t1671   o775 b365 b1671
8830  T       t388    o387 b640  B       b1672   t1671 b
8831  B       b388    t388  T       t1672   o775 b365 b1672
8832  T       t389    o369 b387 b388  B       b1673   t1672
8833  B       b389    t389  T       t1673   o644 b1225 b1673
8834    B       b1674   t1673
8835    T       t1674   o644 b883 b1674
8836    B       b1675   t1674
8837    T       t1675   o644 b1682 b1675
8838    B       b1676   t1675
8839    T       t1676   o644 b4572 b1676
8840    B       b1688   t1676
8841    T       t1688   o644 b656 b1688
8842    B       b1689   t1688
8843    T       t1689   o644 b1680 b1689
8844    B       b1734   t1689
8845    T       t1734   o623 b636 b1734 b615 b4
8846    B       b1735   t1734
8847    T       t1735   o30 b1735
8848    B       b1736   t1735
8849    P       p1736   Number 1303
8850    P       p1737   Number 1366
8851    O       o1737   location p1736 p1737
8852    O       o1738   str_let p1736 p1737
8853    P       p1738   Number 1307
8854    P       p1739   Number 1317
8855    O       o1739   patt_var p1738 p1739
8856    O       o1740   patt_done p1736 p1737
8857    T       t1741   o1740
8858    B       b1861   t1741 fold_power
8859    T       t1861   o1739 b1861
8860    B       b1862   t1861
8861    P       p1862   Number 1320
8862    O       o1862   apply p1862 p1737
8863    P       p1863   Number 1353
8864    O       o1863   apply p1862 p1863
8865    P       p1864   Number 1329
8866    O       o1864   lid p1862 p1864
8867    T       t1874   o1864 b634
8868    B       b1881   t1874
8869    P       p1881   Number 1330
8870    O       o1881   apply p1881 p1863
8871    O       o1883   proj p1881 p1863
8872    O       o1884   uid p1881 p1863
8873    T       t1886   o1884 b638
8874    B       b1953   t1886
8875    O       o1953   lid p1881 p1863
8876    T       t1953   o1953 b640
8877    B       b1957   t1953
8878    T       t1957   o1883 b1953 b1957
8879    B       b1958   t1957
8880  P       p8      String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000\\\\\\000\\000\\000!\\000\\000\\000`\\000\\000\\000[\\160\\160\\160$\\000\\000\\000\\000\\160%power\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!g@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!z@@\\160\\160@\\160\\160\\004\\018\\160\\148!n@@@"  P       p8      String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000\\\\\\000\\000\\000!\\000\\000\\000`\\000\\000\\000[\\160\\160\\160$\\000\\000\\000\\000\\160%power\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!g@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!z@@\\160\\160@\\160\\160\\004\\018\\160\\148!n@@@"
8881  O       o22     string p367 p353 p8  O       o1958   string p1881 p1863 p8
8882  T       t365    o22  T       t1958   o1958
8883  B       b541    t365  B       b2108   t1958
8884  T       t541    o367 b389 b541  T       t2108   o1881 b1958 b2108
8885  B       b597    t541  B       b2111   t2108
8886  T       t597    o353 b362 b597  T       t2111   o1863 b1881 b2111
8887  B       b598    t597  B       b2112   t2111
8888  P       p404    Number 1199  P       p2112   Number 1354
8889  O       o404    lid p404 p310  O       o2112   lid p2112 p1737
8890  T       t405    o404 b646  T       t2112   o2112 b646
8891  B       b405    t405  B       b2113   t2112
8892  T       t598    o352 b598 b405  T       t2113   o1862 b2112 b2113
8893  B       b601    t598  B       b2114   t2113
8894  T       t601    o311 b339 b601  T       t2114   o1738 b1862 b2114
8895  B       b602    t601  B       b2137   t2114
8896  T       t602    o b602 b4  T       t2137   o b2137 b4
8897  B       b603    t602  B       b2138   t2137
8898  T       t603    o311 b603  T       t2138   o1738 b2138
8899  B       b630    t603  B       b2139   t2138
8900  T       t630    o424 b630  T       t2139   o424 b2139
8901  B       b642    t630  B       b2140   t2139
8902  T       t642    o310 b642  T       t2140   o1737 b2140
8903  B       b643    t642  B       b2141   t2140
8904  P       p427    Number 1212  P       p2141   Number 1367
8905  P       p428    Number 1284  P       p2142   Number 1439
8906  O       o428    location p427 p428  O       o2142   location p2141 p2142
8907  O       o429    str_let p427 p428  O       o2143   str_let p2141 p2142
8908  P       p429    Number 1216  P       p2143   Number 1371
8909  P       p430    Number 1229  P       p2144   Number 1384
8910  O       o430    patt_var p429 p430  O       o2144   patt_var p2143 p2144
8911  O       o431    patt_done p427 p428  O       o2145   patt_done p2141 p2142
8912  T       t434    o431  T       t2145   o2145
8913  B       b434    t434 fold_cyc_subg  B       b2176   t2145 fold_cyc_subg
8914  T       t435    o430 b434  T       t2176   o2144 b2176
8915  B       b435    t435  B       b2177   t2176
8916  P       p436    Number 1232  P       p2177   Number 1387
8917  O       o437    apply p436 p428  O       o2177   apply p2177 p2142
8918  P       p437    Number 1268  P       p2178   Number 1423
8919  O       o438    apply p436 p437  O       o2178   apply p2177 p2178
8920  P       p438    Number 1241  P       p2179   Number 1396
8921  O       o439    lid p436 p438  O       o2179   lid p2177 p2179
8922  T       t443    o439 b634  T       t2179   o2179 b634
8923  B       b443    t443  B       b2179   t2179
8924  P       p445    Number 1242  P       p2180   Number 1397
8925  O       o446    apply p445 p437  O       o2180   apply p2180 p2178
8926  O       o447    proj p445 p437  O       o2181   proj p2180 p2178
8927  O       o448    uid p445 p437  O       o2182   uid p2180 p2178
8928  T       t452    o448 b638  T       t2182   o2182 b638
8929  B       b452    t452  B       b2182   t2182
8930  O       o455    lid p445 p437  O       o2183   lid p2180 p2178
8931  T       t461    o455 b640  T       t2183   o2183 b640
8932  B       b461    t461  B       b2183   t2183
8933  T       t462    o447 b452 b461  T       t2184   o2181 b2182 b2183
8934  B       b462    t462  B       b2184   t2184
8935  P       p647    String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000_\\000\\000\\000!\\000\\000\\000a\\000\\000\\000\\\\\\160\\160\\160$\\000\\000\\000\\000\\160(cyc_subg\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!s@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!g@@\\160\\160@\\160\\160\\004\\008\\160\\148!a@@@"  P       p647    String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000_\\000\\000\\000!\\000\\000\\000a\\000\\000\\000\\\\\\160\\160\\160$\\000\\000\\000\\000\\160(cyc_subg\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!s@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!g@@\\160\\160@\\160\\160\\004\\008\\160\\148!a@@@"
8936  O       o651    string p445 p437 p647  O       o2184   string p2180 p2178 p647
8937  T       t667    o651  T       t2185   o2184
8938  B       b667    t667  B       b2185   t2185
8939  T       t668    o446 b462 b667  T       t2186   o2180 b2184 b2185
8940  B       b668    t668  B       b2186   t2186
8941  T       t669    o438 b443 b668  T       t2192   o2178 b2179 b2186
8942  B       b671    t669  B       b2199   t2192
8943  P       p490    Number 1269  O       o2199   lid p259 p2142
8944  O       o491    lid p490 p428  T       t2199   o2199 b670
8945  T       t497    o491 b670  B       b2200   t2199
8946  B       b497    t497  T       t2200   o2177 b2199 b2200
8947  T       t671    o437 b671 b497  B       b2202   t2200
8948  B       b683    t671  T       t2202   o2143 b2177 b2202
8949  T       t683    o429 b435 b683  B       b2204   t2202
8950  B       b721    t683  T       t2204   o b2204 b4
8951  T       t751    o b721 b4  B       b2205   t2204
8952  B       b751    t751  T       t2205   o2143 b2205
8953  T       t767    o429 b751  B       b2210   t2205
8954  B       b767    t767  T       t2211   o424 b2210
8955  T       t770    o424 b767  B       b2211   t2211
8956  B       b770    t770  T       t2212   o2142 b2211
8957  T       t771    o428 b770  B       b2212   t2212
8958  B       b772    t771  P       p2212   Number 1565
8959  P       p520    Number 1286  O       o2212   location p263 p2212
8960  P       p521    Number 1410  T       t2213   o2212 b2257
8961  O       o521    location p520 p521  B       b2213   t2213
8962  T       t525    o521 b2257  P       p2213   Number 1567
8963  B       b525    t525  P       p2214   Number 1696
8964  P       p527    Number 1412  O       o2214   location p2213 p2214
8965  P       p528    Number 1541  T       t2214   o2214 b2277
8966  O       o528    location p527 p528  B       b2214   t2214
8967  T       t532    o528 b2277  P       p2215   Number 1741
8968  B       b532    t532  P       p2216   Number 1969
8969  P       p535    Number 1586  O       o2216   location p2215 p2216
8970  P       p536    Number 1814  P       p2217   Number 1766
8971  O       o536    location p535 p536  P       p2218   Number 1774
8972  P       p537    Number 1611  O       o2218   resource_defs p2217 p2218 p294
8973  P       p538    Number 1619  O       o2219   uid p273 p2218
8974  O       o538    resource_defs p537 p538 p294  T       t2219   o2219 b816
8975  P       p543    Number 1617  B       b2219   t2219
8976  O       o544    uid p543 p538  T       t2220   o b2219 b4
8977  T       t548    o544 b816  B       b2220   t2220
8978  B       b548    t548  T       t2221   o2218 b2220
8979  T       t549    o b548 b4  B       b2221   t2221
8980  B       b549    t549  T       t2222   o b2221 b4
8981  T       t556    o538 b549  B       b2222   t2222
8982  B       b557    t556  T       t2223   o716 b718 b2293 b2373 b2222
8983  T       t557    o b557 b4  B       b2223   t2223
8984  B       b563    t557  T       t2225   o2216 b2223
8985  T       t563    o716 b718 b2293 b2373 b563  B       b2225   t2225
8986  B       b564    t563  P       p2225   Number 2050
8987  T       t564    o536 b564  P       p2226   Number 2376
8988  B       b571    t564  O       o2226   location p2225 p2226
8989  P       p571    Number 1895  P       p2227   Number 2075
8990  P       p572    Number 2221  P       p2228   Number 2083
8991  O       o573    location p571 p572  O       o2228   resource_defs p2227 p2228 p294
8992  P       p573    Number 1920  P       p2229   Number 2081
8993  P       p574    Number 1928  O       o2229   uid p2229 p2228
8994  O       o574    resource_defs p573 p574 p294  T       t2233   o2229 b816
8995  P       p575    Number 1926  B       b2234   t2233
8996  O       o575    uid p575 p574  T       t2234   o b2234 b4
8997  T       t577    o575 b816  B       b2235   t2234
8998  B       b577    t577  T       t2235   o2228 b2235
8999  T       t578    o b577 b4  B       b2236   t2235
9000  B       b578    t578  T       t2236   o b2236 b4
9001  T       t584    o574 b578  B       b2237   t2236
9002  B       b584    t584  T       t2237   o824 b718 b2233 b3191 b2237
9003  T       t585    o b584 b4  B       b2238   t2237
9004  B       b585    t585  T       t2238   o2226 b2238
9005  T       t586    o824 b718 b2233 b3191 b585  B       b2239   t2238
9006  B       b586    t586  P       p2239   Number 2378
9007  T       t593    o573 b586  P       p2240   Number 2725
9008  B       b593    t593  O       o2240   location p2239 p2240
9009  P       p593    Number 2223  P       p2241   Number 2403
9010  P       p594    Number 2570  P       p2242   Number 2411
9011  O       o594    location p593 p594  O       o2242   resource_defs p2241 p2242 p294
9012  P       p597    Number 2248  P       p2243   Number 2409
9013  P       p598    Number 2256  O       o2243   uid p2243 p2242
9014  O       o598    resource_defs p597 p598 p294  T       t2243   o2243 b816
9015  P       p602    Number 2254  B       b2243   t2243
9016  O       o607    uid p602 p598  T       t2244   o b2243 b4
9017  T       t618    o607 b816  B       b2244   t2244
9018  B       b618    t618  T       t2245   o2242 b2244
9019  T       t619    o b618 b4  B       b2245   t2245
9020  B       b619    t619  T       t2246   o b2245 b4
9021  T       t620    o598 b619  B       b2246   t2246
9022  B       b620    t620  T       t2247   o8 b718 b2258 b3494 b2246
9023  T       t625    o b620 b4  B       b2247   t2247
9024  B       b625    t625  T       t2248   o2240 b2247
9025  T       t626    o8 b718 b2258 b3494 b625  B       b2248   t2248
9026  B       b626    t626  P       p2248   Number 2727
9027  T       t627    o594 b626  P       p2249   Number 3067
9028  B       b627    t627  O       o2249   location p2248 p2249
9029  P       p627    Number 2572  P       p2250   Number 2758
9030  P       p628    Number 2912  P       p2251   Number 2766
9031  O       o628    location p627 p628  O       o2251   resource_defs p2250 p2251 p294
9032  P       p629    Number 2603  P       p2252   Number 2764
9033  P       p630    Number 2611  O       o2252   uid p2252 p2251
9034  O       o630    resource_defs p629 p630 p294  T       t2252   o2252 b816
9035  P       p631    Number 2609  B       b2252   t2252
9036  O       o631    uid p631 p630  T       t2255   o b2252 b4
9037  T       t631    o631 b816  B       b2255   t2255
9038  B       b631    t631  T       t2259   o2251 b2255
9039  T       t632    o b631 b4  B       b2259   t2259
9040  B       b632    t632  T       t2260   o b2259 b4
9041  T       t633    o630 b632  B       b2260   t2260
9042  B       b635    t633  T       t2261   o2487 b718 b3508 b3815 b2260
9043  T       t637    o b635 b4  B       b2261   t2261
9044  B       b637    t637  T       t2262   o2249 b2261
9045  T       t639    o2487 b718 b3508 b3815 b637  B       b2262   t2262
9046  B       b639    t639  P       p2262   Number 3069
9047  T       t641    o628 b639  P       p2263   Number 3331
9048  B       b641    t641  O       o2263   location p2262 p2263
9049  P       p641    Number 2914  P       p2264   Number 3101
9050  P       p642    Number 3176  P       p2265   Number 3109
9051  O       o642    location p641 p642  O       o2265   resource_defs p2264 p2265 p294
9052  P       p643    Number 2946  P       p2266   Number 3107
9053  P       p644    Number 2954  O       o2266   uid p2266 p2265
9054  O       o645    resource_defs p643 p644 p294  T       t2266   o2266 b816
9055  P       p645    Number 2952  B       b2266   t2266
9056  O       o647    uid p645 p644  T       t2267   o b2266 b4
9057  T       t647    o647 b816  B       b2267   t2267
9058  B       b647    t647  T       t2268   o2265 b2267
9059  T       t648    o b647 b4  B       b2268   t2268
9060  B       b648    t648  T       t2269   o b2268 b4
9061  T       t649    o645 b648  B       b2269   t2269
9062  B       b649    t649  T       t2271   o2739 b718 b3826 b3833 b2269
9063  T       t650    o b649 b4  B       b2271   t2271
9064  B       b650    t650  T       t2274   o2263 b2271
9065  T       t651    o2739 b718 b3826 b3833 b650  B       b2274   t2274
9066  B       b651    t651  P       p2274   Number 3370
9067  T       t652    o642 b651  P       p2275   Number 3760
9068  B       b652    t652  O       o2275   location p2274 p2275
 P       p652    Number 3215  
 P       p653    Number 3605  
 O       o653    location p652 p653  
9069  T       t4572   o732 b2507 b733  T       t4572   o732 b2507 b733
9070  B       b4573   t4572  B       b4573   t4572
9071  T       t4573   o644 b4572 b4573  T       t4573   o644 b4572 b4573
# Line 9236  Line 9251 
9251  B       b4656   t4655  B       b4656   t4655
9252  T       t4656   o742 b4656  T       t4656   o742 b4656
9253  B       b4657   t4656  B       b4657   t4656
9254  P       p654    Number 3246  P       p2276   Number 3401
9255  P       p655    Number 3254  P       p2277   Number 3409
9256  O       o655    resource_defs p654 p655 p294  O       o2277   resource_defs p2276 p2277 p294
9257  P       p656    Number 3252  P       p2278   Number 3407
9258  O       o656    uid p656 p655  O       o2278   uid p2278 p2277
9259  T       t657    o656 b816  T       t2278   o2278 b816
9260  B       b657    t657  B       b2278   t2278
9261  T       t658    o b657 b4  T       t2279   o b2278 b4
9262  B       b658    t658  B       b2279   t2279
9263  T       t660    o655 b658  T       t2280   o2277 b2279
9264  B       b660    t660  B       b2280   t2280
9265  T       t663    o b660 b4  T       t2281   o b2280 b4
9266  B       b663    t663  B       b2281   t2281
9267  T       t664    o885 b718 b3846 b4657 b663  T       t2282   o885 b718 b3846 b4657 b2281
9268  B       b664    t664  B       b2282   t2282
9269  T       t665    o653 b664  T       t2283   o2275 b2282
9270  B       b665    t665  B       b2283   t2283
9271  P       p665    Number 3637  P       p2283   Number 3792
9272  P       p666    Number 4018  P       p2284   Number 4173
9273  O       o666    location p665 p666  O       o2284   location p2283 p2284
9274  T       t4665   o888 b733 b711 b1686 b895  T       t4665   o888 b733 b711 b1686 b895
9275  S       s4665   t726 h  S       s4665   t726 h
9276  G       s4665   t4665  G       s4665   t4665
# Line 11009  Line 11024 
11024  B       b5403   t5402  B       b5403   t5402
11025  T       t5403   o742 b5403  T       t5403   o742 b5403
11026  B       b5404   t5403  B       b5404   t5403
11027  P       p667    Number 3668  P       p2285   Number 3823
11028  P       p668    Number 3676  P       p2286   Number 3831
11029  O       o668    resource_defs p667 p668 p294  O       o2286   resource_defs p2285 p2286 p294
11030  P       p670    Number 3674  P       p2287   Number 3829
11031  O       o672    uid p670 p668  O       o2287   uid p2287 p2286
11032  T       t672    o672 b816  T       t2287   o2287 b816
11033  B       b672    t672  B       b2287   t2287
11034  T       t673    o b672 b4  T       t2288   o b2287 b4
11035  B       b673    t673  B       b2288   t2288
11036  T       t674    o668 b673  T       t2289   o2286 b2288
11037  B       b674    t674  B       b2289   t2289
11038  T       t675    o b674 b4  T       t2290   o b2289 b4
11039  B       b675    t675  B       b2290   t2290
11040  T       t676    o1686 b718 b4671 b5404 b675  T       t2291   o1686 b718 b4671 b5404 b2290
11041  B       b676    t676  B       b2291   t2291
11042  T       t678    o666 b676  T       t2294   o2284 b2291
11043  B       b678    t678  B       b2294   t2294
11044  P       p4      Number 4041  P       p2294   Number 4196
11045  P       p14     Number 4481  P       p2295   Number 4636
11046  O       o20     location p4 p14  O       o2295   location p2294 p2295
11047  P       p20     String power_simplify  P       p20     String power_simplify
11048  O       o24     rule p20  O       o24     rule p20
11049  S       s3156   t721 h  S       s3156   t721 h
# Line 11580  Line 11595 
11595  B       b1622   t1621  B       b1622   t1621
11596  T       t1622   o742 b1622  T       t1622   o742 b1622
11597  B       b1669   t1622  B       b1669   t1622
11598  P       p24     Number 4071  P       p2296   Number 4226
11599  P       p26     Number 4079  P       p2297   Number 4234
11600  O       o26     resource_defs p24 p26 p294  O       o2297   resource_defs p2296 p2297 p294
11601  P       p28     Number 4077  P       p2298   Number 4232
11602  O       o28     uid p28 p26  O       o2298   uid p2298 p2297
11603  T       t304    o28 b816  T       t2299   o2298 b816
11604  B       b304    t304  B       b2302   t2299
11605  T       t348    o b304 b4  T       t2302   o b2302 b4
11606  B       b348    t348  B       b2303   t2302
11607  T       t362    o26 b348  T       t2303   o2297 b2303
11608  B       b402    t362  B       b2304   t2303
11609  T       t402    o b402 b4  T       t2304   o b2304 b4
11610  B       b403    t402  B       b2305   t2304
11611  T       t403    o24 b718 b5419 b1669 b403  T       t2305   o24 b718 b5419 b1669 b2305
11612  B       b404    t403  B       b2307   t2305
11613  T       t404    o20 b404  T       t2307   o2295 b2307
11614  B       b406    t404  B       b2308   t2307
11615  P       p406    Number 4517  P       p2308   Number 4672
11616  P       p407    Number 4753  P       p2309   Number 4908
11617  O       o407    location p406 p407  O       o2309   location p2308 p2309
11618  P       p2305   String cyc_subg_wf  P       p2305   String cyc_subg_wf
11619  O       o2305   rule p2305  O       o2305   rule p2305
11620  T       t3200   o721 b722 b2314 b2314  T       t3200   o721 b722 b2314 b2314
# Line 11650  Line 11665 
11665  B       b5644   t5644  B       b5644   t5644
11666  T       t5645   o742 b5644  T       t5645   o742 b5644
11667  B       b5645   t5645  B       b5645   t5645
11668  P       p408    Number 4544  P       p2310   Number 4699
11669  P       p413    Number 4552  P       p2311   Number 4707
11670  O       o413    resource_defs p408 p413 p294  O       o2311   resource_defs p2310 p2311 p294
11671  P       p414    Number 4550  P       p2312   Number 4705
11672  O       o414    uid p414 p413  O       o2312   uid p2312 p2311
11673  T       t423    o414 b816  T       t2313   o2312 b816
11674  B       b424    t423  B       b2320   t2313
11675  T       t424    o b424 b4  T       t2320   o b2320 b4
11676  B       b425    t424  B       b2321   t2320
11677  T       t425    o413 b425  T       t2321   o2311 b2321
11678  B       b444    t425  B       b2322   t2321
11679  T       t444    o b444 b4  T       t2322   o b2322 b4
11680  B       b453    t444  B       b2323   t2322
11681  T       t453    o2305 b718 b5637 b5645 b453  T       t2323   o2305 b718 b5637 b5645 b2323
11682  B       b470    t453  B       b2324   t2323
11683  T       t470    o407 b470  T       t2325   o2309 b2324
11684  B       b471    t470  B       b2325   t2325
11685  P       p472    Number 4755  P       p2325   Number 4910
11686  P       p473    Number 5446  P       p2326   Number 5777
11687  O       o473    location p472 p473  O       o2326   location p2325 p2326
11688  P       p2319   String "rwh unfold_cyc_subg 0 ttca"  P       p2319   String "rwh unfold_cyc_subg 0 ttca"
11689  O       o2319   ext_rule p2319  O       o2319   ext_rule p2319
11690  P       p2352   String cyc_subg_intro  P       p2352   String cyc_subg_intro
# Line 11679  Line 11694 
11694  B       b3229   s3229  B       b3229   s3229
11695  T       t3229   o719 b3229  T       t3229   o719 b3229
11696  B       b3230   t3229  B       b3230   t3229
11697  H       h3230   x t1682  H       h2326   c t259
11698  H       h3231   y t1683  H       h2327   x t1683
11699  S       s3231   t726 h h2515 h2516 h3230 h3231  H       h2328   y t407
11700  G       s3231   t2187  S       s2329   t726 h h2516 h2326 h2327 h2328
11701  B       b3231   s3231  G       s2329   t518
11702  T       t3231   o719 b3231  B       b2333   s2329
11703  B       b3232   t3231  T       t2333   o719 b2333
11704  H       h5653   x t710  B       b2334   t2333
11705  S       s5653   t726 h h2515 h2516 h5653  H       h2334   d t259
11706  G       s5653   t712  H       h2335   e t259
11707  B       b5653   s5653  P       p2335   Var d
11708  T       t5653   o719 b5653  O       o2335   var p2335
11709  B       b5654   t5653  T       t2344   o2335
11710    B       b2344   t2344
11711    P       p2344   Var e
11712    O       o2344   var p2344
11713    T       t2345   o2344
11714    B       b2345   t2345
11715    T       t2346   o888 b1681 b706 b2344 b2345
11716    H       h2346   u t2346
11717    T       t2348   o888 b733 b711 b2344 b2345
11718    S       s2348   t726 h h2334 h2335 h2346
11719    G       s2348   t2348
11720    B       b2348   s2348
11721    T       t2352   o719 b2348
11722    B       b2352   t2352
11723    H       h2352   p t259
11724    H       h2353   q t259
11725  S       s5654   t726 h  S       s5654   t726 h
11726  G       s5654   t635  G       s5654   t635
11727  B       b5655   s5654  B       b5655   s5654
11728  T       t5655   o719 b5655  T       t5655   o719 b5655
11729  B       b5656   t5655  B       b5656   t5655
 T       t5656   o718 b5654 b5656  
 B       b5657   t5656  
 T       t5657   o718 b3232 b5657  
 B       b5658   t5657  
 T       t5658   o718 b3230 b5658  
 B       b5659   t5658  
 T       t5659   o718 b2227 b5659  
 B       b5660   t5659  
 T       t5660   o718 b3173 b5660  
 B       b5661   t5660  
 T       t5661   o718 b3203 b5661  
 B       b5662   t5661  
 T       t5662   o718 b728 b5662  
 B       b5663   t5662  
 T       t5663   o718 b3201 b5663  
 B       b5664   t5663  
 T       t5664   o718 b724 b5664  
 B       b5665   t5664  
 T       t5665   o b5653 b4  
 B       b5666   t5665  
 T       t5666   o b3231 b5666  
 B       b5667   t5666  
 T       t5667   o b3229 b5667  
 B       b5668   t5667  
 T       t5668   o b2226 b5668  
 B       b5669   t5668  
 T       t5669   o b3172 b5669  
 B       b5670   t5669  
 T       t5670   o b3202 b5670  
 B       b5671   t5670  
 T       t5671   o b727 b5671  
 B       b5672   t5671  
 T       t5672   o b3200 b5672  
 B       b5673   t5672  
 T       t5673   o b723 b5673  
 B       b5674   t5673  
 T       t5674   o747 b5655 b5674  
 B       b5675   t5674  
 T       t5675   o746 b5675 b4 b753  
 B       b5676   t5675  
 T       t5676   o745 b5676 b4  
 B       b5677   t5676  
 T       t5677   o2319 b744 b5677 b4 b4  
 B       b5678   t5677  
 T       t5678   o742 b5678  
 B       b5679   t5678  
 P       p474    Number 4785  
 P       p475    Number 4793  
 O       o475    resource_defs p474 p475 p294  
 P       p476    Number 4791  
 O       o476    uid p476 p475  
 T       t480    o476 b816  
 B       b488    t480  
 T       t489    o b488 b4  
 B       b498    t489  
 T       t498    o475 b498  
 B       b504    t498  
 T       t504    o b504 b4  
 B       b505    t504  
 T       t505    o2352 b718 b5665 b5679 b505  
 B       b512    t505  
 T       t512    o473 b512  
 B       b518    t512  
 P       p522    Number 5448  
 P       p523    Number 5852  
 O       o523    location p522 p523  
 P       p2740   String cyc_subg_subgroup  
 O       o2740   rule p2740  
11730  NSummary!term_param     term_param      term_param Summary  NSummary!term_param     term_param      term_param Summary
11731  O       o3263   term_param  O       o3263   term_param
11732  T       t3263   o3263 b596  T       t3263   o3263 b596
# Line 11820  Line 11782 
11782  H       h5705   y_1 t727  H       h5705   y_1 t727
11783  H       h782    y_2 t2226  H       h782    y_2 t2226
11784  H       h783    y_3 t1681  H       h783    y_3 t1681
 H       h3285   y_2 t1681  
 P       p3285   Var a_1  
 O       o3285   var p3285  
 T       t3285   o3285  
 B       b3285   t3285  
 T       t3286   o732 b3285 b1681  
 B       b3286   t3286  
 T       t3287   o603 b2314 b3285 b2507  
 B       b3287   t3287  
 T       t3288   o603 b587 b3285 b2507  
 B       b3288   t3288  
 T       t3289   o309 b3287 b3288  
 B       b3289   t3289  
 T       t3290   o348 b1684 b3289  
 B       b3290   t3290  
 T       t3291   o348 b3286 b3290  
 B       b3291   t3291 b  
 T       t3292   o775 b365 b3291  
 B       b3292   t3292 a_1  
 T       t3293   o775 b365 b3292  
 H       h784    y_4 t3293  
 H       h5706   y_3 t3293  
 T       t5706   o888 b1681 b706 b3285 b2507  
 B       b5706   t5706  
 T       t5707   o888 b733 b711 b3285 b2507  
 B       b5707   t5707  
 T       t5708   o348 b5706 b5707  
 B       b5708   t5708 b  
 T       t5709   o775 b365 b5708  
 B       b5709   t5709 a_1  
 T       t5710   o775 b365 b5709  
 H       h785    z t5710  
 H       h5710   z_1 t5710  
11785  H       h3294   x t259  H       h3294   x t259
11786  T       t3294   o732 b622 b1681  T       t3294   o732 b622 b1681
11787  H       h3295   y t3294  H       h3295   y t3294
 S       s785    t726 h h5704 h5705 h782 h783 h784 h785 h3294 h3295  
 G       s785    t893  
 B       b785    s785  
 T       t785    o747 b785 b5702  
 B       b786    t785  
 S       s5710   t726 h h5704 h5705 h3285 h5706 h5710 h3294 h3295  
 G       s5710   t893  
 B       b5710   s5710  
 T       t5711   o747 b5710 b5702  
 B       b5711   t5711  
11788  T       t3296   o2250 b1681 b733  T       t3296   o2250 b1681 b733
 S       s786    t726 h h5704 h5705 h782 h783 h784 h785  
 G       s786    t3296  
 B       b787    s786  
 T       t787    o747 b787 b5702  
 B       b788    t787  
 S       s788    t726 h h5704 h5705 h782 h783 h784 h785  
 G       s788    t5687  
 B       b789    s788  
 T       t789    o747 b789 b5702  
 B       b790    t789  
 S       s5711   t726 h h5704 h5705 h3285 h5706 h5710  
 G       s5711   t3296  
 B       b5712   s5711  
 T       t5712   o747 b5712 b5702  
 B       b5713   t5712  
 S       s5713   t726 h h5704 h5705 h3285 h5706 h5710  
 G       s5713   t5687  
 B       b5714   s5713  
 T       t5714   o747 b5714 b5702  
 B       b5715   t5714  
 B       b3301   t3293  
 B       b5716   t5710  
 T       t5716   o644 b3301 b5716  
 H       h790    z_1 t5716  
 S       s790    t726 h h5704 h5705 h782 h783 h790  
 G       s790    t5687  
 B       b793    s790  
 T       t793    o747 b793 b5702  
 B       b795    t793  
 H       h5716   z t5716  
 S       s5716   t726 h h5704 h5705 h3285 h5716  
 G       s5716   t5687  
 B       b5717   s5716  
 T       t5717   o747 b5717 b5702  
 B       b5718   t5717  
 B       b5719   t5716  
 T       t5719   o644 b1682 b5719  
 H       h795    z t5719  
 S       s797    t726 h h5704 h5705 h782 h795  
 G       s797    t5687  
 B       b797    s797  
 T       t797    o747 b797 b5702  
 B       b798    t797  
 H       h5719   z_1 t5719  
 S       s5719   t726 h h5704 h5705 h5719  
 G       s5719   t5687  
 B       b5720   s5719  
 T       t5720   o747 b5720 b5702  
 B       b5721   t5720  
 B       b5722   t5719  
 T       t798    o644 b4572 b5722  
 H       h798    z_1 t798  
 S       s798    t726 h h5704 h5705 h798  
 G       s798    t5687  
 B       b799    s798  
 T       t799    o747 b799 b5702  
 B       b800    t799  
 B       b801    t798  
 T       t801    o644 b656 b801  
 H       h801    z t801  
 S       s801    t726 h h5704 h801  
 G       s801    t5687  
 B       b802    s801  
 T       t802    o747 b802 b5702  
 B       b803    t802  
 B       b804    t801  
 T       t804    o644 b1680 b804  
 H       h804    v t804  
 S       s804    t726 h h804  
 G       s804    t5687  
 B       b805    s804  
 T       t805    o747 b805 b5702  
 B       b806    t805  
 T       t5722   o644 b656 b5722  
 H       h5722   z t5722  
 S       s5722   t726 h h5704 h5722  
 G       s5722   t5687  
 B       b5723   s5722  
 T       t5723   o747 b5723 b5702  
 B       b5724   t5723  
 B       b5725   t5722  
 T       t5725   o644 b1680 b5725  
 H       h5725   v t5725  
 S       s5725   t726 h h5725  
 G       s5725   t5687  
 B       b5726   s5725  
 T       t5726   o747 b5726 b5702  
 B       b5727   t5726  
11789  H       h5727   v t635  H       h5727   v t635
11790  S       s5727   t726 h h5727  S       s5727   t726 h h5727
11791  G       s5727   t5687  G       s5727   t5687
# Line 11967  Line 11798 
11798  B       b5731   t5730  B       b5731   t5730
11799  T       t5731   o2 b5731  T       t5731   o2 b5731
11800  B       b5732   t5731  B       b5732   t5731
 T       t806    o746 b806 b4 b5732  
 B       b807    t806  
 T       t807    o2 b807  
 B       b808    t807  
 T       t808    o746 b803 b4 b808  
 B       b809    t808  
 T       t809    o2 b809  
 B       b810    t809  
 T       t810    o746 b800 b4 b810  
 B       b811    t810  
 T       t811    o2 b811  
 B       b812    t811  
 T       t812    o746 b798 b4 b812  
 B       b813    t812  
 T       t814    o2 b813  
 B       b815    t814  
 T       t815    o746 b795 b4 b815  
 B       b829    t815  
 T       t829    o2 b829  
 B       b831    t829  
 T       t831    o746 b790 b780 b831  
 B       b832    t831  
 T       t832    o2 b832  
 B       b833    t832  
 T       t835    o746 b788 b780 b833  
 B       b835    t835  
 T       t837    o2 b835  
 B       b837    t837  
 T       t838    o746 b786 b4 b837  
 B       b839    t838  
 T       t5732   o746 b5727 b4 b5732  
 B       b5733   t5732  
 T       t5733   o2 b5733  
 B       b5734   t5733  
 T       t5734   o746 b5724 b4 b5734  
 B       b5735   t5734  
 T       t5735   o2 b5735  
 B       b5736   t5735  
 T       t5736   o746 b5721 b4 b5736  
 B       b5737   t5736  
 T       t5737   o2 b5737  
 B       b5738   t5737  
 T       t5738   o746 b5718 b4 b5738  
 B       b5739   t5738  
 T       t5739   o2 b5739  
 B       b5740   t5739  
 T       t5740   o746 b5715 b780 b5740  
 B       b5741   t5740  
 T       t5741   o2 b5741  
 B       b5742   t5741  
 T       t5742   o746 b5713 b780 b5742  
 B       b5743   t5742  
 T       t5743   o2 b5743  
 B       b5744   t5743  
 T       t5744   o746 b5711 b4 b5744  
 B       b5745   t5744  
 H       h3325   a_1 t259  
 H       h3326   x t3286  
 T       t3326   o507 b3287 b3288  
 S       s840    t726 h h5704 h5705 h782 h783 h784 h785 h3325 h2516 h3326 h3231  
 G       s840    t3326  
 B       b841    s840  
 T       t841    o747 b841 b5702  
 B       b844    t841  
 S       s844    t726 h h5704 h5705 h782 h783 h784 h785 h3325 h2516 h3326 h3231  
 G       s844    t3289  
 B       b845    s844  
 T       t845    o747 b845 b5702  
 B       b846    t845  
 T       t846    o746 b846 b780 b833  
 B       b847    t846  
 T       t847    o2 b847  
 B       b848    t847  
 T       t848    o746 b844 b4 b848  
 B       b849    t848  
 T       t849    o b849 b4  
 B       b850    t849  
 T       t850    o b839 b850  
 B       b851    t850  
 T       t851    o745 b5704 b851  
 B       b852    t851  
 P       p852    String "setSubstT << equal{car{'s}; collect{int; x. power{'g; 'a; 'x}}} >> 9 thenT autoT"  
 O       o852    ext_rule p852  
11801  T       t3335   o732 b622 b624  T       t3335   o732 b622 b624
11802  H       h3335   v t3335  H       h3335   v t3335
 S       s852    t726 h h5704 h5705 h782 h783 h784 h785 h3294 h3295 h3335  
 G       s852    t893  
 B       b853    s852  
 T       t853    o747 b853 b5702  
 B       b854    t853  
 T       t855    o2 b839  
 B       b856    t855  
 T       t856    o746 b854 b4 b856  
 B       b858    t856  
 T       t858    o b858 b4  
 B       b860    t858  
 T       t860    o745 b839 b860  
 B       b861    t860  
 P       p861    String "rwh reduceC 10 thenT autoT"  
 O       o861    ext_rule p861  
 H       h861    y_5 t621  
 P       p862    Var y_5  
 O       o862    var p862  
 T       t862    o862  
 B       b862    t862  
 T       t863    o586 b587 b596 b862  
 B       b863    t863  
 T       t864    o507 b622 b863  
 H       h864    z_1 t864  
 S       s864    t726 h h5704 h5705 h782 h783 h784 h785 h3294 h3295 h861 h864  
 G       s864    t893  
 B       b864    s864  
 T       t865    o747 b864 b5702  
 B       b865    t865  
 S       s5755   t726 h h5704 h5705 h3285 h5706 h5710 h3294 h3295 h3335  
 G       s5755   t893  
 B       b5756   s5755  
 T       t5756   o747 b5756 b5702  
 B       b5757   t5756  
 T       t5757   o2 b5745  
 B       b5758   t5757  
 T       t5758   o746 b5757 b4 b5758  
 B       b5759   t5758  
 P       p5761   String "rwh reduceC 9 thenT autoT"  
 O       o5761   ext_rule p5761  
 H       h5761   y_4 t621  
 P       p5762   Var y_4  
 O       o5762   var p5762  
 T       t5762   o5762  
 B       b5762   t5762  
 T       t5763   o586 b587 b596 b5762  
 B       b5763   t5763  
 T       t5764   o507 b622 b5763  
 H       h5764   z t5764  
 S       s5764   t726 h h5704 h5705 h3285 h5706 h5710 h3294 h3295 h5761 h5764  
 G       s5764   t893  
 B       b5764   s5764  
 T       t5765   o747 b5764 b5702  
 B       b5765   t5765  
 P       p3341   String "rwh reduceC 8 thenT autoT"  
 O       o3341   ext_rule p3341  
 P       p3342   Var y_3  
 O       o3342   var p3342  
 T       t3342   o3342  
 B       b3342   t3342  
 T       t3343   o586 b587 b596 b3342  
 B       b3343   t3343  
11803  NItt_logic!exists       exists  exists Itt_logic  NItt_logic!exists       exists  exists Itt_logic
11804  O       o3345   exists  O       o3345   exists
11805  P       p3345   Var t  P       p3345   Var t
# Line 12126  Line 11812 
11812  B       b3348   t3348 t  B       b3348   t3348 t
11813  T       t3349   o3345 b621 b3348  T       t3349   o3345 b621 b3348
11814  H       h3349   v t3349  H       h3349   v t3349
 S       s865    t726 h h5704 h5705 h782 h783 h784 h785 h3294 h3295 h3349  
 G       s865    t893  
 B       b866    s865  
 T       t866    o747 b866 b5702  
 B       b867    t866  
 T       t867    o2 b858  
 B       b868    t867  
 T       t868    o746 b867 b4 b868  
 B       b869    t868  
 T       t869    o2 b869  
 B       b870    t869  
 T       t870    o746 b865 b4 b870  
 B       b871    t870  
 T       t871    o b871 b4  
 B       b872    t871  
 T       t872    o745 b858 b872  
 B       b873    t872  
 P       p873    String "setSubstT << equal{'x; power{'g; 'a; 'y_5}} >> 0 thenT autoT"  
 O       o873    ext_rule p873  
 T       t873    o745 b871 b4  
 B       b874    t873  
 T       t874    o873 b744 b874 b4 b4  
 B       b875    t874  
 T       t875    o b875 b4  
 B       b876    t875  
 T       t876    o861 b744 b873 b876 b4  
 B       b878    t876  
 T       t878    o b878 b4  
 B       b879    t878  
 S       s5765   t726 h h5704 h5705 h3285 h5706 h5710 h3294 h3295 h3349  
 G       s5765   t893  
 B       b5766   s5765  
 T       t5766   o747 b5766 b5702  
 B       b5767   t5766  
 T       t5767   o2 b5759  
 B       b5768   t5767  
 T       t5768   o746 b5767 b4 b5768  
 B       b5769   t5768  
 T       t5769   o2 b5769  
 B       b5770   t5769  
 T       t5770   o746 b5765 b4 b5770  
 B       b5771   t5770  
 T       t5771   o b5771 b4  
 B       b5772   t5771  
 T       t5772   o745 b5759 b5772  
 B       b5773   t5772  
 P       p5773   String "setSubstT << equal{'x; power{'g; 'a; 'y_4}} >> 0 thenT autoT"  
 O       o5773   ext_rule p5773  
 T       t5773   o745 b5771 b4  
 B       b5774   t5773  
 T       t5774   o5773 b744 b5774 b4 b4  
 B       b5775   t5774  
 T       t5775   o b5775 b4  
 B       b5776   t5775  
 T       t5776   o5761 b744 b5773 b5776 b4  
 B       b5777   t5776  
 T       t5777   o b5777 b4  
 B       b5778   t5777  
 H       h5778   v t259  
 S       s879    t726 h h5704 h5705 h782 h783 h784 h785 h3294 h3295 h5778  
 G       s879    t893  
 B       b880    s879  
 T       t880    o747 b880 b5702  
 B       b881    t880  
 T       t881    o746 b881 b4 b856  
 B       b882    t881  
 T       t526    o b882 b4  
 B       b526    t526  
 T       t540    o745 b882 b526  
 B       b540    t540  
 P       p3356   String "setSubstT << equal{'x; power{'g; 'a; 'y_3}} >> 0 ttca"  
 O       o3356   ext_rule p3356  
 T       t5783   o309 b622 b3343  
 S       s883    t726 h h5704 h5705 h782 h783 h784 h785 h3294 h3295 h5778  
 G       s883    t5783  
 B       b884    s883  
 T       t884    o747 b884 b5702  
 B       b888    t884  
 T       t888    o2 b882  
 B       b890    t888  
 T       t890    o2406 b888 b4 b890  
 B       b900    t890  
 T       t5787   o732 b3343 b733  
 S       s900    t726 h h5704 h5705 h782 h783 h784 h785 h3294 h3295 h5778  
 G       s900    t5787  
 B       b901    s900  
 T       t901    o747 b901 b5702  
 B       b963    t901  
 T       t963    o746 b963 b4 b890  
 B       b964    t963  
 T       t964    o b964 b4  
 B       b965    t964  
 T       t965    o b900 b965  
 B       b966    t965  
 T       t966    o745 b882 b966  
 B       b979    t966  
 T       t979    o3727 b900  
 B       b980    t979  
 T       t985    o3727 b964  
 B       b1007   t985  
 T       t1007   o b1007 b4  
 B       b1008   t1007  
 T       t1010   o b980 b1008  
 B       b1038   t1010  
 T       t1038   o3356 b744 b979 b1038 b4  
 B       b1040   t1038  
 T       t1103   o b1040 b4  
 B       b1104   t1103  
 T       t570    o3341 b744 b540 b1104 b4  
 B       b595    t570  
 T       t595    o b595 b5778  
 B       b628    t595  
 T       t628    o852 b744 b861 b879 b628  
 B       b629    t628  
 P       p1107   String "instHypT [<< 'a_1 >>; << 'b >>] 6 ttca thenT dT 12 ttca thenT dT 12 ttca thenT rwh unfold_equal 12 ttca"  
 O       o1107   ext_rule p1107  
 T       t1107   o745 b849 b4  
 B       b1108   t1107  
 T       t1112   o1107 b744 b1108 b4 b4  
 B       b1222   t1112  
 T       t1222   o b1222 b4  
 B       b1223   t1222  
 T       t629    o b629 b1223  
 B       b644    t629  
 T       t644    o2768 b744 b852 b644 b4  
 B       b645    t644  
 T       t645    o742 b645  
 B       b666    t645  
 T       t666    o2740 b3265 b5695 b666 b4  
 B       b679    t666  
 T       t679    o523 b679  
 B       b686    t679  
 P       p686    Number 5854  
 P       p688    Number 5924  
 O       o691    location p686 p688  
 O       o693    str_let p686 p688  
 P       p693    Number 5858  
 O       o694    patt_var p693 p688  
 O       o695    patt_done p686 p688  
 T       t702    o695  
 B       b702    t702 cycsubgSubgroupT  
 T       t703    o694 b702  
 B       b703    t703  
11815  NOcaml!fun      fun     fun Ocaml  NOcaml!fun      fun     fun Ocaml
 O       o703    fun p693 p688  
11816  NOcaml!patt_if  patt_if patt_if Ocaml  NOcaml!patt_if  patt_if patt_if Ocaml
 O       o704    patt_if p693 p688  
 P       p704    Number 5875  
 P       p705    Number 5876  
 O       o705    patt_var p704 p705  
11817  NOcaml!patt_body        patt_body       patt_body Ocaml  NOcaml!patt_body        patt_body       patt_body Ocaml
 O       o706    patt_body p693 p688  
 P       p706    Number 5877  
 P       p707    Number 5878  
 O       o707    patt_var p706 p707  
 P       p708    Number 5884  
 O       o708    apply p708 p688  
 P       p709    Number 5922  
 O       o709    apply p708 p709  
 P       p710    Number 5920  
 O       o710    apply p708 p710  
 P       p711    Number 5901  
 O       o711    lid p708 p711  
 O       o3139   lid p2740  
 T       t3145   o3139  
 B       b3146   t3145  
 T       t713    o711 b3146  
 B       b713    t713  
 P       p713    Number 5903  
 P       p714    Number 5919  
 O       o714    apply p713 p714  
 P       p715    Number 5917  
 O       o715    lid p713 p715  
11818  P       p3188   String hyp_count_addr  P       p3188   String hyp_count_addr
11819  O       o3188   lid p3188  O       o3188   lid p3188
11820  T       t3188   o3188  T       t3188   o3188
11821  B       b3188   t3188  B       b3188   t3188
 T       t738    o715 b3188  
 B       b738    t738  
 P       p738    Number 5918  
 O       o738    lid p738 p714  
11822  P       p3190   Var p  P       p3190   Var p
11823  O       o3190   var p3190  O       o3190   var p3190
11824  T       t3190   o3190  T       t3190   o3190
11825  B       b3190   t3190  B       b3190   t3190
11826  T       t742    o738 b3190  T       t2353   o732 b3190 b1681
11827  B       b742    t742  H       h2354   x t2353
11828  T       t745    o714 b738 b742  P       p2354   Var q
11829  B       b745    t745  O       o2354   var p2354
11830  T       t748    o710 b713 b745  T       t2354   o2354
11831  B       b748    t748  B       b2354   t2354
11832  P       p748    Number 5921  T       t2358   o732 b2354 b1681
11833  O       o748    lid p748 p709  H       h2358   y t2358
11834  T       t749    o748 b3346  T       t2359   o888 b733 b711 b3190 b2354
11835  B       b749    t749  H       h2359   v t2359
11836  T       t750    o709 b748 b749  T       t2360   o888 b1681 b706 b3190 b2354
11837  B       b750    t750  S       s2360   t726 h h2352 h2353 h2354 h2358 h2359
11838  P       p750    Number 5923  G       s2360   t2360
11839  O       o750    lid p750 p688  B       b2360   s2360
11840  T       t752    o750 b3190  T       t2361   o719 b2360
11841  B       b752    t752  B       b2361   t2361
11842  T       t754    o708 b750 b752  T       t2368   o718 b2361 b5656
11843  B       b754    t754  B       b2368   t2368
11844  T       t773    o706 b754  T       t2373   o718 b2352 b2368
11845  B       b774    t773 p  B       b2374   t2373
11846  T       t776    o707 b774  T       t2374   o718 b2334 b2374
11847  B       b777    t776  B       b2375   t2374
11848  T       t782    o704 b777  T       t2375   o718 b3230 b2375
11849  B       b782    t782  B       b2376   t2375
11850  T       t783    o703 b782  T       t2376   o718 b2227 b2376
11851  B       b783    t783  B       b2377   t2376
11852  T       t784    o706 b783  T       t2377   o718 b3173 b2377
11853  B       b784    t784 t  B       b2378   t2377
11854  T       t786    o705 b784  T       t2378   o718 b3203 b2378
11855  B       b820    t786  B       b2379   t2378
11856  T       t820    o704 b820  T       t2379   o718 b728 b2379
11857  B       b821    t820  B       b2380   t2379
11858  T       t821    o703 b821  T       t2380   o718 b3201 b2380
11859  B       b822    t821  B       b2382   t2380
11860  T       t822    o693 b703 b822  T       t2382   o718 b724 b2382
11861  B       b827    t822  B       b2383   t2382
11862  T       t827    o b827 b4  T       t2383   o b2360 b4
11863  B       b828    t827  B       b2384   t2383
11864  T       t828    o693 b828  T       t2384   o b2348 b2384
11865  B       b830    t828  B       b2385   t2384
11866  T       t830    o424 b830  T       t2385   o b2333 b2385
11867  B       b892    t830  B       b2386   t2385
11868  T       t892    o691 b892  T       t2386   o b3229 b2386
11869  B       b902    t892  B       b2387   t2386
11870    T       t2387   o b2226 b2387
11871    B       b2388   t2387
11872    T       t2388   o b3172 b2388
11873    B       b2389   t2388
11874    T       t2389   o b3202 b2389
11875    B       b2390   t2389
11876    T       t2390   o b727 b2390
11877    B       b2394   t2390
11878    T       t2394   o b3200 b2394
11879    B       b2395   t2394
11880    T       t2395   o b723 b2395
11881    B       b2396   t2395
11882    T       t2396   o747 b5655 b2396
11883    B       b2397   t2396
11884    T       t2397   o746 b2397 b4 b753
11885    B       b2398   t2397
11886    T       t2400   o745 b2398 b4
11887    B       b2401   t2400
11888    T       t2401   o2319 b744 b2401 b4 b4
11889    B       b2402   t2401
11890    T       t2402   o742 b2402
11891    B       b2403   t2402
11892    P       p2403   Number 4940
11893    P       p2404   Number 4948
11894    O       o2404   resource_defs p2403 p2404 p294
11895    P       p2407   Number 4946
11896    O       o2407   uid p2407 p2404
11897    T       t2407   o2407 b816
11898    B       b2407   t2407
11899    T       t2409   o b2407 b4
11900    B       b2409   t2409
11901    T       t2410   o2404 b2409
11902    B       b2410   t2410
11903    T       t2411   o b2410 b4
11904    B       b2411   t2411
11905    T       t2412   o2352 b718 b2383 b2403 b2411
11906    B       b2412   t2412
11907    T       t2413   o2326 b2412
11908    B       b2413   t2413
11909    P       p2413   Number 5779
11910    P       p2414   Number 6182
11911    O       o2414   location p2413 p2414
11912    P       p2416   String cycsubg_subgroup
11913    O       o2416   rule p2416
11914    H       h2416   y_4 t790
11915    H       h2417   y_5 t1224
11916    H       h2418   z_1 t1672
11917    S       s2419   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418 h3294 h3295
11918    G       s2419   t893
11919    B       b2419   s2419
11920    T       t2419   o747 b2419 b5702
11921    B       b2420   t2419
11922    S       s2420   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418
11923    G       s2420   t3296
11924    B       b2421   s2420
11925    T       t2421   o747 b2421 b5702
11926    B       b2422   t2421
11927    S       s2422   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418
11928    G       s2422   t5687
11929    B       b2423   s2422
11930    T       t2423   o747 b2423 b5702
11931    B       b2424   t2423
11932    H       h2424   z t1673
11933    S       s2424   t726 h h5704 h5705 h782 h783 h2416 h2424
11934    G       s2424   t5687
11935    B       b2425   s2424
11936    T       t2425   o747 b2425 b5702
11937    B       b2426   t2425
11938    H       h2426   z_1 t1674
11939    S       s2426   t726 h h5704 h5705 h782 h783 h2426
11940    G       s2426   t5687
11941    B       b2427   s2426
11942    T       t2427   o747 b2427 b5702
11943    B       b2428   t2427
11944    H       h2428   z t1675
11945    S       s2428   t726 h h5704 h5705 h782 h2428
11946    G       s2428   t5687
11947    B       b2429   s2428
11948    T       t2429   o747 b2429 b5702
11949    B       b2430   t2429
11950    H       h2430   z_1 t1676
11951    S       s2430   t726 h h5704 h5705 h2430
11952    G       s2430   t5687
11953    B       b2431   s2430
11954    T       t2431   o747 b2431 b5702
11955    B       b2432   t2431
11956    H       h2432   z t1688
11957    S       s2432   t726 h h5704 h2432
11958    G       s2432   t5687
11959    B       b2433   s2432
11960    T       t2433   o747 b2433 b5702
11961    B       b2434   t2433
11962    H       h2434   v t1689
11963    S       s2434   t726 h h2434
11964    G       s2434   t5687
11965    B       b2435   s2434
11966    T       t2435   o747 b2435 b5702
11967    B       b2439   t2435
11968    T       t2439   o746 b2439 b4 b5732
11969    B       b2440   t2439
11970    T       t2440   o2 b2440
11971    B       b2441   t2440
11972    T       t2441   o746 b2434 b4 b2441
11973    B       b2442   t2441
11974    T       t2442   o2 b2442
11975    B       b2443   t2442
11976    T       t2445   o746 b2432 b4 b2443
11977    B       b2446   t2445
11978    T       t2446   o2 b2446
11979    B       b2447   t2446
11980    T       t2447   o746 b2430 b4 b2447
11981    B       b2448   t2447
11982    T       t2448   o2 b2448
11983    B       b2449   t2448
11984    T       t2449   o746 b2428 b4 b2449
11985    B       b2450   t2449
11986    T       t2450   o2 b2450
11987    B       b2452   t2450
11988    T       t2452   o746 b2426 b4 b2452
11989    B       b2453   t2452
11990    T       t2453   o2 b2453
11991    B       b2454   t2453
11992    T       t2454   o746 b2424 b780 b2454
11993    B       b2455   t2454
11994    T       t2455   o2 b2455
11995    B       b2456   t2455
11996    T       t2456   o746 b2422 b780 b2456
11997    B       b2457   t2456
11998    T       t2457   o2 b2457
11999    B       b2458   t2457
12000    T       t2458   o746 b2420 b4 b2458
12001    B       b2459   t2458
12002    T       t2459   o b2459 b4
12003    B       b2460   t2459
12004    T       t2460   o745 b5704 b2460
12005    B       b2461   t2460
12006    P       p2461   String "setSubstT << equal{car{'s}; collect{int; x. power{'g; 'a; 'x}}} >> 10 thenT autoT"
12007    O       o2461   ext_rule p2461
12008    S       s2461   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418 h3294 h3295 h3335
12009    G       s2461   t893
12010    B       b2462   s2461
12011    T       t2462   o747 b2462 b5702
12012    B       b2463   t2462
12013    T       t2463   o2 b2459
12014    B       b2464   t2463
12015    T       t2464   o746 b2463 b4 b2464
12016    B       b2465   t2464
12017    T       t2465   o b2465 b4
12018    B       b2466   t2465
12019    T       t2466   o745 b2459 b2466
12020    B       b2467   t2466
12021    P       p2467   String "rwh reduceC 11 thenT autoT"
12022    O       o2467   ext_rule p2467
12023    H       h2467   y_6 t621
12024    P       p2468   Var y_6
12025    O       o2468   var p2468
12026    T       t2468   o2468
12027    B       b2468   t2468
12028    T       t2469   o586 b587 b596 b2468
12029    B       b2469   t2469
12030    T       t2470   o507 b622 b2469
12031    H       h2470   z t2470
12032    S       s2470   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418 h3294 h3295 h2467 h2470
12033    G       s2470   t893
12034    B       b2470   s2470
12035    T       t2471   o747 b2470 b5702
12036    B       b2471   t2471
12037    S       s2471   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418 h3294 h3295 h3349
12038    G       s2471   t893
12039    B       b2472   s2471
12040    T       t2472   o747 b2472 b5702
12041    B       b2473   t2472
12042    T       t2473   o2 b2465
12043    B       b2474   t2473
12044    T       t2474   o746 b2473 b4 b2474
12045    B       b2475   t2474
12046    T       t2475   o2 b2475
12047    B       b2476   t2475
12048    T       t2476   o746 b2471 b4 b2476
12049    B       b2477   t2476
12050    T       t2477   o b2477 b4
12051    B       b2478   t2477
12052    T       t2478   o745 b2465 b2478
12053    B       b2479   t2478
12054    P       p2479   String "setSubstT << equal{'x; power{'g; 'a; 'y_6}} >> 0 thenT autoT"
12055    O       o2479   ext_rule p2479
12056    T       t2479   o745 b2477 b4
12057    B       b2481   t2479
12058    T       t2481   o2479 b744 b2481 b4 b4
12059    B       b2482   t2481
12060    T       t2482   o b2482 b4
12061    B       b2483   t2482
12062    T       t2483   o2467 b744 b2479 b2483 b4
12063    B       b2484   t2483
12064    T       t2484   o b2484 b4
12065    B       b2485   t2484
12066    T       t2485   o2461 b744 b2467 b2485 b4
12067    B       b2489   t2485
12068    T       t2489   o b2489 b4
12069    B       b2491   t2489
12070    T       t2491   o2768 b744 b2461 b2491 b4
12071    B       b2492   t2491
12072    T       t2492   o742 b2492
12073    B       b2493   t2492
12074    T       t2493   o2416 b3265 b5695 b2493 b4
12075    B       b2516   t2493
12076    T       t2518   o2414 b2516
12077    B       b2518   t2518
12078    P       p2518   Number 6184
12079    P       p2519   Number 6253
12080    O       o2519   location p2518 p2519
12081    O       o2520   str_let p2518 p2519
12082    P       p2520   Number 6188
12083    O       o2521   patt_var p2520 p2519
12084    O       o2522   patt_done p2518 p2519
12085    T       t2524   o2522
12086    B       b2592   t2524 cycsubgSubgroupT
12087    T       t2592   o2521 b2592
12088    B       b2593   t2592
12089    O       o2594   fun p2520 p2519
12090    O       o2595   patt_if p2520 p2519
12091    P       p2595   Number 6205
12092    P       p2596   Number 6206
12093    O       o2596   patt_var p2595 p2596
12094    O       o2597   patt_body p2520 p2519
12095    P       p2597   Number 6207
12096    P       p2598   Number 6208
12097    O       o2598   patt_var p2597 p2598
12098    P       p2599   Number 6214
12099    O       o2599   apply p2599 p2519
12100    P       p2600   Number 6251
12101    O       o2600   apply p2599 p2600
12102    P       p2601   Number 6249
12103    O       o2601   apply p2599 p2601
12104    P       p2602   Number 6230
12105    O       o2602   lid p2599 p2602
12106    O       o2603   lid p2416
12107    T       t2613   o2603
12108    B       b2680   t2613
12109    T       t2680   o2602 b2680
12110    B       b2681   t2680
12111    P       p2682   Number 6232
12112    P       p2683   Number 6248
12113    O       o2683   apply p2682 p2683
12114    P       p2684   Number 6246
12115    O       o2684   lid p2682 p2684
12116    T       t2684   o2684 b3188
12117    B       b2684   t2684
12118    P       p2685   Number 6247
12119    O       o2685   lid p2685 p2683
12120    T       t2685   o2685 b3190
12121    B       b2685   t2685
12122    T       t2686   o2683 b2684 b2685
12123    B       b2686   t2686
12124    T       t2687   o2601 b2681 b2686
12125    B       b2687   t2687
12126    P       p2687   Number 6250
12127    O       o2687   lid p2687 p2600
12128    T       t2688   o2687 b3346
12129    B       b2688   t2688
12130    T       t2689   o2600 b2687 b2688
12131    B       b2689   t2689
12132    P       p2689   Number 6252
12133    O       o2689   lid p2689 p2519
12134    T       t2690   o2689 b3190
12135    B       b2690   t2690
12136    T       t2691   o2599 b2689 b2690
12137    B       b2691   t2691
12138    T       t2692   o2597 b2691
12139    B       b2692   t2692 p
12140    T       t2693   o2598 b2692
12141    B       b2693   t2693
12142    T       t2694   o2595 b2693
12143    B       b2694   t2694
12144    T       t2695   o2594 b2694
12145    B       b2695   t2695
12146    T       t2696   o2597 b2695
12147    B       b2696   t2696 t
12148    T       t2697   o2596 b2696
12149    B       b2718   t2697
12150    T       t2718   o2595 b2718
12151    B       b2719   t2718
12152    T       t2719   o2594 b2719
12153    B       b2720   t2719
12154    T       t2720   o2520 b2593 b2720
12155    B       b2721   t2720
12156    T       t2721   o b2721 b4
12157    B       b2722   t2721
12158    T       t2722   o2520 b2722
12159    B       b2723   t2722
12160    T       t2723   o424 b2723
12161    B       b2724   t2723
12162    T       t2724   o2519 b2724
12163    B       b2725   t2724
12164  NSummary!id     id2334  id Summary  NSummary!id     id2334  id Summary
12165  P       p2334   Number 477186461  P       p2334   Number 477186461
12166  O       o2334   id2334 p2334  O       o2334   id2334 p2334
# Line 12364  Line 12170 
12170  B       b2336   t2336  B       b2336   t2336
12171  T       t2337   o b2336 b4  T       t2337   o b2336 b4
12172  B       b2337   t2337  B       b2337   t2337
12173  T       t902    o b902 b2337  T       t2725   o b2725 b2337
12174  B       b903    t902  B       b2726   t2725
12175  T       t903    o b686 b903  T       t2726   o b2518 b2726
12176  B       b904    t903  B       b2727   t2726
12177  T       t904    o b518 b904  T       t2727   o b2413 b2727
12178  B       b905    t904  B       b2728   t2727
12179  T       t905    o b471 b905  T       t2728   o b2325 b2728
12180  B       b906    t905  B       b2729   t2728
12181  T       t906    o b406 b906  T       t2729   o b2308 b2729
12182  B       b907    t906  B       b2730   t2729
12183  T       t907    o b678 b907  T       t2730   o b2294 b2730
12184  B       b1445   t907  B       b2731   t2730
12185  T       t1445   o b665 b1445  T       t2731   o b2283 b2731
12186  B       b1446   t1445  B       b2732   t2731
12187  T       t1446   o b652 b1446  T       t2732   o b2274 b2732
12188  B       b1447   t1446  B       b2734   t2732
12189  T       t1447   o b641 b1447  T       t2734   o b2262 b2734
12190  B       b1448   t1447  B       b2735   t2734
12191  T       t1448   o b627 b1448  T       t2735   o b2248 b2735
12192  B       b1449   t1448  B       b2736   t2735
12193  T       t1449   o b593 b1449  T       t2736   o b2239 b2736
12194  B       b1452   t1449  B       b2737   t2736
12195  T       t1452   o b571 b1452  T       t2737   o b2225 b2737
12196  B       b1453   t1452  B       b2738   t2737
12197  T       t1453   o b532 b1453  T       t2738   o b2214 b2738
12198  B       b1454   t1453  B       b2739   t2738
12199  T       t1454   o b525 b1454  T       t2739   o b2213 b2739
12200  B       b1455   t1454  B       b2741   t2739
12201  T       t1455   o b772 b1455  T       t2741   o b2212 b2741
12202  B       b1456   t1455  B       b2742   t2741
12203  T       t1456   o b643 b1456  T       t2742   o b2141 b2742
12204  B       b1457   t1456  B       b2743   t2742
12205  T       t1457   o b303 b1457  T       t2743   o b1736 b2743
12206  B       b1623   t1457  B       b2748   t2743
12207  T       t1626   o b617 b1623  T       t2748   o b617 b2748
12208  B       b1670   t1626  B       b2749   t2748
12209  T       t1670   o b669 b1670  T       t2749   o b669 b2749
12210  B       b1677   t1670  B       b2750   t2749
12211  T       t1677   o b592 b1677  T       t2750   o b592 b2750
12212  B       b1678   t1677  B       b2751   t2750
12213  T       t1678   o b583 b1678  T       t2751   o b583 b2751
12214  B       b1679   t1678  B       b2752   t2751
12215  T       t1679   o b576 b1679  T       t2752   o b576 b2752
12216  B       b1690   t1679  B       b2753   t2752
12217  T       t1690   o b569 b1690  T       t2753   o b569 b2753
12218  B       b1691   t1690  B       b2754   t2753
12219  T       t1691   o b562 b1691  T       t2754   o b562 b2754
12220  B       b1692   t1691  B       b2755   t2754
12221  T       t1692   o b555 b1692  T       t2755   o b555 b2755
12222  B       b1693   t1692  B       b2756   t2755
12223  T       t1693   o b547 b1693  T       t2756   o b547 b2756
12224  B       b1694   t1693  B       b2757   t2756
12225  T       t1694   o b539 b1694  T       t2757   o b539 b2757
12226  B       b1695   t1694  B       b2759   t2757
12227  T       t1695   o b531 b1695  T       t2759   o b531 b2759
12228  B       b1699   t1695  B       b2760   t2759
12229  T       t1706   o b524 b1699  T       t2768   o b524 b2760
12230  B       b1954   t1706  B       b2769   t2768
12231  T       t1954   o b517 b1954  T       t2769   o b517 b2769
12232  B       b1955   t1954  B       b2770   t2769
12233  T       t1955   o b510 b1955  T       t2770   o b510 b2770
12234  B       b1956   t1955  B       b2771   t2770
12235  T       t1956   o b503 b1956  T       t2771   o b503 b2771
12236  B       b1959   t1956  B       b2772   t2771
12237  T       t1959   o b496 b1959  T       t2772   o b496 b2772
12238  B       b2109   t1959  B       b2773   t2772
12239  T       t2109   o b487 b2109  T       t2773   o b487 b2773
12240  B       b2110   t2109  B       b2774   t2773
12241  T       t2110   o b478 b2110  T       t2774   o b478 b2774
12242  B       b2115   t2110  B       b2775   t2774
12243  T       t2124   o b469 b2115  T       t2775   o b469 b2775
12244  B       b2193   t2124  B       b2776   t2775
12245  T       t2194   o b460 b2193  T       t2776   o b460 b2776
12246  B       b2194   t2194  B       b2777   t2776
12247  T       t2198   o b451 b2194  T       t2777   o b451 b2777
12248  B       b2198   t2198  B       b2778   t2777
12249  T       t2201   o b442 b2198  T       t2778   o b442 b2778
12250  B       b2201   t2201  B       b2779   t2778
12251  T       t2203   o b433 b2201  T       t2779   o b433 b2779
12252  B       b2203   t2203  B       b2780   t2779
12253  T       t2206   o b422 b2203  T       t2780   o b422 b2780
12254  B       b2206   t2206  B       b2781   t2780
12255  T       t2207   o b420 b2206  T       t2781   o b420 b2781
12256  B       b2207   t2207  B       b2782   t2781
12257  T       t2208   o b418 b2207  T       t2782   o b418 b2782
12258  B       b2208   t2208  B       b2783   t2782
12259  T       t2209   o b633 b2208  T       t2783   o b633 b2783
12260  B       b2209   t2209  B       b2784   t2783
12261  T       t2210   o b594 b2209  T       t2784   o b594 b2784

Removed from v.3560  
changed lines
  Added in v.3561

  ViewVC Help
Powered by ViewVC 1.1.26