OriginalCompleteBefore	OriginalCompleteAfter	Before	After	Project	Commit	CompilationUnit	LineNos	Names	TemplateVariableToCodeBefore	RelevantImports	TemplateVariableToCodeAfter	isRelevant	isSafe
b=montReduce(b,mod,modLen,inv);	b=montReduce(t2,mod,modLen,(int)inv);	b=montReduce(b,mod,modLen,inv)	b=montReduce(t2,mod,modLen,(int)inv)	j2objc	5f2a72db3fa4566cd4d2beadf9d6c49ae4c7f350	java.math.BigInteger	_1 2585 _2 2872	_1 inv _2 inv	TCIVar inv v0 b		TCIVar inv v0 b	Uses	False