f g f %X o g %X f o o o g o o FULL benchmarks/mine/kop12thesis_sec3.3.3.afsm