gets;k=->i{eval"Z=#{$_.split*'%i'}%i";Z.sort[1]!=Z[1]&&Z|[]==Z}
puts k[1e4]?:INF:(1..1e3).count(&k)