[
  (a.b or c)
  (a.b or c)
  (a.b or c)
  (a.b or c)
  (a.b or (a.b or (a.b or c)))
  (a.b or (a.b or (a.b or c)))
  (a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a
    or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a
  )
  (a.a or a.a # test
    or a.a # test
      or # test
      a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a or a.a
        or a.a or a.a or a.a or a.a or a.a
  )
]
