% 25-point czinch.
design_size := 24.8832;
input b-czinch;