[]s0
 1 0!=0 
[lid1+sis.li 10!<0]s0
 1dsis.li 10!<0 
[ 1 0<0]s0
 1 0<0 
q