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