sr$circusRefine.Tactic.Principal.TaticaPuL argumentostLjava/util/ArrayList;LidtLjava/lang/String;Lpathq~LtCompt/LcircusRefine/Tactic/Principal/TacticComponent;xpsrjava.util.ArrayListxaIsizexpw xtBJSt4A_config1t\C:\Users\Madiel Filho\Desktop\CRefine2006\circus\tacticsArcAngelC\BJPhase\BJSt4A_config1.texsr#circusRefine.Tactic.Principal.TSemi((ixr+circusRefine.Tactic.Principal.TaticaBinaria. !Z aplicaDirZ aplicaEsqL taticLeftq~L taticRightq~xr-circusRefine.Tactic.Principal.TacticComponent'.dL argumentosq~Lnomeq~Ltaticaq~xppppsr"circusRefine.Tactic.Principal.Tlawg۪zIlawxq~ sq~w xt"Parallel_Composition_Sequence_steppsr&circusRefine.Tactic.Principal.TSemibox*u+Cxq~ pppsr#circusRefine.Tactic.Principal.TSkip DISxq~ pppsr*circusRefine.Tactic.Principal.TParallelboxyexq~ pppsq~pppsq~ pppsq~ pppsq~ pppsq~ pppsq~ sq~w xtSequence_Associativitypsq~ sq~w xt+Prefix_Sequential_Composition_Associativitypsr%circusRefine.Tactic.Principal.TTatica)оLA?xq~ sq~w xtinterIntroAndSimplpsq~ sq~w xt Prefix_Skippsq~ pppsq~pppsq~pppsq~ sq~w xtSequence_Associativitypsq~ sq~w xtSequence_Associativityp