explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50 and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i > 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and uniq_i < 50;
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY v IN x.zarr_i satisfies v >= 0 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (EVERY v IN x.uarr_i satisfies v = 284 END);
explain select count (*) from KS1 x where (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END) and (ANY and EVERY v IN x.uarr_i satisfies v > 384 END);
