(1) the example of sharing has a size of 6291453 before transformation. (2) the example of sharing has a size of 4194301 after transformation. (3) the union of two regions of size 4 in total contains the origin and can be simplified to the universal region.