(** Authored routines. HD1 supplies one. *) val ideal : Prescription.Routine.t (** HD1's Ideal Routine, reproduced from "The Routine": three days, each superset a pre-exhaust pair, each "or" list a permitted substitute, 6-10 reps throughout. *)