| Index Cond: (id = ANY ('{3415,3347,3192,3177,3433,1616,2212,3189,3032,3453,3191,3416,3454,1819,1466,1641,787,3349,3190,2723,1843,2782,3296,3294,3186,1778,2700,1473,2467,3181,867,3185,641,3193,3506,3184,779,1434,1505,3351,337,2424,1598,2726,1683,2769,2986,2753,3194,2897,3353,1269,261,3507,2488,2410,2320,3315,3350,656,2705,3096,639,3532,3195,843,3456,3531,3533,2831,2987,3439,3360,1873,1490,3316,1400,3215,3440,3358,2629,3214,2017,3356,1786,3362,3354,1684,3363,1830,3455,3196,3355,3438,719,3441,2548,3535,3534,3197,3365,3536,3511,2599,1640,3445,826,1375,3218,2996,3219,3220,2596,3299,2832,2687,3198,3460,3444,3016,3317,3447,3217,3463,3446,3298,3366,3442,3199,3221,3223,3538,3509,3464,3540,3537,892,3367,2641,3243,1551,3242,3124,3258,3304,3249,3226,3254,1792,3252,3245,3200,3234,3253,3241,3255,3250,3248,3237,3259,3224,3257,3232,3179,3251,3301,3246,3302,761,3256,3225,3244,2751,2762,3542,2768,3233,3227,3239,2228,1701,3306,3235,3260,3229,3247,3368,3318,961,3269,3263,3262,3282,3261,3240,3283,3270,3280,3202,3271,3273,3279,3276,2011,3275,3267,3278,3284,3230,3264,3272,2724,3266,3274,3236,3265,3029,2732,2764,3030,3277,3203,3231,3037,3268,3033,1508,910,2774,1571,3321,1595,1600,3281,3369,3308,3001,3545,3373,3375,3286,3292,3544,1633,2784,1522,773,1635,760,1559,3204,3287,3309,3374,3370,2787,3467,865,1388,3125,3205,1787,1523,2773,1565,1171,3468,1489,1442,693,3546,3376,1200,3466,3371,1730,3372,2742,1813,2758,2545,3017,3378,3361,1888,2477,3548,3206,3377,2044,2478,3311,3547,3312,3471,3127,3549,253,3475,3207,3478,3761,3477,1299,3476,3386,3222,3139,2797,3322,3238,3434,3418,3140,3380,3382,3550,3383,3387,3130,3448,3208,3472,3419,3381,3388,3390,3323,3474,2845,2798,3133,3099,3006,2806,2807,2813,679,3449,3097,3209,2908,3385,1298,2995,2828,3479,3210,1568,686,668,3394,3395,3556,3324,3391,3559,3393,36,3553,775,3211,3049,1549,1496,3579,3561,2777,216,2767,2829,2755,3212,3399,3398,3585,3400,3401,3583,3402,3404,3405,3406,3589,2316,3320,140,3590,3213,3591,2754,3596,3592,3599,3586,3594,3407,3331,2260,672,2833,3604,1228,3052,3420,3421,756,3607,3606,3601,2919,3013,2819,2851,2830,2920,3153,3142,3516,853,2553,3616,224,3333,3169,3414,1477,748,711,3054,3618,3410,2820,2852,3015,3412,3408,3413,3411,818,351,2761,3166,3485,3492,3486,3481,3482,3488,2349,3490,3491,3484,3483,205,3173,766,2692,3107,2418,1713,2013,3104,1791,2835,2785,3178,784,3019,3109,1562,1386,3110,939,1687,1711,3061,2997,2490,3079,3171,3496,3494,3621,3622,3497,916,1737,2505,2856,2824,2378,2925,780,1268,2492,2988,2896,3341,1797,917,3174,3340,2471,2465,3626,3627,3624,3625,1582,618,3152,3637,3629,2750,2837,3681,2857,3669,3684,3670,3678,3633,2653,709,2604,978,3694,2836,2760,3696,3613,3702,3705,3692,3687,1281,3429,3122,30,2783,1433,3715,3150,2989,3000,2827,3717,3426,3111,3720,3712,1796,2617,2860,2929,718,3123,1416,213,3521,2834,2388,2839,1507,2763,3723,638,3725,2861,2902,2898,2998,705,3522,2901,2930,2899,2991,2999,2900,2841,3018,2793,3523,678,3020,3126,3527,2842,2903,2795,2905,2909,3003,2812,2415,3056,3529,3161,3528,3530,3525,662,3085,3080,1862,28,3558,3562,3564,3504,3163,3560,2863,3566,3555,2932,2864,3128,3569,1867,2933,3567,2216,794,3572,2843,2739,2791,2796,3574,3576,3587,3082,3131,3600,3129,3067,2844,2012,3132,3138,3042,3593,2811,3004,3136,2913,2326,2846,2799,2865,2934,3598,3597,3021,3602,2808,3603,2915,2814,3609,2914,3009,3134,3008,2815,2866,3612,3608,3605,3047,3615,2766,3617,3619,2916,2759,2794,2895,3623,3050,3045,1663,2309,1782,3614,3135,3503,3628,2990,3634,2993,2992,2838,2840,2994,2655,3630,3635,3636,3638,3639,3631,823,862,3644,3645,3002,3417,2904,2803,2910,2804,2911,2906,2817,2849,3051,2918,3012,2907,3641,3642,3005,2805,2912,3007,3010,2770,3647,3649,2792,605,2847,2801,2848,2771,2809,2816,2510,2871,2940,1638,3502,246,2917,2800,3011,2818,1699,2850,2713,2515,3014,3143,2549,2921,3657,3053,840,3659,1768,3655,3653,3663,2738,1485,2873,2942,3068,3144,3146,3664,3675,3677,3680,3686,3682,3661,3073,3149,3693,3148,222,524,221,2396,3697,2874,3699,2292,3701,2943,2821,2853,2922,2772,3036,2662,3695,3707,3145,845,3710,789,3714,1264,353,3147,2854,2923,2786,3704,3027,3513,2460,3719,3059,2822,2823,2855,2924,2926,2825,3716,2661,327,2876,2419,259,3722,2646,3514,3074,2826,2360,2858,2927,2859,3064,2928,2267,1643,2862,2931,2450,3066,3729,3065,3757,1277,2351,3087,3755,706,3753,1337,3751,3754,3748,3752,3750,2506,3756,3747,755,3745,3744,3089,3746,3742,3741,3743,3739,1639,3740,3738,1570,3092,3091,3737,3735,3726,3734,3733,3088,3736,3732,3730,3728,3724,1909,2626,3721,3691,2664,3709,3703,3700,3698,3711,3706,2654,3713,844,3685,3672,3679,3688,3676,3674,3689,3671,2051,3662,3667,3668,3666,2026,3665,2935,1444,2029,1621,3656,3652,3654,3660,3650,2666,3658,2867,2936,2397,2649,3646,2634,3584,3643,2868,2689,3640,2937,202,2238,2704,2710,1908,1552,1204,3582,3580,2647,3577,3575,2414,235,3573,3568,3578,702,3565,3557,3554,3552,947,911,1698,2266,3520,2635,1710,2389,785,2535,2869,2938,2694,1678,671,3515,3595,3563,3611,3632,3610,1818,2870,2939,1767,214,3510,1578,584,2872,1835,1758,3518,3524,3731,2941,2538,808,1868,2327,3526,2721,2374,1841,2310,2314,3519,3551,1537,3541,3543,3570,3581,824,1686,2643,3571,3588,634,1716,2875,2944,2671,3620,3648,3651,3493,3727,2945,2235,1378,3718,2877,2946,904,2757,1604,10,3759,3760,2675,1753,256,2878,770,2686,2678,1934,2968,2729,2947,2657,2879,3763,2712,1806,1828,964,1840,2278,3043,2708,2313,1754,2625,2679,1581,1338,2702,3443,518,2317,3765,647,3770,2681,2695,1534,2706,1914,2743,2422,1169,2722,846,2308,3749,2677,1543,3777,1764,649,2483,1922,2631,2697,842,2441,3779,3780,2042,2880,2948,2730,2619,2682,913,2350,879,1497,2881,2949,931,2259,909,2543,1629,924,345,1492,1227,2053,262,1708,401,2518,2882,1677,1487,2299,2696,2950,2383,1655,2588,1214,3784,746,3501,1681,889,2611,2392,2883,2951,2402,992,2707,3787,643,448,484,3790,1729,3788,2703,1300,2435,1783,1897,2660,2399,2015,1848,1339,2434,2985,990,2884,2952,2359,2387,812,2589,2885,2688,2953,687,1377,2265,1660,1260,2886,2954,2367,720,2014,3791,2489,2398,908,2728,2887,2955,2888,2956,3793,2889,2303,1525,2282,2497,1757,2275,329,1816,364,134,2523,1739,2616,2615,2613,2957,1392,1827,1724,2384,969,749,1599,1631,2365,2394,2381,1871,966,1243,974,1502,527,995,2536,1255,1748,2426,2890,2958,2891,2447,2959,1474,1575,1615,2449,1232,402,717,342,804,1500,604,1747,2048,1499,1531,2196,981,153,1772,648,2445,2550,1545,2287,1229,850,1832,885,2892,1240,2960,2474,2529,2893,1622,2202,2511,2542,1647,2961,1319,745,56,1175,1524,1738,2894,941,2512,2962,2268,2284,1297,813,1637,2554,1506,674,596,914,340,1527,2400,1305,1657,1794,352,730,2544,1812,2312,1286,2526,2517,1190,1696,1168,2352,1049,923,2401,2210,1092,1735,1172,1805,2963,1193,1886,1766,1924,1034,1877,1742,2446,2404,2964,2244,1451,1594,2280,1515,174,1191,1564,1779,1390,1586,1650,2406,1192,1234,1220,2252,1823,1679,1353,1445,1426,2466,2464,2470,2458,2403,2279,1340,1651,2453,2965,2468,2457,1472,1780,772,2211,1476,2463,1328,1822,1557,2456,1456,1443,2461,1555,1221,2500,2501,2380,2504,2486,2481,1844,2479,2480,2493,2966,2443,2390,2482,2546,2289,2472,2498,2476,2495,2375,2412,2469,2191,1920,2491,2433,886,2494,1733,803,2283,1808,2362,1817,2967,1689,2485,1849,1425,2519,767,626,1804,475,1784,2361,1231,2496,851,2614,645,863,2607,2010,1290,1282,2969,370,170,1550,481,1839,792,2602,1842,2513,1617,945,828,1167,2970,1903,1504,943,1512,1197,1372,854,2261,644,219,1750,933,2547,2369,2405,2587,2600,4,972,1463,1289,25,2971,2530,1389,841,2293,2421,2451,2522,1275,899,1530,1439,1373,1539,606,1674,640,2972,2274,461,1691,1609,1452,2509,2436,2528,938,754,2324,930,1295,2520,2508,2531,266,2973,1892,1614,1294,1636,2024,1720,1912,1620,764,837,1225,2368,2514,832,2507,2379,1283,2031,2218,2974,1661,1893,144,2028,1517,455,1930,2025,1925,2288,1384,2251,1795,2027,1901,1628,1212,1682,2226,2455,2459,2462,2336,2975,1798,1261,925,1790,2247,2487,2473,1785,2342,2256,1239,2502,2246,2263,2484,2264,2976,2454,2215,2249,2214,2425,2222,2290,1327,2318,2257,1807,1789,2411,2442,2250,2255,2409,2376,2977,2444,2429,2408,2432,2431,2438,2377,2391,2427,2428,757,2475,1902,444,1237,1318,2452,2590,1383,2009,2978,2503,1566,890,1540,830,683,793,419,664,2540,2979,2227,350,1334,2273,2038,1612,1481,2701,2037,2609,2980,2725,2746,1382,1725,675,2981,1458,2193,744,32,2642,2684,2714,2982,821,2983,2984,1436,513,1301,3683,1692,1717,172,835,1520,585,1554,1369,700,1821,1751,1695,2638,1202,1446,3797,3799,3800,3801,3809,3811,3821,3822,3850,3851,3852,3867,3868,3874,3883,3886,3887,3888,3889,3892,3899,3900,3901,3902,3903,3904,3905,3906,3907,3908,3910,3911,3914,3915,3916,3919,3920,3921,3922,3923,3924,3933,3934,3935,3942,3943,3944,3945,3948,3950,3951,3967,3970,3973,3975,3976,3977,3978,3990,3991,3994,4000,4001,4002,4003,4004,4005,4007,4009,4012,4013,4015,4016,4017,4018,4019,4022,4023,4024,4025,4026,4027,4028,4031,4032,4033,4034,4037,4048,4049,4055,4056,4057,4058,4059,4060,4064,4066,4068,4069,4070,4071,4072,4073,4076,4077,4080,4081,4082,4084,4087,4089,4091,4092,4094,4097,4098,4099,4104,4105,4106,4107,4109,4114,4116,4117,4119,4121,4122,4123,4126,4127,4128,4137,4139,4141,4143,4144,4145,4150,4153,4154,4156,4157,4158,4161,4168,4170,4173,4180,4181,4184,4185,4187,4188,4189,4190,4191,4194,4195,4196,4206,4209,4210,4211,4215,4216,4218,4219,4220,4221,4222,4223,4224,4225}'::integer[])) |