Adding example proof signatures for LFSC.