アは解説のとおりですが、プログラム6行目で1 mod 3、2 mod 3、3 mod 3でそれぞれ1,2,0が得られます。
7行目で1,2,0を使ってbins[r]を定義していきます。
bins[0]=3、bins[1]=1、bins[2]=2となります。(定義順はbins[1]、bins[2]、bins[0]です)
イだと 3 mod 3、6 mod 3 9 mod 3で0、0、0となります。
つまりbin[0]=3のあと、bins[0]=6、bins[0]=9と上書きされていきます。
binsは3個と設問にありますので、bins[0]以外が未定義となっています。
同様にウはbins[2]、エはbins[1]しか定義されません。