Main = . A = C. B : C | D. C = E H. D = F . E = . G = H H. H = . I = J K . J = . K = .