/[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 3527 by xiny, Mon Mar 4 02:20:01 2002 UTC revision 3530 by xiny, Thu Mar 7 23:13:10 2002 UTC
# Line 2489  Line 2489 
2489  T       t961    o943 b960  T       t961    o943 b960
2490  B       b961    t961  B       b961    t961
2491  P       p961    Number 6605  P       p961    Number 6605
2492  P       p962    Number 6989  P       p6      Number 6874
2493  O       o962    location p961 p962  O       o10     location p961 p6
2494  P       p963    String id_eq2  P       p963    String id_eq2
2495  O       o963    rule p963  O       o963    rule p963
2496  T       t963    o596 b585 b815 b604  T       t963    o596 b585 b815 b604
# Line 2513  Line 2513 
2513  B       b970    t970  B       b970    t970
2514  T       t971    o676 b817 b970  T       t971    o676 b817 b970
2515  B       b971    t971  B       b971    t971
 P       p971    Number 6627  
 P       p972    Number 6634  
 O       o972    resource_defs p971 p972 p204  
 P       p973    Number 6632  
 O       o973    uid p973 p972  
 T       t973    o973 b691  
 B       b973    t973  
 T       t974    o b973 b4  
 B       b974    t974  
 T       t975    o972 b974  
 B       b975    t975  
 T       t976    o b975 b4  
 B       b976    t976  
 T       t977    o963 b676 b971 b688 b976  
 B       b977    t977  
 T       t978    o962 b977  
 B       b978    t978  
 P       p978    Number 6991  
 P       p979    Number 7260  
 O       o979    location p978 p979  
2516  P       p980    String inv_wf1  P       p980    String inv_wf1
2517  O       o980    rule p980  O       o980    rule p980
2518  T       t980    o609 b585 b714  T       t980    o609 b585 b714
# Line 2551  Line 2531 
2531  B       b985    t985  B       b985    t985
2532  T       t986    o676 b716 b985  T       t986    o676 b716 b985
2533  B       b986    t986  B       b986    t986
2534  P       p986    Number 7014  P       p10     Number 6628
2535  P       p987    Number 7021  P       p12     Number 6635
2536  O       o987    resource_defs p986 p987 p204  O       o12     resource_defs p10 p12 p204
2537  P       p988    Number 7019  P       p14     Number 6633
2538  O       o988    uid p988 p987  O       o14     uid p14 p12
2539  T       t988    o988 b691  T       t250    o14 b691
2540  B       b988    t988  B       b250    t250
2541  T       t989    o b988 b4  T       t255    o b250 b4
2542  B       b989    t989  B       b255    t255
2543  T       t990    o987 b989  T       t256    o12 b255
2544  B       b990    t990  B       b256    t256
2545  T       t991    o b990 b4  T       t258    o b256 b4
2546  B       b991    t991  B       b258    t258
2547  T       t992    o980 b676 b986 b688 b991  T       t260    o980 b676 b986 b688 b258
2548  B       b992    t992  B       b260    t260
2549  T       t993    o979 b992  T       t267    o10 b260
2550  B       b993    t993  B       b267    t267
2551  P       p993    Number 7262  P       p269    Number 6876
2552  P       p994    Number 7538  P       p277    Number 7152
2553  O       o994    location p993 p994  O       o277    location p269 p277
2554  P       p995    String inv_wf2  P       p995    String inv_wf2
2555  O       o995    rule p995  O       o995    rule p995
2556  T       t995    o736 b980 b591  T       t995    o736 b980 b591
# Line 2587  Line 2567 
2567  B       b999    t999  B       b999    t999
2568  T       t1000   o676 b716 b999  T       t1000   o676 b716 b999
2569  B       b1000   t1000  B       b1000   t1000
2570  P       p1000   Number 7285  P       p284    Number 6899
2571  P       p1001   Number 7292  P       p285    Number 6906
2572  O       o1001   resource_defs p1000 p1001 p204  O       o285    resource_defs p284 p285 p204
2573  P       p1002   Number 7290  P       p286    Number 6904
2574  O       o1002   uid p1002 p1001  O       o286    uid p286 p285
2575  T       t1002   o1002 b691  T       t299    o286 b691
2576  B       b1002   t1002  B       b299    t299
2577  T       t1003   o b1002 b4  T       t368    o b299 b4
2578  B       b1003   t1003  B       b368    t368
2579  T       t1004   o1001 b1003  T       t379    o285 b368
2580  B       b1004   t1004  B       b379    t379
2581  T       t1005   o b1004 b4  T       t394    o b379 b4
2582  B       b1005   t1005  B       b394    t394
2583  T       t1006   o995 b676 b1000 b688 b1005  T       t400    o995 b676 b1000 b688 b394
2584  B       b1006   t1006  B       b400    t400
2585  T       t1007   o994 b1006  T       t421    o277 b400
2586  B       b1007   t1007  B       b421    t421
2587  P       p1007   Number 7540  P       p422    Number 7154
2588  P       p1008   Number 7839  P       p424    Number 7453
2589  O       o1008   location p1007 p1008  O       o425    location p422 p424
2590  P       p1009   String inv_equiv_fun1  P       p1009   String inv_equiv_fun1
2591  O       o1009   rule p1009  O       o1009   rule p1009
2592  T       t1009   o609 b585 b818  T       t1009   o609 b585 b818
# Line 2625  Line 2605 
2605  B       b1014   t1014  B       b1014   t1014
2606  T       t1015   o676 b761 b1014  T       t1015   o676 b761 b1014
2607  B       b1015   t1015  B       b1015   t1015
2608  P       p1015   Number 7570  P       p425    Number 7184
2609  P       p1016   Number 7577  P       p426    Number 7191
2610  O       o1016   resource_defs p1015 p1016 p204  O       o426    resource_defs p425 p426 p204
2611  P       p1017   Number 7575  P       p427    Number 7189
2612  O       o1017   uid p1017 p1016  O       o427    uid p427 p426
2613  T       t1017   o1017 b691  T       t429    o427 b691
2614  B       b1017   t1017  B       b429    t429
2615  T       t1018   o b1017 b4  T       t430    o b429 b4
2616  B       b1018   t1018  B       b430    t430
2617  T       t1019   o1016 b1018  T       t436    o426 b430
2618  B       b1019   t1019  B       b436    t436
2619  T       t1020   o b1019 b4  T       t437    o b436 b4
2620  B       b1020   t1020  B       b437    t437
2621  T       t1021   o1009 b676 b1015 b688 b1020  T       t446    o1009 b676 b1015 b688 b437
2622  B       b1021   t1021  B       b446    t446
2623  T       t1022   o1008 b1021  T       t447    o425 b446
2624  B       b1022   t1022  B       b447    t447
2625  P       p1022   Number 7841  P       p448    Number 7455
2626  P       p1023   Number 8023  P       p449    Number 7637
2627  O       o1023   location p1022 p1023  O       o449    location p448 p449
2628  P       p1024   String inv_eq_fun1  P       p1024   String inv_eq_fun1
2629  O       o1024   rule p1024  O       o1024   rule p1024
2630  T       t1024   o852 b1009  T       t1024   o852 b1009
# Line 2657  Line 2637 
2637  B       b1026   t1026  B       b1026   t1026
2638  T       t1027   o676 b682 b1026  T       t1027   o676 b682 b1026
2639  B       b1027   t1027  B       b1027   t1027
2640  P       p1027   Number 7868  P       p450    Number 7482
2641  P       p1028   Number 7875  P       p451    Number 7489
2642  O       o1028   resource_defs p1027 p1028 p204  O       o451    resource_defs p450 p451 p204
2643  P       p1029   Number 7873  P       p452    Number 7487
2644  O       o1029   uid p1029 p1028  O       o452    uid p452 p451
2645  T       t1029   o1029 b691  T       t455    o452 b691
2646  B       b1029   t1029  B       b455    t455
2647  T       t1030   o b1029 b4  T       t456    o b455 b4
2648  B       b1030   t1030  B       b456    t456
2649  T       t1031   o1028 b1030  T       t464    o451 b456
2650  B       b1031   t1031  B       b464    t464
2651  T       t1032   o b1031 b4  T       t465    o b464 b4
2652  B       b1032   t1032  B       b465    t465
2653  T       t1033   o1024 b676 b1027 b688 b1032  T       t473    o1024 b676 b1027 b688 b465
2654  B       b1033   t1033  B       b473    t473
2655  T       t1034   o1023 b1033  T       t474    o449 b473
2656  B       b1034   t1034  B       b474    t474
2657  P       p1034   Number 8025  P       p475    Number 7639
2658  P       p1035   Number 8423  P       p476    Number 8037
2659  O       o1035   location p1034 p1035  O       o476    location p475 p476
2660  P       p1036   String inv_id1  P       p1036   String inv_id1
2661  O       o1036   rule p1036  O       o1036   rule p1036
2662  T       t1036   o596 b585 b980 b714  T       t1036   o596 b585 b980 b714
# Line 2699  Line 2679 
2679  B       b1043   t1043  B       b1043   t1043
2680  T       t1044   o676 b716 b1043  T       t1044   o676 b716 b1043
2681  B       b1044   t1044  B       b1044   t1044
2682  P       p1044   Number 8048  P       p477    Number 7662
2683  P       p1045   Number 8055  P       p478    Number 7669
2684  O       o1045   resource_defs p1044 p1045 p204  O       o478    resource_defs p477 p478 p204
2685  P       p1046   Number 8053  P       p479    Number 7667
2686  O       o1046   uid p1046 p1045  O       o479    uid p479 p478
2687  T       t1046   o1046 b691  T       t482    o479 b691
2688  B       b1046   t1046  B       b482    t482
2689  T       t1047   o b1046 b4  T       t483    o b482 b4
2690  B       b1047   t1047  B       b483    t483
2691  T       t1048   o1045 b1047  T       t491    o478 b483
2692  B       b1048   t1048  B       b491    t491
2693  T       t1049   o b1048 b4  T       t492    o b491 b4
2694  B       b1049   t1049  B       b492    t492
2695  T       t1050   o1036 b676 b1044 b688 b1049  T       t500    o1036 b676 b1044 b688 b492
2696  B       b1050   t1050  B       b500    t500
2697  T       t1051   o1035 b1050  T       t501    o476 b500
2698  B       b1051   t1051  B       b501    t501
 P       p1051   Number 8425  
 P       p1052   Number 8823  
 O       o1052   location p1051 p1052  
2699  P       p1053   String inv_id2  P       p1053   String inv_id2
2700  O       o1053   rule p1053  O       o1053   rule p1053
 T       t1053   o596 b585 b714 b980  
 B       b1053   t1053  
 T       t1054   o761 b591 b759 b1053 b604  
 S       s1054   t684 h  
 G       s1054   t1054  
 B       b1054   s1054  
 T       t1055   o677 b1054  
 B       b1055   t1055  
 T       t1056   o676 b737 b1055  
 B       b1056   t1056  
 T       t1057   o676 b763 b1056  
 B       b1057   t1057  
 T       t1058   o676 b700 b1057  
 B       b1058   t1058  
 T       t1059   o676 b682 b1058  
 B       b1059   t1059  
 T       t1060   o676 b761 b1059  
 B       b1060   t1060  
 T       t1061   o676 b716 b1060  
 B       b1061   t1061  
 P       p1061   Number 8448  
 P       p1062   Number 8455  
 O       o1062   resource_defs p1061 p1062 p204  
 P       p1063   Number 8453  
 O       o1063   uid p1063 p1062  
 T       t1063   o1063 b691  
 B       b1063   t1063  
 T       t1064   o b1063 b4  
 B       b1064   t1064  
 T       t1065   o1062 b1064  
 B       b1065   t1065  
 T       t1066   o b1065 b4  
 B       b1066   t1066  
 T       t1067   o1053 b676 b1061 b688 b1066  
 B       b1067   t1067  
 T       t1068   o1052 b1067  
 B       b1068   t1068  
 P       p1068   Number 8845  
 P       p1069   Number 9369  
 O       o1069   location p1068 p1069  
2701  P       p1070   String equiv_op_fun1  P       p1070   String equiv_op_fun1
2702  O       o1070   rule p1070  O       o1070   rule p1070
2703  T       t1070   o700 b597  T       t1070   o700 b597
# Line 3063  Line 3000 
3000  B       b1190   t1189  B       b1190   t1189
3001  T       t1190   o1090 b1190  T       t1190   o1090 b1190
3002  B       b1191   t1190  B       b1191   t1190
 P       p1191   Number 8874  
 P       p1192   Number 8881  
 O       o1192   resource_defs p1191 p1192 p204  
 P       p1193   Number 8879  
 O       o1193   uid p1193 p1192  
 T       t1193   o1193 b691  
 B       b1193   t1193  
 T       t1194   o b1193 b4  
 B       b1194   t1194  
 T       t1195   o1192 b1194  
 B       b1195   t1195  
 T       t1196   o b1195 b4  
 B       b1196   t1196  
 T       t1197   o1070 b676 b1090 b1191 b1196  
 B       b1197   t1197  
 T       t1198   o1069 b1197  
 B       b1198   t1198  
 P       p1198   Number 9371  
 P       p1199   Number 9895  
 O       o1199   location p1198 p1199  
3003  P       p1200   String equiv_op_fun2  P       p1200   String equiv_op_fun2
3004  O       o1200   rule p1200  O       o1200   rule p1200
3005  T       t1200   o596 b585 b597 b818  T       t1200   o596 b585 b597 b818
# Line 3290  Line 3207 
3207  B       b1289   t1288  B       b1289   t1288
3208  T       t1289   o1090 b1289  T       t1289   o1090 b1289
3209  B       b1290   t1289  B       b1290   t1289
 P       p1290   Number 9400  
 P       p1291   Number 9407  
 O       o1291   resource_defs p1290 p1291 p204  
 P       p1292   Number 9405  
 O       o1292   uid p1292 p1291  
 T       t1292   o1292 b691  
 B       b1292   t1292  
 T       t1293   o b1292 b4  
 B       b1293   t1293  
 T       t1294   o1291 b1293  
 B       b1294   t1294  
 T       t1295   o b1294 b4  
 B       b1295   t1295  
 T       t1296   o1200 b676 b1212 b1290 b1295  
 B       b1296   t1296  
 T       t1297   o1199 b1296  
 B       b1297   t1297  
 P       p1297   Number 11515  
 P       p1298   Number 12822  
 O       o1298   location p1297 p1298  
3210  P       p1299   String cancel1  P       p1299   String cancel1
3211  O       o1299   rule p1299  O       o1299   rule p1299
3212  P       p1300   String J  P       p1300   String J
# Line 3689  Line 3586 
3586  B       b1454   t1453  B       b1454   t1453
3587  T       t1454   o1299 b1302 b1335 b1454 b4  T       t1454   o1299 b1302 b1335 b1454 b4
3588  B       b1455   t1454  B       b1455   t1454
 T       t1455   o1298 b1455  
 B       b1456   t1455  
 P       p1456   Number 12867  
 P       p1457   Number 14174  
 O       o1457   location p1456 p1457  
3589  P       p1458   String cancel2  P       p1458   String cancel2
3590  O       o1458   rule p1458  O       o1458   rule p1458
3591  H       h1458   x t793  H       h1458   x t793
# Line 4057  Line 3949 
3949  B       b1608   t1607  B       b1608   t1607
3950  T       t1608   o1458 b1302 b1489 b1608 b4  T       t1608   o1458 b1302 b1489 b1608 b4
3951  B       b1609   t1608  B       b1609   t1608
 T       t1609   o1457 b1609  
 B       b1610   t1609  
 P       p1610   Number 14176  
 P       p1611   Number 14263  
 O       o1611   location p1610 p1611  
3952  NOcaml!str_let  str_let str_let Ocaml  NOcaml!str_let  str_let str_let Ocaml
 O       o1612   str_let p1610 p1611  
3953  NOcaml!patt_var patt_var        patt_var Ocaml  NOcaml!patt_var patt_var        patt_var Ocaml
 P       p1612   Number 14180  
 O       o1613   patt_var p1612 p1611  
3954  NOcaml!patt_done        patt_done       patt_done Ocaml  NOcaml!patt_done        patt_done       patt_done Ocaml
 O       o1614   patt_done p1610 p1611  
 T       t1614   o1614  
 B       b1614   t1614 groupCancelLeftT  
 T       t1615   o1613 b1614  
 B       b1615   t1615  
3955  NOcaml!fun      fun     fun Ocaml  NOcaml!fun      fun     fun Ocaml
 O       o1615   fun p1612 p1611  
3956  NOcaml!patt_if  patt_if patt_if Ocaml  NOcaml!patt_if  patt_if patt_if Ocaml
 O       o1616   patt_if p1612 p1611  
 P       p1616   Number 14197  
 P       p1617   Number 14198  
 O       o1617   patt_var p1616 p1617  
3957  NOcaml!patt_body        patt_body       patt_body Ocaml  NOcaml!patt_body        patt_body       patt_body Ocaml
 O       o1618   patt_body p1612 p1611  
 P       p1618   Number 14199  
 P       p1619   Number 14200  
 O       o1619   patt_var p1618 p1619  
3958  NOcaml!let      let     let Ocaml  NOcaml!let      let     let Ocaml
 P       p1620   Number 14206  
 O       o1620   let p1620 p1611  
3959  NOcaml!patt_tuple       patt_tuple      patt_tuple Ocaml  NOcaml!patt_tuple       patt_tuple      patt_tuple Ocaml
 P       p1621   Number 14210  
 P       p1622   Number 14214  
 O       o1622   patt_tuple p1621 p1622  
 P       p1623   Number 14211  
 O       o1623   patt_var p1621 p1623  
3960  NOcaml!patt_tuple_arg   patt_tuple_arg  patt_tuple_arg Ocaml  NOcaml!patt_tuple_arg   patt_tuple_arg  patt_tuple_arg Ocaml
 O       o1624   patt_tuple_arg p1621 p1622  
 P       p1624   Number 14213  
 O       o1625   patt_var p1624 p1622  
3961  NOcaml!patt_tuple_end   patt_tuple_end  patt_tuple_end Ocaml  NOcaml!patt_tuple_end   patt_tuple_end  patt_tuple_end Ocaml
 O       o1626   patt_tuple_end p1621 p1622  
3962  NOcaml!patt_in  patt_in patt_in Ocaml  NOcaml!patt_in  patt_in patt_in Ocaml
 O       o1627   patt_in p1620 p1611  
3963  NOcaml!apply    apply   apply Ocaml  NOcaml!apply    apply   apply Ocaml
 P       p1627   Number 14250  
 O       o1628   apply p1627 p1611  
 P       p1628   Number 14261  
 O       o1629   apply p1627 p1628  
 P       p1629   Number 14259  
 O       o1630   apply p1627 p1629  
3964  NOcaml!lid      lid     lid Ocaml  NOcaml!lid      lid     lid Ocaml
 P       p1630   Number 14257  
 O       o1631   lid p1627 p1630  
3965  O       o1632   lid p1299  O       o1632   lid p1299
3966  T       t1632   o1632  T       t1632   o1632
3967  B       b1632   t1632  B       b1632   t1632
 T       t1633   o1631 b1632  
 B       b1633   t1633  
 P       p1633   Number 14258  
 O       o1633   lid p1633 p1629  
3968  P       p1634   Var j  P       p1634   Var j
3969  O       o1634   var p1634  O       o1634   var p1634
3970  T       t1634   o1634  T       t1634   o1634
3971  B       b1634   t1634  B       b1634   t1634
 T       t1635   o1633 b1634  
 B       b1635   t1635  
 T       t1636   o1630 b1633 b1635  
 B       b1636   t1636  
 P       p1636   Number 14260  
 O       o1636   lid p1636 p1628  
3972  P       p1637   Var k  P       p1637   Var k
3973  O       o1637   var p1637  O       o1637   var p1637
3974  T       t1637   o1637  T       t1637   o1637
3975  B       b1637   t1637  B       b1637   t1637
 T       t1638   o1636 b1637  
 B       b1638   t1638  
 T       t1639   o1629 b1636 b1638  
 B       b1639   t1639  
 P       p1639   Number 14262  
 O       o1639   lid p1639 p1611  
3976  P       p1640   Var p  P       p1640   Var p
3977  O       o1640   var p1640  O       o1640   var p1640
3978  T       t1640   o1640  T       t1640   o1640
3979  B       b1640   t1640  B       b1640   t1640
 T       t1641   o1639 b1640  
 B       b1641   t1641  
 T       t1642   o1628 b1639 b1641  
 B       b1642   t1642  
 T       t1643   o1627 b1642  
 B       b1643   t1643  
 T       t1644   o1626 b1643  
 B       b1644   t1644 k  
 T       t1645   o1625 b1644  
 B       b1645   t1645  
 T       t1646   o1624 b1645  
 B       b1646   t1646 j  
 T       t1647   o1623 b1646  
 B       b1647   t1647  
 T       t1648   o1622 b1647  
 B       b1648   t1648  
 P       p1648   Number 14217  
 P       p1649   Number 14240  
 O       o1649   apply p1648 p1649  
 P       p1650   Number 14238  
 O       o1650   apply p1648 p1650  
3980  NOcaml!proj     proj    proj Ocaml  NOcaml!proj     proj    proj Ocaml
 P       p1651   Number 14236  
 O       o1651   proj p1648 p1651  
 O       o1652   uid p1648 p1651  
3981  O       o1653   uid p539  O       o1653   uid p539
3982  T       t1653   o1653  T       t1653   o1653
3983  B       b1653   t1653  B       b1653   t1653
 T       t1654   o1652 b1653  
 B       b1654   t1654  
 P       p1654   Number 14225  
 O       o1654   lid p1654 p1651  
3984  P       p1655   String hyp_indices  P       p1655   String hyp_indices
3985  O       o1655   lid p1655  O       o1655   lid p1655
3986  T       t1655   o1655  T       t1655   o1655
3987  B       b1655   t1655  B       b1655   t1655
 T       t1656   o1654 b1655  
 B       b1656   t1656  
 T       t1657   o1651 b1654 b1656  
 B       b1657   t1657  
 P       p1657   Number 14237  
 O       o1657   lid p1657 p1650  
 T       t1658   o1657 b1640  
 B       b1658   t1658  
 T       t1659   o1650 b1657 b1658  
 B       b1659   t1659  
 P       p1659   Number 14239  
 O       o1659   lid p1659 p1649  
3988  P       p1660   Var i  P       p1660   Var i
3989  O       o1660   var p1660  O       o1660   var p1660
3990  T       t1660   o1660  T       t1660   o1660
3991  B       b1660   t1660  B       b1660   t1660
 T       t1661   o1659 b1660  
 B       b1661   t1661  
 T       t1662   o1649 b1659 b1661  
 B       b1662   t1662  
 T       t1663   o b1662 b4  
 B       b1663   t1663  
 T       t1664   o1620 b1648 b1663  
 B       b1664   t1664  
 T       t1665   o1618 b1664  
 B       b1665   t1665 p  
 T       t1666   o1619 b1665  
 B       b1666   t1666  
 T       t1667   o1616 b1666  
 B       b1667   t1667  
 T       t1668   o1615 b1667  
 B       b1668   t1668  
 T       t1669   o1618 b1668  
 B       b1669   t1669 i  
 T       t1670   o1617 b1669  
 B       b1670   t1670  
 T       t1671   o1616 b1670  
 B       b1671   t1671  
 T       t1672   o1615 b1671  
 B       b1672   t1672  
 T       t1673   o1612 b1615 b1672  
 B       b1673   t1673  
 T       t1674   o b1673 b4  
 B       b1674   t1674  
 T       t1675   o1612 b1674  
 B       b1675   t1675  
 T       t1676   o422 b1675  
 B       b1676   t1676  
 T       t1677   o1611 b1676  
 B       b1677   t1677  
 P       p1677   Number 14265  
 P       p1678   Number 14353  
 O       o1678   location p1677 p1678  
 O       o1679   str_let p1677 p1678  
 P       p1679   Number 14269  
 O       o1680   patt_var p1679 p1678  
 O       o1681   patt_done p1677 p1678  
 T       t1681   o1681  
 B       b1681   t1681 groupCancelRightT  
 T       t1682   o1680 b1681  
 B       b1682   t1682  
 O       o1682   fun p1679 p1678  
 O       o1683   patt_if p1679 p1678  
 P       p1683   Number 14287  
 P       p1684   Number 14288  
 O       o1684   patt_var p1683 p1684  
 O       o1685   patt_body p1679 p1678  
 P       p1685   Number 14289  
 P       p1686   Number 14290  
 O       o1686   patt_var p1685 p1686  
 P       p1687   Number 14296  
 O       o1687   let p1687 p1678  
 P       p1688   Number 14300  
 P       p1689   Number 14304  
 O       o1689   patt_tuple p1688 p1689  
 P       p1690   Number 14301  
 O       o1690   patt_var p1688 p1690  
 O       o1691   patt_tuple_arg p1688 p1689  
 P       p1691   Number 14303  
 O       o1692   patt_var p1691 p1689  
 O       o1693   patt_tuple_end p1688 p1689  
 O       o1694   patt_in p1687 p1678  
 P       p1694   Number 14340  
 O       o1695   apply p1694 p1678  
 P       p1695   Number 14351  
 O       o1696   apply p1694 p1695  
 P       p1696   Number 14349  
 O       o1697   apply p1694 p1696  
 P       p1697   Number 14347  
 O       o1698   lid p1694 p1697  
3992  O       o1699   lid p1458  O       o1699   lid p1458
3993  T       t1699   o1699  T       t1699   o1699
3994  B       b1699   t1699  B       b1699   t1699
 T       t1700   o1698 b1699  
 B       b1700   t1700  
 P       p1700   Number 14348  
 O       o1700   lid p1700 p1696  
 T       t1701   o1700 b1634  
 B       b1701   t1701  
 T       t1702   o1697 b1700 b1701  
 B       b1702   t1702  
 P       p1702   Number 14350  
 O       o1702   lid p1702 p1695  
 T       t1703   o1702 b1637  
 B       b1703   t1703  
 T       t1704   o1696 b1702 b1703  
 B       b1704   t1704  
 P       p1704   Number 14352  
 O       o1704   lid p1704 p1678  
 T       t1705   o1704 b1640  
 B       b1705   t1705  
 T       t1706   o1695 b1704 b1705  
 B       b1706   t1706  
 T       t1707   o1694 b1706  
 B       b1707   t1707  
 T       t1708   o1693 b1707  
 B       b1708   t1708 k  
 T       t1709   o1692 b1708  
 B       b1709   t1709  
 T       t1710   o1691 b1709  
 B       b1710   t1710 j  
 T       t1711   o1690 b1710  
 B       b1711   t1711  
 T       t1712   o1689 b1711  
 B       b1712   t1712  
 P       p1712   Number 14307  
 P       p1713   Number 14330  
 O       o1713   apply p1712 p1713  
 P       p1714   Number 14328  
 O       o1714   apply p1712 p1714  
 P       p1715   Number 14326  
 O       o1715   proj p1712 p1715  
 O       o1716   uid p1712 p1715  
 T       t1716   o1716 b1653  
 B       b1716   t1716  
 P       p1716   Number 14315  
 O       o1717   lid p1716 p1715  
 T       t1717   o1717 b1655  
 B       b1717   t1717  
 T       t1718   o1715 b1716 b1717  
 B       b1718   t1718  
 P       p1718   Number 14327  
 O       o1718   lid p1718 p1714  
 T       t1719   o1718 b1640  
 B       b1719   t1719  
 T       t1720   o1714 b1718 b1719  
 B       b1720   t1720  
 P       p1720   Number 14329  
 O       o1720   lid p1720 p1713  
 T       t1721   o1720 b1660  
 B       b1721   t1721  
 T       t1722   o1713 b1720 b1721  
 B       b1722   t1722  
 T       t1723   o b1722 b4  
 B       b1723   t1723  
 T       t1724   o1687 b1712 b1723  
 B       b1724   t1724  
 T       t1725   o1685 b1724  
 B       b1725   t1725 p  
 T       t1726   o1686 b1725  
 B       b1726   t1726  
 T       t1727   o1683 b1726  
 B       b1727   t1727  
 T       t1728   o1682 b1727  
 B       b1728   t1728  
 T       t1729   o1685 b1728  
 B       b1729   t1729 i  
 T       t1730   o1684 b1729  
 B       b1730   t1730  
 T       t1731   o1683 b1730  
 B       b1731   t1731  
 T       t1732   o1682 b1731  
 B       b1732   t1732  
 T       t1733   o1679 b1682 b1732  
 B       b1733   t1733  
 T       t1734   o b1733 b4  
 B       b1734   t1734  
 T       t1735   o1679 b1734  
 B       b1735   t1735  
 T       t1736   o422 b1735  
 B       b1736   t1736  
 T       t1737   o1678 b1736  
 B       b1737   t1737  
 P       p1737   Number 14371  
 P       p1738   Number 14843  
 O       o1738   location p1737 p1738  
3995  P       p1739   String unique_id1  P       p1739   String unique_id1
3996  O       o1739   rule p1739  O       o1739   rule p1739
3997  P       p1740   Var e2  P       p1740   Var e2
# Line 4782  Line 4409 
4409  B       b1908   t1907  B       b1908   t1907
4410  T       t1908   o1090 b1908  T       t1908   o1090 b1908
4411  B       b1909   t1908  B       b1909   t1908
 P       p1909   Number 14397  
 P       p1910   Number 14405  
 O       o1910   resource_defs p1909 p1910 p204  
 P       p1911   Number 14403  
 O       o1911   uid p1911 p1910  
 T       t1911   o1911 b691  
 B       b1911   t1911  
 T       t1912   o b1911 b4  
 B       b1912   t1912  
 T       t1913   o1910 b1912  
 B       b1913   t1913  
 T       t1914   o b1913 b4  
 B       b1914   t1914  
 T       t1915   o1739 b676 b1757 b1909 b1914  
 B       b1915   t1915  
 T       t1916   o1738 b1915  
 B       b1916   t1916  
 P       p1916   Number 14845  
 P       p1917   Number 15317  
 O       o1917   location p1916 p1917  
4412  P       p1918   String unique_id2  P       p1918   String unique_id2
4413  O       o1918   rule p1918  O       o1918   rule p1918
4414  T       t1918   o596 b585 b815 b1740  T       t1918   o596 b585 b815 b1740
# Line 5141  Line 4748 
4748  B       b2061   t2060  B       b2061   t2060
4749  T       t2061   o1090 b2061  T       t2061   o1090 b2061
4750  B       b2062   t2061  B       b2062   t2061
 P       p2062   Number 14871  
 P       p2063   Number 14879  
 O       o2063   resource_defs p2062 p2063 p204  
 P       p2064   Number 14877  
 O       o2064   uid p2064 p2063  
 T       t2064   o2064 b691  
 B       b2064   t2064  
 T       t2065   o b2064 b4  
 B       b2065   t2065  
 T       t2066   o2063 b2065  
 B       b2066   t2066  
 T       t2067   o b2066 b4  
 B       b2067   t2067  
 T       t2068   o1918 b676 b1928 b2062 b2067  
 B       b2068   t2068  
 T       t2069   o1917 b2068  
 B       b2069   t2069  
 P       p2069   Number 15319  
 P       p2070   Number 15874  
 O       o2070   location p2069 p2070  
4751  P       p2071   String unique_inv1  P       p2071   String unique_inv1
4752  O       o2071   rule p2071  O       o2071   rule p2071
4753  T       t2071   o596 b585 b717 b815  T       t2071   o596 b585 b717 b815
# Line 5278  Line 4865 
4865  B       b159    t159  B       b159    t159
4866  T       t169    o1090 b159  T       t169    o1090 b159
4867  B       b169    t169  B       b169    t169
 P       p2119   Number 15346  
 P       p2120   Number 15354  
 O       o2120   resource_defs p2119 p2120 p204  
 P       p2121   Number 15352  
 O       o2121   uid p2121 p2120  
 T       t2121   o2121 b691  
 B       b2121   t2121  
 T       t2122   o b2121 b4  
 B       b2122   t2122  
 T       t2123   o2120 b2122  
 B       b2123   t2123  
 T       t2124   o b2123 b4  
 B       b2124   t2124  
 T       t170    o2071 b676 b2085 b169 b2124  
 B       b170    t170  
 T       t173    o2070 b170  
 B       b173    t173  
 P       p2126   Number 15876  
 P       p2127   Number 16431  
 O       o2127   location p2126 p2127  
4868  P       p2128   String unique_inv2  P       p2128   String unique_inv2
4869  O       o2128   rule p2128  O       o2128   rule p2128
4870  T       t2128   o596 b585 b815 b717  T       t2128   o596 b585 b815 b717
# Line 5407  Line 4974 
4974  B       b2172   t2171  B       b2172   t2171
4975  T       t2172   o1090 b2172  T       t2172   o1090 b2172
4976  B       b2173   t2172  B       b2173   t2172
 P       p2173   Number 15903  
 P       p2174   Number 15911  
 O       o2174   resource_defs p2173 p2174 p204  
 P       p2175   Number 15909  
 O       o2175   uid p2175 p2174  
 T       t2175   o2175 b691  
 B       b2175   t2175  
 T       t2176   o b2175 b4  
 B       b2176   t2176  
 T       t2177   o2174 b2176  
 B       b2177   t2177  
 T       t2178   o b2177 b4  
 B       b2178   t2178  
 T       t2179   o2128 b676 b2139 b2173 b2178  
 B       b2179   t2179  
 T       t2180   o2127 b2179  
 B       b2180   t2180  
 P       p2180   Number 16482  
 P       p2181   Number 17134  
 O       o2181   location p2180 p2181  
4977  P       p2182   String unique_sol1  P       p2182   String unique_sol1
4978  O       o2182   rule p2182  O       o2182   rule p2182
4979  B       b2182   t1304  B       b2182   t1304
# Line 5595  Line 5142 
5142  B       b2250   t2249  B       b2250   t2249
5143  T       t2250   o1090 b2250  T       t2250   o1090 b2250
5144  B       b2251   t2250  B       b2251   t2250
 P       p2251   Number 16509  
 P       p2252   Number 16517  
 O       o2252   resource_defs p2251 p2252 p204  
 P       p2253   Number 16515  
 O       o2253   uid p2253 p2252  
 T       t2253   o2253 b691  
 B       b2253   t2253  
 T       t2254   o b2253 b4  
 B       b2254   t2254  
 T       t2255   o2252 b2254  
 B       b2255   t2255  
 T       t2256   o b2255 b4  
 B       b2256   t2256  
 T       t2257   o2182 b676 b2203 b2251 b2256  
 B       b2257   t2257  
 T       t2258   o2181 b2257  
 B       b2258   t2258  
 P       p2258   Number 17185  
 P       p2259   Number 17837  
 O       o2259   location p2258 p2259  
5145  P       p2260   String unique_sol2  P       p2260   String unique_sol2
5146  O       o2260   rule p2260  O       o2260   rule p2260
5147  P       p2261   Var y  P       p2261   Var y
# Line 5786  Line 5313 
5313  B       b206    t206  B       b206    t206
5314  T       t208    o1090 b206  T       t208    o1090 b206
5315  B       b208    t208  B       b208    t208
 P       p2346   Number 17212  
 P       p2347   Number 17220  
 O       o2347   resource_defs p2346 p2347 p204  
 P       p2348   Number 17218  
 O       o2348   uid p2348 p2347  
 T       t2348   o2348 b691  
 B       b2348   t2348  
 T       t2349   o b2348 b4  
 B       b2349   t2349  
 T       t2350   o2347 b2349  
 B       b2350   t2350  
 T       t2351   o b2350 b4  
 B       b2351   t2351  
 T       t209    o2260 b676 b2282 b208 b2351  
 B       b209    t209  
 T       t210    o2259 b209  
 B       b210    t210  
 P       p2353   Number 17865  
 P       p2354   Number 18384  
 O       o2354   location p2353 p2354  
5316  P       p2355   String inv_simplify  P       p2355   String inv_simplify
5317  O       o2355   rule p2355  O       o2355   rule p2355
5318  T       t2355   o609 b585 b599  T       t2355   o609 b585 b599
# Line 5912  Line 5419 
5419  B       b240    t240  B       b240    t240
5420  T       t241    o1090 b240  T       t241    o1090 b240
5421  B       b241    t241  B       b241    t241
 P       p2397   Number 17893  
 P       p2398   Number 17901  
 O       o2398   resource_defs p2397 p2398 p204  
 P       p2399   Number 17899  
 O       o2399   uid p2399 p2398  
 T       t2399   o2399 b691  
 B       b2399   t2399  
 T       t2400   o b2399 b4  
 B       b2400   t2400  
 T       t2401   o2398 b2400  
 B       b2401   t2401  
 T       t2402   o b2401 b4  
 B       b2402   t2402  
 T       t244    o2355 b676 b2367 b241 b2402  
 B       b244    t244  
 T       t249    o2354 b244  
 B       b249    t249  
 P       p2404   Number 18406  
 P       p2405   Number 18702  
 O       o2405   location p2404 p2405  
5422  P       p2406   String inv_of_id  P       p2406   String inv_of_id
5423  O       o2406   rule p2406  O       o2406   rule p2406
5424  T       t2406   o609 b585 b604  T       t2406   o609 b585 b604
# Line 5991  Line 5478 
5478  B       b2428   t2428  B       b2428   t2428
5479  T       t2429   o1090 b2428  T       t2429   o1090 b2428
5480  B       b2429   t2429  B       b2429   t2429
 P       p2429   Number 18431  
 P       p2430   Number 18439  
 O       o2430   resource_defs p2429 p2430 p204  
 P       p2431   Number 18437  
 O       o2431   uid p2431 p2430  
 T       t2431   o2431 b691  
 B       b2431   t2431  
 T       t2432   o b2431 b4  
 B       b2432   t2432  
 T       t2433   o2430 b2432  
 B       b2433   t2433  
 T       t2434   o b2433 b4  
 B       b2434   t2434  
 T       t2435   o2406 b676 b2412 b2429 b2434  
 B       b2435   t2435  
 T       t2436   o2405 b2435  
 B       b2436   t2436  
5481  O       o2436   location p p  O       o2436   location p p
5482  NSummary!id     id2436  id Summary  P       p502    String id_judge_elim
5483  P       p2436   Number 646427455  O       o503    rule p502
5484  O       o2437   id2436 p2436  T       t509    o596 b585 b815 b815
 T       t2437   o2437  
 B       b2437   t2437  
 T       t2438   o2436 b2437  
 B       b2438   t2438  
 T       t2439   o b2438 b4  
 B       b2439   t2439  
 T       t2440   o b2436 b2439  
 B       b2440   t2440  
 T       t250    o b249 b2440  
 B       b250    t250  
 T       t255    o b210 b250  
 B       b255    t255  
 T       t256    o b2258 b255  
 B       b256    t256  
 T       t258    o b2180 b256  
 B       b258    t258  
 T       t260    o b173 b258  
 B       b260    t260  
 T       t267    o b2069 b260  
 B       b267    t267  
 T       t271    o b1916 b267  
 B       b271    t271  
 T       t272    o b1737 b271  
 B       b272    t272  
 T       t275    o b1677 b272  
 B       b275    t275  
 T       t279    o b1610 b275  
 B       b279    t279  
 T       t280    o b1456 b279  
 B       b280    t280  
 T       t299    o b1297 b280  
 B       b299    t299  
 T       t368    o b1198 b299  
 B       b368    t368  
 T       t379    o b1068 b368  
 B       b379    t379  
 T       t394    o b1051 b379  
 B       b394    t394  
 T       t400    o b1034 b394  
 B       b400    t400  
 T       t421    o b1022 b400  
 B       b421    t421  
 T       t422    o b1007 b421  
 B       b422    t422  
 T       t423    o b993 b422  
 B       b423    t423  
 T       t429    o b978 b423  
 B       b429    t429  
 T       t430    o b961 b429  
 B       b430    t430  
 T       t436    o b942 b430  
 B       b436    t436  
 T       t437    o b930 b436  
 B       b437    t437  
 T       t446    o b918 b437  
 B       b446    t446  
 T       t447    o b898 b446  
 B       b447    t447  
 T       t455    o b876 b447  
 B       b455    t455  
 T       t456    o b863 b455  
 B       b456    t456  
 T       t464    o b849 b456  
 B       b464    t464  
 T       t465    o b833 b464  
 B       b465    t465  
 T       t473    o b812 b465  
 B       b473    t473  
 T       t474    o b789 b473  
 B       b474    t474  
 T       t482    o b753 b474  
 B       b482    t482  
 T       t483    o b733 b482  
 B       b483    t483  
 T       t491    o b711 b483  
 B       b491    t491  
 T       t492    o b697 b491  
 B       b492    t492  
 T       t500    o b672 b492  
 B       b500    t500  
 T       t501    o b662 b500  
 B       b501    t501  
 T       t509    o b642 b501  
5485  B       b509    t509  B       b509    t509
5486  T       t510    o b635 b509  T       t510    o761 b591 b759 b509 b815
5487  B       b510    t510  H       h510    x t510
5488  T       t516    o b625 b510  S       s510    t679 h h510 h1304
5489    G       s510    t816
5490    B       b510    s510
5491    T       t516    o677 b510
5492  B       b516    t516  B       b516    t516
5493  T       t517    o b614 b516  S       s516    t679 h h510 h1304
5494  B       b517    t517  G       s516    t760
5495  T       t523    o b611 b517  B       b517    s516
5496  B       b523    t523  T       t517    o677 b517
5497  T       t524    o b606 b523  B       b523    t517
5498  B       b524    t524  S       s523    t679 h h510 h1304
5499  T       t530    o b601 b524  G       s523    t681
5500  B       b530    t530  B       b524    s523
5501  T       t531    o b593 b530  T       t524    o677 b524
5502  B       b531    t531  B       b530    t524
5503  T       t538    o b588 b531  S       s530    t684 h h510 h1304
5504  B       b538    t538  G       s530    t586
5505  T       t539    o b581 b538  B       b531    s530
5506  B       b539    t539  T       t531    o677 b531
5507  T       t546    o b574 b539  B       b538    t531
5508  B       b546    t546  S       s538    t684 h h510 h1304
5509  T       t547    o b567 b546  G       s538    t762
5510  B       b547    t547  B       b539    s538
5511  T       t554    o b560 b547  T       t539    o677 b539
5512  B       b554    t554  B       b546    t539
5513  T       t555    o b553 b554  T       t546    o761 b591 b759 b815 b604
5514    H       h546    y t546
5515    P       p548    Var C
5516    O       o549    var p548
5517    T       t554    o549 b2182
5518    S       s554    t684 h h510 h1304 h546
5519    G       s554    t554
5520    B       b554    s554
5521    T       t555    o677 b554
5522  B       b555    t555  B       b555    t555
5523  T       t561    o b545 b555  S       s555    t684 h h510 h1304
5524  B       b561    t561  G       s555    t554
5525  T       t562    o b537 b561  B       b561    s555
5526  B       b562    t562  T       t561    o677 b561
5527  T       t568    o b529 b562  B       b562    t561
5528  B       b568    t568  T       t562    o676 b555 b562
5529  T       t569    o b522 b568  B       b568    t562
5530  B       b569    t569  T       t568    o676 b546 b568
5531  T       t575    o b515 b569  B       b569    t568
5532  B       b575    t575  T       t569    o676 b538 b569
5533  T       t576    o b508 b575  B       b575    t569
5534  B       b576    t576  T       t575    o676 b530 b575
5535  T       t582    o b499 b576  B       b576    t575
5536  B       b582    t582  T       t576    o676 b523 b576
5537  T       t583    o b490 b582  B       b582    t576
5538  B       b583    t583  T       t582    o676 b516 b582
5539  T       t584    o b481 b583  B       b583    t582
5540  B       b584    t584  P       p585    String "assertT << equiv{car{'g}; 'R; 's; id{'g}} >> ttca"
5541  T       t589    o b472 b584  O       o586    ext_rule p585
5542    T       t589    o b554 b4
5543  B       b589    t589  B       b589    t589
5544  T       t590    o b463 b589  T       t590    o b539 b589
5545  B       b590    t590  B       b590    t590
5546  T       t594    o b454 b590  T       t594    o b531 b590
5547  B       b594    t594  B       b594    t594
5548  T       t595    o b445 b594  T       t595    o b524 b594
5549  B       b595    t595  B       b595    t595
5550  T       t596    o b435 b595  T       t596    o b517 b595
5551  B       b596    t596  B       b596    t596
5552  T       t602    o b428 b596  T       t602    o b510 b596
5553  B       b602    t602  B       b602    t602
5554  T       t603    o b420 b602  T       t603    o1095 b561 b602
5555  B       b603    t603  B       b603    t603
5556  T       t607    o b399 b603  T       t607    o1094 b603 b4 b1104
5557  B       b607    t607  B       b607    t607
5558  T       t608    o b393 b607  S       s607    t684 h h510 h1304
5559  B       b608    t608  G       s607    t546
5560  T       t612    o b378 b608  B       b608    s607
5561  B       b612    t612  T       t608    o1095 b608 b602
5562  T       t615    o b376 b612  B       b612    t608
5563  B       b615    t615  T       t612    o2 b607
5564  T       t616    o b367 b615  B       b615    t612
5565  B       b616    t616  T       t615    o2369 b612 b4 b615
5566  T       t626    o b298 b616  B       b616    t615
5567    T       t616    o b616 b4
5568    B       b626    t616
5569    T       t626    o1093 b607 b626
5570    B       b679    t626
5571    P       p679    String "equivSubstT << equiv{car{'g}; 'R; 's; op{'g; id{'g}; 's}} >> 0 ttca"
5572    O       o681    ext_rule p679
5573    T       t713    o761 b591 b759 b815 b946
5574    S       s713    t684 h h510 h1304
5575    G       s713    t713
5576    B       b1106   s713
5577    T       t1121   o1095 b1106 b602
5578    B       b1738   t1121
5579    T       t1738   o2 b616
5580    B       b1739   t1738
5581    T       t1739   o2369 b1738 b4 b1739
5582    B       b1767   t1739
5583    T       t1767   o761 b591 b759 b946 b604
5584    S       s1767   t684 h h510 h1304
5585    G       s1767   t1767
5586    B       b1790   s1767
5587    T       t1796   o1095 b1790 b602
5588    B       b1853   t1796
5589    T       t1853   o2369 b1853 b4 b1739
5590    B       b1854   t1853
5591    T       t1854   o b1854 b4
5592    B       b1855   t1854
5593    T       t1855   o b1767 b1855
5594    B       b1856   t1855
5595    T       t1856   o1093 b616 b1856
5596    B       b1857   t1856
5597    P       p1857   String "equivSubstT << equiv{car{'g}; 'R; op{'g; id{'g}; 's}; 's} >> 0 thenAT autoT thenT rwh unfold_equiv 2 ttca"
5598    O       o1857   ext_rule p1857
5599    T       t1857   o1093 b1767 b4
5600    B       b1910   t1857
5601    T       t1910   o1857 b1092 b1910 b4 b4
5602    B       b1917   t1910
5603    P       p1919   String "equivSubstT << equiv{car{'g}; 'R; id{'g}; op{'g; inv{'g; 's}; 's}} >> 0 ttca"
5604    O       o1919   ext_rule p1919
5605    S       s1919   t684 h h510 h1304
5606    G       s1919   t2098
5607    B       b2013   s1919
5608    T       t2013   o1095 b2013 b602
5609    B       b2063   t2013
5610    T       t2063   o2 b1854
5611    B       b2070   t2063
5612    T       t2070   o2369 b2063 b4 b2070
5613    B       b2115   t2070
5614    T       t2115   o596 b585 b2097 b815
5615    B       b2116   t2115
5616    T       t2116   o761 b591 b759 b2116 b2097
5617    S       s2116   t684 h h510 h1304
5618    G       s2116   t2116
5619    B       b2117   s2116
5620    T       t2117   o1095 b2117 b602
5621    B       b2118   t2117
5622    T       t2118   o2369 b2118 b4 b2070
5623    B       b2119   t2118
5624    B       b2120   t819
5625    T       t2120   o761 b591 b759 b2120 b818
5626    B       b2125   t2120 z
5627    T       t2125   o1077 b591 b759 b2125
5628    S       s2125   t684 h h510 h1304
5629    G       s2125   t2125
5630    B       b2126   s2125
5631    T       t2126   o1095 b2126 b602
5632    B       b2127   t2126
5633    T       t2127   o2369 b2127 b4 b2070
5634    B       b2174   t2127
5635    T       t2174   o b2174 b4
5636    B       b2181   t2174
5637    T       t2181   o b2119 b2181
5638    B       b2252   t2181
5639    T       t2252   o b2115 b2252
5640    B       b2259   t2252
5641    T       t2259   o1093 b1854 b2259
5642    B       b2260   t2259
5643    P       p2262   String "equivSubstT << equiv{car{'g}; 'R; op{'g; inv{'g; 's}; 's}; id{'g}} >> 0 thenT autoT thenT rwh unfold_equiv 2 ttca"
5644    O       o2262   ext_rule p2262
5645    T       t2298   o1093 b2115 b4
5646    B       b2298   t2298
5647    T       t2299   o2262 b1092 b2298 b4 b4
5648    B       b2299   t2299
5649    P       p2299   String "equivSubstT << equiv{car{'g}; 'R; op{'g; op{'g; inv{'g; 's}; 's}; 's}; op{'g; inv{'g; 's}; op{'g; 's; 's}}}>> 0 thenAT autoT thenT rwh unfold_equiv 2 ttca"
5650    O       o2299   ext_rule p2299
5651    T       t2300   o1093 b2119 b4
5652    B       b2300   t2300
5653    T       t2302   o2299 b1092 b2300 b4 b4
5654    B       b2308   t2302
5655    P       p2308   String "rwh unfold_equiv_fun_prop 0 thenT dT 0 thenT dT 0 thenT dT 0 ttca thenT dT 0 ttca thenT dT 0 ttca"
5656    O       o2308   ext_rule p2308
5657    H       h2308   a t1106
5658    H       h2309   b t1106
5659    H       h2310   x_1 t762
5660    T       t2310   o761 b591 b759 b597 b598
5661    H       h2311   x_2 t2310
5662    T       t2311   o596 b585 b597 b815
5663    B       b2311   t2311
5664    T       t2312   o761 b591 b759 b2311 b597
5665    H       h2312   x_3 t2312
5666    T       t2313   o596 b585 b598 b815
5667    B       b2313   t2313
5668    T       t2318   o761 b591 b759 b2313 b598
5669    S       s2318   t684 h h510 h1304 h2308 h2309 h2310 h2311 h2312
5670    G       s2318   t2318
5671    B       b2318   s2318
5672    T       t2319   o1095 b2318 b602
5673    B       b2319   t2319
5674    B       b2323   t2312
5675    B       b2324   t2318
5676    T       t2324   o1117 b2323 b2324
5677    S       s2324   t684 h h510 h1304 h2308 h2309 h2310 h2311
5678    G       s2324   t2324
5679    B       b2325   s2324
5680    T       t2325   o1095 b2325 b602
5681    B       b2326   t2325
5682    B       b2327   t2310
5683    B       b2328   t2324
5684    T       t2328   o1117 b2327 b2328
5685    S       s2328   t684 h h510 h1304 h2308 h2309 h2310
5686    G       s2328   t2328
5687    B       b2329   s2328
5688    T       t2342   o1095 b2329 b602
5689    B       b2343   t2342
5690    B       b2344   t2328
5691    T       t2344   o1117 b1126 b2344
5692    S       s2344   t684 h h510 h1304 h2308 h2309
5693    G       s2344   t2344
5694    B       b2345   s2344
5695    T       t2345   o1095 b2345 b602
5696    B       b2346   t2345
5697    B       b2347   t2344 b
5698    T       t2347   o1129 b1130 b2347
5699    S       s2347   t684 h h510 h1304 h2308
5700    G       s2347   t2347
5701    B       b2352   s2347
5702    T       t2352   o1095 b2352 b602
5703    B       b2353   t2352
5704    B       b2354   t2347 a
5705    T       t2354   o1129 b1130 b2354
5706    S       s2354   t684 h h510 h1304
5707    G       s2354   t2354
5708    B       b2393   s2354
5709    T       t2393   o1095 b2393 b602
5710    B       b2394   t2393
5711    T       t2394   o2 b2174
5712    B       b2395   t2394
5713    T       t2395   o2369 b2394 b4 b2395
5714    B       b2396   t2395
5715    T       t2396   o2 b2396
5716    B       b2397   t2396
5717    T       t2397   o1094 b2353 b4 b2397
5718    B       b2398   t2397
5719    T       t2398   o2 b2398
5720    B       b2403   t2398
5721    T       t2403   o1094 b2346 b4 b2403
5722    B       b2404   t2403
5723    T       t2404   o2 b2404
5724    B       b2405   t2404
5725    T       t2405   o1094 b2343 b4 b2405
5726    B       b2430   t2405
5727    T       t2430   o2 b2430
5728    B       b2440   t2430
5729    T       t2440   o1094 b2326 b4 b2440
5730    B       b2441   t2440
5731    T       t2441   o2 b2441
5732    B       b2442   t2441
5733    T       t2442   o1094 b2319 b4 b2442
5734    B       b2443   t2442
5735    T       t2443   o b2443 b4
5736    B       b2444   t2443
5737    T       t2444   o1093 b2174 b2444
5738    B       b2445   t2444
5739    P       p2445   String "equivTransT << op{'g; 'b; 's} >> 8 ttca thenT rwh unfold_equiv 8 ttca"
5740    O       o2445   ext_rule p2445
5741    T       t2445   o700 b2311
5742    B       b2446   t2445
5743    B       b2447   t1070
5744    T       t2447   o1151 b2446 b2447
5745    B       b2448   t2447
5746    T       t2448   o1151 b1152 b2448
5747    B       b2449   t2448
5748    T       t2449   o1151 b1151 b2449
5749    B       b2450   t2449
5750    T       t2450   o736 b2311 b591
5751    B       b2451   t2450
5752    B       b2452   t1074
5753    T       t2452   o1151 b2451 b2452
5754    B       b2453   t2452
5755    T       t2453   o1151 b2450 b2453
5756    B       b2454   t2453
5757    T       t2454   o1161 b2311 b597
5758    B       b2455   t2454
5759    T       t2455   o736 b2455 b759
5760    B       b2456   t2455
5761    T       t2456   o1151 b2454 b2456
5762    H       h2456   x_3 t2456
5763    T       t2457   o736 b2313 b591
5764    S       s2457   t684 h h510 h1304 h2308 h2309 h2310 h2311 h2456
5765    G       s2457   t2457
5766    B       b2457   s2457
5767    T       t2458   o1095 b2457 b602
5768    B       b2458   t2458
5769    S       s2458   t684 h h510 h1304 h2308 h2309 h2310 h2311 h2312
5770    G       s2458   t2457
5771    B       b2459   s2458
5772    T       t2459   o1095 b2459 b602
5773    B       b2460   t2459
5774    T       t2460   o2 b2443
5775    B       b2461   t2460
5776    T       t2461   o1094 b2460 b4 b2461
5777    B       b2462   t2461
5778    T       t2462   o2 b2462
5779    B       b2463   t2462
5780    T       t2463   o1094 b2458 b4 b2463
5781    B       b2464   t2463
5782    T       t2464   o761 b591 b759 b2311 b2313
5783    H       h2464   u t2464
5784    T       t2465   o761 b591 b759 b2313 b597
5785    H       h2465   v t2465
5786    S       s2465   t684 h h510 h1304 h2308 h2309 h2310 h2311 h2456 h2464 h2465
5787    G       s2465   t2318
5788    B       b2465   s2465
5789    T       t2466   o1095 b2465 b602
5790    B       b2466   t2466
5791    S       s2466   t684 h h510 h1304 h2308 h2309 h2310 h2311 h2312 h2464 h2465
5792    G       s2466   t2318
5793    B       b2467   s2466
5794    T       t2467   o1095 b2467 b602
5795    B       b2468   t2467
5796    T       t2468   o1094 b2468 b4 b2461
5797    B       b2469   t2468
5798    T       t2469   o2 b2469
5799    B       b2470   t2469
5800    T       t2470   o1094 b2466 b4 b2470
5801    B       b2471   t2470
5802    T       t2471   o b2471 b4
5803    B       b2472   t2471
5804    T       t2472   o b2464 b2472
5805    B       b2473   t2472
5806    T       t2473   o1093 b2443 b2473
5807    B       b2474   t2473
5808    P       p2474   String "autoT thenT rwh unfold_equiv 7 ttca thenT rwh unfold_equiv 2 ttca"
5809    O       o2474   ext_rule p2474
5810    T       t2474   o1093 b2464 b4
5811    B       b2475   t2474
5812    T       t2475   o2474 b1092 b2475 b4 b4
5813    B       b2476   t2475
5814    P       p2476   String "equivTransT << 'b >> 10 thenT autoT thenT rwh unfold_equiv 7 ttca thenT rwh unfold_equiv 2 ttca"
5815    O       o2476   ext_rule p2476
5816    T       t2476   o1093 b2471 b4
5817    B       b2477   t2476
5818    T       t2477   o2476 b1092 b2477 b4 b4
5819    B       b2478   t2477
5820    T       t2478   o b2478 b4
5821    B       b2479   t2478
5822    T       t2479   o b2476 b2479
5823    B       b2480   t2479
5824    T       t2480   o2445 b1092 b2474 b2480 b4
5825    B       b2481   t2480
5826    T       t2481   o b2481 b4
5827    B       b2482   t2481
5828    T       t2482   o2308 b1092 b2445 b2482 b4
5829    B       b2483   t2482
5830    T       t2483   o b2483 b4
5831    B       b2484   t2483
5832    T       t2484   o b2308 b2484
5833    B       b2485   t2484
5834    T       t2485   o b2299 b2485
5835    B       b2486   t2485
5836    T       t2486   o1919 b1092 b2260 b2486 b4
5837    B       b2487   t2486
5838    T       t2487   o b2487 b4
5839    B       b2488   t2487
5840    T       t2488   o b1917 b2488
5841    B       b2489   t2488
5842    T       t2489   o681 b1092 b1857 b2489 b4
5843    B       b2490   t2489
5844    T       t2490   o b2490 b4
5845    B       b2491   t2490
5846    T       t2491   o586 b1092 b679 b2491 b4
5847    B       b2492   t2491
5848    T       t2492   o1090 b2492
5849    B       b2493   t2492
5850    P       p2493   Number 8536
5851    P       p2494   Number 8543
5852    O       o2494   resource_defs p2493 p2494 p176
5853    P       p2495   Number 8541
5854    O       o2495   uid p2495 p2494
5855    T       t2495   o2495 b691
5856    B       b2495   t2495
5857    T       t2496   o b2495 b4
5858    B       b2496   t2496
5859    T       t2497   o2494 b2496
5860    B       b2497   t2497
5861    T       t2498   o b2497 b4
5862    B       b2498   t2498
5863    T       t2499   o503 b1302 b583 b2493 b2498
5864    B       b2499   t2499
5865    T       t2500   o2436 b2499
5866    B       b2500   t2500
5867    T       t2501   o761 b591 b759 b2151 b604
5868    S       s2501   t684 h
5869    G       s2501   t2501
5870    B       b2501   s2501
5871    T       t2502   o677 b2501
5872    B       b2502   t2502
5873    T       t2503   o676 b945 b2502
5874    B       b2503   t2503
5875    T       t2504   o676 b763 b2503
5876    B       b2504   t2504
5877    T       t2505   o676 b700 b2504
5878    B       b2505   t2505
5879    T       t2506   o676 b682 b2505
5880    B       b2506   t2506
5881    T       t2507   o676 b761 b2506
5882    B       b2507   t2507
5883    T       t2508   o676 b817 b2507
5884    B       b2508   t2508
5885    P       p2508   String "assertT << equiv{car{'g}; 'R; op{'g; op{'g; 's; inv{'g; 's}}; op{'g; 's; inv{'g; 's}}}; op{'g; 's; inv{'g; 's}}} >> ttca"
5886    O       o2508   ext_rule p2508
5887    T       t2509   o b944 b4
5888    B       b2509   t2509
5889    T       t2510   o b762 b2509
5890    B       b2510   t2510
5891    T       t2511   o b699 b2510
5892    B       b2511   t2511
5893    T       t2512   o b681 b2511
5894    B       b2512   t2512
5895    T       t2513   o b760 b2512
5896    B       b2513   t2513
5897    T       t2514   o b816 b2513
5898    B       b2514   t2514
5899    T       t2515   o1095 b2501 b2514
5900    B       b2515   t2515
5901    T       t2516   o1094 b2515 b4 b1104
5902    B       b2516   t2516
5903    T       t2517   o596 b585 b2151 b2151
5904    B       b2517   t2517
5905    T       t2518   o761 b591 b759 b2517 b2151
5906    S       s2518   t684 h
5907    G       s2518   t2518
5908    B       b2518   s2518
5909    T       t2519   o1095 b2518 b2514
5910    B       b2519   t2519
5911    T       t2520   o2 b2516
5912    B       b2520   t2520
5913    T       t2521   o2369 b2519 b4 b2520
5914    B       b2521   t2521
5915    H       h2521   v t2518
5916    S       s2521   t684 h h2521
5917    G       s2521   t2501
5918    B       b2522   s2521
5919    T       t2522   o1095 b2522 b2514
5920    B       b2523   t2522
5921    T       t2523   o1094 b2523 b4 b2520
5922    B       b2524   t2523
5923    T       t2524   o b2524 b4
5924    B       b2525   t2524
5925    T       t2525   o b2521 b2525
5926    B       b2526   t2525
5927    T       t2526   o1093 b2516 b2526
5928    B       b2527   t2526
5929    P       p2527   String "equivSubstT << equiv{car{'g}; 'R; op{'g; op{'g; 's; inv{'g; 's}}; op{'g; 's; inv{'g; 's}}}; op{'g; 's; op{'g; inv{'g; 's}; op{'g; 's; inv{'g; 's}}}}} >> 0 ttca"
5930    O       o2527   ext_rule p2527
5931    T       t2527   o596 b585 b2074 b2151
5932    B       b2528   t2527
5933    T       t2528   o596 b585 b815 b2528
5934    B       b2529   t2528
5935    T       t2529   o761 b591 b759 b2529 b2151
5936    S       s2529   t684 h
5937    G       s2529   t2529
5938    B       b2530   s2529
5939    T       t2530   o1095 b2530 b2514
5940    B       b2531   t2530
5941    T       t2531   o2 b2521
5942    B       b2532   t2531
5943    T       t2532   o2369 b2531 b4 b2532
5944    B       b2533   t2532
5945    T       t2533   o b2533 b4
5946    B       b2534   t2533
5947    T       t2534   o1093 b2521 b2534
5948    B       b2535   t2534
5949    P       p2535   String "equivSubstT << equiv{car{'g}; 'R; op{'g; 's; op{'g; inv{'g; 's}; op{'g; 's; inv{'g; 's}}}}; op{'g; 's; op{'g; op{'g; inv{'g; 's}; 's}; inv{'g; 's}}}} >> 0 ttca"
5950    O       o2535   ext_rule p2535
5951    T       t2535   o596 b585 b2097 b2074
5952    B       b2536   t2535
5953    T       t2536   o596 b585 b815 b2536
5954    B       b2537   t2536
5955    T       t2537   o761 b591 b759 b2537 b2151
5956    S       s2537   t684 h
5957    G       s2537   t2537
5958    B       b2538   s2537
5959    T       t2538   o1095 b2538 b2514
5960    B       b2539   t2538
5961    T       t2539   o2 b2533
5962    B       b2540   t2539
5963    T       t2540   o2369 b2539 b4 b2540
5964    B       b2541   t2540
5965    T       t2541   o b2541 b4
5966    B       b2542   t2541
5967    T       t2542   o1093 b2533 b2542
5968    B       b2543   t2542
5969    P       p2543   String "equivSubstT << equiv{car{'g}; 'R; op{'g; inv{'g; 's}; 's}; id{'g}} >> 0 thenT autoT"
5970    O       o2543   ext_rule p2543
5971    T       t2543   o596 b585 b818 b2074
5972    B       b2544   t2543
5973    T       t2544   o596 b585 b815 b2544
5974    B       b2545   t2544 z
5975    T       t2545   o817 b591 b759 b2545
5976    S       s2545   t684 h
5977    G       s2545   t2545
5978    B       b2546   s2545
5979    T       t2546   o1095 b2546 b2514
5980    B       b2547   t2546
5981    B       b2548   t2544
5982    T       t2548   o761 b591 b759 b2548 b2151
5983    B       b2549   t2548 z
5984    T       t2549   o1077 b591 b759 b2549
5985    S       s2549   t684 h
5986    G       s2549   t2549
5987    B       b2550   s2549
5988    T       t2550   o1095 b2550 b2514
5989    B       b2551   t2550
5990    T       t2551   o2 b2541
5991    B       b2552   t2551
5992    T       t2552   o2369 b2551 b1864 b2552
5993    B       b2553   t2552
5994    T       t2553   o2 b2553
5995    B       b2554   t2553
5996    T       t2554   o2369 b2547 b4 b2554
5997    B       b2555   t2554
5998    T       t2555   o b2555 b4
5999    B       b2556   t2555
6000    T       t2556   o1093 b2541 b2556
6001    B       b2557   t2556
6002    P       p2557   String "rwh unfold_equiv_fun_set 0 thenT autoT thenT rwh unfold_equiv 5 ttca"
6003    O       o2557   ext_rule p2557
6004    T       t2557   o1093 b2555 b4
6005    B       b2558   t2557
6006    T       t2558   o2557 b1092 b2558 b4 b4
6007    B       b2559   t2558
6008    T       t2559   o b2559 b4
6009    B       b2560   t2559
6010    T       t2560   o2543 b1092 b2557 b2560 b4
6011    B       b2561   t2560
6012    T       t2561   o b2561 b4
6013    B       b2562   t2561
6014    T       t2562   o2535 b1092 b2543 b2562 b4
6015    B       b2563   t2562
6016    T       t2563   o b2563 b4
6017    B       b2564   t2563
6018    T       t2564   o2527 b1092 b2535 b2564 b4
6019    B       b2565   t2564
6020    P       p2565   String "dT 2 ttca"
6021    O       o2565   ext_rule p2565
6022    T       t2565   o1093 b2524 b4
6023    B       b2566   t2565
6024    T       t2566   o2565 b1092 b2566 b4 b4
6025    B       b2567   t2566
6026    T       t2567   o b2567 b4
6027    B       b2568   t2567
6028    T       t2568   o b2565 b2568
6029    B       b2569   t2568
6030    T       t2569   o2508 b1092 b2527 b2569 b4
6031    B       b2570   t2569
6032    T       t2570   o1090 b2570
6033    B       b2571   t2570
6034    P       p2571   Number 9272
6035    P       p2572   Number 9279
6036    O       o2572   resource_defs p2571 p2572 p204
6037    P       p2573   Number 9277
6038    O       o2573   uid p2573 p2572
6039    T       t2573   o2573 b691
6040    B       b2573   t2573
6041    T       t2574   o b2573 b4
6042    B       b2574   t2574
6043    T       t2575   o2572 b2574
6044    B       b2575   t2575
6045    T       t2576   o b2575 b4
6046    B       b2576   t2576
6047    T       t2577   o1053 b676 b2508 b2571 b2576
6048    B       b2577   t2577
6049    T       t2578   o2436 b2577
6050    B       b2578   t2578
6051    T       t2579   o1095 b964 b2514
6052    B       b2579   t2579
6053    T       t2580   o1094 b2579 b4 b1104
6054    B       b2580   t2580
6055    S       s2580   t684 h
6056    G       s2580   t2098
6057    B       b2581   s2580
6058    T       t2581   o1095 b2581 b2514
6059    B       b2582   t2581
6060    T       t2582   o2 b2580
6061    B       b2583   t2582
6062    T       t2583   o1094 b2582 b4 b2583
6063    B       b2584   t2583
6064    T       t2584   o596 b585 b815 b2097
6065    B       b2585   t2584
6066    T       t2585   o761 b591 b759 b2585 b815
6067    S       s2585   t684 h
6068    G       s2585   t2585
6069    B       b2586   s2585
6070    T       t2586   o1095 b2586 b2514
6071    B       b2587   t2586
6072    T       t2587   o1094 b2587 b4 b2583
6073    B       b2588   t2587
6074    T       t2588   o b2588 b4
6075    B       b2589   t2588
6076    T       t2589   o b2584 b2589
6077    B       b2590   t2589
6078    T       t2590   o1093 b2580 b2590
6079    B       b2591   t2590
6080    P       p2591   String "equivSubstT << equiv{car{'g}; 'R; op{'g; inv{'g; 's}; 's}; id{'g}} >> 0 ttca"
6081    O       o2591   ext_rule p2591
6082    T       t2591   o1093 b2584 b4
6083    B       b2592   t2591
6084    T       t2592   o2591 b1092 b2592 b4 b4
6085    B       b2593   t2592
6086    P       p2593   String "equivSubstT << equiv{car{'g}; 'R; op{'g; 's; op{'g; inv{'g; 's}; 's}}; op{'g; op{'g; 's; inv{'g; 's}}; 's}} >> 0 ttca"
6087    O       o2593   ext_rule p2593
6088    T       t2593   o596 b585 b2151 b815
6089    B       b2594   t2593
6090    T       t2594   o761 b591 b759 b2594 b815
6091    S       s2594   t684 h
6092    G       s2594   t2594
6093    B       b2595   s2594
6094    T       t2595   o1095 b2595 b2514
6095    B       b2596   t2595
6096    T       t2596   o2 b2588
6097    B       b2597   t2596
6098    T       t2597   o1094 b2596 b4 b2597
6099    B       b2598   t2597
6100    T       t2598   o b2598 b4
6101    B       b2599   t2598
6102    T       t2599   o1093 b2588 b2599
6103    B       b2600   t2599
6104    P       p2600   String "equivSubstT << equiv{car{'g}; 'R; op{'g; 's; inv{'g; 's}}; id{'g}} >> 0 ttca"
6105    O       o2600   ext_rule p2600
6106    T       t2600   o1093 b2598 b4
6107    B       b2601   t2600
6108    T       t2601   o2600 b1092 b2601 b4 b4
6109    B       b2602   t2601
6110    T       t2602   o b2602 b4
6111    B       b2603   t2602
6112    T       t2603   o2593 b1092 b2600 b2603 b4
6113    B       b2604   t2603
6114    T       t2604   o b2604 b4
6115    B       b2605   t2604
6116    T       t2605   o b2593 b2605
6117    B       b2606   t2605
6118    T       t2606   o1919 b1092 b2591 b2606 b4
6119    B       b2607   t2606
6120    T       t2607   o1090 b2607
6121    B       b2608   t2607
6122    P       p2608   Number 9667
6123    P       p2609   Number 9674
6124    O       o2609   resource_defs p2608 p2609 p204
6125    P       p2610   Number 9672
6126    O       o2610   uid p2610 p2609
6127    T       t2610   o2610 b691
6128    B       b2610   t2610
6129    T       t2611   o b2610 b4
6130    B       b2611   t2611
6131    T       t2612   o2609 b2611
6132    B       b2612   t2612
6133    T       t2613   o b2612 b4
6134    B       b2613   t2613
6135    T       t2614   o963 b676 b971 b2608 b2613
6136    B       b2614   t2614
6137    T       t2615   o2436 b2614
6138    B       b2615   t2615
6139    P       p2615   Number 10051
6140    P       p2616   Number 10575
6141    O       o2616   location p2615 p2616
6142    P       p2617   Number 10080
6143    P       p2618   Number 10087
6144    O       o2618   resource_defs p2617 p2618 p204
6145    P       p2619   Number 10085
6146    O       o2619   uid p2619 p2618
6147    T       t2619   o2619 b691
6148    B       b2619   t2619
6149    T       t2620   o b2619 b4
6150    B       b2620   t2620
6151    T       t2621   o2618 b2620
6152    B       b2621   t2621
6153    T       t2622   o b2621 b4
6154    B       b2622   t2622
6155    T       t2623   o1070 b676 b1090 b1191 b2622
6156    B       b2623   t2623
6157    T       t2624   o2616 b2623
6158    B       b2624   t2624
6159    P       p2624   Number 10577
6160    P       p2625   Number 11101
6161    O       o2625   location p2624 p2625
6162    P       p2626   Number 10606
6163    P       p2627   Number 10613
6164    O       o2627   resource_defs p2626 p2627 p204
6165    P       p2628   Number 10611
6166    O       o2628   uid p2628 p2627
6167    T       t2628   o2628 b691
6168    B       b2628   t2628
6169    T       t2629   o b2628 b4
6170    B       b2629   t2629
6171    T       t2630   o2627 b2629
6172    B       b2630   t2630
6173    T       t2631   o b2630 b4
6174    B       b2631   t2631
6175    T       t2632   o1200 b676 b1212 b1290 b2631
6176    B       b2632   t2632
6177    T       t2633   o2625 b2632
6178    B       b2633   t2633
6179    P       p2633   Number 12721
6180    P       p2634   Number 14028
6181    O       o2634   location p2633 p2634
6182    T       t2634   o2634 b1455
6183    B       b2634   t2634
6184    P       p2635   Number 14073
6185    P       p2636   Number 15380
6186    O       o2636   location p2635 p2636
6187    T       t2636   o2636 b1609
6188    B       b2636   t2636
6189    P       p2637   Number 15382
6190    P       p2638   Number 15469
6191    O       o2638   location p2637 p2638
6192    O       o2639   str_let p2637 p2638
6193    P       p2639   Number 15386
6194    O       o2640   patt_var p2639 p2638
6195    O       o2641   patt_done p2637 p2638
6196    T       t2641   o2641
6197    B       b2641   t2641 groupCancelLeftT
6198    T       t2642   o2640 b2641
6199    B       b2642   t2642
6200    O       o2642   fun p2639 p2638
6201    O       o2643   patt_if p2639 p2638
6202    P       p2643   Number 15403
6203    P       p2644   Number 15404
6204    O       o2644   patt_var p2643 p2644
6205    O       o2645   patt_body p2639 p2638
6206    P       p2645   Number 15405
6207    P       p2646   Number 15406
6208    O       o2646   patt_var p2645 p2646
6209    P       p2647   Number 15412
6210    O       o2647   let p2647 p2638
6211    P       p2648   Number 15416
6212    P       p2649   Number 15420
6213    O       o2649   patt_tuple p2648 p2649
6214    P       p2650   Number 15417
6215    O       o2650   patt_var p2648 p2650
6216    O       o2651   patt_tuple_arg p2648 p2649
6217    P       p2651   Number 15419
6218    O       o2652   patt_var p2651 p2649
6219    O       o2653   patt_tuple_end p2648 p2649
6220    O       o2654   patt_in p2647 p2638
6221    P       p2654   Number 15456
6222    O       o2655   apply p2654 p2638
6223    P       p2655   Number 15467
6224    O       o2656   apply p2654 p2655
6225    P       p2656   Number 15465
6226    O       o2657   apply p2654 p2656
6227    P       p2657   Number 15463
6228    O       o2658   lid p2654 p2657
6229    T       t2658   o2658 b1632
6230    B       b2658   t2658
6231    P       p2658   Number 15464
6232    O       o2659   lid p2658 p2656
6233    T       t2659   o2659 b1634
6234    B       b2659   t2659
6235    T       t2660   o2657 b2658 b2659
6236    B       b2660   t2660
6237    P       p2660   Number 15466
6238    O       o2660   lid p2660 p2655
6239    T       t2661   o2660 b1637
6240    B       b2661   t2661
6241    T       t2662   o2656 b2660 b2661
6242    B       b2662   t2662
6243    P       p2662   Number 15468
6244    O       o2662   lid p2662 p2638
6245    T       t2663   o2662 b1640
6246    B       b2663   t2663
6247    T       t2664   o2655 b2662 b2663
6248    B       b2664   t2664
6249    T       t2665   o2654 b2664
6250    B       b2665   t2665
6251    T       t2666   o2653 b2665
6252    B       b2666   t2666 k
6253    T       t2667   o2652 b2666
6254    B       b2667   t2667
6255    T       t2668   o2651 b2667
6256    B       b2668   t2668 j
6257    T       t2669   o2650 b2668
6258    B       b2669   t2669
6259    T       t2670   o2649 b2669
6260    B       b2670   t2670
6261    P       p2670   Number 15423
6262    P       p2671   Number 15446
6263    O       o2671   apply p2670 p2671
6264    P       p2672   Number 15444
6265    O       o2672   apply p2670 p2672
6266    P       p2673   Number 15442
6267    O       o2673   proj p2670 p2673
6268    O       o2674   uid p2670 p2673
6269    T       t2674   o2674 b1653
6270    B       b2674   t2674
6271    P       p2674   Number 15431
6272    O       o2675   lid p2674 p2673
6273    T       t2675   o2675 b1655
6274    B       b2675   t2675
6275    T       t2676   o2673 b2674 b2675
6276    B       b2676   t2676
6277    P       p2676   Number 15443
6278    O       o2676   lid p2676 p2672
6279    T       t2677   o2676 b1640
6280    B       b2677   t2677
6281    T       t2678   o2672 b2676 b2677
6282    B       b2678   t2678
6283    P       p2678   Number 15445
6284    O       o2678   lid p2678 p2671
6285    T       t2679   o2678 b1660
6286    B       b2679   t2679
6287    T       t2680   o2671 b2678 b2679
6288    B       b2680   t2680
6289    T       t2681   o b2680 b4
6290    B       b2681   t2681
6291    T       t2682   o2647 b2670 b2681
6292    B       b2682   t2682
6293    T       t2683   o2645 b2682
6294    B       b2683   t2683 p
6295    T       t2684   o2646 b2683
6296    B       b2684   t2684
6297    T       t2685   o2643 b2684
6298    B       b2685   t2685
6299    T       t2686   o2642 b2685
6300    B       b2686   t2686
6301    T       t2687   o2645 b2686
6302    B       b2687   t2687 i
6303    T       t2688   o2644 b2687
6304    B       b2688   t2688
6305    T       t2689   o2643 b2688
6306    B       b2689   t2689
6307    T       t2690   o2642 b2689
6308    B       b2690   t2690
6309    T       t2691   o2639 b2642 b2690
6310    B       b2691   t2691
6311    T       t2692   o b2691 b4
6312    B       b2692   t2692
6313    T       t2693   o2639 b2692
6314    B       b2693   t2693
6315    T       t2694   o422 b2693
6316    B       b2694   t2694
6317    T       t2695   o2638 b2694
6318    B       b2695   t2695
6319    P       p2695   Number 15471
6320    P       p2696   Number 15559
6321    O       o2696   location p2695 p2696
6322    O       o2697   str_let p2695 p2696
6323    P       p2697   Number 15475
6324    O       o2698   patt_var p2697 p2696
6325    O       o2699   patt_done p2695 p2696
6326    T       t2699   o2699
6327    B       b2699   t2699 groupCancelRightT
6328    T       t2700   o2698 b2699
6329    B       b2700   t2700
6330    O       o2700   fun p2697 p2696
6331    O       o2701   patt_if p2697 p2696
6332    P       p2701   Number 15493
6333    P       p2702   Number 15494
6334    O       o2702   patt_var p2701 p2702
6335    O       o2703   patt_body p2697 p2696
6336    P       p2703   Number 15495
6337    P       p2704   Number 15496
6338    O       o2704   patt_var p2703 p2704
6339    P       p2705   Number 15502
6340    O       o2705   let p2705 p2696
6341    P       p2706   Number 15506
6342    P       p2707   Number 15510
6343    O       o2707   patt_tuple p2706 p2707
6344    P       p2708   Number 15507
6345    O       o2708   patt_var p2706 p2708
6346    O       o2709   patt_tuple_arg p2706 p2707
6347    P       p2709   Number 15509
6348    O       o2710   patt_var p2709 p2707
6349    O       o2711   patt_tuple_end p2706 p2707
6350    O       o2712   patt_in p2705 p2696
6351    P       p2712   Number 15546
6352    O       o2713   apply p2712 p2696
6353    P       p2713   Number 15557
6354    O       o2714   apply p2712 p2713
6355    P       p2714   Number 15555
6356    O       o2715   apply p2712 p2714
6357    P       p2715   Number 15553
6358    O       o2716   lid p2712 p2715
6359    T       t2716   o2716 b1699
6360    B       b2716   t2716
6361    P       p2716   Number 15554
6362    O       o2717   lid p2716 p2714
6363    T       t2717   o2717 b1634
6364    B       b2717   t2717
6365    T       t2718   o2715 b2716 b2717
6366    B       b2718   t2718
6367    P       p2718   Number 15556
6368    O       o2718   lid p2718 p2713
6369    T       t2719   o2718 b1637
6370    B       b2719   t2719
6371    T       t2720   o2714 b2718 b2719
6372    B       b2720   t2720
6373    P       p2720   Number 15558
6374    O       o2720   lid p2720 p2696
6375    T       t2721   o2720 b1640
6376    B       b2721   t2721
6377    T       t2722   o2713 b2720 b2721
6378    B       b2722   t2722
6379    T       t2723   o2712 b2722
6380    B       b2723   t2723
6381    T       t2724   o2711 b2723
6382    B       b2724   t2724 k
6383    T       t2725   o2710 b2724
6384    B       b2725   t2725
6385    T       t2726   o2709 b2725
6386    B       b2726   t2726 j
6387    T       t2727   o2708 b2726
6388    B       b2727   t2727
6389    T       t2728   o2707 b2727
6390    B       b2728   t2728
6391    P       p2728   Number 15513
6392    P       p2729   Number 15536
6393    O       o2729   apply p2728 p2729
6394    P       p2730   Number 15534
6395    O       o2730   apply p2728 p2730
6396    P       p2731   Number 15532
6397    O       o2731   proj p2728 p2731
6398    O       o2732   uid p2728 p2731
6399    T       t2732   o2732 b1653
6400    B       b2732   t2732
6401    P       p2732   Number 15521
6402    O       o2733   lid p2732 p2731
6403    T       t2733   o2733 b1655
6404    B       b2733   t2733
6405    T       t2734   o2731 b2732 b2733
6406    B       b2734   t2734
6407    P       p2734   Number 15533
6408    O       o2734   lid p2734 p2730
6409    T       t2735   o2734 b1640
6410    B       b2735   t2735
6411    T       t2736   o2730 b2734 b2735
6412    B       b2736   t2736
6413    P       p2736   Number 15535
6414    O       o2736   lid p2736 p2729
6415    T       t2737   o2736 b1660
6416    B       b2737   t2737
6417    T       t2738   o2729 b2736 b2737
6418    B       b2738   t2738
6419    T       t2739   o b2738 b4
6420    B       b2739   t2739
6421    T       t2740   o2705 b2728 b2739
6422    B       b2740   t2740
6423    T       t2741   o2703 b2740
6424    B       b2741   t2741 p
6425    T       t2742   o2704 b2741
6426    B       b2742   t2742
6427    T       t2743   o2701 b2742
6428    B       b2743   t2743
6429    T       t2744   o2700 b2743
6430    B       b2744   t2744
6431    T       t2745   o2703 b2744
6432    B       b2745   t2745 i
6433    T       t2746   o2702 b2745
6434    B       b2746   t2746
6435    T       t2747   o2701 b2746
6436    B       b2747   t2747
6437    T       t2748   o2700 b2747
6438    B       b2748   t2748
6439    T       t2749   o2697 b2700 b2748
6440    B       b2749   t2749
6441    T       t2750   o b2749 b4
6442    B       b2750   t2750
6443    T       t2751   o2697 b2750
6444    B       b2751   t2751
6445    T       t2752   o422 b2751
6446    B       b2752   t2752
6447    T       t2753   o2696 b2752
6448    B       b2753   t2753
6449    P       p2753   Number 15577
6450    P       p2754   Number 16049
6451    O       o2754   location p2753 p2754
6452    P       p2755   Number 15603
6453    P       p2756   Number 15611
6454    O       o2756   resource_defs p2755 p2756 p204
6455    P       p2757   Number 15609
6456    O       o2757   uid p2757 p2756
6457    T       t2757   o2757 b691
6458    B       b2757   t2757
6459    T       t2758   o b2757 b4
6460    B       b2758   t2758
6461    T       t2759   o2756 b2758
6462    B       b2759   t2759
6463    T       t2760   o b2759 b4
6464    B       b2760   t2760
6465    T       t2761   o1739 b676 b1757 b1909 b2760
6466    B       b2761   t2761
6467    T       t2762   o2754 b2761
6468    B       b2762   t2762
6469    P       p2762   Number 16051
6470    P       p2763   Number 16523
6471    O       o2763   location p2762 p2763
6472    P       p2764   Number 16077
6473    P       p2765   Number 16085
6474    O       o2765   resource_defs p2764 p2765 p204
6475    P       p2766   Number 16083
6476    O       o2766   uid p2766 p2765
6477    T       t2766   o2766 b691
6478    B       b2766   t2766
6479    T       t2767   o b2766 b4
6480    B       b2767   t2767
6481    T       t2768   o2765 b2767
6482    B       b2768   t2768
6483    T       t2769   o b2768 b4
6484    B       b2769   t2769
6485    T       t2770   o1918 b676 b1928 b2062 b2769
6486    B       b2770   t2770
6487    T       t2771   o2763 b2770
6488    B       b2771   t2771
6489    P       p2771   Number 16525
6490    P       p2772   Number 17080
6491    O       o2772   location p2771 p2772
6492    P       p2773   Number 16552
6493    P       p2774   Number 16560
6494    O       o2774   resource_defs p2773 p2774 p204
6495    P       p2775   Number 16558
6496    O       o2775   uid p2775 p2774
6497    T       t2775   o2775 b691
6498    B       b2775   t2775
6499    T       t2776   o b2775 b4
6500    B       b2776   t2776
6501    T       t2777   o2774 b2776
6502    B       b2777   t2777
6503    T       t2778   o b2777 b4
6504    B       b2778   t2778
6505    T       t2779   o2071 b676 b2085 b169 b2778
6506    B       b2779   t2779
6507    T       t2780   o2772 b2779
6508    B       b2780   t2780
6509    P       p2780   Number 17082
6510    P       p2781   Number 17637
6511    O       o2781   location p2780 p2781
6512    P       p2782   Number 17109
6513    P       p2783   Number 17117
6514    O       o2783   resource_defs p2782 p2783 p204
6515    P       p2784   Number 17115
6516    O       o2784   uid p2784 p2783
6517    T       t2784   o2784 b691
6518    B       b2784   t2784
6519    T       t2785   o b2784 b4
6520    B       b2785   t2785
6521    T       t2786   o2783 b2785
6522    B       b2786   t2786
6523    T       t2787   o b2786 b4
6524    B       b2787   t2787
6525    T       t2788   o2128 b676 b2139 b2173 b2787
6526    B       b2788   t2788
6527    T       t2789   o2781 b2788
6528    B       b2789   t2789
6529    P       p2789   Number 17688
6530    P       p2790   Number 18340
6531    O       o2790   location p2789 p2790
6532    P       p2791   Number 17715
6533    P       p2792   Number 17723
6534    O       o2792   resource_defs p2791 p2792 p204
6535    P       p2793   Number 17721
6536    O       o2793   uid p2793 p2792
6537    T       t2793   o2793 b691
6538    B       b2793   t2793
6539    T       t2794   o b2793 b4
6540    B       b2794   t2794
6541    T       t2795   o2792 b2794
6542    B       b2795   t2795
6543    T       t2796   o b2795 b4
6544    B       b2796   t2796
6545    T       t2797   o2182 b676 b2203 b2251 b2796
6546    B       b2797   t2797
6547    T       t2798   o2790 b2797
6548    B       b2798   t2798
6549    P       p2798   Number 18391
6550    P       p2799   Number 19043
6551    O       o2799   location p2798 p2799
6552    P       p2800   Number 18418
6553    P       p2801   Number 18426
6554    O       o2801   resource_defs p2800 p2801 p204
6555    P       p2802   Number 18424
6556    O       o2802   uid p2802 p2801
6557    T       t2802   o2802 b691
6558    B       b2802   t2802
6559    T       t2803   o b2802 b4
6560    B       b2803   t2803
6561    T       t2804   o2801 b2803
6562    B       b2804   t2804
6563    T       t2805   o b2804 b4
6564    B       b2805   t2805
6565    T       t2806   o2260 b676 b2282 b208 b2805
6566    B       b2806   t2806
6567    T       t2807   o2799 b2806
6568    B       b2807   t2807
6569    P       p2807   Number 19071
6570    P       p2808   Number 19590
6571    O       o2808   location p2807 p2808
6572    P       p2809   Number 19099
6573    P       p2810   Number 19107
6574    O       o2810   resource_defs p2809 p2810 p204
6575    P       p2811   Number 19105
6576    O       o2811   uid p2811 p2810
6577    T       t2811   o2811 b691
6578    B       b2811   t2811
6579    T       t2812   o b2811 b4
6580    B       b2812   t2812
6581    T       t2813   o2810 b2812
6582    B       b2813   t2813
6583    T       t2814   o b2813 b4
6584    B       b2814   t2814
6585    T       t2815   o2355 b676 b2367 b241 b2814
6586    B       b2815   t2815
6587    T       t2816   o2808 b2815
6588    B       b2816   t2816
6589    P       p2816   Number 19612
6590    P       p2817   Number 19908
6591    O       o2817   location p2816 p2817
6592    P       p2818   Number 19637
6593    P       p2819   Number 19645
6594    O       o2819   resource_defs p2818 p2819 p204
6595    P       p2820   Number 19643
6596    O       o2820   uid p2820 p2819
6597    T       t2820   o2820 b691
6598    B       b2820   t2820
6599    T       t2821   o b2820 b4
6600    B       b2821   t2821
6601    T       t2822   o2819 b2821
6602    B       b2822   t2822
6603    T       t2823   o b2822 b4
6604    B       b2823   t2823
6605    T       t2824   o2406 b676 b2412 b2429 b2823
6606    B       b2824   t2824
6607    T       t2825   o2817 b2824
6608    B       b2825   t2825
6609    P       p2825   Number 19930
6610    P       p2826   Number 20335
6611    O       o2826   location p2825 p2826
6612    P       p4      String id_commut1
6613    O       o8      rule p4
6614    T       t179    o596 b585 b604 b597
6615    B       b179    t179
6616    T       t182    o596 b585 b597 b604
6617    B       b182    t182
6618    T       t183    o761 b591 b759 b179 b182
6619    S       s183    t684 h
6620    G       s183    t183
6621    B       b183    s183
6622    T       t213    o677 b183
6623    B       b213    t213
6624    T       t214    o676 b763 b213
6625    B       b214    t214
6626    T       t627    o676 b1075 b214
6627    B       b627    t627
6628    T       t636    o676 b700 b627
6629    B       b636    t636
6630    T       t637    o676 b682 b636
6631    B       b637    t637
6632    T       t643    o676 b761 b637
6633    B       b643    t643
6634    T       t644    o676 b1071 b643
6635    B       b644    t644
6636    P       p645    String "equivSubstT << equiv{car{'g}; 'R; op{'g; id{'g}; 'a}; 'a} >> 0 ttca thenT equivSubstT << equiv{car{'g}; 'R; op{'g; 'a; id{'g}}; 'a} >> 0 ttca"
6637    O       o647    ext_rule p645
6638    T       t663    o b1074 b2413
6639    B       b663    t663
6640    T       t673    o b699 b663
6641    B       b673    t673
6642    T       t674    o b681 b673
6643    B       b674    t674
6644    T       t677    o b760 b674
6645    B       b677    t677
6646    T       t689    o b1070 b677
6647    B       b689    t689
6648    T       t690    o1095 b183 b689
6649    B       b690    t690
6650    T       t698    o1094 b690 b4 b1104
6651    B       b698    t698
6652    T       t704    o1093 b698 b4
6653    B       b705    t704
6654    T       t705    o647 b1092 b705 b4 b4
6655    B       b712    t705
6656    T       t712    o1090 b712
6657    B       b713    t712
6658    P       p2827   Number 19956
6659    P       p2828   Number 19964
6660    O       o2828   resource_defs p2827 p2828 p204
6661    P       p2829   Number 19962
6662    O       o2829   uid p2829 p2828
6663    T       t2829   o2829 b691
6664    B       b2829   t2829
6665    T       t2830   o b2829 b4
6666    B       b2830   t2830
6667    T       t2831   o2828 b2830
6668    B       b2831   t2831
6669    T       t2832   o b2831 b4
6670    B       b2832   t2832
6671    T       t2833   o8 b676 b644 b713 b2832
6672    B       b2833   t2833
6673    T       t2834   o2826 b2833
6674    B       b2834   t2834
6675    P       p2834   Number 20357
6676    P       p2835   Number 20762
6677    O       o2835   location p2834 p2835
6678    P       p785    String id_commut2
6679    O       o785    rule p785
6680    T       t790    o761 b591 b759 b182 b179
6681    S       s790    t684 h
6682    G       s790    t790
6683    B       b790    s790
6684    T       t806    o677 b790
6685    B       b806    t806
6686    T       t813    o676 b763 b806
6687    B       b813    t813
6688    T       t814    o676 b1075 b813
6689    B       b814    t814
6690    T       t827    o676 b700 b814
6691    B       b827    t827
6692    T       t834    o676 b682 b827
6693    B       b834    t834
6694    T       t843    o676 b761 b834
6695    B       b843    t843
6696    T       t850    o676 b1071 b843
6697    B       b850    t850
6698    T       t851    o1095 b790 b689
6699    B       b851    t851
6700    T       t857    o1094 b851 b4 b1104
6701    B       b857    t857
6702    T       t864    o1093 b857 b4
6703    B       b864    t864
6704    T       t870    o647 b1092 b864 b4 b4
6705    B       b870    t870
6706    T       t877    o1090 b870
6707    B       b877    t877
6708    P       p2836   Number 20383
6709    P       p2837   Number 20391
6710    O       o2837   resource_defs p2836 p2837 p204
6711    P       p2838   Number 20389
6712    O       o2838   uid p2838 p2837
6713    T       t2838   o2838 b691
6714    B       b2838   t2838
6715    T       t2839   o b2838 b4
6716    B       b2839   t2839
6717    T       t2840   o2837 b2839
6718    B       b2840   t2840
6719    T       t2841   o b2840 b4
6720    B       b2841   t2841
6721    T       t2842   o785 b676 b850 b877 b2841
6722    B       b2842   t2842
6723    T       t2843   o2835 b2842
6724    B       b2843   t2843
6725    NSummary!id     id2436  id Summary
6726    P       p2436   Number 646427455
6727    O       o2437   id2436 p2436
6728    T       t2437   o2437
6729    B       b2437   t2437
6730    T       t2438   o2436 b2437
6731    B       b2438   t2438
6732    T       t2439   o b2438 b4
6733    B       b2439   t2439
6734    T       t2844   o b2843 b2439
6735    B       b2844   t2844
6736    T       t2845   o b2834 b2844
6737    B       b2845   t2845
6738    T       t2846   o b2825 b2845
6739    B       b2846   t2846
6740    T       t2847   o b2816 b2846
6741    B       b2847   t2847
6742    T       t2848   o b2807 b2847
6743    B       b2848   t2848
6744    T       t2849   o b2798 b2848
6745    B       b2849   t2849
6746    T       t2850   o b2789 b2849
6747    B       b2850   t2850
6748    T       t2851   o b2780 b2850
6749    B       b2851   t2851
6750    T       t2852   o b2771 b2851
6751    B       b2852   t2852
6752    T       t2853   o b2762 b2852
6753    B       b2853   t2853
6754    T       t2854   o b2753 b2853
6755    B       b2854   t2854
6756    T       t2855   o b2695 b2854
6757    B       b2855   t2855
6758    T       t2856   o b2636 b2855
6759    B       b2856   t2856
6760    T       t2857   o b2634 b2856
6761    B       b2857   t2857
6762    T       t2858   o b2633 b2857
6763    B       b2858   t2858
6764    T       t2859   o b2624 b2858
6765    B       b2859   t2859
6766    T       t2860   o b2615 b2859
6767    B       b2860   t2860
6768    T       t2861   o b2578 b2860
6769    B       b2861   t2861
6770    T       t2862   o b2500 b2861
6771    B       b2862   t2862
6772    T       t2863   o b501 b2862
6773    B       b2863   t2863
6774    T       t2864   o b474 b2863
6775    B       b2864   t2864
6776    T       t2865   o b447 b2864
6777    B       b2865   t2865
6778    T       t2866   o b421 b2865
6779    B       b2866   t2866
6780    T       t2867   o b267 b2866
6781    B       b2867   t2867
6782    T       t2868   o b961 b2867
6783    B       b2868   t2868
6784    T       t2869   o b942 b2868
6785    B       b2869   t2869
6786    T       t2870   o b930 b2869
6787    B       b2870   t2870
6788    T       t2871   o b918 b2870
6789    B       b2871   t2871
6790    T       t2872   o b898 b2871
6791    B       b2872   t2872
6792    T       t2873   o b876 b2872
6793    B       b2873   t2873
6794    T       t2874   o b863 b2873
6795    B       b2874   t2874
6796    T       t2875   o b849 b2874
6797    B       b2875   t2875
6798    T       t2876   o b833 b2875
6799    B       b2876   t2876
6800    T       t2877   o b812 b2876
6801    B       b2877   t2877
6802    T       t2878   o b789 b2877
6803    B       b2878   t2878
6804    T       t2879   o b753 b2878
6805    B       b2879   t2879
6806    T       t2880   o b733 b2879
6807    B       b2880   t2880
6808    T       t2881   o b711 b2880
6809    B       b2881   t2881
6810    T       t2882   o b697 b2881
6811    B       b2882   t2882
6812    T       t2883   o b672 b2882
6813    B       b2883   t2883
6814    T       t2884   o b662 b2883
6815    B       b2884   t2884
6816    T       t2885   o b642 b2884
6817    B       b2885   t2885
6818    T       t2886   o b635 b2885
6819    B       b2886   t2886
6820    T       t2887   o b625 b2886
6821    B       b2887   t2887
6822    T       t2888   o b614 b2887
6823    B       b2888   t2888
6824    T       t2889   o b611 b2888
6825    B       b2889   t2889
6826    T       t2890   o b606 b2889
6827    B       b2890   t2890
6828    T       t2891   o b601 b2890
6829    B       b2891   t2891
6830    T       t2892   o b593 b2891
6831    B       b2892   t2892
6832    T       t2893   o b588 b2892
6833    B       b2893   t2893
6834    T       t2894   o b581 b2893
6835    B       b2894   t2894
6836    T       t2895   o b574 b2894
6837    B       b2895   t2895
6838    T       t2896   o b567 b2895
6839    B       b2896   t2896
6840    T       t2897   o b560 b2896
6841    B       b2897   t2897
6842    T       t2898   o b553 b2897
6843    B       b2898   t2898
6844    T       t2899   o b545 b2898
6845    B       b2899   t2899
6846    T       t2900   o b537 b2899
6847    B       b2900   t2900
6848    T       t2901   o b529 b2900
6849    B       b2901   t2901
6850    T       t2902   o b522 b2901
6851    B       b2902   t2902
6852    T       t2903   o b515 b2902
6853    B       b2903   t2903
6854    T       t2904   o b508 b2903
6855    B       b2904   t2904
6856    T       t2905   o b499 b2904
6857    B       b2905   t2905
6858    T       t2906   o b490 b2905
6859    B       b2906   t2906
6860    T       t2907   o b481 b2906
6861    B       b2907   t2907
6862    T       t2908   o b472 b2907
6863    B       b2908   t2908
6864    T       t2909   o b463 b2908
6865    B       b2909   t2909
6866    T       t2910   o b454 b2909
6867    B       b2910   t2910
6868    T       t2911   o b445 b2910
6869    B       b2911   t2911
6870    T       t2912   o b435 b2911
6871    B       b2912   t2912
6872    T       t2913   o b428 b2912
6873    B       b2913   t2913
6874    T       t2914   o b420 b2913
6875    B       b2914   t2914
6876    T       t2915   o b399 b2914
6877    B       b2915   t2915
6878    T       t2916   o b393 b2915
6879    B       b2916   t2916
6880    T       t2917   o b378 b2916
6881    B       b2917   t2917
6882    T       t2918   o b376 b2917
6883    B       b2918   t2918
6884    T       t2919   o b367 b2918
6885    B       b2919   t2919
6886    T       t2920   o b298 b2919

Legend:
Removed from v.3527  
changed lines
  Added in v.3530

  ViewVC Help
Powered by ViewVC 1.1.26