(1 20)
(1 5 20)
(#f #f)
(#f #f #t)
#u