: read-job-time ( -- duration )
duration new
2 read le> >>hour
- 2 read le> dup 59 [0,b] member? [ bad-tga-timestamp ] unless >>minute
- 2 read le> dup 59 [0,b] member? [ bad-tga-timestamp ] unless >>second ; inline
+ 2 read le> dup 59 [0..b] member? [ bad-tga-timestamp ] unless >>minute
+ 2 read le> dup 59 [0..b] member? [ bad-tga-timestamp ] unless >>second ; inline
: read-software-id ( -- string )
41 read ascii decode [ 0 = ] trim ; inline
<PRIVATE
: source-023 ( -- seq )
- 46 [1,b] 47 20161 2 <range> append ;
+ 46 [1..b] 47 20161 2 <range> append ;
: abundants-upto ( n -- seq )
- [1,b] [ abundant? ] filter ;
+ [1..b] [ abundant? ] filter ;
: possible-sums ( seq -- seq )
HS{ } clone