sr$circusRefine.Tactic.Principal.TaticaPuL argumentostLjava/util/ArrayList;LidtLjava/lang/String;Lpathq~LtCompt/LcircusRefine/Tactic/Principal/TacticComponent;xpsrjava.util.ArrayListxaIsizexpw xt syncInputtC:\Users\Madiel Filho\Desktop\Madiel Filho\Mestrado\Workspace\Dissertacao\circusCVS\arquivosTaticas\tactics\taticaSyncInput.texsr*circusRefine.Tactic.Principal.TAppliesToDo .Lprogq~xr*circusRefine.Tactic.Principal.TaticaUnaria&Q=YLtacticq~xr-circusRefine.Tactic.Principal.TacticComponent'.dL argumentosq~Lnomeq~Ltaticaq~xppppsr#circusRefine.Tactic.Principal.TSemi((ixr+circusRefine.Tactic.Principal.TaticaBinaria. !Z aplicaDirZ aplicaEsqL taticLeftq~L taticRightq~xq~ pppsr"circusRefine.Tactic.Principal.Tlawg۪zIlawxq~ sq~w xtVAR_EXPpsq~sq~w xt.Parallelism_composition_Sequence_Distribution2pt ( ( circvar dIn : nat circspot AIn circseq AOut ) lpar ns_1 | lchanset cs rchanset | ns_2 rpar ( circvar dIn : nat circspot AIn circseq ASt ) )