../ full-accumulator.rs 24-Jul-2006 01:21 1761 proof-update.rs 24-Jul-2006 01:21 4596 simple-stump-update.rs 24-Jul-2006 01:21 2230