ack/util/opt/patterns

/* $Header$ */
loc adi loc sbi $2==w && $4==w: loc $1-$3 adi w
ldc adi ldc sbi $2==2*w && $4==2*w:     ldc $1-$3 adi 2*w
loc adi loc adi $2==w && $4==w: loc $1+$3 adi w
ldc adi ldc adi $2==2*w && $4==2*w:     ldc $1+$3 adi 2*w
adp $1==0:
adp adp :       adp $1+$2
adp lof :       lof $1+$2
adp ldf :       ldf $1+$2
adp loi $1!=0 && $2==w: lof $1
adp loi $1!=0 && $2==2*w:       ldf $1
adp stf :       stf $1+$2
adp sdf :       sdf $1+$2
adp sti $1!=0 && $2==w: stf $1
adp sti $1!=0 && $2==2*w:       sdf $1
asp $1==0:
asp asp :       asp $1+$2
blm $1==0 : asp 2*p
cmi zeq $1==w:  beq $2
cmi zge $1==w:  bge $2
cmi zgt $1==w:  bgt $2
cmi zle $1==w:  ble $2
cmi zlt $1==w:  blt $2
cmi zne $1==w:  bne $2
dvi ngi $1==$2: ngi $1  dvi $1
lae adp :       lae $1+$2
lae blm $2==w:  loi w   ste $1
lae blm $2==2*w:        loi 2*w sde $1
lae ldf :       lde $1+$2
lae lof :       loe $1+$2
lae loi $2==w:  loe $1
lae loi $2==2*w:        lde $1
#ifdef INT
lae loi loe $3==$1-w && $2%w==0:        lae $3  loi $2+w
lae loi lde $3==$1-2*w && $2%w==0:      lae $3  loi $2+2*w
lae loi lae loi $1==$3+$4 && $2%w==0 && $4%w==0:        lae $3  loi $2+$4
lae sti ste $3==$1+$2:  lae $1  sti $2+w
lae sti sde $3==$1+$2:  lae $1  sti $2+2*w
lae sti loc ste $4==$1-w:       loc $3  lae $4  sti $2+w
lae sti lol ste $4==$1-w:       lol $3  lae $4  sti $2+w
#endif
lae lae blm loe ste $4==$1+$3 && $5==$2+$3:     lae $1  lae $2  blm $3+w
lae lae blm lde sde $4==$1+$3 && $5==$2+$3:     lae $1  lae $2  blm $3+2*w
lae lae blm lae lae blm $4==$1+$3 && $5==$2+$3: lae $1  lae $2  blm $3+$6
lae lal blm lae lal blm $4==$1+$3 && $5==$2+$3 && samesign($2,$5):
	lae $1  lal $2  blm $3+$6
lal lae blm lal lae blm $4==$1+$3 && $5==$2+$3 && samesign($1,$4):
	lal $1  lae $2  blm $3+$6
lal lal blm lal lal blm $4==$1+$3 && $5==$2+$3 && samesign($1,$4) && samesign($2,$5):
	lal $1  lal $2  blm $3+$6
lal lal sbs $3==w && samesign($1,$2): loc $1-$2
lae sdf :       sde $1+$2
lae stf :       ste $1+$2
lae sti $2==w:  ste $1
lae sti $2==2*w:        sde $1
lal adp samesign($1,$1+$2):     lal $1+$2
lal blm $2==w:  loi w   stl $1
lal blm $2==2*w:        loi 2*w sdl $1
#ifdef INT
lal sti loc stl notreg($4) && $4==$1-w && samesign($1,$4):
	loc $3  lal $4  sti $2+w
lal sti loe stl notreg($4) && $4==$1-w && samesign($1,$4):
	loe $3  lal $4  sti $2+w
#endif
lal ldf samesign($1,$1+$2):     ldl $1+$2
lal lof samesign($1,$1+$2):     lol $1+$2
lal loi $2==w:  lol $1
lal loi $2==2*w:        ldl $1
#ifdef INT
lal loi lol notreg($3) && $3==$1-w && samesign($1,$3) && $2%w==0:
	lal $3  loi $2+w
lal loi ldl notreg($3) && $3==$1-2*w && samesign($1,$3) && $2%w==0:
	lal $3  loi $2+2*w
lal loi lal loi $1==$3+$4 && samesign($1,$3) && $2%w==0 && $4%w==0:
	lal $3  loi $2+$4
lal sti stl notreg($3) && $3==$1+$2 && samesign($1,$3): lal $1  sti $2+w
lal sti sdl notreg($3) && $3==$1+$2 && samesign($1,$3): lal $1  sti $2+2*w
#endif
lal sdf samesign($1,$1+$2):     sdl $1+$2
lal stf samesign($1,$1+$2):     stl $1+$2
lal sti $2==w:  stl $1
lal sti $2==2*w:        sdl $1
#ifdef INT
lde lde $2==$1-2*w:     lae $2  loi 4*w
lde loe $2==$1-w:       lae $2  loi 3*w
#endif
lde sde $2==$1:
lde sde lde sde $3==$1+2*w && $4==$2+2*w:       lae $1  lae $2  blm 4*w
#ifdef INT
ldl ldl $2==$1-2*w && notreg($1) && notreg($2) && samesign($1,$2):
	lal $2  loi 4*w
ldl lol $2==$1-w && notreg($1) && notreg($2) && samesign($1,$2):
	lal $2  loi 3*w
#endif
ldl sdl $1==$2:
lxa loi lxa sti $3==$1 && $4==$2:
lxa lof lxa stf $3==$1 && $4==$2:
lxa ldf lxa sdf $3==$1 && $4==$2:
lxa stf lxa lof $3==$1 && $4==$2:       dup w   lxa $1  stf $2
lxa sdf lxa ldf $3==$1 && $4==$2:       dup 2*w lxa $1  sdf $2
lxl lof lxl stf $3==$1 && $4==$2:
lxl ldf lxl sdf $3==$1 && $4==$2:
lxl stf lxl lof $3==$1 && $4==$2:       dup w   lxl $1  stf $2
lxl sdf lxl ldf $3==$1 && $4==$2:       dup 2*w lxl $1  sdf $2
lxa sti lxa loi $3==$1 && $4==$2 && $2%w==0:    dup $2  lxa $1  sti $2
loc adi $1==-1 && $2==w:        dec
loc dec sfit($1-1,8*w) :	loc $1-1
loc bgt $1==-1: zge $2
loc ble $1==-1: zlt $2
loc dvi $1==-1 && $2==w:        ngi w
ldc dvi $1==-1 && $2==2*w:      ngi 2*w
loc loe adi $1==-1 && $3==w:    loe $2  dec
loc loe mli $1==-1 && $3==w:    loe $2  ngi w
loc lol adi $1==-1 && $3==w:    lol $2  dec
loc mli $1==-1 && $2==w:        ngi w
ldc mli $1==-1 && $2==2*w:      ngi 2*w
loc sbi $1==-1 && $2==w:        inc
loc inc sfit($1+1,8*w) :	loc $1+1
loc adi $1==0 && $2==w:
ldc adi $1==0 && $2==2*w:
zer adi $1==$2:
loc beq $1==0:  zeq $2
loc bge $1==0:  zge $2
loc bgt $1==0:  zgt $2
loc ble $1==0:  zle $2
loc blt $1==0:  zlt $2
loc bne $1==0:  zne $2
loc cmi teq $1==0 && $2==w:     teq
loc cmi tge $1==0 && $2==w:     tge
loc cmi tgt $1==0 && $2==w:     tgt
loc cmi tle $1==0 && $2==w:     tle
loc cmi tlt $1==0 && $2==w:     tlt
loc cmi tne $1==0 && $2==w:     tne
loc ior $1==0 && $2==w:
ldc ior $1==0 && $2==2*w:
zer ior $1==$2:
loc ste $1==0:  zre $2
loc stl $1==0:  zrl $2
loc sbi $1==0 && $2==w:
ldc sbi $1==0 && $2==2*w:
zer sbi $1==$2:
loc xor $1==0 && $2==w:
ldc xor $1==0 && $2==2*w:
zer xor $1==$2:
loc adi $1==1 && $2==w: inc
loc bge $1==1:  zgt $2
loc blt $1==1:  zle $2
loc dvi $1==1 && $2==w:
ldc dvi $1==1 && $2==2*w:
loc loe adi $1==1 && $3==w:     loe $2  inc
loc loe mli $1==1 && $3==w:     loe $2
loc lol adi $1==1 && $3==w:     lol $2  inc
loc lol mli $1==1 && $3==w:     lol $2
loc mli $1==1 && $2==w:
loc sbi $1==1 && $2==w: dec
loc loe mli $3==w:      loe $2  loc $1  mli w
loc lol mli $3==w:      lol $2  loc $1  mli w
ldc lde mli $3==2*w:    lde $2  ldc $1  mli 2*w
ldc lde adi $3==2*w:    lde $2  ldc $1  adi 2*w
ldc ldl mli $3==2*w:    ldl $2  ldc $1  mli 2*w
ldc ldl adi $3==2*w:    ldl $2  ldc $1  adi 2*w
loc mli $1==2 && $2==w: 	loc 1   sli w
loc mli $1==4 && $2==w: 	loc 2   sli w
loc mli $1==8 && $2==w: 	loc 3   sli w
loc mli $1==16 && $2==w:        loc 4   sli w
loc mli $1==32 && $2==w:        loc 5   sli w
loc mli $1==64 && $2==w:        loc 6   sli w
loc mli $1==128 && $2==w:       loc 7   sli w
loc mli $1==256 && $2==w:       loc 8   sli w
loc adi !defined($2):   adi $1
loc sbi !defined($2):   sbi $1
loc mli !defined($2):   mli $1
loc dvi !defined($2):   dvi $1
loc rmi !defined($2):   rmi $1
loc ngi !defined($2):   ngi $1
loc sli !defined($2):   sli $1
loc sri !defined($2):   sri $1
loc adu !defined($2):   adu $1
loc sbu !defined($2):   sbu $1
loc mlu !defined($2):   mlu $1
loc dvu !defined($2):   dvu $1
loc rmu !defined($2):   rmu $1
loc slu !defined($2):   slu $1
loc sru !defined($2):   sru $1
loc adf !defined($2):   adf $1
loc sbf !defined($2):   sbf $1
loc mlf !defined($2):   mlf $1
loc dvf !defined($2):   dvf $1
loc ngf !defined($2):   ngf $1
loc fif !defined($2):   fif $1
loc fef !defined($2):   fef $1
loc zer !defined($2):   zer $1
loc zrf !defined($2):   zrf $1
loc los $2==w:	loi $1
loc sts $2==w:	sti $1
loc ads $2==w:	adp $1
loc ass $2==w:	asp $1
loc bls $2==w:	blm $1
loc dus $2==w:	dup $1
loc loc cii $1==$2:
loc loc cuu $1==$2:
loc loc cff $1==$2:
loc and !defined($2):   and $1
loc ior !defined($2):   ior $1
loc xor !defined($2):   xor $1
loc com !defined($2):   com $1
loc rol !defined($2):   rol $1
loc rol $1==0:
loc ror !defined($2):   ror $1
loc ror $1==0:
loc inn !defined($2):   inn $1
loc set !defined($2):   set $1
loc cmi !defined($2):   cmi $1
loc cmu !defined($2):   cmu $1
loc cmf !defined($2):   cmf $1
loe dec ste $1==$3:     dee $1
loe inc ste $1==$3:     ine $1
loe loc mli $2==0 && $3==w:     loc 0
#ifdef INT
loe loe $2==$1-w:       lde $2
loe loe beq $2==$1+w:   lde $1  beq $3
loe loe bge $2==$1+w:   lde $1  ble $3
loe loe bgt $2==$1+w:   lde $1  blt $3
loe loe ble $2==$1+w:   lde $1  bge $3
loe loe blt $2==$1+w:   lde $1  bgt $3
loe loe bne $2==$1+w:   lde $1  bne $3
loe loe cmi $2==$1+w && $3==w:  lde $1  cmi w   ngi w
#endif
ngi teq $1==w:  teq
ngi tge $1==w:  tle
ngi tgt $1==w:  tlt
ngi tle $1==w:  tge
ngi tlt $1==w:  tgt
ngi tne $1==w:  tne
#ifdef INT
loe loe mli $2==$1+w && $3==w:  lde $1  mli w
loe loe adi $2==$1+w && $3==w:  lde $1  adi w
loe loe $1==$2: loe $1  dup w
#endif
loe ste $1==$2:
LLP blm $2==w:  loi w   sil $1
lol dec stl $1==$3:     del $1
lol inc stl $1==$3:     inl $1
lol loc mli $2==0 && $3==w:     loc 0
LLP loi $2==w:  lil $1
#ifdef INT
lol lol $2==$1-w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $2
lol lol beq $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  beq $3
lol lol bge $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  ble $3
lol lol bgt $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  blt $3
lol lol ble $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  bge $3
lol lol blt $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  bgt $3
lol lol bne $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  bne $3
lol lol cmi $3==w && $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  cmi w   ngi w
lol lol mli $3==w && $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  mli w
lol lol adi $3==w && $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):
	ldl $1  adi w
lol lol $1==$2: lol $1  dup w
#endif
lol stl $1==$2:
LLP sti $2==w:  sil $1
mli ngi $1==$2: ngi $1  mli $1
ngi adi $1==$2: sbi $1
ngf adf $1==$2: sbf $1
ngi sbi $1==$2: adi $1
ngf sbf $1==$2: adf $1
ngi ngi $1==$2:
ngf ngf $1==$2:
#ifdef INT
sde sde $2==$1+2*w:     lae $1  sti 4*w
sde ste $2==$1+2*w:     lae $1  sti 3*w
sde loc ste $3==$1-w:   loc $2  lae $3  sti 3*w
sde lol ste $3==$1-w:   lol $2  lae $3  sti 3*w
sde lde $1==$2: dup 2*w sde $1
#endif
sdf $1==0:      sti 2*w
#ifdef INT
sdl sdl $2==$1+2*w && notreg($1) && notreg($2) && samesign($1,$2):
	lal $1  sti 4*w
sdl stl $2==$1+2*w && notreg($1) && notreg($2) && samesign($1,$2):
	lal $1  sti 3*w
sdl loc stl $3==$1-w && notreg($1) && notreg($3) && samesign($1,$3):
	loc $2  lal $3  sti 3*w
sdl loe stl $3==$1-w && notreg($1) && notreg($3) && samesign($1,$3):
	loe $2  lal $3  sti 3*w
sdl ldl $1==$2: dup 2*w sdl $1
ste loe $1==$2: dup w   ste $1
ste ste $2==$1-w:       sde $2
ste loc ste $3==$1-w:   loc $2  sde $3
ste lol ste $3==$1-w:   lol $2  sde $3
stl lol $1==$2: dup w   stl $1
#endif
stf $1==0: sti w
sdl ldl ret $1==$2 && $3==2*w:  ret 2*w
#ifdef INT
stl stl $2==$1+w && notreg($1) && notreg($2) && samesign($1,$2):        sdl $1
stl loc stl $3==$1-w && notreg($1) && notreg($3) && samesign($1,$3):
	loc $2  sdl $3
stl loe stl $3==$1-w && notreg($1) && notreg($3) && samesign($1,$3):
	loe $2  sdl $3
#endif
stl lol ret $1==$2 && $3==w:    ret w
lal sti lal loi ret $1==$3 && $2==$4 && $2==$5:	ret $2
loc sbi loc sbi $2==w && $4==w: loc $1+$3 sbi w
ldc sbi ldc sbi $2==2*w && $4==2*w:     ldc $1+$3 sbi 2*w
loc sbi loc adi $2==w && $4==w: loc $1-$3 sbi w
ldc sbi ldc adi $2==2*w && $4==2*w:     ldc $1-$3 sbi 2*w
teq teq :       tne
teq tne :       teq
teq zne :       zeq $2
teq zeq :       zne $2
tge teq :       tlt
tge tne :       tge
tge zeq :       zlt $2
tge zne :       zge $2
tgt teq :       tle
tgt tne :       tgt
tgt zeq :       zle $2
tgt zne :       zgt $2
tle teq :       tgt
tle tne :       tle
tle zeq :       zgt $2
tle zne :       zle $2
tlt teq :       tge
tlt tne :       tlt
tlt zeq :       zge $2
tlt zne :       zlt $2
tne teq :       teq
tne tne :       tne
tne zeq :       zeq $2
tne zne :       zne $2
#ifdef INT
loc loc loc $1==0 && $2==0 && $3==0 :    zer 6
zer loc defined($1) && $2==0:   zer $1+w
#endif
loi loc and $1==1 && $3==w && ($2&255)==255:    loi 1
loi loc loc cii $1<w && $2==w: loi $1 loc $2 loc $3 cuu
cmp teq :       cms p   teq
cmp tne :       cms p   tne
cmu teq defined($1):    cms $1  teq
cmu tne defined($1):    cms $1  tne
cms zeq $1==w:  beq $2
cms zne $1==w:  bne $2
lol lae aar adp $3==w:  adp $4  lol $1  lae $2  aar w
loe lae aar adp $3==w:  adp $4  loe $1  lae $2  aar w
cmi zeq defined($1):    cms $1  zeq $2
cmi zne defined($1):    cms $1  zne $2
loe inc dup ste $1==$4 && $3==w:        ine $1  loe $1
loe dec dup ste $1==$4 && $3==w:        dee $1  loe $1
lol inc dup stl $1==$4 && $3==w:        inl $1  lol $1
lol dec dup stl $1==$4 && $3==w:        del $1  lol $1
adp dup SEP adp $1==-$4 && $2==p:       dup p   adp $1   SEP $3
adp dup SLP adp $1==-$4 && $2==p:       dup p   adp $1   SLP $3
inc dup ste dec $2==w:  dup w   inc     ste $3
inc dup stl dec $2==w:  dup w   inc     stl $3
zeq bra lab $1==$3:     zne $2  lab $1
zge bra lab $1==$3:     zlt $2  lab $1
zgt bra lab $1==$3:     zle $2  lab $1
zlt bra lab $1==$3:     zge $2  lab $1
zle bra lab $1==$3:     zgt $2  lab $1
zne bra lab $1==$3:     zeq $2  lab $1
beq bra lab $1==$3:     bne $2  lab $1
bge bra lab $1==$3:     blt $2  lab $1
bgt bra lab $1==$3:     ble $2  lab $1
blt bra lab $1==$3:     bge $2  lab $1
ble bra lab $1==$3:     bgt $2  lab $1
bne bra lab $1==$3:     beq $2  lab $1
lin lin :       lin $2
lin lab lin :   lab $2  lin $3
lin ret :       ret $2
lin bra :       bra $2
dup SLP loi $1==p && $3==w:     SLP $2  lil $2
dup SLP sti $1==p && $3==w:     SLP $2  sil $2
loc cms $1==0 && $2==w: tne
zer $1==w: loc 0
loc loc adi $3==w && sfit($1+$2,8*w) : loc $1+$2
loc loc sbi $3==w && sfit($1-$2,8*w) : loc $1-$2
loc loc mli $3==w && sfit($1*$2,8*w) : loc $1*$2
loc loc dvi $3==w && $2!=0 : loc $1/$2
loc loc and $3==w :	loc $1&$2
loc loc ior $3==w :	loc $1|$2
loc loc ior $1==0 && $2==0 && $3==2*w :	
loc loc xor $3==w :	loc $1^$2
loc loc xor $1==0 && $2==0 && $3==2*w :	
loc loc rol $3==w :	loc rotate($1,$2)
loc loc ror $3==w :	loc rotate($1,8*w-$2)
loc ngi $2==w && sfit(-$1,8*w) : loc -$1
loc com $2==w :	loc ~$1
ldc ngi $2==2*w : ldc -$1
loc lae aar $3==w && $1>=rom(2,0) && $1 <= rom(2,0)+rom(2,1) :
	adp ($1-rom(2,0))*rom(2,2)
loc lae lar $3==w && $1>=rom(2,0) && $1 <= rom(2,0)+rom(2,1) :
	adp ($1-rom(2,0))*rom(2,2) loi rom(2,2)
loc lae sar $3==w && $1>=rom(2,0) && $1 <= rom(2,0)+rom(2,1) :
	adp ($1-rom(2,0))*rom(2,2) sti rom(2,2)
loc teq : loc $1==0
loc tne : loc $1!=0
loc tge : loc $1>=0
loc tle : loc $1<=0
loc tgt : loc $1>0
loc tlt : loc $1<0
loc zeq $1==0 : bra $2
loc zeq :
loc zne $1!=0 : bra $2
loc zne :
loc zge $1>=0 : bra $2
loc zge :
loc zle $1<=0 : bra $2
loc zle :
loc zgt $1>0 : bra $2
loc zgt :
loc zlt $1<0 : bra $2
loc zlt :
loc loc beq $1==$2 : bra $3
loc loc beq :
loc loc bne $1!=$2 : bra $3
loc loc bne :
loc loc bge $1>=$2 : bra $3
loc loc bge :
loc loc ble $1<=$2 : bra $3
loc loc ble :
loc loc bgt $1>$2 : bra $3
loc loc bgt :
loc loc blt $1<$2 : bra $3
loc loc blt :
lae loi lal sti $2==$4 && $2>4*w : lae $1 lal $3 blm $2
lal loi lae sti $2==$4 && $2>4*w : lal $1 lae $3 blm $2
lal loi lal sti $2==$4 && $2>4*w && ( $3<=$1-$2 || $3>=$1+$2 ) :
	lal $1 lal $3 blm $2
lae loi lae sti $2==$4 && $2>4*w && ( !defined($1==$3) || $3<=$1-$2 || $3>=$1+$2 ) :
	lae $1 lae $3 blm $2
loc loc loc cif $1==0 && $2==w :	zrf $3
loc loc loc ciu $1>=0 && $2==w && $3==2*w :	ldc $1
loc loc loc cii $2==w && $3==2*w :	ldc $1
loi loc inn $1==$3 && $2>=0 && $2<$1*8 : 
	lof ($2/(8*w))*w loc $2&(8*w-1) inn w
ldl loc inn $3==2*w && $2>=0 && $2<16*w : 
	lol $1+($2/(8*w))*w loc $2&(8*w-1) inn w
lde loc inn $3==2*w && $2>=0 && $2<16*w : 
	loe $1+($2/(8*w))*w loc $2&(8*w-1) inn w
ldf loc inn $3==2*w && $2>=0 && $2<16*w : 
	lof $1+($2/(8*w))*w loc $2&(8*w-1) inn w
loc inn $1<0 || $1>=8*$2 : asp $2 loc 0
lol loc adi stl $3==w && $1==$4 : loc $2 lol $1 adi w stl $4
lol loe adi stl $3==w && $1==$4 : loe $2 lol $1 adi w stl $4
lol lol adi stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 adi w stl $4
loe loc adi ste $3==w && $1==$4 : loc $2 loe $1 adi w ste $4
loe loe adi ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 adi w ste $4
loe lol adi ste $3==w && $1==$4 : lol $2 loe $1 adi w ste $4
lol loc ior stl $3==w && $1==$4 : loc $2 lol $1 ior w stl $4
lol loe ior stl $3==w && $1==$4 : loe $2 lol $1 ior w stl $4
lol lol ior stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 ior w stl $4
loe loc ior ste $3==w && $1==$4 : loc $2 loe $1 ior w ste $4
loe loe ior ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 ior w ste $4
loe lol ior ste $3==w && $1==$4 : lol $2 loe $1 ior w ste $4
lol loc and stl $3==w && $1==$4 : loc $2 lol $1 and w stl $4
lol loe and stl $3==w && $1==$4 : loe $2 lol $1 and w stl $4
lol lol and stl $3==w && $1==$4 && $1!=$2 : lol $2 lol $1 and w stl $4
loe loc and ste $3==w && $1==$4 : loc $2 loe $1 and w ste $4
loe loe and ste $3==w && $1==$4 && $1!=$2 : loe $2 loe $1 and w ste $4
loe lol and ste $3==w && $1==$4 : lol $2 loe $1 and w ste $4
loi asp $1==$2 : asp p
lal loi loc loc loc loc ior $2==4*w && $7==4*w && ($3==0)+($4==0)+($5==0)+($6==0)>2 :
	lol $1+3*w loc $3 ior w lol $1+2*w loc $4 ior w lol $1+w loc $5 ior w lol $1 loc $6 ior w
loc dup stl loc dup stl $2==2 && $5==2:
	loc $1 stl $3 loc $4 stl $6 loc $1 loc $4