{"id":0,"registry":{"0":{"submorphs":[{"__isSmartRef__":true,"id":1},{"__isSmartRef__":true,"id":41},{"__isSmartRef__":true,"id":45},{"__isSmartRef__":true,"id":49},{"__isSmartRef__":true,"id":53},{"__isSmartRef__":true,"id":70},{"__isSmartRef__":true,"id":83},{"__isSmartRef__":true,"id":96},{"__isSmartRef__":true,"id":100}],"scripts":[],"shape":{"__isSmartRef__":true,"id":133},"_ClipMode":"visible","derivationIds":[],"id":"F82D86BD-D44E-4AD7-B767-1AA4C08DA813","droppingEnabled":true,"halosEnabled":true,"draggingEnabled":true,"layout":{"__isSmartRef__":true,"id":134},"closeButton":{"__isSmartRef__":true,"id":8},"collapseButton":{"__isSmartRef__":true,"id":18},"menuButton":{"__isSmartRef__":true,"id":28},"reframeHandle":{"__isSmartRef__":true,"id":135},"rightReframeHandle":{"__isSmartRef__":true,"id":96},"bottomReframeHandle":{"__isSmartRef__":true,"id":139},"titleBar":{"__isSmartRef__":true,"id":1},"collapsedTransform":{"__isSmartRef__":true,"id":143},"expandedTransform":{"__isSmartRef__":true,"id":144},"ignoreEventsOnExpand":false,"_PreviousBorderWidth":0,"targetMorph":{"__isSmartRef__":true,"id":41},"eventHandler":{"__isSmartRef__":true,"id":145},"_StyleClassNames":["Morph","Window"],"showsHalos":false,"z3":{"__isSmartRef__":true,"id":103},"partsBinMetaInfo":{"__isSmartRef__":true,"id":146},"name":"NaClZ3Demo","_Scale":1,"helperMorphs":[{"__isSmartRef__":true,"id":45},{"__isSmartRef__":true,"id":49},{"__isSmartRef__":true,"id":53},{"__isSmartRef__":true,"id":70},{"__isSmartRef__":true,"id":83},{"__isSmartRef__":true,"id":96},{"__isSmartRef__":true,"id":100}],"state":"expanded","_Rotation":0,"__serializedExpressions__":["collapsedExtent","expandedExtent","_Position","contentOffset","a","b","$1$1a","$1$1b","expandedPosition","collapsedPosition"],"__LivelyClassName__":"lively.morphic.Window","__SourceModuleName__":"Global.lively.morphic.Widgets","withoutLayers":["Global.lively.morphic.GrabbingLayer"],"collapsedExtent":"lively.pt(148.0,22.0)","expandedExtent":"lively.pt(892.0,459.0)","_Position":"lively.pt(0.0,0.0)","contentOffset":"lively.pt(3.0,22.0)","a":"lively.pt(0.0,0.0)","b":"lively.pt(1.0,1.0)","$1$1a":"lively.pt(0.0,0.0)","$1$1b":"lively.pt(1.0,1.0)","expandedPosition":"lively.pt(45.0,354.0)","collapsedPosition":"lively.pt(45.0,354.0)"},"1":{"submorphs":[{"__isSmartRef__":true,"id":2},{"__isSmartRef__":true,"id":8},{"__isSmartRef__":true,"id":18},{"__isSmartRef__":true,"id":28}],"scripts":[],"shape":{"__isSmartRef__":true,"id":38},"_ClipMode":"visible","derivationIds":[],"id":"912A6279-98E6-4951-9C5A-FB35C4183405","droppingEnabled":false,"halosEnabled":true,"layout":{"__isSmartRef__":true,"id":39},"windowMorph":{"__isSmartRef__":true,"id":0},"buttons":[{"__isSmartRef__":true,"id":8},{"__isSmartRef__":true,"id":18},{"__isSmartRef__":true,"id":28}],"label":{"__isSmartRef__":true,"id":2},"_PreviousBorderWidth":0,"owner":{"__isSmartRef__":true,"id":0},"eventHandler":{"__isSmartRef__":true,"id":40},"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.TitleBar","__SourceModuleName__":"Global.lively.morphic.Widgets","_Position":"lively.pt(0.0,0.0)"},"2":{"submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":3},"_WhiteSpaceHandling":"pre","textChunks":[{"__isSmartRef__":true,"id":4}],"_ClipMode":"hidden","derivationIds":[],"id":"1F5ABF2F-D3BA-474C-98B3-EE5A1CF578F5","_InputAllowed":false,"_HandStyle":"default","allowInput":false,"grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"draggingEnabled":true,"fixedWidth":true,"fixedHeight":true,"_FontFamily":"Helvetica","_FontSize":10,"evalEnabled":false,"isLabel":true,"eventsAreIgnored":true,"layout":{"__isSmartRef__":true,"id":6},"owner":{"__isSmartRef__":true,"id":1},"_StyleClassNames":["Morph","Text","window-title"],"_TextStylingMode":true,"eventHandler":{"__isSmartRef__":true,"id":7},"__serializedExpressions__":["_TextColor","_Position"],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_TextColor":"Color.rgb(64,64,64)","_Position":"lively.pt(3.0,3.0)"},"3":{"_BorderWidth":0,"_Fill":null,"__serializedExpressions__":["_Position","_Extent","_Padding","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(800.0,16.0)","_Padding":"lively.rect(0,0,0,0)","_BorderColor":"Color.rgb(0,0,0)"},"4":{"style":{"__isSmartRef__":true,"id":5},"chunkOwner":{"__isSmartRef__":true,"id":2},"_id":"_2765","storedString":"NaCLZ3","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"5":{"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"6":{"resizeWidth":true},"7":{"morph":{"__isSmartRef__":true,"id":2},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"8":{"submorphs":[{"__isSmartRef__":true,"id":9}],"scripts":[],"shape":{"__isSmartRef__":true,"id":14},"_ClipMode":"visible","derivationIds":[],"id":"ED6207ED-B964-40F9-84BE-91F4A1244051","grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"accessibleInInactiveWindow":true,"value":false,"toggle":false,"isActive":true,"label":{"__isSmartRef__":true,"id":9},"_PreviousBorderWidth":0,"owner":{"__isSmartRef__":true,"id":1},"_StyleClassNames":["Morph","Button","WindowControl","close"],"attributeConnections":[{"__isSmartRef__":true,"id":15}],"doNotSerialize":["$$fire"],"doNotCopyProperties":["$$fire"],"eventHandler":{"__isSmartRef__":true,"id":17},"isPressed":false,"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.WindowControl","__SourceModuleName__":"Global.lively.morphic.Widgets","_Position":"lively.pt(872.0,3.0)"},"9":{"submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":10},"_WhiteSpaceHandling":"pre","textChunks":[{"__isSmartRef__":true,"id":11}],"_ClipMode":"hidden","derivationIds":[],"id":"DDA46E59-1C4C-4EDD-970E-64362D3A13E5","_InputAllowed":false,"_HandStyle":"default","allowInput":false,"grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"draggingEnabled":true,"fixedWidth":true,"fixedHeight":true,"_FontFamily":"Helvetica","_FontSize":8,"evalEnabled":false,"owner":{"__isSmartRef__":true,"id":8},"isLabel":true,"eventsAreIgnored":true,"_TextStylingMode":true,"eventsAreDisabled":true,"_PointerEvents":"none","eventHandler":{"__isSmartRef__":true,"id":13},"__serializedExpressions__":["_TextColor","_Position"],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_TextColor":"Color.rgb(64,64,64)","_Position":"lively.pt(0.0,-1.0)"},"10":{"_BorderWidth":0,"_Fill":null,"__serializedExpressions__":["_Position","_Extent","_Padding","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(15.0,19.0)","_Padding":"lively.rect(4,2,0,0)","_BorderColor":"Color.rgb(0,0,0)"},"11":{"style":{"__isSmartRef__":true,"id":12},"chunkOwner":{"__isSmartRef__":true,"id":9},"_id":"_692","storedString":"X","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"12":{"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"13":{"morph":{"__isSmartRef__":true,"id":9},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"14":{"_BorderWidth":1,"_StrokeOpacity":0,"_BorderRadius":5,"_AppearanceStylingMode":true,"_BorderStylingMode":true,"__serializedExpressions__":["_Position","_Extent","_Padding","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(17.0,17.0)","_Padding":"lively.rect(0,0,0,0)","_BorderColor":"Color.rgb(189,190,192)"},"15":{"sourceObj":{"__isSmartRef__":true,"id":8},"sourceAttrName":"fire","targetObj":{"__isSmartRef__":true,"id":0},"targetMethodName":"initiateShutdown","varMapping":{"__isSmartRef__":true,"id":16},"__LivelyClassName__":"AttributeConnection","__SourceModuleName__":"Global.lively.bindings.Core"},"16":{"source":{"__isSmartRef__":true,"id":8},"target":{"__isSmartRef__":true,"id":0}},"17":{"morph":{"__isSmartRef__":true,"id":8},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"18":{"submorphs":[{"__isSmartRef__":true,"id":19}],"scripts":[],"shape":{"__isSmartRef__":true,"id":24},"_ClipMode":"visible","derivationIds":[],"id":"C98D8E69-546C-48CB-BFDE-904A1761AF3F","grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"accessibleInInactiveWindow":true,"value":false,"toggle":false,"isActive":true,"label":{"__isSmartRef__":true,"id":19},"_PreviousBorderWidth":0,"owner":{"__isSmartRef__":true,"id":1},"attributeConnections":[{"__isSmartRef__":true,"id":25}],"doNotSerialize":["$$fire"],"doNotCopyProperties":["$$fire"],"eventHandler":{"__isSmartRef__":true,"id":27},"isPressed":false,"_StyleClassNames":["Morph","Button","WindowControl"],"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.WindowControl","__SourceModuleName__":"Global.lively.morphic.Widgets","_Position":"lively.pt(852.0,3.0)"},"19":{"submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":20},"_WhiteSpaceHandling":"pre","textChunks":[{"__isSmartRef__":true,"id":21}],"_ClipMode":"hidden","derivationIds":[],"id":"FC12513E-AD69-4E71-8A5B-D5D492868F20","_InputAllowed":false,"_HandStyle":"default","allowInput":false,"grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"draggingEnabled":true,"fixedWidth":true,"fixedHeight":true,"_FontFamily":"Helvetica","_FontSize":8,"evalEnabled":false,"owner":{"__isSmartRef__":true,"id":18},"isLabel":true,"eventsAreIgnored":true,"_TextStylingMode":true,"eventsAreDisabled":true,"_PointerEvents":"none","eventHandler":{"__isSmartRef__":true,"id":23},"__serializedExpressions__":["_TextColor","_Position"],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_TextColor":"Color.rgb(64,64,64)","_Position":"lively.pt(0.0,1.0)"},"20":{"_BorderWidth":0,"_Fill":null,"__serializedExpressions__":["_Position","_Extent","_Padding","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(17.0,17.0)","_Padding":"lively.rect(4,2,0,0)","_BorderColor":"Color.rgb(0,0,0)"},"21":{"style":{"__isSmartRef__":true,"id":22},"chunkOwner":{"__isSmartRef__":true,"id":19},"_id":"_695","storedString":"–","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"22":{"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"23":{"morph":{"__isSmartRef__":true,"id":19},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"24":{"_BorderWidth":1,"_StrokeOpacity":0,"_BorderRadius":5,"_AppearanceStylingMode":true,"_BorderStylingMode":true,"__serializedExpressions__":["_Position","_Extent","_Padding","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(17.0,17.0)","_Padding":"lively.rect(0,0,0,0)","_BorderColor":"Color.rgb(189,190,192)"},"25":{"sourceObj":{"__isSmartRef__":true,"id":18},"sourceAttrName":"fire","targetObj":{"__isSmartRef__":true,"id":0},"targetMethodName":"toggleCollapse","varMapping":{"__isSmartRef__":true,"id":26},"__LivelyClassName__":"AttributeConnection","__SourceModuleName__":"Global.lively.bindings.Core"},"26":{"source":{"__isSmartRef__":true,"id":18},"target":{"__isSmartRef__":true,"id":0}},"27":{"morph":{"__isSmartRef__":true,"id":18},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"28":{"submorphs":[{"__isSmartRef__":true,"id":29}],"scripts":[],"shape":{"__isSmartRef__":true,"id":34},"_ClipMode":"visible","derivationIds":[],"id":"318C474D-FD36-44FE-B04F-5DD5DE91BC9C","grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"accessibleInInactiveWindow":true,"value":false,"toggle":false,"isActive":true,"label":{"__isSmartRef__":true,"id":29},"_PreviousBorderWidth":0,"owner":{"__isSmartRef__":true,"id":1},"attributeConnections":[{"__isSmartRef__":true,"id":35}],"doNotSerialize":["$$fire"],"doNotCopyProperties":["$$fire"],"eventHandler":{"__isSmartRef__":true,"id":37},"isPressed":false,"_StyleClassNames":["Morph","Button","WindowControl"],"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.WindowControl","__SourceModuleName__":"Global.lively.morphic.Widgets","_Position":"lively.pt(809.0,3.0)"},"29":{"submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":30},"_WhiteSpaceHandling":"pre","textChunks":[{"__isSmartRef__":true,"id":31}],"_ClipMode":"hidden","derivationIds":[],"id":"3896AD3E-3AFB-4767-83EF-6B0023FD7544","_InputAllowed":false,"_HandStyle":"default","allowInput":false,"grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"draggingEnabled":true,"fixedWidth":true,"fixedHeight":true,"_FontFamily":"Helvetica","_FontSize":8,"evalEnabled":false,"owner":{"__isSmartRef__":true,"id":28},"isLabel":true,"eventsAreIgnored":true,"_TextStylingMode":true,"eventsAreDisabled":true,"_PointerEvents":"none","eventHandler":{"__isSmartRef__":true,"id":33},"__serializedExpressions__":["_TextColor","_Position"],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_TextColor":"Color.rgb(64,64,64)","_Position":"lively.pt(0.0,0.0)"},"30":{"_BorderWidth":0,"_Fill":null,"__serializedExpressions__":["_Position","_Extent","_Padding","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(40.0,17.0)","_Padding":"lively.rect(4,2,0,0)","_BorderColor":"Color.rgb(0,0,0)"},"31":{"style":{"__isSmartRef__":true,"id":32},"chunkOwner":{"__isSmartRef__":true,"id":29},"_id":"_698","storedString":"Menu","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"32":{"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"33":{"morph":{"__isSmartRef__":true,"id":29},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"34":{"_BorderWidth":1,"_StrokeOpacity":0,"_BorderRadius":5,"_AppearanceStylingMode":true,"_BorderStylingMode":true,"__serializedExpressions__":["_Position","_Extent","_Padding","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(40.0,17.0)","_Padding":"lively.rect(0,0,0,0)","_BorderColor":"Color.rgb(189,190,192)"},"35":{"sourceObj":{"__isSmartRef__":true,"id":28},"sourceAttrName":"fire","targetObj":{"__isSmartRef__":true,"id":0},"targetMethodName":"showTargetMorphMenu","varMapping":{"__isSmartRef__":true,"id":36},"__LivelyClassName__":"AttributeConnection","__SourceModuleName__":"Global.lively.bindings.Core"},"36":{"source":{"__isSmartRef__":true,"id":28},"target":{"__isSmartRef__":true,"id":0}},"37":{"morph":{"__isSmartRef__":true,"id":28},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"38":{"_AppearanceStylingMode":true,"_BorderStylingMode":true,"_BorderWidth":0,"_BorderRadius":"8px 8px 0px 0px","__serializedExpressions__":["_Position","_Extent","_Padding"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(892.0,22.0)","_Padding":"lively.rect(0,0,0,0)"},"39":{"resizeWidth":true,"adjustForNewBounds":true},"40":{"morph":{"__isSmartRef__":true,"id":1},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"41":{"storedTextString":"this.z3.initialize()\nbbb.defaultSolver = this.z3\nthis.a = pt(0,0)\nthis.b = pt(1,1)","submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":42},"derivationIds":["633C7BDD-B8DA-4550-9D71-1FC884F3F185","74BF1DF6-71F8-4BB7-A9C4-C933CFADCC55"],"id":"3B2D30F0-9FD5-47B3-8D83-CC9B136F1A0D","grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"_FontSize":12,"doNotSerialize":["whenOpenedInWorldCallbacks"],"_ShowGutter":false,"_TextMode":"javascript","_Theme":"chrome","_LineWrapping":true,"_ShowInvisibles":false,"_ShowPrintMargin":false,"_ShowIndents":true,"_ShowActiveLine":false,"_SoftTabs":true,"_AutocompletionEnabled":true,"_ShowWarnings":true,"_ShowErrors":true,"storedString":"3 + 4","eventHandler":{"__isSmartRef__":true,"id":43},"layout":{"__isSmartRef__":true,"id":44},"accessibleInInactiveWindow":true,"allowInput":true,"_isFocused":false,"showsHalos":false,"_Rotation":0,"_Scale":1,"prevScroll":[0,0],"name":"CodeEditor2","owner":{"__isSmartRef__":true,"id":0},"doitContext":{"__isSmartRef__":true,"id":0},"__serializedExpressions__":["_Position","distanceToDragEvent"],"__LivelyClassName__":"lively.morphic.CodeEditor","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Position":"lively.pt(2.0,77.0)","distanceToDragEvent":"lively.pt(592.0,-14.0)"},"42":{"_BorderWidth":0,"_Fill":null,"_BorderRadius":0,"_Opacity":1,"_BorderStyle":"solid","_AppearanceStylingMode":false,"_BorderStylingMode":false,"__serializedExpressions__":["_Extent","_BorderColor","extent"],"__LivelyClassName__":"lively.morphic.CodeEditorShape","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Extent":"lively.pt(887.0,61.0)","_BorderColor":"Color.rgb(95,94,95)","extent":"lively.pt(887.0,61.0)"},"43":{"morph":{"__isSmartRef__":true,"id":41},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"44":{"resizeWidth":true,"resizeHeight":false},"45":{"storedTextString":"\nalways: { this.a.dist(this.b) == 200 }; [this.a, this.b, this.a.dist(this.b)]\n","submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":46},"derivationIds":["633C7BDD-B8DA-4550-9D71-1FC884F3F185","C8A62B34-1533-4449-8EFE-D8FAD3DC2470","CF1237AA-93D4-4D90-82AE-8741F3F90D48"],"id":"A3BFE2B0-9CFE-4A30-B06F-2155B02372BC","grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"_FontSize":12,"doNotSerialize":["whenOpenedInWorldCallbacks"],"_ShowGutter":false,"_TextMode":"javascript","_Theme":"chrome","_LineWrapping":true,"_ShowInvisibles":false,"_ShowPrintMargin":false,"_ShowIndents":true,"_ShowActiveLine":false,"_SoftTabs":true,"_AutocompletionEnabled":true,"_ShowWarnings":true,"_ShowErrors":true,"storedString":"3 + 4","eventHandler":{"__isSmartRef__":true,"id":47},"layout":{"__isSmartRef__":true,"id":48},"accessibleInInactiveWindow":true,"allowInput":true,"_isFocused":false,"showsHalos":false,"_Rotation":0,"_Scale":1,"prevScroll":[0,24],"name":"CodeEditor2","owner":{"__isSmartRef__":true,"id":0},"doitContext":{"__isSmartRef__":true,"id":0},"__serializedExpressions__":["_Position","distanceToDragEvent"],"__LivelyClassName__":"lively.morphic.CodeEditor","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Position":"lively.pt(2.0,175.0)","distanceToDragEvent":"lively.pt(595.0,-13.0)"},"46":{"_BorderWidth":0,"_Fill":null,"_BorderRadius":0,"_Opacity":1,"_BorderStyle":"solid","_AppearanceStylingMode":false,"_BorderStylingMode":false,"__serializedExpressions__":["_Extent","_BorderColor","extent"],"__LivelyClassName__":"lively.morphic.CodeEditorShape","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Extent":"lively.pt(887.0,57.0)","_BorderColor":"Color.rgb(95,94,95)","extent":"lively.pt(887.0,57.0)"},"47":{"morph":{"__isSmartRef__":true,"id":45},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"48":{"resizeWidth":true,"resizeHeight":false},"49":{"storedTextString":"// Afterwards, print this, the async assignment should have happened by now (unless Z3 crashed)\n[this.a, this.b, this.a.dist(this.b)]\n\nthis.a.x = 10\n[this.a, this.b, this.a.dist(this.b)]\n\nthis.b = pt(20,20)\n[this.a, this.b, this.a.dist(this.b)]","submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":50},"derivationIds":["633C7BDD-B8DA-4550-9D71-1FC884F3F185","74898489-FC32-4356-B0A9-8C6CEFBA9107","0CDBCD5C-582B-4B7F-9453-2A085B10C7C1"],"id":"42ED5FBC-2EB2-4D9C-B939-EAAD3BC2C5DE","grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"_FontSize":12,"doNotSerialize":["whenOpenedInWorldCallbacks"],"_ShowGutter":false,"_TextMode":"javascript","_Theme":"chrome","_LineWrapping":true,"_ShowInvisibles":false,"_ShowPrintMargin":false,"_ShowIndents":true,"_ShowActiveLine":false,"_SoftTabs":true,"_AutocompletionEnabled":true,"_ShowWarnings":true,"_ShowErrors":true,"storedString":"3 + 4","eventHandler":{"__isSmartRef__":true,"id":51},"layout":{"__isSmartRef__":true,"id":52},"accessibleInInactiveWindow":true,"allowInput":true,"_isFocused":false,"showsHalos":false,"_Rotation":0,"_Scale":1,"prevScroll":[0,0],"name":"CodeEditor2","owner":{"__isSmartRef__":true,"id":0},"doitContext":{"__isSmartRef__":true,"id":0},"__serializedExpressions__":["_Position","distanceToDragEvent"],"__LivelyClassName__":"lively.morphic.CodeEditor","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Position":"lively.pt(2.0,292.0)","distanceToDragEvent":"lively.pt(583.0,-14.0)"},"50":{"_BorderWidth":0,"_Fill":null,"_BorderRadius":0,"_Opacity":1,"_BorderStyle":"solid","_AppearanceStylingMode":false,"_BorderStylingMode":false,"__serializedExpressions__":["_Extent","_BorderColor","extent"],"__LivelyClassName__":"lively.morphic.CodeEditorShape","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Extent":"lively.pt(887.0,164.0)","_BorderColor":"Color.rgb(95,94,95)","extent":"lively.pt(887.0,164.0)"},"51":{"morph":{"__isSmartRef__":true,"id":49},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"52":{"resizeWidth":true,"resizeHeight":false},"53":{"submorphs":[],"scripts":[],"id":"9005C133-88E4-4D3A-B704-4B99C31B3E02","shape":{"__isSmartRef__":true,"id":54},"grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"fixedWidth":true,"fixedHeight":false,"allowsInput":true,"_FontFamily":"Arial, sans-serif","registeredForMouseEvents":true,"_MaxTextWidth":120.695652,"_MaxTextHeight":null,"showsHalos":false,"_FontSize":14,"name":"Text1","partsBinMetaInfo":{"__isSmartRef__":true,"id":55},"textChunks":[{"__isSmartRef__":true,"id":63},{"__isSmartRef__":true,"id":65},{"__isSmartRef__":true,"id":67}],"charsReplaced":"Restart the browser to enable it.","lastFindLoc":94,"prevScroll":[0,0],"eventHandler":{"__isSmartRef__":true,"id":69},"_ClipMode":"visible","derivationIds":[355,"1EB1674F-8BF2-419B-B054-86129ED70335","63698904-DC05-4341-A9B6-5CC4A219CD04","F6A714BA-4735-41ED-8A2A-45CB153FBDF8","F1D26890-7392-487D-B5DE-97C772B4E79E"],"_WhiteSpaceHandling":"pre-wrap","_MinTextWidth":120.695652,"_MinTextHeight":null,"isBeingDragged":false,"moved":true,"owner":{"__isSmartRef__":true,"id":0},"_Rotation":0,"_Scale":1,"_InputAllowed":false,"_HandStyle":"default","allowInput":false,"__serializedExpressions__":["_Position","textColor","_Padding","distanceToDragEvent"],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_Position":"lively.pt(3.0,26.0)","textColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(5,5,0,0)","distanceToDragEvent":"lively.pt(683.0,-12.0)"},"54":{"fill":null,"_BorderWidth":0,"_ClipMode":"visible","__serializedExpressions__":["_Position","_Extent","_BorderColor","_Padding"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(702.7,45.0)","_BorderColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(4,2,0,0)"},"55":{"partsSpaceName":"PartsBin/Basic","migrationLevel":4,"comment":"a simple text morph","partName":"Text","changes":[{"__isSmartRef__":true,"id":56},{"__isSmartRef__":true,"id":57},{"__isSmartRef__":true,"id":58},{"__isSmartRef__":true,"id":59},{"__isSmartRef__":true,"id":60},{"__isSmartRef__":true,"id":61},{"__isSmartRef__":true,"id":62}],"__serializedExpressions__":["lastModifiedDate"],"__LivelyClassName__":"lively.PartsBin.PartsBinMetaInfo","__SourceModuleName__":"Global.lively.PartsBin","lastModifiedDate":"new Date(\"Wed Jul 24 2013 08:21:08 GMT+0200 (W. Europe Daylight Time)\")"},"56":{"author":"jenslincke","message":"no comment","id":"A3BA0C1E-7E83-43BF-9EC6-4F4BB3835D62","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 12 2013 17:31:56 GMT+0100 (W. Europe Standard Time)\")"},"57":{"author":"timfelgentreff","message":"better text","id":"B904F9AC-6EA0-4A8A-83C9-AFC85AADC194","__serializedExpressions__":["date"],"date":"new Date(\"Tue May 08 2012 14:18:18 GMT+0200 (W. Europe Daylight Time)\")"},"58":{"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"785D95BD-7858-43EB-90E6-A1C085E2F2B9","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 07:32:09 GMT+0200 (W. Europe Daylight Time)\")"},"59":{"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"0F4DE333-A551-4961-B29D-70270977EBEF","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 07:31:43 GMT+0200 (W. Europe Daylight Time)\")"},"60":{"author":"undefined","message":"Set the inset as: this.setPadding(Rectangle.inset(4,2)).  This gives it a more pleasing appearance with a border, and also makes it easier to select near the bounds.","id":"BD5B0E4C-4830-4863-A013-35BB66D5AD6F","__serializedExpressions__":["date"],"date":"new Date(\"Mon Feb 27 2012 06:20:38 GMT+0100 (W. Europe Standard Time)\")"},"61":{"author":"robertkrahn","message":"text click was broken?","id":"9D065E14-9653-4B2A-9A2E-3AD84EBBC3E0","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 16:30:30 GMT+0200 (W. Europe Daylight Time)\")"},"62":{"author":"jenslincke","message":"no comment","id":"9E495E1B-6E6D-4A89-9F9E-85AF618DC598","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 12 2013 18:36:22 GMT+0100 (W. Europe Standard Time)\")"},"63":{"style":{"__isSmartRef__":true,"id":64},"morph":{"__isSmartRef__":true,"id":53},"chunkOwner":{"__isSmartRef__":true,"id":53},"storedString":"You ","_id":"_100","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"64":{"fontSize":13,"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"65":{"_id":"_3952","style":{"__isSmartRef__":true,"id":66},"chunkOwner":{"__isSmartRef__":true,"id":53},"storedString":"must","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"66":{"fontWeight":"bold","fontSize":13,"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"67":{"_id":"_3953","style":{"__isSmartRef__":true,"id":68},"chunkOwner":{"__isSmartRef__":true,"id":53},"storedString":" have enabled Native Client in Chrome's about:flags! Check the output of the console. Then run the following statements.","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"68":{"fontSize":13,"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"69":{"morph":{"__isSmartRef__":true,"id":53},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"70":{"submorphs":[],"scripts":[],"id":"FB11B0DB-BAD5-4B14-9DCB-E0F39A505AD7","shape":{"__isSmartRef__":true,"id":71},"grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"fixedWidth":true,"fixedHeight":false,"allowsInput":true,"_FontFamily":"Arial, sans-serif","registeredForMouseEvents":true,"_MaxTextWidth":120.695652,"_MaxTextHeight":null,"showsHalos":false,"_FontSize":14,"name":"Text3","partsBinMetaInfo":{"__isSmartRef__":true,"id":72},"textChunks":[{"__isSmartRef__":true,"id":80}],"charsReplaced":"The following line will ","lastFindLoc":68,"prevScroll":[0,0],"eventHandler":{"__isSmartRef__":true,"id":82},"_ClipMode":"visible","derivationIds":[355,"1EB1674F-8BF2-419B-B054-86129ED70335","63698904-DC05-4341-A9B6-5CC4A219CD04","F6A714BA-4735-41ED-8A2A-45CB153FBDF8","F1D26890-7392-487D-B5DE-97C772B4E79E","9005C133-88E4-4D3A-B704-4B99C31B3E02"],"_WhiteSpaceHandling":"pre-wrap","_MinTextWidth":120.695652,"_MinTextHeight":null,"previousSelection":[9,14],"isBeingDragged":false,"moved":true,"_InputAllowed":false,"_HandStyle":"default","allowInput":false,"owner":{"__isSmartRef__":true,"id":0},"_Rotation":0,"_Scale":1,"__serializedExpressions__":["_Position","textColor","_Padding","distanceToDragEvent"],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_Position":"lively.pt(3.0,146.0)","textColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(5,5,0,0)","distanceToDragEvent":"lively.pt(574.0,-6.0)"},"71":{"fill":null,"_BorderWidth":0,"_ClipMode":"visible","__serializedExpressions__":["_Position","_Extent","_BorderColor","_Padding"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(843.7,28.0)","_BorderColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(4,2,0,0)"},"72":{"partsSpaceName":"PartsBin/Basic","migrationLevel":4,"comment":"a simple text morph","partName":"Text","changes":[{"__isSmartRef__":true,"id":73},{"__isSmartRef__":true,"id":74},{"__isSmartRef__":true,"id":75},{"__isSmartRef__":true,"id":76},{"__isSmartRef__":true,"id":77},{"__isSmartRef__":true,"id":78},{"__isSmartRef__":true,"id":79}],"__serializedExpressions__":["lastModifiedDate"],"__LivelyClassName__":"lively.PartsBin.PartsBinMetaInfo","__SourceModuleName__":"Global.lively.PartsBin","lastModifiedDate":"new Date(\"Wed Jul 24 2013 08:21:08 GMT+0200 (W. Europe Daylight Time)\")"},"73":{"author":"jenslincke","message":"no comment","id":"A3BA0C1E-7E83-43BF-9EC6-4F4BB3835D62","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 12 2013 17:31:56 GMT+0100 (W. Europe Standard Time)\")"},"74":{"author":"timfelgentreff","message":"better text","id":"B904F9AC-6EA0-4A8A-83C9-AFC85AADC194","__serializedExpressions__":["date"],"date":"new Date(\"Tue May 08 2012 14:18:18 GMT+0200 (W. Europe Daylight Time)\")"},"75":{"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"785D95BD-7858-43EB-90E6-A1C085E2F2B9","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 07:32:09 GMT+0200 (W. Europe Daylight Time)\")"},"76":{"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"0F4DE333-A551-4961-B29D-70270977EBEF","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 07:31:43 GMT+0200 (W. Europe Daylight Time)\")"},"77":{"author":"undefined","message":"Set the inset as: this.setPadding(Rectangle.inset(4,2)).  This gives it a more pleasing appearance with a border, and also makes it easier to select near the bounds.","id":"BD5B0E4C-4830-4863-A013-35BB66D5AD6F","__serializedExpressions__":["date"],"date":"new Date(\"Mon Feb 27 2012 06:20:38 GMT+0100 (W. Europe Standard Time)\")"},"78":{"author":"robertkrahn","message":"text click was broken?","id":"9D065E14-9653-4B2A-9A2E-3AD84EBBC3E0","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 16:30:30 GMT+0200 (W. Europe Daylight Time)\")"},"79":{"author":"jenslincke","message":"no comment","id":"9E495E1B-6E6D-4A89-9F9E-85AF618DC598","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 12 2013 18:36:22 GMT+0100 (W. Europe Standard Time)\")"},"80":{"_id":"_3953","style":{"__isSmartRef__":true,"id":81},"chunkOwner":{"__isSmartRef__":true,"id":70},"storedString":"NaCl is async-only. If you print the following line entirely, the constraints will not be solved when printing the array.","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"81":{"fontSize":13,"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"82":{"morph":{"__isSmartRef__":true,"id":70},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"83":{"submorphs":[],"scripts":[],"id":"4A6989C3-CDAC-40C9-A594-BDCA84921AFB","shape":{"__isSmartRef__":true,"id":84},"grabbingEnabled":false,"droppingEnabled":false,"halosEnabled":true,"fixedWidth":true,"fixedHeight":false,"allowsInput":true,"_FontFamily":"Arial, sans-serif","registeredForMouseEvents":true,"_MaxTextWidth":120.695652,"_MaxTextHeight":null,"showsHalos":false,"_FontSize":14,"name":"Text4","partsBinMetaInfo":{"__isSmartRef__":true,"id":85},"textChunks":[{"__isSmartRef__":true,"id":93}],"charsReplaced":"tick","lastFindLoc":20,"prevScroll":[0,0],"eventHandler":{"__isSmartRef__":true,"id":95},"_ClipMode":"visible","derivationIds":[355,"1EB1674F-8BF2-419B-B054-86129ED70335","63698904-DC05-4341-A9B6-5CC4A219CD04","F6A714BA-4735-41ED-8A2A-45CB153FBDF8","F1D26890-7392-487D-B5DE-97C772B4E79E","9005C133-88E4-4D3A-B704-4B99C31B3E02","FB11B0DB-BAD5-4B14-9DCB-E0F39A505AD7"],"_WhiteSpaceHandling":"pre-wrap","_MinTextWidth":120.695652,"_MinTextHeight":null,"isBeingDragged":false,"moved":true,"_InputAllowed":false,"_HandStyle":"default","allowInput":false,"owner":{"__isSmartRef__":true,"id":0},"_Rotation":0,"_Scale":1,"__serializedExpressions__":["_Position","textColor","_Padding","distanceToDragEvent"],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_Position":"lively.pt(4.0,234.0)","textColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(5,5,0,0)","distanceToDragEvent":"lively.pt(561.0,-15.0)"},"84":{"fill":null,"_BorderWidth":0,"_ClipMode":"visible","__serializedExpressions__":["_Position","_Extent","_BorderColor","_Padding"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(843.7,52.0)","_BorderColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(4,2,0,0)"},"85":{"partsSpaceName":"PartsBin/Basic","migrationLevel":4,"comment":"a simple text morph","partName":"Text","changes":[{"__isSmartRef__":true,"id":86},{"__isSmartRef__":true,"id":87},{"__isSmartRef__":true,"id":88},{"__isSmartRef__":true,"id":89},{"__isSmartRef__":true,"id":90},{"__isSmartRef__":true,"id":91},{"__isSmartRef__":true,"id":92}],"__serializedExpressions__":["lastModifiedDate"],"__LivelyClassName__":"lively.PartsBin.PartsBinMetaInfo","__SourceModuleName__":"Global.lively.PartsBin","lastModifiedDate":"new Date(\"Wed Jul 24 2013 08:21:08 GMT+0200 (W. Europe Daylight Time)\")"},"86":{"author":"jenslincke","message":"no comment","id":"A3BA0C1E-7E83-43BF-9EC6-4F4BB3835D62","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 12 2013 17:31:56 GMT+0100 (W. Europe Standard Time)\")"},"87":{"author":"timfelgentreff","message":"better text","id":"B904F9AC-6EA0-4A8A-83C9-AFC85AADC194","__serializedExpressions__":["date"],"date":"new Date(\"Tue May 08 2012 14:18:18 GMT+0200 (W. Europe Daylight Time)\")"},"88":{"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"785D95BD-7858-43EB-90E6-A1C085E2F2B9","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 07:32:09 GMT+0200 (W. Europe Daylight Time)\")"},"89":{"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"0F4DE333-A551-4961-B29D-70270977EBEF","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 07:31:43 GMT+0200 (W. Europe Daylight Time)\")"},"90":{"author":"undefined","message":"Set the inset as: this.setPadding(Rectangle.inset(4,2)).  This gives it a more pleasing appearance with a border, and also makes it easier to select near the bounds.","id":"BD5B0E4C-4830-4863-A013-35BB66D5AD6F","__serializedExpressions__":["date"],"date":"new Date(\"Mon Feb 27 2012 06:20:38 GMT+0100 (W. Europe Standard Time)\")"},"91":{"author":"robertkrahn","message":"text click was broken?","id":"9D065E14-9653-4B2A-9A2E-3AD84EBBC3E0","__serializedExpressions__":["date"],"date":"new Date(\"Sat Apr 21 2012 16:30:30 GMT+0200 (W. Europe Daylight Time)\")"},"92":{"author":"jenslincke","message":"no comment","id":"9E495E1B-6E6D-4A89-9F9E-85AF618DC598","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 12 2013 18:36:22 GMT+0100 (W. Europe Standard Time)\")"},"93":{"_id":"_3953","style":{"__isSmartRef__":true,"id":94},"chunkOwner":{"__isSmartRef__":true,"id":83},"storedString":"After a browser loop, the constraints are solved and these have the right values. You can go on and change parts of a or b, or replace this.a and this.b with new points. The constraints will be re-satisfied.","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"94":{"fontSize":13,"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"95":{"morph":{"__isSmartRef__":true,"id":83},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"96":{"submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":97},"_ClipMode":"visible","derivationIds":[],"id":"8D520558-3EFD-40C0-B1D2-73FDBE5EB23A","droppingEnabled":true,"halosEnabled":true,"type":"right","_StyleClassNames":["Morph","Box","ReframeHandle","reframe-handle right"],"layout":{"__isSmartRef__":true,"id":98},"owner":{"__isSmartRef__":true,"id":0},"eventHandler":{"__isSmartRef__":true,"id":99},"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.ReframeHandle","__SourceModuleName__":"Global.lively.morphic.Widgets","_Position":"lively.pt(889.0,0.0)"},"97":{"__serializedExpressions__":["_Position","_Extent","_Padding"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(3.0,445.0)","_Padding":"lively.rect(0,0,0,0)"},"98":{"moveHorizontal":true},"99":{"morph":{"__isSmartRef__":true,"id":96},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"100":{"shape":{"__isSmartRef__":true,"id":101},"submorphs":[],"scripts":[],"_ClipMode":"visible","derivationIds":[],"id":"03E71104-E499-45A9-B398-02DF0E3464FA","droppingEnabled":true,"halosEnabled":true,"_StyleClassNames":["Morph","HtmlWrapperMorph","selectable"],"name":"Z3Module","owner":{"__isSmartRef__":true,"id":0},"eventHandler":{"__isSmartRef__":true,"id":102},"module":{"__isSmartRef__":true,"id":103},"__serializedExpressions__":["_Position"],"showsHalos":false,"__LivelyClassName__":"lively.morphic.HtmlWrapperMorph","__SourceModuleName__":"Global.lively.morphic.AdditionalMorphs","_Position":"lively.pt(812.0,25.0)"},"101":{"_BorderWidth":0,"stringifiedShapeNode":"<div data-lively-morphid=\"03E71104-E499-45A9-B398-02DF0E3464FA\" class=\"Morph HtmlWrapperMorph selectable\" id=\"null\" style=\"overflow: visible; border: 0px solid rgb(204, 0, 0); padding: 0px; width: 50px; height: 50px; position: absolute; left: 0px; top: 0px; background-color: rgb(200, 200, 200);\"><div id=\"71DED79B-7F89-436E-9ED0-D416D09E8589\">            <embed name=\"nacl_module\" id=\"71DED79B-7F89-436E-9ED0-D416D09E8589z3\" width=\"0\" height=\"0\" src=\"/babelsberg/core/../users/timfelgentreff/z3//z3.nmf\" type=\"application/x-nacl\">        </div></div>","__serializedExpressions__":["_Padding","_Position","_Extent","_Fill","extent"],"__LivelyClassName__":"lively.morphic.Shapes.External","__SourceModuleName__":"Global.lively.morphic.Shapes","_Padding":"lively.rect(0,0,0,0)","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(50.0,50.0)","_Fill":"Color.rgb(200,200,200)","extent":"lively.pt(50.0,50.0)"},"102":{"morph":{"__isSmartRef__":true,"id":100},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"103":{"uuid":"71DED79B-7F89-436E-9ED0-D416D09E8589","url":"/babelsberg/core/../users/timfelgentreff/z3/","embedMorph":{"__isSmartRef__":true,"id":100},"variables":[{"__isSmartRef__":true,"id":104},{"__isSmartRef__":true,"id":110},{"__isSmartRef__":true,"id":113},{"__isSmartRef__":true,"id":119}],"cvarsByName":{"__isSmartRef__":true,"id":122},"varsByName":{"__isSmartRef__":true,"id":123},"constraints":[{"__isSmartRef__":true,"id":124}],"__uuid__":"300FF7BE-DFC6-45B0-8725-937948EACFDB","__LivelyClassName__":"NaCLZ3","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"104":{"name":"x0","value":0,"solver":{"__isSmartRef__":true,"id":103},"__solver__":{"__isSmartRef__":true,"id":103},"__cvar__":{"__isSmartRef__":true,"id":105},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"105":{"ivarname":"x","newIvarname":"$1$1x","parentConstrainedVariable":{"__isSmartRef__":true,"id":106},"_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":109},"cachedDefiningSolver":{"__isSmartRef__":true,"id":103},"cachedDefiningVar":{"__isSmartRef__":true,"id":104},"__serializedExpressions__":["obj"],"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(0.0,0.0)"},"106":{"obj":{"__isSmartRef__":true,"id":0},"ivarname":"a","newIvarname":"$1$1a","_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":107},"cachedDefiningSolver":{"__isSmartRef__":true,"id":108},"$$isStoring":false,"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter"},"107":{"300FF7BE-DFC6-45B0-8725-937948EACFDB":null},"108":{"weight":-1000,"__uuid__":"277BD98B-7089-49C0-A8DF-A960765BF44C"},"109":{"300FF7BE-DFC6-45B0-8725-937948EACFDB":{"__isSmartRef__":true,"id":104}},"110":{"name":"y1","value":0,"solver":{"__isSmartRef__":true,"id":103},"__solver__":{"__isSmartRef__":true,"id":103},"__cvar__":{"__isSmartRef__":true,"id":111},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"111":{"ivarname":"y","newIvarname":"$1$1y","parentConstrainedVariable":{"__isSmartRef__":true,"id":106},"_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":112},"cachedDefiningSolver":{"__isSmartRef__":true,"id":103},"cachedDefiningVar":{"__isSmartRef__":true,"id":110},"__serializedExpressions__":["obj"],"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(0.0,0.0)"},"112":{"300FF7BE-DFC6-45B0-8725-937948EACFDB":{"__isSmartRef__":true,"id":110}},"113":{"name":"x2","value":1,"solver":{"__isSmartRef__":true,"id":103},"__solver__":{"__isSmartRef__":true,"id":103},"__cvar__":{"__isSmartRef__":true,"id":114},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"114":{"ivarname":"x","newIvarname":"$1$1x","parentConstrainedVariable":{"__isSmartRef__":true,"id":115},"_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":118},"cachedDefiningSolver":{"__isSmartRef__":true,"id":103},"cachedDefiningVar":{"__isSmartRef__":true,"id":113},"__serializedExpressions__":["obj"],"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(1.0,1.0)"},"115":{"obj":{"__isSmartRef__":true,"id":0},"ivarname":"b","newIvarname":"$1$1b","_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":116},"cachedDefiningSolver":{"__isSmartRef__":true,"id":117},"$$isStoring":false,"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter"},"116":{"300FF7BE-DFC6-45B0-8725-937948EACFDB":null},"117":{"weight":-1000,"__uuid__":"0C9AD877-C0B3-4298-9F94-A2CBA6592783"},"118":{"300FF7BE-DFC6-45B0-8725-937948EACFDB":{"__isSmartRef__":true,"id":113}},"119":{"name":"y3","value":1,"solver":{"__isSmartRef__":true,"id":103},"__solver__":{"__isSmartRef__":true,"id":103},"__cvar__":{"__isSmartRef__":true,"id":120},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"120":{"ivarname":"y","newIvarname":"$1$1y","parentConstrainedVariable":{"__isSmartRef__":true,"id":115},"_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":121},"cachedDefiningSolver":{"__isSmartRef__":true,"id":103},"cachedDefiningVar":{"__isSmartRef__":true,"id":119},"__serializedExpressions__":["obj"],"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(1.0,1.0)"},"121":{"300FF7BE-DFC6-45B0-8725-937948EACFDB":{"__isSmartRef__":true,"id":119}},"122":{"x0":{"__isSmartRef__":true,"id":105},"y1":{"__isSmartRef__":true,"id":111},"x2":{"__isSmartRef__":true,"id":114},"y3":{"__isSmartRef__":true,"id":120}},"123":{"x0":{"__isSmartRef__":true,"id":104},"y1":{"__isSmartRef__":true,"id":110},"x2":{"__isSmartRef__":true,"id":113},"y3":{"__isSmartRef__":true,"id":119}},"124":{"solver":{"__isSmartRef__":true,"id":103},"op":"=","left":{"__isSmartRef__":true,"id":125},"right":{"__isSmartRef__":true,"id":132},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"125":{"solver":{"__isSmartRef__":true,"id":103},"op":"^","left":{"__isSmartRef__":true,"id":126},"right":{"__isSmartRef__":true,"id":131},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"126":{"solver":{"__isSmartRef__":true,"id":103},"op":"+","left":{"__isSmartRef__":true,"id":127},"right":{"__isSmartRef__":true,"id":129},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"127":{"solver":{"__isSmartRef__":true,"id":103},"op":"*","left":{"__isSmartRef__":true,"id":128},"right":{"__isSmartRef__":true,"id":128},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"128":{"solver":{"__isSmartRef__":true,"id":103},"op":"-","left":{"__isSmartRef__":true,"id":104},"right":{"__isSmartRef__":true,"id":113},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"129":{"solver":{"__isSmartRef__":true,"id":103},"op":"*","left":{"__isSmartRef__":true,"id":130},"right":{"__isSmartRef__":true,"id":130},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"130":{"solver":{"__isSmartRef__":true,"id":103},"op":"-","left":{"__isSmartRef__":true,"id":110},"right":{"__isSmartRef__":true,"id":119},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"131":{"value":0.5,"solver":{"__isSmartRef__":true,"id":103},"__LivelyClassName__":"NaCLZ3Constant","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"132":{"value":200,"solver":{"__isSmartRef__":true,"id":103},"__LivelyClassName__":"NaCLZ3Constant","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"133":{"_BorderWidth":0,"_Fill":null,"_StrokeOpacity":false,"_BorderRadius":false,"_AppearanceStylingMode":true,"_BorderStylingMode":true,"__serializedExpressions__":["_Padding","_Extent","_Position"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Padding":"lively.rect(0,0,0,0)","_Extent":"lively.pt(892.0,459.0)","_Position":"lively.pt(0.0,0.0)"},"134":{"adjustForNewBounds":true},"135":{"submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":136},"_ClipMode":"visible","derivationIds":[],"id":"6655733B-F627-44E0-A39F-FB6CDCCB1373","droppingEnabled":true,"halosEnabled":true,"type":"corner","_StyleClassNames":["Morph","Box","ReframeHandle","reframe-handle corner"],"layout":{"__isSmartRef__":true,"id":137},"owner":null,"eventHandler":{"__isSmartRef__":true,"id":138},"showsHalos":false,"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.ReframeHandle","__SourceModuleName__":"Global.lively.morphic.Widgets","_Position":"lively.pt(856.0,274.0)"},"136":{"__serializedExpressions__":["_Position","_Extent","_Padding"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(14.0,14.0)","_Padding":"lively.rect(0,0,0,0)"},"137":{"moveVertical":true,"moveHorizontal":true},"138":{"morph":{"__isSmartRef__":true,"id":135},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"139":{"submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":140},"_ClipMode":"visible","derivationIds":[],"id":"A48119F3-1A4F-4269-9F28-61EE30375FF0","droppingEnabled":true,"halosEnabled":true,"type":"bottom","_StyleClassNames":["Morph","Box","ReframeHandle","reframe-handle bottom"],"layout":{"__isSmartRef__":true,"id":141},"owner":null,"eventHandler":{"__isSmartRef__":true,"id":142},"showsHalos":false,"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.ReframeHandle","__SourceModuleName__":"Global.lively.morphic.Widgets","_Position":"lively.pt(0.0,285.0)"},"140":{"__serializedExpressions__":["_Position","_Extent","_Padding"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Position":"lively.pt(0.0,0.0)","_Extent":"lively.pt(856.0,3.0)","_Padding":"lively.rect(0,0,0,0)"},"141":{"moveVertical":true},"142":{"morph":{"__isSmartRef__":true,"id":139},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"143":{"a":1,"b":0,"c":0,"d":1,"e":45,"f":354,"__LivelyClassName__":"lively.morphic.Similitude","__SourceModuleName__":"Global.lively.morphic.Graphics"},"144":{"a":1,"b":0,"c":0,"d":1,"e":45,"f":354,"__LivelyClassName__":"lively.morphic.Similitude","__SourceModuleName__":"Global.lively.morphic.Graphics"},"145":{"morph":{"__isSmartRef__":true,"id":0},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"146":{"partName":"NaClZ3Demo","requiredModules":[],"partsSpaceName":"users/timfelgentreff/PartsBin/","comment":"no comment","changes":[{"__isSmartRef__":true,"id":147},{"__isSmartRef__":true,"id":148},{"__isSmartRef__":true,"id":149},{"__isSmartRef__":true,"id":150}],"migrationLevel":8,"__serializedExpressions__":["lastModifiedDate"],"__LivelyClassName__":"lively.PartsBin.PartsBinMetaInfo","__SourceModuleName__":"Global.lively.PartsBin","lastModifiedDate":"new Date(\"Tue Mar 11 2014 10:32:16 GMT+0100 (W. Europe Standard Time)\")"},"147":{"author":"timfelgentreff","message":"no comment","id":"F2265372-0628-4612-B2F9-BC06084C27E2","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 11 2014 10:19:59 GMT+0100 (W. Europe Standard Time)\")"},"148":{"author":"timfelgentreff","message":"no comment","id":"F6E76FFB-0388-49C6-B25E-CCEA035FE8FD","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 11 2014 10:33:44 GMT+0100 (W. Europe Standard Time)\")"},"149":{"author":"timfelgentreff","message":"no comment","id":"AA816BF2-FCC5-4EFA-8C48-AF27506FA56F","__serializedExpressions__":["date"],"date":"new Date(\"Tue Mar 11 2014 10:33:58 GMT+0100 (W. Europe Standard Time)\")"},"150":{"__serializedExpressions__":["date"],"author":"timfelgentreff","message":"no comment","id":"74B89148-6B40-4EDF-A5B0-333C9EB7B655","date":"new Date(\"Tue Mar 11 2014 11:45:46 GMT+0100 (W. Europe Standard Time)\")"},"isSimplifiedRegistry":true}}