simplify `((λ () e))` ==> `e`
increase memory + time limit
document hack to run try-scpcf locally
hack result list
hack path permissions + document