
[
(DefTyp ("goodin",1) "Coord" (TypAtom "Coord")),
(DefVal ("goodin",3) "arc"
 (VType 
  (TypFun 
   (TypString)
   (TypFun 
    (TypFlo)
    (TypNon 
     (TypProd 
      [
       (TypSym "Coord"), 
       (TypSym "Coord")]))))
  (VAtom "arc"))),
(DefVal ("goodin",4) "line"
 (VType 
  (TypFun 
   (TypString)
   (TypNon 
    (TypProd 
     [
      (TypSym "Coord"), 
      (TypSym "Coord")])))
  (VAtom "line"))),
(DefVal ("goodin",5) "rect"
 (VType 
  (TypFun 
   (TypString)
   (TypNon 
    (TypProd 
     [
      (TypSym "Coord"), 
      (TypSym "Coord")])))
  (VAtom "rect"))),
(DefVal ("goodin",6) "triangle"
 (VType 
  (TypFun 
   (TypString)
   (TypNon 
    (TypProd 
     [
      (TypSym "Coord"), 
      (TypSym "Coord"), 
      (TypSym "Coord")])))
  (VAtom "triangle"))),
(DefVal ("goodin",7) "text"
 (VType 
  (TypFun 
   (TypString)
   (TypFun 
    (TypString)
    (TypNon 
     (TypProd 
      [
       (TypSym "Coord"), 
       (TypSym "Coord")]))))
  (VAtom "text"))),
(DefVal ("goodin",10) "trans"
 (VType 
  (TypFun 
   (TypFlo)
   (TypFun 
    (TypFlo)
    (TypNon 
     (TypProd 
      [
       (TypSym "Coord"), 
       (TypSym "Coord")]))))
  (VAtom "trans"))),
(DefVal ("goodin",11) "xyproj"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypIn 
      (TypSym "Coord")), 
     (TypIn 
      (TypSym "Coord")), 
     (TypOut 
      (TypSym "Coord"))]))
  (VAtom "xyproj"))),
(DefVal ("goodin",12) "polar"
 (VType 
  (TypFun 
   (TypFlo)
   (TypFun 
    (TypFlo)
    (TypNon 
     (TypProd 
      [
       (TypSym "Coord"), 
       (TypSym "Coord")]))))
  (VAtom "polar"))),
(DefVal ("goodin",13) "pcir"
 (VType 
  (TypFun 
   (TypFlo)
   (TypNon 
    (TypProd 
     [
      (TypSym "Coord"), 
      (TypSym "Coord"), 
      (TypSym "Coord")])))
  (VAtom "pcir"))),
(DefVal ("goodin",14) "between"
 (VType 
  (TypFun 
   (TypFlo)
   (TypNon 
    (TypProd 
     [
      (TypSym "Coord"), 
      (TypSym "Coord"), 
      (TypSym "Coord")])))
  (VAtom "between"))),
(DefVal ("goodin",15) "dir"
 (VType 
  (TypFun 
   (TypFlo)
   (TypNon 
    (TypProd 
     [
      (TypSym "Coord"), 
      (TypSym "Coord"), 
      (TypSym "Coord")])))
  (VAtom "dir"))),
(DefVal ("goodin",19) "R"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "a"),
     (FpName "b")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",22) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",22) "a"),
        (VSym ("goodin",22) "b"),
        (VSym ("goodin",22) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",23) "dir")
       (VInt 1))
      (VList 
       [
        (VSym ("goodin",23) "m"),
        (VSym ("goodin",23) "a"),
        (VSym ("goodin",23) "a1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",24) "dir")
       (VInt 1))
      (VList 
       [
        (VSym ("goodin",24) "m"),
        (VSym ("goodin",24) "b"),
        (VSym ("goodin",24) "b1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",25) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",25) "a"),
        (VSym ("goodin",25) "a1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",26) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",26) "b"),
        (VSym ("goodin",26) "b1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",27) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",27) "a"),
             (VSym ("goodin",27) "b"),
             (VSym ("goodin",27) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",27) "dir")
            (VFlo 0.5))
           (VList 
            [
             (VSym ("goodin",27) "a"),
             (VSym ("goodin",27) "cd"),
             (VSym ("goodin",27) "c")]))]))
      (VList 
       [
        (VSym ("goodin",27) "a1"),
        (VSym ("goodin",27) "a"),
        (VSym ("goodin",27) "abot")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",28) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",28) "a"),
             (VSym ("goodin",28) "b"),
             (VSym ("goodin",28) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",28) "dir"),
             (VValApply 
              (VFlo 0.5)
              (VList 
               [
                (VSym ("goodin",28) "a"),
                (VSym ("goodin",28) "cd"),
                (VSym ("goodin",28) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",28) "a1"),
        (VSym ("goodin",28) "a"),
        (VSym ("goodin",28) "atop")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",29) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",29) "a"),
             (VSym ("goodin",29) "b"),
             (VSym ("goodin",29) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",29) "dir")
            (VFlo 0.5))
           (VList 
            [
             (VSym ("goodin",29) "a"),
             (VSym ("goodin",29) "cd"),
             (VSym ("goodin",29) "c")]))]))
      (VList 
       [
        (VSym ("goodin",29) "b1"),
        (VSym ("goodin",29) "b"),
        (VSym ("goodin",29) "btop")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",30) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",30) "a"),
             (VSym ("goodin",30) "b"),
             (VSym ("goodin",30) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",30) "dir"),
             (VValApply 
              (VFlo 0.5)
              (VList 
               [
                (VSym ("goodin",30) "a"),
                (VSym ("goodin",30) "cd"),
                (VSym ("goodin",30) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",30) "b1"),
        (VSym ("goodin",30) "b"),
        (VSym ("goodin",30) "bbot")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",31) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",31) "abot"),
        (VSym ("goodin",31) "atop")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",32) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",32) "bbot"),
        (VSym ("goodin",32) "btop")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",33) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",33) "atop"),
        (VSym ("goodin",33) "btop")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",34) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",34) "abot"),
        (VSym ("goodin",34) "bbot")]))])))),
(DefVal ("goodin",39) "coilturn"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "a"),
     (FpName "b")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",40) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",40) "a"),
        (VSym ("goodin",40) "b"),
        (VSym ("goodin",40) "c")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",40) "arc")
        (VStr "line"))
       (VInt 180))
      (VList 
       [
        (VSym ("goodin",40) "c"),
        (VSym ("goodin",40) "b")]))])))),
(DefVal ("goodin",42) "L"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "a"),
     (FpName "b")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",45) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",45) "a"),
        (VSym ("goodin",45) "b"),
        (VSym ("goodin",45) "m2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",46) "dir")
       (VFlo 0.6))
      (VList 
       [
        (VSym ("goodin",46) "m2"),
        (VSym ("goodin",46) "a"),
        (VSym ("goodin",46) "m1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",47) "dir")
       (VFlo 0.6))
      (VList 
       [
        (VSym ("goodin",47) "m1"),
        (VSym ("goodin",47) "a"),
        (VSym ("goodin",47) "m0")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",48) "dir")
       (VFlo 0.6))
      (VList 
       [
        (VSym ("goodin",48) "m2"),
        (VSym ("goodin",48) "b"),
        (VSym ("goodin",48) "m3")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",49) "dir")
       (VFlo 0.6))
      (VList 
       [
        (VSym ("goodin",49) "m3"),
        (VSym ("goodin",49) "b"),
        (VSym ("goodin",49) "m4")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",50) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",50) "a"),
        (VSym ("goodin",50) "m0")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",51) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",51) "b"),
        (VSym ("goodin",51) "m4")])),
     (VValApply 
      (VSym ("goodin",52) "coilturn")
      (VList 
       [
        (VSym ("goodin",52) "m0"),
        (VSym ("goodin",52) "m1")])),
     (VValApply 
      (VSym ("goodin",53) "coilturn")
      (VList 
       [
        (VSym ("goodin",53) "m1"),
        (VSym ("goodin",53) "m2")])),
     (VValApply 
      (VSym ("goodin",54) "coilturn")
      (VList 
       [
        (VSym ("goodin",54) "m2"),
        (VSym ("goodin",54) "m3")])),
     (VValApply 
      (VSym ("goodin",55) "coilturn")
      (VList 
       [
        (VSym ("goodin",55) "m3"),
        (VSym ("goodin",55) "m4")]))])))),
(DefVal ("goodin",58) "C"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "a"),
     (FpName "b")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",61) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",61) "a"),
        (VSym ("goodin",61) "b"),
        (VSym ("goodin",61) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",62) "dir")
       (VFlo 0.2))
      (VList 
       [
        (VSym ("goodin",62) "m"),
        (VSym ("goodin",62) "a"),
        (VSym ("goodin",62) "a1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",63) "dir")
       (VFlo 0.2))
      (VList 
       [
        (VSym ("goodin",63) "m"),
        (VSym ("goodin",63) "b"),
        (VSym ("goodin",63) "b1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",64) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",64) "a"),
        (VSym ("goodin",64) "a1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",65) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",65) "b"),
        (VSym ("goodin",65) "b1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",66) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",66) "a"),
             (VSym ("goodin",66) "b"),
             (VSym ("goodin",66) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",66) "dir")
            (VFlo 0.7))
           (VList 
            [
             (VSym ("goodin",66) "a"),
             (VSym ("goodin",66) "cd"),
             (VSym ("goodin",66) "c")]))]))
      (VList 
       [
        (VSym ("goodin",66) "a1"),
        (VSym ("goodin",66) "a"),
        (VSym ("goodin",66) "abot")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",67) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",67) "a"),
             (VSym ("goodin",67) "b"),
             (VSym ("goodin",67) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",67) "dir"),
             (VValApply 
              (VFlo 0.7)
              (VList 
               [
                (VSym ("goodin",67) "a"),
                (VSym ("goodin",67) "cd"),
                (VSym ("goodin",67) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",67) "a1"),
        (VSym ("goodin",67) "a"),
        (VSym ("goodin",67) "atop")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",68) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",68) "a"),
             (VSym ("goodin",68) "b"),
             (VSym ("goodin",68) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",68) "dir")
            (VFlo 0.7))
           (VList 
            [
             (VSym ("goodin",68) "a"),
             (VSym ("goodin",68) "cd"),
             (VSym ("goodin",68) "c")]))]))
      (VList 
       [
        (VSym ("goodin",68) "b1"),
        (VSym ("goodin",68) "b"),
        (VSym ("goodin",68) "btop")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",69) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",69) "a"),
             (VSym ("goodin",69) "b"),
             (VSym ("goodin",69) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",69) "dir"),
             (VValApply 
              (VFlo 0.7)
              (VList 
               [
                (VSym ("goodin",69) "a"),
                (VSym ("goodin",69) "cd"),
                (VSym ("goodin",69) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",69) "b1"),
        (VSym ("goodin",69) "b"),
        (VSym ("goodin",69) "bbot")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",70) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",70) "abot"),
        (VSym ("goodin",70) "atop")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",71) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",71) "bbot"),
        (VSym ("goodin",71) "btop")]))])))),
(DefVal ("goodin",74) "D"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "a"),
     (FpName "b")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",77) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",77) "a"),
        (VSym ("goodin",77) "b"),
        (VSym ("goodin",77) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",78) "dir")
       (VFlo 0.6))
      (VList 
       [
        (VSym ("goodin",78) "m"),
        (VSym ("goodin",78) "a"),
        (VSym ("goodin",78) "a1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",79) "dir")
       (VFlo 0.6))
      (VList 
       [
        (VSym ("goodin",79) "m"),
        (VSym ("goodin",79) "b"),
        (VSym ("goodin",79) "b1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",80) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",80) "a"),
        (VSym ("goodin",80) "a1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",81) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",81) "b"),
        (VSym ("goodin",81) "b1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",82) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",82) "a"),
             (VSym ("goodin",82) "b"),
             (VSym ("goodin",82) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",82) "dir")
            (VFlo 0.6))
           (VList 
            [
             (VSym ("goodin",82) "a"),
             (VSym ("goodin",82) "cd"),
             (VSym ("goodin",82) "c")]))]))
      (VList 
       [
        (VSym ("goodin",82) "b1"),
        (VSym ("goodin",82) "b"),
        (VSym ("goodin",82) "btop")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",83) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",83) "a"),
             (VSym ("goodin",83) "b"),
             (VSym ("goodin",83) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",83) "dir"),
             (VValApply 
              (VFlo 0.6)
              (VList 
               [
                (VSym ("goodin",83) "a"),
                (VSym ("goodin",83) "cd"),
                (VSym ("goodin",83) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",83) "b1"),
        (VSym ("goodin",83) "b"),
        (VSym ("goodin",83) "bbot")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",84) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",84) "a"),
             (VSym ("goodin",84) "b"),
             (VSym ("goodin",84) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",84) "dir")
            (VFlo 0.6))
           (VList 
            [
             (VSym ("goodin",84) "a"),
             (VSym ("goodin",84) "cd"),
             (VSym ("goodin",84) "c")]))]))
      (VList 
       [
        (VSym ("goodin",84) "a1"),
        (VSym ("goodin",84) "a"),
        (VSym ("goodin",84) "atop")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",85) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",85) "a"),
             (VSym ("goodin",85) "b"),
             (VSym ("goodin",85) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",85) "dir"),
             (VValApply 
              (VFlo 0.6)
              (VList 
               [
                (VSym ("goodin",85) "a"),
                (VSym ("goodin",85) "cd"),
                (VSym ("goodin",85) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",85) "a1"),
        (VSym ("goodin",85) "a"),
        (VSym ("goodin",85) "abot")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",86) "triangle")
       (VStr "filled"))
      (VList 
       [
        (VSym ("goodin",86) "atop"),
        (VSym ("goodin",86) "abot"),
        (VSym ("goodin",86) "b1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",87) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",87) "bbot"),
        (VSym ("goodin",87) "btop")]))])))),
(DefVal ("goodin",91) "emittor"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "a"),
     (FpName "b")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",94) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",94) "a"),
        (VSym ("goodin",94) "b"),
        (VSym ("goodin",94) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",95) "dir")
       (VFlo 0.4))
      (VList 
       [
        (VSym ("goodin",95) "m"),
        (VSym ("goodin",95) "a"),
        (VSym ("goodin",95) "a1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",96) "dir")
       (VFlo 0.4))
      (VList 
       [
        (VSym ("goodin",96) "m"),
        (VSym ("goodin",96) "b"),
        (VSym ("goodin",96) "b1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",97) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",97) "a"),
             (VSym ("goodin",97) "b"),
             (VSym ("goodin",97) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",97) "dir")
            (VFlo 0.4))
           (VList 
            [
             (VSym ("goodin",97) "a"),
             (VSym ("goodin",97) "cd"),
             (VSym ("goodin",97) "c")]))]))
      (VList 
       [
        (VSym ("goodin",97) "a1"),
        (VSym ("goodin",97) "a"),
        (VSym ("goodin",97) "arrtop")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",98) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",98) "a"),
             (VSym ("goodin",98) "b"),
             (VSym ("goodin",98) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",98) "dir"),
             (VValApply 
              (VFlo 0.4)
              (VList 
               [
                (VSym ("goodin",98) "a"),
                (VSym ("goodin",98) "cd"),
                (VSym ("goodin",98) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",98) "a1"),
        (VSym ("goodin",98) "a"),
        (VSym ("goodin",98) "arrbot")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",99) "triangle")
       (VStr "filled"))
      (VList 
       [
        (VSym ("goodin",99) "arrtop"),
        (VSym ("goodin",99) "arrbot"),
        (VSym ("goodin",99) "b1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",100) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",100) "a"),
        (VSym ("goodin",100) "b")]))])))),
(DefVal ("goodin",104) "Qn_left"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "c"),
     (FpName "b"),
     (FpName "e")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",107) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",107) "c"),
        (VSym ("goodin",107) "e"),
        (VSym ("goodin",107) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",108) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",108) "m"),
        (VSym ("goodin",108) "e"),
        (VSym ("goodin",108) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",109) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",109) "m"),
        (VSym ("goodin",109) "c"),
        (VSym ("goodin",109) "c1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",110) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",110) "e"),
        (VSym ("goodin",110) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",111) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",111) "c"),
        (VSym ("goodin",111) "c1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",112) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",112) "a"),
             (VSym ("goodin",112) "b"),
             (VSym ("goodin",112) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",112) "dir")
            (VFlo 1.5))
           (VList 
            [
             (VSym ("goodin",112) "a"),
             (VSym ("goodin",112) "cd"),
             (VSym ("goodin",112) "c")]))]))
      (VList 
       [
        (VSym ("goodin",112) "e1"),
        (VSym ("goodin",112) "e"),
        (VSym ("goodin",112) "be")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",113) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",113) "a"),
             (VSym ("goodin",113) "b"),
             (VSym ("goodin",113) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",113) "dir"),
             (VValApply 
              (VFlo 1.5)
              (VList 
               [
                (VSym ("goodin",113) "a"),
                (VSym ("goodin",113) "cd"),
                (VSym ("goodin",113) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",113) "c1"),
        (VSym ("goodin",113) "c"),
        (VSym ("goodin",113) "bc")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",114) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",114) "bc"),
        (VSym ("goodin",114) "be"),
        (VSym ("goodin",114) "b")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",115) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",115) "bc"),
        (VSym ("goodin",115) "be")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",116) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",116) "b"),
        (VSym ("goodin",116) "be"),
        (VSym ("goodin",116) "e2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",117) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",117) "b"),
        (VSym ("goodin",117) "bc"),
        (VSym ("goodin",117) "c2")])),
     (VValApply 
      (VSym ("goodin",118) "emittor")
      (VList 
       [
        (VSym ("goodin",118) "e2"),
        (VSym ("goodin",118) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",119) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",119) "c2"),
        (VSym ("goodin",119) "c1")]))])))),
(DefVal ("goodin",123) "Qp_left"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "c"),
     (FpName "b"),
     (FpName "e")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",126) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",126) "c"),
        (VSym ("goodin",126) "e"),
        (VSym ("goodin",126) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",127) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",127) "m"),
        (VSym ("goodin",127) "e"),
        (VSym ("goodin",127) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",128) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",128) "m"),
        (VSym ("goodin",128) "c"),
        (VSym ("goodin",128) "c1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",129) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",129) "e"),
        (VSym ("goodin",129) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",130) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",130) "c"),
        (VSym ("goodin",130) "c1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",131) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",131) "a"),
             (VSym ("goodin",131) "b"),
             (VSym ("goodin",131) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",131) "dir")
            (VFlo 1.5))
           (VList 
            [
             (VSym ("goodin",131) "a"),
             (VSym ("goodin",131) "cd"),
             (VSym ("goodin",131) "c")]))]))
      (VList 
       [
        (VSym ("goodin",131) "e1"),
        (VSym ("goodin",131) "e"),
        (VSym ("goodin",131) "be")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",132) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",132) "a"),
             (VSym ("goodin",132) "b"),
             (VSym ("goodin",132) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",132) "dir"),
             (VValApply 
              (VFlo 1.5)
              (VList 
               [
                (VSym ("goodin",132) "a"),
                (VSym ("goodin",132) "cd"),
                (VSym ("goodin",132) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",132) "c1"),
        (VSym ("goodin",132) "c"),
        (VSym ("goodin",132) "bc")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",133) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",133) "bc"),
        (VSym ("goodin",133) "be"),
        (VSym ("goodin",133) "b")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",134) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",134) "bc"),
        (VSym ("goodin",134) "be")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",135) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",135) "b"),
        (VSym ("goodin",135) "be"),
        (VSym ("goodin",135) "e2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",136) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",136) "b"),
        (VSym ("goodin",136) "bc"),
        (VSym ("goodin",136) "c2")])),
     (VValApply 
      (VSym ("goodin",137) "emittor")
      (VList 
       [
        (VSym ("goodin",137) "e1"),
        (VSym ("goodin",137) "e2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",138) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",138) "c2"),
        (VSym ("goodin",138) "c1")]))])))),
(DefVal ("goodin",142) "Qn_right"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "c"),
     (FpName "b"),
     (FpName "e")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",145) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",145) "c"),
        (VSym ("goodin",145) "e"),
        (VSym ("goodin",145) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",146) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",146) "m"),
        (VSym ("goodin",146) "e"),
        (VSym ("goodin",146) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",147) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",147) "m"),
        (VSym ("goodin",147) "c"),
        (VSym ("goodin",147) "c1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",148) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",148) "e"),
        (VSym ("goodin",148) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",149) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",149) "c"),
        (VSym ("goodin",149) "c1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",150) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",150) "a"),
             (VSym ("goodin",150) "b"),
             (VSym ("goodin",150) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",150) "dir"),
             (VValApply 
              (VFlo 1.5)
              (VList 
               [
                (VSym ("goodin",150) "a"),
                (VSym ("goodin",150) "cd"),
                (VSym ("goodin",150) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",150) "e1"),
        (VSym ("goodin",150) "e"),
        (VSym ("goodin",150) "be")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",151) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",151) "a"),
             (VSym ("goodin",151) "b"),
             (VSym ("goodin",151) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",151) "dir")
            (VFlo 1.5))
           (VList 
            [
             (VSym ("goodin",151) "a"),
             (VSym ("goodin",151) "cd"),
             (VSym ("goodin",151) "c")]))]))
      (VList 
       [
        (VSym ("goodin",151) "c1"),
        (VSym ("goodin",151) "c"),
        (VSym ("goodin",151) "bc")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",152) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",152) "bc"),
        (VSym ("goodin",152) "be"),
        (VSym ("goodin",152) "b")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",153) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",153) "bc"),
        (VSym ("goodin",153) "be")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",154) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",154) "b"),
        (VSym ("goodin",154) "be"),
        (VSym ("goodin",154) "e2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",155) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",155) "b"),
        (VSym ("goodin",155) "bc"),
        (VSym ("goodin",155) "c2")])),
     (VValApply 
      (VSym ("goodin",156) "emittor")
      (VList 
       [
        (VSym ("goodin",156) "e2"),
        (VSym ("goodin",156) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",157) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",157) "c2"),
        (VSym ("goodin",157) "c1")]))])))),
(DefVal ("goodin",161) "Qp_right"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "c"),
     (FpName "b"),
     (FpName "e")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",164) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",164) "c"),
        (VSym ("goodin",164) "e"),
        (VSym ("goodin",164) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",165) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",165) "m"),
        (VSym ("goodin",165) "e"),
        (VSym ("goodin",165) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",166) "dir")
       (VFlo 1.8))
      (VList 
       [
        (VSym ("goodin",166) "m"),
        (VSym ("goodin",166) "c"),
        (VSym ("goodin",166) "c1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",167) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",167) "e"),
        (VSym ("goodin",167) "e1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",168) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",168) "c"),
        (VSym ("goodin",168) "c1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",169) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",169) "a"),
             (VSym ("goodin",169) "b"),
             (VSym ("goodin",169) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",169) "dir"),
             (VValApply 
              (VFlo 1.5)
              (VList 
               [
                (VSym ("goodin",169) "a"),
                (VSym ("goodin",169) "cd"),
                (VSym ("goodin",169) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",169) "e1"),
        (VSym ("goodin",169) "e"),
        (VSym ("goodin",169) "be")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",170) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",170) "a"),
             (VSym ("goodin",170) "b"),
             (VSym ("goodin",170) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",170) "dir")
            (VFlo 1.5))
           (VList 
            [
             (VSym ("goodin",170) "a"),
             (VSym ("goodin",170) "cd"),
             (VSym ("goodin",170) "c")]))]))
      (VList 
       [
        (VSym ("goodin",170) "c1"),
        (VSym ("goodin",170) "c"),
        (VSym ("goodin",170) "bc")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",171) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",171) "bc"),
        (VSym ("goodin",171) "be"),
        (VSym ("goodin",171) "b")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",172) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",172) "bc"),
        (VSym ("goodin",172) "be")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",173) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",173) "b"),
        (VSym ("goodin",173) "be"),
        (VSym ("goodin",173) "e2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",174) "dir")
       (VFlo 0.3))
      (VList 
       [
        (VSym ("goodin",174) "b"),
        (VSym ("goodin",174) "bc"),
        (VSym ("goodin",174) "c2")])),
     (VValApply 
      (VSym ("goodin",175) "emittor")
      (VList 
       [
        (VSym ("goodin",175) "e1"),
        (VSym ("goodin",175) "e2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",176) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",176) "c2"),
        (VSym ("goodin",176) "c1")]))])))),
(DefVal ("goodin",180) "Jn_left"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "s"),
     (FpName "d"),
     (FpName "g")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",183) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",183) "s"),
        (VSym ("goodin",183) "d"),
        (VSym ("goodin",183) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",184) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",184) "m"),
        (VSym ("goodin",184) "s"),
        (VSym ("goodin",184) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",185) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",185) "m"),
        (VSym ("goodin",185) "d"),
        (VSym ("goodin",185) "d1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",186) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",186) "s"),
        (VSym ("goodin",186) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",187) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",187) "d"),
        (VSym ("goodin",187) "d1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",188) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",188) "a"),
             (VSym ("goodin",188) "b"),
             (VSym ("goodin",188) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",188) "dir")
            (VFlo 1.5))
           (VList 
            [
             (VSym ("goodin",188) "a"),
             (VSym ("goodin",188) "cd"),
             (VSym ("goodin",188) "c")]))]))
      (VList 
       [
        (VSym ("goodin",188) "m"),
        (VSym ("goodin",188) "s"),
        (VSym ("goodin",188) "g")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",189) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",189) "a"),
             (VSym ("goodin",189) "b"),
             (VSym ("goodin",189) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",189) "dir"),
             (VValApply 
              (VFlo 1.6)
              (VList 
               [
                (VSym ("goodin",189) "a"),
                (VSym ("goodin",189) "cd"),
                (VSym ("goodin",189) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",189) "g"),
        (VSym ("goodin",189) "m"),
        (VSym ("goodin",189) "g1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",190) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",190) "a"),
             (VSym ("goodin",190) "b"),
             (VSym ("goodin",190) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",190) "dir")
            (VFlo 1.6))
           (VList 
            [
             (VSym ("goodin",190) "a"),
             (VSym ("goodin",190) "cd"),
             (VSym ("goodin",190) "c")]))]))
      (VList 
       [
        (VSym ("goodin",190) "g"),
        (VSym ("goodin",190) "m"),
        (VSym ("goodin",190) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",191) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",191) "g1"),
        (VSym ("goodin",191) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",192) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",192) "g"),
        (VSym ("goodin",192) "g1"),
        (VSym ("goodin",192) "d2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",193) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",193) "g"),
        (VSym ("goodin",193) "g2"),
        (VSym ("goodin",193) "s2")])),
     (VValApply 
      (VSym ("goodin",194) "emittor")
      (VList 
       [
        (VSym ("goodin",194) "s2"),
        (VSym ("goodin",194) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",195) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",195) "d2"),
        (VSym ("goodin",195) "d1")]))])))),
(DefVal ("goodin",199) "Jp_left"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "s"),
     (FpName "d"),
     (FpName "g")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",202) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",202) "s"),
        (VSym ("goodin",202) "d"),
        (VSym ("goodin",202) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",203) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",203) "m"),
        (VSym ("goodin",203) "s"),
        (VSym ("goodin",203) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",204) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",204) "m"),
        (VSym ("goodin",204) "d"),
        (VSym ("goodin",204) "d1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",205) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",205) "s"),
        (VSym ("goodin",205) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",206) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",206) "d"),
        (VSym ("goodin",206) "d1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",207) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",207) "a"),
             (VSym ("goodin",207) "b"),
             (VSym ("goodin",207) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",207) "dir")
            (VFlo 1.5))
           (VList 
            [
             (VSym ("goodin",207) "a"),
             (VSym ("goodin",207) "cd"),
             (VSym ("goodin",207) "c")]))]))
      (VList 
       [
        (VSym ("goodin",207) "m"),
        (VSym ("goodin",207) "s"),
        (VSym ("goodin",207) "g")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",208) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",208) "a"),
             (VSym ("goodin",208) "b"),
             (VSym ("goodin",208) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",208) "dir"),
             (VValApply 
              (VFlo 1.6)
              (VList 
               [
                (VSym ("goodin",208) "a"),
                (VSym ("goodin",208) "cd"),
                (VSym ("goodin",208) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",208) "g"),
        (VSym ("goodin",208) "m"),
        (VSym ("goodin",208) "g1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",209) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",209) "a"),
             (VSym ("goodin",209) "b"),
             (VSym ("goodin",209) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",209) "dir")
            (VFlo 1.6))
           (VList 
            [
             (VSym ("goodin",209) "a"),
             (VSym ("goodin",209) "cd"),
             (VSym ("goodin",209) "c")]))]))
      (VList 
       [
        (VSym ("goodin",209) "g"),
        (VSym ("goodin",209) "m"),
        (VSym ("goodin",209) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",210) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",210) "g1"),
        (VSym ("goodin",210) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",211) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",211) "g"),
        (VSym ("goodin",211) "g1"),
        (VSym ("goodin",211) "d2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",212) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",212) "g"),
        (VSym ("goodin",212) "g2"),
        (VSym ("goodin",212) "s2")])),
     (VValApply 
      (VSym ("goodin",213) "emittor")
      (VList 
       [
        (VSym ("goodin",213) "s1"),
        (VSym ("goodin",213) "s2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",214) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",214) "d2"),
        (VSym ("goodin",214) "d1")]))])))),
(DefVal ("goodin",218) "Jn_right"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "s"),
     (FpName "d"),
     (FpName "g")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",221) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",221) "s"),
        (VSym ("goodin",221) "d"),
        (VSym ("goodin",221) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",222) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",222) "m"),
        (VSym ("goodin",222) "s"),
        (VSym ("goodin",222) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",223) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",223) "m"),
        (VSym ("goodin",223) "d"),
        (VSym ("goodin",223) "d1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",224) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",224) "s"),
        (VSym ("goodin",224) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",225) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",225) "d"),
        (VSym ("goodin",225) "d1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",226) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",226) "a"),
             (VSym ("goodin",226) "b"),
             (VSym ("goodin",226) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",226) "dir"),
             (VValApply 
              (VFlo 1.5)
              (VList 
               [
                (VSym ("goodin",226) "a"),
                (VSym ("goodin",226) "cd"),
                (VSym ("goodin",226) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",226) "m"),
        (VSym ("goodin",226) "s"),
        (VSym ("goodin",226) "g")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",227) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",227) "a"),
             (VSym ("goodin",227) "b"),
             (VSym ("goodin",227) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",227) "dir")
            (VFlo 1.6))
           (VList 
            [
             (VSym ("goodin",227) "a"),
             (VSym ("goodin",227) "cd"),
             (VSym ("goodin",227) "c")]))]))
      (VList 
       [
        (VSym ("goodin",227) "g"),
        (VSym ("goodin",227) "m"),
        (VSym ("goodin",227) "g1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",228) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",228) "a"),
             (VSym ("goodin",228) "b"),
             (VSym ("goodin",228) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",228) "dir"),
             (VValApply 
              (VFlo 1.6)
              (VList 
               [
                (VSym ("goodin",228) "a"),
                (VSym ("goodin",228) "cd"),
                (VSym ("goodin",228) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",228) "g"),
        (VSym ("goodin",228) "m"),
        (VSym ("goodin",228) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",229) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",229) "g1"),
        (VSym ("goodin",229) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",230) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",230) "g"),
        (VSym ("goodin",230) "g1"),
        (VSym ("goodin",230) "d2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",231) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",231) "g"),
        (VSym ("goodin",231) "g2"),
        (VSym ("goodin",231) "s2")])),
     (VValApply 
      (VSym ("goodin",232) "emittor")
      (VList 
       [
        (VSym ("goodin",232) "s2"),
        (VSym ("goodin",232) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",233) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",233) "d2"),
        (VSym ("goodin",233) "d1")]))])))),
(DefVal ("goodin",237) "Jp_right"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "s"),
     (FpName "d"),
     (FpName "g")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",240) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",240) "s"),
        (VSym ("goodin",240) "d"),
        (VSym ("goodin",240) "m")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",241) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",241) "m"),
        (VSym ("goodin",241) "s"),
        (VSym ("goodin",241) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",242) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",242) "m"),
        (VSym ("goodin",242) "d"),
        (VSym ("goodin",242) "d1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",243) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",243) "s"),
        (VSym ("goodin",243) "s1")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",244) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",244) "d"),
        (VSym ("goodin",244) "d1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",245) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",245) "a"),
             (VSym ("goodin",245) "b"),
             (VSym ("goodin",245) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",245) "dir"),
             (VValApply 
              (VFlo 1.5)
              (VList 
               [
                (VSym ("goodin",245) "a"),
                (VSym ("goodin",245) "cd"),
                (VSym ("goodin",245) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",245) "m"),
        (VSym ("goodin",245) "s"),
        (VSym ("goodin",245) "g")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",246) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",246) "a"),
             (VSym ("goodin",246) "b"),
             (VSym ("goodin",246) "cd")])),
          (VValApply 
           (VValApply 
            (VSym ("goodin",246) "dir")
            (VFlo 1.6))
           (VList 
            [
             (VSym ("goodin",246) "a"),
             (VSym ("goodin",246) "cd"),
             (VSym ("goodin",246) "c")]))]))
      (VList 
       [
        (VSym ("goodin",246) "g"),
        (VSym ("goodin",246) "m"),
        (VSym ("goodin",246) "g1")])),
     (VValApply 
      (VSysSigma
        (FpList 
         [
          (FpName "a"),
          (FpName "b"),
          (FpName "c")])
        (VAppset 
         [
          (VValApply 
           (VValApply 
            (VSym ("goodin",247) "pcir")
            (VInt 90))
           (VList 
            [
             (VSym ("goodin",247) "a"),
             (VSym ("goodin",247) "b"),
             (VSym ("goodin",247) "cd")])),
           (VBuiltin "-2"
             [ 
             (VSym ("goodin",247) "dir"),
             (VValApply 
              (VFlo 1.6)
              (VList 
               [
                (VSym ("goodin",247) "a"),
                (VSym ("goodin",247) "cd"),
                (VSym ("goodin",247) "c")]))])]))
      (VList 
       [
        (VSym ("goodin",247) "g"),
        (VSym ("goodin",247) "m"),
        (VSym ("goodin",247) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",248) "line")
       (VStr "thickline"))
      (VList 
       [
        (VSym ("goodin",248) "g1"),
        (VSym ("goodin",248) "g2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",249) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",249) "g"),
        (VSym ("goodin",249) "g1"),
        (VSym ("goodin",249) "d2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",250) "dir")
       (VFlo 1.2))
      (VList 
       [
        (VSym ("goodin",250) "g"),
        (VSym ("goodin",250) "g2"),
        (VSym ("goodin",250) "s2")])),
     (VValApply 
      (VSym ("goodin",251) "emittor")
      (VList 
       [
        (VSym ("goodin",251) "s1"),
        (VSym ("goodin",251) "s2")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",252) "line")
       (VStr "line"))
      (VList 
       [
        (VSym ("goodin",252) "d2"),
        (VSym ("goodin",252) "d1")]))])))),
(DefVal ("goodin",257) "grid"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypProd 
      [
       (TypSym "Coord"), 
       (TypSym "Coord")]), 
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "b"),
     (FpList 
      [
       (FpName "t1"),
       (FpName "t2")]),
     (FpName "p1"),
     (FpName "p2")])
   (VAppset 
    [
     (VSyn 
      [
     (VSym ("goodin",260) "b"),
     (VSym ("goodin",260) "t1")]),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",261) "trans")
        (VInt 5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",261) "t1"),
        (VSym ("goodin",261) "t2")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",262) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",262) "b"),
        (VSym ("goodin",262) "g00")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",263) "trans")
        (VFlo 2.5))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",263) "g00"),
        (VSym ("goodin",263) "p1")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",264) "trans")
        (VInt 5))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",264) "p1"),
        (VSym ("goodin",264) "p2")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",265) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",265) "g00"),
        (VSym ("goodin",265) "g10")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",266) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",266) "g10"),
        (VSym ("goodin",266) "g20")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",267) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",267) "g20"),
        (VSym ("goodin",267) "g30")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",268) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",268) "g30"),
        (VSym ("goodin",268) "g40")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",269) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",269) "g00"),
        (VSym ("goodin",269) "g01")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",270) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",270) "g01"),
        (VSym ("goodin",270) "g02")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",271) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",271) "g02"),
        (VSym ("goodin",271) "g03")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",272) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",272) "g03"),
        (VSym ("goodin",272) "g04")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",273) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",273) "g04"),
        (VSym ("goodin",273) "g14")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",274) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",274) "g14"),
        (VSym ("goodin",274) "g24")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",275) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",275) "g24"),
        (VSym ("goodin",275) "g34")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",276) "trans")
        (VFlo 2.5))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",276) "g34"),
        (VSym ("goodin",276) "g44")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",277) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",277) "g40"),
        (VSym ("goodin",277) "g41")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",278) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",278) "g41"),
        (VSym ("goodin",278) "g42")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",279) "trans")
        (VInt 0))
       (VFlo 2.5))
      (VList 
       [
        (VSym ("goodin",279) "g42"),
        (VSym ("goodin",279) "g43")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",280) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",280) "g00"),
        (VSym ("goodin",280) "g40")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",281) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",281) "g01"),
        (VSym ("goodin",281) "g41")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",282) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",282) "g02"),
        (VSym ("goodin",282) "g42")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",283) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",283) "g03"),
        (VSym ("goodin",283) "g43")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",284) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",284) "g04"),
        (VSym ("goodin",284) "g44")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",285) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",285) "g00"),
        (VSym ("goodin",285) "g04")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",286) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",286) "g10"),
        (VSym ("goodin",286) "g14")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",287) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",287) "g20"),
        (VSym ("goodin",287) "g24")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",288) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",288) "g30"),
        (VSym ("goodin",288) "g34")])),
     (VValApply 
      (VValApply 
       (VSym ("goodin",289) "line")
       (VStr "bgline"))
      (VList 
       [
        (VSym ("goodin",289) "g40"),
        (VSym ("goodin",289) "g44")]))])))),
(DefVal ("goodin",292) "fan"
 (VType 
  (TypNon 
   (TypProd 
    [
     (TypSym "Coord"), 
     (TypSym "Coord")]))
  (VMacLambda 
   (FpList 
    [
     (FpName "r"),
     (FpName "l")])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VSym ("goodin",295) "between")
       (VFlo 0.5))
      (VList 
       [
        (VSym ("goodin",295) "r"),
        (VSym ("goodin",295) "l"),
        (VSym ("goodin",295) "m")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",296) "polar")
        (VInt 0))
       (VInt 5))
      (VList 
       [
        (VSym ("goodin",296) "m"),
        (VSym ("goodin",296) "a0")])),
     (VValApply 
      (VSym ("goodin",296) "D")
      (VList 
       [
        (VSym ("goodin",296) "a0"),
        (VSym ("goodin",296) "m")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",297) "polar")
        (VInt 45))
       (VInt 5))
      (VList 
       [
        (VSym ("goodin",297) "m"),
        (VSym ("goodin",297) "a1")])),
     (VValApply 
      (VSym ("goodin",297) "D")
      (VList 
       [
        (VSym ("goodin",297) "a1"),
        (VSym ("goodin",297) "m")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",298) "polar")
        (VInt 90))
       (VInt 5))
      (VList 
       [
        (VSym ("goodin",298) "m"),
        (VSym ("goodin",298) "a3")])),
     (VValApply 
      (VSym ("goodin",298) "D")
      (VList 
       [
        (VSym ("goodin",298) "a3"),
        (VSym ("goodin",298) "m")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",299) "polar")
        (VInt 135))
       (VInt 5))
      (VList 
       [
        (VSym ("goodin",299) "m"),
        (VSym ("goodin",299) "a4")])),
     (VValApply 
      (VSym ("goodin",299) "D")
      (VList 
       [
        (VSym ("goodin",299) "a4"),
        (VSym ("goodin",299) "m")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",300) "polar")
        (VInt 180))
       (VInt 5))
      (VList 
       [
        (VSym ("goodin",300) "m"),
        (VSym ("goodin",300) "a6")])),
     (VValApply 
      (VSym ("goodin",300) "D")
      (VList 
       [
        (VSym ("goodin",300) "a6"),
        (VSym ("goodin",300) "m")]))])))),
(DefVal ("goodin",303) "top"
 (VType 
  (TypProd [])
  (VMacLambda 
   (FpList 
    [])
   (VAppset 
    [
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",306) "trans")
        (VInt 0))
       (VInt 18))
      (VList 
       [
        (VSym ("goodin",306) "g00"),
        (VSym ("goodin",306) "g10")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",307) "trans")
        (VInt 0))
       (VInt 18))
      (VList 
       [
        (VSym ("goodin",307) "g10"),
        (VSym ("goodin",307) "g20")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",308) "trans")
        (VInt 0))
       (VInt 18))
      (VList 
       [
        (VSym ("goodin",308) "g20"),
        (VSym ("goodin",308) "g30")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",309) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",309) "g00"),
        (VSym ("goodin",309) "g01")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",310) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",310) "g01"),
        (VSym ("goodin",310) "g02")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",311) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",311) "g02"),
        (VSym ("goodin",311) "g03")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",312) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",312) "g10"),
        (VSym ("goodin",312) "g11")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",313) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",313) "g11"),
        (VSym ("goodin",313) "g12")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",314) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",314) "g12"),
        (VSym ("goodin",314) "g13")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",315) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",315) "g20"),
        (VSym ("goodin",315) "g21")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",316) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",316) "g21"),
        (VSym ("goodin",316) "g22")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",317) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",317) "g22"),
        (VSym ("goodin",317) "g23")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",318) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",318) "g30"),
        (VSym ("goodin",318) "g31")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",319) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",319) "g31"),
        (VSym ("goodin",319) "g32")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",320) "trans")
        (VInt 13))
       (VInt 0))
      (VList 
       [
        (VSym ("goodin",320) "g32"),
        (VSym ("goodin",320) "g33")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",321) "trans")
        (VInt 20))
       (VInt 20))
      (VList 
       [
        (VSym ("goodin",321) "bottom"),
        (VSym ("goodin",321) "g00")])),
     (VValApply 
      (VSym ("goodin",322) "grid")
      (VList 
       [
        (VSym ("goodin",322) "g00"),
        (VSym ("goodin",322) "t00"),
        (VSym ("goodin",322) "r001"),
        (VSym ("goodin",322) "r002")])),
     (VValApply 
      (VSym ("goodin",322) "R")
      (VList 
       [
        (VSym ("goodin",322) "r001"),
        (VSym ("goodin",322) "r002")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",323) "text")
        (VStr "normal"))
       (VStr "R [a,b]"))
      (VSym ("goodin",323) "t00")),
     (VValApply 
      (VSym ("goodin",324) "grid")
      (VList 
       [
        (VSym ("goodin",324) "g01"),
        (VSym ("goodin",324) "t01"),
        (VSym ("goodin",324) "r011"),
        (VSym ("goodin",324) "r012")])),
     (VValApply 
      (VSym ("goodin",324) "C")
      (VList 
       [
        (VSym ("goodin",324) "r011"),
        (VSym ("goodin",324) "r012")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",325) "text")
        (VStr "normal"))
       (VStr "C [a,b]"))
      (VSym ("goodin",325) "t01")),
     (VValApply 
      (VSym ("goodin",326) "grid")
      (VList 
       [
        (VSym ("goodin",326) "g02"),
        (VSym ("goodin",326) "t02"),
        (VSym ("goodin",326) "r021"),
        (VSym ("goodin",326) "r022")])),
     (VValApply 
      (VSym ("goodin",326) "L")
      (VList 
       [
        (VSym ("goodin",326) "r021"),
        (VSym ("goodin",326) "r022")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",327) "text")
        (VStr "normal"))
       (VStr "L [a,b]"))
      (VSym ("goodin",327) "t02")),
     (VValApply 
      (VSym ("goodin",328) "grid")
      (VList 
       [
        (VSym ("goodin",328) "g03"),
        (VSym ("goodin",328) "t03"),
        (VSym ("goodin",328) "r031"),
        (VSym ("goodin",328) "r032")])),
     (VValApply 
      (VSym ("goodin",328) "D")
      (VList 
       [
        (VSym ("goodin",328) "r031"),
        (VSym ("goodin",328) "r032")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",329) "text")
        (VStr "normal"))
       (VStr "D [k,a]"))
      (VSym ("goodin",329) "t03")),
     (VValApply 
      (VSym ("goodin",330) "grid")
      (VList 
       [
        (VSym ("goodin",330) "g10"),
        (VSym ("goodin",330) "t10"),
        (VSym ("goodin",330) "r101"),
        (VSym ("goodin",330) "r102")])),
     (VValApply 
      (VSym ("goodin",330) "Qn_left")
      (VList 
       [
        (VSym ("goodin",330) "r101"),
        (VSym ("goodin",330) "b10"),
        (VSym ("goodin",330) "r102")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",331) "text")
        (VStr "normal"))
       (VStr "Qn_left [c,b,e]"))
      (VSym ("goodin",331) "t10")),
     (VValApply 
      (VSym ("goodin",332) "grid")
      (VList 
       [
        (VSym ("goodin",332) "g11"),
        (VSym ("goodin",332) "t11"),
        (VSym ("goodin",332) "r111"),
        (VSym ("goodin",332) "r112")])),
     (VValApply 
      (VSym ("goodin",332) "Qn_right")
      (VList 
       [
        (VSym ("goodin",332) "r111"),
        (VSym ("goodin",332) "b11"),
        (VSym ("goodin",332) "r112")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",333) "text")
        (VStr "normal"))
       (VStr "Qn_right [c,b,e]"))
      (VSym ("goodin",333) "t11")),
     (VValApply 
      (VSym ("goodin",334) "grid")
      (VList 
       [
        (VSym ("goodin",334) "g12"),
        (VSym ("goodin",334) "t12"),
        (VSym ("goodin",334) "r121"),
        (VSym ("goodin",334) "r122")])),
     (VValApply 
      (VSym ("goodin",334) "Qp_left")
      (VList 
       [
        (VSym ("goodin",334) "r121"),
        (VSym ("goodin",334) "b12"),
        (VSym ("goodin",334) "r122")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",335) "text")
        (VStr "normal"))
       (VStr "Qp_left [c,b,e]"))
      (VSym ("goodin",335) "t12")),
     (VValApply 
      (VSym ("goodin",336) "grid")
      (VList 
       [
        (VSym ("goodin",336) "g13"),
        (VSym ("goodin",336) "t13"),
        (VSym ("goodin",336) "r131"),
        (VSym ("goodin",336) "r132")])),
     (VValApply 
      (VSym ("goodin",336) "Qp_right")
      (VList 
       [
        (VSym ("goodin",336) "r131"),
        (VSym ("goodin",336) "b13"),
        (VSym ("goodin",336) "r132")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",337) "text")
        (VStr "normal"))
       (VStr "Qp_right [c,b,e]"))
      (VSym ("goodin",337) "t13")),
     (VValApply 
      (VSym ("goodin",338) "grid")
      (VList 
       [
        (VSym ("goodin",338) "g20"),
        (VSym ("goodin",338) "t20"),
        (VSym ("goodin",338) "r201"),
        (VSym ("goodin",338) "r202")])),
     (VValApply 
      (VSym ("goodin",338) "Jn_left")
      (VList 
       [
        (VSym ("goodin",338) "r201"),
        (VSym ("goodin",338) "r202"),
        (VSym ("goodin",338) "gate20")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",339) "text")
        (VStr "normal"))
       (VStr "Jn_left [s,d,g]"))
      (VSym ("goodin",339) "t20")),
     (VValApply 
      (VSym ("goodin",340) "grid")
      (VList 
       [
        (VSym ("goodin",340) "g21"),
        (VSym ("goodin",340) "t21"),
        (VSym ("goodin",340) "r211"),
        (VSym ("goodin",340) "r212")])),
     (VValApply 
      (VSym ("goodin",340) "Jn_right")
      (VList 
       [
        (VSym ("goodin",340) "r211"),
        (VSym ("goodin",340) "r212"),
        (VSym ("goodin",340) "gate21")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",341) "text")
        (VStr "normal"))
       (VStr "Jn_right [s,d,g]"))
      (VSym ("goodin",341) "t21")),
     (VValApply 
      (VSym ("goodin",342) "grid")
      (VList 
       [
        (VSym ("goodin",342) "g22"),
        (VSym ("goodin",342) "t22"),
        (VSym ("goodin",342) "r221"),
        (VSym ("goodin",342) "r222")])),
     (VValApply 
      (VSym ("goodin",342) "Jp_left")
      (VList 
       [
        (VSym ("goodin",342) "r221"),
        (VSym ("goodin",342) "r222"),
        (VSym ("goodin",342) "gate22")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",343) "text")
        (VStr "normal"))
       (VStr "Jp_left [s,d,g]"))
      (VSym ("goodin",343) "t22")),
     (VValApply 
      (VSym ("goodin",344) "grid")
      (VList 
       [
        (VSym ("goodin",344) "g23"),
        (VSym ("goodin",344) "t23"),
        (VSym ("goodin",344) "r231"),
        (VSym ("goodin",344) "r232")])),
     (VValApply 
      (VSym ("goodin",344) "Jp_right")
      (VList 
       [
        (VSym ("goodin",344) "r231"),
        (VSym ("goodin",344) "r232"),
        (VSym ("goodin",344) "gate23")])),
     (VValApply 
      (VValApply 
       (VValApply 
        (VSym ("goodin",345) "text")
        (VStr "normal"))
       (VStr "Jp_right [s,d,g]"))
      (VSym ("goodin",345) "t23")),
     (VValApply 
      (VSym ("goodin",346) "fan")
      (VList 
       [
        (VSym ("goodin",346) "g31"),
        (VSym ("goodin",346) "g33")]))]))))]

