define DOWNSTREAM_ASN = [
    112, 23347, 30581, 44324, 47778, 51087, 53808, 53889,
    57934, 62246, 62711, 134478, 138211, 139328, 140506, 198304,
    199310, 199605, 199613, 199656, 200078, 200105, 200536, 200592,
    200850, 200895, 200907, 200949, 201217, 203023, 203169, 203236,
    203899, 208747
];
define DOWNSTREAM_PREFIXES = [
    2400:70e0:bae::/48,
    2404:f4c0:f810::/44{44,48},
    2406:840:9680::/44{44,48},
    2406:840:9980::/44{44,48},
    2406:840:9ef0::/44{44,48},
    2406:840:e180::/44{44,48},
    2406:840:e270::/44{44,48},
    2602:2a3::/46{48,48},
    2602:2c3:800::/44{44,48},
    2602:814:f000::/36{36,48},
    2602:f92a::/36{36,48},
    2602:f96c:f0::/44{44,48},
    2602:f984::/36{36,48},
    2602:f9df:110::/44{44,48},
    2602:f9f6::/40{40,48},
    2602:f9f6:430::/44{44,48},
    2602:f9f6:800::/41{42,48},
    2602:f9f6:c00::/38{38,48},
    2602:faac::/40{40,48},
    2602:fafd:fe1::/48,
    2602:feda:bb0::/44{44,48},
    2602:feda:bf0::/44{44,48},
    2a05:dfc1:5000::/40{40,48},
    2a06:a005:485::/48,
    2a06:a005:486::/48,
    2a06:a005:4c0::/44{44,48},
    2a06:a005:510::/44{44,48},
    2a06:a005:520::/43{44,48},
    2a06:a005:540::/43{44,48},
    2a06:a005:580::/44{44,48},
    2a06:a005:5a2::/48,
    2a06:a005:660::/44{44,48},
    2a06:a005:7c0::/44{44,48},
    2a06:a005:8a0::/44{44,48},
    2a06:a005:950::/44{44,48},
    2a06:a005:c20::/43{44,48},
    2a06:a005:d00::/44{44,48},
    2a06:a005:d70::/44{44,48},
    2a06:a005:f80::/44{44,48},
    2a06:a005:1150::/44{44,48},
    2a06:a005:11f0::/44{44,48},
    2a06:a005:1200::/42{44,48},
    2a06:a005:1240::/44{44,48},
    2a06:a005:1520::/44{44,48},
    2a06:a005:1700::/44{44,48},
    2a06:a005:1800::/48,
    2a06:a005:1870::/48,
    2a06:a005:1880::/43{44,48},
    2a06:a005:1c78::/48,
    2a06:a005:2400::/44{44,48},
    2a06:a005:2470::/44{44,48},
    2a06:a005:2490::/44{44,48},
    2a06:a005:24b0::/44{44,48},
    2a06:a005:28a0::/43{44,48},
    2a06:a005:28f0::/44{44,48},
    2a06:a005:2910::/44{44,48},
    2a06:a005:2920::/43{44,48},
    2a06:a005:2940::/42{44,48},
    2a06:a005:2980::/44{44,48},
    2a06:a005:29d0::/44{44,48},
    2a06:a005:2ea0::/44{44,48},
    2a0a:280:1300::/40{40,48},
    2a0a:280:1500::/40{40,48},
    2a0a:280:1700::/40{40,48},
    2a0a:280:1800::/40{40,48},
    2a0a:280:2700::/40{40,48},
    2a0a:6040:800::/40{40,48},
    2a0a:6040:5300::/40{40,48},
    2a0a:6040:5800::/40{40,48},
    2a0a:6040:7d00::/40{40,48},
    2a0a:6040:7e00::/40{40,48},
    2a0a:6040:a900::/40{40,48},
    2a0a:6040:d300::/40{40,48},
    2a0a:6040:d700::/40{40,48},
    2a0a:6040:d800::/40{40,48},
    2a0a:6040:e100::/40{40,48},
    2a0c:b641:360::/44{44,48},
    2a0e:8f02:f058::/48,
    2a0e:97c0:220::/44{44,48},
    2a0e:aa07:e042::/48,
    2a0e:aa07:e050::/44{44,48},
    2a0e:aa07:e0b0::/44{44,48},
    2a0e:aa07:e150::/44{44,48},
    2a0e:b107:1d0::/44{44,48},
    2a0e:b107:1e0::/44{44,48},
    2a0e:b107:5c1::/48,
    2a0e:b107:6d0::/44{44,48},
    2a0e:b107:ea2::/48,
    2a0e:b107:f40::/44{44,48},
    2a0e:b107:11b0::/44{44,48},
    2a0e:b107:1b20::/44{44,48},
    2a0e:b107:1f20::/44{44,48},
    2a0e:b107:2440::/44{44,48},
    2a0f:5707:fa00::/40{40,48},
    2a0f:7802:1000::/36{36,48},
    2a0f:7803:ff70::/44{44,48},
    2a12:3fc2:8000::/36{36,48},
    2a12:3fc2:aa10::/44{44,48},
    2a12:3fc2:ab70::/44{44,48},
    2a12:3fc2:e100::/40{40,48},
    2a12:3fc2:e300::/40{40,48},
    2a12:3fc2:e400::/38{40,48},
    2a12:3fc2:e800::/40{40,48},
    2a12:3fc3::/32{32,48},
    2a12:dd47:8e70::/44{44,48},
    2a12:dd47:f000::/40{40,48},
    2a12:dd47:f700::/40{40,48},
    2a13:a5c0::/32{32,48},
    2a13:a5c3::/32{32,48},
    2a13:a5c5::/32{32,48},
    2a13:a5c6::/32{32,48},
    2a13:a5c7:1000::/39{40,48},
    2a13:b487:1000::/39{40,48}
];