Summary: 
FJSizeLimits {classLimit = 1, methodPerClassLimit = 1, fieldPerClassLimit = 1, variablePerMethodLimit = 0, expressionPerMethodComplexityLimit = 4}
Number Programs: 542361
Number TC Programs: 675
Summary:
Num Safe Programs:437735
Passes: 437735