PF3D7_0613800 : (PF3D7_1356900 + PF3D7_1305200)(~PF3D7_0622900) : E
PF3D7_1222600 : (PF3D7_0613800) + (PF3D7_0802100) : E
PF3D7_0802100 : (PF3D7_0613800) : E
PF3D7_0622900 : (PF3D7_1222600) : E
PF3D7_1356900 : (~PF3D7_1222600) : E
PF3D7_1305200 : (~PF3D7_1222600) : E