activefbcxmarkfxxxactivefxyzfxyactivezactivedmbfxymarkzmarkfxyzactivedmarkcproperbokbpropercokcproperdokdproperfxyzfproperxproperyproperzfokxokyokzokfxyztopmarkxtopproperxtopokxtopactivexactive1f3b0c0mark1d0m1proper1ok1top1FULL./TRS/AProVE/JFP_Ex31.trs