Construct the flow graph for the following code and identify all basic blocks:

1. read x
2. i = 1
3. sum = 0
4. prod = 1
5. if i > x goto 13
6. square = i * i
7. sum = sum + square  
8. prod = prod * i
9. i = i + 1
10. if i <= x goto 6
11. write sum
12. write prod
13. halt

Identify loop invariant code that can be moved out of the loop, if any.