%query 24 * (sqnt rnil rnil rnil rnil (^ (perm l4 L))).
%query 6 * (sqnt rnil rnil rnil rnil (^ (perm l3 L))).

%query 1 * (sqnt rnil rnil rnil rnil (^ (rev l4 L))).

%query 1 * (sqnt rnil rnil rnil rnil (^ (id l4 L))).

%query 1 * (sqnt rnil rnil rnil rnil (^ (idl l4 L))).
