run FatSeal make simple ./fatseal We give a screenshot of our timing result in fatseal_timing_screenshot.png.