pinduction.py

int __main__ (int var0)
  vars: int var1, int var2, int var3
  var2 = 2
  if (((var0 - 2) % 3) == 0)
    var1 = 1
  else
    var1 = 0
var3 = 1
for(; (var3<var0); var3 = (var3 + 1))
  if (var2<var0)
    var2 = (var2 + ((var3 * 3) + 2))
    if (((var0 - var2)≥0) & ((var0 - var2)≤0))
      var1 = (var1 + 1)
    else
      if (((var0 - var2)≥0) & (((var0 - var2) % 3) == 0))
        var1 = (var1 + 1)
      else
        break
return var1