lutin
LoopWeights
val interval : int -> int -> int -> int * int
val average : int -> int -> int -> int * int