t2.$GET$CHECKPOINT().rollback(handle4, true);
System.out.print(objects.indexOf(t2.getT().getT()) + " ");
t2.$GET$CHECKPOINT().rollback(handle3, true);
System.out.print(objects.indexOf(t2.getT()) + " ");
t2.$GET$CHECKPOINT().rollback(handle2, true);
System.out.print(objects.indexOf(t1.getT()) + " ");
t1.$GET$CHECKPOINT().rollback(handle1, true);