Index of /rpa-output/logic/weighing

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      balance.p               06-Sep-1994 10:48  477   
      balance.s               06-Sep-1994 10:48  2.8K  
      box.p                   06-Sep-1994 10:48  242   
      box.s                   06-Sep-1994 10:48  305   
      find.median.p           06-Sep-1994 10:48  145   
      find.median.s           06-Sep-1994 10:48  1.5K  
      gummy.bears.p           06-Sep-1994 10:48  385   
      gummy.bears.s           06-Sep-1994 10:48  2.4K  
      optimal.weights.p       06-Sep-1994 10:48  176   
      optimal.weights.s       06-Sep-1994 10:48  2.5K  
      weighings.p             06-Sep-1994 10:48  1.0K  
      weighings.s             06-Sep-1994 10:48   10K