define pl_142280 = [2404:f4c0:fa00::/44{44,48}, 2602:feda:df0::/44{44,48}, 2a05:1083:1100::/47{47,48}, 2a05:1083:1103::/48];