Invariants


Input

 
 
 

Invariants

I1  =   
I2  =   
I3  =