Tiva C launchpad help!!!

Hi everyone, 

     I'm a beginner and I hope to get some help from the community. Please excuse me if I ask silly questions!     

     I'm doing a control project and according to plan, I will use up to 37 pins on my Tiva board!  The problem is that I cannot find the pins' number for  TCK TMS TDO TDI EXT TDX RXD on the left side of the reset button. Withthout now what numbers they have, ie: pin 1, pin 2,...pin n, I can not set up them correctly in Energia. I have searched several hours online and cannot find the answer.

Please help! Thank you very much!