Fixed bug (missing restriction matrix of B3 in A6).