User blog:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)

Hi. I am studying the strength and the termination of pair sequence system, and I need your help!

Could you tell me the pair sequences of standard form corresponding to the following ordinals?
 * 1) \(\psi_0(\psi_1(\psi_2(\psi_3(0))))\)
 * 2) \(\psi_0(\psi_1(\psi_2(\psi_3(\psi_4(0))))\)
 * 3) \(\psi_0(\psi_3(0))\)
 * 4) \(\psi_0(\psi_4(0))\)
 * 5) \(\psi_0(\psi_3(\psi_2(0)))\)
 * 6) \(\psi_0(\psi_3(\psi_2(\psi_3(\psi_2(0)))))\)
 * 7) \(\psi_0(\psi_3(\psi_3(0)))\)
 * 8) \(\psi_0(\psi_3(0)+\psi_2(\psi_3(0)))\)

Here, \(\psi_n\) denotes Buchholz's OCF. (I know that I listed up the same ordinal more than one time.) Since they are smaller than BHO, they are strongly believed to be uniquely presentable by pair sequences. Please tell me if you know the answer of one above.

Thank you!