add 4.2
set default-random-source
add 4.2
add thunk
solve q4.55