Handwritten Reference Implementations

This folder contains handwritten assembly that has been replaced by verified implementations. The code here is not used directly, but may be helpful in cross-referencing to understand the verified code.