GCC Code Coverage Report


Directory: .
File: main.cpp
Date: 2020-09-29 20:31:00
Exec Total Coverage
Lines: 2004 2005 99.9%
Branches: 1999 2000 99.9%

Line Branch Exec Source
1
2 void use_number_of_branches( int number );
3
4 1000 int main() {
5
2/2
✓ Branch 0 taken 999 times.
✓ Branch 1 taken 1 times.
1000 for ( int x; x < 999; ++x ) {
6 999 use_number_of_branches( x );
7 }
8 1 return 0;
9 }
10
11 999 void use_number_of_branches( int number ) {
12 999 int x = 0;
13
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 998 times.
999 if ( ++x == number ) {
14 1 return;
15 }
16
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 997 times.
998 else if ( ++x == number ) {
17 1 return;
18 }
19
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 996 times.
997 else if ( ++x == number ) {
20 1 return;
21 }
22
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 995 times.
996 else if ( ++x == number ) {
23 1 return;
24 }
25
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 994 times.
995 else if ( ++x == number ) {
26 1 return;
27 }
28
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 993 times.
994 else if ( ++x == number ) {
29 1 return;
30 }
31
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 992 times.
993 else if ( ++x == number ) {
32 1 return;
33 }
34
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 991 times.
992 else if ( ++x == number ) {
35 1 return;
36 }
37
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 990 times.
991 else if ( ++x == number ) {
38 1 return;
39 }
40
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 989 times.
990 else if ( ++x == number ) {
41 1 return;
42 }
43
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 988 times.
989 else if ( ++x == number ) {
44 1 return;
45 }
46
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 987 times.
988 else if ( ++x == number ) {
47 1 return;
48 }
49
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 986 times.
987 else if ( ++x == number ) {
50 1 return;
51 }
52
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 985 times.
986 else if ( ++x == number ) {
53 1 return;
54 }
55
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 984 times.
985 else if ( ++x == number ) {
56 1 return;
57 }
58
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 983 times.
984 else if ( ++x == number ) {
59 1 return;
60 }
61
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 982 times.
983 else if ( ++x == number ) {
62 1 return;
63 }
64
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 981 times.
982 else if ( ++x == number ) {
65 1 return;
66 }
67
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 980 times.
981 else if ( ++x == number ) {
68 1 return;
69 }
70
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 979 times.
980 else if ( ++x == number ) {
71 1 return;
72 }
73
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 978 times.
979 else if ( ++x == number ) {
74 1 return;
75 }
76
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 977 times.
978 else if ( ++x == number ) {
77 1 return;
78 }
79
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 976 times.
977 else if ( ++x == number ) {
80 1 return;
81 }
82
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 975 times.
976 else if ( ++x == number ) {
83 1 return;
84 }
85
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 974 times.
975 else if ( ++x == number ) {
86 1 return;
87 }
88
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 973 times.
974 else if ( ++x == number ) {
89 1 return;
90 }
91
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 972 times.
973 else if ( ++x == number ) {
92 1 return;
93 }
94
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 971 times.
972 else if ( ++x == number ) {
95 1 return;
96 }
97
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 970 times.
971 else if ( ++x == number ) {
98 1 return;
99 }
100
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 969 times.
970 else if ( ++x == number ) {
101 1 return;
102 }
103
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 968 times.
969 else if ( ++x == number ) {
104 1 return;
105 }
106
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 967 times.
968 else if ( ++x == number ) {
107 1 return;
108 }
109
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 966 times.
967 else if ( ++x == number ) {
110 1 return;
111 }
112
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 965 times.
966 else if ( ++x == number ) {
113 1 return;
114 }
115
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 964 times.
965 else if ( ++x == number ) {
116 1 return;
117 }
118
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 963 times.
964 else if ( ++x == number ) {
119 1 return;
120 }
121
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 962 times.
963 else if ( ++x == number ) {
122 1 return;
123 }
124
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 961 times.
962 else if ( ++x == number ) {
125 1 return;
126 }
127
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 960 times.
961 else if ( ++x == number ) {
128 1 return;
129 }
130
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 959 times.
960 else if ( ++x == number ) {
131 1 return;
132 }
133
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 958 times.
959 else if ( ++x == number ) {
134 1 return;
135 }
136
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 957 times.
958 else if ( ++x == number ) {
137 1 return;
138 }
139
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 956 times.
957 else if ( ++x == number ) {
140 1 return;
141 }
142
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 955 times.
956 else if ( ++x == number ) {
143 1 return;
144 }
145
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 954 times.
955 else if ( ++x == number ) {
146 1 return;
147 }
148
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 953 times.
954 else if ( ++x == number ) {
149 1 return;
150 }
151
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 952 times.
953 else if ( ++x == number ) {
152 1 return;
153 }
154
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 951 times.
952 else if ( ++x == number ) {
155 1 return;
156 }
157
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 950 times.
951 else if ( ++x == number ) {
158 1 return;
159 }
160
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 949 times.
950 else if ( ++x == number ) {
161 1 return;
162 }
163
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 948 times.
949 else if ( ++x == number ) {
164 1 return;
165 }
166
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 947 times.
948 else if ( ++x == number ) {
167 1 return;
168 }
169
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 946 times.
947 else if ( ++x == number ) {
170 1 return;
171 }
172
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 945 times.
946 else if ( ++x == number ) {
173 1 return;
174 }
175
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 944 times.
945 else if ( ++x == number ) {
176 1 return;
177 }
178
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 943 times.
944 else if ( ++x == number ) {
179 1 return;
180 }
181
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 942 times.
943 else if ( ++x == number ) {
182 1 return;
183 }
184
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 941 times.
942 else if ( ++x == number ) {
185 1 return;
186 }
187
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 940 times.
941 else if ( ++x == number ) {
188 1 return;
189 }
190
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 939 times.
940 else if ( ++x == number ) {
191 1 return;
192 }
193
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 938 times.
939 else if ( ++x == number ) {
194 1 return;
195 }
196
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 937 times.
938 else if ( ++x == number ) {
197 1 return;
198 }
199
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 936 times.
937 else if ( ++x == number ) {
200 1 return;
201 }
202
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 935 times.
936 else if ( ++x == number ) {
203 1 return;
204 }
205
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 934 times.
935 else if ( ++x == number ) {
206 1 return;
207 }
208
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 933 times.
934 else if ( ++x == number ) {
209 1 return;
210 }
211
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 932 times.
933 else if ( ++x == number ) {
212 1 return;
213 }
214
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 931 times.
932 else if ( ++x == number ) {
215 1 return;
216 }
217
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 930 times.
931 else if ( ++x == number ) {
218 1 return;
219 }
220
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 929 times.
930 else if ( ++x == number ) {
221 1 return;
222 }
223
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 928 times.
929 else if ( ++x == number ) {
224 1 return;
225 }
226
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 927 times.
928 else if ( ++x == number ) {
227 1 return;
228 }
229
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 926 times.
927 else if ( ++x == number ) {
230 1 return;
231 }
232
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 925 times.
926 else if ( ++x == number ) {
233 1 return;
234 }
235
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 924 times.
925 else if ( ++x == number ) {
236 1 return;
237 }
238
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 923 times.
924 else if ( ++x == number ) {
239 1 return;
240 }
241
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 922 times.
923 else if ( ++x == number ) {
242 1 return;
243 }
244
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 921 times.
922 else if ( ++x == number ) {
245 1 return;
246 }
247
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 920 times.
921 else if ( ++x == number ) {
248 1 return;
249 }
250
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 919 times.
920 else if ( ++x == number ) {
251 1 return;
252 }
253
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 918 times.
919 else if ( ++x == number ) {
254 1 return;
255 }
256
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 917 times.
918 else if ( ++x == number ) {
257 1 return;
258 }
259
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 916 times.
917 else if ( ++x == number ) {
260 1 return;
261 }
262
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 915 times.
916 else if ( ++x == number ) {
263 1 return;
264 }
265
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 914 times.
915 else if ( ++x == number ) {
266 1 return;
267 }
268
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 913 times.
914 else if ( ++x == number ) {
269 1 return;
270 }
271
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 912 times.
913 else if ( ++x == number ) {
272 1 return;
273 }
274
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 911 times.
912 else if ( ++x == number ) {
275 1 return;
276 }
277
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 910 times.
911 else if ( ++x == number ) {
278 1 return;
279 }
280
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 909 times.
910 else if ( ++x == number ) {
281 1 return;
282 }
283
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 908 times.
909 else if ( ++x == number ) {
284 1 return;
285 }
286
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 907 times.
908 else if ( ++x == number ) {
287 1 return;
288 }
289
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 906 times.
907 else if ( ++x == number ) {
290 1 return;
291 }
292
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 905 times.
906 else if ( ++x == number ) {
293 1 return;
294 }
295
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 904 times.
905 else if ( ++x == number ) {
296 1 return;
297 }
298
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 903 times.
904 else if ( ++x == number ) {
299 1 return;
300 }
301
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 902 times.
903 else if ( ++x == number ) {
302 1 return;
303 }
304
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 901 times.
902 else if ( ++x == number ) {
305 1 return;
306 }
307
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 900 times.
901 else if ( ++x == number ) {
308 1 return;
309 }
310
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 899 times.
900 else if ( ++x == number ) {
311 1 return;
312 }
313
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 898 times.
899 else if ( ++x == number ) {
314 1 return;
315 }
316
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 897 times.
898 else if ( ++x == number ) {
317 1 return;
318 }
319
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 896 times.
897 else if ( ++x == number ) {
320 1 return;
321 }
322
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 895 times.
896 else if ( ++x == number ) {
323 1 return;
324 }
325
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 894 times.
895 else if ( ++x == number ) {
326 1 return;
327 }
328
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 893 times.
894 else if ( ++x == number ) {
329 1 return;
330 }
331
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 892 times.
893 else if ( ++x == number ) {
332 1 return;
333 }
334
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 891 times.
892 else if ( ++x == number ) {
335 1 return;
336 }
337
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 890 times.
891 else if ( ++x == number ) {
338 1 return;
339 }
340
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 889 times.
890 else if ( ++x == number ) {
341 1 return;
342 }
343
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 888 times.
889 else if ( ++x == number ) {
344 1 return;
345 }
346
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 887 times.
888 else if ( ++x == number ) {
347 1 return;
348 }
349
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 886 times.
887 else if ( ++x == number ) {
350 1 return;
351 }
352
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 885 times.
886 else if ( ++x == number ) {
353 1 return;
354 }
355
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 884 times.
885 else if ( ++x == number ) {
356 1 return;
357 }
358
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 883 times.
884 else if ( ++x == number ) {
359 1 return;
360 }
361
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 882 times.
883 else if ( ++x == number ) {
362 1 return;
363 }
364
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 881 times.
882 else if ( ++x == number ) {
365 1 return;
366 }
367
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 880 times.
881 else if ( ++x == number ) {
368 1 return;
369 }
370
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 879 times.
880 else if ( ++x == number ) {
371 1 return;
372 }
373
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 878 times.
879 else if ( ++x == number ) {
374 1 return;
375 }
376
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 877 times.
878 else if ( ++x == number ) {
377 1 return;
378 }
379
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 876 times.
877 else if ( ++x == number ) {
380 1 return;
381 }
382
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 875 times.
876 else if ( ++x == number ) {
383 1 return;
384 }
385
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 874 times.
875 else if ( ++x == number ) {
386 1 return;
387 }
388
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 873 times.
874 else if ( ++x == number ) {
389 1 return;
390 }
391
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 872 times.
873 else if ( ++x == number ) {
392 1 return;
393 }
394
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 871 times.
872 else if ( ++x == number ) {
395 1 return;
396 }
397
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 870 times.
871 else if ( ++x == number ) {
398 1 return;
399 }
400
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 869 times.
870 else if ( ++x == number ) {
401 1 return;
402 }
403
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 868 times.
869 else if ( ++x == number ) {
404 1 return;
405 }
406
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 867 times.
868 else if ( ++x == number ) {
407 1 return;
408 }
409
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 866 times.
867 else if ( ++x == number ) {
410 1 return;
411 }
412
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 865 times.
866 else if ( ++x == number ) {
413 1 return;
414 }
415
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 864 times.
865 else if ( ++x == number ) {
416 1 return;
417 }
418
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 863 times.
864 else if ( ++x == number ) {
419 1 return;
420 }
421
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 862 times.
863 else if ( ++x == number ) {
422 1 return;
423 }
424
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 861 times.
862 else if ( ++x == number ) {
425 1 return;
426 }
427
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 860 times.
861 else if ( ++x == number ) {
428 1 return;
429 }
430
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 859 times.
860 else if ( ++x == number ) {
431 1 return;
432 }
433
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 858 times.
859 else if ( ++x == number ) {
434 1 return;
435 }
436
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 857 times.
858 else if ( ++x == number ) {
437 1 return;
438 }
439
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 856 times.
857 else if ( ++x == number ) {
440 1 return;
441 }
442
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 855 times.
856 else if ( ++x == number ) {
443 1 return;
444 }
445
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 854 times.
855 else if ( ++x == number ) {
446 1 return;
447 }
448
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 853 times.
854 else if ( ++x == number ) {
449 1 return;
450 }
451
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 852 times.
853 else if ( ++x == number ) {
452 1 return;
453 }
454
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 851 times.
852 else if ( ++x == number ) {
455 1 return;
456 }
457
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 850 times.
851 else if ( ++x == number ) {
458 1 return;
459 }
460
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 849 times.
850 else if ( ++x == number ) {
461 1 return;
462 }
463
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 848 times.
849 else if ( ++x == number ) {
464 1 return;
465 }
466
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 847 times.
848 else if ( ++x == number ) {
467 1 return;
468 }
469
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 846 times.
847 else if ( ++x == number ) {
470 1 return;
471 }
472
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 845 times.
846 else if ( ++x == number ) {
473 1 return;
474 }
475
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 844 times.
845 else if ( ++x == number ) {
476 1 return;
477 }
478
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 843 times.
844 else if ( ++x == number ) {
479 1 return;
480 }
481
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 842 times.
843 else if ( ++x == number ) {
482 1 return;
483 }
484
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 841 times.
842 else if ( ++x == number ) {
485 1 return;
486 }
487
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 840 times.
841 else if ( ++x == number ) {
488 1 return;
489 }
490
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 839 times.
840 else if ( ++x == number ) {
491 1 return;
492 }
493
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 838 times.
839 else if ( ++x == number ) {
494 1 return;
495 }
496
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 837 times.
838 else if ( ++x == number ) {
497 1 return;
498 }
499
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 836 times.
837 else if ( ++x == number ) {
500 1 return;
501 }
502
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 835 times.
836 else if ( ++x == number ) {
503 1 return;
504 }
505
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 834 times.
835 else if ( ++x == number ) {
506 1 return;
507 }
508
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 833 times.
834 else if ( ++x == number ) {
509 1 return;
510 }
511
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 832 times.
833 else if ( ++x == number ) {
512 1 return;
513 }
514
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 831 times.
832 else if ( ++x == number ) {
515 1 return;
516 }
517
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 830 times.
831 else if ( ++x == number ) {
518 1 return;
519 }
520
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 829 times.
830 else if ( ++x == number ) {
521 1 return;
522 }
523
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 828 times.
829 else if ( ++x == number ) {
524 1 return;
525 }
526
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 827 times.
828 else if ( ++x == number ) {
527 1 return;
528 }
529
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 826 times.
827 else if ( ++x == number ) {
530 1 return;
531 }
532
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 825 times.
826 else if ( ++x == number ) {
533 1 return;
534 }
535
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 824 times.
825 else if ( ++x == number ) {
536 1 return;
537 }
538
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 823 times.
824 else if ( ++x == number ) {
539 1 return;
540 }
541
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 822 times.
823 else if ( ++x == number ) {
542 1 return;
543 }
544
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 821 times.
822 else if ( ++x == number ) {
545 1 return;
546 }
547
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 820 times.
821 else if ( ++x == number ) {
548 1 return;
549 }
550
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 819 times.
820 else if ( ++x == number ) {
551 1 return;
552 }
553
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 818 times.
819 else if ( ++x == number ) {
554 1 return;
555 }
556
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 817 times.
818 else if ( ++x == number ) {
557 1 return;
558 }
559
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 816 times.
817 else if ( ++x == number ) {
560 1 return;
561 }
562
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 815 times.
816 else if ( ++x == number ) {
563 1 return;
564 }
565
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 814 times.
815 else if ( ++x == number ) {
566 1 return;
567 }
568
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 813 times.
814 else if ( ++x == number ) {
569 1 return;
570 }
571
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 812 times.
813 else if ( ++x == number ) {
572 1 return;
573 }
574
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 811 times.
812 else if ( ++x == number ) {
575 1 return;
576 }
577
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 810 times.
811 else if ( ++x == number ) {
578 1 return;
579 }
580
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 809 times.
810 else if ( ++x == number ) {
581 1 return;
582 }
583
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 808 times.
809 else if ( ++x == number ) {
584 1 return;
585 }
586
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 807 times.
808 else if ( ++x == number ) {
587 1 return;
588 }
589
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 806 times.
807 else if ( ++x == number ) {
590 1 return;
591 }
592
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 805 times.
806 else if ( ++x == number ) {
593 1 return;
594 }
595
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 804 times.
805 else if ( ++x == number ) {
596 1 return;
597 }
598
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 803 times.
804 else if ( ++x == number ) {
599 1 return;
600 }
601
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 802 times.
803 else if ( ++x == number ) {
602 1 return;
603 }
604
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 801 times.
802 else if ( ++x == number ) {
605 1 return;
606 }
607
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 800 times.
801 else if ( ++x == number ) {
608 1 return;
609 }
610
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 799 times.
800 else if ( ++x == number ) {
611 1 return;
612 }
613
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 798 times.
799 else if ( ++x == number ) {
614 1 return;
615 }
616
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 797 times.
798 else if ( ++x == number ) {
617 1 return;
618 }
619
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 796 times.
797 else if ( ++x == number ) {
620 1 return;
621 }
622
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 795 times.
796 else if ( ++x == number ) {
623 1 return;
624 }
625
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 794 times.
795 else if ( ++x == number ) {
626 1 return;
627 }
628
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 793 times.
794 else if ( ++x == number ) {
629 1 return;
630 }
631
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 792 times.
793 else if ( ++x == number ) {
632 1 return;
633 }
634
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 791 times.
792 else if ( ++x == number ) {
635 1 return;
636 }
637
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 790 times.
791 else if ( ++x == number ) {
638 1 return;
639 }
640
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 789 times.
790 else if ( ++x == number ) {
641 1 return;
642 }
643
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 788 times.
789 else if ( ++x == number ) {
644 1 return;
645 }
646
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 787 times.
788 else if ( ++x == number ) {
647 1 return;
648 }
649
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 786 times.
787 else if ( ++x == number ) {
650 1 return;
651 }
652
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 785 times.
786 else if ( ++x == number ) {
653 1 return;
654 }
655
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 784 times.
785 else if ( ++x == number ) {
656 1 return;
657 }
658
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 783 times.
784 else if ( ++x == number ) {
659 1 return;
660 }
661
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 782 times.
783 else if ( ++x == number ) {
662 1 return;
663 }
664
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 781 times.
782 else if ( ++x == number ) {
665 1 return;
666 }
667
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 780 times.
781 else if ( ++x == number ) {
668 1 return;
669 }
670
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 779 times.
780 else if ( ++x == number ) {
671 1 return;
672 }
673
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 778 times.
779 else if ( ++x == number ) {
674 1 return;
675 }
676
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 777 times.
778 else if ( ++x == number ) {
677 1 return;
678 }
679
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 776 times.
777 else if ( ++x == number ) {
680 1 return;
681 }
682
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 775 times.
776 else if ( ++x == number ) {
683 1 return;
684 }
685
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 774 times.
775 else if ( ++x == number ) {
686 1 return;
687 }
688
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 773 times.
774 else if ( ++x == number ) {
689 1 return;
690 }
691
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 772 times.
773 else if ( ++x == number ) {
692 1 return;
693 }
694
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 771 times.
772 else if ( ++x == number ) {
695 1 return;
696 }
697
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 770 times.
771 else if ( ++x == number ) {
698 1 return;
699 }
700
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 769 times.
770 else if ( ++x == number ) {
701 1 return;
702 }
703
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 768 times.
769 else if ( ++x == number ) {
704 1 return;
705 }
706
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 767 times.
768 else if ( ++x == number ) {
707 1 return;
708 }
709
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 766 times.
767 else if ( ++x == number ) {
710 1 return;
711 }
712
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 765 times.
766 else if ( ++x == number ) {
713 1 return;
714 }
715
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 764 times.
765 else if ( ++x == number ) {
716 1 return;
717 }
718
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 763 times.
764 else if ( ++x == number ) {
719 1 return;
720 }
721
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 762 times.
763 else if ( ++x == number ) {
722 1 return;
723 }
724
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 761 times.
762 else if ( ++x == number ) {
725 1 return;
726 }
727
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 760 times.
761 else if ( ++x == number ) {
728 1 return;
729 }
730
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 759 times.
760 else if ( ++x == number ) {
731 1 return;
732 }
733
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 758 times.
759 else if ( ++x == number ) {
734 1 return;
735 }
736
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 757 times.
758 else if ( ++x == number ) {
737 1 return;
738 }
739
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 756 times.
757 else if ( ++x == number ) {
740 1 return;
741 }
742
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 755 times.
756 else if ( ++x == number ) {
743 1 return;
744 }
745
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 754 times.
755 else if ( ++x == number ) {
746 1 return;
747 }
748
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 753 times.
754 else if ( ++x == number ) {
749 1 return;
750 }
751
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 752 times.
753 else if ( ++x == number ) {
752 1 return;
753 }
754
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 751 times.
752 else if ( ++x == number ) {
755 1 return;
756 }
757
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 750 times.
751 else if ( ++x == number ) {
758 1 return;
759 }
760
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 749 times.
750 else if ( ++x == number ) {
761 1 return;
762 }
763
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 748 times.
749 else if ( ++x == number ) {
764 1 return;
765 }
766
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 747 times.
748 else if ( ++x == number ) {
767 1 return;
768 }
769
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 746 times.
747 else if ( ++x == number ) {
770 1 return;
771 }
772
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 745 times.
746 else if ( ++x == number ) {
773 1 return;
774 }
775
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 744 times.
745 else if ( ++x == number ) {
776 1 return;
777 }
778
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 743 times.
744 else if ( ++x == number ) {
779 1 return;
780 }
781
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 742 times.
743 else if ( ++x == number ) {
782 1 return;
783 }
784
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 741 times.
742 else if ( ++x == number ) {
785 1 return;
786 }
787
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 740 times.
741 else if ( ++x == number ) {
788 1 return;
789 }
790
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 739 times.
740 else if ( ++x == number ) {
791 1 return;
792 }
793
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 738 times.
739 else if ( ++x == number ) {
794 1 return;
795 }
796
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 737 times.
738 else if ( ++x == number ) {
797 1 return;
798 }
799
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 736 times.
737 else if ( ++x == number ) {
800 1 return;
801 }
802
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 735 times.
736 else if ( ++x == number ) {
803 1 return;
804 }
805
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 734 times.
735 else if ( ++x == number ) {
806 1 return;
807 }
808
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 733 times.
734 else if ( ++x == number ) {
809 1 return;
810 }
811
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 732 times.
733 else if ( ++x == number ) {
812 1 return;
813 }
814
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 731 times.
732 else if ( ++x == number ) {
815 1 return;
816 }
817
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 730 times.
731 else if ( ++x == number ) {
818 1 return;
819 }
820
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 729 times.
730 else if ( ++x == number ) {
821 1 return;
822 }
823
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 728 times.
729 else if ( ++x == number ) {
824 1 return;
825 }
826
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 727 times.
728 else if ( ++x == number ) {
827 1 return;
828 }
829
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 726 times.
727 else if ( ++x == number ) {
830 1 return;
831 }
832
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 725 times.
726 else if ( ++x == number ) {
833 1 return;
834 }
835
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 724 times.
725 else if ( ++x == number ) {
836 1 return;
837 }
838
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 723 times.
724 else if ( ++x == number ) {
839 1 return;
840 }
841
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 722 times.
723 else if ( ++x == number ) {
842 1 return;
843 }
844
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 721 times.
722 else if ( ++x == number ) {
845 1 return;
846 }
847
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 720 times.
721 else if ( ++x == number ) {
848 1 return;
849 }
850
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 719 times.
720 else if ( ++x == number ) {
851 1 return;
852 }
853
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 718 times.
719 else if ( ++x == number ) {
854 1 return;
855 }
856
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 717 times.
718 else if ( ++x == number ) {
857 1 return;
858 }
859
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 716 times.
717 else if ( ++x == number ) {
860 1 return;
861 }
862
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 715 times.
716 else if ( ++x == number ) {
863 1 return;
864 }
865
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 714 times.
715 else if ( ++x == number ) {
866 1 return;
867 }
868
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 713 times.
714 else if ( ++x == number ) {
869 1 return;
870 }
871
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 712 times.
713 else if ( ++x == number ) {
872 1 return;
873 }
874
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 711 times.
712 else if ( ++x == number ) {
875 1 return;
876 }
877
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 710 times.
711 else if ( ++x == number ) {
878 1 return;
879 }
880
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 709 times.
710 else if ( ++x == number ) {
881 1 return;
882 }
883
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 708 times.
709 else if ( ++x == number ) {
884 1 return;
885 }
886
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 707 times.
708 else if ( ++x == number ) {
887 1 return;
888 }
889
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 706 times.
707 else if ( ++x == number ) {
890 1 return;
891 }
892
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 705 times.
706 else if ( ++x == number ) {
893 1 return;
894 }
895
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 704 times.
705 else if ( ++x == number ) {
896 1 return;
897 }
898
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 703 times.
704 else if ( ++x == number ) {
899 1 return;
900 }
901
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 702 times.
703 else if ( ++x == number ) {
902 1 return;
903 }
904
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 701 times.
702 else if ( ++x == number ) {
905 1 return;
906 }
907
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 700 times.
701 else if ( ++x == number ) {
908 1 return;
909 }
910
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 699 times.
700 else if ( ++x == number ) {
911 1 return;
912 }
913
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 698 times.
699 else if ( ++x == number ) {
914 1 return;
915 }
916
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 697 times.
698 else if ( ++x == number ) {
917 1 return;
918 }
919
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 696 times.
697 else if ( ++x == number ) {
920 1 return;
921 }
922
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 695 times.
696 else if ( ++x == number ) {
923 1 return;
924 }
925
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 694 times.
695 else if ( ++x == number ) {
926 1 return;
927 }
928
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 693 times.
694 else if ( ++x == number ) {
929 1 return;
930 }
931
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 692 times.
693 else if ( ++x == number ) {
932 1 return;
933 }
934
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 691 times.
692 else if ( ++x == number ) {
935 1 return;
936 }
937
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 690 times.
691 else if ( ++x == number ) {
938 1 return;
939 }
940
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 689 times.
690 else if ( ++x == number ) {
941 1 return;
942 }
943
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 688 times.
689 else if ( ++x == number ) {
944 1 return;
945 }
946
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 687 times.
688 else if ( ++x == number ) {
947 1 return;
948 }
949
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 686 times.
687 else if ( ++x == number ) {
950 1 return;
951 }
952
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 685 times.
686 else if ( ++x == number ) {
953 1 return;
954 }
955
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 684 times.
685 else if ( ++x == number ) {
956 1 return;
957 }
958
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 683 times.
684 else if ( ++x == number ) {
959 1 return;
960 }
961
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 682 times.
683 else if ( ++x == number ) {
962 1 return;
963 }
964
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 681 times.
682 else if ( ++x == number ) {
965 1 return;
966 }
967
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 680 times.
681 else if ( ++x == number ) {
968 1 return;
969 }
970
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 679 times.
680 else if ( ++x == number ) {
971 1 return;
972 }
973
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 678 times.
679 else if ( ++x == number ) {
974 1 return;
975 }
976
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 677 times.
678 else if ( ++x == number ) {
977 1 return;
978 }
979
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 676 times.
677 else if ( ++x == number ) {
980 1 return;
981 }
982
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 675 times.
676 else if ( ++x == number ) {
983 1 return;
984 }
985
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 674 times.
675 else if ( ++x == number ) {
986 1 return;
987 }
988
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 673 times.
674 else if ( ++x == number ) {
989 1 return;
990 }
991
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 672 times.
673 else if ( ++x == number ) {
992 1 return;
993 }
994
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 671 times.
672 else if ( ++x == number ) {
995 1 return;
996 }
997
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 670 times.
671 else if ( ++x == number ) {
998 1 return;
999 }
1000
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 669 times.
670 else if ( ++x == number ) {
1001 1 return;
1002 }
1003
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 668 times.
669 else if ( ++x == number ) {
1004 1 return;
1005 }
1006
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 667 times.
668 else if ( ++x == number ) {
1007 1 return;
1008 }
1009
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 666 times.
667 else if ( ++x == number ) {
1010 1 return;
1011 }
1012
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 665 times.
666 else if ( ++x == number ) {
1013 1 return;
1014 }
1015
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 664 times.
665 else if ( ++x == number ) {
1016 1 return;
1017 }
1018
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 663 times.
664 else if ( ++x == number ) {
1019 1 return;
1020 }
1021
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 662 times.
663 else if ( ++x == number ) {
1022 1 return;
1023 }
1024
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 661 times.
662 else if ( ++x == number ) {
1025 1 return;
1026 }
1027
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 660 times.
661 else if ( ++x == number ) {
1028 1 return;
1029 }
1030
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 659 times.
660 else if ( ++x == number ) {
1031 1 return;
1032 }
1033
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 658 times.
659 else if ( ++x == number ) {
1034 1 return;
1035 }
1036
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 657 times.
658 else if ( ++x == number ) {
1037 1 return;
1038 }
1039
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 656 times.
657 else if ( ++x == number ) {
1040 1 return;
1041 }
1042
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 655 times.
656 else if ( ++x == number ) {
1043 1 return;
1044 }
1045
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 654 times.
655 else if ( ++x == number ) {
1046 1 return;
1047 }
1048
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 653 times.
654 else if ( ++x == number ) {
1049 1 return;
1050 }
1051
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 652 times.
653 else if ( ++x == number ) {
1052 1 return;
1053 }
1054
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 651 times.
652 else if ( ++x == number ) {
1055 1 return;
1056 }
1057
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 650 times.
651 else if ( ++x == number ) {
1058 1 return;
1059 }
1060
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 649 times.
650 else if ( ++x == number ) {
1061 1 return;
1062 }
1063
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 648 times.
649 else if ( ++x == number ) {
1064 1 return;
1065 }
1066
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 647 times.
648 else if ( ++x == number ) {
1067 1 return;
1068 }
1069
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 646 times.
647 else if ( ++x == number ) {
1070 1 return;
1071 }
1072
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 645 times.
646 else if ( ++x == number ) {
1073 1 return;
1074 }
1075
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 644 times.
645 else if ( ++x == number ) {
1076 1 return;
1077 }
1078
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 643 times.
644 else if ( ++x == number ) {
1079 1 return;
1080 }
1081
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 642 times.
643 else if ( ++x == number ) {
1082 1 return;
1083 }
1084
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 641 times.
642 else if ( ++x == number ) {
1085 1 return;
1086 }
1087
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 640 times.
641 else if ( ++x == number ) {
1088 1 return;
1089 }
1090
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 639 times.
640 else if ( ++x == number ) {
1091 1 return;
1092 }
1093
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 638 times.
639 else if ( ++x == number ) {
1094 1 return;
1095 }
1096
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 637 times.
638 else if ( ++x == number ) {
1097 1 return;
1098 }
1099
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 636 times.
637 else if ( ++x == number ) {
1100 1 return;
1101 }
1102
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 635 times.
636 else if ( ++x == number ) {
1103 1 return;
1104 }
1105
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 634 times.
635 else if ( ++x == number ) {
1106 1 return;
1107 }
1108
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 633 times.
634 else if ( ++x == number ) {
1109 1 return;
1110 }
1111
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 632 times.
633 else if ( ++x == number ) {
1112 1 return;
1113 }
1114
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 631 times.
632 else if ( ++x == number ) {
1115 1 return;
1116 }
1117
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 630 times.
631 else if ( ++x == number ) {
1118 1 return;
1119 }
1120
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 629 times.
630 else if ( ++x == number ) {
1121 1 return;
1122 }
1123
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 628 times.
629 else if ( ++x == number ) {
1124 1 return;
1125 }
1126
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 627 times.
628 else if ( ++x == number ) {
1127 1 return;
1128 }
1129
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 626 times.
627 else if ( ++x == number ) {
1130 1 return;
1131 }
1132
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 625 times.
626 else if ( ++x == number ) {
1133 1 return;
1134 }
1135
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 624 times.
625 else if ( ++x == number ) {
1136 1 return;
1137 }
1138
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 623 times.
624 else if ( ++x == number ) {
1139 1 return;
1140 }
1141
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 622 times.
623 else if ( ++x == number ) {
1142 1 return;
1143 }
1144
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 621 times.
622 else if ( ++x == number ) {
1145 1 return;
1146 }
1147
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 620 times.
621 else if ( ++x == number ) {
1148 1 return;
1149 }
1150
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 619 times.
620 else if ( ++x == number ) {
1151 1 return;
1152 }
1153
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 618 times.
619 else if ( ++x == number ) {
1154 1 return;
1155 }
1156
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 617 times.
618 else if ( ++x == number ) {
1157 1 return;
1158 }
1159
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 616 times.
617 else if ( ++x == number ) {
1160 1 return;
1161 }
1162
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 615 times.
616 else if ( ++x == number ) {
1163 1 return;
1164 }
1165
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 614 times.
615 else if ( ++x == number ) {
1166 1 return;
1167 }
1168
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 613 times.
614 else if ( ++x == number ) {
1169 1 return;
1170 }
1171
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 612 times.
613 else if ( ++x == number ) {
1172 1 return;
1173 }
1174
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 611 times.
612 else if ( ++x == number ) {
1175 1 return;
1176 }
1177
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 610 times.
611 else if ( ++x == number ) {
1178 1 return;
1179 }
1180
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 609 times.
610 else if ( ++x == number ) {
1181 1 return;
1182 }
1183
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 608 times.
609 else if ( ++x == number ) {
1184 1 return;
1185 }
1186
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 607 times.
608 else if ( ++x == number ) {
1187 1 return;
1188 }
1189
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 606 times.
607 else if ( ++x == number ) {
1190 1 return;
1191 }
1192
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 605 times.
606 else if ( ++x == number ) {
1193 1 return;
1194 }
1195
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 604 times.
605 else if ( ++x == number ) {
1196 1 return;
1197 }
1198
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 603 times.
604 else if ( ++x == number ) {
1199 1 return;
1200 }
1201
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 602 times.
603 else if ( ++x == number ) {
1202 1 return;
1203 }
1204
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 601 times.
602 else if ( ++x == number ) {
1205 1 return;
1206 }
1207
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 600 times.
601 else if ( ++x == number ) {
1208 1 return;
1209 }
1210
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 599 times.
600 else if ( ++x == number ) {
1211 1 return;
1212 }
1213
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 598 times.
599 else if ( ++x == number ) {
1214 1 return;
1215 }
1216
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 597 times.
598 else if ( ++x == number ) {
1217 1 return;
1218 }
1219
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 596 times.
597 else if ( ++x == number ) {
1220 1 return;
1221 }
1222
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 595 times.
596 else if ( ++x == number ) {
1223 1 return;
1224 }
1225
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 594 times.
595 else if ( ++x == number ) {
1226 1 return;
1227 }
1228
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 593 times.
594 else if ( ++x == number ) {
1229 1 return;
1230 }
1231
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 592 times.
593 else if ( ++x == number ) {
1232 1 return;
1233 }
1234
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 591 times.
592 else if ( ++x == number ) {
1235 1 return;
1236 }
1237
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 590 times.
591 else if ( ++x == number ) {
1238 1 return;
1239 }
1240
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 589 times.
590 else if ( ++x == number ) {
1241 1 return;
1242 }
1243
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 588 times.
589 else if ( ++x == number ) {
1244 1 return;
1245 }
1246
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 587 times.
588 else if ( ++x == number ) {
1247 1 return;
1248 }
1249
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 586 times.
587 else if ( ++x == number ) {
1250 1 return;
1251 }
1252
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 585 times.
586 else if ( ++x == number ) {
1253 1 return;
1254 }
1255
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 584 times.
585 else if ( ++x == number ) {
1256 1 return;
1257 }
1258
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 583 times.
584 else if ( ++x == number ) {
1259 1 return;
1260 }
1261
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 582 times.
583 else if ( ++x == number ) {
1262 1 return;
1263 }
1264
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 581 times.
582 else if ( ++x == number ) {
1265 1 return;
1266 }
1267
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 580 times.
581 else if ( ++x == number ) {
1268 1 return;
1269 }
1270
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 579 times.
580 else if ( ++x == number ) {
1271 1 return;
1272 }
1273
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 578 times.
579 else if ( ++x == number ) {
1274 1 return;
1275 }
1276
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 577 times.
578 else if ( ++x == number ) {
1277 1 return;
1278 }
1279
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 576 times.
577 else if ( ++x == number ) {
1280 1 return;
1281 }
1282
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 575 times.
576 else if ( ++x == number ) {
1283 1 return;
1284 }
1285
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 574 times.
575 else if ( ++x == number ) {
1286 1 return;
1287 }
1288
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 573 times.
574 else if ( ++x == number ) {
1289 1 return;
1290 }
1291
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 572 times.
573 else if ( ++x == number ) {
1292 1 return;
1293 }
1294
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 571 times.
572 else if ( ++x == number ) {
1295 1 return;
1296 }
1297
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 570 times.
571 else if ( ++x == number ) {
1298 1 return;
1299 }
1300
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 569 times.
570 else if ( ++x == number ) {
1301 1 return;
1302 }
1303
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 568 times.
569 else if ( ++x == number ) {
1304 1 return;
1305 }
1306
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 567 times.
568 else if ( ++x == number ) {
1307 1 return;
1308 }
1309
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 566 times.
567 else if ( ++x == number ) {
1310 1 return;
1311 }
1312
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 565 times.
566 else if ( ++x == number ) {
1313 1 return;
1314 }
1315
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 564 times.
565 else if ( ++x == number ) {
1316 1 return;
1317 }
1318
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 563 times.
564 else if ( ++x == number ) {
1319 1 return;
1320 }
1321
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 562 times.
563 else if ( ++x == number ) {
1322 1 return;
1323 }
1324
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 561 times.
562 else if ( ++x == number ) {
1325 1 return;
1326 }
1327
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 560 times.
561 else if ( ++x == number ) {
1328 1 return;
1329 }
1330
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 559 times.
560 else if ( ++x == number ) {
1331 1 return;
1332 }
1333
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 558 times.
559 else if ( ++x == number ) {
1334 1 return;
1335 }
1336
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 557 times.
558 else if ( ++x == number ) {
1337 1 return;
1338 }
1339
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 556 times.
557 else if ( ++x == number ) {
1340 1 return;
1341 }
1342
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 555 times.
556 else if ( ++x == number ) {
1343 1 return;
1344 }
1345
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 554 times.
555 else if ( ++x == number ) {
1346 1 return;
1347 }
1348
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 553 times.
554 else if ( ++x == number ) {
1349 1 return;
1350 }
1351
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 552 times.
553 else if ( ++x == number ) {
1352 1 return;
1353 }
1354
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 551 times.
552 else if ( ++x == number ) {
1355 1 return;
1356 }
1357
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 550 times.
551 else if ( ++x == number ) {
1358 1 return;
1359 }
1360
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 549 times.
550 else if ( ++x == number ) {
1361 1 return;
1362 }
1363
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 548 times.
549 else if ( ++x == number ) {
1364 1 return;
1365 }
1366
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 547 times.
548 else if ( ++x == number ) {
1367 1 return;
1368 }
1369
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 546 times.
547 else if ( ++x == number ) {
1370 1 return;
1371 }
1372
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 545 times.
546 else if ( ++x == number ) {
1373 1 return;
1374 }
1375
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 544 times.
545 else if ( ++x == number ) {
1376 1 return;
1377 }
1378
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 543 times.
544 else if ( ++x == number ) {
1379 1 return;
1380 }
1381
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 542 times.
543 else if ( ++x == number ) {
1382 1 return;
1383 }
1384
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 541 times.
542 else if ( ++x == number ) {
1385 1 return;
1386 }
1387
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 540 times.
541 else if ( ++x == number ) {
1388 1 return;
1389 }
1390
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 539 times.
540 else if ( ++x == number ) {
1391 1 return;
1392 }
1393
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 538 times.
539 else if ( ++x == number ) {
1394 1 return;
1395 }
1396
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 537 times.
538 else if ( ++x == number ) {
1397 1 return;
1398 }
1399
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 536 times.
537 else if ( ++x == number ) {
1400 1 return;
1401 }
1402
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 535 times.
536 else if ( ++x == number ) {
1403 1 return;
1404 }
1405
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 534 times.
535 else if ( ++x == number ) {
1406 1 return;
1407 }
1408
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 533 times.
534 else if ( ++x == number ) {
1409 1 return;
1410 }
1411
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 532 times.
533 else if ( ++x == number ) {
1412 1 return;
1413 }
1414
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 531 times.
532 else if ( ++x == number ) {
1415 1 return;
1416 }
1417
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 530 times.
531 else if ( ++x == number ) {
1418 1 return;
1419 }
1420
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 529 times.
530 else if ( ++x == number ) {
1421 1 return;
1422 }
1423
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 528 times.
529 else if ( ++x == number ) {
1424 1 return;
1425 }
1426
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 527 times.
528 else if ( ++x == number ) {
1427 1 return;
1428 }
1429
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 526 times.
527 else if ( ++x == number ) {
1430 1 return;
1431 }
1432
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 525 times.
526 else if ( ++x == number ) {
1433 1 return;
1434 }
1435
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 524 times.
525 else if ( ++x == number ) {
1436 1 return;
1437 }
1438
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 523 times.
524 else if ( ++x == number ) {
1439 1 return;
1440 }
1441
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 522 times.
523 else if ( ++x == number ) {
1442 1 return;
1443 }
1444
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 521 times.
522 else if ( ++x == number ) {
1445 1 return;
1446 }
1447
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 520 times.
521 else if ( ++x == number ) {
1448 1 return;
1449 }
1450
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 519 times.
520 else if ( ++x == number ) {
1451 1 return;
1452 }
1453
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 518 times.
519 else if ( ++x == number ) {
1454 1 return;
1455 }
1456
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 517 times.
518 else if ( ++x == number ) {
1457 1 return;
1458 }
1459
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 516 times.
517 else if ( ++x == number ) {
1460 1 return;
1461 }
1462
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 515 times.
516 else if ( ++x == number ) {
1463 1 return;
1464 }
1465
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 514 times.
515 else if ( ++x == number ) {
1466 1 return;
1467 }
1468
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 513 times.
514 else if ( ++x == number ) {
1469 1 return;
1470 }
1471
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 512 times.
513 else if ( ++x == number ) {
1472 1 return;
1473 }
1474
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 511 times.
512 else if ( ++x == number ) {
1475 1 return;
1476 }
1477
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 510 times.
511 else if ( ++x == number ) {
1478 1 return;
1479 }
1480
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 509 times.
510 else if ( ++x == number ) {
1481 1 return;
1482 }
1483
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 508 times.
509 else if ( ++x == number ) {
1484 1 return;
1485 }
1486
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 507 times.
508 else if ( ++x == number ) {
1487 1 return;
1488 }
1489
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 506 times.
507 else if ( ++x == number ) {
1490 1 return;
1491 }
1492
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 505 times.
506 else if ( ++x == number ) {
1493 1 return;
1494 }
1495
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 504 times.
505 else if ( ++x == number ) {
1496 1 return;
1497 }
1498
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 503 times.
504 else if ( ++x == number ) {
1499 1 return;
1500 }
1501
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 502 times.
503 else if ( ++x == number ) {
1502 1 return;
1503 }
1504
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 501 times.
502 else if ( ++x == number ) {
1505 1 return;
1506 }
1507
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 500 times.
501 else if ( ++x == number ) {
1508 1 return;
1509 }
1510
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 499 times.
500 else if ( ++x == number ) {
1511 1 return;
1512 }
1513
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 498 times.
499 else if ( ++x == number ) {
1514 1 return;
1515 }
1516
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 497 times.
498 else if ( ++x == number ) {
1517 1 return;
1518 }
1519
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 496 times.
497 else if ( ++x == number ) {
1520 1 return;
1521 }
1522
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 495 times.
496 else if ( ++x == number ) {
1523 1 return;
1524 }
1525
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 494 times.
495 else if ( ++x == number ) {
1526 1 return;
1527 }
1528
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 493 times.
494 else if ( ++x == number ) {
1529 1 return;
1530 }
1531
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 492 times.
493 else if ( ++x == number ) {
1532 1 return;
1533 }
1534
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 491 times.
492 else if ( ++x == number ) {
1535 1 return;
1536 }
1537
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 490 times.
491 else if ( ++x == number ) {
1538 1 return;
1539 }
1540
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 489 times.
490 else if ( ++x == number ) {
1541 1 return;
1542 }
1543
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 488 times.
489 else if ( ++x == number ) {
1544 1 return;
1545 }
1546
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 487 times.
488 else if ( ++x == number ) {
1547 1 return;
1548 }
1549
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 486 times.
487 else if ( ++x == number ) {
1550 1 return;
1551 }
1552
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 485 times.
486 else if ( ++x == number ) {
1553 1 return;
1554 }
1555
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 484 times.
485 else if ( ++x == number ) {
1556 1 return;
1557 }
1558
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 483 times.
484 else if ( ++x == number ) {
1559 1 return;
1560 }
1561
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 482 times.
483 else if ( ++x == number ) {
1562 1 return;
1563 }
1564
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 481 times.
482 else if ( ++x == number ) {
1565 1 return;
1566 }
1567
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 480 times.
481 else if ( ++x == number ) {
1568 1 return;
1569 }
1570
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 479 times.
480 else if ( ++x == number ) {
1571 1 return;
1572 }
1573
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 478 times.
479 else if ( ++x == number ) {
1574 1 return;
1575 }
1576
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 477 times.
478 else if ( ++x == number ) {
1577 1 return;
1578 }
1579
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 476 times.
477 else if ( ++x == number ) {
1580 1 return;
1581 }
1582
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 475 times.
476 else if ( ++x == number ) {
1583 1 return;
1584 }
1585
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 474 times.
475 else if ( ++x == number ) {
1586 1 return;
1587 }
1588
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 473 times.
474 else if ( ++x == number ) {
1589 1 return;
1590 }
1591
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 472 times.
473 else if ( ++x == number ) {
1592 1 return;
1593 }
1594
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 471 times.
472 else if ( ++x == number ) {
1595 1 return;
1596 }
1597
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 470 times.
471 else if ( ++x == number ) {
1598 1 return;
1599 }
1600
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 469 times.
470 else if ( ++x == number ) {
1601 1 return;
1602 }
1603
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 468 times.
469 else if ( ++x == number ) {
1604 1 return;
1605 }
1606
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 467 times.
468 else if ( ++x == number ) {
1607 1 return;
1608 }
1609
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 466 times.
467 else if ( ++x == number ) {
1610 1 return;
1611 }
1612
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 465 times.
466 else if ( ++x == number ) {
1613 1 return;
1614 }
1615
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 464 times.
465 else if ( ++x == number ) {
1616 1 return;
1617 }
1618
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 463 times.
464 else if ( ++x == number ) {
1619 1 return;
1620 }
1621
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 462 times.
463 else if ( ++x == number ) {
1622 1 return;
1623 }
1624
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 461 times.
462 else if ( ++x == number ) {
1625 1 return;
1626 }
1627
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 460 times.
461 else if ( ++x == number ) {
1628 1 return;
1629 }
1630
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 459 times.
460 else if ( ++x == number ) {
1631 1 return;
1632 }
1633
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 458 times.
459 else if ( ++x == number ) {
1634 1 return;
1635 }
1636
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 457 times.
458 else if ( ++x == number ) {
1637 1 return;
1638 }
1639
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 456 times.
457 else if ( ++x == number ) {
1640 1 return;
1641 }
1642
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 455 times.
456 else if ( ++x == number ) {
1643 1 return;
1644 }
1645
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 454 times.
455 else if ( ++x == number ) {
1646 1 return;
1647 }
1648
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 453 times.
454 else if ( ++x == number ) {
1649 1 return;
1650 }
1651
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 452 times.
453 else if ( ++x == number ) {
1652 1 return;
1653 }
1654
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 451 times.
452 else if ( ++x == number ) {
1655 1 return;
1656 }
1657
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 450 times.
451 else if ( ++x == number ) {
1658 1 return;
1659 }
1660
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 449 times.
450 else if ( ++x == number ) {
1661 1 return;
1662 }
1663
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 448 times.
449 else if ( ++x == number ) {
1664 1 return;
1665 }
1666
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 447 times.
448 else if ( ++x == number ) {
1667 1 return;
1668 }
1669
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 446 times.
447 else if ( ++x == number ) {
1670 1 return;
1671 }
1672
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 445 times.
446 else if ( ++x == number ) {
1673 1 return;
1674 }
1675
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 444 times.
445 else if ( ++x == number ) {
1676 1 return;
1677 }
1678
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 443 times.
444 else if ( ++x == number ) {
1679 1 return;
1680 }
1681
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 442 times.
443 else if ( ++x == number ) {
1682 1 return;
1683 }
1684
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 441 times.
442 else if ( ++x == number ) {
1685 1 return;
1686 }
1687
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 440 times.
441 else if ( ++x == number ) {
1688 1 return;
1689 }
1690
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 439 times.
440 else if ( ++x == number ) {
1691 1 return;
1692 }
1693
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 438 times.
439 else if ( ++x == number ) {
1694 1 return;
1695 }
1696
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 437 times.
438 else if ( ++x == number ) {
1697 1 return;
1698 }
1699
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 436 times.
437 else if ( ++x == number ) {
1700 1 return;
1701 }
1702
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 435 times.
436 else if ( ++x == number ) {
1703 1 return;
1704 }
1705
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 434 times.
435 else if ( ++x == number ) {
1706 1 return;
1707 }
1708
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 433 times.
434 else if ( ++x == number ) {
1709 1 return;
1710 }
1711
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 432 times.
433 else if ( ++x == number ) {
1712 1 return;
1713 }
1714
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 431 times.
432 else if ( ++x == number ) {
1715 1 return;
1716 }
1717
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 430 times.
431 else if ( ++x == number ) {
1718 1 return;
1719 }
1720
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 429 times.
430 else if ( ++x == number ) {
1721 1 return;
1722 }
1723
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 428 times.
429 else if ( ++x == number ) {
1724 1 return;
1725 }
1726
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 427 times.
428 else if ( ++x == number ) {
1727 1 return;
1728 }
1729
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 426 times.
427 else if ( ++x == number ) {
1730 1 return;
1731 }
1732
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 425 times.
426 else if ( ++x == number ) {
1733 1 return;
1734 }
1735
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 424 times.
425 else if ( ++x == number ) {
1736 1 return;
1737 }
1738
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 423 times.
424 else if ( ++x == number ) {
1739 1 return;
1740 }
1741
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 422 times.
423 else if ( ++x == number ) {
1742 1 return;
1743 }
1744
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 421 times.
422 else if ( ++x == number ) {
1745 1 return;
1746 }
1747
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 420 times.
421 else if ( ++x == number ) {
1748 1 return;
1749 }
1750
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 419 times.
420 else if ( ++x == number ) {
1751 1 return;
1752 }
1753
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 418 times.
419 else if ( ++x == number ) {
1754 1 return;
1755 }
1756
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 417 times.
418 else if ( ++x == number ) {
1757 1 return;
1758 }
1759
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 416 times.
417 else if ( ++x == number ) {
1760 1 return;
1761 }
1762
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 415 times.
416 else if ( ++x == number ) {
1763 1 return;
1764 }
1765
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 414 times.
415 else if ( ++x == number ) {
1766 1 return;
1767 }
1768
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 413 times.
414 else if ( ++x == number ) {
1769 1 return;
1770 }
1771
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 412 times.
413 else if ( ++x == number ) {
1772 1 return;
1773 }
1774
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 411 times.
412 else if ( ++x == number ) {
1775 1 return;
1776 }
1777
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 410 times.
411 else if ( ++x == number ) {
1778 1 return;
1779 }
1780
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 409 times.
410 else if ( ++x == number ) {
1781 1 return;
1782 }
1783
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 408 times.
409 else if ( ++x == number ) {
1784 1 return;
1785 }
1786
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 407 times.
408 else if ( ++x == number ) {
1787 1 return;
1788 }
1789
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 406 times.
407 else if ( ++x == number ) {
1790 1 return;
1791 }
1792
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 405 times.
406 else if ( ++x == number ) {
1793 1 return;
1794 }
1795
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 404 times.
405 else if ( ++x == number ) {
1796 1 return;
1797 }
1798
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 403 times.
404 else if ( ++x == number ) {
1799 1 return;
1800 }
1801
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 402 times.
403 else if ( ++x == number ) {
1802 1 return;
1803 }
1804
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 401 times.
402 else if ( ++x == number ) {
1805 1 return;
1806 }
1807
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 400 times.
401 else if ( ++x == number ) {
1808 1 return;
1809 }
1810
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 399 times.
400 else if ( ++x == number ) {
1811 1 return;
1812 }
1813
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 398 times.
399 else if ( ++x == number ) {
1814 1 return;
1815 }
1816
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 397 times.
398 else if ( ++x == number ) {
1817 1 return;
1818 }
1819
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 396 times.
397 else if ( ++x == number ) {
1820 1 return;
1821 }
1822
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 395 times.
396 else if ( ++x == number ) {
1823 1 return;
1824 }
1825
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 394 times.
395 else if ( ++x == number ) {
1826 1 return;
1827 }
1828
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 393 times.
394 else if ( ++x == number ) {
1829 1 return;
1830 }
1831
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 392 times.
393 else if ( ++x == number ) {
1832 1 return;
1833 }
1834
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 391 times.
392 else if ( ++x == number ) {
1835 1 return;
1836 }
1837
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 390 times.
391 else if ( ++x == number ) {
1838 1 return;
1839 }
1840
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 389 times.
390 else if ( ++x == number ) {
1841 1 return;
1842 }
1843
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 388 times.
389 else if ( ++x == number ) {
1844 1 return;
1845 }
1846
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 387 times.
388 else if ( ++x == number ) {
1847 1 return;
1848 }
1849
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 386 times.
387 else if ( ++x == number ) {
1850 1 return;
1851 }
1852
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 385 times.
386 else if ( ++x == number ) {
1853 1 return;
1854 }
1855
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 384 times.
385 else if ( ++x == number ) {
1856 1 return;
1857 }
1858
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 383 times.
384 else if ( ++x == number ) {
1859 1 return;
1860 }
1861
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 382 times.
383 else if ( ++x == number ) {
1862 1 return;
1863 }
1864
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 381 times.
382 else if ( ++x == number ) {
1865 1 return;
1866 }
1867
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 380 times.
381 else if ( ++x == number ) {
1868 1 return;
1869 }
1870
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 379 times.
380 else if ( ++x == number ) {
1871 1 return;
1872 }
1873
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 378 times.
379 else if ( ++x == number ) {
1874 1 return;
1875 }
1876
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 377 times.
378 else if ( ++x == number ) {
1877 1 return;
1878 }
1879
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 376 times.
377 else if ( ++x == number ) {
1880 1 return;
1881 }
1882
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 375 times.
376 else if ( ++x == number ) {
1883 1 return;
1884 }
1885
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 374 times.
375 else if ( ++x == number ) {
1886 1 return;
1887 }
1888
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 373 times.
374 else if ( ++x == number ) {
1889 1 return;
1890 }
1891
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 372 times.
373 else if ( ++x == number ) {
1892 1 return;
1893 }
1894
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 371 times.
372 else if ( ++x == number ) {
1895 1 return;
1896 }
1897
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 370 times.
371 else if ( ++x == number ) {
1898 1 return;
1899 }
1900
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 369 times.
370 else if ( ++x == number ) {
1901 1 return;
1902 }
1903
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 368 times.
369 else if ( ++x == number ) {
1904 1 return;
1905 }
1906
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 367 times.
368 else if ( ++x == number ) {
1907 1 return;
1908 }
1909
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 366 times.
367 else if ( ++x == number ) {
1910 1 return;
1911 }
1912
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 365 times.
366 else if ( ++x == number ) {
1913 1 return;
1914 }
1915
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 364 times.
365 else if ( ++x == number ) {
1916 1 return;
1917 }
1918
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 363 times.
364 else if ( ++x == number ) {
1919 1 return;
1920 }
1921
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 362 times.
363 else if ( ++x == number ) {
1922 1 return;
1923 }
1924
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 361 times.
362 else if ( ++x == number ) {
1925 1 return;
1926 }
1927
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 360 times.
361 else if ( ++x == number ) {
1928 1 return;
1929 }
1930
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 359 times.
360 else if ( ++x == number ) {
1931 1 return;
1932 }
1933
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 358 times.
359 else if ( ++x == number ) {
1934 1 return;
1935 }
1936
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 357 times.
358 else if ( ++x == number ) {
1937 1 return;
1938 }
1939
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 356 times.
357 else if ( ++x == number ) {
1940 1 return;
1941 }
1942
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 355 times.
356 else if ( ++x == number ) {
1943 1 return;
1944 }
1945
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 354 times.
355 else if ( ++x == number ) {
1946 1 return;
1947 }
1948
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 353 times.
354 else if ( ++x == number ) {
1949 1 return;
1950 }
1951
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 352 times.
353 else if ( ++x == number ) {
1952 1 return;
1953 }
1954
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 351 times.
352 else if ( ++x == number ) {
1955 1 return;
1956 }
1957
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 350 times.
351 else if ( ++x == number ) {
1958 1 return;
1959 }
1960
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 349 times.
350 else if ( ++x == number ) {
1961 1 return;
1962 }
1963
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 348 times.
349 else if ( ++x == number ) {
1964 1 return;
1965 }
1966
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 347 times.
348 else if ( ++x == number ) {
1967 1 return;
1968 }
1969
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 346 times.
347 else if ( ++x == number ) {
1970 1 return;
1971 }
1972
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 345 times.
346 else if ( ++x == number ) {
1973 1 return;
1974 }
1975
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 344 times.
345 else if ( ++x == number ) {
1976 1 return;
1977 }
1978
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 343 times.
344 else if ( ++x == number ) {
1979 1 return;
1980 }
1981
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 342 times.
343 else if ( ++x == number ) {
1982 1 return;
1983 }
1984
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 341 times.
342 else if ( ++x == number ) {
1985 1 return;
1986 }
1987
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 340 times.
341 else if ( ++x == number ) {
1988 1 return;
1989 }
1990
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 339 times.
340 else if ( ++x == number ) {
1991 1 return;
1992 }
1993
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 338 times.
339 else if ( ++x == number ) {
1994 1 return;
1995 }
1996
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 337 times.
338 else if ( ++x == number ) {
1997 1 return;
1998 }
1999
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 336 times.
337 else if ( ++x == number ) {
2000 1 return;
2001 }
2002
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 335 times.
336 else if ( ++x == number ) {
2003 1 return;
2004 }
2005
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 334 times.
335 else if ( ++x == number ) {
2006 1 return;
2007 }
2008
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 333 times.
334 else if ( ++x == number ) {
2009 1 return;
2010 }
2011
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 332 times.
333 else if ( ++x == number ) {
2012 1 return;
2013 }
2014
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 331 times.
332 else if ( ++x == number ) {
2015 1 return;
2016 }
2017
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 330 times.
331 else if ( ++x == number ) {
2018 1 return;
2019 }
2020
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 329 times.
330 else if ( ++x == number ) {
2021 1 return;
2022 }
2023
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 328 times.
329 else if ( ++x == number ) {
2024 1 return;
2025 }
2026
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 327 times.
328 else if ( ++x == number ) {
2027 1 return;
2028 }
2029
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 326 times.
327 else if ( ++x == number ) {
2030 1 return;
2031 }
2032
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 325 times.
326 else if ( ++x == number ) {
2033 1 return;
2034 }
2035
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 324 times.
325 else if ( ++x == number ) {
2036 1 return;
2037 }
2038
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 323 times.
324 else if ( ++x == number ) {
2039 1 return;
2040 }
2041
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 322 times.
323 else if ( ++x == number ) {
2042 1 return;
2043 }
2044
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 321 times.
322 else if ( ++x == number ) {
2045 1 return;
2046 }
2047
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 320 times.
321 else if ( ++x == number ) {
2048 1 return;
2049 }
2050
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 319 times.
320 else if ( ++x == number ) {
2051 1 return;
2052 }
2053
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 318 times.
319 else if ( ++x == number ) {
2054 1 return;
2055 }
2056
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 317 times.
318 else if ( ++x == number ) {
2057 1 return;
2058 }
2059
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 316 times.
317 else if ( ++x == number ) {
2060 1 return;
2061 }
2062
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 315 times.
316 else if ( ++x == number ) {
2063 1 return;
2064 }
2065
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 314 times.
315 else if ( ++x == number ) {
2066 1 return;
2067 }
2068
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 313 times.
314 else if ( ++x == number ) {
2069 1 return;
2070 }
2071
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 312 times.
313 else if ( ++x == number ) {
2072 1 return;
2073 }
2074
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 311 times.
312 else if ( ++x == number ) {
2075 1 return;
2076 }
2077
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 310 times.
311 else if ( ++x == number ) {
2078 1 return;
2079 }
2080
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 309 times.
310 else if ( ++x == number ) {
2081 1 return;
2082 }
2083
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 308 times.
309 else if ( ++x == number ) {
2084 1 return;
2085 }
2086
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 307 times.
308 else if ( ++x == number ) {
2087 1 return;
2088 }
2089
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 306 times.
307 else if ( ++x == number ) {
2090 1 return;
2091 }
2092
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 305 times.
306 else if ( ++x == number ) {
2093 1 return;
2094 }
2095
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 304 times.
305 else if ( ++x == number ) {
2096 1 return;
2097 }
2098
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 303 times.
304 else if ( ++x == number ) {
2099 1 return;
2100 }
2101
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 302 times.
303 else if ( ++x == number ) {
2102 1 return;
2103 }
2104
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 301 times.
302 else if ( ++x == number ) {
2105 1 return;
2106 }
2107
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 300 times.
301 else if ( ++x == number ) {
2108 1 return;
2109 }
2110
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 299 times.
300 else if ( ++x == number ) {
2111 1 return;
2112 }
2113
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 298 times.
299 else if ( ++x == number ) {
2114 1 return;
2115 }
2116
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 297 times.
298 else if ( ++x == number ) {
2117 1 return;
2118 }
2119
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 296 times.
297 else if ( ++x == number ) {
2120 1 return;
2121 }
2122
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 295 times.
296 else if ( ++x == number ) {
2123 1 return;
2124 }
2125
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 294 times.
295 else if ( ++x == number ) {
2126 1 return;
2127 }
2128
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 293 times.
294 else if ( ++x == number ) {
2129 1 return;
2130 }
2131
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 292 times.
293 else if ( ++x == number ) {
2132 1 return;
2133 }
2134
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 291 times.
292 else if ( ++x == number ) {
2135 1 return;
2136 }
2137
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 290 times.
291 else if ( ++x == number ) {
2138 1 return;
2139 }
2140
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 289 times.
290 else if ( ++x == number ) {
2141 1 return;
2142 }
2143
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 288 times.
289 else if ( ++x == number ) {
2144 1 return;
2145 }
2146
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 287 times.
288 else if ( ++x == number ) {
2147 1 return;
2148 }
2149
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 286 times.
287 else if ( ++x == number ) {
2150 1 return;
2151 }
2152
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 285 times.
286 else if ( ++x == number ) {
2153 1 return;
2154 }
2155
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 284 times.
285 else if ( ++x == number ) {
2156 1 return;
2157 }
2158
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 283 times.
284 else if ( ++x == number ) {
2159 1 return;
2160 }
2161
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 282 times.
283 else if ( ++x == number ) {
2162 1 return;
2163 }
2164
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 281 times.
282 else if ( ++x == number ) {
2165 1 return;
2166 }
2167
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 280 times.
281 else if ( ++x == number ) {
2168 1 return;
2169 }
2170
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 279 times.
280 else if ( ++x == number ) {
2171 1 return;
2172 }
2173
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 278 times.
279 else if ( ++x == number ) {
2174 1 return;
2175 }
2176
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 277 times.
278 else if ( ++x == number ) {
2177 1 return;
2178 }
2179
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 276 times.
277 else if ( ++x == number ) {
2180 1 return;
2181 }
2182
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 275 times.
276 else if ( ++x == number ) {
2183 1 return;
2184 }
2185
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 274 times.
275 else if ( ++x == number ) {
2186 1 return;
2187 }
2188
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 273 times.
274 else if ( ++x == number ) {
2189 1 return;
2190 }
2191
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 272 times.
273 else if ( ++x == number ) {
2192 1 return;
2193 }
2194
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 271 times.
272 else if ( ++x == number ) {
2195 1 return;
2196 }
2197
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 270 times.
271 else if ( ++x == number ) {
2198 1 return;
2199 }
2200
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 269 times.
270 else if ( ++x == number ) {
2201 1 return;
2202 }
2203
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 268 times.
269 else if ( ++x == number ) {
2204 1 return;
2205 }
2206
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 267 times.
268 else if ( ++x == number ) {
2207 1 return;
2208 }
2209
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 266 times.
267 else if ( ++x == number ) {
2210 1 return;
2211 }
2212
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 265 times.
266 else if ( ++x == number ) {
2213 1 return;
2214 }
2215
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 264 times.
265 else if ( ++x == number ) {
2216 1 return;
2217 }
2218
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 263 times.
264 else if ( ++x == number ) {
2219 1 return;
2220 }
2221
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 262 times.
263 else if ( ++x == number ) {
2222 1 return;
2223 }
2224
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 261 times.
262 else if ( ++x == number ) {
2225 1 return;
2226 }
2227
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 260 times.
261 else if ( ++x == number ) {
2228 1 return;
2229 }
2230
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 259 times.
260 else if ( ++x == number ) {
2231 1 return;
2232 }
2233
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 258 times.
259 else if ( ++x == number ) {
2234 1 return;
2235 }
2236
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 257 times.
258 else if ( ++x == number ) {
2237 1 return;
2238 }
2239
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 256 times.
257 else if ( ++x == number ) {
2240 1 return;
2241 }
2242
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 255 times.
256 else if ( ++x == number ) {
2243 1 return;
2244 }
2245
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 254 times.
255 else if ( ++x == number ) {
2246 1 return;
2247 }
2248
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 253 times.
254 else if ( ++x == number ) {
2249 1 return;
2250 }
2251
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 252 times.
253 else if ( ++x == number ) {
2252 1 return;
2253 }
2254
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 251 times.
252 else if ( ++x == number ) {
2255 1 return;
2256 }
2257
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 250 times.
251 else if ( ++x == number ) {
2258 1 return;
2259 }
2260
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 249 times.
250 else if ( ++x == number ) {
2261 1 return;
2262 }
2263
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 248 times.
249 else if ( ++x == number ) {
2264 1 return;
2265 }
2266
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 247 times.
248 else if ( ++x == number ) {
2267 1 return;
2268 }
2269
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 246 times.
247 else if ( ++x == number ) {
2270 1 return;
2271 }
2272
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 245 times.
246 else if ( ++x == number ) {
2273 1 return;
2274 }
2275
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 244 times.
245 else if ( ++x == number ) {
2276 1 return;
2277 }
2278
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 243 times.
244 else if ( ++x == number ) {
2279 1 return;
2280 }
2281
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 242 times.
243 else if ( ++x == number ) {
2282 1 return;
2283 }
2284
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 241 times.
242 else if ( ++x == number ) {
2285 1 return;
2286 }
2287
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 240 times.
241 else if ( ++x == number ) {
2288 1 return;
2289 }
2290
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 239 times.
240 else if ( ++x == number ) {
2291 1 return;
2292 }
2293
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 238 times.
239 else if ( ++x == number ) {
2294 1 return;
2295 }
2296
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 237 times.
238 else if ( ++x == number ) {
2297 1 return;
2298 }
2299
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 236 times.
237 else if ( ++x == number ) {
2300 1 return;
2301 }
2302
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 235 times.
236 else if ( ++x == number ) {
2303 1 return;
2304 }
2305
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 234 times.
235 else if ( ++x == number ) {
2306 1 return;
2307 }
2308
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 233 times.
234 else if ( ++x == number ) {
2309 1 return;
2310 }
2311
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 232 times.
233 else if ( ++x == number ) {
2312 1 return;
2313 }
2314
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 231 times.
232 else if ( ++x == number ) {
2315 1 return;
2316 }
2317
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 230 times.
231 else if ( ++x == number ) {
2318 1 return;
2319 }
2320
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 229 times.
230 else if ( ++x == number ) {
2321 1 return;
2322 }
2323
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 228 times.
229 else if ( ++x == number ) {
2324 1 return;
2325 }
2326
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 227 times.
228 else if ( ++x == number ) {
2327 1 return;
2328 }
2329
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 226 times.
227 else if ( ++x == number ) {
2330 1 return;
2331 }
2332
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 225 times.
226 else if ( ++x == number ) {
2333 1 return;
2334 }
2335
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 224 times.
225 else if ( ++x == number ) {
2336 1 return;
2337 }
2338
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 223 times.
224 else if ( ++x == number ) {
2339 1 return;
2340 }
2341
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 222 times.
223 else if ( ++x == number ) {
2342 1 return;
2343 }
2344
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 221 times.
222 else if ( ++x == number ) {
2345 1 return;
2346 }
2347
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 220 times.
221 else if ( ++x == number ) {
2348 1 return;
2349 }
2350
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 219 times.
220 else if ( ++x == number ) {
2351 1 return;
2352 }
2353
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 218 times.
219 else if ( ++x == number ) {
2354 1 return;
2355 }
2356
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 217 times.
218 else if ( ++x == number ) {
2357 1 return;
2358 }
2359
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 216 times.
217 else if ( ++x == number ) {
2360 1 return;
2361 }
2362
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 215 times.
216 else if ( ++x == number ) {
2363 1 return;
2364 }
2365
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 214 times.
215 else if ( ++x == number ) {
2366 1 return;
2367 }
2368
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 213 times.
214 else if ( ++x == number ) {
2369 1 return;
2370 }
2371
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 212 times.
213 else if ( ++x == number ) {
2372 1 return;
2373 }
2374
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 211 times.
212 else if ( ++x == number ) {
2375 1 return;
2376 }
2377
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 210 times.
211 else if ( ++x == number ) {
2378 1 return;
2379 }
2380
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 209 times.
210 else if ( ++x == number ) {
2381 1 return;
2382 }
2383
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 208 times.
209 else if ( ++x == number ) {
2384 1 return;
2385 }
2386
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 207 times.
208 else if ( ++x == number ) {
2387 1 return;
2388 }
2389
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 206 times.
207 else if ( ++x == number ) {
2390 1 return;
2391 }
2392
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 205 times.
206 else if ( ++x == number ) {
2393 1 return;
2394 }
2395
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 204 times.
205 else if ( ++x == number ) {
2396 1 return;
2397 }
2398
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 203 times.
204 else if ( ++x == number ) {
2399 1 return;
2400 }
2401
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 202 times.
203 else if ( ++x == number ) {
2402 1 return;
2403 }
2404
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 201 times.
202 else if ( ++x == number ) {
2405 1 return;
2406 }
2407
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 200 times.
201 else if ( ++x == number ) {
2408 1 return;
2409 }
2410
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 199 times.
200 else if ( ++x == number ) {
2411 1 return;
2412 }
2413
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 198 times.
199 else if ( ++x == number ) {
2414 1 return;
2415 }
2416
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 197 times.
198 else if ( ++x == number ) {
2417 1 return;
2418 }
2419
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 196 times.
197 else if ( ++x == number ) {
2420 1 return;
2421 }
2422
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 195 times.
196 else if ( ++x == number ) {
2423 1 return;
2424 }
2425
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 194 times.
195 else if ( ++x == number ) {
2426 1 return;
2427 }
2428
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 193 times.
194 else if ( ++x == number ) {
2429 1 return;
2430 }
2431
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 192 times.
193 else if ( ++x == number ) {
2432 1 return;
2433 }
2434
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 191 times.
192 else if ( ++x == number ) {
2435 1 return;
2436 }
2437
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 190 times.
191 else if ( ++x == number ) {
2438 1 return;
2439 }
2440
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 189 times.
190 else if ( ++x == number ) {
2441 1 return;
2442 }
2443
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 188 times.
189 else if ( ++x == number ) {
2444 1 return;
2445 }
2446
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 187 times.
188 else if ( ++x == number ) {
2447 1 return;
2448 }
2449
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 186 times.
187 else if ( ++x == number ) {
2450 1 return;
2451 }
2452
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 185 times.
186 else if ( ++x == number ) {
2453 1 return;
2454 }
2455
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 184 times.
185 else if ( ++x == number ) {
2456 1 return;
2457 }
2458
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 183 times.
184 else if ( ++x == number ) {
2459 1 return;
2460 }
2461
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 182 times.
183 else if ( ++x == number ) {
2462 1 return;
2463 }
2464
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 181 times.
182 else if ( ++x == number ) {
2465 1 return;
2466 }
2467
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 180 times.
181 else if ( ++x == number ) {
2468 1 return;
2469 }
2470
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 179 times.
180 else if ( ++x == number ) {
2471 1 return;
2472 }
2473
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 178 times.
179 else if ( ++x == number ) {
2474 1 return;
2475 }
2476
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 177 times.
178 else if ( ++x == number ) {
2477 1 return;
2478 }
2479
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 176 times.
177 else if ( ++x == number ) {
2480 1 return;
2481 }
2482
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 175 times.
176 else if ( ++x == number ) {
2483 1 return;
2484 }
2485
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 174 times.
175 else if ( ++x == number ) {
2486 1 return;
2487 }
2488
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 173 times.
174 else if ( ++x == number ) {
2489 1 return;
2490 }
2491
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 172 times.
173 else if ( ++x == number ) {
2492 1 return;
2493 }
2494
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 171 times.
172 else if ( ++x == number ) {
2495 1 return;
2496 }
2497
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 170 times.
171 else if ( ++x == number ) {
2498 1 return;
2499 }
2500
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 169 times.
170 else if ( ++x == number ) {
2501 1 return;
2502 }
2503
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 168 times.
169 else if ( ++x == number ) {
2504 1 return;
2505 }
2506
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 167 times.
168 else if ( ++x == number ) {
2507 1 return;
2508 }
2509
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 166 times.
167 else if ( ++x == number ) {
2510 1 return;
2511 }
2512
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 165 times.
166 else if ( ++x == number ) {
2513 1 return;
2514 }
2515
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 164 times.
165 else if ( ++x == number ) {
2516 1 return;
2517 }
2518
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 163 times.
164 else if ( ++x == number ) {
2519 1 return;
2520 }
2521
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 162 times.
163 else if ( ++x == number ) {
2522 1 return;
2523 }
2524
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 161 times.
162 else if ( ++x == number ) {
2525 1 return;
2526 }
2527
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 160 times.
161 else if ( ++x == number ) {
2528 1 return;
2529 }
2530
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 159 times.
160 else if ( ++x == number ) {
2531 1 return;
2532 }
2533
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 158 times.
159 else if ( ++x == number ) {
2534 1 return;
2535 }
2536
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 157 times.
158 else if ( ++x == number ) {
2537 1 return;
2538 }
2539
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 156 times.
157 else if ( ++x == number ) {
2540 1 return;
2541 }
2542
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 155 times.
156 else if ( ++x == number ) {
2543 1 return;
2544 }
2545
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 154 times.
155 else if ( ++x == number ) {
2546 1 return;
2547 }
2548
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 153 times.
154 else if ( ++x == number ) {
2549 1 return;
2550 }
2551
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 152 times.
153 else if ( ++x == number ) {
2552 1 return;
2553 }
2554
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 151 times.
152 else if ( ++x == number ) {
2555 1 return;
2556 }
2557
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 150 times.
151 else if ( ++x == number ) {
2558 1 return;
2559 }
2560
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 149 times.
150 else if ( ++x == number ) {
2561 1 return;
2562 }
2563
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 148 times.
149 else if ( ++x == number ) {
2564 1 return;
2565 }
2566
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 147 times.
148 else if ( ++x == number ) {
2567 1 return;
2568 }
2569
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 146 times.
147 else if ( ++x == number ) {
2570 1 return;
2571 }
2572
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 145 times.
146 else if ( ++x == number ) {
2573 1 return;
2574 }
2575
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 144 times.
145 else if ( ++x == number ) {
2576 1 return;
2577 }
2578
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 143 times.
144 else if ( ++x == number ) {
2579 1 return;
2580 }
2581
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 142 times.
143 else if ( ++x == number ) {
2582 1 return;
2583 }
2584
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 141 times.
142 else if ( ++x == number ) {
2585 1 return;
2586 }
2587
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 140 times.
141 else if ( ++x == number ) {
2588 1 return;
2589 }
2590
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 139 times.
140 else if ( ++x == number ) {
2591 1 return;
2592 }
2593
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 138 times.
139 else if ( ++x == number ) {
2594 1 return;
2595 }
2596
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 137 times.
138 else if ( ++x == number ) {
2597 1 return;
2598 }
2599
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 136 times.
137 else if ( ++x == number ) {
2600 1 return;
2601 }
2602
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 135 times.
136 else if ( ++x == number ) {
2603 1 return;
2604 }
2605
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 134 times.
135 else if ( ++x == number ) {
2606 1 return;
2607 }
2608
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 133 times.
134 else if ( ++x == number ) {
2609 1 return;
2610 }
2611
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 132 times.
133 else if ( ++x == number ) {
2612 1 return;
2613 }
2614
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 131 times.
132 else if ( ++x == number ) {
2615 1 return;
2616 }
2617
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 130 times.
131 else if ( ++x == number ) {
2618 1 return;
2619 }
2620
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 129 times.
130 else if ( ++x == number ) {
2621 1 return;
2622 }
2623
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 128 times.
129 else if ( ++x == number ) {
2624 1 return;
2625 }
2626
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 127 times.
128 else if ( ++x == number ) {
2627 1 return;
2628 }
2629
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 126 times.
127 else if ( ++x == number ) {
2630 1 return;
2631 }
2632
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 125 times.
126 else if ( ++x == number ) {
2633 1 return;
2634 }
2635
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 124 times.
125 else if ( ++x == number ) {
2636 1 return;
2637 }
2638
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 123 times.
124 else if ( ++x == number ) {
2639 1 return;
2640 }
2641
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 122 times.
123 else if ( ++x == number ) {
2642 1 return;
2643 }
2644
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 121 times.
122 else if ( ++x == number ) {
2645 1 return;
2646 }
2647
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 120 times.
121 else if ( ++x == number ) {
2648 1 return;
2649 }
2650
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 119 times.
120 else if ( ++x == number ) {
2651 1 return;
2652 }
2653
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 118 times.
119 else if ( ++x == number ) {
2654 1 return;
2655 }
2656
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 117 times.
118 else if ( ++x == number ) {
2657 1 return;
2658 }
2659
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 116 times.
117 else if ( ++x == number ) {
2660 1 return;
2661 }
2662
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 115 times.
116 else if ( ++x == number ) {
2663 1 return;
2664 }
2665
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 114 times.
115 else if ( ++x == number ) {
2666 1 return;
2667 }
2668
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 113 times.
114 else if ( ++x == number ) {
2669 1 return;
2670 }
2671
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 112 times.
113 else if ( ++x == number ) {
2672 1 return;
2673 }
2674
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 111 times.
112 else if ( ++x == number ) {
2675 1 return;
2676 }
2677
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 110 times.
111 else if ( ++x == number ) {
2678 1 return;
2679 }
2680
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 109 times.
110 else if ( ++x == number ) {
2681 1 return;
2682 }
2683
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 108 times.
109 else if ( ++x == number ) {
2684 1 return;
2685 }
2686
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 107 times.
108 else if ( ++x == number ) {
2687 1 return;
2688 }
2689
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 106 times.
107 else if ( ++x == number ) {
2690 1 return;
2691 }
2692
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 105 times.
106 else if ( ++x == number ) {
2693 1 return;
2694 }
2695
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 104 times.
105 else if ( ++x == number ) {
2696 1 return;
2697 }
2698
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 103 times.
104 else if ( ++x == number ) {
2699 1 return;
2700 }
2701
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 102 times.
103 else if ( ++x == number ) {
2702 1 return;
2703 }
2704
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 101 times.
102 else if ( ++x == number ) {
2705 1 return;
2706 }
2707
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 100 times.
101 else if ( ++x == number ) {
2708 1 return;
2709 }
2710
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 99 times.
100 else if ( ++x == number ) {
2711 1 return;
2712 }
2713
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 98 times.
99 else if ( ++x == number ) {
2714 1 return;
2715 }
2716
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 97 times.
98 else if ( ++x == number ) {
2717 1 return;
2718 }
2719
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 96 times.
97 else if ( ++x == number ) {
2720 1 return;
2721 }
2722
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 95 times.
96 else if ( ++x == number ) {
2723 1 return;
2724 }
2725
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 94 times.
95 else if ( ++x == number ) {
2726 1 return;
2727 }
2728
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 93 times.
94 else if ( ++x == number ) {
2729 1 return;
2730 }
2731
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 92 times.
93 else if ( ++x == number ) {
2732 1 return;
2733 }
2734
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 91 times.
92 else if ( ++x == number ) {
2735 1 return;
2736 }
2737
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 90 times.
91 else if ( ++x == number ) {
2738 1 return;
2739 }
2740
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 89 times.
90 else if ( ++x == number ) {
2741 1 return;
2742 }
2743
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 88 times.
89 else if ( ++x == number ) {
2744 1 return;
2745 }
2746
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 87 times.
88 else if ( ++x == number ) {
2747 1 return;
2748 }
2749
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 86 times.
87 else if ( ++x == number ) {
2750 1 return;
2751 }
2752
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 85 times.
86 else if ( ++x == number ) {
2753 1 return;
2754 }
2755
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 84 times.
85 else if ( ++x == number ) {
2756 1 return;
2757 }
2758
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 83 times.
84 else if ( ++x == number ) {
2759 1 return;
2760 }
2761
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 82 times.
83 else if ( ++x == number ) {
2762 1 return;
2763 }
2764
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 81 times.
82 else if ( ++x == number ) {
2765 1 return;
2766 }
2767
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 80 times.
81 else if ( ++x == number ) {
2768 1 return;
2769 }
2770
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 79 times.
80 else if ( ++x == number ) {
2771 1 return;
2772 }
2773
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 78 times.
79 else if ( ++x == number ) {
2774 1 return;
2775 }
2776
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 77 times.
78 else if ( ++x == number ) {
2777 1 return;
2778 }
2779
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 76 times.
77 else if ( ++x == number ) {
2780 1 return;
2781 }
2782
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 75 times.
76 else if ( ++x == number ) {
2783 1 return;
2784 }
2785
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 74 times.
75 else if ( ++x == number ) {
2786 1 return;
2787 }
2788
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 73 times.
74 else if ( ++x == number ) {
2789 1 return;
2790 }
2791
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 72 times.
73 else if ( ++x == number ) {
2792 1 return;
2793 }
2794
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 71 times.
72 else if ( ++x == number ) {
2795 1 return;
2796 }
2797
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 70 times.
71 else if ( ++x == number ) {
2798 1 return;
2799 }
2800
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 69 times.
70 else if ( ++x == number ) {
2801 1 return;
2802 }
2803
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 68 times.
69 else if ( ++x == number ) {
2804 1 return;
2805 }
2806
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 67 times.
68 else if ( ++x == number ) {
2807 1 return;
2808 }
2809
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 66 times.
67 else if ( ++x == number ) {
2810 1 return;
2811 }
2812
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 65 times.
66 else if ( ++x == number ) {
2813 1 return;
2814 }
2815
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 64 times.
65 else if ( ++x == number ) {
2816 1 return;
2817 }
2818
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 63 times.
64 else if ( ++x == number ) {
2819 1 return;
2820 }
2821
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 62 times.
63 else if ( ++x == number ) {
2822 1 return;
2823 }
2824
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 61 times.
62 else if ( ++x == number ) {
2825 1 return;
2826 }
2827
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 60 times.
61 else if ( ++x == number ) {
2828 1 return;
2829 }
2830
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 59 times.
60 else if ( ++x == number ) {
2831 1 return;
2832 }
2833
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 58 times.
59 else if ( ++x == number ) {
2834 1 return;
2835 }
2836
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 57 times.
58 else if ( ++x == number ) {
2837 1 return;
2838 }
2839
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 56 times.
57 else if ( ++x == number ) {
2840 1 return;
2841 }
2842
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 55 times.
56 else if ( ++x == number ) {
2843 1 return;
2844 }
2845
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 54 times.
55 else if ( ++x == number ) {
2846 1 return;
2847 }
2848
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 53 times.
54 else if ( ++x == number ) {
2849 1 return;
2850 }
2851
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 52 times.
53 else if ( ++x == number ) {
2852 1 return;
2853 }
2854
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 51 times.
52 else if ( ++x == number ) {
2855 1 return;
2856 }
2857
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 50 times.
51 else if ( ++x == number ) {
2858 1 return;
2859 }
2860
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 49 times.
50 else if ( ++x == number ) {
2861 1 return;
2862 }
2863
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 48 times.
49 else if ( ++x == number ) {
2864 1 return;
2865 }
2866
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 47 times.
48 else if ( ++x == number ) {
2867 1 return;
2868 }
2869
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 46 times.
47 else if ( ++x == number ) {
2870 1 return;
2871 }
2872
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 45 times.
46 else if ( ++x == number ) {
2873 1 return;
2874 }
2875
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 44 times.
45 else if ( ++x == number ) {
2876 1 return;
2877 }
2878
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 43 times.
44 else if ( ++x == number ) {
2879 1 return;
2880 }
2881
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 42 times.
43 else if ( ++x == number ) {
2882 1 return;
2883 }
2884
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 41 times.
42 else if ( ++x == number ) {
2885 1 return;
2886 }
2887
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 40 times.
41 else if ( ++x == number ) {
2888 1 return;
2889 }
2890
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 39 times.
40 else if ( ++x == number ) {
2891 1 return;
2892 }
2893
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 38 times.
39 else if ( ++x == number ) {
2894 1 return;
2895 }
2896
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 37 times.
38 else if ( ++x == number ) {
2897 1 return;
2898 }
2899
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 36 times.
37 else if ( ++x == number ) {
2900 1 return;
2901 }
2902
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 35 times.
36 else if ( ++x == number ) {
2903 1 return;
2904 }
2905
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 34 times.
35 else if ( ++x == number ) {
2906 1 return;
2907 }
2908
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 33 times.
34 else if ( ++x == number ) {
2909 1 return;
2910 }
2911
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 32 times.
33 else if ( ++x == number ) {
2912 1 return;
2913 }
2914
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 31 times.
32 else if ( ++x == number ) {
2915 1 return;
2916 }
2917
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 30 times.
31 else if ( ++x == number ) {
2918 1 return;
2919 }
2920
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 29 times.
30 else if ( ++x == number ) {
2921 1 return;
2922 }
2923
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 28 times.
29 else if ( ++x == number ) {
2924 1 return;
2925 }
2926
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 27 times.
28 else if ( ++x == number ) {
2927 1 return;
2928 }
2929
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 26 times.
27 else if ( ++x == number ) {
2930 1 return;
2931 }
2932
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 25 times.
26 else if ( ++x == number ) {
2933 1 return;
2934 }
2935
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 24 times.
25 else if ( ++x == number ) {
2936 1 return;
2937 }
2938
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 23 times.
24 else if ( ++x == number ) {
2939 1 return;
2940 }
2941
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 22 times.
23 else if ( ++x == number ) {
2942 1 return;
2943 }
2944
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 21 times.
22 else if ( ++x == number ) {
2945 1 return;
2946 }
2947
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 20 times.
21 else if ( ++x == number ) {
2948 1 return;
2949 }
2950
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 19 times.
20 else if ( ++x == number ) {
2951 1 return;
2952 }
2953
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 18 times.
19 else if ( ++x == number ) {
2954 1 return;
2955 }
2956
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 17 times.
18 else if ( ++x == number ) {
2957 1 return;
2958 }
2959
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 16 times.
17 else if ( ++x == number ) {
2960 1 return;
2961 }
2962
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 15 times.
16 else if ( ++x == number ) {
2963 1 return;
2964 }
2965
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 14 times.
15 else if ( ++x == number ) {
2966 1 return;
2967 }
2968
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 13 times.
14 else if ( ++x == number ) {
2969 1 return;
2970 }
2971
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 12 times.
13 else if ( ++x == number ) {
2972 1 return;
2973 }
2974
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 11 times.
12 else if ( ++x == number ) {
2975 1 return;
2976 }
2977
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 10 times.
11 else if ( ++x == number ) {
2978 1 return;
2979 }
2980
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 9 times.
10 else if ( ++x == number ) {
2981 1 return;
2982 }
2983
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 8 times.
9 else if ( ++x == number ) {
2984 1 return;
2985 }
2986
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 7 times.
8 else if ( ++x == number ) {
2987 1 return;
2988 }
2989
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 6 times.
7 else if ( ++x == number ) {
2990 1 return;
2991 }
2992
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 5 times.
6 else if ( ++x == number ) {
2993 1 return;
2994 }
2995
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 4 times.
5 else if ( ++x == number ) {
2996 1 return;
2997 }
2998
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 3 times.
4 else if ( ++x == number ) {
2999 1 return;
3000 }
3001
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 2 times.
3 else if ( ++x == number ) {
3002 1 return;
3003 }
3004
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 1 times.
2 else if ( ++x == number ) {
3005 1 return;
3006 }
3007
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
1 else if ( ++x == number ) {
3008 return;
3009 }
3010
3011 1 return;
3012 }
3013
3014