Microlensing frequency distributions obtained from the observations, i.e, the difference light curve presented in the lower panel of Fig. 4 (gray histogram), and the simulated magnification maps (segmented lines). The various segmented lines correspond to convolutions of the simulated magnification maps with sources of different sizes (in blue shades for our macrolens model and in red shades for the model of Pelt et al. 1998).