Ridge Line Energy’s positive circuit on the first day of trading, what was the share price?