(document 0.6 ( (filename "/hdb1/home/mj/tex/ga/10-suffix/barbara.vrr") (name "Untitled 1")) (
 (page ( (tex_footer "\\bye
") (tex_header "\\nopagenumbers\\vglue0pt
") (name "barbara")) (
 (point (coords 122.5 15.0) ( (id 138163720) (invisible #f) (name "noname")))
 (segment (coords 122.5 25.0) (coords 112.5 20.0) ( (id 139232144) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (point (coords 80.0 15.0) ( (id 139212032) (invisible #f) (name "noname")))
 (segment (coords 80.0 25.0) (coords 70.0 20.0) ( (id 139202160) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (segment (coords 40.0 25.0) (coords 30.0 20.0) ( (id 139492360) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (point 138163720) (coords 120.0 10.0) ( (id 140041800) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139232144 0.00612251274287701 ( (id 139260040) (name "noname")))
 (parametric-point 139232144 0.989513456821442 ( (id 139300552) (name "noname")))
 (parametric-point 139232144 1.0 ( (id 139637368) (name "noname")))
 (segment (start 139232144) (coords 132.5 5.0) ( (id 139403352) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (segment (start 139232144) (coords 122.5 -5.0) ( (id 139245832) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (parametric-point 139202160 1.0 ( (id 137907336) (name "noname")))
 (parametric-point 139202160 0.989513456821442 ( (id 139769608) (name "noname")))
 (parametric-point 139202160 0.00612251274287701 ( (id 139618320) (name "noname")))
 (segment (start 139202160) (coords 90.0 5.0) ( (id 139905760) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (segment (start 139202160) (coords 80.0 -5.0) ( (id 139902072) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (parametric-point 139492360 0.5 ( (id 139364368) (name "noname")))
 (segment (start 139492360) (coords 40.0 20.0) ( (id 139233384) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (start 139492360) (coords 50.0 20.0) ( (id 139286536) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 139492360) (coords 32.5 15.0) ( (id 139375384) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 139492360) (coords 27.5 15.0) ( (id 139212576) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (center 139260040) (coords 132.5 20.0) ( (id 140031240) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (center 139300552) (coords 115.0 0.0) ( (id 139310688) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (segment (center 139637368) (coords 110.0 10.0) ( (id 139396704) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (segment (center 137907336) (coords 67.5 10.0) ( (id 139482376) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (segment (center 139769608) (coords 72.5 0.0) ( (id 139654456) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (parametric-point 139233384 0.5 ( (id 139715976) (name "noname")))
 (segment (end 139233384) (coords 40.0 15.0) ( (id 139486216) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139286536 0.5 ( (id 138123032) (name "noname")))
 (segment (end 139286536) (coords 50.0 15.0) ( (id 139606408) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139375384 0.5 ( (id 139261832) (name "noname")))
 (segment (end 139375384) (coords 32.5 10.0) ( (id 139383472) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139212576 0.5 ( (id 139289728) (name "noname")))
 (segment (end 139212576) (coords 27.5 10.0) ( (id 139383304) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (start 139310688) (coords 115.0 15.0) ( (id 140133000) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (parametric-point 139486216 0.5 ( (id 139670920) (name "noname")))
 (segment (end 139486216) (coords 40.0 10.0) ( (id 139481224) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139606408 0.5 ( (id 138187424) (name "noname")))
 (segment (end 139606408) (coords 50.0 10.0) ( (id 139638920) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139383472 0.5 ( (id 138223760) (name "noname")))
 (segment (end 139383472) (coords 32.5 5.0) ( (id 139545352) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139383304 0.5 ( (id 139287680) (name "noname")))
 (parametric-point 139481224 0.5 ( (id 139259224) (name "noname")))
 (segment (end 139481224) (coords 40.0 5.0) ( (id 139290112) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139638920 0.5 ( (id 139276888) (name "noname")))
 (segment (end 139638920) (coords 50.0 5.0) ( (id 139671016) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139545352 0.5 ( (id 139617496) (name "noname")))
 (segment (end 139545352) (coords 32.5 0.0) ( (id 139286920) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139290112 0.5 ( (id 139287904) (name "noname")))
 (segment (end 139290112) (coords 40.0 0.0) ( (id 139548440) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139671016 0.5 ( (id 139229056) (name "noname")))
 (parametric-point 139286920 0.5 ( (id 139260552) (name "noname")))
 (parametric-point 139548440 0.5 ( (id 139235080) (name "noname")))
 (segment (end 139548440) (coords 40.0 -5.0) ( (id 139306120) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139306120 0.5 ( (id 139602656) (name "noname")))
 (top-level-group ( (name "top-level-group")) (
 (decorator-point (end 139212576) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (tex-text (coords 116.414131164551 18.4027786254883) "\\$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139232144) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (end 140133000) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 140133000
 (decorator-point (center 139260040) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (point 138163720) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (tex-text (coords 130.968490600586 23.9307384490967) "\\$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 140031240) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 140031240
 (tex-text (coords 120.463088989258 13.6335582733154) "\\$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 140041800) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 140041800
 (tex-text (coords 121.010238647461 20.0286464691162) "ba" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 135.345733642578 12.9832105636597) "raba\\$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 129.327011108398 -2.08319187164307) "raba\\$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 110.176544189453 3.11959481239319) "raba\\$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 108.097351074219 16.0181694030762) "ba\\$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 116.966011047363 23.6055641174316) "a" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 138163720
 (decorator-point (end 139403352) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139245832) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139310688) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139396704) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139403352 139245832 139260040 139310688 139300552 139396704 139637368 139232144
 (tex-text (coords 77.0160293579102 17.1259269714355) "(ba)" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 89.4209136962891 17.4836158752441) "raba" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 87.7938919067383 -1.75801765918732) "baraba" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 68.9717025756836 3.44476771354675) "raba" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 66.6736450195313 16.0181674957275) "ba" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 74.4660110473633 23.6055641174316) "a" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (point 139212032) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139212032
 (decorator-point (end 139905760) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139902072) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139654456) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139482376) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139202160) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (center 139618320) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139905760 139902072 139618320 139654456 139769608 139482376 137907336 139202160
 (tex-text (center 139602656) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139602656
 (tex-text (center 139235080) "b" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139235080
 (tex-text (center 139287904) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139287904
 (tex-text (center 139259224) "r" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139259224
 (tex-text (center 139670920) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139670920
 (tex-text (center 139229056) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139229056
 (tex-text (center 139276888) "b" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139276888
 (tex-text (center 138187424) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 138187424
 (tex-text (center 138123032) "r" ( (relative-position-x 1.38777878078145e-16) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 138123032
 (tex-text (center 139715976) "b" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y -0.5) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139715976
 (tex-text (center 139260552) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139260552
 (tex-text (center 139617496) "b" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139617496
 (tex-text (center 138223760) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 138223760
 (tex-text (center 139261832) "r" ( (relative-position-x 1.38777878078145e-16) (relative-position-y 0.100000001490116) (absolute-shift-x 1.0) (absolute-shift-y -0.5) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139261832
 (tex-text (center 139287680) "a" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139287680
 (tex-text (center 139289728) "b" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y -0.5) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139289728
 (tex-text (coords 31.2369956970215 17.7090721130371) "" ( (relative-position-x 1.0) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139383304) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139383304
 (tex-text (center 139364368) "a" ( (relative-position-x 1.0) (relative-position-y 2.77555756156289e-17) (absolute-shift-x -1.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139364368
 (decorator-point (end 139286536) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (start 139638920) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (start 139671016) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (end 139671016) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139306120) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (start 139306120) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (end 139290112) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (start 139290112) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (start 139481224) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (start 139486216) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (end 139286920) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139545352) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (start 139545352) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (start 139383472) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
 (decorator-point (start 139212576) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (start 139492360) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139671016 139638920 139606408 139306120 139548440 139290112 139481224 139486216 139286920 139545352 139383472 139375384 139212576 139286536 139233384 139492360))))))