- entry_type: invariant_set
  metadata:
    format_version: "2.0"
    uuid: b0e6ae65-1f71-46ee-bed0-52040c841c61
    creation_time: 2025-03-20T23:42:35Z
    producer:
      name: Goblint
      version: heads/master-0-g66dff5a90-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp.json'' ''--disable'' ''witness.graphml.enabled''
        ''--sets'' ''ana.specification'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/valid-memsafety.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i: ad4b9fd301578a7ddb25530c70896459a49284f596306d3b6d0c853e43916174
      data_model: ILP32
      language: C
      specification: 'CHECK( init(main()), LTL(G valid-free) )

        CHECK( init(main()), LTL(G valid-deref) )

        CHECK( init(main()), LTL(G valid-memtrack) )'
  content:
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 572
        column: 5
        function: main
      value: 0 == c2
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 572
        column: 5
        function: main
      value: c2 == 0
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 572
        column: 5
        function: main
      value: (((((0 == y && last == x) && c2 == y) && y == 0) && ((((((((first ==
        0 && c1 == 0) || c1 == 1) || c1 == 1) || c1 == 1) || c1 == 1) || (((((((((((((((((((((first
        == 0 && c1 == 0) || c1 == 2) || c1 == 2) || c1 == 2) || c1 == 2) || c1 ==
        2) || c1 == 2) || c1 == 2) || c1 == 2) || c1 == 2) || c1 == 2) || c1 == 2)
        || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1) ||
        c1 == 1) || c1 == 2) || c1 == 2)) || (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((first
        == 0 && c1 == 0) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 ==
        3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3)
        || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) ||
        c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1
        == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 ==
        3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3)
        || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) ||
        c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 3) || c1
        == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 ==
        2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2)
        || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 1) || c1 == 2) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3)) || (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((first
        == 0 && last == x) && c1 == 0) && x == x) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 2) || c1 == 1) || c1 == 1) || c1 == 1) || c1 == 1)))
        || (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((0
        == first && 0 == last) && 0 == c1) && first == 0) && first == last) && first
        == c1) && first == c2) && last == 0) && last == c1) && last == c2) && c1 ==
        0) && c1 == c2) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 2) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 2) && c2 == y) && y == 0)) || ((((((0 ==
        y && first == last) && first == x) && last == x) && c1 == 1) && c2 == y) &&
        y == 0)) || ((((0 == y && last == x) && c1 == 2) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 2) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        2) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 2) && c2 ==
        y) && y == 0)) || ((((((0 == y && first == last) && first == x) && last ==
        x) && c1 == 1) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        2) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 2) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 3) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        3) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 ==
        y) && y == 0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y ==
        0)) || ((((0 == y && last == x) && c1 == 4) && c2 == y) && y == 0)) || ((((0
        == y && last == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last
        == x) && c1 == 5) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1
        == 4) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2
        == y) && y == 0)) || ((((0 == y && last == x) && c1 == 5) && c2 == y) && y
        == 0)) || ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) ||
        ((((0 == y && last == x) && c1 == 3) && c2 == y) && y == 0)) || ((((0 == y
        && last == x) && c1 == 2) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 2) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        2) && c2 == y) && y == 0)) || ((((((0 == y && first == last) && first == x)
        && last == x) && c1 == 1) && c2 == y) && y == 0)) || ((((0 == y && last ==
        x) && c1 == 2) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        2) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 2) && c2 ==
        y) && y == 0)) || ((((((0 == y && first == last) && first == x) && last ==
        x) && c1 == 1) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 ==
        2) && c2 == y) && y == 0)) || ((((0 == y && last == x) && c1 == 2) && c2 ==
        y) && y == 0))) || (((((0 == y && first == 0) && last == x) && c1 == 0) &&
        c2 == y) && y == 0)
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 539
        column: 5
        function: main
      value: 0 == c2
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 539
        column: 5
        function: main
      value: c2 == 0
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 539
        column: 5
        function: main
      value: ((((0 == y && last == x) && c2 == y) && y == 0) && ((((c1 == 4 || c1
        == 3) || c1 == 2) || ((first == last && first == x) && c1 == 1)) || c1 ==
        5)) || (((((((((((0 == first && 0 == last) && 0 == c1) && first == 0) && first
        == last) && first == c1) && first == c2) && last == 0) && last == c1) && last
        == c2) && c1 == 0) && c1 == c2)
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 550
        column: 9
        function: main
      value: 0 == y
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 550
        column: 9
        function: main
      value: y == 0
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 550
        column: 9
        function: main
      value: ((((((((((((((((c1 == 4 && (((c2 == 3 || c2 == 2) || c2 == 1) || ((0
        == c2 && c2 == 0) && c2 == y))) || (c1 == 3 && c2 == 3)) || (c1 == 3 && c2
        == 2)) || (c1 == 3 && c2 == 1)) || (((0 == c2 && c1 == 3) && c2 == 0) && c2
        == y)) || ((first == last && c1 == 2) && c2 == 3)) || ((first == last && c1
        == 2) && c2 == 2)) || ((first == last && c1 == 2) && c2 == 1)) || ((((0 ==
        c2 && first == last) && c1 == 2) && c2 == 0) && c2 == y)) || ((((((((0 ==
        first && 0 == last) && first == 0) && first == last) && first == y) && last
        == 0) && last == y) && c1 == 1) && c2 == 3)) || ((((((((0 == first && 0 ==
        last) && first == 0) && first == last) && first == y) && last == 0) && last
        == y) && c1 == 1) && c2 == 2)) || (c1 == 5 && c2 == 3)) || ((((((((0 == first
        && 0 == last) && first == 0) && first == last) && first == y) && last == 0)
        && last == y) && c1 == 1) && c2 == 1)) || (c1 == 5 && c2 == 2)) || ((((((((((((0
        == first && 0 == last) && 0 == c2) && first == 0) && first == last) && first
        == c2) && first == y) && last == 0) && last == c2) && last == y) && c1 ==
        1) && c2 == 0) && c2 == y)) || (c1 == 5 && c2 == 1)) || (((0 == c2 && c1 ==
        5) && c2 == 0) && c2 == y)
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 577
        column: 9
        function: main
      value: 0 == c2
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 577
        column: 9
        function: main
      value: 0 == y
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 577
        column: 9
        function: main
      value: last == x
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 577
        column: 9
        function: main
      value: c2 == 0
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 577
        column: 9
        function: main
      value: c2 == y
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 577
        column: 9
        function: main
      value: y == 0
      format: c_expression
  - invariant:
      type: loop_invariant
      location:
        file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/list-ext-properties/test-0504_1.i
        line: 577
        column: 9
        function: main
      value: ((((((((((((((((first == 0 && c1 == 0) || ((c1 == 1 || (first == 0 &&
        c1 == 0)) || c1 == 1)) || ((((c1 == 1 || (first == 0 && c1 == 0)) || (first
        == 0 && c1 == 0)) || c1 == 1) || c1 == 1)) || ((((((c1 == 1 || (first == 0
        && c1 == 0)) || c1 == 1) || (first == 0 && c1 == 0)) || (first == 0 && c1
        == 0)) || c1 == 1) || c1 == 1)) || ((((((((c1 == 1 || (first == 0 && c1 ==
        0)) || c1 == 1) || (first == 0 && c1 == 0)) || c1 == 1) || (first == 0 &&
        c1 == 0)) || (first == 0 && c1 == 0)) || c1 == 1) || c1 == 1)) || (((((((((c1
        == 2 || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || (first == 0 && c1
        == 0)) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2)) || ((((((((((((((((((c1
        == 2 || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1) || c1 ==
        2) || c1 == 1) || c1 == 2) || (first == 0 && c1 == 0)) || (first == 0 && c1
        == 0)) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 1) || c1 ==
        1) || c1 == 2) || c1 == 2)) || (((((((((((((((((((((((((((c1 == 2 || c1 ==
        1) || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1)
        || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || (first == 0
        && c1 == 0)) || (first == 0 && c1 == 0)) || c1 == 1) || c1 == 1) || c1 ==
        2) || c1 == 2) || (first == 0 && c1 == 0)) || c1 == 1) || c1 == 1) || c1 ==
        2) || c1 == 2) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2)) || ((((((((((((((((((((((((((((((((((((c1
        == 2 || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1) || c1 ==
        2) || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2)
        || c1 == 1) || c1 == 2) || c1 == 1) || c1 == 2) || (first == 0 && c1 == 0))
        || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || (first == 0 && c1 == 0))
        || (first == 0 && c1 == 0)) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2)
        || (first == 0 && c1 == 0)) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2)
        || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2)) || (((((((((((((((((((((((((((((((((((((c1
        == 3 || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 ==
        3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3)
        || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 ==
        1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || (first ==
        0 && c1 == 0))) || ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((c1
        == 3 || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 ==
        3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3)
        || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) ||
        c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1
        == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 ==
        2) || c1 == 3) || c1 == 2) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1 == 1) || c1 == 2) ||
        c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 2) || c1 ==
        3) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1 == 1)
        || c1 == 2) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 1) || c1 == 1) || (first == 0 && c1 == 0)) ||
        (first == 0 && c1 == 0))) || (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((c1
        == 3 || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 ==
        3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3)
        || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) ||
        c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1
        == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 ==
        2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2)
        || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) ||
        c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1
        == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1 == 2) || c1 == 2) || c1 ==
        2) || c1 == 3) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1)
        || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) ||
        c1 == 2) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || c1 ==
        3) || c1 == 3) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3)
        || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1 == 1) || c1 == 2) || c1
        == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 1) || c1 == 1) || (first == 0 && c1 == 0)) || (first == 0 && c1
        == 0)) || (first == 0 && c1 == 0))) || ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((c1
        == 3 || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 ==
        3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3)
        || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) ||
        c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1
        == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 ==
        2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2)
        || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) ||
        c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1
        == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 ==
        3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 3)
        || c1 == 2) || c1 == 3) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) ||
        c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1
        == 2) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 2) || c1 ==
        3) || c1 == 3) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3)
        || c1 == 3) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) ||
        c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1
        == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1 == 2) || c1 ==
        2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 3)
        || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) ||
        c1 == 1) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) || c1
        == 2) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 2) || c1 ==
        3) || c1 == 3) || c1 == 1) || c1 == 1) || c1 == 2) || c1 == 2) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 1) ||
        c1 == 1) || (first == 0 && c1 == 0)) || (first == 0 && c1 == 0)) || (first
        == 0 && c1 == 0)) || (first == 0 && c1 == 0))) || (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((c1
        == 4 || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3)
        || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) ||
        c1 == 2) || c1 == 1) || c1 == 1) || (((first == 0 && last == x) && c1 == 0)
        && x == x)) || c1 == 1) || c1 == 1)) || ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((c1
        == 4 || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 ==
        3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 ==
        3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 2) || c1 == 1) || c1 == 1) || c1 == 1) || (((first == 0 && last ==
        x) && c1 == 0) && x == x)) || c1 == 1) || c1 == 1) || c1 == 1) || (((first
        == 0 && last == x) && c1 == 0) && x == x)) || c1 == 1) || c1 == 1)) || (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((c1
        == 4 || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3)
        || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) ||
        c1 == 2) || c1 == 1) || c1 == 1) || (((first == 0 && last == x) && c1 == 0)
        && x == x)) || c1 == 1) || c1 == 1) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 ==
        2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 ==
        2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2)
        || c1 == 1) || c1 == 1) || c1 == 1) || (((first == 0 && last == x) && c1 ==
        0) && x == x)) || c1 == 1) || c1 == 1) || c1 == 1) || (((first == 0 && last
        == x) && c1 == 0) && x == x)) || c1 == 1) || c1 == 1)) || ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((c1
        == 4 || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) ||
        c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1
        == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 2) || c1 == 1) || c1 == 1) || (((first == 0 && last
        == x) && c1 == 0) && x == x)) || c1 == 1) || c1 == 1) || c1 == 3) || c1 ==
        3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) ||
        c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 ==
        3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4)
        || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1
        == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 1) || c1 == 1) || (((first
        == 0 && last == x) && c1 == 0) && x == x)) || c1 == 1) || c1 == 1) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) ||
        c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1
        == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 ==
        4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4) || c1 == 4)
        || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1
        == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 ==
        4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) ||
        c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 ==
        3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3)
        || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 3) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 ==
        2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1 == 4) || c1 ==
        2) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2)
        || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) ||
        c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) || c1 == 3) || c1
        == 4) || c1 == 4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 4) || c1 ==
        4) || c1 == 2) || c1 == 3) || c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4)
        || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 2) || c1 == 2) || c1 == 3) ||
        c1 == 3) || c1 == 3) || c1 == 4) || c1 == 4) || c1 == 3) || c1 == 4) || c1
        == 4) || c1 == 2) || c1 == 2) || c1 == 1) || c1 == 1) || c1 == 1) || (((first
        == 0 && last == x) && c1 == 0) && x == x)) || c1 == 1) || c1 == 1) || c1 ==
        1) || (((first == 0 && last == x) && c1 == 0) && x == x)) || c1 == 1) || c1
        == 1)
      format: c_expression
