Do I need to report what should go on line 25600 or will that be automatically calculated based on US social security income reported?