I1a True
I1b True
I1c True
I2 True
I3 True
I4 True
ALL IDENTITIES VERIFIED ON 200 RANDOM EXACT INSTANCES
