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