fgf%Xog%XfooogooFULLbenchmarks/mine/kop12thesis_sec3.3.3.afsm