lower Carboniferous formation