; benchmark generated from python API
(set-info :status unknown)
(declare-fun copy_length () Int)
(declare-fun capacity () Int)
(declare-fun other_length () Int)
(assert
 (>= copy_length 0))
(assert
 (<= copy_length 64))
(assert
 (>= capacity 0))
(assert
 (<= capacity 64))
(assert
 (>= other_length 0))
(assert
 (<= other_length 64))
(assert
 (<= copy_length capacity))
(assert
 (let (($x16 (<= copy_length capacity)))
(not $x16)))
(check-sat)