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

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

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

revision 3463 by nogin, Sat Dec 8 03:17:49 2001 UTC revision 3484 by xiny, Wed Jan 30 00:36:09 2002 UTC
# Line 1739  Line 1739 
1739  B       b670    t670  B       b670    t670
1740  T       t671    o653 b670  T       t671    o653 b670
1741  B       b671    t671  B       b671    t671
1742  P       p671    Number 1483  P       p3      Number 1570
1743  P       p672    Number 1760  P       p4      Number 1847
1744  O       o672    location p671 p672  O       o6      location p3 p4
1745  P       p673    String op_eq1  P       p673    String op_eq1
1746  O       o673    rule p673  O       o673    rule p673
1747  P       p674    Var s3  P       p674    Var s3
# Line 1781  Line 1781 
1781  B       b685    t685  B       b685    t685
1782  T       t686    o635 b639 b685  T       t686    o635 b639 b685
1783  B       b686    t686  B       b686    t686
1784  P       p686    Number 1505  P       p6      Number 1592
1785  P       p687    Number 1512  P       p8      Number 1599
1786  O       o687    resource_defs p686 p687 p264  O       o8      resource_defs p6 p8 p264
1787  P       p688    Number 1510  P       p10     Number 1597
1788  O       o688    uid p688 p687  O       o10     uid p10 p8
1789  T       t688    o688 b626  T       t965    o10 b626
1790  B       b688    t688  B       b987    t965
1791  T       t689    o b688 b4  T       t987    o b987 b4
1792  B       b689    t689  B       b988    t987
1793  T       t690    o687 b689  T       t988    o8 b988
1794  B       b690    t690  B       b989    t988
1795  T       t691    o b690 b4  T       t989    o b989 b4
1796  B       b691    t691  B       b990    t989
1797  T       t692    o673 b618 b686 b623 b691  T       t990    o673 b618 b686 b623 b990
1798  B       b692    t692  B       b1011   t990
1799  T       t693    o672 b692  T       t1011   o6 b1011
1800  B       b693    t693  B       b1012   t1011
1801  P       p693    Number 1762  P       p1012   Number 1849
1802  P       p694    Number 2039  P       p1013   Number 2126
1803  O       o694    location p693 p694  O       o1013   location p1012 p1013
1804  P       p695    String op_eq2  P       p695    String op_eq2
1805  O       o695    rule p695  O       o695    rule p695
1806  T       t695    o559 b560 b674  T       t695    o559 b560 b674
# Line 1821  Line 1821 
1821  B       b701    t701  B       b701    t701
1822  T       t702    o635 b639 b701  T       t702    o635 b639 b701
1823  B       b702    t702  B       b702    t702
1824  P       p702    Number 1784  P       p1014   Number 1871
1825  P       p703    Number 1791  P       p1015   Number 1878
1826  O       o703    resource_defs p702 p703 p264  O       o1015   resource_defs p1014 p1015 p264
1827  P       p704    Number 1789  P       p1017   Number 1876
1828  O       o704    uid p704 p703  O       o1017   uid p1017 p1015
1829  T       t704    o704 b626  T       t1028   o1017 b626
1830  B       b704    t704  B       b1039   t1028
1831  T       t705    o b704 b4  T       t1039   o b1039 b4
1832  B       b705    t705  B       b1040   t1039
1833  T       t706    o703 b705  T       t1040   o1015 b1040
1834  B       b706    t706  B       b1041   t1040
1835  T       t707    o b706 b4  T       t1041   o b1041 b4
1836  B       b707    t707  B       b1068   t1041
1837  T       t708    o695 b618 b702 b623 b707  T       t1068   o695 b618 b702 b623 b1068
1838  B       b708    t708  B       b1069   t1068
1839  T       t709    o694 b708  T       t1069   o1013 b1069
1840  B       b709    t709  B       b1070   t1069
1841  P       p709    Number 2041  P       p1070   Number 2128
1842  O       o709    location p709 p334  P       p1072   Number 2261
1843    O       o1072   location p1070 p1072
1844  P       p710    String op_fun1  P       p710    String op_fun1
1845  O       o710    rule p710  O       o710    rule p710
1846  T       t710    o620 b573  T       t710    o620 b573
# Line 1864  Line 1865 
1865  B       b715    t715  B       b715    t715
1866  T       t716    o635 b711 b715  T       t716    o635 b711 b715
1867  B       b716    t716  B       b716    t716
1868  P       p716    Number 2064  P       p1073   Number 2158
1869  P       p717    Number 2071  O       o1073   resource_defs p331 p1073 p264
1870  O       o717    resource_defs p716 p717 p264  P       p1074   Number 2156
1871  P       p718    Number 2069  O       o1074   uid p1074 p1073
1872  O       o718    uid p718 p717  T       t1074   o1074 b626
1873  T       t718    o718 b626  B       b1075   t1074
1874  B       b718    t718  T       t1075   o b1075 b4
1875  T       t719    o b718 b4  B       b1076   t1075
1876  B       b719    t719  T       t1076   o1073 b1076
1877  T       t720    o717 b719  B       b1077   t1076
1878  B       b720    t720  T       t1080   o b1077 b4
1879  T       t721    o b720 b4  B       b1081   t1080
1880  B       b721    t721  T       t1081   o710 b618 b716 b623 b1081
1881  T       t722    o710 b618 b716 b623 b721  B       b1082   t1081
1882  B       b722    t722  T       t1082   o1072 b1082
1883  T       t723    o709 b722  B       b1083   t1082
1884  B       b723    t723  P       p1083   Number 2263
1885  P       p723    Number 2176  P       p1084   Number 2396
1886  P       p724    Number 2309  O       o1084   location p1083 p1084
 O       o724    location p723 p724  
1887  P       p725    String op_fun2  P       p725    String op_fun2
1888  O       o725    rule p725  O       o725    rule p725
1889  T       t725    o559 b573 b712  T       t725    o559 b573 b712
# Line 1896  Line 1896 
1896  B       b727    t727  B       b727    t727
1897  T       t728    o635 b711 b727  T       t728    o635 b711 b727
1898  B       b728    t728  B       b728    t728
1899  P       p728    Number 2199  P       p1085   Number 2286
1900  P       p729    Number 2206  P       p1086   Number 2293
1901  O       o729    resource_defs p728 p729 p264  O       o1086   resource_defs p1085 p1086 p264
1902  P       p730    Number 2204  P       p1087   Number 2291
1903  O       o730    uid p730 p729  O       o1087   uid p1087 p1086
1904  T       t730    o730 b626  T       t1091   o1087 b626
1905  B       b730    t730  B       b1173   t1091
1906  T       t731    o b730 b4  T       t1181   o b1173 b4
1907  B       b731    t731  B       b1266   t1181
1908  T       t732    o729 b731  T       t1271   o1086 b1266
1909  B       b732    t732  B       b1303   t1271
1910  T       t733    o b732 b4  T       t1303   o b1303 b4
1911  B       b733    t733  B       b1304   t1303
1912  T       t734    o725 b618 b728 b623 b733  T       t1304   o725 b618 b728 b623 b1304
1913  B       b734    t734  B       b1305   t1304
1914  T       t735    o724 b734  T       t1309   o1084 b1305
1915  B       b735    t735  B       b1319   t1309
1916  P       p735    Number 2499  P       p1319   Number 2398
1917  P       p736    Number 2892  P       p1320   Number 2791
1918  O       o736    location p735 p736  O       o1320   location p1319 p1320
1919  P       p737    String op_assoc1  P       p737    String op_assoc1
1920  O       o737    rule p737  O       o737    rule p737
1921  T       t737    o655 b674 b554  T       t737    o655 b674 b554
# Line 1948  Line 1948 
1948  B       b747    t747  B       b747    t747
1949  T       t748    o635 b639 b747  T       t748    o635 b639 b747
1950  B       b748    t748  B       b748    t748
1951  P       p748    Number 2524  P       p1322   Number 2423
1952  P       p749    Number 2531  P       p1323   Number 2430
1953  O       o749    resource_defs p748 p749 p264  O       o1323   resource_defs p1322 p1323 p264
1954  P       p750    Number 2529  P       p1324   Number 2428
1955  O       o750    uid p750 p749  O       o1324   uid p1324 p1323
1956  T       t750    o750 b626  T       t1331   o1324 b626
1957  B       b750    t750  B       b1340   t1331
1958  T       t751    o b750 b4  T       t1340   o b1340 b4
1959  B       b751    t751  B       b1341   t1340
1960  T       t752    o749 b751  T       t1341   o1323 b1341
1961  B       b752    t752  B       b1342   t1341
1962  T       t753    o b752 b4  T       t1345   o b1342 b4
1963  B       b753    t753  B       b1345   t1345
1964  T       t754    o737 b618 b748 b623 b753  T       t1346   o737 b618 b748 b623 b1345
1965  B       b754    t754  B       b1346   t1346
1966  T       t755    o736 b754  T       t1347   o1320 b1346
1967  B       b755    t755  B       b1348   t1347
1968  P       p755    Number 2965  P       p1348   Number 2864
1969    P       p1349   Number 3257
1970    O       o1349   location p1348 p1349
1971  P       p756    Number 3358  P       p756    Number 3358
 O       o756    location p755 p756  
1972  P       p757    String op_assoc2  P       p757    String op_assoc2
1973  O       o757    rule p757  O       o757    rule p757
1974  T       t757    o738 b740 b739  T       t757    o738 b740 b739
# Line 1988  Line 1989 
1989  B       b763    t763  B       b763    t763
1990  T       t764    o635 b639 b763  T       t764    o635 b639 b763
1991  B       b764    t764  B       b764    t764
1992  P       p764    Number 2990  P       p1350   Number 2889
1993  P       p765    Number 2997  P       p1351   Number 2896
1994  O       o765    resource_defs p764 p765 p264  O       o1351   resource_defs p1350 p1351 p264
1995  P       p766    Number 2995  P       p1352   Number 2894
1996  O       o766    uid p766 p765  O       o1352   uid p1352 p1351
1997  T       t766    o766 b626  T       t1352   o1352 b626
1998  B       b766    t766  B       b1352   t1352
1999  T       t767    o b766 b4  T       t1353   o b1352 b4
2000  B       b767    t767  B       b1353   t1353
2001  T       t768    o765 b767  T       t1354   o1351 b1353
2002  B       b768    t768  B       b1354   t1354
2003  T       t769    o b768 b4  T       t1355   o b1354 b4
2004  B       b769    t769  B       b1355   t1355
2005  T       t770    o757 b618 b764 b623 b769  T       t1356   o757 b618 b764 b623 b1355
2006  B       b770    t770  B       b1356   t1356
2007  T       t771    o756 b770  T       t1357   o1349 b1356
2008  B       b771    t771  B       b1357   t1357
2009  P       p771    Number 3431  P       p1357   Number 3330
2010  P       p772    Number 3507  P       p1358   Number 3406
2011  O       o772    location p771 p772  O       o1358   location p1357 p1358
2012  P       p773    String id_wf1  P       p773    String id_wf1
2013  O       o773    rule p773  O       o773    rule p773
2014  T       t773    o620 b567  T       t773    o620 b567
# Line 2016  Line 2017 
2017  B       b773    s773  B       b773    s773
2018  T       t774    o618 b773  T       t774    o618 b773
2019  B       b774    t774  B       b774    t774
2020  P       p774    Number 3453  P       p1359   Number 3352
2021  P       p775    Number 3461  P       p1360   Number 3360
2022  O       o775    resource_defs p774 p775 p264  O       o1360   resource_defs p1359 p1360 p264
2023  P       p776    Number 3459  O       o1361   uid p756 p1360
2024  O       o776    uid p776 p775  T       t1361   o1361 b626
2025  T       t776    o776 b626  B       b1361   t1361
2026  B       b776    t776  T       t1362   o b1361 b4
2027  T       t777    o b776 b4  B       b1362   t1362
2028  B       b777    t777  T       t1363   o1360 b1362
2029  T       t778    o775 b777  B       b1363   t1363
2030  B       b778    t778  T       t1364   o b1363 b4
2031  T       t779    o b778 b4  B       b1364   t1364
2032  B       b779    t779  T       t1365   o773 b618 b774 b623 b1364
2033  T       t780    o773 b618 b774 b623 b779  B       b1365   t1365
2034  B       b780    t780  T       t1366   o1358 b1365
2035  T       t781    o772 b780  B       b1366   t1366
2036  B       b781    t781  P       p1366   Number 3408
2037  P       p781    Number 3509  P       p1367   Number 3486
2038  P       p782    Number 3587  O       o1367   location p1366 p1367
 O       o782    location p781 p782  
2039  P       p783    String id_wf2  P       p783    String id_wf2
2040  O       o783    rule p783  O       o783    rule p783
2041  T       t783    o655 b567 b554  T       t783    o655 b567 b554
# Line 2044  Line 2044 
2044  B       b783    s783  B       b783    s783
2045  T       t784    o618 b783  T       t784    o618 b783
2046  B       b784    t784  B       b784    t784
2047  P       p784    Number 3531  P       p1368   Number 3430
2048  P       p785    Number 3538  P       p1369   Number 3437
2049  O       o785    resource_defs p784 p785 p264  O       o1369   resource_defs p1368 p1369 p264
2050  P       p786    Number 3536  P       p1370   Number 3435
2051  O       o786    uid p786 p785  O       o1370   uid p1370 p1369
2052  T       t786    o786 b626  T       t1370   o1370 b626
2053  B       b786    t786  B       b1370   t1370
2054  T       t787    o b786 b4  T       t1371   o b1370 b4
2055  B       b787    t787  B       b1371   t1371
2056  T       t788    o785 b787  T       t1372   o1369 b1371
2057  B       b788    t788  B       b1372   t1372
2058  T       t789    o b788 b4  T       t1373   o b1372 b4
2059  B       b789    t789  B       b1373   t1373
2060  T       t790    o783 b618 b784 b623 b789  T       t1376   o783 b618 b784 b623 b1373
2061  B       b790    t790  B       b1377   t1376
2062  T       t791    o782 b790  T       t1377   o1367 b1377
2063  B       b791    t791  B       b1378   t1377
2064  P       p791    Number 3675  P       p1379   Number 3574
2065  P       p792    Number 3851  P       p1380   Number 3750
2066  O       o792    location p791 p792  O       o1380   location p1379 p1380
2067  P       p793    String id_eq1  P       p793    String id_eq1
2068  O       o793    rule p793  O       o793    rule p793
2069  T       t793    o655 b573 b554  T       t793    o655 b573 b554
# Line 2084  Line 2084 
2084  B       b798    t798  B       b798    t798
2085  T       t799    o635 b711 b798  T       t799    o635 b711 b798
2086  B       b799    t799  B       b799    t799
2087  P       p799    Number 3697  P       p1381   Number 3596
2088  P       p800    Number 3704  P       p1382   Number 3603
2089  O       o800    resource_defs p799 p800 p264  O       o1382   resource_defs p1381 p1382 p264
2090  P       p801    Number 3702  P       p1383   Number 3601
2091  O       o801    uid p801 p800  O       o1383   uid p1383 p1382
2092  T       t801    o801 b626  T       t1395   o1383 b626
2093  B       b801    t801  B       b1396   t1395
2094  T       t802    o b801 b4  T       t1398   o b1396 b4
2095  B       b802    t802  B       b1399   t1398
2096  T       t803    o800 b802  T       t1399   o1382 b1399
2097  B       b803    t803  B       b1400   t1399
2098  T       t804    o b803 b4  T       t1402   o b1400 b4
2099  B       b804    t804  B       b1418   t1402
2100  T       t805    o793 b618 b799 b623 b804  T       t1418   o793 b618 b799 b623 b1418
2101  B       b805    t805  B       b1419   t1418
2102  T       t806    o792 b805  T       t1419   o1380 b1419
2103  B       b806    t806  B       b1420   t1419
2104  P       p806    Number 3853  P       p1420   Number 3752
2105  P       p807    Number 4029  P       p1421   Number 3928
2106  O       o807    location p806 p807  O       o1421   location p1420 p1421
2107  P       p808    String id_eq2  P       p808    String id_eq2
2108  O       o808    rule p808  O       o808    rule p808
2109  T       t808    o559 b573 b567  T       t808    o559 b573 b567
# Line 2118  Line 2118 
2118  B       b811    t811  B       b811    t811
2119  T       t812    o635 b711 b811  T       t812    o635 b711 b811
2120  B       b812    t812  B       b812    t812
2121  P       p812    Number 3875  P       p1422   Number 3774
2122  P       p813    Number 3882  P       p1426   Number 3781
2123  O       o813    resource_defs p812 p813 p264  O       o1426   resource_defs p1422 p1426 p264
2124  P       p814    Number 3880  P       p1427   Number 3779
2125  O       o814    uid p814 p813  O       o1427   uid p1427 p1426
2126  T       t814    o814 b626  T       t1429   o1427 b626
2127  B       b814    t814  B       b1429   t1429
2128  T       t815    o b814 b4  T       t1430   o b1429 b4
2129  B       b815    t815  B       b1430   t1430
2130  T       t816    o813 b815  T       t1459   o1426 b1430
2131  B       b816    t816  B       b1489   t1459
2132  T       t817    o b816 b4  T       t1489   o b1489 b4
2133  B       b817    t817  B       b1490   t1489
2134  T       t818    o808 b618 b812 b623 b817  T       t1490   o808 b618 b812 b623 b1490
2135  B       b818    t818  B       b1491   t1490
2136  T       t819    o807 b818  T       t1496   o1421 b1491
2137  B       b819    t819  B       b1506   t1496
2138  P       p819    Number 4031  P       p1506   Number 3930
2139  P       p820    Number 4088  P       p1507   Number 3987
2140  O       o820    location p819 p820  O       o1507   location p1506 p1507
2141  NOcaml!str_let  str_let str_let Ocaml  NOcaml!str_let  str_let str_let Ocaml
2142  O       o821    str_let p819 p820  O       o1509   str_let p1506 p1507
2143  NOcaml!patt_var patt_var        patt_var Ocaml  NOcaml!patt_var patt_var        patt_var Ocaml
2144  P       p821    Number 4035  P       p1509   Number 3934
2145  O       o822    patt_var p821 p820  O       o1510   patt_var p1509 p1507
2146  NOcaml!patt_done        patt_done       patt_done Ocaml  NOcaml!patt_done        patt_done       patt_done Ocaml
2147  O       o823    patt_done p819 p820  O       o1511   patt_done p1506 p1507
2148  T       t823    o823  T       t1520   o1511
2149  B       b823    t823 id_elim2T  B       b1530   t1520 id_elim2T
2150  T       t824    o822 b823  T       t1530   o1510 b1530
2151  B       b824    t824  B       b1531   t1530
2152  NOcaml!fun      fun     fun Ocaml  NOcaml!fun      fun     fun Ocaml
2153  O       o824    fun p821 p820  O       o1531   fun p1509 p1507
2154  NOcaml!patt_if  patt_if patt_if Ocaml  NOcaml!patt_if  patt_if patt_if Ocaml
2155  O       o825    patt_if p821 p820  O       o1533   patt_if p1509 p1507
2156  P       p825    Number 4045  P       p1533   Number 3944
2157  P       p826    Number 4046  P       p1534   Number 3945
2158  O       o826    patt_var p825 p826  O       o1534   patt_var p1533 p1534
2159  NOcaml!patt_body        patt_body       patt_body Ocaml  NOcaml!patt_body        patt_body       patt_body Ocaml
2160  O       o827    patt_body p821 p820  O       o1535   patt_body p1509 p1507
2161  NOcaml!apply    apply   apply Ocaml  NOcaml!apply    apply   apply Ocaml
2162  P       p827    Number 4052  P       p1535   Number 3951
2163  O       o828    apply p827 p820  O       o1536   apply p1535 p1507
2164  P       p828    Number 4086  P       p1536   Number 3985
2165  O       o829    apply p827 p828  O       o1537   apply p1535 p1536
2166  NOcaml!lid      lid     lid Ocaml  NOcaml!lid      lid     lid Ocaml
2167  P       p829    Number 4058  P       p1537   Number 3957
2168  O       o830    lid p827 p829  O       o1538   lid p1535 p1537
2169  O       o831    lid p793  O       o831    lid p793
2170  T       t831    o831  T       t831    o831
2171  B       b831    t831  B       b831    t831
2172  T       t832    o830 b831  T       t1538   o1538 b831
2173  B       b832    t832  B       b1538   t1538
2174  P       p832    Number 4060  P       p1538   Number 3959
2175  P       p833    Number 4085  P       p1539   Number 3984
2176  O       o833    apply p832 p833  O       o1539   apply p1538 p1539
2177  NOcaml!proj     proj    proj Ocaml  NOcaml!proj     proj    proj Ocaml
2178  P       p834    Number 4083  P       p1540   Number 3982
2179  O       o834    proj p832 p834  O       o1540   proj p1538 p1540
2180  O       o835    uid p832 p834  O       o1541   uid p1538 p1540
2181  O       o836    uid p509  O       o836    uid p509
2182  T       t836    o836  T       t836    o836
2183  B       b836    t836  B       b836    t836
2184  T       t837    o835 b836  T       t1544   o1541 b836
2185  B       b837    t837  B       b1545   t1544
2186  P       p837    Number 4069  P       p1545   Number 3968
2187  O       o837    lid p837 p834  O       o1545   lid p1545 p1540
2188  P       p838    String hyp_count_addr  P       p838    String hyp_count_addr
2189  O       o838    lid p838  O       o838    lid p838
2190  T       t838    o838  T       t838    o838
2191  B       b838    t838  B       b838    t838
2192  T       t839    o837 b838  T       t1545   o1545 b838
2193  B       b839    t839  B       b1546   t1545
2194  T       t840    o834 b837 b839  T       t1549   o1540 b1545 b1546
2195  B       b840    t840  B       b1550   t1549
2196  P       p840    Number 4084  P       p1550   Number 3983
2197  O       o840    lid p840 p833  O       o1550   lid p1550 p1539
2198  P       p841    Var p  P       p841    Var p
2199  O       o841    var p841  O       o841    var p841
2200  T       t841    o841  T       t841    o841
2201  B       b841    t841  B       b841    t841
2202  T       t842    o840 b841  T       t1550   o1550 b841
2203  B       b842    t842  B       b1551   t1550
2204  T       t843    o833 b840 b842  T       t1551   o1539 b1550 b1551
2205  B       b843    t843  B       b1552   t1551
2206  T       t844    o829 b832 b843  T       t1552   o1537 b1538 b1552
2207  B       b844    t844  B       b1553   t1552
2208  P       p844    Number 4087  P       p1553   Number 3986
2209  O       o844    lid p844 p820  O       o1553   lid p1553 p1507
2210  T       t845    o844 b841  T       t1553   o1553 b841
2211  B       b845    t845  B       b1634   t1553
2212  T       t846    o828 b844 b845  T       t1634   o1536 b1553 b1634
2213  B       b846    t846  B       b1635   t1634
2214  T       t847    o827 b846  T       t1635   o1535 b1635
2215  B       b847    t847 p  B       b1641   t1635 p
2216  T       t848    o826 b847  T       t1641   o1534 b1641
2217  B       b848    t848  B       b1642   t1641
2218  T       t849    o825 b848  T       t1642   o1533 b1642
2219  B       b849    t849  B       b1746   t1642
2220  T       t850    o824 b849  T       t1753   o1531 b1746
2221  B       b850    t850  B       b1808   t1753
2222  T       t851    o821 b824 b850  T       t1808   o1509 b1531 b1808
2223  B       b851    t851  B       b1809   t1808
2224  T       t852    o b851 b4  T       t1809   o b1809 b4
2225  B       b852    t852  B       b1810   t1809
2226  T       t853    o821 b852  T       t1810   o1509 b1810
2227  B       b853    t853  B       b1811   t1810
2228  T       t854    o392 b853  T       t1811   o392 b1811
2229  B       b854    t854  B       b1812   t1811
2230  T       t855    o820 b854  T       t1812   o1507 b1812
2231  B       b855    t855  B       b1813   t1812
2232  P       p855    Number 4090  P       p1813   Number 3989
2233  P       p856    Number 4263  P       p1814   Number 4162
2234  O       o856    location p855 p856  O       o1814   location p1813 p1814
2235  P       p857    String inv_wf1  P       p857    String inv_wf1
2236  O       o857    rule p857  O       o857    rule p857
2237  T       t857    o572 b560  T       t857    o572 b560
# Line 2246  Line 2246 
2246  B       b860    t860  B       b860    t860
2247  T       t861    o635 b639 b860  T       t861    o635 b639 b860
2248  B       b861    t861  B       b861    t861
2249  P       p861    Number 4113  P       p1815   Number 4012
2250  P       p862    Number 4120  P       p1816   Number 4019
2251  O       o862    resource_defs p861 p862 p264  O       o1816   resource_defs p1815 p1816 p264
2252  P       p863    Number 4118  O       o1817   uid p300 p1816
2253  O       o863    uid p863 p862  T       t1817   o1817 b626
2254  T       t863    o863 b626  B       b1817   t1817
2255  B       b863    t863  T       t1818   o b1817 b4
2256  T       t864    o b863 b4  B       b1818   t1818
2257  B       b864    t864  T       t1819   o1816 b1818
2258  T       t865    o862 b864  B       b1819   t1819
2259  B       b865    t865  T       t1820   o b1819 b4
2260  T       t866    o b865 b4  B       b1820   t1820
2261  B       b866    t866  T       t1824   o857 b618 b861 b623 b1820
2262  T       t867    o857 b618 b861 b623 b866  B       b1825   t1824
2263  B       b867    t867  T       t1825   o1814 b1825
2264  T       t868    o856 b867  B       b1826   t1825
2265  B       b868    t868  P       p1826   Number 4164
2266  P       p868    Number 4265  P       p1827   Number 4340
2267  P       p869    Number 4441  O       o1827   location p1826 p1827
 O       o869    location p868 p869  
2268  P       p870    String inv_wf2  P       p870    String inv_wf2
2269  O       o870    rule p870  O       o870    rule p870
2270  T       t870    o655 b857 b554  T       t870    o655 b857 b554
# Line 2278  Line 2277 
2277  B       b872    t872  B       b872    t872
2278  T       t873    o635 b639 b872  T       t873    o635 b639 b872
2279  B       b873    t873  B       b873    t873
2280  P       p873    Number 4288  P       p1828   Number 4187
2281  P       p874    Number 4295  P       p1829   Number 4194
2282  O       o874    resource_defs p873 p874 p264  O       o1829   resource_defs p1828 p1829 p264
2283  P       p875    Number 4293  P       p1830   Number 4192
2284  O       o875    uid p875 p874  O       o1830   uid p1830 p1829
2285  T       t875    o875 b626  T       t1830   o1830 b626
2286  B       b875    t875  B       b1830   t1830
2287  T       t876    o b875 b4  T       t1831   o b1830 b4
2288  B       b876    t876  B       b1831   t1831
2289  T       t877    o874 b876  T       t1832   o1829 b1831
2290  B       b877    t877  B       b1832   t1832
2291  T       t878    o b877 b4  T       t1833   o b1832 b4
2292  B       b878    t878  B       b1833   t1833
2293  T       t879    o870 b618 b873 b623 b878  T       t1834   o870 b618 b873 b623 b1833
2294  B       b879    t879  B       b1834   t1834
2295  T       t880    o869 b879  T       t1835   o1827 b1834
2296  B       b880    t880  B       b1835   t1835
2297  P       p880    Number 4443  P       p1835   Number 4342
2298  P       p881    Number 4530  P       p1839   Number 4429
2299  O       o881    location p880 p881  O       o1839   location p1835 p1839
2300  P       p882    String inv_fun1  P       p882    String inv_fun1
2301  O       o882    rule p882  O       o882    rule p882
2302  T       t882    o572 b712  T       t882    o572 b712
# Line 2308  Line 2307 
2307  B       b883    s883  B       b883    s883
2308  T       t884    o618 b883  T       t884    o618 b883
2309  B       b884    t884  B       b884    t884
2310  P       p884    Number 4467  P       p1840   Number 4366
2311  P       p885    Number 4474  P       p1841   Number 4373
2312  O       o885    resource_defs p884 p885 p264  O       o1841   resource_defs p1840 p1841 p264
2313  P       p886    Number 4472  P       p1842   Number 4371
2314  O       o886    uid p886 p885  O       o1842   uid p1842 p1841
2315  T       t886    o886 b626  T       t1842   o1842 b626
2316  B       b886    t886  B       b1842   t1842
2317  T       t887    o b886 b4  T       t1843   o b1842 b4
2318  B       b887    t887  B       b1843   t1843
2319  T       t888    o885 b887  T       t1887   o1841 b1843
2320  B       b888    t888  B       b1888   t1887
2321  T       t889    o b888 b4  T       t1888   o b1888 b4
2322  B       b889    t889  B       b1889   t1888
2323  T       t890    o882 b618 b884 b623 b889  T       t1889   o882 b618 b884 b623 b1889
2324  B       b890    t890  B       b1890   t1889
2325  T       t891    o881 b890  T       t1890   o1839 b1890
2326  B       b891    t891  B       b1891   t1890
2327  P       p891    Number 4532  P       p1892   Number 4431
2328  P       p892    Number 4718  P       p1894   Number 4617
2329  O       o892    location p891 p892  O       o1894   location p1892 p1894
2330  P       p893    String inv_id1  P       p893    String inv_id1
2331  O       o893    rule p893  O       o893    rule p893
2332  T       t893    o559 b857 b560  T       t893    o559 b857 b560
# Line 2342  Line 2341 
2341  B       b896    t896  B       b896    t896
2342  T       t897    o635 b639 b896  T       t897    o635 b639 b896
2343  B       b897    t897  B       b897    t897
2344  P       p897    Number 4555  P       p1895   Number 4454
2345  P       p898    Number 4562  P       p1896   Number 4461
2346  O       o898    resource_defs p897 p898 p264  O       o1896   resource_defs p1895 p1896 p264
2347  P       p899    Number 4560  P       p1897   Number 4459
2348  O       o899    uid p899 p898  O       o1897   uid p1897 p1896
2349  T       t899    o899 b626  T       t1898   o1897 b626
2350  B       b899    t899  B       b1899   t1898
2351  T       t900    o b899 b4  T       t1899   o b1899 b4
2352  B       b900    t900  B       b1900   t1899
2353  T       t901    o898 b900  T       t1900   o1896 b1900
2354  B       b901    t901  B       b1901   t1900
2355  T       t902    o b901 b4  T       t1901   o b1901 b4
2356  B       b902    t902  B       b1902   t1901
2357  T       t903    o893 b618 b897 b623 b902  T       t1902   o893 b618 b897 b623 b1902
2358  B       b903    t903  B       b1903   t1902
2359  T       t904    o892 b903  T       t1903   o1894 b1903
2360  B       b904    t904  B       b1904   t1903
2361  P       p904    Number 4720  P       p1907   Number 4619
2362  P       p905    Number 4906  P       p1908   Number 4805
2363  O       o905    location p904 p905  O       o1908   location p1907 p1908
2364  P       p906    String inv_id2  P       p906    String inv_id2
2365  O       o906    rule p906  O       o906    rule p906
2366  T       t906    o559 b560 b857  T       t906    o559 b560 b857
# Line 2376  Line 2375 
2375  B       b909    t909  B       b909    t909
2376  T       t910    o635 b639 b909  T       t910    o635 b639 b909
2377  B       b910    t910  B       b910    t910
2378  P       p910    Number 4743  P       p1909   Number 4642
2379  P       p911    Number 4750  P       p1910   Number 4649
2380  O       o911    resource_defs p910 p911 p264  O       o1910   resource_defs p1909 p1910 p264
2381  P       p912    Number 4748  P       p1915   Number 4647
2382  O       o912    uid p912 p911  O       o1915   uid p1915 p1910
2383  T       t912    o912 b626  T       t1961   o1915 b626
2384  B       b912    t912  B       b2006   t1961
2385  T       t913    o b912 b4  T       t2006   o b2006 b4
2386  B       b913    t913  B       b2007   t2006
2387  T       t914    o911 b913  T       t2007   o1910 b2007
2388  B       b914    t914  B       b2008   t2007
2389  T       t915    o b914 b4  T       t2013   o b2008 b4
2390  B       b915    t915  B       b2024   t2013
2391  T       t916    o906 b618 b910 b623 b915  T       t2024   o906 b618 b910 b623 b2024
2392  B       b916    t916  B       b2025   t2024
2393  T       t917    o905 b916  T       t2025   o1908 b2025
2394  B       b917    t917  B       b2026   t2025
2395  P       p917    Number 5367  P       p2027   Number 4866
2396  P       p918    Number 5793  P       p2028   Number 5292
2397  O       o918    location p917 p918  O       o2028   location p2027 p2028
2398  P       p919    String cancel1  P       p919    String cancel1
2399  O       o919    rule p919  O       o919    rule p919
2400  NSummary!term_param     term_param      term_param Summary  NSummary!term_param     term_param      term_param Summary
# Line 3566  Line 3565 
3565  B       b340    t340  B       b340    t340
3566  T       t359    o933 b340  T       t359    o933 b340
3567  B       b359    t359  B       b359    t359
3568  P       p1423   Number 5390  P       p2029   Number 4889
3569  P       p1424   Number 5398  P       p2030   Number 4897
3570  O       o1424   resource_defs p1423 p1424 p264  O       o2030   resource_defs p2029 p2030 p264
3571  P       p1425   Number 5396  P       p2031   Number 4895
3572  O       o1425   uid p1425 p1424  O       o2031   uid p2031 p2030
3573  T       t1425   o1425 b626  T       t2039   o2031 b626
3574  B       b1425   t1425  B       b2040   t2039
3575  T       t1426   o b1425 b4  T       t2040   o b2040 b4
3576  B       b1426   t1426  B       b2041   t2040
3577  T       t1427   o1424 b1426  T       t2041   o2030 b2041
3578  B       b1427   t1427  B       b2042   t2041
3579  T       t1428   o b1427 b4  T       t2047   o b2042 b4
3580  B       b1428   t1428  B       b2048   t2047
3581  T       t370    o919 b922 b933 b359 b1428  T       t2048   o919 b922 b933 b359 b2048
3582  B       b370    t370  B       b2049   t2048
3583  T       t385    o918 b370  T       t2052   o2028 b2049
3584  B       b385    t385  B       b2053   t2052
3585  P       p1430   Number 5838  P       p2053   Number 5337
3586  P       p1431   Number 6264  P       p2054   Number 5763
3587  O       o1431   location p1430 p1431  O       o2054   location p2053 p2054
3588  P       p1432   String cancel2  P       p1432   String cancel2
3589  O       o1432   rule p1432  O       o1432   rule p1432
3590  T       t1432   o920 b674  T       t1432   o920 b674
# Line 4051  Line 4050 
4050  B       b453    t453  B       b453    t453
4051  T       t461    o933 b453  T       t461    o933 b453
4052  B       b461    t461  B       b461    t461
4053    P       p2055   Number 5360
4054    P       p2056   Number 5368
4055    O       o2056   resource_defs p2055 p2056 p264
4056    P       p2057   Number 5366
4057    O       o2057   uid p2057 p2056
4058    T       t2057   o2057 b626
4059    B       b2057   t2057
4060    T       t2064   o b2057 b4
4061    B       b2065   t2064
4062    T       t2073   o2056 b2065
4063    B       b2121   t2073
4064    T       t2121   o b2121 b4
4065    B       b2122   t2121
4066    T       t2125   o1432 b1434 b1445 b461 b2122
4067    B       b2126   t2125
4068    T       t2126   o2054 b2126
4069    B       b2127   t2126
4070    P       p2127   Number 5765
4071    P       p2128   Number 5834
4072    O       o2128   location p2127 p2128
4073    O       o2129   str_let p2127 p2128
4074    P       p2129   Number 5769
4075    O       o2130   patt_var p2129 p2128
4076    O       o2131   patt_done p2127 p2128
4077    T       t2131   o2131
4078    B       b2131   t2131 groupCancelLeftT
4079    T       t2132   o2130 b2131
4080    B       b2132   t2132
4081    O       o2132   fun p2129 p2128
4082    O       o2133   patt_if p2129 p2128
4083    P       p2136   Number 5786
4084    P       p2137   Number 5787
4085    O       o2137   patt_var p2136 p2137
4086    O       o2138   patt_body p2129 p2128
4087    P       p2138   Number 5788
4088    P       p2139   Number 5789
4089    O       o2139   patt_var p2138 p2139
4090    P       p2144   Number 5795
4091    O       o2144   apply p2144 p2128
4092    P       p2145   Number 5832
4093    O       o2145   apply p2144 p2145
4094    P       p2146   Number 5830
4095    O       o2146   apply p2144 p2146
4096    P       p2147   Number 5802
4097    O       o2147   lid p2144 p2147
4098  P       p1635   Number 5861  P       p1635   Number 5861
 P       p1636   Number 5869  
 O       o1636   resource_defs p1635 p1636 p264  
4099  P       p1637   Number 5867  P       p1637   Number 5867
 O       o1637   uid p1637 p1636  
 T       t1637   o1637 b626  
 B       b1637   t1637  
 T       t1638   o b1637 b4  
 B       b1638   t1638  
 T       t1639   o1636 b1638  
 B       b1639   t1639  
 T       t1640   o b1639 b4  
 B       b1640   t1640  
 T       t462    o1432 b1434 b1445 b461 b1640  
 B       b462    t462  
 T       t470    o1431 b462  
 B       b470    t470  
 P       p1642   Number 6266  
 P       p1643   Number 6335  
 O       o1643   location p1642 p1643  
 O       o1644   str_let p1642 p1643  
 P       p1644   Number 6270  
 O       o1645   patt_var p1644 p1643  
 O       o1646   patt_done p1642 p1643  
 T       t1646   o1646  
 B       b1646   t1646 groupCancelLeftT  
 T       t1647   o1645 b1646  
 B       b1647   t1647  
 O       o1647   fun p1644 p1643  
 O       o1648   patt_if p1644 p1643  
 P       p1648   Number 6287  
 P       p1649   Number 6288  
 O       o1649   patt_var p1648 p1649  
 O       o1650   patt_body p1644 p1643  
 P       p1650   Number 6289  
 P       p1651   Number 6290  
 O       o1651   patt_var p1650 p1651  
 P       p1652   Number 6296  
 O       o1652   apply p1652 p1643  
 P       p1653   Number 6333  
 O       o1653   apply p1652 p1653  
 P       p1654   Number 6331  
 O       o1654   apply p1652 p1654  
 P       p1655   Number 6303  
 O       o1655   lid p1652 p1655  
4100  O       o1656   lid p919  O       o1656   lid p919
4101  T       t1656   o1656  T       t1656   o1656
4102  B       b1656   t1656  B       b1656   t1656
4103  T       t1657   o1655 b1656  T       t2188   o2147 b1656
4104  B       b1657   t1657  B       b2214   t2188
4105  P       p1657   Number 6305  P       p2214   Number 5804
4106  P       p1658   Number 6330  P       p2215   Number 5829
4107  O       o1658   apply p1657 p1658  O       o2215   apply p2214 p2215
4108  P       p1659   Number 6328  P       p2217   Number 5827
4109  O       o1659   proj p1657 p1659  O       o2217   proj p2214 p2217
4110  O       o1660   uid p1657 p1659  O       o2218   uid p2214 p2217
4111  T       t1660   o1660 b836  T       t2221   o2218 b836
4112  B       b1660   t1660  B       b2232   t2221
4113  P       p1660   Number 6314  P       p2232   Number 5813
4114  O       o1661   lid p1660 p1659  O       o2232   lid p2232 p2217
4115  T       t1661   o1661 b838  T       t2232   o2232 b838
4116  B       b1661   t1661  B       b2233   t2232
4117  T       t1662   o1659 b1660 b1661  T       t2233   o2217 b2232 b2233
4118  B       b1662   t1662  B       b2234   t2233
4119  P       p1662   Number 6329  P       p2235   Number 5828
4120  O       o1662   lid p1662 p1658  O       o2235   lid p2235 p2215
4121  T       t1663   o1662 b841  T       t2242   o2235 b841
4122  B       b1663   t1663  B       b2261   t2242
4123  T       t1664   o1658 b1662 b1663  T       t2261   o2215 b2234 b2261
4124  B       b1664   t1664  B       b2262   t2261
4125  T       t1665   o1654 b1657 b1664  T       t2265   o2146 b2214 b2262
4126  B       b1665   t1665  B       b2266   t2265
4127  P       p1665   Number 6332  P       p2266   Number 5831
4128  O       o1665   lid p1665 p1653  O       o2266   lid p2266 p2145
4129  P       p1666   Var t  P       p1666   Var t
4130  O       o1666   var p1666  O       o1666   var p1666
4131  T       t1666   o1666  T       t1666   o1666
4132  B       b1666   t1666  B       b1666   t1666
4133  T       t1667   o1665 b1666  T       t2269   o2266 b1666
4134  B       b1667   t1667  B       b2270   t2269
4135  T       t1668   o1653 b1665 b1667  T       t2270   o2145 b2266 b2270
4136  B       b1668   t1668  B       b2271   t2270
4137  P       p1668   Number 6334  P       p2271   Number 5833
4138  O       o1668   lid p1668 p1643  O       o2271   lid p2271 p2128
4139  T       t1669   o1668 b841  T       t2274   o2271 b841
4140  B       b1669   t1669  B       b2275   t2274
4141  T       t1670   o1652 b1668 b1669  T       t2275   o2144 b2271 b2275
4142  B       b1670   t1670  B       b2276   t2275
4143  T       t1671   o1650 b1670  T       t2276   o2138 b2276
4144  B       b1671   t1671 p  B       b2277   t2276 p
4145  T       t1672   o1651 b1671  T       t2277   o2139 b2277
4146  B       b1672   t1672  B       b2278   t2277
4147  T       t1673   o1648 b1672  T       t2278   o2133 b2278
4148  B       b1673   t1673  B       b2279   t2278
4149  T       t1674   o1647 b1673  T       t2279   o2132 b2279
4150  B       b1674   t1674  B       b2280   t2279
4151  T       t1675   o1650 b1674  T       t2280   o2138 b2280
4152  B       b1675   t1675 t  B       b2281   t2280 t
4153  T       t1676   o1649 b1675  T       t2281   o2137 b2281
4154  B       b1676   t1676  B       b2286   t2281
4155  T       t1677   o1648 b1676  T       t2286   o2133 b2286
4156  B       b1677   t1677  B       b2287   t2286
4157  T       t1678   o1647 b1677  T       t2287   o2132 b2287
4158  B       b1678   t1678  B       b2288   t2287
4159  T       t1679   o1644 b1647 b1678  T       t2288   o2129 b2132 b2288
4160  B       b1679   t1679  B       b2324   t2288
4161  T       t1680   o b1679 b4  T       t2324   o b2324 b4
4162  B       b1680   t1680  B       b2325   t2324
4163  T       t1681   o1644 b1680  T       t2325   o2129 b2325
4164  B       b1681   t1681  B       b2326   t2325
4165  T       t1682   o392 b1681  T       t2327   o392 b2326
4166  B       b1682   t1682  B       b2328   t2327
4167  T       t1683   o1643 b1682  T       t2328   o2128 b2328
4168  B       b1683   t1683  B       b2329   t2328
4169  P       p1683   Number 6337  P       p2329   Number 5836
4170  P       p1684   Number 6407  P       p2330   Number 5906
4171  O       o1684   location p1683 p1684  O       o2330   location p2329 p2330
4172  O       o1685   str_let p1683 p1684  O       o2331   str_let p2329 p2330
4173  P       p1685   Number 6341  P       p2331   Number 5840
4174  O       o1686   patt_var p1685 p1684  O       o2332   patt_var p2331 p2330
4175  O       o1687   patt_done p1683 p1684  O       o2333   patt_done p2329 p2330
4176  T       t1687   o1687  T       t2333   o2333
4177  B       b1687   t1687 groupCancelRightT  B       b2333   t2333 groupCancelRightT
4178  T       t1688   o1686 b1687  T       t2334   o2332 b2333
4179  B       b1688   t1688  B       b2334   t2334
4180  O       o1688   fun p1685 p1684  O       o2334   fun p2331 p2330
4181  O       o1689   patt_if p1685 p1684  O       o2335   patt_if p2331 p2330
4182  P       p1689   Number 6359  P       p2335   Number 5858
4183  P       p1690   Number 6360  P       p2336   Number 5859
4184  O       o1690   patt_var p1689 p1690  O       o2336   patt_var p2335 p2336
4185  O       o1691   patt_body p1685 p1684  O       o2337   patt_body p2331 p2330
4186  P       p1691   Number 6361  P       p2337   Number 5860
4187  P       p1692   Number 6362  O       o2338   patt_var p2337 p1635
4188  O       o1692   patt_var p1691 p1692  O       o2340   apply p1637 p2330
4189  P       p1693   Number 6368  P       p2340   Number 5904
4190  O       o1693   apply p1693 p1684  O       o2341   apply p1637 p2340
4191  P       p1694   Number 6405  P       p2341   Number 5902
4192  O       o1694   apply p1693 p1694  O       o2342   apply p1637 p2341
4193  P       p1695   Number 6403  P       p2342   Number 5874
4194  O       o1695   apply p1693 p1695  O       o2343   lid p1637 p2342
 P       p1696   Number 6375  
 O       o1696   lid p1693 p1696  
4195  O       o1697   lid p1432  O       o1697   lid p1432
4196  T       t1697   o1697  T       t1697   o1697
4197  B       b1697   t1697  B       b1697   t1697
4198  T       t1698   o1696 b1697  T       t2348   o2343 b1697
4199  B       b1698   t1698  B       b2349   t2348
4200  P       p1698   Number 6377  P       p2349   Number 5876
4201  P       p1699   Number 6402  P       p2350   Number 5901
4202  O       o1699   apply p1698 p1699  O       o2350   apply p2349 p2350
4203  P       p1700   Number 6400  P       p2351   Number 5899
4204  O       o1700   proj p1698 p1700  O       o2351   proj p2349 p2351
4205  O       o1701   uid p1698 p1700  O       o2352   uid p2349 p2351
4206  T       t1701   o1701 b836  T       t2352   o2352 b836
4207  B       b1701   t1701  B       b2352   t2352
4208  P       p1701   Number 6386  P       p2352   Number 5885
4209  O       o1702   lid p1701 p1700  O       o2353   lid p2352 p2351
4210  T       t1702   o1702 b838  T       t2353   o2353 b838
4211  B       b1702   t1702  B       b2353   t2353
4212  T       t1703   o1700 b1701 b1702  T       t2354   o2351 b2352 b2353
4213  B       b1703   t1703  B       b2354   t2354
4214  P       p1703   Number 6401  P       p2354   Number 5900
4215  O       o1703   lid p1703 p1699  O       o2354   lid p2354 p2350
4216  T       t1704   o1703 b841  T       t2382   o2354 b841
4217  B       b1704   t1704  B       b2481   t2382
4218  T       t1705   o1699 b1703 b1704  T       t2481   o2350 b2354 b2481
4219  B       b1705   t1705  B       b2482   t2481
4220  T       t1706   o1695 b1698 b1705  T       t2482   o2342 b2349 b2482
4221  B       b1706   t1706  B       b2483   t2482
4222  P       p1706   Number 6404  P       p2483   Number 5903
4223  O       o1706   lid p1706 p1694  O       o2483   lid p2483 p2340
4224  T       t1707   o1706 b1666  T       t2483   o2483 b1666
4225  B       b1707   t1707  B       b2484   t2483
4226  T       t1708   o1694 b1706 b1707  T       t2484   o2341 b2483 b2484
4227  B       b1708   t1708  B       b2485   t2484
4228  P       p1708   Number 6406  P       p2485   Number 5905
4229  O       o1708   lid p1708 p1684  O       o2485   lid p2485 p2330
4230  T       t1709   o1708 b841  T       t2485   o2485 b841
4231  B       b1709   t1709  B       b2486   t2485
4232  T       t1710   o1693 b1708 b1709  T       t2486   o2340 b2485 b2486
4233  B       b1710   t1710  B       b2487   t2486
4234  T       t1711   o1691 b1710  T       t2487   o2337 b2487
4235  B       b1711   t1711 p  B       b2488   t2487 p
4236  T       t1712   o1692 b1711  T       t2488   o2338 b2488
4237  B       b1712   t1712  B       b2489   t2488
4238  T       t1713   o1689 b1712  T       t2489   o2335 b2489
4239  B       b1713   t1713  B       b2490   t2489
4240  T       t1714   o1688 b1713  T       t2490   o2334 b2490
4241  B       b1714   t1714  B       b2491   t2490
4242  T       t1715   o1691 b1714  T       t2491   o2337 b2491
4243  B       b1715   t1715 t  B       b2492   t2491 t
4244  T       t1716   o1690 b1715  T       t2492   o2336 b2492
4245  B       b1716   t1716  B       b2493   t2492
4246  T       t1717   o1689 b1716  T       t2493   o2335 b2493
4247  B       b1717   t1717  B       b2494   t2493
4248  T       t1718   o1688 b1717  T       t2494   o2334 b2494
4249  B       b1718   t1718  B       b2495   t2494
4250  T       t1719   o1685 b1688 b1718  T       t2495   o2331 b2334 b2495
4251  B       b1719   t1719  B       b2496   t2495
4252  T       t1720   o b1719 b4  T       t2496   o b2496 b4
4253  B       b1720   t1720  B       b2497   t2496
4254  T       t1721   o1685 b1720  T       t2497   o2331 b2497
4255  B       b1721   t1721  B       b2498   t2497
4256  T       t1722   o392 b1721  T       t2498   o392 b2498
4257  B       b1722   t1722  B       b2499   t2498
4258  T       t1723   o1684 b1722  T       t2499   o2330 b2499
4259  B       b1723   t1723  B       b2500   t2499
4260  P       p1723   Number 6425  P       p2500   Number 5924
4261  P       p1724   Number 6666  P       p2501   Number 6165
4262  O       o1724   location p1723 p1724  O       o2501   location p2500 p2501
4263  P       p1725   String unique_id1  P       p1725   String unique_id1
4264  O       o1725   rule p1725  O       o1725   rule p1725
4265  P       p1726   Var e2  P       p1726   Var e2
# Line 4503  Line 4502 
4502  B       b517    t517  B       b517    t517
4503  T       t524    o933 b517  T       t524    o933 b517
4504  B       b524    t524  B       b524    t524
4505  P       p1836   Number 6451  P       p2502   Number 5950
4506  P       p1837   Number 6459  P       p2503   Number 5958
4507  O       o1837   resource_defs p1836 p1837 p264  O       o2503   resource_defs p2502 p2503 p264
4508  P       p1838   Number 6457  P       p2504   Number 5956
4509  O       o1838   uid p1838 p1837  O       o2504   uid p2504 p2503
4510  T       t1838   o1838 b626  T       t2504   o2504 b626
4511  B       b1838   t1838  B       b2504   t2504
4512  T       t1839   o b1838 b4  T       t2505   o b2504 b4
4513  B       b1839   t1839  B       b2505   t2505
4514  T       t1840   o1837 b1839  T       t2506   o2503 b2505
4515  B       b1840   t1840  B       b2506   t2506
4516  T       t1841   o b1840 b4  T       t2507   o b2506 b4
4517  B       b1841   t1841  B       b2507   t2507
4518  T       t525    o1725 b618 b1740 b524 b1841  T       t2508   o1725 b618 b1740 b524 b2507
4519  B       b525    t525  B       b2508   t2508
4520  T       t531    o1724 b525  T       t2509   o2501 b2508
4521  B       b531    t531  B       b2509   t2509
4522  P       p1843   Number 6981  P       p2509   Number 6812
4523  P       p1844   Number 7305  P       p2510   Number 7193
4524  O       o1844   location p1843 p1844  O       o2510   location p2509 p2510
4525  P       p1845   String unique_inv  P       p2511   String unique_inv1
4526  O       o1845   rule p1845  O       o2511   rule p2511
4527  T       t1845   o559 b561 b573  T       t1845   o559 b561 b573
4528  B       b1845   t1845  B       b1845   t1845
4529  T       t1846   o738 b1845 b567  T       t1846   o738 b1845 b567
4530  H       h1846   x t1846  S       s2511   t620 h
4531    G       s2511   t1846
4532    B       b2511   s2511
4533    T       t2511   o618 b2511
4534    B       b2512   t2511
4535  T       t1847   o559 b573 b561  T       t1847   o559 b573 b561
4536  B       b1847   t1847  B       b1847   t1847
4537  T       t1848   o738 b1847 b567  T       t1848   o738 b1847 b567
4538  H       h1848   y t1848  S       s2512   t620 h
4539    G       s2512   t1848
4540    B       b2513   s2512
4541    T       t2513   o618 b2513
4542    B       b2514   t2513
4543  T       t1849   o738 b561 b574  T       t1849   o738 b561 b574
4544  S       s1849   t620 h h1846 h1848  S       s2514   t620 h
4545  G       s1849   t1849  G       s2514   t1849
4546  B       b1849   s1849  B       b2515   s2514
4547  T       t1850   o618 b1849  T       t2518   o618 b2515
4548  B       b1850   t1850  B       b2519   t2518
4549  T       t1851   o635 b658 b1850  T       t2519   o635 b2514 b2519
4550  B       b1851   t1851  B       b2520   t2519
4551  T       t1852   o635 b794 b1851  T       t2520   o635 b2512 b2520
4552  B       b1852   t1852  B       b2521   t2520
4553  T       t1853   o635 b641 b1852  T       t2521   o635 b658 b2521
4554  B       b1853   t1853  B       b2522   t2521
4555  T       t1854   o635 b711 b1853  T       t2522   o635 b794 b2522
4556  B       b1854   t1854  B       b2527   t2522
4557    T       t2527   o635 b641 b2527
4558    B       b2528   t2527
4559    T       t2528   o635 b711 b2528
4560    B       b2532   t2528
4561    P       p2532   String "assumT 5 thenT assumT 6"
4562    O       o2532   ext_rule p2532
4563    T       t2532   o b2513 b4
4564    B       b2533   t2532
4565    T       t2533   o b2511 b2533
4566    B       b2534   t2533
4567    T       t2534   o b657 b2534
4568    B       b2535   t2534
4569    T       t2535   o b793 b2535
4570    B       b2536   t2535
4571    T       t2536   o b640 b2536
4572    B       b2537   t2536
4573    T       t2537   o b710 b2537
4574    B       b2538   t2537
4575    T       t2538   o938 b2515 b2538
4576    B       b2539   t2538
4577    T       t2539   o937 b2539 b4 b946
4578    B       b2540   t2539
4579    H       h2540   v t1846
4580    H       h2541   v_1 t1848
4581    S       s2541   t620 h h2540 h2541
4582    G       s2541   t1849
4583    B       b2541   s2541
4584    T       t2541   o938 b2541 b2538
4585    B       b2542   t2541
4586    S       s2542   t620 h h2540
4587    G       s2542   t1849
4588    B       b2543   s2542
4589    T       t2543   o938 b2543 b2538
4590    B       b2544   t2543
4591    T       t2544   o2 b2540
4592    B       b2545   t2544
4593    T       t2545   o937 b2544 b4 b2545
4594    B       b2546   t2545
4595    T       t2546   o2 b2546
4596    B       b2547   t2546
4597    T       t2547   o937 b2542 b4 b2547
4598    B       b2548   t2547
4599    T       t2548   o b2548 b4
4600    B       b2549   t2548
4601    T       t2549   o936 b2540 b2549
4602    B       b2550   t2549
4603  P       p1854   String "assertT << equal{op{inv{'s}; 's}; id} >> thenAT autoT"  P       p1854   String "assertT << equal{op{inv{'s}; 's}; id} >> thenAT autoT"
4604  O       o1854   ext_rule p1854  O       o1854   ext_rule p1854
 T       t1855   o b657 b4  
 B       b1855   t1855  
 T       t1856   o b793 b1855  
 B       b1856   t1856  
 T       t1857   o b640 b1856  
 B       b1857   t1857  
 T       t1858   o b710 b1857  
 B       b1858   t1858  
 T       t1859   o938 b1849 b1858  
 B       b1859   t1859  
 T       t1860   o937 b1859 b4 b946  
 B       b1860   t1860  
4605  T       t1861   o559 b574 b573  T       t1861   o559 b574 b573
4606  B       b1861   t1861  B       b1861   t1861
4607  T       t1862   o738 b1861 b567  T       t1862   o738 b1861 b567
4608  H       h1862   v t1862  H       h2550   v_2 t1862
4609  S       s1862   t620 h h1846 h1848 h1862  S       s2550   t620 h h2540 h2541 h2550
4610  G       s1862   t1849  G       s2550   t1849
4611  B       b1862   s1862  B       b2551   s2550
4612  T       t1863   o938 b1862 b1858  T       t2551   o938 b2551 b2538
4613  B       b1863   t1863  B       b2552   t2551
4614  T       t1864   o2 b1860  T       t2552   o2 b2548
4615  B       b1864   t1864  B       b2553   t2552
4616  T       t1865   o937 b1863 b4 b1864  T       t2553   o937 b2552 b4 b2553
4617  B       b1865   t1865  B       b2554   t2553
4618  T       t1866   o b1865 b4  T       t2554   o b2554 b4
4619  B       b1866   t1866  B       b2555   t2554
4620  T       t1867   o936 b1860 b1866  T       t2555   o936 b2548 b2555
4621  B       b1867   t1867  B       b2556   t2555
4622  P       p1867   String "setSubstT << equal{id; op{inv{'s}; 's}} >> 2 thenAT autoT"  P       p1867   String "setSubstT << equal{id; op{inv{'s}; 's}} >> 2 thenAT autoT"
4623  O       o1867   ext_rule p1867  O       o1867   ext_rule p1867
4624  T       t1868   o676 b567 b1861  T       t1868   o676 b567 b1861
4625  S       s1868   t620 h h1846 h1848 h1862  S       s2556   t620 h h2540 h2541 h2550
4626  G       s1868   t1868  G       s2556   t1868
4627  B       b1868   s1868  B       b2557   s2556
4628  T       t1869   o938 b1868 b1858  T       t2557   o938 b2557 b2538
4629  B       b1869   t1869  B       b2558   t2557
4630  T       t1870   o738 b567 b1861  T       t1870   o738 b567 b1861
4631  S       s1870   t620 h h1846 h1848 h1862  S       s2558   t620 h h2540 h2541 h2550
4632  G       s1870   t1870  G       s2558   t1870
4633  B       b1870   s1870  B       b2559   s2558
4634  T       t1871   o938 b1870 b1858  T       t2559   o938 b2559 b2538
4635  B       b1871   t1871  B       b2560   t2559
4636  T       t1872   o2 b1865  T       t2560   o2 b2554
4637  B       b1872   t1872  B       b2561   t2560
4638  T       t1873   o966 b1871 b983 b1872  T       t2561   o966 b2560 b983 b2561
4639  B       b1873   t1873  B       b2562   t2561
4640  T       t1874   o2 b1873  T       t2562   o2 b2562
4641  B       b1874   t1874  B       b2563   t2562
4642  T       t1875   o966 b1869 b4 b1874  T       t2563   o966 b2558 b4 b2563
4643  B       b1875   t1875  B       b2564   t2563
4644  T       t1876   o738 b1845 b1861  T       t1876   o738 b1845 b1861
4645  H       h1876   v_1 t1876  H       h2564   v_3 t1876
4646  S       s1876   t620 h h1846 h1848 h1862 h1876  S       s2564   t620 h h2540 h2541 h2550 h2564
4647  G       s1876   t1849  G       s2564   t1849
4648  B       b1876   s1876  B       b2565   s2564
4649  T       t1877   o938 b1876 b1858  T       t2565   o938 b2565 b2538
4650  B       b1877   t1877  B       b2566   t2565
4651  T       t1878   o937 b1877 b4 b1872  T       t2566   o937 b2566 b4 b2561
4652  B       b1878   t1878  B       b2567   t2566
4653  T       t532    o b1878 b4  T       t2567   o b2567 b4
4654  B       b532    t532  B       b2568   t2567
4655  T       t538    o b1875 b532  T       t2568   o b2564 b2568
4656  B       b538    t538  B       b2569   t2568
4657  T       t539    o936 b1865 b538  T       t2569   o936 b2554 b2569
4658  B       b539    t539  B       b2570   t2569
 B       b1879   t1845 v_1  
 T       t1879   o711 b1879  
 S       s1879   t620 h h1846 h1848 h1862  
 G       s1879   t1879  
 B       b1880   s1879  
 T       t1880   o938 b1880 b1858  
 B       b1881   t1880  
 T       t1881   o738 b1845 b1220  
 B       b1882   t1881 v_1  
 T       t1882   o976 b1882  
 S       s1882   t620 h h1846 h1848 h1862  
 G       s1882   t1882  
 B       b1883   s1882  
 T       t1883   o938 b1883 b1858  
 B       b1884   t1883  
 T       t1884   o973 b1884 b983 b1872  
 B       b1885   t1884  
 T       t1885   o2 b1885  
 B       b1886   t1885  
 T       t1886   o973 b1881 b4 b1886  
 B       b1887   t1886  
4659  P       p1891   String "rwh unfold_equal 4 thenT autoT thenT eqSetSymT thenT autoT"  P       p1891   String "rwh unfold_equal 4 thenT autoT thenT eqSetSymT thenT autoT"
4660  O       o1891   ext_rule p1891  O       o1891   ext_rule p1891
4661  T       t1891   o936 b1875 b4  T       t2570   o936 b2564 b4
4662  B       b1892   t1891  B       b2571   t2570
4663  T       t1892   o1891 b935 b1892 b4 b4  T       t2571   o1891 b935 b2571 b4 b4
4664  B       b1893   t1892  B       b2572   t2571
4665  P       p1893   String "groupCancelRightT << 's >> thenT autoT"  P       p1893   String "groupCancelRightT << 's >> thenT autoT"
4666  O       o1893   ext_rule p1893  O       o1893   ext_rule p1893
4667  T       t1893   o936 b1878 b4  T       t2572   o936 b2567 b4
4668  B       b1894   t1893  B       b2573   t2572
4669  T       t1894   o1893 b935 b1894 b4 b4  T       t2573   o1893 b935 b2573 b4 b4
4670  B       b1895   t1894  B       b2574   t2573
4671  T       t545    o b1895 b4  T       t2574   o b2574 b4
4672  B       b545    t545  B       b2575   t2574
4673  T       t546    o b1893 b545  T       t2575   o b2572 b2575
4674  B       b546    t546  B       b2576   t2575
4675  T       t1895   o936 b1887 b4  T       t2576   o1867 b935 b2570 b2576 b4
4676  B       b1896   t1895  B       b2577   t2576
4677  T       t1896   o1071 b935 b1896 b4 b4  T       t2577   o b2577 b4
4678  B       b1897   t1896  B       b2578   t2577
4679  T       t1897   o b1897 b4  T       t2578   o1854 b935 b2556 b2578 b4
4680  B       b1898   t1897  B       b2579   t2578
4681  T       t552    o1867 b935 b539 b546 b1898  T       t2579   o b2579 b4
4682  B       b552    t552  B       b2580   t2579
4683  T       t553    o b552 b4  T       t2580   o2532 b935 b2550 b2580 b4
4684  B       b553    t553  B       b2581   t2580
4685  T       t557    o1854 b935 b1867 b553 b4  T       t2581   o933 b2581
4686  B       b557    t557  B       b2582   t2581
4687  T       t558    o933 b557  P       p2582   Number 6839
4688  B       b558    t558  P       p2583   Number 6847
4689  P       p1904   Number 7007  O       o2583   resource_defs p2582 p2583 p264
4690  P       p1905   Number 7015  P       p2584   Number 6845
4691  O       o1905   resource_defs p1904 p1905 p264  O       o2584   uid p2584 p2583
4692  P       p1906   Number 7013  T       t2584   o2584 b626
4693  O       o1906   uid p1906 p1905  B       b2584   t2584
4694  T       t1906   o1906 b626  T       t2585   o b2584 b4
4695  B       b1906   t1906  B       b2585   t2585
4696  T       t1907   o b1906 b4  T       t2586   o2583 b2585
4697  B       b1907   t1907  B       b2586   t2586
4698  T       t1908   o1905 b1907  T       t2587   o b2586 b4
4699  B       b1908   t1908  B       b2587   t2587
4700  T       t1909   o b1908 b4  T       t2588   o2511 b618 b2532 b2582 b2587
4701  B       b1909   t1909  B       b2588   t2588
4702  T       t559    o1845 b618 b1854 b558 b1909  T       t2589   o2510 b2588
4703  B       b559    t559  B       b2589   t2589
4704  T       t565    o1844 b559  P       p2589   Number 7195
4705  B       b565    t565  P       p2590   Number 7576
4706  P       p1911   Number 7356  O       o2590   location p2589 p2590
4707  P       p1912   Number 7775  P       p2591   String unique_inv2
4708  O       o1912   location p1911 p1912  O       o2591   rule p2591
4709    T       t2591   o738 b574 b561
4710    S       s2591   t620 h
4711    G       s2591   t2591
4712    B       b2591   s2591
4713    T       t2592   o618 b2591
4714    B       b2592   t2592
4715    T       t2593   o635 b2514 b2592
4716    B       b2593   t2593
4717    T       t2594   o635 b2512 b2593
4718    B       b2594   t2594
4719    T       t2595   o635 b658 b2594
4720    B       b2595   t2595
4721    T       t2596   o635 b794 b2595
4722    B       b2596   t2596
4723    T       t2597   o635 b641 b2596
4724    B       b2597   t2597
4725    T       t2598   o635 b711 b2597
4726    B       b2598   t2598
4727    P       p2598   String "assumT 5 thenT assumT 6 thenT assertT << equal{op{inv{'s}; 's}; id} >> thenAT autoT"
4728    O       o2598   ext_rule p2598
4729    T       t2599   o938 b2591 b2538
4730    B       b2599   t2599
4731    T       t2600   o937 b2599 b4 b946
4732    B       b2600   t2600
4733    S       s2600   t620 h h2540 h2541 h2550
4734    G       s2600   t2591
4735    B       b2601   s2600
4736    T       t2601   o938 b2601 b2538
4737    B       b2602   t2601
4738    S       s2602   t620 h h2540 h2541
4739    G       s2602   t2591
4740    B       b2603   s2602
4741    T       t2603   o938 b2603 b2538
4742    B       b2604   t2603
4743    S       s2604   t620 h h2540
4744    G       s2604   t2591
4745    B       b2605   s2604
4746    T       t2605   o938 b2605 b2538
4747    B       b2606   t2605
4748    T       t2606   o2 b2600
4749    B       b2607   t2606
4750    T       t2607   o937 b2606 b4 b2607
4751    B       b2608   t2607
4752    T       t2608   o2 b2608
4753    B       b2609   t2608
4754    T       t2609   o937 b2604 b4 b2609
4755    B       b2610   t2609
4756    T       t2610   o2 b2610
4757    B       b2611   t2610
4758    T       t2611   o937 b2602 b4 b2611
4759    B       b2612   t2611
4760    T       t2612   o b2612 b4
4761    B       b2613   t2612
4762    T       t2613   o936 b2600 b2613
4763    B       b2614   t2613
4764    T       t2614   o2 b2612
4765    B       b2615   t2614
4766    T       t2615   o966 b2560 b983 b2615
4767    B       b2616   t2615
4768    T       t2616   o2 b2616
4769    B       b2617   t2616
4770    T       t2617   o966 b2558 b4 b2617
4771    B       b2618   t2617
4772    S       s2618   t620 h h2540 h2541 h2550 h2564
4773    G       s2618   t2591
4774    B       b2619   s2618
4775    T       t2619   o938 b2619 b2538
4776    B       b2620   t2619
4777    T       t2620   o937 b2620 b4 b2615
4778    B       b2621   t2620
4779    T       t2621   o b2621 b4
4780    B       b2622   t2621
4781    T       t2622   o b2618 b2622
4782    B       b2623   t2622
4783    T       t2623   o936 b2612 b2623
4784    B       b2624   t2623
4785    T       t2624   o936 b2618 b4
4786    B       b2625   t2624
4787    T       t2625   o1891 b935 b2625 b4 b4
4788    B       b2626   t2625
4789    P       p2626   String "assertT << equal{'s2; inv{'s}} >> thenT autoT"
4790    O       o2626   ext_rule p2626
4791    H       h2626   v_4 t1849
4792    T       t2626   o676 b574 b561
4793    S       s2626   t620 h h2540 h2541 h2550 h2564 h2626
4794    G       s2626   t2626
4795    B       b2627   s2626
4796    T       t2627   o938 b2627 b2538
4797    B       b2628   t2627
4798    S       s2628   t620 h h2540 h2541 h2550 h2564 h2626
4799    G       s2628   t2591
4800    B       b2629   s2628
4801    T       t2629   o938 b2629 b2538
4802    B       b2630   t2629
4803    T       t2630   o2 b2621
4804    B       b2631   t2630
4805    T       t2631   o937 b2630 b983 b2631
4806    B       b2632   t2631
4807    T       t2632   o2 b2632
4808    B       b2633   t2632
4809    T       t2633   o937 b2628 b4 b2633
4810    B       b2634   t2633
4811    T       t2634   o b2634 b4
4812    B       b2635   t2634
4813    T       t2635   o936 b2621 b2635
4814    B       b2636   t2635
4815    P       p2636   String "rwh unfold_equal 6 thenT autoT thenT eqSetSymT thenT autoT"
4816    O       o2636   ext_rule p2636
4817    T       t2636   o936 b2634 b4
4818    B       b2637   t2636
4819    T       t2637   o2636 b935 b2637 b4 b4
4820    B       b2638   t2637
4821    T       t2638   o b2638 b4
4822    B       b2639   t2638
4823    T       t2639   o2626 b935 b2636 b2639 b4
4824    B       b2640   t2639
4825    T       t2640   o b2640 b4
4826    B       b2641   t2640
4827    T       t2641   o b2626 b2641
4828    B       b2642   t2641
4829    T       t2642   o1867 b935 b2624 b2642 b4
4830    B       b2643   t2642
4831    T       t2643   o b2643 b4
4832    B       b2644   t2643
4833    T       t2644   o2598 b935 b2614 b2644 b4
4834    B       b2645   t2644
4835    T       t2645   o933 b2645
4836    B       b2646   t2645
4837    P       p2646   Number 7222
4838    P       p2647   Number 7230
4839    O       o2647   resource_defs p2646 p2647 p264
4840    P       p2648   Number 7228
4841    O       o2648   uid p2648 p2647
4842    T       t2648   o2648 b626
4843    B       b2648   t2648
4844    T       t2649   o b2648 b4
4845    B       b2649   t2649
4846    T       t2650   o2647 b2649
4847    B       b2650   t2650
4848    T       t2651   o b2650 b4
4849    B       b2651   t2651
4850    T       t2652   o2591 b618 b2598 b2646 b2651
4851    B       b2652   t2652
4852    T       t2653   o2590 b2652
4853    B       b2653   t2653
4854    P       p2653   Number 7627
4855    P       p2654   Number 8046
4856    O       o2654   location p2653 p2654
4857  P       p1913   String unique_sol1  P       p1913   String unique_sol1
4858  O       o1913   rule p1913  O       o1913   rule p1913
4859  P       p1914   Var a  P       p1914   Var a
# Line 5202  Line 5370 
5370  B       b653    t653  B       b653    t653
5371  T       t654    o933 b653  T       t654    o933 b653
5372  B       b654    t654  B       b654    t654
5373  P       p2133   Number 7383  P       p2655   Number 7654
5374  P       p2134   Number 7391  P       p2656   Number 7662
5375  O       o2134   resource_defs p2133 p2134 p264  O       o2656   resource_defs p2655 p2656 p264
5376  P       p2135   Number 7389  P       p2657   Number 7660
5377  O       o2135   uid p2135 p2134  O       o2657   uid p2657 p2656
5378  T       t2135   o2135 b626  T       t2657   o2657 b626
5379  B       b2135   t2135  B       b2657   t2657
5380  T       t2136   o b2135 b4  T       t2658   o b2657 b4
5381  B       b2136   t2136  B       b2658   t2658
5382  T       t2137   o2134 b2136  T       t2659   o2656 b2658
5383  B       b2137   t2137  B       b2659   t2659
5384  T       t2138   o b2137 b4  T       t2660   o b2659 b4
5385  B       b2138   t2138  B       b2660   t2660
5386  T       t665    o1913 b618 b1942 b654 b2138  T       t2661   o1913 b618 b1942 b654 b2660
5387  B       b665    t665  B       b2661   t2661
5388  T       t672    o1912 b665  T       t2662   o2654 b2661
5389  B       b672    t672  B       b2662   t2662
5390  P       p2140   Number 7826  P       p2662   Number 8097
5391  P       p2141   Number 8245  P       p2663   Number 8516
5392  O       o2141   location p2140 p2141  O       o2663   location p2662 p2663
5393  P       p2142   String unique_sol2  P       p2142   String unique_sol2
5394  O       o2142   rule p2142  O       o2142   rule p2142
5395  P       p2143   Var y  P       p2143   Var y
# Line 5548  Line 5716 
5716  B       b775    t775  B       b775    t775
5717  T       t782    o933 b775  T       t782    o933 b775
5718  B       b782    t782  B       b782    t782
5719  P       p2280   Number 7853  P       p2664   Number 8124
5720  P       p2281   Number 7861  P       p2665   Number 8132
5721  O       o2281   resource_defs p2280 p2281 p264  O       o2665   resource_defs p2664 p2665 p264
5722  P       p2282   Number 7859  P       p2666   Number 8130
5723  O       o2282   uid p2282 p2281  O       o2666   uid p2666 p2665
5724  T       t2282   o2282 b626  T       t2666   o2666 b626
5725  B       b2282   t2282  B       b2666   t2666
5726  T       t2283   o b2282 b4  T       t2667   o b2666 b4
5727  B       b2283   t2283  B       b2667   t2667
5728  T       t2284   o2281 b2283  T       t2668   o2665 b2667
5729  B       b2284   t2284  B       b2668   t2668
5730  T       t2285   o b2284 b4  T       t2669   o b2668 b4
5731  B       b2285   t2285  B       b2669   t2669
5732  T       t785    o2142 b618 b2160 b782 b2285  T       t2670   o2142 b618 b2160 b782 b2669
5733  B       b785    t785  B       b2670   t2670
5734  T       t792    o2141 b785  T       t2671   o2663 b2670
5735  B       b792    t792  B       b2671   t2671
5736  P       p2287   Number 8273  P       p2671   Number 8544
5737  P       p2288   Number 8568  P       p2672   Number 8839
5738  O       o2288   location p2287 p2288  O       o2672   location p2671 p2672
5739  P       p2289   String inv_simplify  P       p2289   String inv_simplify
5740  O       o2289   rule p2289  O       o2289   rule p2289
5741  T       t2289   o559 b1914 b1917  T       t2289   o559 b1914 b1917
# Line 6016  Line 6184 
6184  B       b834    t834  B       b834    t834
6185  T       t835    o933 b834  T       t835    o933 b834
6186  B       b835    t835  B       b835    t835
6187  P       p2521   Number 8301  P       p2673   Number 8572
6188  P       p2522   Number 8309  P       p2674   Number 8580
6189  O       o2522   resource_defs p2521 p2522 p264  O       o2674   resource_defs p2673 p2674 p264
6190  P       p2523   Number 8307  P       p2675   Number 8578
6191  O       o2523   uid p2523 p2522  O       o2675   uid p2675 p2674
6192  T       t2523   o2523 b626  T       t2675   o2675 b626
6193  B       b2523   t2523  B       b2675   t2675
6194  T       t2524   o b2523 b4  T       t2676   o b2675 b4
6195  B       b2524   t2524  B       b2676   t2676
6196  T       t2525   o2522 b2524  T       t2677   o2674 b2676
6197  B       b2525   t2525  B       b2677   t2677
6198  T       t2526   o b2525 b4  T       t2678   o b2677 b4
6199  B       b2526   t2526  B       b2678   t2678
6200  T       t856    o2289 b618 b2298 b835 b2526  T       t2679   o2289 b618 b2298 b835 b2678
6201  B       b856    t856  B       b2679   t2679
6202  T       t862    o2288 b856  T       t2680   o2672 b2679
6203  B       b862    t862  B       b2680   t2680
6204    P       p2680   Number 8861
6205    P       p2681   Number 8946
6206    O       o2681   location p2680 p2681
6207    P       p2682   String inv_of_id
6208    O       o2682   rule p2682
6209    T       t2682   o572 b567
6210    B       b2682   t2682
6211    T       t2683   o676 b2682 b567
6212    S       s2683   t620 h
6213    G       s2683   t2683
6214    B       b2683   s2683
6215    T       t2684   o618 b2683
6216    B       b2684   t2684
6217    P       p2684   String "assertT << equal{op{inv{id}; id}; id} >> thenT autoT"
6218    O       o2684   ext_rule p2684
6219    T       t2685   o938 b2683 b4
6220    B       b2685   t2685
6221    T       t2686   o937 b2685 b4 b946
6222    B       b2686   t2686
6223    T       t2687   o559 b2682 b567
6224    B       b2687   t2687
6225    T       t2688   o738 b2687 b567
6226    H       h2688   v t2688
6227    S       s2688   t620 h h2688
6228    G       s2688   t2683
6229    B       b2688   s2688
6230    T       t2689   o938 b2688 b4
6231    B       b2689   t2689
6232    T       t2690   o2 b2686
6233    B       b2690   t2690
6234    T       t2691   o937 b2689 b4 b2690
6235    B       b2691   t2691
6236    T       t2692   o b2691 b4
6237    B       b2692   t2692
6238    T       t2693   o936 b2686 b2692
6239    B       b2693   t2693
6240    P       p2693   String "assertT << equal{op{inv{id}; id}; inv{id}} >> thenT autoT"
6241    O       o2693   ext_rule p2693
6242    T       t2694   o738 b2687 b2682
6243    H       h2694   v_1 t2694
6244    S       s2694   t620 h h2688 h2694
6245    G       s2694   t2683
6246    B       b2694   s2694
6247    T       t2695   o938 b2694 b4
6248    B       b2695   t2695
6249    T       t2696   o2 b2691
6250    B       b2696   t2696
6251    T       t2697   o937 b2695 b4 b2696
6252    B       b2697   t2697
6253    T       t2698   o b2697 b4
6254    B       b2698   t2698
6255    T       t2699   o936 b2691 b2698
6256    B       b2699   t2699
6257    P       p2699   String "setSubstT << equal{op{inv{id}; id}; inv{id}} >> 2 thenT autoT"
6258    O       o2699   ext_rule p2699
6259    T       t2700   o738 b2682 b567
6260    H       h2700   v_2 t2700
6261    S       s2700   t620 h h2688 h2694 h2700
6262    G       s2700   t2683
6263    B       b2700   s2700
6264    T       t2701   o938 b2700 b4
6265    B       b2701   t2701
6266    T       t2702   o2 b2697
6267    B       b2702   t2702
6268    T       t2703   o937 b2701 b4 b2702
6269    B       b2703   t2703
6270    T       t2704   o b2703 b4
6271    B       b2704   t2704
6272    T       t2705   o936 b2697 b2704
6273    B       b2705   t2705
6274    P       p2705   String "rwh unfold_equal 4 thenT autoT"
6275    O       o2705   ext_rule p2705
6276    T       t2706   o936 b2703 b4
6277    B       b2706   t2706
6278    T       t2707   o2705 b935 b2706 b4 b4
6279    B       b2707   t2707
6280    T       t2708   o b2707 b4
6281    B       b2708   t2708
6282    T       t2709   o2699 b935 b2705 b2708 b4
6283    B       b2709   t2709
6284    T       t2710   o b2709 b4
6285    B       b2710   t2710
6286    T       t2711   o2693 b935 b2699 b2710 b4
6287    B       b2711   t2711
6288    T       t2712   o b2711 b4
6289    B       b2712   t2712
6290    P       p2712   String "rwh unfold_equal 2 thenT rwh unfold_equal 3 thenT eqSetTransT << op{inv{id}; id} >> thenT autoT"
6291    O       o2712   ext_rule p2712
6292    T       t2713   o738 b2682 b2687
6293    H       h2713   v_1 t2713
6294    S       s2713   t620 h h2688 h2713
6295    G       s2713   t2683
6296    B       b2713   s2713
6297    T       t2714   o938 b2713 b4
6298    B       b2714   t2714
6299    T       t2715   o937 b2714 b4 b2696
6300    B       b2715   t2715
6301    T       t2716   o936 b2715 b4
6302    B       b2716   t2716
6303    T       t2717   o2712 b935 b2716 b4 b4
6304    B       b2717   t2717
6305    T       t2718   o b2717 b4
6306    B       b2718   t2718
6307    T       t2719   o2684 b935 b2693 b2712 b2718
6308    B       b2719   t2719
6309    T       t2720   o933 b2719
6310    B       b2720   t2720
6311    P       p2720   Number 8886
6312    P       p2721   Number 8894
6313    O       o2721   resource_defs p2720 p2721 p264
6314    P       p2722   Number 8892
6315    O       o2722   uid p2722 p2721
6316    T       t2722   o2722 b626
6317    B       b2722   t2722
6318    T       t2723   o b2722 b4
6319    B       b2723   t2723
6320    T       t2724   o2721 b2723
6321    B       b2724   t2724
6322    T       t2725   o b2724 b4
6323    B       b2725   t2725
6324    T       t2726   o2682 b618 b2684 b2720 b2725
6325    B       b2726   t2726
6326    T       t2727   o2681 b2726
6327    B       b2727   t2727
6328  O       o2528   location p p  O       o2528   location p p
6329  NSummary!id     id2528  id Summary  NSummary!id     id2528  id Summary
6330  P       p2528   Number 646427455  P       p2528   Number 646427455
# Line 6043  Line 6335 
6335  B       b2530   t2530  B       b2530   t2530
6336  T       t2531   o b2530 b4  T       t2531   o b2530 b4
6337  B       b2531   t2531  B       b2531   t2531
6338  T       t869    o b862 b2531  T       t2728   o b2727 b2531
6339  B       b869    t869  B       b2728   t2728
6340  T       t874    o b792 b869  T       t2729   o b2680 b2728
6341  B       b874    t874  B       b2729   t2729
6342  T       t881    o b672 b874  T       t2730   o b2671 b2729
6343  B       b881    t881  B       b2730   t2730
6344  T       t885    o b565 b881  T       t2731   o b2662 b2730
6345  B       b885    t885  B       b2731   t2731
6346  T       t892    o b531 b885  T       t2732   o b2653 b2731
6347  B       b892    t892  B       b2732   t2732
6348  T       t898    o b1723 b892  T       t2733   o b2589 b2732
6349  B       b898    t898  B       b2733   t2733
6350  T       t905    o b1683 b898  T       t2734   o b2509 b2733
6351  B       b905    t905  B       b2734   t2734
6352  T       t911    o b470 b905  T       t2735   o b2500 b2734
6353  B       b911    t911  B       b2735   t2735
6354  T       t918    o b385 b911  T       t2736   o b2329 b2735
6355  B       b918    t918  B       b2736   t2736
6356  T       t919    o b917 b918  T       t2737   o b2127 b2736
6357  B       b919    t919  B       b2737   t2737
6358  T       t934    o b904 b919  T       t2738   o b2053 b2737
6359  B       b934    t934  B       b2738   t2738
6360  T       t936    o b891 b934  T       t2739   o b2026 b2738
6361  B       b936    t936  B       b2739   t2739
6362  T       t937    o b880 b936  T       t2740   o b1904 b2739
6363  B       b937    t937  B       b2740   t2740
6364  T       t957    o b868 b937  T       t2741   o b1891 b2740
6365  B       b1097   t957  B       b2741   t2741
6366  T       t1097   o b855 b1097  T       t2742   o b1835 b2741
6367  B       b1098   t1097  B       b2742   t2742
6368  T       t1098   o b819 b1098  T       t2743   o b1826 b2742
6369  B       b1099   t1098  B       b2743   t2743
6370  T       t1099   o b806 b1099  T       t2744   o b1813 b2743
6371  B       b1172   t1099  B       b2744   t2744
6372  T       t1178   o b791 b1172  T       t2745   o b1506 b2744
6373  B       b1225   t1178  B       b2745   t2745
6374  T       t1230   o b781 b1225  T       t2746   o b1420 b2745
6375  B       b1265   t1230  B       b2746   t2746
6376  T       t1270   o b771 b1265  T       t2747   o b1378 b2746
6377  B       b1424   t1270  B       b2747   t2747
6378  T       t1424   o b755 b1424  T       t2748   o b1366 b2747
6379  B       b1431   t1424  B       b2748   t2748
6380  T       t1431   o b735 b1431  T       t2749   o b1357 b2748
6381  B       b1567   t1431  B       b2749   t2749
6382  T       t1567   o b723 b1567  T       t2750   o b1348 b2749
6383  B       b1568   t1567  B       b2750   t2750
6384  T       t1568   o b709 b1568  T       t2751   o b1319 b2750
6385  B       b1636   t1568  B       b2751   t2751
6386  T       t1636   o b693 b1636  T       t2752   o b1083 b2751
6387  B       b1643   t1636  B       b2752   t2752
6388  T       t1643   o b671 b1643  T       t2753   o b1070 b2752
6389  B       b1644   t1643  B       b2753   t2753
6390  T       t1644   o b652 b1644  T       t2754   o b1012 b2753
6391  B       b1645   t1644  B       b2754   t2754
6392  T       t1645   o b632 b1645  T       t2755   o b671 b2754
6393  B       b1648   t1645  B       b2755   t2755
6394  T       t1648   o b614 b1648  T       t2756   o b652 b2755
6395  B       b1649   t1648  B       b2756   t2756
6396  T       t1649   o b606 b1649  T       t2757   o b632 b2756
6397  B       b1650   t1649  B       b2757   t2757
6398  T       t1650   o b592 b1650  T       t2758   o b614 b2757
6399  B       b1651   t1650  B       b2758   t2758
6400  T       t1651   o b585 b1651  T       t2759   o b606 b2758
6401  B       b1652   t1651  B       b2759   t2759
6402  T       t1652   o b576 b1652  T       t2760   o b592 b2759
6403  B       b1653   t1652  B       b2760   t2760
6404  T       t1653   o b569 b1653  T       t2761   o b585 b2760
6405  B       b1654   t1653  B       b2761   t2761
6406  T       t1654   o b564 b1654  T       t2762   o b576 b2761
6407  B       b1655   t1654  B       b2762   t2762
6408  T       t1655   o b556 b1655  T       t2763   o b569 b2762
6409  B       b1658   t1655  B       b2763   t2763
6410  T       t1658   o b551 b1658  T       t2764   o b564 b2763
6411  B       b1659   t1658  B       b2764   t2764
6412  T       t1659   o b544 b1659  T       t2765   o b556 b2764
6413  B       b1684   t1659  B       b2765   t2765
6414  T       t1684   o b537 b1684  T       t2766   o b551 b2765
6415  B       b1685   t1684  B       b2766   t2766
6416  T       t1685   o b530 b1685  T       t2767   o b544 b2766
6417  B       b1686   t1685  B       b2767   t2767
6418  T       t1686   o b523 b1686  T       t2768   o b537 b2767
6419  B       b1689   t1686  B       b2768   t2768
6420  T       t1689   o b515 b1689  T       t2769   o b530 b2768
6421  B       b1690   t1689  B       b2769   t2769
6422  T       t1690   o b507 b1690  T       t2770   o b523 b2769
6423  B       b1691   t1690  B       b2770   t2770
6424  T       t1691   o b499 b1691  T       t2771   o b515 b2770
6425  B       b1692   t1691  B       b2771   t2771
6426  T       t1692   o b492 b1692  T       t2772   o b507 b2771
6427  B       b1693   t1692  B       b2772   t2772
6428  T       t1693   o b485 b1693  T       t2773   o b499 b2772
6429  B       b1694   t1693  B       b2773   t2773
6430  T       t1694   o b478 b1694  T       t2774   o b492 b2773
6431  B       b1695   t1694  B       b2774   t2774
6432  T       t1695   o b469 b1695  T       t2775   o b485 b2774
6433  B       b1696   t1695  B       b2775   t2775
6434  T       t1696   o b460 b1696  T       t2776   o b478 b2775
6435  B       b1699   t1696  B       b2776   t2776
6436  T       t1699   o b451 b1699  T       t2777   o b469 b2776
6437  B       b1700   t1699  B       b2777   t2777
6438  T       t1700   o b442 b1700  T       t2778   o b460 b2777
6439  B       b1724   t1700  B       b2778   t2778
6440  T       t1724   o b433 b1724  T       t2779   o b451 b2778
6441  B       b1725   t1724  B       b2779   t2779
6442  T       t1725   o b424 b1725  T       t2780   o b442 b2779
6443  B       b1736   t1725  B       b2780   t2780
6444  T       t1750   o b415 b1736  T       t2781   o b433 b2780
6445  B       b1837   t1750  B       b2781   t2781
6446  T       t1837   o b405 b1837  T       t2782   o b424 b2781
6447  B       b1844   t1837  B       b2782   t2782
6448  T       t1844   o b398 b1844  T       t2783   o b415 b2782
6449  B       b1846   t1844  B       b2783   t2783
6450  T       t1904   o b390 b1846  T       t2784   o b405 b2783
6451  B       b1905   t1904  B       b2784   t2784
6452  T       t1905   o b384 b1905  T       t2785   o b398 b2784
6453  B       b1912   t1905  B       b2785   t2785
6454  T       t1912   o b369 b1912  T       t2786   o b390 b2785
6455  B       b1913   t1912  B       b2786   t2786
6456  T       t1913   o b367 b1913  T       t2787   o b384 b2786
6457  B       b1952   t1913  B       b2787   t2787
6458  T       t1960   o b358 b1952  T       t2788   o b369 b2787
6459    B       b2788   t2788
6460    T       t2789   o b367 b2788
6461    B       b2789   t2789
6462    T       t2790   o b358 b2789

Legend:
Removed from v.3463  
changed lines
  Added in v.3484

  ViewVC Help
Powered by ViewVC 1.1.26