r { lst fn ;t;n t { Lcr fn n { 1YRt r { ((n,1)R'['),(B(n,1)R((In)-I1)),((n,4)R' ] '),t