/[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 3530 by xiny, Thu Mar 7 23:13:10 2002 UTC revision 3535 by xiny, Mon Mar 11 09:57:39 2002 UTC
# Line 2696  Line 2696 
2696  B       b500    t500  B       b500    t500
2697  T       t501    o476 b500  T       t501    o476 b500
2698  B       b501    t501  B       b501    t501
2699    P       p8      Number 8056
2700    P       p16     Number 8796
2701    O       o16     location p8 p16
2702  P       p1053   String inv_id2  P       p1053   String inv_id2
2703  O       o1053   rule p1053  O       o1053   rule p1053
2704  P       p1070   String equiv_op_fun1  P       p1070   String equiv_op_fun1
# Line 5847  Line 5850 
5850  B       b2492   t2491  B       b2492   t2491
5851  T       t2492   o1090 b2492  T       t2492   o1090 b2492
5852  B       b2493   t2492  B       b2493   t2492
5853  P       p2493   Number 8536  P       p18     Number 8085
5854  P       p2494   Number 8543  P       p20     Number 8092
5855  O       o2494   resource_defs p2493 p2494 p176  O       o20     resource_defs p18 p20 p176
5856  P       p2495   Number 8541  P       p22     Number 8090
5857  O       o2495   uid p2495 p2494  O       o22     uid p22 p20
5858  T       t2495   o2495 b691  T       t170    o22 b691
5859  B       b2495   t2495  B       b170    t170
5860  T       t2496   o b2495 b4  T       t173    o b170 b4
5861  B       b2496   t2496  B       b173    t173
5862  T       t2497   o2494 b2496  T       t209    o20 b173
5863  B       b2497   t2497  B       b209    t209
5864  T       t2498   o b2497 b4  T       t210    o b209 b4
5865  B       b2498   t2498  B       b210    t210
5866  T       t2499   o503 b1302 b583 b2493 b2498  T       t244    o503 b1302 b583 b2493 b210
5867  B       b2499   t2499  B       b244    t244
5868  T       t2500   o2436 b2499  T       t249    o16 b244
5869  B       b2500   t2500  B       b249    t249
5870    P       p262    Number 8798
5871    P       p263    Number 9192
5872    O       o263    location p262 p263
5873  T       t2501   o761 b591 b759 b2151 b604  T       t2501   o761 b591 b759 b2151 b604
5874  S       s2501   t684 h  S       s2501   t684 h
5875  G       s2501   t2501  G       s2501   t2501
# Line 6031  Line 6037 
6037  B       b2570   t2569  B       b2570   t2569
6038  T       t2570   o1090 b2570  T       t2570   o1090 b2570
6039  B       b2571   t2570  B       b2571   t2570
6040  P       p2571   Number 9272  P       p264    Number 8821
6041  P       p2572   Number 9279  P       p265    Number 8828
6042  O       o2572   resource_defs p2571 p2572 p204  O       o265    resource_defs p264 p265 p204
6043  P       p2573   Number 9277  P       p287    Number 8826
6044  O       o2573   uid p2573 p2572  O       o287    uid p287 p265
6045  T       t2573   o2573 b691  T       t422    o287 b691
6046  B       b2573   t2573  B       b422    t422
6047  T       t2574   o b2573 b4  T       t423    o b422 b4
6048  B       b2574   t2574  B       b423    t423
6049  T       t2575   o2572 b2574  T       t523    o265 b423
6050  B       b2575   t2575  B       b547    t523
6051  T       t2576   o b2575 b4  T       t547    o b547 b4
6052  B       b2576   t2576  B       b584    t547
6053  T       t2577   o1053 b676 b2508 b2571 b2576  T       t584    o1053 b676 b2508 b2571 b584
6054  B       b2577   t2577  B       b684    t584
6055  T       t2578   o2436 b2577  T       t727    o263 b684
6056  B       b2578   t2578  B       b727    t727
6057    P       p729    Number 9194
6058    P       p730    Number 9578
6059    O       o730    location p729 p730
6060  T       t2579   o1095 b964 b2514  T       t2579   o1095 b964 b2514
6061  B       b2579   t2579  B       b2579   t2579
6062  T       t2580   o1094 b2579 b4 b1104  T       t2580   o1094 b2579 b4 b1104
# Line 6119  Line 6128 
6128  B       b2607   t2606  B       b2607   t2606
6129  T       t2607   o1090 b2607  T       t2607   o1090 b2607
6130  B       b2608   t2607  B       b2608   t2607
6131  P       p2608   Number 9667  P       p731    Number 9216
6132  P       p2609   Number 9674  P       p732    Number 9223
6133  O       o2609   resource_defs p2608 p2609 p204  O       o732    resource_defs p731 p732 p204
6134  P       p2610   Number 9672  P       p736    Number 9221
6135  O       o2610   uid p2610 p2609  O       o737    uid p736 p732
6136  T       t2610   o2610 b691  T       t754    o737 b691
6137  B       b2610   t2610  B       b754    t754
6138  T       t2611   o b2610 b4  T       t755    o b754 b4
6139  B       b2611   t2611  B       b755    t755
6140  T       t2612   o2609 b2611  T       t783    o732 b755
6141  B       b2612   t2612  B       b783    t783
6142  T       t2613   o b2612 b4  T       t892    o b783 b4
6143  B       b2613   t2613  B       b892    t892
6144  T       t2614   o963 b676 b971 b2608 b2613  T       t899    o963 b676 b971 b2608 b892
6145  B       b2614   t2614  B       b899    t899
6146  T       t2615   o2436 b2614  T       t912    o730 b899
6147  B       b2615   t2615  B       b912    t912
6148  P       p2615   Number 10051  P       p914    Number 9599
6149  P       p2616   Number 10575  P       p915    Number 10123
6150  O       o2616   location p2615 p2616  O       o915    location p914 p915
6151  P       p2617   Number 10080  P       p916    Number 9628
6152  P       p2618   Number 10087  P       p917    Number 9635
6153  O       o2618   resource_defs p2617 p2618 p204  O       o917    resource_defs p916 p917 p204
6154  P       p2619   Number 10085  P       p921    Number 9633
6155  O       o2619   uid p2619 p2618  O       o921    uid p921 p917
6156  T       t2619   o2619 b691  T       t924    o921 b691
6157  B       b2619   t2619  B       b924    t924
6158  T       t2620   o b2619 b4  T       t931    o b924 b4
6159  B       b2620   t2620  B       b931    t931
6160  T       t2621   o2618 b2620  T       t936    o917 b931
6161  B       b2621   t2621  B       b936    t936
6162  T       t2622   o b2621 b4  T       t943    o b936 b4
6163  B       b2622   t2622  B       b943    t943
6164  T       t2623   o1070 b676 b1090 b1191 b2622  T       t955    o1070 b676 b1090 b1191 b943
6165  B       b2623   t2623  B       b955    t955
6166  T       t2624   o2616 b2623  T       t962    o915 b955
6167  B       b2624   t2624  B       b962    t962
6168  P       p2624   Number 10577  P       p962    Number 10125
6169  P       p2625   Number 11101  P       p964    Number 10649
6170  O       o2625   location p2624 p2625  O       o964    location p962 p964
6171  P       p2626   Number 10606  P       p965    Number 10154
6172  P       p2627   Number 10613  P       p966    Number 10161
6173  O       o2627   resource_defs p2626 p2627 p204  O       o966    resource_defs p965 p966 p204
6174  P       p2628   Number 10611  P       p967    Number 10159
6175  O       o2628   uid p2628 p2627  O       o967    uid p967 p966
6176  T       t2628   o2628 b691  T       t972    o967 b691
6177  B       b2628   t2628  B       b972    t972
6178  T       t2629   o b2628 b4  T       t973    o b972 b4
6179  B       b2629   t2629  B       b973    t973
6180  T       t2630   o2627 b2629  T       t974    o966 b973
6181  B       b2630   t2630  B       b974    t974
6182  T       t2631   o b2630 b4  T       t975    o b974 b4
6183  B       b2631   t2631  B       b975    t975
6184  T       t2632   o1200 b676 b1212 b1290 b2631  T       t976    o1200 b676 b1212 b1290 b975
6185  B       b2632   t2632  B       b976    t976
6186  T       t2633   o2625 b2632  T       t977    o964 b976
6187  B       b2633   t2633  B       b977    t977
6188  P       p2633   Number 12721  P       p977    Number 10694
6189  P       p2634   Number 14028  P       p978    Number 12001
6190  O       o2634   location p2633 p2634  O       o978    location p977 p978
6191  T       t2634   o2634 b1455  T       t978    o978 b1455
6192  B       b2634   t2634  B       b978    t978
6193  P       p2635   Number 14073  P       p979    Number 12046
6194  P       p2636   Number 15380  P       p981    Number 13353
6195  O       o2636   location p2635 p2636  O       o981    location p979 p981
6196  T       t2636   o2636 b1609  T       t987    o981 b1609
6197  B       b2636   t2636  B       b987    t987
6198  P       p2637   Number 15382  P       p987    Number 13355
6199  P       p2638   Number 15469  P       p988    Number 13442
6200  O       o2638   location p2637 p2638  O       o988    location p987 p988
6201  O       o2639   str_let p2637 p2638  O       o989    str_let p987 p988
6202  P       p2639   Number 15386  P       p989    Number 13359
6203  O       o2640   patt_var p2639 p2638  O       o990    patt_var p989 p988
6204  O       o2641   patt_done p2637 p2638  O       o991    patt_done p987 p988
6205  T       t2641   o2641  T       t991    o991
6206  B       b2641   t2641 groupCancelLeftT  B       b991    t991 groupCancelLeftT
6207  T       t2642   o2640 b2641  T       t992    o990 b991
6208  B       b2642   t2642  B       b992    t992
6209  O       o2642   fun p2639 p2638  O       o992    fun p989 p988
6210  O       o2643   patt_if p2639 p2638  O       o993    patt_if p989 p988
6211  P       p2643   Number 15403  P       p993    Number 13376
6212  P       p2644   Number 15404  P       p994    Number 13377
6213  O       o2644   patt_var p2643 p2644  O       o994    patt_var p993 p994
6214  O       o2645   patt_body p2639 p2638  O       o996    patt_body p989 p988
6215  P       p2645   Number 15405  P       p996    Number 13378
6216  P       p2646   Number 15406  P       p997    Number 13379
6217  O       o2646   patt_var p2645 p2646  O       o997    patt_var p996 p997
6218  P       p2647   Number 15412  P       p998    Number 13385
6219  O       o2647   let p2647 p2638  O       o998    let p998 p988
6220  P       p2648   Number 15416  P       p999    Number 13389
6221  P       p2649   Number 15420  P       p1000   Number 13393
6222  O       o2649   patt_tuple p2648 p2649  O       o1000   patt_tuple p999 p1000
6223  P       p2650   Number 15417  P       p1001   Number 13390
6224  O       o2650   patt_var p2648 p2650  O       o1001   patt_var p999 p1001
6225  O       o2651   patt_tuple_arg p2648 p2649  O       o1002   patt_tuple_arg p999 p1000
6226  P       p2651   Number 15419  P       p1002   Number 13392
6227  O       o2652   patt_var p2651 p2649  O       o1003   patt_var p1002 p1000
6228  O       o2653   patt_tuple_end p2648 p2649  O       o1004   patt_tuple_end p999 p1000
6229  O       o2654   patt_in p2647 p2638  O       o1005   patt_in p998 p988
6230  P       p2654   Number 15456  P       p1005   Number 13429
6231  O       o2655   apply p2654 p2638  O       o1006   apply p1005 p988
6232  P       p2655   Number 15467  P       p1006   Number 13440
6233  O       o2656   apply p2654 p2655  O       o1007   apply p1005 p1006
6234  P       p2656   Number 15465  P       p1007   Number 13438
6235  O       o2657   apply p2654 p2656  O       o1008   apply p1005 p1007
6236  P       p2657   Number 15463  P       p1008   Number 13436
6237  O       o2658   lid p2654 p2657  O       o1010   lid p1005 p1008
6238  T       t2658   o2658 b1632  T       t1016   o1010 b1632
6239  B       b2658   t2658  B       b1016   t1016
6240  P       p2658   Number 15464  P       p1016   Number 13437
6241  O       o2659   lid p2658 p2656  O       o1016   lid p1016 p1007
6242  T       t2659   o2659 b1634  T       t1017   o1016 b1634
6243  B       b2659   t2659  B       b1017   t1017
6244  T       t2660   o2657 b2658 b2659  T       t1018   o1008 b1016 b1017
6245  B       b2660   t2660  B       b1018   t1018
6246  P       p2660   Number 15466  P       p1018   Number 13439
6247  O       o2660   lid p2660 p2655  O       o1018   lid p1018 p1006
6248  T       t2661   o2660 b1637  T       t1019   o1018 b1637
6249  B       b2661   t2661  B       b1019   t1019
6250  T       t2662   o2656 b2660 b2661  T       t1020   o1007 b1018 b1019
6251  B       b2662   t2662  B       b1020   t1020
6252  P       p2662   Number 15468  P       p1020   Number 13441
6253  O       o2662   lid p2662 p2638  O       o1020   lid p1020 p988
6254  T       t2663   o2662 b1640  T       t1021   o1020 b1640
6255  B       b2663   t2663  B       b1021   t1021
6256  T       t2664   o2655 b2662 b2663  T       t1022   o1006 b1020 b1021
6257  B       b2664   t2664  B       b1022   t1022
6258  T       t2665   o2654 b2664  T       t1023   o1005 b1022
6259  B       b2665   t2665  B       b1023   t1023
6260  T       t2666   o2653 b2665  T       t1028   o1004 b1023
6261  B       b2666   t2666 k  B       b1028   t1028 k
6262  T       t2667   o2652 b2666  T       t1029   o1003 b1028
6263  B       b2667   t2667  B       b1029   t1029
6264  T       t2668   o2651 b2667  T       t1030   o1002 b1029
6265  B       b2668   t2668 j  B       b1030   t1030 j
6266  T       t2669   o2650 b2668  T       t1031   o1001 b1030
6267  B       b2669   t2669  B       b1031   t1031
6268  T       t2670   o2649 b2669  T       t1032   o1000 b1031
6269  B       b2670   t2670  B       b1032   t1032
6270  P       p2670   Number 15423  P       p1032   Number 13396
6271  P       p2671   Number 15446  P       p1033   Number 13419
6272  O       o2671   apply p2670 p2671  O       o1033   apply p1032 p1033
6273  P       p2672   Number 15444  P       p1034   Number 13417
6274  O       o2672   apply p2670 p2672  O       o1034   apply p1032 p1034
6275  P       p2673   Number 15442  P       p1035   Number 13415
6276  O       o2673   proj p2670 p2673  O       o1035   proj p1032 p1035
6277  O       o2674   uid p2670 p2673  O       o1037   uid p1032 p1035
6278  T       t2674   o2674 b1653  T       t1045   o1037 b1653
6279  B       b2674   t2674  B       b1045   t1045
6280  P       p2674   Number 15431  P       p1045   Number 13404
6281  O       o2675   lid p2674 p2673  O       o1045   lid p1045 p1035
6282  T       t2675   o2675 b1655  T       t1046   o1045 b1655
6283  B       b2675   t2675  B       b1046   t1046
6284  T       t2676   o2673 b2674 b2675  T       t1047   o1035 b1045 b1046
6285  B       b2676   t2676  B       b1047   t1047
6286  P       p2676   Number 15443  P       p1047   Number 13416
6287  O       o2676   lid p2676 p2672  O       o1047   lid p1047 p1034
6288  T       t2677   o2676 b1640  T       t1048   o1047 b1640
6289  B       b2677   t2677  B       b1048   t1048
6290  T       t2678   o2672 b2676 b2677  T       t1049   o1034 b1047 b1048
6291  B       b2678   t2678  B       b1049   t1049
6292  P       p2678   Number 15445  P       p1049   Number 13418
6293  O       o2678   lid p2678 p2671  O       o1049   lid p1049 p1033
6294  T       t2679   o2678 b1660  T       t1050   o1049 b1660
6295  B       b2679   t2679  B       b1050   t1050
6296  T       t2680   o2671 b2678 b2679  T       t1051   o1033 b1049 b1050
6297  B       b2680   t2680  B       b1051   t1051
6298  T       t2681   o b2680 b4  T       t1052   o b1051 b4
6299  B       b2681   t2681  B       b1052   t1052
6300  T       t2682   o2647 b2670 b2681  T       t1053   o998 b1032 b1052
6301  B       b2682   t2682  B       b1053   t1053
6302  T       t2683   o2645 b2682  T       t1054   o996 b1053
6303  B       b2683   t2683 p  B       b1054   t1054 p
6304  T       t2684   o2646 b2683  T       t1055   o997 b1054
6305  B       b2684   t2684  B       b1055   t1055
6306  T       t2685   o2643 b2684  T       t1056   o993 b1055
6307  B       b2685   t2685  B       b1056   t1056
6308  T       t2686   o2642 b2685  T       t1057   o992 b1056
6309  B       b2686   t2686  B       b1057   t1057
6310  T       t2687   o2645 b2686  T       t1058   o996 b1057
6311  B       b2687   t2687 i  B       b1058   t1058 i
6312  T       t2688   o2644 b2687  T       t1059   o994 b1058
6313  B       b2688   t2688  B       b1059   t1059
6314  T       t2689   o2643 b2688  T       t1060   o993 b1059
6315  B       b2689   t2689  B       b1060   t1060
6316  T       t2690   o2642 b2689  T       t1061   o992 b1060
6317  B       b2690   t2690  B       b1061   t1061
6318  T       t2691   o2639 b2642 b2690  T       t1062   o989 b992 b1061
6319  B       b2691   t2691  B       b1062   t1062
6320  T       t2692   o b2691 b4  T       t1063   o b1062 b4
6321  B       b2692   t2692  B       b1063   t1063
6322  T       t2693   o2639 b2692  T       t1064   o989 b1063
6323  B       b2693   t2693  B       b1064   t1064
6324  T       t2694   o422 b2693  T       t1065   o422 b1064
6325  B       b2694   t2694  B       b1065   t1065
6326  T       t2695   o2638 b2694  T       t1066   o988 b1065
6327  B       b2695   t2695  B       b1066   t1066
6328  P       p2695   Number 15471  P       p1066   Number 13444
6329  P       p2696   Number 15559  P       p1067   Number 13532
6330  O       o2696   location p2695 p2696  O       o1067   location p1066 p1067
6331  O       o2697   str_let p2695 p2696  O       o1068   str_let p1066 p1067
6332  P       p2697   Number 15475  P       p1068   Number 13448
6333  O       o2698   patt_var p2697 p2696  O       o1069   patt_var p1068 p1067
6334  O       o2699   patt_done p2695 p2696  O       o1071   patt_done p1066 p1067
6335  T       t2699   o2699  T       t1091   o1071
6336  B       b2699   t2699 groupCancelRightT  B       b1091   t1091 groupCancelRightT
6337  T       t2700   o2698 b2699  T       t1093   o1069 b1091
6338  B       b2700   t2700  B       b1093   t1093
6339  O       o2700   fun p2697 p2696  O       o1096   fun p1068 p1067
6340  O       o2701   patt_if p2697 p2696  O       o1097   patt_if p1068 p1067
6341  P       p2701   Number 15493  P       p1097   Number 13466
6342  P       p2702   Number 15494  P       p1098   Number 13467
6343  O       o2702   patt_var p2701 p2702  O       o1098   patt_var p1097 p1098
6344  O       o2703   patt_body p2697 p2696  O       o1099   patt_body p1068 p1067
6345  P       p2703   Number 15495  P       p1099   Number 13468
6346  P       p2704   Number 15496  P       p1100   Number 13469
6347  O       o2704   patt_var p2703 p2704  O       o1100   patt_var p1099 p1100
6348  P       p2705   Number 15502  P       p1101   Number 13475
6349  O       o2705   let p2705 p2696  O       o1101   let p1101 p1067
6350  P       p2706   Number 15506  P       p1102   Number 13479
6351  P       p2707   Number 15510  P       p1103   Number 13483
6352  O       o2707   patt_tuple p2706 p2707  O       o1104   patt_tuple p1102 p1103
6353  P       p2708   Number 15507  P       p1104   Number 13480
6354  O       o2708   patt_var p2706 p2708  O       o1106   patt_var p1102 p1104
6355  O       o2709   patt_tuple_arg p2706 p2707  O       o1107   patt_tuple_arg p1102 p1103
6356  P       p2709   Number 15509  P       p1107   Number 13482
6357  O       o2710   patt_var p2709 p2707  O       o1110   patt_var p1107 p1103
6358  O       o2711   patt_tuple_end p2706 p2707  O       o1111   patt_tuple_end p1102 p1103
6359  O       o2712   patt_in p2705 p2696  O       o1112   patt_in p1101 p1067
6360  P       p2712   Number 15546  P       p1112   Number 13519
6361  O       o2713   apply p2712 p2696  O       o1113   apply p1112 p1067
6362  P       p2713   Number 15557  P       p1113   Number 13530
6363  O       o2714   apply p2712 p2713  O       o1114   apply p1112 p1113
6364  P       p2714   Number 15555  P       p1114   Number 13528
6365  O       o2715   apply p2712 p2714  O       o1115   apply p1112 p1114
6366  P       p2715   Number 15553  P       p1115   Number 13526
6367  O       o2716   lid p2712 p2715  O       o1116   lid p1112 p1115
6368  T       t2716   o2716 b1699  T       t1118   o1116 b1699
6369  B       b2716   t2716  B       b1192   t1118
6370  P       p2716   Number 15554  P       p1192   Number 13527
6371  O       o2717   lid p2716 p2714  O       o1192   lid p1192 p1114
6372  T       t2717   o2717 b1634  T       t1192   o1192 b1634
6373  B       b2717   t2717  B       b1193   t1192
6374  T       t2718   o2715 b2716 b2717  T       t1193   o1115 b1192 b1193
6375  B       b2718   t2718  B       b1194   t1193
6376  P       p2718   Number 15556  P       p1194   Number 13529
6377  O       o2718   lid p2718 p2713  O       o1194   lid p1194 p1113
6378  T       t2719   o2718 b1637  T       t1194   o1194 b1637
6379  B       b2719   t2719  B       b1195   t1194
6380  T       t2720   o2714 b2718 b2719  T       t1195   o1114 b1194 b1195
6381  B       b2720   t2720  B       b1196   t1195
6382  P       p2720   Number 15558  P       p1196   Number 13531
6383  O       o2720   lid p2720 p2696  O       o1196   lid p1196 p1067
6384  T       t2721   o2720 b1640  T       t1196   o1196 b1640
6385  B       b2721   t2721  B       b1197   t1196
6386  T       t2722   o2713 b2720 b2721  T       t1197   o1113 b1196 b1197
6387  B       b2722   t2722  B       b1198   t1197
6388  T       t2723   o2712 b2722  T       t1198   o1112 b1198
6389  B       b2723   t2723  B       b1199   t1198
6390  T       t2724   o2711 b2723  T       t1199   o1111 b1199
6391  B       b2724   t2724 k  B       b1217   t1199 k
6392  T       t2725   o2710 b2724  T       t1222   o1110 b1217
6393  B       b2725   t2725  B       b1291   t1222
6394  T       t2726   o2709 b2725  T       t1291   o1107 b1291
6395  B       b2726   t2726 j  B       b1292   t1291 j
6396  T       t2727   o2708 b2726  T       t1292   o1106 b1292
6397  B       b2727   t2727  B       b1293   t1292
6398  T       t2728   o2707 b2727  T       t1293   o1104 b1293
6399  B       b2728   t2728  B       b1294   t1293
6400  P       p2728   Number 15513  P       p1294   Number 13486
6401  P       p2729   Number 15536  P       p1295   Number 13509
6402  O       o2729   apply p2728 p2729  O       o1295   apply p1294 p1295
6403  P       p2730   Number 15534  P       p1296   Number 13507
6404  O       o2730   apply p2728 p2730  O       o1296   apply p1294 p1296
6405  P       p2731   Number 15532  P       p1297   Number 13505
6406  O       o2731   proj p2728 p2731  O       o1297   proj p1294 p1297
6407  O       o2732   uid p2728 p2731  O       o1298   uid p1294 p1297
6408  T       t2732   o2732 b1653  T       t1298   o1298 b1653
6409  B       b2732   t2732  B       b1298   t1298
6410  P       p2732   Number 15521  P       p1298   Number 13494
6411  O       o2733   lid p2732 p2731  O       o1301   lid p1298 p1297
6412  T       t2733   o2733 b1655  T       t1307   o1301 b1655
6413  B       b2733   t2733  B       b1456   t1307
6414  T       t2734   o2731 b2732 b2733  T       t1456   o1297 b1298 b1456
6415  B       b2734   t2734  B       b1457   t1456
6416  P       p2734   Number 15533  P       p1457   Number 13506
6417  O       o2734   lid p2734 p2730  O       o1457   lid p1457 p1296
6418  T       t2735   o2734 b1640  T       t1457   o1457 b1640
6419  B       b2735   t2735  B       b1610   t1457
6420  T       t2736   o2730 b2734 b2735  T       t1610   o1296 b1457 b1610
6421  B       b2736   t2736  B       b1611   t1610
6422  P       p2736   Number 15535  P       p1611   Number 13508
6423  O       o2736   lid p2736 p2729  O       o1611   lid p1611 p1295
6424  T       t2737   o2736 b1660  T       t1611   o1611 b1660
6425  B       b2737   t2737  B       b1612   t1611
6426  T       t2738   o2729 b2736 b2737  T       t1612   o1295 b1611 b1612
6427  B       b2738   t2738  B       b1613   t1612
6428  T       t2739   o b2738 b4  T       t1613   o b1613 b4
6429  B       b2739   t2739  B       b1614   t1613
6430  T       t2740   o2705 b2728 b2739  T       t1614   o1101 b1294 b1614
6431  B       b2740   t2740  B       b1615   t1614
6432  T       t2741   o2703 b2740  T       t1615   o1099 b1615
6433  B       b2741   t2741 p  B       b1616   t1615 p
6434  T       t2742   o2704 b2741  T       t1616   o1100 b1616
6435  B       b2742   t2742  B       b1617   t1616
6436  T       t2743   o2701 b2742  T       t1617   o1097 b1617
6437  B       b2743   t2743  B       b1618   t1617
6438  T       t2744   o2700 b2743  T       t1618   o1096 b1618
6439  B       b2744   t2744  B       b1619   t1618
6440  T       t2745   o2703 b2744  T       t1619   o1099 b1619
6441  B       b2745   t2745 i  B       b1620   t1619 i
6442  T       t2746   o2702 b2745  T       t1620   o1098 b1620
6443  B       b2746   t2746  B       b1621   t1620
6444  T       t2747   o2701 b2746  T       t1621   o1097 b1621
6445  B       b2747   t2747  B       b1622   t1621
6446  T       t2748   o2700 b2747  T       t1622   o1096 b1622
6447  B       b2748   t2748  B       b1623   t1622
6448  T       t2749   o2697 b2700 b2748  T       t1623   o1068 b1093 b1623
6449  B       b2749   t2749  B       b1624   t1623
6450  T       t2750   o b2749 b4  T       t1624   o b1624 b4
6451  B       b2750   t2750  B       b1625   t1624
6452  T       t2751   o2697 b2750  T       t1625   o1068 b1625
6453  B       b2751   t2751  B       b1626   t1625
6454  T       t2752   o422 b2751  T       t1626   o422 b1626
6455  B       b2752   t2752  B       b1627   t1626
6456  T       t2753   o2696 b2752  T       t1627   o1067 b1627
6457  B       b2753   t2753  B       b1628   t1627
6458  P       p2753   Number 15577  P       p1628   Number 13550
6459  P       p2754   Number 16049  P       p1629   Number 14022
6460  O       o2754   location p2753 p2754  O       o1629   location p1628 p1629
6461  P       p2755   Number 15603  P       p1630   Number 13576
6462  P       p2756   Number 15611  P       p1631   Number 13584
6463  O       o2756   resource_defs p2755 p2756 p204  O       o1631   resource_defs p1630 p1631 p204
6464  P       p2757   Number 15609  P       p1632   Number 13582
6465  O       o2757   uid p2757 p2756  O       o1633   uid p1632 p1631
6466  T       t2757   o2757 b691  T       t1633   o1633 b691
6467  B       b2757   t2757  B       b1633   t1633
6468  T       t2758   o b2757 b4  T       t1635   o b1633 b4
6469  B       b2758   t2758  B       b1635   t1635
6470  T       t2759   o2756 b2758  T       t1636   o1631 b1635
6471  B       b2759   t2759  B       b1636   t1636
6472  T       t2760   o b2759 b4  T       t1638   o b1636 b4
6473  B       b2760   t2760  B       b1638   t1638
6474  T       t2761   o1739 b676 b1757 b1909 b2760  T       t1639   o1739 b676 b1757 b1909 b1638
6475  B       b2761   t2761  B       b1639   t1639
6476  T       t2762   o2754 b2761  T       t1641   o1629 b1639
6477  B       b2762   t2762  B       b1641   t1641
6478  P       p2762   Number 16051  P       p1641   Number 14024
6479  P       p2763   Number 16523  P       p1642   Number 14496
6480  O       o2763   location p2762 p2763  O       o1642   location p1641 p1642
6481  P       p2764   Number 16077  P       p1643   Number 14050
6482  P       p2765   Number 16085  P       p1644   Number 14058
6483  O       o2765   resource_defs p2764 p2765 p204  O       o1644   resource_defs p1643 p1644 p204
6484  P       p2766   Number 16083  P       p1645   Number 14056
6485  O       o2766   uid p2766 p2765  O       o1645   uid p1645 p1644
6486  T       t2766   o2766 b691  T       t1645   o1645 b691
6487  B       b2766   t2766  B       b1645   t1645
6488  T       t2767   o b2766 b4  T       t1646   o b1645 b4
6489  B       b2767   t2767  B       b1646   t1646
6490  T       t2768   o2765 b2767  T       t1647   o1644 b1646
6491  B       b2768   t2768  B       b1647   t1647
6492  T       t2769   o b2768 b4  T       t1648   o b1647 b4
6493  B       b2769   t2769  B       b1648   t1648
6494  T       t2770   o1918 b676 b1928 b2062 b2769  T       t1649   o1918 b676 b1928 b2062 b1648
6495  B       b2770   t2770  B       b1649   t1649
6496  T       t2771   o2763 b2770  T       t1650   o1642 b1649
6497  B       b2771   t2771  B       b1650   t1650
6498  P       p2771   Number 16525  P       p1650   Number 14498
6499  P       p2772   Number 17080  P       p1651   Number 15053
6500  O       o2772   location p2771 p2772  O       o1651   location p1650 p1651
6501  P       p2773   Number 16552  P       p1652   Number 14525
6502  P       p2774   Number 16560  P       p1653   Number 14533
6503  O       o2774   resource_defs p2773 p2774 p204  O       o1654   resource_defs p1652 p1653 p204
6504  P       p2775   Number 16558  P       p1654   Number 14531
6505  O       o2775   uid p2775 p2774  O       o1656   uid p1654 p1653
6506  T       t2775   o2775 b691  T       t1656   o1656 b691
6507  B       b2775   t2775  B       b1656   t1656
6508  T       t2776   o b2775 b4  T       t1657   o b1656 b4
6509  B       b2776   t2776  B       b1657   t1657
6510  T       t2777   o2774 b2776  T       t1658   o1654 b1657
6511  B       b2777   t2777  B       b1658   t1658
6512  T       t2778   o b2777 b4  T       t1659   o b1658 b4
6513  B       b2778   t2778  B       b1659   t1659
6514  T       t2779   o2071 b676 b2085 b169 b2778  T       t1661   o2071 b676 b2085 b169 b1659
6515  B       b2779   t2779  B       b1661   t1661
6516  T       t2780   o2772 b2779  T       t1662   o1651 b1661
6517  B       b2780   t2780  B       b1662   t1662
6518  P       p2780   Number 17082  P       p24     Number 15055
6519  P       p2781   Number 17637  P       p26     Number 16151
6520  O       o2781   location p2780 p2781  O       o26     location p24 p26
6521  P       p2782   Number 17109  P       p1662   String unique_inv_elim1
6522  P       p2783   Number 17117  O       o1662   rule p1662
6523  O       o2783   resource_defs p2782 p2783 p204  H       h1662   x t2072
6524  P       p2784   Number 17115  S       s1662   t679 h h1662 h1304
6525  O       o2784   uid p2784 p2783  G       s1662   t816
6526  T       t2784   o2784 b691  B       b1663   s1662
6527  B       b2784   t2784  T       t1663   o677 b1663
6528  T       t2785   o b2784 b4  B       b1664   t1663
6529  B       b2785   t2785  S       s1664   t679 h h1662 h1304
6530  T       t2786   o2783 b2785  G       s1664   t718
6531  B       b2786   t2786  B       b1665   s1664
6532  T       t2787   o b2786 b4  T       t1665   o677 b1665
6533  B       b2787   t2787  B       b1666   t1665
6534  T       t2788   o2128 b676 b2139 b2173 b2787  S       s1666   t679 h h1662 h1304
6535  B       b2788   t2788  G       s1666   t760
6536  T       t2789   o2781 b2788  B       b1667   s1666
6537  B       b2789   t2789  T       t1667   o677 b1667
6538  P       p2789   Number 17688  B       b1668   t1667
6539  P       p2790   Number 18340  S       s1668   t679 h h1662 h1304
6540  O       o2790   location p2789 p2790  G       s1668   t681
6541  P       p2791   Number 17715  B       b1669   s1668
6542  P       p2792   Number 17723  T       t1669   o677 b1669
6543  O       o2792   resource_defs p2791 p2792 p204  B       b1670   t1669
6544  P       p2793   Number 17721  S       s1670   t684 h h1662 h1304
6545  O       o2793   uid p2793 p2792  G       s1670   t586
6546  T       t2793   o2793 b691  B       b1671   s1670
6547  B       b2793   t2793  T       t1671   o677 b1671
6548  T       t2794   o b2793 b4  B       b1672   t1671
6549  B       b2794   t2794  S       s1672   t684 h h1662 h1304
6550  T       t2795   o2792 b2794  G       s1672   t762
6551  B       b2795   t2795  B       b1673   s1672
6552  T       t2796   o b2795 b4  T       t1673   o677 b1673
6553  B       b2796   t2796  B       b1674   t1673
6554  T       t2797   o2182 b676 b2203 b2251 b2796  S       s1674   t684 h h1662 h1304
6555  B       b2797   t2797  G       s1674   t944
6556  T       t2798   o2790 b2797  B       b1675   s1674
6557  B       b2798   t2798  T       t1675   o677 b1675
6558  P       p2798   Number 18391  B       b1676   t1675
6559  P       p2799   Number 19043  S       s1676   t684 h h1662 h1304
6560  O       o2799   location p2798 p2799  G       s1676   t738
6561  P       p2800   Number 18418  B       b1677   s1676
6562  P       p2801   Number 18426  T       t1677   o677 b1677
6563  O       o2801   resource_defs p2800 p2801 p204  B       b1678   t1677
6564  P       p2802   Number 18424  H       h1678   y t2075
6565  O       o2802   uid p2802 p2801  S       s1678   t684 h h1662 h1304 h1678
6566  T       t2802   o2802 b691  G       s1678   t554
6567  B       b2802   t2802  B       b1679   s1678
6568  T       t2803   o b2802 b4  T       t1679   o677 b1679
6569  B       b2803   t2803  B       b1680   t1679
6570  T       t2804   o2801 b2803  S       s1680   t684 h h1662 h1304
6571  B       b2804   t2804  G       s1680   t554
6572  T       t2805   o b2804 b4  B       b1681   s1680
6573  B       b2805   t2805  T       t1681   o677 b1681
6574  T       t2806   o2260 b676 b2282 b208 b2805  B       b1682   t1681
6575  B       b2806   t2806  T       t1682   o676 b1680 b1682
6576  T       t2807   o2799 b2806  B       b1683   t1682
6577  B       b2807   t2807  T       t1683   o676 b1678 b1683
6578  P       p2807   Number 19071  B       b1684   t1683
6579  P       p2808   Number 19590  T       t1684   o676 b1676 b1684
6580  O       o2808   location p2807 p2808  B       b1685   t1684
6581  P       p2809   Number 19099  T       t1685   o676 b1674 b1685
6582  P       p2810   Number 19107  B       b1686   t1685
6583  O       o2810   resource_defs p2809 p2810 p204  T       t1686   o676 b1672 b1686
6584  P       p2811   Number 19105  B       b1687   t1686
6585  O       o2811   uid p2811 p2810  T       t1687   o676 b1670 b1687
6586  T       t2811   o2811 b691  B       b1688   t1687
6587  B       b2811   t2811  T       t1688   o676 b1668 b1688
6588  T       t2812   o b2811 b4  B       b1689   t1688
6589  B       b2812   t2812  T       t1689   o676 b1666 b1689
6590  T       t2813   o2810 b2812  B       b1690   t1689
6591  B       b2813   t2813  T       t1690   o676 b1664 b1690
6592  T       t2814   o b2813 b4  B       b1691   t1690
6593  B       b2814   t2814  P       p1691   String "assertT << equiv{car{'g}; 'R; 's2; inv{'g; 's}} >> ttca"
6594  T       t2815   o2355 b676 b2367 b241 b2814  O       o1691   ext_rule p1691
6595  B       b2815   t2815  T       t1691   o b1679 b4
6596  T       t2816   o2808 b2815  B       b1692   t1691
6597  B       b2816   t2816  T       t1692   o b1677 b1692
6598  P       p2816   Number 19612  B       b1693   t1692
6599  P       p2817   Number 19908  T       t1693   o b1675 b1693
6600  O       o2817   location p2816 p2817  B       b1694   t1693
6601  P       p2818   Number 19637  T       t1694   o b1673 b1694
6602  P       p2819   Number 19645  B       b1695   t1694
6603  O       o2819   resource_defs p2818 p2819 p204  T       t1695   o b1671 b1695
6604  P       p2820   Number 19643  B       b1696   t1695
6605  O       o2820   uid p2820 p2819  T       t1696   o b1669 b1696
6606  T       t2820   o2820 b691  B       b1697   t1696
6607  B       b2820   t2820  T       t1697   o b1667 b1697
6608  T       t2821   o b2820 b4  B       b1698   t1697
6609  B       b2821   t2821  T       t1698   o b1665 b1698
6610  T       t2822   o2819 b2821  B       b1700   t1698
6611  B       b2822   t2822  T       t1700   o b1663 b1700
6612  T       t2823   o b2822 b4  B       b1701   t1700
6613  B       b2823   t2823  T       t1701   o1095 b1681 b1701
6614  T       t2824   o2406 b676 b2412 b2429 b2823  B       b1702   t1701
6615  B       b2824   t2824  T       t1702   o1094 b1702 b4 b1104
6616  T       t2825   o2817 b2824  B       b1703   t1702
6617  B       b2825   t2825  T       t1703   o1093 b1703 b4
6618  P       p2825   Number 19930  B       b1704   t1703
6619  P       p2826   Number 20335  T       t1704   o1691 b1092 b1704 b4 b4
6620  O       o2826   location p2825 p2826  B       b1705   t1704
6621    T       t1705   o1090 b1705
6622    B       b1706   t1705
6623    P       p1706   Number 15087
6624    P       p1707   Number 15094
6625    O       o1707   resource_defs p1706 p1707 p176
6626    P       p1708   Number 15092
6627    O       o1708   uid p1708 p1707
6628    T       t1708   o1708 b691
6629    B       b1708   t1708
6630    T       t1709   o b1708 b4
6631    B       b1709   t1709
6632    T       t1710   o1707 b1709
6633    B       b1710   t1710
6634    T       t1711   o b1710 b4
6635    B       b1711   t1711
6636    T       t1712   o1662 b1302 b1691 b1706 b1711
6637    B       b1712   t1712
6638    T       t271    o26 b1712
6639    B       b271    t271
6640    P       p1713   Number 16153
6641    P       p1714   Number 16708
6642    O       o1714   location p1713 p1714
6643    P       p1715   Number 16180
6644    P       p1716   Number 16188
6645    O       o1716   resource_defs p1715 p1716 p204
6646    P       p1717   Number 16186
6647    O       o1717   uid p1717 p1716
6648    T       t1717   o1717 b691
6649    B       b1717   t1717
6650    T       t1718   o b1717 b4
6651    B       b1718   t1718
6652    T       t1719   o1716 b1718
6653    B       b1719   t1719
6654    T       t1720   o b1719 b4
6655    B       b1720   t1720
6656    T       t1721   o2128 b676 b2139 b2173 b1720
6657    B       b1721   t1721
6658    T       t1722   o1714 b1721
6659    B       b1722   t1722
6660    P       p1722   Number 16759
6661    P       p1723   Number 17411
6662    O       o1723   location p1722 p1723
6663    P       p1724   Number 16786
6664    P       p1725   Number 16794
6665    O       o1725   resource_defs p1724 p1725 p204
6666    P       p1726   Number 16792
6667    O       o1726   uid p1726 p1725
6668    T       t1726   o1726 b691
6669    B       b1726   t1726
6670    T       t1727   o b1726 b4
6671    B       b1727   t1727
6672    T       t1728   o1725 b1727
6673    B       b1728   t1728
6674    T       t1729   o b1728 b4
6675    B       b1729   t1729
6676    T       t1730   o2182 b676 b2203 b2251 b1729
6677    B       b1730   t1730
6678    T       t1731   o1723 b1730
6679    B       b1731   t1731
6680    P       p1731   Number 17462
6681    P       p1732   Number 18114
6682    O       o1732   location p1731 p1732
6683    P       p1733   Number 17489
6684    P       p1734   Number 17497
6685    O       o1734   resource_defs p1733 p1734 p204
6686    P       p1735   Number 17495
6687    O       o1735   uid p1735 p1734
6688    T       t1735   o1735 b691
6689    B       b1735   t1735
6690    T       t1736   o b1735 b4
6691    B       b1736   t1736
6692    T       t1737   o1734 b1736
6693    B       b1737   t1737
6694    T       t1774   o b1737 b4
6695    B       b1792   t1774
6696    T       t1799   o2260 b676 b2282 b208 b1792
6697    B       b1911   t1799
6698    T       t1911   o1732 b1911
6699    B       b1912   t1911
6700    P       p1912   Number 18142
6701    P       p1913   Number 18661
6702    O       o1913   location p1912 p1913
6703    P       p1914   Number 18170
6704    P       p1915   Number 18178
6705    O       o1915   resource_defs p1914 p1915 p204
6706    P       p1916   Number 18176
6707    O       o1916   uid p1916 p1915
6708    T       t1916   o1916 b691
6709    B       b1916   t1916
6710    T       t1917   o b1916 b4
6711    B       b2064   t1917
6712    T       t2064   o1915 b2064
6713    B       b2065   t2064
6714    T       t2065   o b2065 b4
6715    B       b2066   t2065
6716    T       t2066   o2355 b676 b2367 b241 b2066
6717    B       b2067   t2066
6718    T       t2067   o1913 b2067
6719    B       b2068   t2067
6720    P       p2068   Number 18683
6721    P       p2069   Number 18979
6722    O       o2069   location p2068 p2069
6723    P       p2070   Number 18708
6724    P       p2072   Number 18716
6725    O       o2072   resource_defs p2070 p2072 p204
6726    P       p2073   Number 18714
6727    O       o2073   uid p2073 p2072
6728    T       t2114   o2073 b691
6729    B       b2121   t2114
6730    T       t2121   o b2121 b4
6731    B       b2122   t2121
6732    T       t2122   o2072 b2122
6733    B       b2123   t2122
6734    T       t2123   o b2123 b4
6735    B       b2124   t2123
6736    T       t2124   o2406 b676 b2412 b2429 b2124
6737    B       b2175   t2124
6738    T       t2175   o2069 b2175
6739    B       b2176   t2175
6740    P       p2176   Number 19001
6741    P       p2177   Number 19406
6742    O       o2177   location p2176 p2177
6743  P       p4      String id_commut1  P       p4      String id_commut1
6744  O       o8      rule p4  O       o8      rule p4
6745  T       t179    o596 b585 b604 b597  T       t179    o596 b585 b604 b597
# Line 6655  Line 6786 
6786  B       b712    t705  B       b712    t705
6787  T       t712    o1090 b712  T       t712    o1090 b712
6788  B       b713    t712  B       b713    t712
6789  P       p2827   Number 19956  P       p2178   Number 19027
6790  P       p2828   Number 19964  P       p2179   Number 19035
6791  O       o2828   resource_defs p2827 p2828 p204  O       o2179   resource_defs p2178 p2179 p204
6792  P       p2829   Number 19962  P       p2180   Number 19033
6793  O       o2829   uid p2829 p2828  O       o2180   uid p2180 p2179
6794  T       t2829   o2829 b691  T       t2180   o2180 b691
6795  B       b2829   t2829  B       b2180   t2180
6796  T       t2830   o b2829 b4  T       t2219   o b2180 b4
6797  B       b2830   t2830  B       b2253   t2219
6798  T       t2831   o2828 b2830  T       t2253   o2179 b2253
6799  B       b2831   t2831  B       b2254   t2253
6800  T       t2832   o b2831 b4  T       t2254   o b2254 b4
6801  B       b2832   t2832  B       b2255   t2254
6802  T       t2833   o8 b676 b644 b713 b2832  T       t2255   o8 b676 b644 b713 b2255
6803  B       b2833   t2833  B       b2256   t2255
6804  T       t2834   o2826 b2833  T       t2256   o2177 b2256
6805  B       b2834   t2834  B       b2257   t2256
6806  P       p2834   Number 20357  P       p2257   Number 19428
6807  P       p2835   Number 20762  P       p2258   Number 19833
6808  O       o2835   location p2834 p2835  O       o2258   location p2257 p2258
6809  P       p785    String id_commut2  P       p785    String id_commut2
6810  O       o785    rule p785  O       o785    rule p785
6811  T       t790    o761 b591 b759 b182 b179  T       t790    o761 b591 b759 b182 b179
# Line 6705  Line 6836 
6836  B       b870    t870  B       b870    t870
6837  T       t877    o1090 b870  T       t877    o1090 b870
6838  B       b877    t877  B       b877    t877
6839  P       p2836   Number 20383  P       p2259   Number 19454
6840  P       p2837   Number 20391  P       p2263   Number 19462
6841  O       o2837   resource_defs p2836 p2837 p204  O       o2263   resource_defs p2259 p2263 p204
6842  P       p2838   Number 20389  P       p2264   Number 19460
6843  O       o2838   uid p2838 p2837  O       o2264   uid p2264 p2263
6844  T       t2838   o2838 b691  T       t2307   o2264 b691
6845  B       b2838   t2838  B       b2309   t2307
6846  T       t2839   o b2838 b4  T       t2309   o b2309 b4
6847  B       b2839   t2839  B       b2310   t2309
6848  T       t2840   o2837 b2839  T       t2322   o2263 b2310
6849  B       b2840   t2840  B       b2348   t2322
6850  T       t2841   o b2840 b4  T       t2348   o b2348 b4
6851  B       b2841   t2841  B       b2349   t2348
6852  T       t2842   o785 b676 b850 b877 b2841  T       t2349   o785 b676 b850 b877 b2349
6853  B       b2842   t2842  B       b2350   t2349
6854  T       t2843   o2835 b2842  T       t2350   o2258 b2350
6855  B       b2843   t2843  B       b2351   t2350
6856  NSummary!id     id2436  id Summary  NSummary!id     id2436  id Summary
6857  P       p2436   Number 646427455  P       p2436   Number 646427455
6858  O       o2437   id2436 p2436  O       o2437   id2436 p2436
# Line 6731  Line 6862 
6862  B       b2438   t2438  B       b2438   t2438
6863  T       t2439   o b2438 b4  T       t2439   o b2438 b4
6864  B       b2439   t2439  B       b2439   t2439
6865  T       t2844   o b2843 b2439  T       t2351   o b2351 b2439
6866  B       b2844   t2844  B       b2399   t2351
6867  T       t2845   o b2834 b2844  T       t2399   o b2257 b2399
6868  B       b2845   t2845  B       b2400   t2399
6869  T       t2846   o b2825 b2845  T       t2400   o b2176 b2400
6870  B       b2846   t2846  B       b2401   t2400
6871  T       t2847   o b2816 b2846  T       t2401   o b2068 b2401
6872  B       b2847   t2847  B       b2402   t2401
6873  T       t2848   o b2807 b2847  T       t2402   o b1912 b2402
6874  B       b2848   t2848  B       b2431   t2402
6875  T       t2849   o b2798 b2848  T       t2431   o b1731 b2431
6876  B       b2849   t2849  B       b2432   t2431
6877  T       t2850   o b2789 b2849  T       t2432   o b1722 b2432
6878  B       b2850   t2850  B       b2433   t2432
6879  T       t2851   o b2780 b2850  T       t272    o b271 b2433
6880  B       b2851   t2851  B       b272    t272
6881  T       t2852   o b2771 b2851  T       t275    o b1662 b272
6882  B       b2852   t2852  B       b275    t275
6883  T       t2853   o b2762 b2852  T       t279    o b1650 b275
6884  B       b2853   t2853  B       b279    t279
6885  T       t2854   o b2753 b2853  T       t280    o b1641 b279
6886  B       b2854   t2854  B       b280    t280
6887  T       t2855   o b2695 b2854  T       t530    o b1628 b280
6888  B       b2855   t2855  B       b734    t530
6889  T       t2856   o b2636 b2855  T       t734    o b1066 b734
6890  B       b2856   t2856  B       b735    t734
6891  T       t2857   o b2634 b2856  T       t735    o b987 b735
6892  B       b2857   t2857  B       b919    t735
6893  T       t2858   o b2633 b2857  T       t919    o b978 b919
6894  B       b2858   t2858  B       b979    t919
6895  T       t2859   o b2624 b2858  T       t979    o b977 b979
6896  B       b2859   t2859  B       b988    t979
6897  T       t2860   o b2615 b2859  T       t988    o b962 b988
6898  B       b2860   t2860  B       b989    t988
6899  T       t2861   o b2578 b2860  T       t989    o b912 b989
6900  B       b2861   t2861  B       b990    t989
6901  T       t2862   o b2500 b2861  T       t990    o b727 b990
6902  B       b2862   t2862  B       b993    t990
6903  T       t2863   o b501 b2862  T       t993    o b249 b993
6904  B       b2863   t2863  B       b994    t993
6905  T       t2864   o b474 b2863  T       t994    o b501 b994
6906  B       b2864   t2864  B       b1001   t994
6907  T       t2865   o b447 b2864  T       t1001   o b474 b1001
6908  B       b2865   t2865  B       b1002   t1001
6909  T       t2866   o b421 b2865  T       t1002   o b447 b1002
6910  B       b2866   t2866  B       b1003   t1002
6911  T       t2867   o b267 b2866  T       t1003   o b421 b1003
6912  B       b2867   t2867  B       b1004   t1003
6913  T       t2868   o b961 b2867  T       t1004   o b267 b1004
6914  B       b2868   t2868  B       b1005   t1004
6915  T       t2869   o b942 b2868  T       t1005   o b961 b1005
6916  B       b2869   t2869  B       b1006   t1005
6917  T       t2870   o b930 b2869  T       t1006   o b942 b1006
6918  B       b2870   t2870  B       b1007   t1006
6919  T       t2871   o b918 b2870  T       t1007   o b930 b1007
6920  B       b2871   t2871  B       b1008   t1007
6921  T       t2872   o b898 b2871  T       t1008   o b918 b1008
6922  B       b2872   t2872  B       b1033   t1008
6923  T       t2873   o b876 b2872  T       t1033   o b898 b1033
6924  B       b2873   t2873  B       b1034   t1033
6925  T       t2874   o b863 b2873  T       t1034   o b876 b1034
6926  B       b2874   t2874  B       b1035   t1034
6927  T       t2875   o b849 b2874  T       t1035   o b863 b1035
6928  B       b2875   t2875  B       b1067   t1035
6929  T       t2876   o b833 b2875  T       t1067   o b849 b1067
6930  B       b2876   t2876  B       b1068   t1067
6931  T       t2877   o b812 b2876  T       t1068   o b833 b1068
6932  B       b2877   t2877  B       b1069   t1068
6933  T       t2878   o b789 b2877  T       t1069   o b812 b1069
6934  B       b2878   t2878  B       b1094   t1069
6935  T       t2879   o b753 b2878  T       t1094   o b789 b1094
6936  B       b2879   t2879  B       b1107   t1094
6937  T       t2880   o b733 b2879  T       t1107   o b753 b1107
6938  B       b2880   t2880  B       b1110   t1107
6939  T       t2881   o b711 b2880  T       t1122   o b733 b1110
6940  B       b2881   t2881  B       b1295   t1122
6941  T       t2882   o b697 b2881  T       t1295   o b711 b1295
6942  B       b2882   t2882  B       b1296   t1295
6943  T       t2883   o b672 b2882  T       t1296   o b697 b1296
6944  B       b2883   t2883  B       b1297   t1296
6945  T       t2884   o b662 b2883  T       t1297   o b672 b1297
6946  B       b2884   t2884  B       b1299   t1297
6947  T       t2885   o b642 b2884  T       t1299   o b662 b1299
6948  B       b2885   t2885  B       b1303   t1299
6949  T       t2886   o b635 b2885  T       t1309   o b642 b1303
6950  B       b2886   t2886  B       b1629   t1309
6951  T       t2887   o b625 b2886  T       t1629   o b635 b1629
6952  B       b2887   t2887  B       b1630   t1629
6953  T       t2888   o b614 b2887  T       t1630   o b625 b1630
6954  B       b2888   t2888  B       b1631   t1630
6955  T       t2889   o b611 b2888  T       t1631   o b614 b1631
6956  B       b2889   t2889  B       b1642   t1631
6957  T       t2890   o b606 b2889  T       t1642   o b611 b1642
6958  B       b2890   t2890  B       b1643   t1642
6959  T       t2891   o b601 b2890  T       t1643   o b606 b1643
6960  B       b2891   t2891  B       b1644   t1643
6961  T       t2892   o b593 b2891  T       t1644   o b601 b1644
6962  B       b2892   t2892  B       b1651   t1644
6963  T       t2893   o b588 b2892  T       t1651   o b593 b1651
6964  B       b2893   t2893  B       b1652   t1651
6965  T       t2894   o b581 b2893  T       t1652   o b588 b1652
6966  B       b2894   t2894  B       b1654   t1652
6967  T       t2895   o b574 b2894  T       t1654   o b581 b1654
6968  B       b2895   t2895  B       b1707   t1654
6969  T       t2896   o b567 b2895  T       t1707   o b574 b1707
6970  B       b2896   t2896  B       b1714   t1707
6971  T       t2897   o b560 b2896  T       t1714   o b567 b1714
6972  B       b2897   t2897  B       b1715   t1714
6973  T       t2898   o b553 b2897  T       t1715   o b560 b1715
6974  B       b2898   t2898  B       b1716   t1715
6975  T       t2899   o b545 b2898  T       t1716   o b553 b1716
6976  B       b2899   t2899  B       b1723   t1716
6977  T       t2900   o b537 b2899  T       t1723   o b545 b1723
6978  B       b2900   t2900  B       b1724   t1723
6979  T       t2901   o b529 b2900  T       t1724   o b537 b1724
6980  B       b2901   t2901  B       b1725   t1724
6981  T       t2902   o b522 b2901  T       t1725   o b529 b1725
6982  B       b2902   t2902  B       b1732   t1725
6983  T       t2903   o b515 b2902  T       t1732   o b522 b1732
6984  B       b2903   t2903  B       b1733   t1732
6985  T       t2904   o b508 b2903  T       t1733   o b515 b1733
6986  B       b2904   t2904  B       b1734   t1733
6987  T       t2905   o b499 b2904  T       t1734   o b508 b1734
6988  B       b2905   t2905  B       b1913   t1734
6989  T       t2906   o b490 b2905  T       t1913   o b499 b1913
6990  B       b2906   t2906  B       b1914   t1913
6991  T       t2907   o b481 b2906  T       t1914   o b490 b1914
6992  B       b2907   t2907  B       b1915   t1914
6993  T       t2908   o b472 b2907  T       t1915   o b481 b1915
6994  B       b2908   t2908  B       b2069   t1915
6995  T       t2909   o b463 b2908  T       t2069   o b472 b2069
6996  B       b2909   t2909  B       b2177   t2069
6997  T       t2910   o b454 b2909  T       t2177   o b463 b2177
6998  B       b2910   t2910  B       b2178   t2177
6999  T       t2911   o b445 b2910  T       t2178   o b454 b2178
7000  B       b2911   t2911  B       b2179   t2178
7001  T       t2912   o b435 b2911  T       t2179   o b445 b2179
7002  B       b2912   t2912  B       b2258   t2179
7003  T       t2913   o b428 b2912  T       t2258   o b435 b2258
7004  B       b2913   t2913  B       b2297   t2258
7005  T       t2914   o b420 b2913  T       t2308   o b428 b2297
7006  B       b2914   t2914  B       b2312   t2308
7007  T       t2915   o b399 b2914  T       t2323   o b420 b2312
7008  B       b2915   t2915  B       b2495   t2323
7009  T       t2916   o b393 b2915  T       t2495   o b399 b2495
7010  B       b2916   t2916  B       b2496   t2495
7011  T       t2917   o b378 b2916  T       t2496   o b393 b2496
7012  B       b2917   t2917  B       b2497   t2496
7013  T       t2918   o b376 b2917  T       t2497   o b378 b2497
7014  B       b2918   t2918  B       b2498   t2497
7015  T       t2919   o b367 b2918  T       t2498   o b376 b2498
7016  B       b2919   t2919  B       b2499   t2498
7017  T       t2920   o b298 b2919  T       t2499   o b367 b2499
7018    B       b2500   t2499
7019    T       t2500   o b298 b2500

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

  ViewVC Help
Powered by ViewVC 1.1.26