The top documents tagged [ioi1 t0]