1// RUN: %clang_cc1 -fsyntax-only -Wconstant-conversion -verify %s
2// expected-no-diagnostics
3
4// rdar://10913206&10941790
5// Check that we don't get stack overflow trying to evaluate a huge number of
6// logical operators.
7
8int foo(int x) {
9  return
10    x &&
11    x &&
12    x &&
13    x &&
14    x &&
15    x &&
16    x &&
17    x &&
18    x &&
19    x &&
20    x &&
21    x &&
22    x &&
23    x &&
24    x &&
25    x &&
26    x &&
27    x &&
28    x &&
29    x &&
30    x &&
31    x &&
32    x &&
33    x &&
34    x &&
35    x &&
36    x &&
37    x &&
38    x &&
39    x &&
40    x &&
41    x &&
42    x &&
43    x &&
44    x &&
45    x &&
46    x &&
47    x &&
48    x &&
49    x &&
50    x &&
51    x &&
52    x &&
53    x &&
54    x &&
55    x &&
56    x &&
57    x &&
58    x &&
59    x &&
60    x &&
61    x &&
62    x &&
63    x &&
64    x &&
65    x &&
66    x &&
67    x &&
68    x &&
69    x &&
70    x &&
71    x &&
72    x &&
73    x &&
74    x &&
75    x &&
76    x &&
77    x &&
78    x &&
79    x &&
80    x &&
81    x &&
82    x &&
83    x &&
84    x &&
85    x &&
86    x &&
87    x &&
88    x &&
89    x &&
90    x &&
91    x &&
92    x &&
93    x &&
94    x &&
95    x &&
96    x &&
97    x &&
98    x &&
99    x &&
100    x &&
101    x &&
102    x &&
103    x &&
104    x &&
105    x &&
106    x &&
107    x &&
108    x &&
109    x &&
110    x &&
111    x &&
112    x &&
113    x &&
114    x &&
115    x &&
116    x &&
117    x &&
118    x &&
119    x &&
120    x &&
121    x &&
122    x &&
123    x &&
124    x &&
125    x &&
126    x &&
127    x &&
128    x &&
129    x &&
130    x &&
131    x &&
132    x &&
133    x &&
134    x &&
135    x &&
136    x &&
137    x &&
138    x &&
139    x &&
140    x &&
141    x &&
142    x &&
143    x &&
144    x &&
145    x &&
146    x &&
147    x &&
148    x &&
149    x &&
150    x &&
151    x &&
152    x &&
153    x &&
154    x &&
155    x &&
156    x &&
157    x &&
158    x &&
159    x &&
160    x &&
161    x &&
162    x &&
163    x &&
164    x &&
165    x &&
166    x &&
167    x &&
168    x &&
169    x &&
170    x &&
171    x &&
172    x &&
173    x &&
174    x &&
175    x &&
176    x &&
177    x &&
178    x &&
179    x &&
180    x &&
181    x &&
182    x &&
183    x &&
184    x &&
185    x &&
186    x &&
187    x &&
188    x &&
189    x &&
190    x &&
191    x &&
192    x &&
193    x &&
194    x &&
195    x &&
196    x &&
197    x &&
198    x &&
199    x &&
200    x &&
201    x &&
202    x &&
203    x &&
204    x &&
205    x &&
206    x &&
207    x &&
208    x &&
209    x &&
210    x &&
211    x &&
212    x &&
213    x &&
214    x &&
215    x &&
216    x &&
217    x &&
218    x &&
219    x &&
220    x &&
221    x &&
222    x &&
223    x &&
224    x &&
225    x &&
226    x &&
227    x &&
228    x &&
229    x &&
230    x &&
231    x &&
232    x &&
233    x &&
234    x &&
235    x &&
236    x &&
237    x &&
238    x &&
239    x &&
240    x &&
241    x &&
242    x &&
243    x &&
244    x &&
245    x &&
246    x &&
247    x &&
248    x &&
249    x &&
250    x &&
251    x &&
252    x &&
253    x &&
254    x &&
255    x &&
256    x &&
257    x &&
258    x &&
259    x &&
260    x &&
261    x &&
262    x &&
263    x &&
264    x &&
265    x &&
266    x &&
267    x &&
268    x &&
269    x &&
270    x &&
271    x &&
272    x &&
273    x &&
274    x &&
275    x &&
276    x &&
277    x &&
278    x &&
279    x &&
280    x &&
281    x &&
282    x &&
283    x &&
284    x &&
285    x &&
286    x &&
287    x &&
288    x &&
289    x &&
290    x &&
291    x &&
292    x &&
293    x &&
294    x &&
295    x &&
296    x &&
297    x &&
298    x &&
299    x &&
300    x &&
301    x &&
302    x &&
303    x &&
304    x &&
305    x &&
306    x &&
307    x &&
308    x &&
309    x &&
310    x &&
311    x &&
312    x &&
313    x &&
314    x &&
315    x &&
316    x &&
317    x &&
318    x &&
319    x &&
320    x &&
321    x &&
322    x &&
323    x &&
324    x &&
325    x &&
326    x &&
327    x &&
328    x &&
329    x &&
330    x &&
331    x &&
332    x &&
333    x &&
334    x &&
335    x &&
336    x &&
337    x &&
338    x &&
339    x &&
340    x &&
341    x &&
342    x &&
343    x &&
344    x &&
345    x &&
346    x &&
347    x &&
348    x &&
349    x &&
350    x &&
351    x &&
352    x &&
353    x &&
354    x &&
355    x &&
356    x &&
357    x &&
358    x &&
359    x &&
360    x &&
361    x &&
362    x &&
363    x &&
364    x &&
365    x &&
366    x &&
367    x &&
368    x &&
369    x &&
370    x &&
371    x &&
372    x &&
373    x &&
374    x &&
375    x &&
376    x &&
377    x &&
378    x &&
379    x &&
380    x &&
381    x &&
382    x &&
383    x &&
384    x &&
385    x &&
386    x &&
387    x &&
388    x &&
389    x &&
390    x &&
391    x &&
392    x &&
393    x &&
394    x &&
395    x &&
396    x &&
397    x &&
398    x &&
399    x &&
400    x &&
401    x &&
402    x &&
403    x &&
404    x &&
405    x &&
406    x &&
407    x &&
408    x &&
409    x &&
410    x &&
411    x &&
412    x &&
413    x &&
414    x &&
415    x &&
416    x &&
417    x &&
418    x &&
419    x &&
420    x &&
421    x &&
422    x &&
423    x &&
424    x &&
425    x &&
426    x &&
427    x &&
428    x &&
429    x &&
430    x &&
431    x &&
432    x &&
433    x &&
434    x &&
435    x &&
436    x &&
437    x &&
438    x &&
439    x &&
440    x &&
441    x &&
442    x &&
443    x &&
444    x &&
445    x &&
446    x &&
447    x &&
448    x &&
449    x &&
450    x &&
451    x &&
452    x &&
453    x &&
454    x &&
455    x &&
456    x &&
457    x &&
458    x &&
459    x &&
460    x &&
461    x &&
462    x &&
463    x &&
464    x &&
465    x &&
466    x &&
467    x &&
468    x &&
469    x &&
470    x &&
471    x &&
472    x &&
473    x &&
474    x &&
475    x &&
476    x &&
477    x &&
478    x &&
479    x &&
480    x &&
481    x &&
482    x &&
483    x &&
484    x &&
485    x &&
486    x &&
487    x &&
488    x &&
489    x &&
490    x &&
491    x &&
492    x &&
493    x &&
494    x &&
495    x &&
496    x &&
497    x &&
498    x &&
499    x &&
500    x &&
501    x &&
502    x &&
503    x &&
504    x &&
505    x &&
506    x &&
507    x &&
508    x &&
509    x &&
510    x &&
511    x &&
512    x &&
513    x &&
514    x &&
515    x &&
516    x &&
517    x &&
518    x &&
519    x &&
520    x &&
521    x &&
522    x &&
523    x &&
524    x &&
525    x &&
526    x &&
527    x &&
528    x &&
529    x &&
530    x &&
531    x &&
532    x &&
533    x &&
534    x &&
535    x &&
536    x &&
537    x &&
538    x &&
539    x &&
540    x &&
541    x &&
542    x &&
543    x &&
544    x &&
545    x &&
546    x &&
547    x &&
548    x &&
549    x &&
550    x &&
551    x &&
552    x &&
553    x &&
554    x &&
555    x &&
556    x &&
557    x &&
558    x &&
559    x &&
560    x &&
561    x &&
562    x &&
563    x &&
564    x &&
565    x &&
566    x &&
567    x &&
568    x &&
569    x &&
570    x &&
571    x &&
572    x &&
573    x &&
574    x &&
575    x &&
576    x &&
577    x &&
578    x &&
579    x &&
580    x &&
581    x &&
582    x &&
583    x &&
584    x &&
585    x &&
586    x &&
587    x &&
588    x &&
589    x &&
590    x &&
591    x &&
592    x &&
593    x &&
594    x &&
595    x &&
596    x &&
597    x &&
598    x &&
599    x &&
600    x &&
601    x &&
602    x &&
603    x &&
604    x &&
605    x &&
606    x &&
607    x &&
608    x &&
609    x &&
610    x &&
611    x &&
612    x &&
613    x &&
614    x &&
615    x &&
616    x &&
617    x &&
618    x &&
619    x &&
620    x &&
621    x &&
622    x &&
623    x &&
624    x &&
625    x &&
626    x &&
627    x &&
628    x &&
629    x &&
630    x &&
631    x &&
632    x &&
633    x &&
634    x &&
635    x &&
636    x &&
637    x &&
638    x &&
639    x &&
640    x &&
641    x &&
642    x &&
643    x &&
644    x &&
645    x &&
646    x &&
647    x &&
648    x &&
649    x &&
650    x &&
651    x &&
652    x &&
653    x &&
654    x &&
655    x &&
656    x &&
657    x &&
658    x &&
659    x &&
660    x &&
661    x &&
662    x &&
663    x &&
664    x &&
665    x &&
666    x &&
667    x &&
668    x &&
669    x &&
670    x &&
671    x &&
672    x &&
673    x &&
674    x &&
675    x &&
676    x &&
677    x &&
678    x &&
679    x &&
680    x &&
681    x &&
682    x &&
683    x &&
684    x &&
685    x &&
686    x &&
687    x &&
688    x &&
689    x &&
690    x &&
691    x &&
692    x &&
693    x &&
694    x &&
695    x &&
696    x &&
697    x &&
698    x &&
699    x &&
700    x &&
701    x &&
702    x &&
703    x &&
704    x &&
705    x &&
706    x &&
707    x &&
708    x &&
709    x &&
710    x &&
711    x &&
712    x &&
713    x &&
714    x &&
715    x &&
716    x &&
717    x &&
718    x &&
719    x &&
720    x &&
721    x &&
722    x &&
723    x &&
724    x &&
725    x &&
726    x &&
727    x &&
728    x &&
729    x &&
730    x &&
731    x &&
732    x &&
733    x &&
734    x &&
735    x &&
736    x &&
737    x &&
738    x &&
739    x &&
740    x &&
741    x &&
742    x &&
743    x &&
744    x &&
745    x &&
746    x &&
747    x &&
748    x &&
749    x &&
750    x &&
751    x &&
752    x &&
753    x &&
754    x &&
755    x &&
756    x &&
757    x &&
758    x &&
759    x &&
760    x &&
761    x &&
762    x &&
763    x &&
764    x &&
765    x &&
766    x &&
767    x &&
768    x &&
769    x &&
770    x &&
771    x &&
772    x &&
773    x &&
774    x &&
775    x &&
776    x &&
777    x &&
778    x &&
779    x &&
780    x &&
781    x &&
782    x &&
783    x &&
784    x &&
785    x &&
786    x &&
787    x &&
788    x &&
789    x &&
790    x &&
791    x &&
792    x &&
793    x &&
794    x &&
795    x &&
796    x &&
797    x &&
798    x &&
799    x &&
800    x &&
801    x &&
802    x &&
803    x &&
804    x &&
805    x &&
806    x &&
807    x &&
808    x &&
809    x &&
810    x &&
811    x &&
812    x &&
813    x &&
814    x &&
815    x &&
816    x &&
817    x &&
818    x &&
819    x &&
820    x &&
821    x &&
822    x &&
823    x &&
824    x &&
825    x &&
826    x &&
827    x &&
828    x &&
829    x &&
830    x &&
831    x &&
832    x &&
833    x &&
834    x &&
835    x &&
836    x &&
837    x &&
838    x &&
839    x &&
840    x &&
841    x &&
842    x &&
843    x &&
844    x &&
845    x &&
846    x &&
847    x &&
848    x &&
849    x &&
850    x &&
851    x &&
852    x &&
853    x &&
854    x &&
855    x &&
856    x &&
857    x &&
858    x &&
859    x &&
860    x &&
861    x &&
862    x &&
863    x &&
864    x &&
865    x &&
866    x &&
867    x &&
868    x &&
869    x &&
870    x &&
871    x &&
872    x &&
873    x &&
874    x &&
875    x &&
876    x &&
877    x &&
878    x &&
879    x &&
880    x &&
881    x &&
882    x &&
883    x &&
884    x &&
885    x &&
886    x &&
887    x &&
888    x &&
889    x &&
890    x &&
891    x &&
892    x &&
893    x &&
894    x &&
895    x &&
896    x &&
897    x &&
898    x &&
899    x &&
900    x &&
901    x &&
902    x &&
903    x &&
904    x &&
905    x &&
906    x &&
907    x &&
908    x &&
909    x &&
910    x &&
911    x &&
912    x &&
913    x &&
914    x &&
915    x &&
916    x &&
917    x &&
918    x &&
919    x &&
920    x &&
921    x &&
922    x &&
923    x &&
924    x &&
925    x &&
926    x &&
927    x &&
928    x &&
929    x &&
930    x &&
931    x &&
932    x &&
933    x &&
934    x &&
935    x &&
936    x &&
937    x &&
938    x &&
939    x &&
940    x &&
941    x &&
942    x &&
943    x &&
944    x &&
945    x &&
946    x &&
947    x &&
948    x &&
949    x &&
950    x &&
951    x &&
952    x &&
953    x &&
954    x &&
955    x &&
956    x &&
957    x &&
958    x &&
959    x &&
960    x &&
961    x &&
962    x &&
963    x &&
964    x &&
965    x &&
966    x &&
967    x &&
968    x &&
969    x &&
970    x &&
971    x &&
972    x &&
973    x &&
974    x &&
975    x &&
976    x &&
977    x &&
978    x &&
979    x &&
980    x &&
981    x &&
982    x &&
983    x &&
984    x &&
985    x &&
986    x &&
987    x &&
988    x &&
989    x &&
990    x &&
991    x &&
992    x &&
993    x &&
994    x &&
995    x &&
996    x &&
997    x &&
998    x &&
999    x &&
1000    x &&
1001    x &&
1002    x &&
1003    x &&
1004    x &&
1005    x &&
1006    x &&
1007    x &&
1008    x &&
1009    x &&
1010    x &&
1011    x &&
1012    x &&
1013    x &&
1014    x &&
1015    x &&
1016    x &&
1017    x &&
1018    x &&
1019    x &&
1020    x &&
1021    x &&
1022    x &&
1023    x &&
1024    x &&
1025    x &&
1026    x &&
1027    x &&
1028    x &&
1029    x &&
1030    x &&
1031    x &&
1032    x &&
1033    x &&
1034    x &&
1035    x &&
1036    x &&
1037    x &&
1038    x &&
1039    x &&
1040    x &&
1041    x &&
1042    x &&
1043    x &&
1044    x &&
1045    x &&
1046    x &&
1047    x &&
1048    x &&
1049    x &&
1050    x &&
1051    x &&
1052    x &&
1053    x &&
1054    x &&
1055    x &&
1056    x &&
1057    x &&
1058    x &&
1059    x &&
1060    x &&
1061    x &&
1062    x &&
1063    x &&
1064    x &&
1065    x &&
1066    x &&
1067    x &&
1068    x &&
1069    x &&
1070    x &&
1071    x &&
1072    x &&
1073    x &&
1074    x &&
1075    x &&
1076    x &&
1077    x &&
1078    x &&
1079    x &&
1080    x &&
1081    x &&
1082    x &&
1083    x &&
1084    x &&
1085    x &&
1086    x &&
1087    x &&
1088    x &&
1089    x &&
1090    x &&
1091    x &&
1092    x &&
1093    x &&
1094    x &&
1095    x &&
1096    x &&
1097    x &&
1098    x &&
1099    x &&
1100    x &&
1101    x &&
1102    x &&
1103    x &&
1104    x &&
1105    x &&
1106    x &&
1107    x &&
1108    x &&
1109    x &&
1110    x &&
1111    x &&
1112    x &&
1113    x &&
1114    x &&
1115    x &&
1116    x &&
1117    x &&
1118    x &&
1119    x &&
1120    x &&
1121    x &&
1122    x &&
1123    x &&
1124    x &&
1125    x &&
1126    x &&
1127    x &&
1128    x &&
1129    x &&
1130    x &&
1131    x &&
1132    x &&
1133    x &&
1134    x &&
1135    x &&
1136    x &&
1137    x &&
1138    x &&
1139    x &&
1140    x &&
1141    x &&
1142    x &&
1143    x &&
1144    x &&
1145    x &&
1146    x &&
1147    x &&
1148    x &&
1149    x &&
1150    x &&
1151    x &&
1152    x &&
1153    x &&
1154    x &&
1155    x &&
1156    x &&
1157    x &&
1158    x &&
1159    x &&
1160    x &&
1161    x &&
1162    x &&
1163    x &&
1164    x &&
1165    x &&
1166    x &&
1167    x &&
1168    x &&
1169    x &&
1170    x &&
1171    x &&
1172    x &&
1173    x &&
1174    x &&
1175    x &&
1176    x &&
1177    x &&
1178    x &&
1179    x &&
1180    x &&
1181    x &&
1182    x &&
1183    x &&
1184    x &&
1185    x &&
1186    x &&
1187    x &&
1188    x &&
1189    x &&
1190    x &&
1191    x &&
1192    x &&
1193    x &&
1194    x &&
1195    x &&
1196    x &&
1197    x &&
1198    x &&
1199    x &&
1200    x &&
1201    x &&
1202    x &&
1203    x &&
1204    x &&
1205    x &&
1206    x &&
1207    x &&
1208    x &&
1209    x &&
1210    x &&
1211    x &&
1212    x &&
1213    x &&
1214    x &&
1215    x &&
1216    x &&
1217    x &&
1218    x &&
1219    x &&
1220    x &&
1221    x &&
1222    x &&
1223    x &&
1224    x &&
1225    x &&
1226    x &&
1227    x &&
1228    x &&
1229    x &&
1230    x &&
1231    x &&
1232    x &&
1233    x &&
1234    x &&
1235    x &&
1236    x &&
1237    x &&
1238    x &&
1239    x &&
1240    x &&
1241    x &&
1242    x &&
1243    x &&
1244    x &&
1245    x &&
1246    x &&
1247    x &&
1248    x &&
1249    x &&
1250    x &&
1251    x &&
1252    x &&
1253    x &&
1254    x &&
1255    x &&
1256    x &&
1257    x &&
1258    x &&
1259    x &&
1260    x &&
1261    x &&
1262    x &&
1263    x &&
1264    x &&
1265    x &&
1266    x &&
1267    x &&
1268    x &&
1269    x &&
1270    x &&
1271    x &&
1272    x &&
1273    x &&
1274    x &&
1275    x &&
1276    x &&
1277    x &&
1278    x &&
1279    x &&
1280    x &&
1281    x &&
1282    x &&
1283    x &&
1284    x &&
1285    x &&
1286    x &&
1287    x &&
1288    x &&
1289    x &&
1290    x &&
1291    x &&
1292    x &&
1293    x &&
1294    x &&
1295    x &&
1296    x &&
1297    x &&
1298    x &&
1299    x &&
1300    x &&
1301    x &&
1302    x &&
1303    x &&
1304    x &&
1305    x &&
1306    x &&
1307    x &&
1308    x &&
1309    x &&
1310    x &&
1311    x &&
1312    x &&
1313    x &&
1314    x &&
1315    x &&
1316    x &&
1317    x &&
1318    x &&
1319    x &&
1320    x &&
1321    x &&
1322    x &&
1323    x &&
1324    x &&
1325    x &&
1326    x &&
1327    x &&
1328    x &&
1329    x &&
1330    x &&
1331    x &&
1332    x &&
1333    x &&
1334    x &&
1335    x &&
1336    x &&
1337    x &&
1338    x &&
1339    x &&
1340    x &&
1341    x &&
1342    x &&
1343    x &&
1344    x &&
1345    x &&
1346    x &&
1347    x &&
1348    x &&
1349    x &&
1350    x &&
1351    x &&
1352    x &&
1353    x &&
1354    x &&
1355    x &&
1356    x &&
1357    x &&
1358    x &&
1359    x &&
1360    x &&
1361    x &&
1362    x &&
1363    x &&
1364    x &&
1365    x &&
1366    x &&
1367    x &&
1368    x &&
1369    x &&
1370    x &&
1371    x &&
1372    x &&
1373    x &&
1374    x &&
1375    x &&
1376    x &&
1377    x &&
1378    x &&
1379    x &&
1380    x &&
1381    x &&
1382    x &&
1383    x &&
1384    x &&
1385    x &&
1386    x &&
1387    x &&
1388    x &&
1389    x &&
1390    x &&
1391    x &&
1392    x &&
1393    x &&
1394    x &&
1395    x &&
1396    x &&
1397    x &&
1398    x &&
1399    x &&
1400    x &&
1401    x &&
1402    x &&
1403    x &&
1404    x &&
1405    x &&
1406    x &&
1407    x &&
1408    x &&
1409    x &&
1410    x &&
1411    x &&
1412    x &&
1413    x &&
1414    x &&
1415    x &&
1416    x &&
1417    x &&
1418    x &&
1419    x &&
1420    x &&
1421    x &&
1422    x &&
1423    x &&
1424    x &&
1425    x &&
1426    x &&
1427    x &&
1428    x &&
1429    x &&
1430    x &&
1431    x &&
1432    x &&
1433    x &&
1434    x &&
1435    x &&
1436    x &&
1437    x &&
1438    x &&
1439    x &&
1440    x &&
1441    x &&
1442    x &&
1443    x &&
1444    x &&
1445    x &&
1446    x &&
1447    x &&
1448    x &&
1449    x &&
1450    x &&
1451    x &&
1452    x &&
1453    x &&
1454    x &&
1455    x &&
1456    x &&
1457    x &&
1458    x &&
1459    x &&
1460    x &&
1461    x &&
1462    x &&
1463    x &&
1464    x &&
1465    x &&
1466    x &&
1467    x &&
1468    x &&
1469    x &&
1470    x &&
1471    x &&
1472    x &&
1473    x &&
1474    x &&
1475    x &&
1476    x &&
1477    x &&
1478    x &&
1479    x &&
1480    x &&
1481    x &&
1482    x &&
1483    x &&
1484    x &&
1485    x &&
1486    x &&
1487    x &&
1488    x &&
1489    x &&
1490    x &&
1491    x &&
1492    x &&
1493    x &&
1494    x &&
1495    x &&
1496    x &&
1497    x &&
1498    x &&
1499    x &&
1500    x &&
1501    x &&
1502    x &&
1503    x &&
1504    x &&
1505    x &&
1506    x &&
1507    x &&
1508    x &&
1509    x &&
1510    x &&
1511    x &&
1512    x &&
1513    x &&
1514    x &&
1515    x &&
1516    x &&
1517    x &&
1518    x &&
1519    x &&
1520    x &&
1521    x &&
1522    x &&
1523    x &&
1524    x &&
1525    x &&
1526    x &&
1527    x &&
1528    x &&
1529    x &&
1530    x &&
1531    x &&
1532    x &&
1533    x &&
1534    x &&
1535    x &&
1536    x &&
1537    x &&
1538    x &&
1539    x &&
1540    x &&
1541    x &&
1542    x &&
1543    x &&
1544    x &&
1545    x &&
1546    x &&
1547    x &&
1548    x &&
1549    x &&
1550    x &&
1551    x &&
1552    x &&
1553    x &&
1554    x &&
1555    x &&
1556    x &&
1557    x &&
1558    x &&
1559    x &&
1560    x &&
1561    x &&
1562    x &&
1563    x &&
1564    x &&
1565    x &&
1566    x &&
1567    x &&
1568    x &&
1569    x &&
1570    x &&
1571    x &&
1572    x &&
1573    x &&
1574    x &&
1575    x &&
1576    x &&
1577    x &&
1578    x &&
1579    x &&
1580    x &&
1581    x &&
1582    x &&
1583    x &&
1584    x &&
1585    x &&
1586    x &&
1587    x &&
1588    x &&
1589    x &&
1590    x &&
1591    x &&
1592    x &&
1593    x &&
1594    x &&
1595    x &&
1596    x &&
1597    x &&
1598    x &&
1599    x &&
1600    x &&
1601    x &&
1602    x &&
1603    x &&
1604    x &&
1605    x &&
1606    x &&
1607    x &&
1608    x &&
1609    x &&
1610    x &&
1611    x &&
1612    x &&
1613    x &&
1614    x &&
1615    x &&
1616    x &&
1617    x &&
1618    x &&
1619    x &&
1620    x &&
1621    x &&
1622    x &&
1623    x &&
1624    x &&
1625    x &&
1626    x &&
1627    x &&
1628    x &&
1629    x &&
1630    x &&
1631    x &&
1632    x &&
1633    x &&
1634    x &&
1635    x &&
1636    x &&
1637    x &&
1638    x &&
1639    x &&
1640    x &&
1641    x &&
1642    x &&
1643    x &&
1644    x &&
1645    x &&
1646    x &&
1647    x &&
1648    x &&
1649    x &&
1650    x &&
1651    x &&
1652    x &&
1653    x &&
1654    x &&
1655    x &&
1656    x &&
1657    x &&
1658    x &&
1659    x &&
1660    x &&
1661    x &&
1662    x &&
1663    x &&
1664    x &&
1665    x &&
1666    x &&
1667    x &&
1668    x &&
1669    x &&
1670    x &&
1671    x &&
1672    x &&
1673    x &&
1674    x &&
1675    x &&
1676    x &&
1677    x &&
1678    x &&
1679    x &&
1680    x &&
1681    x &&
1682    x &&
1683    x &&
1684    x &&
1685    x &&
1686    x &&
1687    x &&
1688    x &&
1689    x &&
1690    x &&
1691    x &&
1692    x &&
1693    x &&
1694    x &&
1695    x &&
1696    x &&
1697    x &&
1698    x &&
1699    x &&
1700    x &&
1701    x &&
1702    x &&
1703    x &&
1704    x &&
1705    x &&
1706    x &&
1707    x &&
1708    x &&
1709    x &&
1710    x &&
1711    x &&
1712    x &&
1713    x &&
1714    x &&
1715    x &&
1716    x &&
1717    x &&
1718    x &&
1719    x &&
1720    x &&
1721    x &&
1722    x &&
1723    x &&
1724    x &&
1725    x &&
1726    x &&
1727    x &&
1728    x &&
1729    x &&
1730    x &&
1731    x &&
1732    x &&
1733    x &&
1734    x &&
1735    x &&
1736    x &&
1737    x &&
1738    x &&
1739    x &&
1740    x &&
1741    x &&
1742    x &&
1743    x &&
1744    x &&
1745    x &&
1746    x &&
1747    x &&
1748    x &&
1749    x &&
1750    x &&
1751    x &&
1752    x &&
1753    x &&
1754    x &&
1755    x &&
1756    x &&
1757    x &&
1758    x &&
1759    x &&
1760    x &&
1761    x &&
1762    x &&
1763    x &&
1764    x &&
1765    x &&
1766    x &&
1767    x &&
1768    x &&
1769    x &&
1770    x &&
1771    x &&
1772    x &&
1773    x &&
1774    x &&
1775    x &&
1776    x &&
1777    x &&
1778    x &&
1779    x &&
1780    x &&
1781    x &&
1782    x &&
1783    x &&
1784    x &&
1785    x &&
1786    x &&
1787    x &&
1788    x &&
1789    x &&
1790    x &&
1791    x &&
1792    x &&
1793    x &&
1794    x &&
1795    x &&
1796    x &&
1797    x &&
1798    x &&
1799    x &&
1800    x &&
1801    x &&
1802    x &&
1803    x &&
1804    x &&
1805    x &&
1806    x &&
1807    x &&
1808    x &&
1809    x &&
1810    x &&
1811    x &&
1812    x &&
1813    x &&
1814    x &&
1815    x &&
1816    x &&
1817    x &&
1818    x &&
1819    x &&
1820    x &&
1821    x &&
1822    x &&
1823    x &&
1824    x &&
1825    x &&
1826    x &&
1827    x &&
1828    x &&
1829    x &&
1830    x &&
1831    x &&
1832    x &&
1833    x &&
1834    x &&
1835    x &&
1836    x &&
1837    x &&
1838    x &&
1839    x &&
1840    x &&
1841    x &&
1842    x &&
1843    x &&
1844    x &&
1845    x &&
1846    x &&
1847    x &&
1848    x &&
1849    x &&
1850    x &&
1851    x &&
1852    x &&
1853    x &&
1854    x &&
1855    x &&
1856    x &&
1857    x &&
1858    x &&
1859    x &&
1860    x &&
1861    x &&
1862    x &&
1863    x &&
1864    x &&
1865    x &&
1866    x &&
1867    x &&
1868    x &&
1869    x &&
1870    x &&
1871    x &&
1872    x &&
1873    x &&
1874    x &&
1875    x &&
1876    x &&
1877    x &&
1878    x &&
1879    x &&
1880    x &&
1881    x &&
1882    x &&
1883    x &&
1884    x &&
1885    x &&
1886    x &&
1887    x &&
1888    x &&
1889    x &&
1890    x &&
1891    x &&
1892    x &&
1893    x &&
1894    x &&
1895    x &&
1896    x &&
1897    x &&
1898    x &&
1899    x &&
1900    x &&
1901    x &&
1902    x &&
1903    x &&
1904    x &&
1905    x &&
1906    x &&
1907    x &&
1908    x &&
1909    x &&
1910    x &&
1911    x &&
1912    x &&
1913    x &&
1914    x &&
1915    x &&
1916    x &&
1917    x &&
1918    x &&
1919    x &&
1920    x &&
1921    x &&
1922    x &&
1923    x &&
1924    x &&
1925    x &&
1926    x &&
1927    x &&
1928    x &&
1929    x &&
1930    x &&
1931    x &&
1932    x &&
1933    x &&
1934    x &&
1935    x &&
1936    x &&
1937    x &&
1938    x &&
1939    x &&
1940    x &&
1941    x &&
1942    x &&
1943    x &&
1944    x &&
1945    x &&
1946    x &&
1947    x &&
1948    x &&
1949    x &&
1950    x &&
1951    x &&
1952    x &&
1953    x &&
1954    x &&
1955    x &&
1956    x &&
1957    x &&
1958    x &&
1959    x &&
1960    x &&
1961    x &&
1962    x &&
1963    x &&
1964    x &&
1965    x &&
1966    x &&
1967    x &&
1968    x &&
1969    x &&
1970    x &&
1971    x &&
1972    x &&
1973    x &&
1974    x &&
1975    x &&
1976    x &&
1977    x &&
1978    x &&
1979    x &&
1980    x &&
1981    x &&
1982    x &&
1983    x &&
1984    x &&
1985    x &&
1986    x &&
1987    x &&
1988    x &&
1989    x &&
1990    x &&
1991    x &&
1992    x &&
1993    x &&
1994    x &&
1995    x &&
1996    x &&
1997    x &&
1998    x &&
1999    x &&
2000    x &&
2001    x &&
2002    x &&
2003    x &&
2004    x &&
2005    x &&
2006    x &&
2007    x &&
2008    x &&
2009    x &&
2010    x;
2011}
2012