-1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) -- -1 OR 3*2<(0 5 307-307) --