let rec(@)n i=n mod 3=2||n>1/(1000-i)&n/3@i||()=Printf.printf"%d
"i;i+1@i+1;;0@0