spr(M(x,y)) == Lambda(x,y) on 1200 random points: True
min over (x,y)>0 of Lambda attained at (1,1) (random search): True
