{:highlights [{:id #uuid "6390da21-334c-42b4-b466-f34b16a9ef98", :page 6, :position {:bounding {:x1 0, :y1 189, :x2 795.7955932617188, :y2 611.21875, :width 1019.9999999999999, :height 1319.9999999999998}, :rects ({:x1 0, :y1 189, :x2 0, :y2 210.5, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 439.6634826660156, :y1 572.796875, :x2 795.7955932617188, :y2 591.296875, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 222.9453125, :y1 592.71875, :x2 715.4340209960938, :y2 611.21875, :width 1019.9999999999999, :height 1319.9999999999998}), :page 6}, :content {:text "sers can effectively and quickly transform traces by applying filters that capture common abstractions for trace representations"}, :properties {:color "yellow"}} {:id #uuid "6390da35-db27-4425-a531-fad3b20c6098", :page 6, :position {:bounding {:x1 0, :y1 237, :x2 700.2996826171875, :y2 607.609375, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 0, :y1 237, :x2 0, :y2 258.5, :width 897.6, :height 1161.6000000000001} {:x1 0, :y1 253, :x2 0, :y2 274.5, :width 897.6, :height 1161.6000000000001} {:x1 258.41815185546875, :y1 556.5390625, :x2 700.0637817382812, :y2 572.5390625, :width 897.6, :height 1161.6000000000001} {:x1 196.1875, :y1 574.078125, :x2 700.2996826171875, :y2 590.078125, :width 897.6, :height 1161.6000000000001} {:x1 196.1875, :y1 591.609375, :x2 590.5343627929688, :y2 607.609375, :width 897.6, :height 1161.6000000000001}), :page 6}, :content {:text "The results show that our representation can reduce the overall size of traces by at least 79%, which suggests that our notation is an effective improvement over the use of plain traces in the explanation of dynamic program behavior."}, :properties {:color "yellow"}} {:id #uuid "6390da60-8150-4cf8-a138-e33425690ed2", :page 7, :position {:bounding {:x1 196.1875, :y1 587.984375, :x2 430.0765380859375, :y2 603.984375, :width 897.6, :height 1161.6000000000001}, :rects ({:x1 196.1875, :y1 587.984375, :x2 430.0765380859375, :y2 603.984375, :width 897.6, :height 1161.6000000000001}), :page 7}, :content {:text "quickly customize traces to their needs"}, :properties {:color "yellow"}}], :extra {:page 1}}