
main mode oakley: 0
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

main mode oakley: 1
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 2

main mode oakley: 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 2

main mode oakley: 3
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 8
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 8
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 3
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 1
        type: 4 val: 2

main mode oakley: 4
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

main mode oakley: 5
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 2

main mode oakley: 6
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65006
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65006
        type: 4 val: 2

main mode oakley: 7
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 8
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65006
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 8
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65006
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65002
        type: 4 val: 2

main mode oakley: 8
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

main mode oakley: 9
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 2

main mode oakley: 10
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 4
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 2

main mode oakley: 11
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 8
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 2
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 8
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 5
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65005
        type: 4 val: 2
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 1
        type: 3 val: 65001
        type: 4 val: 2

main mode oakley: 12
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

main mode oakley: 13
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

main mode oakley: 14
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

main mode oakley: 15
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 0
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 1
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 5
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 1
        type: 4 val: 5

aggr mode oakley: 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 5
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 3
        type: 4 val: 5

aggr mode oakley: 3
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 4
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 5
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 5
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65002
        type: 4 val: 5

aggr mode oakley: 6
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 5
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65006
        type: 4 val: 5

aggr mode oakley: 7
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 8
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 9
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 5
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65001
        type: 4 val: 5

aggr mode oakley: 10
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 5
copy 2
sa disjunct cnt: 1
  conjunctions cnt: 1
    protoid: 1 cnt: 1
      transform: 1 cnt: 4
        type: 1 val: 5
        type: 2 val: 2
        type: 3 val: 65005
        type: 4 val: 5

aggr mode oakley: 11
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 12
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 13
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 14
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0

aggr mode oakley: 15
sa disjunct cnt: 0
copy 2
sa disjunct cnt: 0
