((eax ebx ecx edi edx esi s2 s3)
 (ebx eax ecx edi edx esi)
 (ecx eax ebx edi edx esi s2 s3)
 (edi eax ebx ecx edx esi)
 (edx eax ebx ecx edi esi s2 s3)
 (esi eax ebx ecx edi edx)
 (s0 s1 s2 s3)
 (s1 s0 s2 s3)
 (s2 eax ecx edx s0 s1 s3)
 (s3 eax ecx edx s0 s1 s2))
((s0 edi) (s1 eax) (s2 ebx) (s3 esi))
