def q: $A $F $E $1C $7 $3 $9 $B $7 $5 $14 $A $5 redef r: $A $F $E $1C $7 $3 $9 $B $7 $5 $14 $A $5 $64 $0