(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.