:: (euler073) ( limit lo hi -- )
    lo hi mediant dup denominator limit <= [
        [ , ]
        [ [ limit lo ] dip (euler073) ]
        [ [ limit ] dip hi (euler073) ]
        tri
    ] when ;