Show world size in subdomain deflation examples