|  | // RUN: %clang_cc1 -fsyntax-only -Wconstant-conversion -verify %s | 
|  | // expected-no-diagnostics | 
|  |  | 
|  | // Check that we don't get stack overflow trying to evaluate a huge number of | 
|  | // logical operators. | 
|  |  | 
|  | int foo(int x) { | 
|  | return | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x && | 
|  | x; | 
|  | } |