Generate programs and inputs, save them to files with json files indicating what inputs to use
Generate programs and inputs, save them to files with json files indicating what inputs to use

lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift