Summary: FJSizeLimits {classLimit = 1, methodPerClassLimit = 1, fieldPerClassLimit = 1, variablePerMethodLimit = 0, expressionPerMethodComplexityLimit = 3} Number Programs: 62025 Number TC Programs: 186 Summary: Num Safe Programs:50037 Passes: 50037