#S(header
   :signature "SYS4433 "
   :local-variable-counts (:local-integers-1 #x2 :local-integers-2 #x1
                           :local-strings-1 #x1 :local-strings-2 #x1
                           :local-floats #x1 :unknown-ints #x1)
   :static-data/code-offsets nil
   :static-integers nil
   :external-string-file "CIMES.text.utf8")

(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x1)
(jcc (local-integer-1 #x0) #x-1 label_29)
(show-text #x0 (external-string #x0))
(end-text-line #x0)
(show-text #x0 (external-string #x1))
(end-text-line #x0)
(show-text #x0 (external-string #x2))
(end-text-line #x0)
(jmp label_572)

label_29
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x2)
(jcc (local-integer-1 #x0) #x-1 label_52)
(show-text #x0 (external-string #x3))
(end-text-line #x0)
(show-text #x0 (external-string #x4))
(end-text-line #x0)
(show-text #x0 (external-string #x5))
(end-text-line #x0)
(jmp label_572)

label_52
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x3)
(jcc (local-integer-1 #x0) #x-1 label_7b)
(show-text #x0 (external-string #x6))
(end-text-line #x0)
(show-text #x0 (external-string #x7))
(end-text-line #x0)
(show-text #x0 (external-string #x8))
(end-text-line #x0)
(jmp label_572)

label_7b
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x4)
(jcc (local-integer-1 #x0) #x-1 label_a4)
(show-text #x0 (external-string #x9))
(end-text-line #x0)
(show-text #x0 (external-string #xA))
(end-text-line #x0)
(show-text #x0 (external-string #xB))
(end-text-line #x0)
(jmp label_572)

label_a4
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x5)
(jcc (local-integer-1 #x0) #x-1 label_cd)
(show-text #x0 (external-string #xC))
(end-text-line #x0)
(show-text #x0 (external-string #xD))
(end-text-line #x0)
(show-text #x0 (external-string #xE))
(end-text-line #x0)
(jmp label_572)

label_cd
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x6)
(jcc (local-integer-1 #x0) #x-1 label_f6)
(show-text #x0 (external-string #xF))
(end-text-line #x0)
(show-text #x0 (external-string #x10))
(end-text-line #x0)
(show-text #x0 (external-string #x11))
(end-text-line #x0)
(jmp label_572)

label_f6
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x7)
(jcc (local-integer-1 #x0) #x-1 label_11f)
(show-text #x0 (external-string #x12))
(end-text-line #x0)
(show-text #x0 (external-string #x13))
(end-text-line #x0)
(show-text #x0 (external-string #x14))
(end-text-line #x0)
(jmp label_572)

label_11f
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x8)
(jcc (local-integer-1 #x0) #x-1 label_148)
(show-text #x0 (external-string #x15))
(end-text-line #x0)
(show-text #x0 (external-string #x16))
(end-text-line #x0)
(show-text #x0 (external-string #x17))
(end-text-line #x0)
(jmp label_572)

label_148
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x9)
(jcc (local-integer-1 #x0) #x-1 label_171)
(show-text #x0 (external-string #x18))
(end-text-line #x0)
(show-text #x0 (external-string #x19))
(end-text-line #x0)
(show-text #x0 (external-string #x1A))
(end-text-line #x0)
(jmp label_572)

label_171
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #xA)
(jcc (local-integer-1 #x0) #x-1 label_19a)
(show-text #x0 (external-string #x1B))
(end-text-line #x0)
(show-text #x0 (external-string #x1C))
(end-text-line #x0)
(show-text #x0 (external-string #x1D))
(end-text-line #x0)
(jmp label_572)

label_19a
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #xB)
(jcc (local-integer-1 #x0) #x-1 label_1c3)
(show-text #x0 (external-string #x1E))
(end-text-line #x0)
(show-text #x0 (external-string #x1F))
(end-text-line #x0)
(show-text #x0 (external-string #x20))
(end-text-line #x0)
(jmp label_572)

label_1c3
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #xC)
(jcc (local-integer-1 #x0) #x-1 label_1ec)
(show-text #x0 (external-string #x21))
(end-text-line #x0)
(show-text #x0 (external-string #x22))
(end-text-line #x0)
(show-text #x0 (external-string #x23))
(end-text-line #x0)
(jmp label_572)

label_1ec
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #xD)
(jcc (local-integer-1 #x0) #x-1 label_215)
(show-text #x0 (external-string #x24))
(end-text-line #x0)
(show-text #x0 (external-string #x25))
(end-text-line #x0)
(show-text #x0 (external-string #x26))
(end-text-line #x0)
(jmp label_572)

label_215
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #xE)
(jcc (local-integer-1 #x0) #x-1 label_23e)
(show-text #x0 (external-string #x27))
(end-text-line #x0)
(show-text #x0 (external-string #x28))
(end-text-line #x0)
(show-text #x0 (external-string #x29))
(end-text-line #x0)
(jmp label_572)

label_23e
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #xF)
(jcc (local-integer-1 #x0) #x-1 label_267)
(show-text #x0 (external-string #x2A))
(end-text-line #x0)
(show-text #x0 (external-string #x2B))
(end-text-line #x0)
(show-text #x0 (external-string #x2C))
(end-text-line #x0)
(jmp label_572)

label_267
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x10)
(jcc (local-integer-1 #x0) #x-1 label_290)
(show-text #x0 (external-string #x2D))
(end-text-line #x0)
(show-text #x0 (external-string #x2E))
(end-text-line #x0)
(show-text #x0 (external-string #x2F))
(end-text-line #x0)
(jmp label_572)

label_290
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x11)
(jcc (local-integer-1 #x0) #x-1 label_2b9)
(show-text #x0 (external-string #x30))
(end-text-line #x0)
(show-text #x0 (external-string #x31))
(end-text-line #x0)
(show-text #x0 (external-string #x32))
(end-text-line #x0)
(jmp label_572)

label_2b9
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x12)
(jcc (local-integer-1 #x0) #x-1 label_2e2)
(show-text #x0 (external-string #x33))
(end-text-line #x0)
(show-text #x0 (external-string #x34))
(end-text-line #x0)
(show-text #x0 (external-string #x35))
(end-text-line #x0)
(jmp label_572)

label_2e2
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x13)
(jcc (local-integer-1 #x0) #x-1 label_30b)
(show-text #x0 (external-string #x36))
(end-text-line #x0)
(show-text #x0 (external-string #x37))
(end-text-line #x0)
(show-text #x0 (external-string #x38))
(end-text-line #x0)
(jmp label_572)

label_30b
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x14)
(jcc (local-integer-1 #x0) #x-1 label_334)
(show-text #x0 (external-string #x39))
(end-text-line #x0)
(show-text #x0 (external-string #x3A))
(end-text-line #x0)
(show-text #x0 (external-string #x3B))
(end-text-line #x0)
(jmp label_572)

label_334
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x15)
(jcc (local-integer-1 #x0) #x-1 label_35d)
(show-text #x0 (external-string #x3C))
(end-text-line #x0)
(show-text #x0 (external-string #x3D))
(end-text-line #x0)
(show-text #x0 (external-string #x3E))
(end-text-line #x0)
(jmp label_572)

label_35d
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x16)
(jcc (local-integer-1 #x0) #x-1 label_386)
(show-text #x0 (external-string #x3F))
(end-text-line #x0)
(show-text #x0 (external-string #x40))
(end-text-line #x0)
(show-text #x0 (external-string #x41))
(end-text-line #x0)
(jmp label_572)

label_386
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x17)
(jcc (local-integer-1 #x0) #x-1 label_3af)
(show-text #x0 (external-string #x42))
(end-text-line #x0)
(show-text #x0 (external-string #x43))
(end-text-line #x0)
(show-text #x0 (external-string #x44))
(end-text-line #x0)
(jmp label_572)

label_3af
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x18)
(jcc (local-integer-1 #x0) #x-1 label_3d8)
(show-text #x0 (external-string #x45))
(end-text-line #x0)
(show-text #x0 (external-string #x46))
(end-text-line #x0)
(show-text #x0 (external-string #x47))
(end-text-line #x0)
(jmp label_572)

label_3d8
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x19)
(jcc (local-integer-1 #x0) #x-1 label_401)
(show-text #x0 (external-string #x48))
(end-text-line #x0)
(show-text #x0 (external-string #x49))
(end-text-line #x0)
(show-text #x0 (external-string #x4A))
(end-text-line #x0)
(jmp label_572)

label_401
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x1A)
(jcc (local-integer-1 #x0) #x-1 label_42a)
(show-text #x0 (external-string #x4B))
(end-text-line #x0)
(show-text #x0 (external-string #x4C))
(end-text-line #x0)
(show-text #x0 (external-string #x4D))
(end-text-line #x0)
(jmp label_572)

label_42a
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x1B)
(jcc (local-integer-1 #x0) #x-1 label_453)
(show-text #x0 (external-string #x4E))
(end-text-line #x0)
(show-text #x0 (external-string #x4F))
(end-text-line #x0)
(show-text #x0 (external-string #x50))
(end-text-line #x0)
(jmp label_572)

label_453
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x1C)
(jcc (local-integer-1 #x0) #x-1 label_47c)
(show-text #x0 (external-string #x51))
(end-text-line #x0)
(show-text #x0 (external-string #x52))
(end-text-line #x0)
(show-text #x0 (external-string #x53))
(end-text-line #x0)
(jmp label_572)

label_47c
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x1D)
(jcc (local-integer-1 #x0) #x-1 label_4a5)
(show-text #x0 (external-string #x54))
(end-text-line #x0)
(show-text #x0 (external-string #x55))
(end-text-line #x0)
(show-text #x0 (external-string #x56))
(end-text-line #x0)
(jmp label_572)

label_4a5
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x1E)
(jcc (local-integer-1 #x0) #x-1 label_4ce)
(show-text #x0 (external-string #x57))
(end-text-line #x0)
(show-text #x0 (external-string #x58))
(end-text-line #x0)
(show-text #x0 (external-string #x59))
(end-text-line #x0)
(jmp label_572)

label_4ce
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x1F)
(jcc (local-integer-1 #x0) #x-1 label_4f7)
(show-text #x0 (external-string #x5A))
(end-text-line #x0)
(show-text #x0 (external-string #x5B))
(end-text-line #x0)
(show-text #x0 (external-string #x5C))
(end-text-line #x0)
(jmp label_572)

label_4f7
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x20)
(jcc (local-integer-1 #x0) #x-1 label_520)
(show-text #x0 (external-string #x5D))
(end-text-line #x0)
(show-text #x0 (external-string #x5E))
(end-text-line #x0)
(show-text #x0 (external-string #x5F))
(end-text-line #x0)
(jmp label_572)

label_520
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x21)
(jcc (local-integer-1 #x0) #x-1 label_549)
(show-text #x0 (external-string #x60))
(end-text-line #x0)
(show-text #x0 (external-string #x61))
(end-text-line #x0)
(show-text #x0 (external-string #x62))
(end-text-line #x0)
(jmp label_572)

label_549
(u0041a0f0 (local-integer-1 #x0) (global-integer-1 #x3D19D5) #x22)
(jcc (local-integer-1 #x0) #x-1 label_572)
(show-text #x0 (external-string #x63))
(end-text-line #x0)
(show-text #x0 (external-string #x64))
(end-text-line #x0)
(show-text #x0 (external-string #x65))
(end-text-line #x0)
(jmp label_572)

label_572
(exit)
