If I understand the conversion of US oz to Imperial oz correctly your mix will be 25:1
US Pint = 16 oz US Gallon = 128 oz
The basic formula would be to divide your pint oz by 3 and then your gallon oz by the previous result; unless you need to convert to liters which would involve a little more math.
