define pl_139247 = [2404:f4c0:ff00::/44{44,48}];