n=7

v=(7,6,2,0,4,1,5)

->n=7
P1.1 Pentru i=1 verificam i<=n <=> 1<=7(A)
->v[1]=7
->i=2
P1.2 Pentru i=2 verificam i<=n <=> 2<=7 (A)
->v[2]=6
->i=3
P1.3 Pentru i=3 verificam i<=n <=> 3<=7 (A)
->v[3]=2
->i=4
P1.4 Pentru i=4 verificam i<=n <=> 4<=7 (A)
->v[4]=0
->i=5
P1.5 Pentru i=5 verificam i<=n <=> 5<=7 (A)
->v[5]=4
->i=6
P1.6 Pentru i=6 verificam i<=n <=> 6<=7 (A)
->v[6]=1
->i=7
P1.7 Pentru i=7 verificam i<=n <=> 7<=7 (A)
->v[7]=5
->i=8
P1.8 Pentru i=8 verificam i<=n <=> 8<=7 (F)
SE OPRESTE PENTRU

P2.1 Pentru i=1 verificam i<n <=> 1<7 (A)

P3.1 Pentru j=i+1 <=> j=2 verificam j<=n <=> 2<=7(A)
Verificam conditia v[j]<v[i] <=> v[2]<v[1] <=> 6<7 (A)
->aux=v[1] => aux=7
->v[1]=v[2] => v[1]=6
->v[2]=aux => v[2]=7
->j=3
P3.2 Pentru j=3 verificam j<=n <=> 3<=7(A)
Verificam conditia v[j]<v[i] <=> v[3]<v[1] <=> 2<6 (A)
->aux=v[1] => aux=6
->v[1]=v[3] => v[1]=2
->v[3]=aux => v[3]=6
->j=4

P3.3 Pentru j=4 verificam j<=n <=> 4<=7(A)

Verificam conditia v[j]<v[i] <=> v[4]<v[1] <=> 0<2 (A)
->aux=v[1] => aux=2
->v[1]=v[4] => v[1]=0
->v[4]=aux => v[4]=2
->j=5
P3.4 Pentru j=5 verificam j<=n <=> 5<=7(A)
Verificam conditia v[j]<v[i] <=> v[5]<v[1] <=> 4<0 (F)
->j=6
P3.5 Pentru j=6 verificam j<=n <=> 6<=7(A)
Verificam conditia v[j]<v[i] <=> v[6]<v[1] <=> 1<0 (F)
->j=7
P3.6 Pentru j=7 verificam j<=n <=> 7<=7(A)
Verificam conditia v[j]<v[i] <=> v[7]<v[1] <=> 5<0 (F)
->j=8
P3.7 Pentru j=8 verificam j<=n <=> 8<=7(F)
 SE OPRESTE PENTRU
P2.2 Pentru i=2 verificam i<n <=> 2<7 (A)
P3.1 Pentru j=i+1 <=> j=3 verificam j<=n <=> 3<=7(A)
Verificam conditia v[j]<v[i] <=> v[3]<v[2] <=> 6<7 (A)
->aux=v[2] => aux=7
->v[2]=v[3] => v[2]=6
->v[3]=aux => v[3]=7
->j=4
P3.2 Pentru j=4 verificam j<=n <=> 4<=7(A)
Verificam conditia v[j]<v[i] <=> v[4]<v[2] <=> 2<6 (A)
->aux=v[2] => aux=6
->v[2]=v[4] => v[2]=2
->v[4]=aux => v[4]=6
->j=5
P3.3 Pentru j=5 verificam j<=n <=> 5<=7(A)
Verificam conditia v[j]<v[i] <=> v[5]<v[2] <=> 4<2 (F)
->j=6
P3.4 Pentru j=6 verificam j<=n <=> 6<=7(A)
Verificam conditia v[j]<v[i] <=> v[6]<v[2] <=> 1<2 (A)
->aux=v[2] => aux=2
->v[2]=v[6] => v[2]=1
->v[6]=aux => v[6]=2
->j=7
P3.5 Pentru j=7 verificam j<=n <=> 7<=7(A)
Verificam conditia v[j]<v[i] <=> v[7]<v[2] <=> 5<1 (F)
->j=8
P3.6 Pentru j=5 verificam j<=n <=> 8<=7(F)
SE OPRESTE PENTRU
P2.3 Pentru i=3 verificam i<n <=> 3<7 (A)
P3.1 Pentru j=i+1 <=> j=4 verificam j<=n <=> 4<=7(A)
Verificam conditia v[j]<v[i] <=> v[4]<v[3] <=> 6<7 (A)
->aux=v[3] => aux=7
->v[3]=v[4] => v[3]=6
->v[4]=aux => v[4]=7
->j=5
P3.2 Pentru j=5 verificam j<=n <=> 5<=7(A)
Verificam conditia v[j]<v[i] <=> v[5]<v[3] <=> 4<6 (A)
->aux=v[3] => aux=6
->v[3]=v[5] => v[3]=4
->v[5]=aux => v[5]=6
->j=6
P3.3 Pentru j=6 verificam j<=n <=> 6<=7(A)
Verificam conditia v[j]<v[i] <=> v[6]<v[3] <=> 2<4 (A)
->aux=v[3] => aux=4
->v[3]=v[6] => v[3]=2
->v[6]=aux => v[6]=4
->j=7