((abc eax ecx edx s0 s1)
 (eax abc ebx ecx edi edx esi s0 s1)
 (ebx eax ecx edi edx esi s1)
 (ecx abc eax ebx edi edx esi s0 s1)
 (edi eax ebx ecx edx esi)
 (edx abc eax ebx ecx edi esi s0 s1)
 (esi eax ebx ecx edi edx)
 (s0 abc eax ecx edx s1)
 (s1 abc eax ebx ecx edx s0))
((abc ebx) (s0 edi) (s1 esi))
