for $i (0..1) {
  for $j ($i+1..3) {
    for $k ($j+1..5) {
      for $l ($k+1..7) {