六种三角函数与勾股恒等式在单位圆上的几何展示

六种三角函数与勾股恒等式在单位圆上的几何展示
几何画板及绘图内容加载中,请稍等……
2014-01-25 08:07
①本范例通过单位圆直观演示六种三角函数的几何表示;②涉及核心数学概念:三角函数定义、单位圆、勾股定理、恒等式推导;③构造要点:使用 GeoGebra 命令如 Intersect(交点)、Point(点)、Circle(圆)、Angle(角)、Segment(线段)、OrthogonalLine(垂线)、Distance(距离)、AttachCopyToView(视图复制)等;④适合高中数学教学,用于理解三角函数与单位圆关系及恒等式推导。

GeoGebra 命令及参数

  1. Intersect(xAxis, yAxis) → O
  2. Point(yAxis) → B_1
  3. Circle(O, B_1) → c
  4. Intersect(c, xAxis, 2) → D_1
  5. Angle(D_1, O, C) → θ
  6. Segment(O, C) → a_1
  7. Segment(O, D_1) → b
  8. OrthogonalLine(C, a_1) → d
  9. OrthogonalLine(O, b) → e
  10. OrthogonalLine(C, b) → f
  11. Intersect(f, b) → A
  12. Segment(C, A) → A_1
  13. Intersect(d, xAxis) → D
  14. Intersect(d, e) → B
  15. Segment(B, D) → g
  16. Distance(O, C) → distanceGC
  17. Point(a_1) → E
  18. Angle(C, A, O) → α
  19. Angle(O, C, D) → β
  20. Segment(O, A) → h
  21. AttachCopyToView(PolyLine[(-0.28735315630684766, -0.2514783436571034), (-0.29642712272429045, -0.22425644440477485), (-0.3055010891417333, -0.1879605787350034), (-0.3145750555591761, -0.1607386794826748), (-0.3327229883940617, -0.13351678023034624), (-0.35994488764639015, -0.11536884739546051), (NaN, NaN), (-0.23290935780219074, 0.20221997721503962), (-0.19661349213241947, 0.20221997721503962), (-0.169391592880091, 0.1840720443801539), (-0.14216969362776255, 0.16592411154526818), (-0.12402176079287693, 0.13870221229293958), (-0.13309572721031973, 0.11148031304061101), (NaN, NaN), (-0.2147614249673051, 0.19314601079759675), (-0.18753952571497665, 0.17499807796271102), (-0.17846555929753383, 0.14777617871038246), (-0.169391592880091, 0.12055427945805387), (-0.14216969362776255, 0.11148031304061101), (-0.1149477943754341, 0.10240634662316815), (NaN, NaN), (-0.269205223471962, 0.08425841378828243), (-0.23290935780219074, 0.08425841378828243), (-0.19661349213241947, 0.08425841378828243), (-0.1603176264626482, 0.08425841378828243), (-0.12402176079287693, 0.08425841378828243), (NaN, NaN), (-0.23290935780219074, 0.2294418764673682), (-0.2147614249673051, 0.20221997721503962), (-0.18753952571497665, 0.19314601079759675), (-0.17846555929753383, 0.16592411154526818), (-0.1603176264626482, 0.13870221229293958), (-0.13309572721031973, 0.12962824587549673), (-0.14216969362776255, 0.10240634662316815), (NaN, NaN), (0.3024546608269355, -0.07907298172568906), (0.32060259366182114, -0.10629488097801765), (0.3478244929141496, -0.12444281381290337), (0.37504639216647806, -0.13351678023034624), (0.4022682914188065, -0.1425907466477891), (0.4294901906711349, -0.15166471306523197), (0.4567120899234634, -0.1607386794826748), (0.48393398917579183, -0.1698126459001177), (0.5111558884281203, -0.17888661231756053), (0.5474517540978916, -0.17888661231756053), (0.5837476197676629, -0.17888661231756053), (0.6200434854374341, -0.17888661231756053), (0.6472653846897626, -0.1698126459001177), (0.6654133175246482, -0.1425907466477891), (0.674487283942091, -0.11536884739546051), (0.7017091831944194, -0.10629488097801765), (0.7107831496118623, -0.07907298172568906), (NaN, NaN), (0.275232761574607, -0.1425907466477891), (0.3115286272443783, -0.1425907466477891), (0.3387505264967068, -0.1607386794826748), (0.3659724257490352, -0.17888661231756053), (0.39319432500136364, -0.19703454515244626), (0.42041622425369213, -0.20610851156988913), (0.44763812350602056, -0.21518247798733198), (NaN, NaN), (0.48393398917579183, -0.07907298172568906), (0.5202298548455632, -0.07907298172568906), (0.5474517540978916, -0.08814694814313193), (0.57467365335022, -0.10629488097801765), (NaN, NaN), (-0.15124366004520537, -1.8122005674572754), (-0.15124366004520537, -1.848496433127047), (-0.14216969362776255, -1.8847922987968184), (-0.13309572721031973, -1.966457996553804), (-0.13309572721031973, -2.020901795058461), (-0.12402176079287693, -2.0753455935631187), (-0.12402176079287693, -2.120715425650333), (-0.12402176079287693, -2.1570112913201043), (-0.1149477943754341, -2.184233190572433), (-0.1149477943754341, -2.220529056242204), (-0.1149477943754341, -2.2568249219119756), (-0.1149477943754341, -2.30219475399919), (-0.10587382795799129, -2.3384906196689617), (-0.09679986154054847, -2.36571251892129), (-0.09679986154054847, -2.4020083845910616), (-0.09679986154054847, -2.438304250260833), (-0.09679986154054847, -2.4836740823480477), (-0.09679986154054847, -2.519969948017819), (-0.09679986154054847, -2.5562658136875904), (-0.09679986154054847, -2.6016356457748047), (-0.09679986154054847, -2.637931511444576), (-0.09679986154054847, -2.6742273771143474), (-0.09679986154054847, -2.710523242784119), (-0.09679986154054847, -2.74681910845389), (-0.09679986154054847, -2.783114974123662), (-0.09679986154054847, -2.8194108397934334), (-0.09679986154054847, -2.8647806718806477), (-0.09679986154054847, -2.901076537550419), (-0.09679986154054847, -2.9373724032201904), (-0.09679986154054847, -2.973668268889962), (-0.09679986154054847, -3.009964134559733), (-0.10587382795799129, -3.0371860338120618), (-0.10587382795799129, -3.0734818994818336), (-0.1149477943754341, -3.100703798734162), (-0.1149477943754341, -3.1369996644039335), (-0.1149477943754341, -3.173295530073705), (-0.1149477943754341, -3.2095913957434763), (-0.1149477943754341, -3.2458872614132477), (-0.1149477943754341, -3.282183127083019), (-0.1149477943754341, -3.3275529591702333), (-0.1149477943754341, -3.363848824840005), (-0.1149477943754341, -3.4092186569272194), (-0.1149477943754341, -3.4455145225969908), (NaN, NaN), (-0.169391592880091, -3.418292623344662), (-0.169391592880091, -3.4545884890144336), (-0.169391592880091, -3.499958321101648), (-0.169391592880091, -3.554402119606305), (-0.169391592880091, -3.599771951693519), (-0.1603176264626482, -3.6269938509458477), (-0.1603176264626482, -3.6723636830330624), (-0.1603176264626482, -3.7086595487028338), (-0.1603176264626482, -3.744955414372605), (-0.1603176264626482, -3.7812512800423765), (-0.1603176264626482, -3.817547145712148), (-0.1603176264626482, -3.8538430113819193), (-0.1603176264626482, -3.8901388770516907), (-0.1603176264626482, -3.9355087091389054), (-0.15124366004520537, -3.9718045748086768), (-0.15124366004520537, -4.008100440478448), (-0.15124366004520537, -4.0443963061482195), (-0.15124366004520537, -4.080692171817991), (-0.15124366004520537, -4.116988037487762), (NaN, NaN), (-0.2782791898894048, -1.839422466709604), (-0.2782791898894048, -1.8847922987968184), (-0.2782791898894048, -1.9483100637189184), (-0.2782791898894048, -2.020901795058461), (-0.2782791898894048, -2.102567492815447), (-0.2782791898894048, -2.166085257737547), (-0.2782791898894048, -2.2114550898247614), (-0.2782791898894048, -2.2568249219119756), (-0.2782791898894048, -2.293120787581747), (-0.2782791898894048, -2.3566385525038474), (-0.2782791898894048, -2.3929344181736187), (-0.2782791898894048, -2.42923028384339), (-0.2782791898894048, -2.4746001159306044), (-0.2782791898894048, -2.510895981600376), (-0.2782791898894048, -2.5471918472701476), (-0.2782791898894048, -2.583487712939919), (-0.2782791898894048, -2.637931511444576), (-0.2782791898894048, -2.6833013435317903), (-0.2782791898894048, -2.7195972092015617), (-0.2782791898894048, -2.755893074871333), (-0.2782791898894048, -2.792188940541105), (-0.2782791898894048, -2.837558772628319), (-0.2782791898894048, -2.8829286047155334), (-0.2782791898894048, -2.9192244703853047), (-0.2782791898894048, -2.973668268889962), (-0.2782791898894048, -3.019038100977176), (-0.2782791898894048, -3.0553339666469475), (-0.2782791898894048, -3.0916298323167193), (-0.2782791898894048, -3.1279256979864907), (-0.2782791898894048, -3.164221563656262), (-0.2782791898894048, -3.218665362160919), (-0.2782791898894048, -3.2640351942481334), (-0.2782791898894048, -3.3094050263353476), (-0.2782791898894048, -3.3547748584225623), (-0.2782791898894048, -3.3910707240923337), (-0.2782791898894048, -3.4455145225969908), (-0.28735315630684766, -3.481810388266762), (-0.28735315630684766, -3.5271802203539764), (-0.28735315630684766, -3.5725500524411906), (-0.29642712272429045, -3.599771951693519), (-0.29642712272429045, -3.6360678173632905), (-0.29642712272429045, -3.6723636830330624), (-0.29642712272429045, -3.7177335151202766), (-0.29642712272429045, -3.754029380790048), (-0.29642712272429045, -3.7993992128772622), (-0.29642712272429045, -3.8356950785470336), (NaN, NaN), (-0.4234626525684899, -1.9392360973014755), (-0.4234626525684899, -1.975531962971247), (-0.4234626525684899, -2.0118278286410183), (-0.4234626525684899, -2.0481236943107897), (-0.4234626525684899, -2.0934935263980043), (-0.4234626525684899, -2.1570112913201043), (-0.4234626525684899, -2.1933071569898757), (-0.4234626525684899, -2.229603022659647), (-0.4234626525684899, -2.284046821164304), (-0.4234626525684899, -2.3566385525038474), (-0.4234626525684899, -2.4110823510085044), (-0.4234626525684899, -2.447378216678276), (-0.4234626525684899, -2.5018220151829333), (-0.4234626525684899, -2.574413746522476), (-0.4234626525684899, -2.628857545027133), (-0.4234626525684899, -2.6651534106969046), (-0.4234626525684899, -2.710523242784119), (-0.4234626525684899, -2.774041007706219), (-0.4234626525684899, -2.8194108397934334), (-0.4234626525684899, -2.8647806718806477), (-0.4234626525684899, -2.901076537550419), (-0.4234626525684899, -2.9464463696376333), (-0.4325366189859327, -2.9918162017248475), (-0.4325366189859327, -3.028112067394619), (-0.4325366189859327, -3.0644079330643907), (-0.4325366189859327, -3.118851731569048), (-0.4325366189859327, -3.164221563656262), (-0.4325366189859327, -3.2095913957434763), (-0.4325366189859327, -3.2731091606655762), (-0.4325366189859327, -3.3184789927527905), (-0.4325366189859327, -3.372922791257448), (-0.4325366189859327, -3.4092186569272194), (-0.4325366189859327, -3.4455145225969908), (-0.4325366189859327, -3.481810388266762), (-0.4234626525684899, -3.5090322875190907), (NaN, NaN), (-0.34179695481150457, -2.0753455935631187), (-0.34179695481150457, -2.1570112913201043), (-0.34179695481150457, -2.2114550898247614), (-0.34179695481150457, -2.284046821164304), (-0.34179695481150457, -2.3566385525038474), (-0.34179695481150457, -2.4110823510085044), (-0.34179695481150457, -2.4564521830957187), (-0.34179695481150457, -2.519969948017819), (-0.34179695481150457, -2.574413746522476), (-0.34179695481150457, -2.637931511444576), (-0.34179695481150457, -2.692375309949233), (-0.34179695481150457, -2.74681910845389), (-0.34179695481150457, -2.792188940541105), (-0.34179695481150457, -2.8284848062108763), (-0.34179695481150457, -2.8738546382980905), (-0.34179695481150457, -2.910150503967862), (-0.35087092122894736, -2.964594302472519), (-0.35087092122894736, -3.028112067394619), (-0.35087092122894736, -3.0916298323167193), (-0.35994488764639015, -3.118851731569048), (-0.35994488764639015, -3.164221563656262), (-0.35994488764639015, -3.2005174293260334), (-0.35994488764639015, -3.2458872614132477), (-0.369018854063833, -3.2731091606655762), (-0.369018854063833, -3.3184789927527905), (-0.369018854063833, -3.363848824840005), (-0.369018854063833, -3.4001446905097765), (-0.369018854063833, -3.4455145225969908), (-0.369018854063833, -3.499958321101648), (-0.369018854063833, -3.554402119606305), (-0.369018854063833, -3.5906979852760763), (-0.369018854063833, -3.6269938509458477), (-0.369018854063833, -3.6723636830330624), (-0.369018854063833, -3.7177335151202766), (-0.369018854063833, -3.763103347207491), (-0.369018854063833, -3.7993992128772622), (-0.369018854063833, -3.8356950785470336), (-0.3780928204812758, -3.8901388770516907), (-0.3780928204812758, -3.926434742721462), (-0.3780928204812758, -3.962730608391234), (-0.3780928204812758, -3.9990264740610053), (NaN, NaN), (-0.19661349213241947, -1.839422466709604), (-0.19661349213241947, -1.8757183323793756), (-0.19661349213241947, -1.912014198049147), (-0.19661349213241947, -1.975531962971247), (-0.19661349213241947, -2.039049727893347), (-0.19661349213241947, -2.0753455935631187), (-0.19661349213241947, -2.1297893920677757), (-0.19661349213241947, -2.17515922415499), (-0.19661349213241947, -2.2114550898247614), (-0.19661349213241947, -2.2568249219119756), (-0.19661349213241947, -2.30219475399919), (-0.19661349213241947, -2.3384906196689617), (-0.19661349213241947, -2.374786485338733), (-0.19661349213241947, -2.438304250260833), (-0.19661349213241947, -2.4836740823480477), (-0.19661349213241947, -2.5381178808527047), (-0.19661349213241947, -2.6016356457748047), (-0.19661349213241947, -2.637931511444576), (-0.19661349213241947, -2.6742273771143474), (-0.19661349213241947, -2.7195972092015617), (-0.19661349213241947, -2.755893074871333), (-0.19661349213241947, -2.792188940541105), (-0.19661349213241947, -2.837558772628319), (-0.19661349213241947, -2.892002571132976), (-0.19661349213241947, -2.9373724032201904), (-0.19661349213241947, -2.9918162017248475), (-0.19661349213241947, -3.028112067394619), (-0.19661349213241947, -3.0734818994818336), (-0.19661349213241947, -3.1279256979864907), (-0.19661349213241947, -3.164221563656262), (-0.19661349213241947, -3.2005174293260334), (-0.20568745854986228, -3.2640351942481334), (-0.20568745854986228, -3.3003310599179048), (-0.2147614249673051, -3.3275529591702333), (-0.2147614249673051, -3.363848824840005), (-0.2147614249673051, -3.4092186569272194), (-0.22383539138474792, -3.436440556179548), (-0.22383539138474792, -3.481810388266762), (-0.23290935780219074, -3.5090322875190907), (-0.23290935780219074, -3.554402119606305), (-0.23290935780219074, -3.5906979852760763), (-0.24198332421963356, -3.6360678173632905), (-0.24198332421963356, -3.690511615867948), (-0.24198332421963356, -3.7358814479551623), (-0.24198332421963356, -3.7721773136249337), (-0.24198332421963356, -3.808473179294705), (-0.24198332421963356, -3.8447690449644765), (-0.2510572906370764, -3.871990944216805), (-0.2510572906370764, -3.9173607763040192), (-0.2510572906370764, -3.953656641973791), (-0.269205223471962, -4.008100440478448), (-0.269205223471962, -4.071618205400548), (-0.2782791898894048, -4.098840104652877), (-0.2782791898894048, -4.144209936740091), (-0.28735315630684766, -4.189579768827305), (-0.28735315630684766, -4.234949600914519), (NaN, NaN), (-0.15124366004520537, -3.2458872614132477), (-0.15124366004520537, -3.291257093500462), (-0.15124366004520537, -3.336626925587676), (-0.15124366004520537, -3.372922791257448), (-0.15124366004520537, -3.427366589762105), (-0.15124366004520537, -3.4636624554318765), (-0.15124366004520537, -3.5181062539365335), (-0.15124366004520537, -3.554402119606305), (-0.1603176264626482, -3.5906979852760763), (-0.1603176264626482, -3.6269938509458477), (-0.1603176264626482, -3.6723636830330624), (-0.1603176264626482, -3.7177335151202766), (-0.169391592880091, -3.763103347207491), (-0.169391592880091, -3.7993992128772622), (-0.17846555929753383, -3.8447690449644765), (-0.18753952571497665, -3.8901388770516907), (-0.18753952571497665, -3.9355087091389054), (-0.20568745854986228, -3.962730608391234), (-0.2147614249673051, -4.035322339730777), (-0.22383539138474792, -4.062544238983105), (-0.23290935780219074, -4.098840104652877), (-0.23290935780219074, -4.144209936740091), (-0.24198332421963356, -4.180505802409862), (-0.2510572906370764, -4.244023567331962), (-0.26013125705451917, -4.271245466584291), (-0.26013125705451917, -4.307541332254062), (-0.26013125705451917, -4.3438371979238335), (-0.269205223471962, -4.380133063593606), (-0.269205223471962, -4.416428929263377), (-0.2782791898894048, -4.389207030011049), (-0.2782791898894048, -4.352911164341276), (-0.2782791898894048, -4.307541332254062), (-0.2782791898894048, -4.271245466584291), (-0.26013125705451917, -4.244023567331962), (-0.26013125705451917, -4.207727701662191), (-0.26013125705451917, -4.1623578695749766), (-0.26013125705451917, -4.126062003905205), (-0.2510572906370764, -4.080692171817991), (-0.24198332421963356, -4.0443963061482195), (-0.23290935780219074, -4.017174406895891), (-0.22383539138474792, -3.9899525076435625), (-0.18753952571497665, -3.9899525076435625), (-0.1603176264626482, -3.9990264740610053), (-0.13309572721031973, -4.008100440478448), (NaN, NaN), (-2.5739926935024378, -0.0699990153082462), (-2.546770794250109, -0.07907298172568906), (-2.5195488949977807, -0.08814694814313193), (-2.492326995745452, -0.10629488097801765), (-2.465105096493124, -0.11536884739546051), (-2.4378831972407955, -0.12444281381290337), (-2.410661297988467, -0.13351678023034624), (-2.3834393987361384, -0.1425907466477891), (-2.35621749948381, -0.15166471306523197), (-2.3289956002314818, -0.1607386794826748), (-2.3017737009791532, -0.1698126459001177), (-2.2745518017268247, -0.17888661231756053), (-2.2382559360570533, -0.17888661231756053), (-2.201960070387282, -0.17888661231756053), (-2.165664204717511, -0.17888661231756053), (-2.1293683390477396, -0.17888661231756053), (-2.093072473377968, -0.17888661231756053), (-2.0567766077081973, -0.1879605787350034), (-2.011406775620983, -0.1879605787350034), (-1.9751109099512116, -0.1879605787350034), (-1.9388150442814405, -0.1879605787350034), (-1.902519178611669, -0.19703454515244626), (-1.866223312941898, -0.19703454515244626), (-1.8299274472721265, -0.19703454515244626), (-1.7845576151849125, -0.19703454515244626), (-1.7482617495151414, -0.20610851156988913), (-1.71196588384537, -0.20610851156988913), (-1.6756700181755988, -0.20610851156988913), (-1.6393741525058274, -0.20610851156988913), (-1.6030782868360562, -0.20610851156988913), (-1.5667824211662849, -0.20610851156988913), (-1.5304865554965137, -0.20610851156988913), (-1.4941906898267423, -0.20610851156988913), (-1.4578948241569711, -0.20610851156988913), (-1.4215989584871997, -0.20610851156988913), (-1.3853030928174286, -0.20610851156988913), (-1.3490072271476572, -0.20610851156988913), (-1.3490072271476572, -0.1698126459001177), (-1.3490072271476572, -0.13351678023034624), (-1.3853030928174286, -0.1425907466477891), (-1.412524992069757, -0.15166471306523197), (-1.466968790574414, -0.15166471306523197), (-1.5032646562441851, -0.1607386794826748), (-1.5395605219139565, -0.1698126459001177), (-1.5758563875837277, -0.1698126459001177), (-1.6030782868360562, -0.1879605787350034), (-1.6303001860883846, -0.19703454515244626), (-1.657522085340713, -0.21518247798733198), (-1.6938179510104843, -0.21518247798733198), (-1.6847439845930414, -0.1879605787350034), (-1.71196588384537, -0.17888661231756053), (-1.7482617495151414, -0.1879605787350034), (-1.7754836487674697, -0.19703454515244626), (-1.8208534808546837, -0.21518247798733198), (-1.8480753801070122, -0.22425644440477485), (-1.8752972793593408, -0.24240437723966057), (-1.902519178611669, -0.2514783436571034), (-1.9297410778639976, -0.26055231007454627), (-1.956962977116326, -0.28777420932687486), (NaN, NaN), (-2.6102885591722087, -0.12444281381290337), (-2.5830666599198806, -0.11536884739546051), (-2.555844760667552, -0.1425907466477891), (-2.5286228614152235, -0.15166471306523197), (-2.501400962162895, -0.1607386794826748), (-2.4741790629105664, -0.1698126459001177), (-2.4469571636582383, -0.17888661231756053), (-2.410661297988467, -0.17888661231756053), (-2.3743654323186956, -0.17888661231756053), (-2.338069566648924, -0.17888661231756053), (-2.3017737009791532, -0.17888661231756053), (-2.265477835309382, -0.17888661231756053), (-2.2291819696396105, -0.17888661231756053), (-2.1928861039698395, -0.1698126459001177), (-2.156590238300068, -0.1607386794826748), (-2.1202943726302967, -0.1607386794826748), (-2.093072473377968, -0.15166471306523197), (-2.0658505741256397, -0.1425907466477891), (-2.0295547084558687, -0.1425907466477891), (NaN, NaN), (-2.492326995745452, -0.4238837055885178), (-2.492326995745452, -0.38758783991874635), (-2.492326995745452, -0.3512919742489749), (-2.492326995745452, -0.31499610857920346), (-2.492326995745452, -0.278700242909432), (-2.492326995745452, -0.24240437723966057), (NaN, NaN), (-2.4741790629105664, -0.46017957125828923), (-2.4741790629105664, -0.4238837055885178), (-2.4741790629105664, -0.38758783991874635), (-2.4832530293280093, -0.36036594066641775), (-2.492326995745452, -0.33314404141408915), (-2.501400962162895, -0.2968481757443177), (-2.510474928580338, -0.26962627649198917), (-2.5195488949977807, -0.24240437723966057), (-2.546770794250109, -0.22425644440477485), (NaN, NaN), (-2.4378831972407955, -0.05185108247336048), (-2.410661297988467, -0.06092504889080334), (-2.3834393987361384, -0.07907298172568906), (-2.3652914659012527, -0.10629488097801765), (-2.338069566648924, -0.11536884739546051), (-2.310847667396596, -0.13351678023034624), (-2.2836257681442675, -0.1607386794826748), (-2.256403868891939, -0.1698126459001177), (-2.2291819696396105, -0.17888661231756053), (-2.201960070387282, -0.1879605787350034), (-2.174738171134954, -0.20610851156988913), (-2.1384423054651824, -0.20610851156988913), (-2.111220406212854, -0.21518247798733198), (-2.0749245405430825, -0.21518247798733198), (-2.0477026412907544, -0.22425644440477485), (-2.020480742038426, -0.2333304108222177), (-1.9932588427860973, -0.24240437723966057), (-1.956962977116326, -0.24240437723966057), (-1.9297410778639976, -0.2514783436571034), (-1.902519178611669, -0.26055231007454627), (-1.8934452121942262, -0.2333304108222177), (-1.911593145029112, -0.20610851156988913), (-1.911593145029112, -0.1698126459001177), (-1.9206671114465548, -0.1425907466477891), (-1.956962977116326, -0.1425907466477891), (-1.9841848763686545, -0.15166471306523197), (-2.011406775620983, -0.1698126459001177), (-2.0386286748733116, -0.17888661231756053), (NaN, NaN), (-2.1202943726302967, -0.08814694814313193), (-2.0839985069605254, -0.08814694814313193), (-2.0477026412907544, -0.08814694814313193), (-2.020480742038426, -0.09722091456057479), (-1.9841848763686545, -0.09722091456057479), (-1.9478890106988833, -0.09722091456057479), (-1.911593145029112, -0.09722091456057479), (-1.8843712457767836, -0.10629488097801765), (-1.857149346524455, -0.11536884739546051), (-1.8208534808546837, -0.12444281381290337), (-1.7845576151849125, -0.12444281381290337), (-1.757335715932584, -0.13351678023034624), (-1.7210398502628128, -0.13351678023034624), (-1.6938179510104843, -0.1425907466477891), (-1.657522085340713, -0.1425907466477891), (-1.6212262196709417, -0.1425907466477891), (-1.5849303540011705, -0.1425907466477891), (-1.5486344883313992, -0.1425907466477891), (-1.512338622661628, -0.1425907466477891), (NaN, NaN), (-0.3780928204812758, 1.6268327047535687), (-0.3780928204812758, 1.5905368390837973), (-0.369018854063833, 1.5633149398314687), (-0.35994488764639015, 1.5360930405791402), (-0.34179695481150457, 1.5088711413268117), (-0.3327229883940617, 1.481649242074483), (-0.3055010891417333, 1.4635013092395972), (-0.269205223471962, 1.4635013092395972), (-0.23290935780219074, 1.4635013092395972), (-0.19661349213241947, 1.4635013092395972), (-0.169391592880091, 1.47257527565704), (-0.14216969362776255, 1.4907232084919257), (-0.14216969362776255, 1.5270190741616974), (NaN, NaN), (1.3641087316677452, -0.13351678023034624), (1.4094785637549592, -0.13351678023034624), (1.4457744294247306, -0.13351678023034624), (1.4820702950945017, -0.13351678023034624), (1.5092921943468303, -0.1425907466477891), (1.5455880600166014, -0.1425907466477891), (1.5818839256863728, -0.1425907466477891), (1.618179791356144, -0.1425907466477891), (1.6544756570259154, -0.1425907466477891), (1.6907715226956865, -0.1425907466477891), (1.7361413547829005, -0.1425907466477891), (1.772437220452672, -0.1425907466477891), (1.808733086122443, -0.1425907466477891), (1.8450289517922145, -0.1425907466477891), (1.8903987838794285, -0.1425907466477891), (1.9266946495492, -0.1425907466477891), (1.9539165488015282, -0.15166471306523197), (1.9902124144712996, -0.15166471306523197), (2.026508280141071, -0.15166471306523197), (2.062804145810842, -0.15166471306523197), (2.0991000114806133, -0.15166471306523197), (2.1353958771503847, -0.15166471306523197), (2.171691742820156, -0.15166471306523197), (2.207987608489927, -0.15166471306523197), (2.2442834741596984, -0.15166471306523197), (2.28057933982947, -0.15166471306523197), (2.3168752054992408, -0.15166471306523197), (2.362245037586455, -0.15166471306523197), (2.3985409032562264, -0.15166471306523197), (2.4439107353434406, -0.15166471306523197), (2.4802066010132116, -0.15166471306523197), (2.516502466682983, -0.15166471306523197), (2.561872298770197, -0.15166471306523197), (2.598168164439968, -0.15166471306523197), (2.6344640301097395, -0.15166471306523197), (2.670759895779511, -0.15166471306523197), (2.7070557614492823, -0.15166471306523197), (2.7433516271190532, -0.15166471306523197), (2.7796474927888246, -0.15166471306523197), (2.825017324876039, -0.15166471306523197), (2.86131319054581, -0.15166471306523197), (2.897609056215581, -0.15166471306523197), (2.9339049218853526, -0.15166471306523197), (2.970200787555124, -0.15166471306523197), (3.0155706196423377, -0.15166471306523197), (3.0427925188946663, -0.1607386794826748), (3.0790883845644377, -0.1607386794826748), (3.115384250234209, -0.1607386794826748), (3.15168011590398, -0.1607386794826748), (3.1879759815737514, -0.1698126459001177), (3.224271847243523, -0.1698126459001177), (3.2514937464958513, -0.17888661231756053), (NaN, NaN), (1.3459607988328595, -0.22425644440477485), (1.3913306309200737, -0.22425644440477485), (1.4367004630072877, -0.22425644440477485), (1.4729963286770589, -0.22425644440477485), (1.527440127181716, -0.22425644440477485), (1.5909578921038157, -0.22425644440477485), (1.6454016906084725, -0.21518247798733198), (1.6907715226956865, -0.21518247798733198), (1.7361413547829005, -0.20610851156988913), (1.7815111868701148, -0.20610851156988913), (1.817807052539886, -0.20610851156988913), (1.8541029182096573, -0.19703454515244626), (1.9085467167143142, -0.1879605787350034), (1.9539165488015282, -0.1879605787350034), (1.9811384480538567, -0.17888661231756053), (2.017434313723628, -0.17888661231756053), (2.0446562129759562, -0.1607386794826748), (2.0809520786457276, -0.1607386794826748), (2.117247944315499, -0.15166471306523197), (2.1535438099852704, -0.15166471306523197), (2.198913642072484, -0.15166471306523197), (2.2442834741596984, -0.15166471306523197), (2.28057933982947, -0.15166471306523197), (2.3168752054992408, -0.1425907466477891), (2.362245037586455, -0.1425907466477891), (2.3985409032562264, -0.13351678023034624), (2.4439107353434406, -0.13351678023034624), (2.4802066010132116, -0.12444281381290337), (2.525576433100426, -0.12444281381290337), (2.561872298770197, -0.12444281381290337), (2.598168164439968, -0.12444281381290337), (2.6344640301097395, -0.12444281381290337), (2.670759895779511, -0.12444281381290337), (2.7070557614492823, -0.12444281381290337), (2.7433516271190532, -0.12444281381290337), (2.7796474927888246, -0.12444281381290337), (2.815943358458596, -0.12444281381290337), (2.8522392241283674, -0.12444281381290337), (2.8885350897981383, -0.12444281381290337), (2.9248309554679097, -0.12444281381290337), (2.961126821137681, -0.12444281381290337), (2.9883487203900096, -0.13351678023034624), (3.0155706196423377, -0.1425907466477891), (3.060940451729552, -0.1425907466477891), (3.0881623509818805, -0.15166471306523197), (3.124458216651652, -0.1607386794826748), (3.160754082321423, -0.1607386794826748), (3.1789020151563085, -0.1879605787350034), (3.1970499479911942, -0.21518247798733198), (3.206123914408637, -0.24240437723966057), (3.21519788082608, -0.26962627649198917), (3.1789020151563085, -0.28777420932687486), (3.1335321830690948, -0.2968481757443177), (3.106310283816766, -0.3059221421617606), (3.070014418146995, -0.31499610857920346), (3.0427925188946663, -0.3240700749966463), (3.0155706196423377, -0.33314404141408915), (2.979274753972567, -0.34221800783153206), (2.9429788883027954, -0.3512919742489749), (2.915756989050467, -0.3694399070838606), (2.8794611233806955, -0.38758783991874635), (2.8431652577109245, -0.3966618063361892), (2.815943358458596, -0.40573577275363204), (2.7887214592062675, -0.41480973917107494), (2.752425593536496, -0.43295767200596064), (2.716129727866725, -0.4420316384234035), (2.6889078286143966, -0.4511056048408464), (2.661685929362068, -0.46017957125828923), (2.6253900636922967, -0.4692535376757321), (2.580020231605083, -0.4783275040931749), (2.5437243659353115, -0.48740147051061783), (2.516502466682983, -0.4964754369280607), (2.4711326345957687, -0.4964754369280607), (2.425762802508555, -0.4964754369280607), (2.3894669368387835, -0.4964754369280607), (2.353171071169012, -0.4964754369280607), (2.3168752054992408, -0.4964754369280607), (2.28057933982947, -0.4964754369280607), (2.262431406994584, -0.5236973361803893), (2.2533574405771413, -0.5690671682676035), (2.2533574405771413, -0.605363033937375), (2.2533574405771413, -0.6416588996071464), (2.2533574405771413, -0.6870287316943607), (2.2533574405771413, -0.7505464966164608), (2.2533574405771413, -0.7959163287036751), (2.2533574405771413, -0.8322121943734465), (2.2261355413248127, -0.8231382279560037), (2.1898396756550413, -0.8140642615385608), (2.1444698435678275, -0.804990295121118), (2.117247944315499, -0.7777683958687893), (2.0991000114806133, -0.7505464966164608), (2.0900260450631705, -0.7233245973641322), (2.0718781122282848, -0.6870287316943607), (2.062804145810842, -0.6598068324420322), (NaN, NaN), (2.21706157490737, -0.2333304108222177), (2.262431406994584, -0.2333304108222177), (2.3259491719166836, -0.2333304108222177), (2.371319004003898, -0.2333304108222177), (2.416688836091112, -0.2333304108222177), (2.462058668178326, -0.2333304108222177), (2.4983545338480972, -0.2333304108222177), (2.5437243659353115, -0.2333304108222177), (2.580020231605083, -0.2333304108222177), (2.616316097274854, -0.2333304108222177), (2.661685929362068, -0.2333304108222177), (2.6979817950318394, -0.2333304108222177), (2.752425593536496, -0.2333304108222177), (2.7887214592062675, -0.2333304108222177), (2.825017324876039, -0.2333304108222177), (2.8703871569632526, -0.2333304108222177), (2.915756989050467, -0.2333304108222177), (2.961126821137681, -0.2333304108222177), (3.006496653224895, -0.2333304108222177), (3.0427925188946663, -0.2333304108222177), (3.0881623509818805, -0.2333304108222177), (3.124458216651652, -0.2333304108222177), (3.160754082321423, -0.2333304108222177), (3.206123914408637, -0.2333304108222177), (NaN, NaN), (3.3422334106702793, -0.08814694814313193), (3.3876032427574936, -0.09722091456057479), (3.4057511755923793, -0.12444281381290337), (3.4238991084272645, -0.15166471306523197), (3.44204704126215, -0.17888661231756053), (3.4148251420098217, -0.21518247798733198), (3.3876032427574936, -0.2333304108222177), (3.360381343505165, -0.24240437723966057), (3.3876032427574936, -0.22425644440477485), (3.4148251420098217, -0.21518247798733198), (3.44204704126215, -0.20610851156988913), (3.4692689405144788, -0.19703454515244626), (3.50556480618425, -0.19703454515244626), (3.550934638271464, -0.1879605787350034), (3.5872305039412353, -0.1879605787350034), (3.6235263696110067, -0.1879605787350034), (3.659822235280778, -0.1879605787350034), (3.696118100950549, -0.1879605787350034), (3.7324139666203204, -0.1879605787350034), (3.768709832290092, -0.1879605787350034), (3.805005697959863, -0.1879605787350034), (3.850375530047077, -0.1879605787350034), (3.8866713957168484, -0.17888661231756053), (3.913893294969177, -0.1698126459001177), (3.9592631270563907, -0.1698126459001177), (3.9864850263087193, -0.1607386794826748), (4.040928824813376, -0.1607386794826748), (4.068150724065704, -0.15166471306523197), (4.1225945225703615, -0.15166471306523197), (4.167964354657576, -0.13351678023034624), (4.204260220327347, -0.13351678023034624), (4.231482119579676, -0.12444281381290337), true], 1, (-2.6193625255896515, -4.271245466584291), (8.351062873098714, 1.6994244360931117), (2.000000000000007, 658), (1211, -1.1102230246251565E-15)) → stroke5
  22. AttachCopyToView(PolyLine[(3.904819328551734, -0.11536884739546051), (3.9592631270563907, -0.11536884739546051), (4.013706925561048, -0.11536884739546051), (4.050002791230819, -0.11536884739546051), (4.095372623318033, -0.11536884739546051), (4.14981642182269, -0.11536884739546051), (4.1861122874924614, -0.11536884739546051), (4.231482119579676, -0.11536884739546051), (4.27685195166689, -0.11536884739546051), (4.31314781733666, -0.11536884739546051), (4.349443683006432, -0.11536884739546051), (4.394813515093646, -0.11536884739546051), (4.449257313598303, -0.11536884739546051), (4.4855531792680745, -0.11536884739546051), (4.521849044937846, -0.11536884739546051), (4.558144910607617, -0.12444281381290337), (4.594440776277388, -0.12444281381290337), (4.630736641947159, -0.13351678023034624), (4.657958541199488, -0.1425907466477891), (4.657958541199488, -0.17888661231756053), (4.685180440451816, -0.1879605787350034), (NaN, NaN), (4.31314781733666, -0.2333304108222177), (4.349443683006432, -0.2333304108222177), (4.403887481511089, -0.2333304108222177), (4.458331280015746, -0.2333304108222177), (4.512775078520403, -0.2333304108222177), (4.549070944190174, -0.2333304108222177), (4.585366809859945, -0.2333304108222177), (4.639810608364602, -0.2333304108222177), (4.685180440451816, -0.2333304108222177), (4.721476306121588, -0.2333304108222177), (4.757772171791359, -0.2333304108222177), (4.79406803746113, -0.2333304108222177), (4.839437869548345, -0.2333304108222177), (4.884807701635558, -0.2333304108222177), (4.930177533722772, -0.2333304108222177), (4.966473399392544, -0.2333304108222177), (5.002769265062315, -0.2333304108222177), (5.048139097149529, -0.22425644440477485), (5.084434962819301, -0.22425644440477485), (5.111656862071629, -0.21518247798733198), (5.1570266941588425, -0.20610851156988913), (5.193322559828614, -0.19703454515244626), (5.247766358333271, -0.19703454515244626), (5.2749882575855995, -0.1879605787350034), (5.311284123255371, -0.1879605787350034), (NaN, NaN), (4.902955634470444, -0.11536884739546051), (4.9755473658099865, -0.11536884739546051), (5.0299911643146435, -0.11536884739546051), (5.066287029984415, -0.11536884739546051), (5.111656862071629, -0.11536884739546051), (5.1570266941588425, -0.11536884739546051), (5.202396526246057, -0.11536884739546051), (5.256840324750714, -0.11536884739546051), (5.293136190420485, -0.11536884739546051), (5.3385060225076995, -0.11536884739546051), (5.383875854594914, -0.11536884739546051), (5.420171720264684, -0.11536884739546051), (5.456467585934456, -0.11536884739546051), (5.50183741802167, -0.11536884739546051), (5.547207250108884, -0.12444281381290337), (5.583503115778655, -0.13351678023034624), (5.6379469142833125, -0.13351678023034624), (5.683316746370526, -0.13351678023034624), (5.710538645622854, -0.1425907466477891), (5.746834511292626, -0.1425907466477891), (5.801278309797283, -0.1425907466477891), (5.846648141884497, -0.1425907466477891), (5.873870041136826, -0.15166471306523197), (NaN, NaN), (5.238692391915828, -0.22425644440477485), (5.2749882575855995, -0.22425644440477485), (5.311284123255371, -0.22425644440477485), (5.356653955342585, -0.22425644440477485), (5.411097753847241, -0.22425644440477485), (5.465541552351898, -0.22425644440477485), (5.5199853508565555, -0.22425644440477485), (5.56535518294377, -0.22425644440477485), (5.619798981448427, -0.22425644440477485), (5.656094847118198, -0.22425644440477485), (5.701464679205412, -0.22425644440477485), (5.746834511292626, -0.22425644440477485), (5.79220434337984, -0.22425644440477485), (5.828500209049611, -0.21518247798733198), (5.873870041136826, -0.20610851156988913), (5.91923987322404, -0.20610851156988913), (5.95553573889381, -0.19703454515244626), (5.991831604563582, -0.19703454515244626), (6.028127470233353, -0.19703454515244626), (NaN, NaN), (5.8829440075542685, -0.11536884739546051), (5.91923987322404, -0.11536884739546051), (5.95553573889381, -0.11536884739546051), (5.991831604563582, -0.11536884739546051), (6.037201436650796, -0.11536884739546051), (6.073497302320567, -0.11536884739546051), (NaN, NaN), (3.8866713957168484, -0.22425644440477485), (3.9320412278040626, -0.22425644440477485), (3.9774110598912764, -0.22425644440477485), (4.013706925561048, -0.22425644440477485), (4.050002791230819, -0.22425644440477485), (4.095372623318033, -0.22425644440477485), (4.131668488987804, -0.22425644440477485), (4.167964354657576, -0.22425644440477485), (4.204260220327347, -0.22425644440477485), true], 1, (-2.6193625255896515, -3.9718045748086768), (6.137015067242667, 1.6994244360931117), (0, 625), (965, 0)) → stroke7
  23. AttachCopyToView(PolyLine[(-1.6303001860883846, 1.1912823167163114), (-0.3780928204812758, 0.5833265667476397), (-0.3780928204812758, 0.5470307010778683), (-0.3780928204812758, 0.5107348354080968), (-0.3780928204812758, 0.4653650033208826), (-0.369018854063833, 0.438143104068554), (-0.35994488764639015, 0.40184723839878256), (-0.3327229883940617, 0.3927732719813397), (-0.29642712272429045, 0.4109212048162254), (-0.2782791898894048, 0.438143104068554), (-0.26013125705451917, 0.4653650033208826), (-0.2510572906370764, 0.501660868990654), (-0.24198332421963356, 0.5288827682429826), (-0.23290935780219074, 0.5561046674953112), (-0.20568745854986228, 0.565178633912754), (-0.19661349213241947, 0.5379567346604255), (-0.18753952571497665, 0.501660868990654), (-0.17846555929753383, 0.4653650033208826), (-0.17846555929753383, 0.42906913765111115), (-0.169391592880091, 0.4562910369034397), (-0.169391592880091, 0.49258690257321114), (-0.169391592880091, 0.5288827682429826), (-0.169391592880091, 0.49258690257321114), (-0.169391592880091, 0.4562910369034397), (NaN, NaN), (-0.3327229883940617, 0.5561046674953112), (-0.29642712272429045, 0.5561046674953112), (-0.24198332421963356, 0.5561046674953112), (-0.20568745854986228, 0.5561046674953112), (-0.169391592880091, 0.5561046674953112), (-0.1603176264626482, 0.5288827682429826), (-0.1603176264626482, 0.4835129361557683), (-0.1603176264626482, 0.44721707048599685), (-0.1603176264626482, 0.4109212048162254), (-0.1603176264626482, 0.37462533914645396), (-0.18753952571497665, 0.3655513727290111), (-0.2147614249673051, 0.3927732719813397), (-0.23290935780219074, 0.41999517123366825), (-0.269205223471962, 0.41999517123366825), (NaN, NaN), (-0.1149477943754341, 0.6286963988348541), (-0.1149477943754341, 0.5924005331650827), (-0.1149477943754341, 0.5561046674953112), (-0.12402176079287693, 0.5288827682429826), (-0.12402176079287693, 0.49258690257321114), (-0.12402176079287693, 0.4562910369034397), true], 1, (-2.6193625255896515, -3.9718045748086768), (6.137015067242667, 1.6994244360931117), (0, 625), (965, 0)) → stroke1
  24. AttachCopyToView(PolyLine[(-0.47790645107314683, -0.4238837055885178), (-0.44161058540337556, -0.46017957125828923), (-0.41438868615104707, -0.48740147051061783), (-0.39624075331616143, -0.5146233697629464), (-0.369018854063833, -0.5236973361803893), (-0.35994488764639015, -0.5509192354327178), (-0.34179695481150457, -0.5781411346850465), (-0.3327229883940617, -0.605363033937375), (-0.32364902197661893, -0.6325849331897035), (-0.3145750555591761, -0.6598068324420322), (-0.3055010891417333, -0.6870287316943607), (-0.29642712272429045, -0.7142506309466893), (-0.269205223471962, -0.7233245973641322), (-0.2510572906370764, -0.6961026981118036), (-0.23290935780219074, -0.668880798859475), (-0.20568745854986228, -0.6416588996071464), (-0.17846555929753383, -0.6144370003548179), (-0.1603176264626482, -0.5872151011024893), (-0.13309572721031973, -0.5599932018501607), (-0.1149477943754341, -0.5327713025978321), (-0.08772589512310566, -0.5055494033455036), (-0.060503995870777205, -0.4783275040931749), (-0.08772589512310566, -0.4692535376757321), (-0.12402176079287693, -0.4692535376757321), (-0.1603176264626482, -0.4692535376757321), (-0.19661349213241947, -0.4692535376757321), (-0.22383539138474792, -0.4783275040931749), (-0.2510572906370764, -0.48740147051061783), (-0.28735315630684766, -0.48740147051061783), (-0.3145750555591761, -0.5055494033455036), (-0.35087092122894736, -0.5055494033455036), (-0.3780928204812758, -0.5146233697629464), (-0.3780928204812758, -0.5509192354327178), (-0.35087092122894736, -0.5781411346850465), (-0.34179695481150457, -0.605363033937375), (-0.34179695481150457, -0.6416588996071464), (-0.34179695481150457, -0.6779547652769179), (-0.34179695481150457, -0.7142506309466893), (-0.34179695481150457, -0.7505464966164608), (-0.35087092122894736, -0.6961026981118036), (-0.369018854063833, -0.6325849331897035), (-0.3780928204812758, -0.5872151011024893), (-0.3780928204812758, -0.5509192354327178), (-0.3780928204812758, -0.5146233697629464), (-0.3780928204812758, -0.4783275040931749), (-0.3780928204812758, -0.4420316384234035), (-0.369018854063833, -0.41480973917107494), true], 1, (-2.6193625255896515, -3.9718045748086768), (6.137015067242667, 1.6994244360931117), (0, 625), (965, 0)) → stroke2
  25. AttachCopyToView(PolyLine[(-0.7047556115092173, -0.08814694814313193), (-0.6866076786743316, -0.11536884739546051), (-0.668459745839446, -0.1425907466477891), (-0.6321638801696747, -0.1425907466477891), (-0.6049419809173463, -0.15166471306523197), (-0.5777200816650178, -0.1607386794826748), (-0.5504981824126893, -0.17888661231756053), (-0.5232762831603609, -0.1879605787350034), (-0.4869804174905896, -0.1879605787350034), (-0.45068455182081835, -0.1879605787350034), (-0.4234626525684899, -0.19703454515244626), (-0.39624075331616143, -0.20610851156988913), (-0.4325366189859327, -0.19703454515244626), (-0.4597585182382612, -0.17888661231756053), (-0.4869804174905896, -0.1607386794826748), (-0.514202316742918, -0.1425907466477891), (-0.5414242159952465, -0.13351678023034624), true], 1, (-2.6193625255896515, -3.9718045748086768), (6.137015067242667, 1.6994244360931117), (0, 625), (965, 0)) → stroke3
  26. AttachCopyToView(PolyLine[(-0.5051283503254752, -1.3675762130025753), (-0.5051283503254752, -1.4129460450897897), (-0.5051283503254752, -1.449241910759561), (-0.5051283503254752, -1.4946117428467753), (-0.5051283503254752, -1.5399815749339896), (-0.4960543839080324, -1.5672034741863183), (-0.4869804174905896, -1.5944253734386469), (-0.47790645107314683, -1.6216472726909754), (-0.4325366189859327, -1.648869171943304), (-0.4053147197336043, -1.6579431383607468), (-0.35994488764639015, -1.648869171943304), (-0.34179695481150457, -1.6216472726909754), (-0.3145750555591761, -1.6034993398560897), (-0.29642712272429045, -1.5762774406037612), (-0.269205223471962, -1.5490555413514324), (-0.2510572906370764, -1.5218336420991039), (-0.23290935780219074, -1.4946117428467753), (-0.22383539138474792, -1.4673898435944468), (-0.2147614249673051, -1.4401679443421183), (-0.19661349213241947, -1.4673898435944468), (-0.19661349213241947, -1.5036857092642182), (-0.18753952571497665, -1.5309076085165467), (-0.18753952571497665, -1.5672034741863183), (-0.17846555929753383, -1.5944253734386469), (-0.17846555929753383, -1.6307212391084183), (-0.169391592880091, -1.585351407021204), (-0.1603176264626482, -1.5399815749339896), (-0.15124366004520537, -1.512759675681661), (-0.15124366004520537, -1.4764638100118896), (-0.14216969362776255, -1.449241910759561), (-0.169391592880091, -1.4401679443421183), (-0.20568745854986228, -1.449241910759561), (-0.24198332421963356, -1.4673898435944468), (-0.269205223471962, -1.4855377764293325), (-0.29642712272429045, -1.512759675681661), (-0.3327229883940617, -1.512759675681661), (-0.3780928204812758, -1.5218336420991039), (-0.41438868615104707, -1.5399815749339896), (-0.44161058540337556, -1.5309076085165467), (-0.44161058540337556, -1.4946117428467753), (-0.44161058540337556, -1.458315877177004), (-0.44161058540337556, -1.4220200115072326), (-0.4325366189859327, -1.385724145837461), (-0.4234626525684899, -1.3585022465851324), (-0.41438868615104707, -1.3312803473328039), (-0.4053147197336043, -1.3040584480804753), (-0.38716678689871864, -1.267762582410704), (-0.3780928204812758, -1.2314667167409323), (-0.39624075331616143, -1.2042448174886038), (-0.4053147197336043, -1.1770229182362753), (-0.4325366189859327, -1.1679489518188324), (-0.468832484655704, -1.1679489518188324), (-0.514202316742918, -1.1679489518188324), (-0.5504981824126893, -1.195170851071161), (-0.5958680144999035, -1.2405406831583752), (-0.6230899137522319, -1.267762582410704), (-0.6503118130045603, -1.3040584480804753), (-0.6775337122568887, -1.2949844816630325), (-0.6775337122568887, -1.2586886159932609), (-0.6775337122568887, -1.3040584480804753), (-0.6775337122568887, -1.3675762130025753), (-0.6866076786743316, -1.4220200115072326), (-0.6866076786743316, -1.458315877177004), (-0.6956816450917744, -1.5036857092642182), (-0.7047556115092173, -1.5309076085165467), (-0.71382957792666, -1.5581295077688755), (-0.7229035443441029, -1.5944253734386469), (-0.7319775107615457, -1.6579431383607468), (-0.7319775107615457, -1.6942390040305182), (-0.7319775107615457, -1.7305348697002898), (-0.7410514771789886, -1.7668307353700612), (-0.7410514771789886, -1.8031266010398326), (-0.7410514771789886, -1.7668307353700612), (-0.7410514771789886, -1.6942390040305182), (-0.7319775107615457, -1.6034993398560897), (-0.6866076786743316, -1.512759675681661), (-0.6866076786743316, -1.458315877177004), (-0.6775337122568887, -1.3947981122549038), (-0.668459745839446, -1.3585022465851324), (-0.6593857794220032, -1.385724145837461), (-0.6593857794220032, -1.4220200115072326), (-0.6956816450917744, -1.5036857092642182), (-0.7410514771789886, -1.5581295077688755), (-0.7864213092662026, -1.6579431383607468), (-0.8227171749359738, -1.7305348697002898), (-0.8499390741883023, -1.775904701787504), (-0.868087007023188, -1.8212745338747183), (-0.8862349398580736, -1.8575703995444899), (NaN, NaN), (-0.41438868615104707, -1.3947981122549038), (-0.3780928204812758, -1.4038720786723466), (-0.35087092122894736, -1.4220200115072326), (-0.32364902197661893, -1.4310939779246754), true], 1, (-2.6193625255896515, -3.9718045748086768), (6.137015067242667, 1.6994244360931117), (0, 625), (965, 0)) → stroke4
  27. AttachCopyToView(PolyLine[(-0.5323502495778037, -0.46017957125828923), (-0.5051283503254752, -0.4783275040931749), (-0.47790645107314683, -0.5055494033455036), (-0.45068455182081835, -0.5146233697629464), (-0.4234626525684899, -0.5327713025978321), (-0.39624075331616143, -0.541845269015275), (-0.35994488764639015, -0.5236973361803893), (-0.3145750555591761, -0.5055494033455036), (-0.28735315630684766, -0.48740147051061783), (-0.26013125705451917, -0.4783275040931749), (-0.22383539138474792, -0.4692535376757321), (-0.19661349213241947, -0.4511056048408464), (-0.169391592880091, -0.43295767200596064), (-0.14216969362776255, -0.4692535376757321), (-0.13309572721031973, -0.5236973361803893), (-0.13309572721031973, -0.5690671682676035), (-0.13309572721031973, -0.6144370003548179), (-0.13309572721031973, -0.6598068324420322), (-0.13309572721031973, -0.6961026981118036), (-0.13309572721031973, -0.7323985637815751), (-0.14216969362776255, -0.7596204630339036), (-0.15124366004520537, -0.7868423622862322), (-0.17846555929753383, -0.7596204630339036), (-0.18753952571497665, -0.7142506309466893), (-0.18753952571497665, -0.6598068324420322), (-0.18753952571497665, -0.6235109667722607), (-0.18753952571497665, -0.5872151011024893), (-0.17846555929753383, -0.5509192354327178), (-0.169391592880091, -0.5236973361803893), (-0.15124366004520537, -0.4964754369280607), (-0.14216969362776255, -0.4692535376757321), (-0.1149477943754341, -0.43295767200596064), (-0.09679986154054847, -0.40573577275363204), true], 1, (-2.6193625255896515, -3.9718045748086768), (6.137015067242667, 1.6994244360931117), (0, 625), (965, 0)) → stroke6
  28. AttachCopyToView(PolyLine[(1.9085467167143142, -0.12444281381290337), (1.9448425823840854, -0.12444281381290337), (1.9811384480538567, -0.12444281381290337), (2.017434313723628, -0.12444281381290337), (NaN, NaN), (3.4692689405144788, -0.11536884739546051), (3.50556480618425, -0.11536884739546051), (3.5418606718540215, -0.11536884739546051), (3.5781565375237925, -0.10629488097801765), (3.605378436776121, -0.08814694814313193), (3.6326003360284496, -0.07907298172568906), true], 1, (-2.6193625255896515, -3.9718045748086768), (6.137015067242667, 1.6994244360931117), (0, 625), (965, 0)) → stroke8
  29. AttachCopyToView(PolyLine[(6.3094204291740805, -0.08814694814313193), (6.354790261261295, -0.08814694814313193), (6.391086126931066, -0.08814694814313193), (6.418308026183395, -0.09722091456057479), (6.454603891853166, -0.09722091456057479), (6.499973723940379, -0.09722091456057479), (6.536269589610151, -0.09722091456057479), (6.572565455279922, -0.10629488097801765), (6.608861320949694, -0.10629488097801765), (6.645157186619465, -0.11536884739546051), (6.681453052289236, -0.11536884739546051), (6.717748917959008, -0.11536884739546051), (6.763118750046221, -0.11536884739546051), (6.7994146157159925, -0.12444281381290337), (6.835710481385764, -0.13351678023034624), (6.872006347055535, -0.1425907466477891), (6.899228246307864, -0.15166471306523197), (6.935524111977635, -0.1607386794826748), (6.980893944064849, -0.1698126459001177), (7.035337742569506, -0.17888661231756053), (7.08070757465672, -0.17888661231756053), (7.107929473909048, -0.1879605787350034), (7.1623732724137055, -0.1879605787350034), (7.189595171666034, -0.19703454515244626), (7.225891037335805, -0.19703454515244626), (7.27126086942302, -0.19703454515244626), (7.316630701510233, -0.19703454515244626), (7.362000533597447, -0.19703454515244626), (7.4073703656846615, -0.19703454515244626), (7.443666231354433, -0.19703454515244626), (7.479962097024204, -0.19703454515244626), (7.516257962693976, -0.19703454515244626), (7.552553828363747, -0.19703454515244626), (7.606997626868403, -0.19703454515244626), (7.634219526120732, -0.1879605787350034), (7.670515391790503, -0.1879605787350034), (7.72495919029516, -0.1698126459001177), (7.752181089547489, -0.1607386794826748), (7.779402988799817, -0.15166471306523197), (7.806624888052146, -0.1425907466477891), (7.842920753721917, -0.1425907466477891), (NaN, NaN), (6.336642328426409, -0.21518247798733198), (6.3729381940961805, -0.21518247798733198), (6.4273819926008375, -0.21518247798733198), (6.472751824688052, -0.21518247798733198), (6.509047690357822, -0.21518247798733198), (6.5544175224450365, -0.21518247798733198), (6.590713388114808, -0.20610851156988913), (6.627009253784579, -0.19703454515244626), (6.690527018706679, -0.1879605787350034), (6.735896850793893, -0.17888661231756053), (6.781266682881107, -0.1698126459001177), (6.817562548550878, -0.1698126459001177), (6.85385841422065, -0.1698126459001177), (6.890154279890421, -0.1698126459001177), (6.9173761791427495, -0.1607386794826748), (6.962746011229964, -0.1607386794826748), (6.989967910482292, -0.15166471306523197), (7.035337742569506, -0.15166471306523197), (7.071633608239277, -0.15166471306523197), (7.0988555074916055, -0.1425907466477891), (7.126077406743934, -0.13351678023034624), (7.153299305996263, -0.12444281381290337), (7.20774310450092, -0.11536884739546051), (7.244038970170691, -0.10629488097801765), (7.2803348358404625, -0.10629488097801765), (7.316630701510233, -0.10629488097801765), (7.352926567180004, -0.10629488097801765), (7.398296399267219, -0.10629488097801765), (7.43459226493699, -0.10629488097801765), (7.4618141641893185, -0.11536884739546051), (7.489036063441647, -0.12444281381290337), (7.5253319291114185, -0.12444281381290337), (7.570701761198633, -0.12444281381290337), (7.59792366045096, -0.13351678023034624), (7.625145559703289, -0.1425907466477891), (7.670515391790503, -0.1425907466477891), (7.7068112574602745, -0.1425907466477891), (7.743107123130046, -0.15166471306523197), (7.78847695521726, -0.15166471306523197), (7.833846787304474, -0.15166471306523197), (7.870142652974245, -0.15166471306523197), (7.906438518644016, -0.15166471306523197), (7.9518083507312305, -0.15166471306523197), (7.997178182818445, -0.15166471306523197), (8.033474048488216, -0.15166471306523197), (8.069769914157988, -0.15166471306523197), (8.106065779827759, -0.1425907466477891), (NaN, NaN), (6.245902664251981, -0.1698126459001177), (6.291272496339195, -0.1698126459001177), (6.327568362008966, -0.1698126459001177), (6.3729381940961805, -0.1698126459001177), (6.4273819926008375, -0.1698126459001177), (6.472751824688052, -0.1698126459001177), (6.509047690357822, -0.1698126459001177), (6.572565455279922, -0.1698126459001177), (6.617935287367136, -0.17888661231756053), (6.645157186619465, -0.1879605787350034), (6.708674951541565, -0.1879605787350034), (6.772192716463664, -0.19703454515244626), (6.808488582133435, -0.19703454515244626), (6.862932380638092, -0.19703454515244626), (6.908302212725307, -0.19703454515244626), (6.953672044812521, -0.19703454515244626), (6.989967910482292, -0.19703454515244626), (7.0444117089869485, -0.19703454515244626), (7.08070757465672, -0.19703454515244626), (7.117003440326491, -0.19703454515244626), (7.1623732724137055, -0.19703454515244626), (7.20774310450092, -0.19703454515244626), (7.244038970170691, -0.19703454515244626), (7.2803348358404625, -0.1879605787350034), (7.30755673509279, -0.17888661231756053), (7.362000533597447, -0.1698126459001177), (7.389222432849776, -0.1607386794826748), (7.425518298519547, -0.1607386794826748), (7.470888130606761, -0.15166471306523197), (7.507183996276533, -0.15166471306523197), (7.552553828363747, -0.1425907466477891), (7.5888496940335175, -0.1425907466477891), (7.643293492538175, -0.1425907466477891), (7.688663324625389, -0.1425907466477891), (7.743107123130046, -0.1425907466477891), (7.779402988799817, -0.1425907466477891), (7.815698854469589, -0.1425907466477891), (7.870142652974245, -0.1425907466477891), (7.906438518644016, -0.1425907466477891), (NaN, NaN), (6.935524111977635, -0.09722091456057479), (6.971819977647407, -0.09722091456057479), (7.026263776152064, -0.09722091456057479), (7.071633608239277, -0.09722091456057479), (7.107929473909048, -0.09722091456057479), (7.1623732724137055, -0.09722091456057479), (7.2168170709183626, -0.09722091456057479), (7.253112936588134, -0.09722091456057479), (7.316630701510233, -0.09722091456057479), (7.352926567180004, -0.09722091456057479), (7.398296399267219, -0.08814694814313193), (7.43459226493699, -0.07907298172568906), (7.470888130606761, -0.07907298172568906), (7.5253319291114185, -0.07907298172568906), (7.570701761198633, -0.07907298172568906), (7.625145559703289, -0.07907298172568906), (7.66144142537306, -0.07907298172568906), (7.697737291042832, -0.07907298172568906), (7.752181089547489, -0.08814694814313193), (7.797550921634703, -0.09722091456057479), (7.833846787304474, -0.10629488097801765), (7.879216619391688, -0.11536884739546051), (7.915512485061459, -0.12444281381290337), (7.9518083507312305, -0.13351678023034624), (7.988104216401002, -0.13351678023034624), (8.01532611565333, -0.1425907466477891), (8.051621981323102, -0.1425907466477891), (8.087917846992873, -0.15166471306523197), (8.133287679080087, -0.15166471306523197), (8.169583544749859, -0.15166471306523197), (8.20587941041963, -0.15166471306523197), (8.260323208924286, -0.15166471306523197), (8.296619074594057, -0.15166471306523197), (8.323840973846385, -0.1607386794826748), (8.323840973846385, -0.19703454515244626), (8.314767007428943, -0.22425644440477485), (8.3056930410115, -0.26055231007454627), (8.278471141759171, -0.28777420932687486), (8.269397175341728, -0.31499610857920346), (8.260323208924286, -0.34221800783153206), (8.260323208924286, -0.38758783991874635), (8.260323208924286, -0.4238837055885178), (8.251249242506844, -0.4511056048408464), (NaN, NaN), (7.988104216401002, -0.31499610857920346), (7.779402988799817, -0.20610851156988913), (7.851994720139359, -0.20610851156988913), (7.906438518644016, -0.20610851156988913), (7.9518083507312305, -0.20610851156988913), (7.997178182818445, -0.19703454515244626), (8.042548014905659, -0.19703454515244626), (8.087917846992873, -0.19703454515244626), (8.124213712662645, -0.19703454515244626), (8.160509578332416, -0.19703454515244626), (8.196805444002187, -0.19703454515244626), (8.233101309671959, -0.19703454515244626), (8.269397175341728, -0.19703454515244626), (NaN, NaN), (7.879216619391688, -0.10629488097801765), (7.915512485061459, -0.10629488097801765), (7.960882317148673, -0.10629488097801765), (7.988104216401002, -0.09722091456057479), (8.024400082070773, -0.08814694814313193), (8.060695947740545, -0.08814694814313193), true], 1, (-2.6193625255896515, -4.271245466584291), (8.351062873098714, 1.6994244360931117), (0, 658), (1209, 0)) → stroke9
  30. AttachCopyToView(PolyLine[(0.22078896306995013, -0.24240437723966057), (0.2026410302350645, -0.21518247798733198), (0.17541913098273604, -0.20610851156988913), (0.15727119814785043, -0.17888661231756053), (0.13004929889552197, -0.1698126459001177), (0.10282739964319351, -0.15166471306523197), (0.09375343322575069, -0.12444281381290337), (NaN, NaN), (0.10282739964319351, -0.3512919742489749), (0.10282739964319351, -0.31499610857920346), (0.10282739964319351, -0.278700242909432), (0.10282739964319351, -0.24240437723966057), (0.10282739964319351, -0.20610851156988913), true], 1, (-2.6193625255896515, -4.271245466584291), (8.351062873098714, 1.6994244360931117), (0, 658), (1209, 0)) → stroke10
  31. Segment(O, D) → l
  32. Point(l) → F
  33. Segment(F, B) → m
  34. Point(l) → G
  35. Segment(F, G) → n