rigor-optimization


permalink to the latest
1.04SHA-1: 481cbb5667e1a36961230b11b004d0351d9b8e6d, SHA-256: 2b734e89a143ce90db4600b1eb2174c891be57af91e15694a4aa3f3a81a189e2
1.02SHA-1: 647d91ea2f1010981d3dacf2df56e07d8f6ba251, SHA-256: d92474c8dc7db632769e08ee6c1835bf36f087101b04d82e9e0199ade2f65855