atl "strat-timelyP1" A G (<<P1H>> F P1_stop);

atl "strat-timelyP2" A G (<<P2H>> F P2_stop);

atl "strat-timelyP3" A G (<<P3H>> F P3_stop); 

atl "strat-timelyP4" A G (<<P4H>> F P4_stop);