define pl_142640 = [2602:feda:b50::/44{44,48}];