You need to know for HL theorems 4,6,7,8,9,11,12,13,14,16,17,18,20,21
And you must be able to prove 4 , 6 , 9 , 11,12,13,14 :-)
For OL you need to know all of theorems and be able to investigate them but not prove them
Also I'm not sure if it's the same in OL but in HL you must be able to prove root 2 (or 3) is irrational .
These are all just the things my teacher has told me! I'm not too sure about the constructions myself