import sys

N = int(raw_input())
print
sys.stdout.flush()
 
st=1 
k=2 

L = [1]
nrbus=1
 
while (k<=N):
    print 1,st,k
    sys.stdout.flush()
    repl = int(raw_input())
    print 
    sys.stdout.flush()
    if (repl==0):
        st=k
        k=k+1
        nrbus+=1
        L.append(st)
    else:
        k=k+1

print 2, nrbus,
sys.stdout.flush()

for el in L:
    print el, 
    sys.stdout.flush()