tests/long/se/70.twolf/ref/x86/linux/o3-timing/smred.pin

   1 $COUNT_1/$AND2_1/$ND2_1$Z 1 $COUNT_1/$AND2_1/$ND2_1 00#Z 17 52 2 1 0
   2 $COUNT_1/$AND2_1/$ND2_1$Z 1 ACOUNT_1 00#A 15 26 2 -1 0
   3 B7 2 $COUNT_1/$FJK3_2 00#K 25 78 3 -1 0
   4 B7 2 $COUNT_1/$FJK3_2 00#J 23 78 3 -1 0
   5 B7 3 $COUNT_1/$AND2_2/$ND2_1 00#A 9 26 2 -1 0
   6 B7 3 ACOUNT_1 01#Z 17 26 2 -1 0
   7 B6 5 $COUNT_1/$FJK3_1 00#K 25 26 2 -1 0
   8 B6 5 $COUNT_1/$FJK3_1 00#J 23 26 2 -1 0
   9 B6 5 $COUNT_1/$AND2_3/$IV_1 01#Z 7 26 2 -1 0
  10 $COUNT_1/$FJK3_1$Q 6 $COUNT_1/$FJK3_1 01#Q 81 26 2 -1 0
  11 $COUNT_1/$FJK3_1$Q 6 $COUNT_1/$AND2_1/$ND2_1 00#B 19 52 2 1 0
  12 $COUNT_1/$FJK3_2$Q 7 $COUNT_1/$FJK3_2 00#Q 81 52 2 1 0
  13 $COUNT_1/$FJK3_2$Q 7 $COUNT_1/$AND2_2/$ND2_1 01#B 11 26 2 -1 0
  14 $COUNT_1/$AND2_3/$ND2_1$Z 8 $COUNT_1/$AND2_3/$ND2_1 00#Z 5 52 2 1 0
  15 $COUNT_1/$AND2_3/$ND2_1$Z 8 $COUNT_1/$AND2_3/$IV_1 00#A 5 26 2 -1 0
  16 $COUNT_1/$AND2_4/$ND2_1$Z 9 $COUNT_1/$AND2_4/$ND2_1 00#Z 7 52 2 1 0
  17 $COUNT_1/$AND2_4/$ND2_1$Z 9 $COUNT_1/$AND2_4/$IV_1 00#A 3 26 2 -1 0