GAMS code from DICE2007 used to verify webDICE Output