{:highlights [{:id #uuid "65e1a0e4-c305-4e17-bff0-6fc9d1ce8359",
               :page 11,
               :position {:bounding {:x1 222.96563696861267,
                                     :y1 961.3406677246094,
                                     :x2 795.6902463436127,
                                     :y2 999.8719177246094,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 733.9379270076752,
                                   :y1 961.3406677246094,
                                   :x2 795.6902463436127,
                                   :y2 979.9406433105469,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}
                                  {:x1 222.96563696861267,
                                   :y1 981.2718811035156,
                                   :x2 791.1801145076752,
                                   :y2 999.8719177246094,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 11},
               :content {:text "function signatures of the printer and the parser that are derived from a BIT template"},
               :properties {:color "green"}}
              {:id #uuid "65e1a0fc-42f5-4042-826b-22c72e9c31a0",
               :page 12,
               :position {:bounding {:x1 271.62188696861267,
                                     :y1 209.859375,
                                     :x2 461.4873960018158,
                                     :y2 228.4593505859375,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 271.62188696861267,
                                   :y1 209.859375,
                                   :x2 461.4873960018158,
                                   :y2 228.4593505859375,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "S denotes the string type "},
               :properties {:color "green"}}
              {:id #uuid "65e1a0ff-a52a-448c-b57f-97996f2c8922",
               :page 12,
               :position {:bounding {:x1 495.7125241756439,
                                     :y1 209.859375,
                                     :x2 670.4055173397064,
                                     :y2 228.4593505859375,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 495.7125241756439,
                                   :y1 209.859375,
                                   :x2 670.4055173397064,
                                   :y2 228.4593505859375,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "V is a certain value typ"},
               :properties {:color "green"}}
              {:id #uuid "65e1a11f-e438-4b94-a86e-b7567b37a088",
               :page 12,
               :position {:bounding {:x1 222.96563696861267,
                                     :y1 289.4624938964844,
                                     :x2 795.7371213436127,
                                     :y2 327.9937438964844,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 730.1525876522064,
                                   :y1 289.4624938964844,
                                   :x2 795.7371213436127,
                                   :y2 308.0625305175781,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}
                                  {:x1 222.96563696861267,
                                   :y1 309.3937683105469,
                                   :x2 528.2596433162689,
                                   :y2 327.9937438964844,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "including incremental printing, incremental parsing,"},
               :properties {:color "yellow"}}
              {:id #uuid "65e1a16a-195a-4269-a0a5-5343e8131321",
               :page 12,
               :position {:bounding {:x1 393.36746191978455,
                                     :y1 383.9718933105469,
                                     :x2 593.5996701717377,
                                     :y2 402.5718688964844,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 393.36746191978455,
                                   :y1 383.9718933105469,
                                   :x2 593.5996701717377,
                                   :y2 402.5718688964844,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "rewriting an existing string"},
               :properties {:color "yellow"}}
              {:id #uuid "65e1a1b3-8096-41d1-a175-3313d8b99751",
               :page 12,
               :position {:bounding {:x1 227.50746130943298,
                                     :y1 692.4562835693359,
                                     :x2 435.96865820884705,
                                     :y2 711.0562591552734,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 227.50746130943298,
                                   :y1 692.4562835693359,
                                   :x2 435.96865820884705,
                                   :y2 711.0562591552734,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "ncPrint does not use a mode"},
               :properties {:color "green"}}
              {:id #uuid "65e1a212-d01f-4cdb-a058-424fdde2ea10",
               :page 12,
               :position {:bounding {:x1 330.1995542049408,
                                     :y1 850.0594358444214,
                                     :x2 458.27297949790955,
                                     :y2 868.6594114303589,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 330.1995542049408,
                                   :y1 850.0594358444214,
                                   :x2 458.27297949790955,
                                   :y2 868.6594114303589,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "Accumulative BX"},
               :properties {:color "green"}}
              {:id #uuid "65e1a25a-f313-47f7-94e7-269d49153c3e",
               :page 12,
               :position {:bounding {:x1 774.5812985897064,
                                     :y1 928.471923828125,
                                     :x2 795.7902219295502,
                                     :y2 947.0718994140625,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 774.5812985897064,
                                   :y1 928.471923828125,
                                   :x2 795.7902219295502,
                                   :y2 947.0718994140625,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "(1)"},
               :properties {:color "red"}}
              {:id #uuid "65e1a32f-77b0-4509-b7a4-22527e368155",
               :page 12,
               :position {:bounding {:x1 538.6979367733002,
                                     :y1 1064.7000732421875,
                                     :x2 735.5624997615814,
                                     :y2 1085.1469116210938,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 733.3781735897064,
                                   :y1 1064.7000732421875,
                                   :x2 735.5624997615814,
                                   :y2 1077.9000244140625,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}
                                  {:x1 538.6979367733002,
                                   :y1 1066.5469360351562,
                                   :x2 732.6187741756439,
                                   :y2 1085.1469116210938,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 12},
               :content {:text "pdate the model m into m′"},
               :properties {:color "yellow"}}
              {:id #uuid "65e1a35e-1ff9-4f3a-8003-c4b4c08e1d50",
               :page 13,
               :position {:bounding {:x1 222.96563696861267,
                                     :y1 209.859375,
                                     :x2 312.95156836509705,
                                     :y2 228.45941162109375,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 222.96563696861267,
                                   :y1 209.859375,
                                   :x2 312.95156836509705,
                                   :y2 228.45941162109375,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 13},
               :content {:text "Special Case"},
               :properties {:color "green"}}
              {:id #uuid "65e1a3d8-ac28-4ff9-972e-4de53d273654",
               :page 16,
               :position {:bounding {:x1 247.85626196861267,
                                     :y1 502.50941467285156,
                                     :x2 790.9616696834564,
                                     :y2 521.1093902587891,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 247.85626196861267,
                                   :y1 502.50941467285156,
                                   :x2 790.9616696834564,
                                   :y2 521.1093902587891,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 16},
               :content {:text "We assume every expression e is equipped with a bidirectional semantics"},
               :properties {:color "yellow"}}
              {:id #uuid "65e1a3dc-d1d5-42af-ad26-0b9ccf04adeb",
               :page 16,
               :position {:bounding {:x1 405.8625180721283,
                                     :y1 522.4406280517578,
                                     :x2 475.6374204158783,
                                     :y2 541.0406646728516,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 405.8625180721283,
                                   :y1 522.4406280517578,
                                   :x2 475.6374204158783,
                                   :y2 541.0406646728516,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 16},
               :content {:text "e as a BX"},
               :properties {:color "green"}}
              {:id #uuid "65e1a5ef-fd36-41d2-a12d-6de436c1ca0d",
               :page 17,
               :position {:bounding {:x1 275.53228735923767,
                                     :y1 462.24375915527344,
                                     :x2 347.7656247615814,
                                     :y2 480.8437957763672,
                                     :width 1019.9999999999999,
                                     :height 1319.9999999999998},
                          :rects ({:x1 275.53228735923767,
                                   :y1 462.24375915527344,
                                   :x2 347.7656247615814,
                                   :y2 480.8437957763672,
                                   :width 1019.9999999999999,
                                   :height 1319.9999999999998}),
                          :page 17},
               :content {:text " pattern ρ"},
               :properties {:color "yellow"}}],
 :extra {:page 12}}