[8 [b c]] is a "function" that, when applied to a, firstly applies b to a then applies c to the ordered pair of that result and the original subject a.
In other words: *[[*[a b] a] c]
To do a reduction from line 30, we're going to need to make use of line 19, though, because after the first two steps:
*[a [8 [b c]]] =>
*[a [7 [[[7 [[0 1] b]] [0 1]] c]]] =>
*[*[a [[7 [[0 1] b]] [0 1]]] c] =>
we end up needing to know how to apply a formula whose left noun is a cell, not just an atom like we've been dealing with up until this point.