Version 0.184

Changed prestige proof formula to an explicit formula, moved update
function into global namespace