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