-
Notifications
You must be signed in to change notification settings - Fork 16
/
Copy pathNaClZ3.html
248 lines (248 loc) · 79.4 KB
/
NaClZ3.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
<!DOCTYPE html><html><head><title>NaClZ3</title><meta name="apple-mobile-web-app-capable" content="yes"><link rel="shortcut icon" href="core/media/lively.ico"><link rel="apple-touch-icon-precomposed" href="core/media/apple-touch-icon.png"><style type="text/css" id="ace_editor">.ace_editor {position: relative;overflow: hidden;font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;font-size: 12px;line-height: normal;color: black;-ms-user-select: none;-moz-user-select: none;-webkit-user-select: none;user-select: none;}.ace_scroller {position: absolute;overflow: hidden;top: 0;bottom: 0;background-color: inherit;}.ace_content {position: absolute;-moz-box-sizing: border-box;-webkit-box-sizing: border-box;box-sizing: border-box;cursor: text;}.ace_dragging, .ace_dragging * {cursor: move !important;}.ace_dragging .ace_scroller:before{position: absolute;top: 0;left: 0;right: 0;bottom: 0;content: '';background: rgba(250, 250, 250, 0.01);z-index: 1000;}.ace_dragging.ace_dark .ace_scroller:before{background: rgba(0, 0, 0, 0.01);}.ace_selecting, .ace_selecting * {cursor: text !important;}.ace_gutter {position: absolute;overflow : hidden;width: auto;top: 0;bottom: 0;left: 0;cursor: default;z-index: 4;}.ace_gutter-active-line {position: absolute;left: 0;right: 0;}.ace_scroller.ace_scroll-left {box-shadow: 17px 0 16px -16px rgba(0, 0, 0, 0.4) inset;}.ace_gutter-cell {padding-left: 19px;padding-right: 6px;background-repeat: no-repeat;}.ace_gutter-cell.ace_error {background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAAyJpVFh0WE1MOmNvbS5hZG9iZS54bXAAAAAAADw/eHBhY2tldCBiZWdpbj0i77u/IiBpZD0iVzVNME1wQ2VoaUh6cmVTek5UY3prYzlkIj8+IDx4OnhtcG1ldGEgeG1sbnM6eD0iYWRvYmU6bnM6bWV0YS8iIHg6eG1wdGs9IkFkb2JlIFhNUCBDb3JlIDUuMC1jMDYwIDYxLjEzNDc3NywgMjAxMC8wMi8xMi0xNzozMjowMCAgICAgICAgIj4gPHJkZjpSREYgeG1sbnM6cmRmPSJodHRwOi8vd3d3LnczLm9yZy8xOTk5LzAyLzIyLXJkZi1zeW50YXgtbnMjIj4gPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9IiIgeG1sbnM6eG1wPSJodHRwOi8vbnMuYWRvYmUuY29tL3hhcC8xLjAvIiB4bWxuczp4bXBNTT0iaHR0cDovL25zLmFkb2JlLmNvbS94YXAvMS4wL21tLyIgeG1sbnM6c3RSZWY9Imh0dHA6Ly9ucy5hZG9iZS5jb20veGFwLzEuMC9zVHlwZS9SZXNvdXJjZVJlZiMiIHhtcDpDcmVhdG9yVG9vbD0iQWRvYmUgUGhvdG9zaG9wIENTNSBNYWNpbnRvc2giIHhtcE1NOkluc3RhbmNlSUQ9InhtcC5paWQ6QUM2OEZDQTQ4RTU0MTFFMUEzM0VFRTM2RUY1M0RBMjYiIHhtcE1NOkRvY3VtZW50SUQ9InhtcC5kaWQ6QUM2OEZDQTU4RTU0MTFFMUEzM0VFRTM2RUY1M0RBMjYiPiA8eG1wTU06RGVyaXZlZEZyb20gc3RSZWY6aW5zdGFuY2VJRD0ieG1wLmlpZDpBQzY4RkNBMjhFNTQxMUUxQTMzRUVFMzZFRjUzREEyNiIgc3RSZWY6ZG9jdW1lbnRJRD0ieG1wLmRpZDpBQzY4RkNBMzhFNTQxMUUxQTMzRUVFMzZFRjUzREEyNiIvPiA8L3JkZjpEZXNjcmlwdGlvbj4gPC9yZGY6UkRGPiA8L3g6eG1wbWV0YT4gPD94cGFja2V0IGVuZD0iciI/PkgXxbAAAAJbSURBVHjapFNNaBNBFH4zs5vdZLP5sQmNpT82QY209heh1ioWisaDRcSKF0WKJ0GQnrzrxasHsR6EnlrwD0TagxJabaVEpFYxLWlLSS822tr87m66ccfd2GKyVhA6MMybgfe97/vmPUQphd0sZjto9XIn9OOsvlu2nkqRzVU+6vvlzPf8W6bk8dxQ0NPbxAALgCgg2JkaQuhzQau/El0zbmUA7U0Es8v2CiYmKQJHGO1QICCLoqilMhkmurDAyapKgqItezi/USRdJqEYY4D5jCy03ht2yMkkvL91jTTX10qzyyu2hruPRN7jgbH+EOsXcMLgYiThEgAMhABW85oqy1DXdRIdvP1AHJ2acQXvDIrVHcdQNrEKNYSVMSZGMjEzIIAwDXIo+6G/FxcGnzkC3T2oMhLjre49sBB+RRcHLqdafK6sYdE/GGBwU1VpFNj0aN8pJbe+BkZyevUrvLl6Xmm0W9IuTc0DxrDNAJd5oEvI/KRsNC3bQyNjPO9yQ1YHcfj2QvfQc/5TUhJTBc2iM0U7AWDQtc1nJHvD/cfO2s7jaGkiTEfa/Ep8coLu7zmNmh8+dc5lZDuUeFAGUNA/OY6JVaypQ0vjr7XYjUvJM37vt+j1vuTK5DgVfVUoTjVe+y3/LxMxY2GgU+CSLy4cpfsYorRXuXIOi0Vt40h67uZFTdIo6nLaZcwUJWAzwNS0tBnqqKzQDnjdG/iPyZxo46HaKUpbvYkj8qYRTZsBhge+JHhZyh0x9b95JqjVJkT084kZIPwu/mPWqPgfQ5jXh2+92Ay7HedfAgwA6KDWafb4w3cAAAAASUVORK5CYII=");background-repeat: no-repeat;background-position: 2px center;}.ace_gutter-cell.ace_warning {background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAAyJpVFh0WE1MOmNvbS5hZG9iZS54bXAAAAAAADw/eHBhY2tldCBiZWdpbj0i77u/IiBpZD0iVzVNME1wQ2VoaUh6cmVTek5UY3prYzlkIj8+IDx4OnhtcG1ldGEgeG1sbnM6eD0iYWRvYmU6bnM6bWV0YS8iIHg6eG1wdGs9IkFkb2JlIFhNUCBDb3JlIDUuMC1jMDYwIDYxLjEzNDc3NywgMjAxMC8wMi8xMi0xNzozMjowMCAgICAgICAgIj4gPHJkZjpSREYgeG1sbnM6cmRmPSJodHRwOi8vd3d3LnczLm9yZy8xOTk5LzAyLzIyLXJkZi1zeW50YXgtbnMjIj4gPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9IiIgeG1sbnM6eG1wPSJodHRwOi8vbnMuYWRvYmUuY29tL3hhcC8xLjAvIiB4bWxuczp4bXBNTT0iaHR0cDovL25zLmFkb2JlLmNvbS94YXAvMS4wL21tLyIgeG1sbnM6c3RSZWY9Imh0dHA6Ly9ucy5hZG9iZS5jb20veGFwLzEuMC9zVHlwZS9SZXNvdXJjZVJlZiMiIHhtcDpDcmVhdG9yVG9vbD0iQWRvYmUgUGhvdG9zaG9wIENTNSBNYWNpbnRvc2giIHhtcE1NOkluc3RhbmNlSUQ9InhtcC5paWQ6QUM2OEZDQTg4RTU0MTFFMUEzM0VFRTM2RUY1M0RBMjYiIHhtcE1NOkRvY3VtZW50SUQ9InhtcC5kaWQ6QUM2OEZDQTk4RTU0MTFFMUEzM0VFRTM2RUY1M0RBMjYiPiA8eG1wTU06RGVyaXZlZEZyb20gc3RSZWY6aW5zdGFuY2VJRD0ieG1wLmlpZDpBQzY4RkNBNjhFNTQxMUUxQTMzRUVFMzZFRjUzREEyNiIgc3RSZWY6ZG9jdW1lbnRJRD0ieG1wLmRpZDpBQzY4RkNBNzhFNTQxMUUxQTMzRUVFMzZFRjUzREEyNiIvPiA8L3JkZjpEZXNjcmlwdGlvbj4gPC9yZGY6UkRGPiA8L3g6eG1wbWV0YT4gPD94cGFja2V0IGVuZD0iciI/Pgd7PfIAAAGmSURBVHjaYvr//z8DJZiJgUIANoCRkREb9gLiSVAaQx4OQM7AAkwd7XU2/v++/rOttdYGEB9dASEvOMydGKfH8Gv/p4XTkvRBfLxeQAP+1cUhXopyvzhP7P/IoSj7g7Mw09cNKO6J1QQ0L4gICPIv/veg/8W+JdFvQNLHVsW9/nmn9zk7B+cCkDwhL7gt6knSZnx9/LuCEOcvkIAMP+cvto9nfqyZmmUAksfnBUtbM60gX/3/kgyv3/xSFOL5DZT+L8vP+Yfh5cvfPvp/xUHyQHXGyAYwgpwBjZYFT3Y1OEl/OfCH4ffv3wzc4iwMvNIsDJ+f/mH4+vIPAxsb631WW0Yln6ZpQLXdMK/DXGDflh+sIv37EivD5x//Gb7+YWT4y86sl7BCCkSD+Z++/1dkvsFRl+HnD1Rvje4F8whjMXmGj58YGf5zsDMwcnAwfPvKcml62DsQDeaDxN+/Y0qwlpEHqrdB94IRNIDUgfgfKJChGK4OikEW3gTiXUB950ASLFAF54AC94A0G9QAfOnmF9DCDzABFqS08IHYDIScdijOjQABBgC+/9awBH96jwAAAABJRU5ErkJggg==");background-position: 2px center;}.ace_gutter-cell.ace_info {background-image: url("data:image/gif;base64,R0lGODlhEAAQAMQAAAAAAEFBQVJSUl5eXmRkZGtra39/f4WFhYmJiZGRkaampry8vMPDw8zMzNXV1dzc3OTk5Orq6vDw8P///wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAkAABQALAAAAAAQABAAAAUuICWOZGmeaBml5XGwFCQSBGyXRSAwtqQIiRuiwIM5BoYVbEFIyGCQoeJGrVptIQA7");background-position: 2px center;}.ace_dark .ace_gutter-cell.ace_info {background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAAyRpVFh0WE1MOmNvbS5hZG9iZS54bXAAAAAAADw/eHBhY2tldCBiZWdpbj0i77u/IiBpZD0iVzVNME1wQ2VoaUh6cmVTek5UY3prYzlkIj8+IDx4OnhtcG1ldGEgeG1sbnM6eD0iYWRvYmU6bnM6bWV0YS8iIHg6eG1wdGs9IkFkb2JlIFhNUCBDb3JlIDUuMy1jMDExIDY2LjE0NTY2MSwgMjAxMi8wMi8wNi0xNDo1NjoyNyAgICAgICAgIj4gPHJkZjpSREYgeG1sbnM6cmRmPSJodHRwOi8vd3d3LnczLm9yZy8xOTk5LzAyLzIyLXJkZi1zeW50YXgtbnMjIj4gPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9IiIgeG1sbnM6eG1wPSJodHRwOi8vbnMuYWRvYmUuY29tL3hhcC8xLjAvIiB4bWxuczp4bXBNTT0iaHR0cDovL25zLmFkb2JlLmNvbS94YXAvMS4wL21tLyIgeG1sbnM6c3RSZWY9Imh0dHA6Ly9ucy5hZG9iZS5jb20veGFwLzEuMC9zVHlwZS9SZXNvdXJjZVJlZiMiIHhtcDpDcmVhdG9yVG9vbD0iQWRvYmUgUGhvdG9zaG9wIENTNiAoTWFjaW50b3NoKSIgeG1wTU06SW5zdGFuY2VJRD0ieG1wLmlpZDpGRTk5MTVGREIxNDkxMUUxOTc5Q0FFREQyMTNGMjBFQyIgeG1wTU06RG9jdW1lbnRJRD0ieG1wLmRpZDpGRTk5MTVGRUIxNDkxMUUxOTc5Q0FFREQyMTNGMjBFQyI+IDx4bXBNTTpEZXJpdmVkRnJvbSBzdFJlZjppbnN0YW5jZUlEPSJ4bXAuaWlkOkZFOTkxNUZCQjE0OTExRTE5NzlDQUVERDIxM0YyMEVDIiBzdFJlZjpkb2N1bWVudElEPSJ4bXAuZGlkOkZFOTkxNUZDQjE0OTExRTE5NzlDQUVERDIxM0YyMEVDIi8+IDwvcmRmOkRlc2NyaXB0aW9uPiA8L3JkZjpSREY+IDwveDp4bXBtZXRhPiA8P3hwYWNrZXQgZW5kPSJyIj8+SIDkjAAAAJ1JREFUeNpi/P//PwMlgImBQkB7A6qrq/+DMC55FkIGKCoq4pVnpFkgTp069f/+/fv/r1u37r+tre1/kg0A+ptn9uzZYLaRkRHpLvjw4cNXWVlZhufPnzOcO3eOdAO0tbVPAjHDmzdvGA4fPsxIsgGSkpJmv379Ynj37h2DjIyMCMkG3LhxQ/T27dsMampqDHZ2dq/pH41DxwCAAAMAFdc68dUsFZgAAAAASUVORK5CYII=");}.ace_scrollbar {position: absolute;overflow-x: hidden;overflow-y: auto;right: 0;top: 0;bottom: 0;z-index: 6;}.ace_scrollbar-inner {position: absolute;cursor: text;left: 0;top: 0;}.ace_scrollbar-h {position: absolute;overflow-x: auto;overflow-y: hidden;right: 0;left: 0;bottom: 0;z-index: 6;}.ace_print-margin {position: absolute;height: 100%;}.ace_text-input {position: absolute;z-index: 0;width: 0.5em;height: 1em;opacity: 0;background: transparent;-moz-appearance: none;appearance: none;border: none;resize: none;outline: none;overflow: hidden;font: inherit;padding: 0 1px;margin: 0 -1px;text-indent: -1em;}.ace_text-input.ace_composition {background: #f8f8f8;color: #111;z-index: 1000;opacity: 1;text-indent: 0;}.ace_layer {z-index: 1;position: absolute;overflow: hidden;white-space: nowrap;height: 100%;width: 100%;-moz-box-sizing: border-box;-webkit-box-sizing: border-box;box-sizing: border-box;/* setting pointer-events: auto; on node under the mouse, which changesduring scroll, will break mouse wheel scrolling in Safari */pointer-events: none;}.ace_gutter-layer {position: relative;width: auto;text-align: right;pointer-events: auto;}.ace_text-layer {font: inherit !important;}.ace_cjk {display: inline-block;text-align: center;}.ace_cursor-layer {z-index: 4;}.ace_cursor {z-index: 4;position: absolute;-moz-box-sizing: border-box;-webkit-box-sizing: border-box;box-sizing: border-box;border-left: 2px solid}.ace_slim-cursors .ace_cursor {border-left-width: 1px;}.ace_overwrite-cursors .ace_cursor {border-left-width: 0px;border-bottom: 1px solid;}.ace_hidden-cursors .ace_cursor {opacity: 0.2;}.ace_smooth-blinking .ace_cursor {-moz-transition: opacity 0.18s;-webkit-transition: opacity 0.18s;-o-transition: opacity 0.18s;-ms-transition: opacity 0.18s;transition: opacity 0.18s;}.ace_cursor[style*="opacity: 0"]{-ms-filter: "progid:DXImageTransform.Microsoft.Alpha(Opacity=0)";}.ace_editor.ace_multiselect .ace_cursor {border-left-width: 1px;}.ace_line {white-space: nowrap;}.ace_marker-layer .ace_step, .ace_marker-layer .ace_stack {position: absolute;z-index: 3;}.ace_marker-layer .ace_selection {position: absolute;z-index: 5;}.ace_marker-layer .ace_bracket {position: absolute;z-index: 6;}.ace_marker-layer .ace_active-line {position: absolute;z-index: 2;}.ace_marker-layer .ace_selected-word {position: absolute;z-index: 4;-moz-box-sizing: border-box;-webkit-box-sizing: border-box;box-sizing: border-box;}.ace_line .ace_fold {-moz-box-sizing: border-box;-webkit-box-sizing: border-box;box-sizing: border-box;display: inline-block;height: 11px;margin-top: -2px;vertical-align: middle;background-image:url("data:image/png,%89PNG%0D%0A%1A%0A%00%00%00%0DIHDR%00%00%00%11%00%00%00%09%08%06%00%00%00%D4%E8%C7%0C%00%00%03%1EiCCPICC%20Profile%00%00x%01%85T%DFk%D3P%14%FE%DAe%9D%B0%E1%8B%3Ag%11%09%3Eh%91ndStC%9C%B6kW%BA%CDZ%EA6%B7!H%9B%A6m%5C%9A%C6%24%ED~%B0%07%D9%8Bo%3A%C5w%F1%07%3E%F9%07%0C%D9%83o%7B%92%0D%C6%14a%F8%AC%88%22L%F6%22%B3%9E%9B4M'S%03%B9%F7%BB%DF%F9%EE9'%E7%E4%5E%A0%F9qZ%D3%14%2F%0F%14USO%C5%C2%FC%C4%E4%14%DF%F2%01%5E%1CC%2B%FChM%8B%86%16J%26G%40%0F%D3%B2y%EF%B3%F3%0E%1E%C6lt%EEo%DF%AB%FEc%D5%9A%95%0C%11%F0%1C%20%BE%945%C4%22%E1Y%A0i%5C%D4t%13%E0%D6%89%EF%9D15%C2%CDLsX%A7%04%09%1Fg8oc%81%E1%8C%8D%23%96f45%40%9A%09%C2%07%C5B%3AK%B8%408%98i%E0%F3%0D%D8%CE%81%14%E4'%26%A9%92.%8B%3C%ABER%2F%E5dE%B2%0C%F6%F0%1Fs%83%F2_%B0%A8%94%E9%9B%AD%E7%10%8Dm%9A%19N%D1%7C%8A%DE%1F9%7Dp%8C%E6%00%D5%C1%3F_%18%BDA%B8%9DpX6%E3%A35~B%CD%24%AE%11%26%BD%E7%EEti%98%EDe%9A%97Y)%12%25%1C%24%BCbT%AE3li%E6%0B%03%89%9A%E6%D3%ED%F4P%92%B0%9F4%BF43Y%F3%E3%EDP%95%04%EB1%C5%F5%F6KF%F4%BA%BD%D7%DB%91%93%07%E35%3E%A7)%D6%7F%40%FE%BD%F7%F5r%8A%E5y%92%F0%EB%B4%1E%8D%D5%F4%5B%92%3AV%DB%DB%E4%CD%A6%23%C3%C4wQ%3F%03HB%82%8E%1Cd(%E0%91B%0Ca%9Ac%C4%AA%F8L%16%19%22J%A4%D2itTy%B28%D6%3B(%93%96%ED%1CGx%C9_%0E%B8%5E%16%F5%5B%B2%B8%F6%E0%FB%9E%DD%25%D7%8E%BC%15%85%C5%B7%A3%D8Q%ED%B5%81%E9%BA%B2%13%9A%1B%7Fua%A5%A3n%E17%B9%E5%9B%1Bm%AB%0B%08Q%FE%8A%E5%B1H%5Ee%CAO%82Q%D7u6%E6%90S%97%FCu%0B%CF2%94%EE%25v%12X%0C%BA%AC%F0%5E%F8*l%0AO%85%17%C2%97%BF%D4%C8%CE%DE%AD%11%CB%80q%2C%3E%AB%9ES%CD%C6%EC%25%D2L%D2%EBd%B8%BF%8A%F5B%C6%18%F9%901CZ%9D%BE%24M%9C%8A9%F2%DAP%0B'%06w%82%EB%E6%E2%5C%2F%D7%07%9E%BB%CC%5D%E1%FA%B9%08%AD.r%23%8E%C2%17%F5E%7C!%F0%BE3%BE%3E_%B7o%88a%A7%DB%BE%D3d%EB%A31Z%EB%BB%D3%91%BA%A2%B1z%94%8F%DB'%F6%3D%8E%AA%13%19%B2%B1%BE%B1~V%08%2B%B4%A2cjJ%B3tO%00%03%25mN%97%F3%05%93%EF%11%84%0B%7C%88%AE-%89%8F%ABbW%90O%2B%0Ao%99%0C%5E%97%0CI%AFH%D9.%B0%3B%8F%ED%03%B6S%D6%5D%E6i_s9%F3*p%E9%1B%FD%C3%EB.7U%06%5E%19%C0%D1s.%17%A03u%E4%09%B0%7C%5E%2C%EB%15%DB%1F%3C%9E%B7%80%91%3B%DBc%AD%3Dma%BA%8B%3EV%AB%DBt.%5B%1E%01%BB%0F%AB%D5%9F%CF%AA%D5%DD%E7%E4%7F%0Bx%A3%FC%06%A9%23%0A%D6%C2%A1_2%00%00%00%09pHYs%00%00%0B%13%00%00%0B%13%01%00%9A%9C%18%00%00%00%B5IDAT(%15%A5%91%3D%0E%02!%10%85ac%E1%05%D6%CE%D6%C6%CE%D2%E8%ED%CD%DE%C0%C6%D6N.%E0V%F8%3D%9Ca%891XH%C2%BE%D9y%3F%90!%E6%9C%C3%BFk%E5%011%C6-%F5%C8N%04%DF%BD%FF%89%DFt%83DN%60%3E%F3%AB%A0%DE%1A%5Dg%BE%10Q%97%1B%40%9C%A8o%10%8F%5E%828%B4%1B%60%87%F6%02%26%85%1Ch%1E%C1%2B%5Bk%FF%86%EE%B7j%09%9A%DA%9B%ACe%A3%F9%EC%DA!9%B4%D5%A6%81%86%86%98%CC%3C%5B%40%FA%81%B3%E9%CB%23%94%C16Azo%05%D4%E1%C1%95a%3B%8A'%A0%E8%CC%17%22%85%1D%BA%00%A2%FA%DC%0A%94%D1%D1%8D%8B%3A%84%17B%C7%60%1A%25Z%FC%8D%00%00%00%00IEND%AEB%60%82"),url("data:image/png,%89PNG%0D%0A%1A%0A%00%00%00%0DIHDR%00%00%00%05%00%00%007%08%06%00%00%00%C4%DD%80C%00%00%03%1EiCCPICC%20Profile%00%00x%01%85T%DFk%D3P%14%FE%DAe%9D%B0%E1%8B%3Ag%11%09%3Eh%91ndStC%9C%B6kW%BA%CDZ%EA6%B7!H%9B%A6m%5C%9A%C6%24%ED~%B0%07%D9%8Bo%3A%C5w%F1%07%3E%F9%07%0C%D9%83o%7B%92%0D%C6%14a%F8%AC%88%22L%F6%22%B3%9E%9B4M'S%03%B9%F7%BB%DF%F9%EE9'%E7%E4%5E%A0%F9qZ%D3%14%2F%0F%14USO%C5%C2%FC%C4%E4%14%DF%F2%01%5E%1CC%2B%FChM%8B%86%16J%26G%40%0F%D3%B2y%EF%B3%F3%0E%1E%C6lt%EEo%DF%AB%FEc%D5%9A%95%0C%11%F0%1C%20%BE%945%C4%22%E1Y%A0i%5C%D4t%13%E0%D6%89%EF%9D15%C2%CDLsX%A7%04%09%1Fg8oc%81%E1%8C%8D%23%96f45%40%9A%09%C2%07%C5B%3AK%B8%408%98i%E0%F3%0D%D8%CE%81%14%E4'%26%A9%92.%8B%3C%ABER%2F%E5dE%B2%0C%F6%F0%1Fs%83%F2_%B0%A8%94%E9%9B%AD%E7%10%8Dm%9A%19N%D1%7C%8A%DE%1F9%7Dp%8C%E6%00%D5%C1%3F_%18%BDA%B8%9DpX6%E3%A35~B%CD%24%AE%11%26%BD%E7%EEti%98%EDe%9A%97Y)%12%25%1C%24%BCbT%AE3li%E6%0B%03%89%9A%E6%D3%ED%F4P%92%B0%9F4%BF43Y%F3%E3%EDP%95%04%EB1%C5%F5%F6KF%F4%BA%BD%D7%DB%91%93%07%E35%3E%A7)%D6%7F%40%FE%BD%F7%F5r%8A%E5y%92%F0%EB%B4%1E%8D%D5%F4%5B%92%3AV%DB%DB%E4%CD%A6%23%C3%C4wQ%3F%03HB%82%8E%1Cd(%E0%91B%0Ca%9Ac%C4%AA%F8L%16%19%22J%A4%D2itTy%B28%D6%3B(%93%96%ED%1CGx%C9_%0E%B8%5E%16%F5%5B%B2%B8%F6%E0%FB%9E%DD%25%D7%8E%BC%15%85%C5%B7%A3%D8Q%ED%B5%81%E9%BA%B2%13%9A%1B%7Fua%A5%A3n%E17%B9%E5%9B%1Bm%AB%0B%08Q%FE%8A%E5%B1H%5Ee%CAO%82Q%D7u6%E6%90S%97%FCu%0B%CF2%94%EE%25v%12X%0C%BA%AC%F0%5E%F8*l%0AO%85%17%C2%97%BF%D4%C8%CE%DE%AD%11%CB%80q%2C%3E%AB%9ES%CD%C6%EC%25%D2L%D2%EBd%B8%BF%8A%F5B%C6%18%F9%901CZ%9D%BE%24M%9C%8A9%F2%DAP%0B'%06w%82%EB%E6%E2%5C%2F%D7%07%9E%BB%CC%5D%E1%FA%B9%08%AD.r%23%8E%C2%17%F5E%7C!%F0%BE3%BE%3E_%B7o%88a%A7%DB%BE%D3d%EB%A31Z%EB%BB%D3%91%BA%A2%B1z%94%8F%DB'%F6%3D%8E%AA%13%19%B2%B1%BE%B1~V%08%2B%B4%A2cjJ%B3tO%00%03%25mN%97%F3%05%93%EF%11%84%0B%7C%88%AE-%89%8F%ABbW%90O%2B%0Ao%99%0C%5E%97%0CI%AFH%D9.%B0%3B%8F%ED%03%B6S%D6%5D%E6i_s9%F3*p%E9%1B%FD%C3%EB.7U%06%5E%19%C0%D1s.%17%A03u%E4%09%B0%7C%5E%2C%EB%15%DB%1F%3C%9E%B7%80%91%3B%DBc%AD%3Dma%BA%8B%3EV%AB%DBt.%5B%1E%01%BB%0F%AB%D5%9F%CF%AA%D5%DD%E7%E4%7F%0Bx%A3%FC%06%A9%23%0A%D6%C2%A1_2%00%00%00%09pHYs%00%00%0B%13%00%00%0B%13%01%00%9A%9C%18%00%00%00%3AIDAT8%11c%FC%FF%FF%7F%18%03%1A%60%01%F2%3F%A0%891%80%04%FF%11-%F8%17%9BJ%E2%05%B1ZD%81v%26t%E7%80%F8%A3%82h%A12%1A%20%A3%01%02%0F%01%BA%25%06%00%19%C0%0D%AEF%D5%3ES%00%00%00%00IEND%AEB%60%82");background-repeat: no-repeat, repeat-x;background-position: center center, top left;color: transparent;border: 1px solid black;-moz-border-radius: 2px;-webkit-border-radius: 2px;border-radius: 2px;cursor: pointer;pointer-events: auto;}.ace_dark .ace_fold {}.ace_fold:hover{background-image:url("data:image/png,%89PNG%0D%0A%1A%0A%00%00%00%0DIHDR%00%00%00%11%00%00%00%09%08%06%00%00%00%D4%E8%C7%0C%00%00%03%1EiCCPICC%20Profile%00%00x%01%85T%DFk%D3P%14%FE%DAe%9D%B0%E1%8B%3Ag%11%09%3Eh%91ndStC%9C%B6kW%BA%CDZ%EA6%B7!H%9B%A6m%5C%9A%C6%24%ED~%B0%07%D9%8Bo%3A%C5w%F1%07%3E%F9%07%0C%D9%83o%7B%92%0D%C6%14a%F8%AC%88%22L%F6%22%B3%9E%9B4M'S%03%B9%F7%BB%DF%F9%EE9'%E7%E4%5E%A0%F9qZ%D3%14%2F%0F%14USO%C5%C2%FC%C4%E4%14%DF%F2%01%5E%1CC%2B%FChM%8B%86%16J%26G%40%0F%D3%B2y%EF%B3%F3%0E%1E%C6lt%EEo%DF%AB%FEc%D5%9A%95%0C%11%F0%1C%20%BE%945%C4%22%E1Y%A0i%5C%D4t%13%E0%D6%89%EF%9D15%C2%CDLsX%A7%04%09%1Fg8oc%81%E1%8C%8D%23%96f45%40%9A%09%C2%07%C5B%3AK%B8%408%98i%E0%F3%0D%D8%CE%81%14%E4'%26%A9%92.%8B%3C%ABER%2F%E5dE%B2%0C%F6%F0%1Fs%83%F2_%B0%A8%94%E9%9B%AD%E7%10%8Dm%9A%19N%D1%7C%8A%DE%1F9%7Dp%8C%E6%00%D5%C1%3F_%18%BDA%B8%9DpX6%E3%A35~B%CD%24%AE%11%26%BD%E7%EEti%98%EDe%9A%97Y)%12%25%1C%24%BCbT%AE3li%E6%0B%03%89%9A%E6%D3%ED%F4P%92%B0%9F4%BF43Y%F3%E3%EDP%95%04%EB1%C5%F5%F6KF%F4%BA%BD%D7%DB%91%93%07%E35%3E%A7)%D6%7F%40%FE%BD%F7%F5r%8A%E5y%92%F0%EB%B4%1E%8D%D5%F4%5B%92%3AV%DB%DB%E4%CD%A6%23%C3%C4wQ%3F%03HB%82%8E%1Cd(%E0%91B%0Ca%9Ac%C4%AA%F8L%16%19%22J%A4%D2itTy%B28%D6%3B(%93%96%ED%1CGx%C9_%0E%B8%5E%16%F5%5B%B2%B8%F6%E0%FB%9E%DD%25%D7%8E%BC%15%85%C5%B7%A3%D8Q%ED%B5%81%E9%BA%B2%13%9A%1B%7Fua%A5%A3n%E17%B9%E5%9B%1Bm%AB%0B%08Q%FE%8A%E5%B1H%5Ee%CAO%82Q%D7u6%E6%90S%97%FCu%0B%CF2%94%EE%25v%12X%0C%BA%AC%F0%5E%F8*l%0AO%85%17%C2%97%BF%D4%C8%CE%DE%AD%11%CB%80q%2C%3E%AB%9ES%CD%C6%EC%25%D2L%D2%EBd%B8%BF%8A%F5B%C6%18%F9%901CZ%9D%BE%24M%9C%8A9%F2%DAP%0B'%06w%82%EB%E6%E2%5C%2F%D7%07%9E%BB%CC%5D%E1%FA%B9%08%AD.r%23%8E%C2%17%F5E%7C!%F0%BE3%BE%3E_%B7o%88a%A7%DB%BE%D3d%EB%A31Z%EB%BB%D3%91%BA%A2%B1z%94%8F%DB'%F6%3D%8E%AA%13%19%B2%B1%BE%B1~V%08%2B%B4%A2cjJ%B3tO%00%03%25mN%97%F3%05%93%EF%11%84%0B%7C%88%AE-%89%8F%ABbW%90O%2B%0Ao%99%0C%5E%97%0CI%AFH%D9.%B0%3B%8F%ED%03%B6S%D6%5D%E6i_s9%F3*p%E9%1B%FD%C3%EB.7U%06%5E%19%C0%D1s.%17%A03u%E4%09%B0%7C%5E%2C%EB%15%DB%1F%3C%9E%B7%80%91%3B%DBc%AD%3Dma%BA%8B%3EV%AB%DBt.%5B%1E%01%BB%0F%AB%D5%9F%CF%AA%D5%DD%E7%E4%7F%0Bx%A3%FC%06%A9%23%0A%D6%C2%A1_2%00%00%00%09pHYs%00%00%0B%13%00%00%0B%13%01%00%9A%9C%18%00%00%00%B5IDAT(%15%A5%91%3D%0E%02!%10%85ac%E1%05%D6%CE%D6%C6%CE%D2%E8%ED%CD%DE%C0%C6%D6N.%E0V%F8%3D%9Ca%891XH%C2%BE%D9y%3F%90!%E6%9C%C3%BFk%E5%011%C6-%F5%C8N%04%DF%BD%FF%89%DFt%83DN%60%3E%F3%AB%A0%DE%1A%5Dg%BE%10Q%97%1B%40%9C%A8o%10%8F%5E%828%B4%1B%60%87%F6%02%26%85%1Ch%1E%C1%2B%5Bk%FF%86%EE%B7j%09%9A%DA%9B%ACe%A3%F9%EC%DA!9%B4%D5%A6%81%86%86%98%CC%3C%5B%40%FA%81%B3%E9%CB%23%94%C16Azo%05%D4%E1%C1%95a%3B%8A'%A0%E8%CC%17%22%85%1D%BA%00%A2%FA%DC%0A%94%D1%D1%8D%8B%3A%84%17B%C7%60%1A%25Z%FC%8D%00%00%00%00IEND%AEB%60%82"),url("data:image/png,%89PNG%0D%0A%1A%0A%00%00%00%0DIHDR%00%00%00%05%00%00%007%08%06%00%00%00%C4%DD%80C%00%00%03%1EiCCPICC%20Profile%00%00x%01%85T%DFk%D3P%14%FE%DAe%9D%B0%E1%8B%3Ag%11%09%3Eh%91ndStC%9C%B6kW%BA%CDZ%EA6%B7!H%9B%A6m%5C%9A%C6%24%ED~%B0%07%D9%8Bo%3A%C5w%F1%07%3E%F9%07%0C%D9%83o%7B%92%0D%C6%14a%F8%AC%88%22L%F6%22%B3%9E%9B4M'S%03%B9%F7%BB%DF%F9%EE9'%E7%E4%5E%A0%F9qZ%D3%14%2F%0F%14USO%C5%C2%FC%C4%E4%14%DF%F2%01%5E%1CC%2B%FChM%8B%86%16J%26G%40%0F%D3%B2y%EF%B3%F3%0E%1E%C6lt%EEo%DF%AB%FEc%D5%9A%95%0C%11%F0%1C%20%BE%945%C4%22%E1Y%A0i%5C%D4t%13%E0%D6%89%EF%9D15%C2%CDLsX%A7%04%09%1Fg8oc%81%E1%8C%8D%23%96f45%40%9A%09%C2%07%C5B%3AK%B8%408%98i%E0%F3%0D%D8%CE%81%14%E4'%26%A9%92.%8B%3C%ABER%2F%E5dE%B2%0C%F6%F0%1Fs%83%F2_%B0%A8%94%E9%9B%AD%E7%10%8Dm%9A%19N%D1%7C%8A%DE%1F9%7Dp%8C%E6%00%D5%C1%3F_%18%BDA%B8%9DpX6%E3%A35~B%CD%24%AE%11%26%BD%E7%EEti%98%EDe%9A%97Y)%12%25%1C%24%BCbT%AE3li%E6%0B%03%89%9A%E6%D3%ED%F4P%92%B0%9F4%BF43Y%F3%E3%EDP%95%04%EB1%C5%F5%F6KF%F4%BA%BD%D7%DB%91%93%07%E35%3E%A7)%D6%7F%40%FE%BD%F7%F5r%8A%E5y%92%F0%EB%B4%1E%8D%D5%F4%5B%92%3AV%DB%DB%E4%CD%A6%23%C3%C4wQ%3F%03HB%82%8E%1Cd(%E0%91B%0Ca%9Ac%C4%AA%F8L%16%19%22J%A4%D2itTy%B28%D6%3B(%93%96%ED%1CGx%C9_%0E%B8%5E%16%F5%5B%B2%B8%F6%E0%FB%9E%DD%25%D7%8E%BC%15%85%C5%B7%A3%D8Q%ED%B5%81%E9%BA%B2%13%9A%1B%7Fua%A5%A3n%E17%B9%E5%9B%1Bm%AB%0B%08Q%FE%8A%E5%B1H%5Ee%CAO%82Q%D7u6%E6%90S%97%FCu%0B%CF2%94%EE%25v%12X%0C%BA%AC%F0%5E%F8*l%0AO%85%17%C2%97%BF%D4%C8%CE%DE%AD%11%CB%80q%2C%3E%AB%9ES%CD%C6%EC%25%D2L%D2%EBd%B8%BF%8A%F5B%C6%18%F9%901CZ%9D%BE%24M%9C%8A9%F2%DAP%0B'%06w%82%EB%E6%E2%5C%2F%D7%07%9E%BB%CC%5D%E1%FA%B9%08%AD.r%23%8E%C2%17%F5E%7C!%F0%BE3%BE%3E_%B7o%88a%A7%DB%BE%D3d%EB%A31Z%EB%BB%D3%91%BA%A2%B1z%94%8F%DB'%F6%3D%8E%AA%13%19%B2%B1%BE%B1~V%08%2B%B4%A2cjJ%B3tO%00%03%25mN%97%F3%05%93%EF%11%84%0B%7C%88%AE-%89%8F%ABbW%90O%2B%0Ao%99%0C%5E%97%0CI%AFH%D9.%B0%3B%8F%ED%03%B6S%D6%5D%E6i_s9%F3*p%E9%1B%FD%C3%EB.7U%06%5E%19%C0%D1s.%17%A03u%E4%09%B0%7C%5E%2C%EB%15%DB%1F%3C%9E%B7%80%91%3B%DBc%AD%3Dma%BA%8B%3EV%AB%DBt.%5B%1E%01%BB%0F%AB%D5%9F%CF%AA%D5%DD%E7%E4%7F%0Bx%A3%FC%06%A9%23%0A%D6%C2%A1_2%00%00%00%09pHYs%00%00%0B%13%00%00%0B%13%01%00%9A%9C%18%00%00%003IDAT8%11c%FC%FF%FF%7F%3E%03%1A%60%01%F2%3F%A3%891%80%04%FFQ%26%F8w%C0%B43%A1%DB%0C%E2%8F%0A%A2%85%CAh%80%8C%06%08%3C%04%E8%96%18%00%A3S%0D%CD%CF%D8%C1%9D%00%00%00%00IEND%AEB%60%82");background-repeat: no-repeat, repeat-x;background-position: center center, top left;}.ace_gutter-tooltip {background-color: #FFF;background-image: -webkit-linear-gradient(top, transparent, rgba(0, 0, 0, 0.1));background-image: linear-gradient(to bottom, transparent, rgba(0, 0, 0, 0.1));border: 1px solid gray;border-radius: 1px;box-shadow: 0 1px 2px rgba(0, 0, 0, 0.3);color: black;display: inline-block;max-width: 500px;padding: 4px;position: fixed;z-index: 999999;-moz-box-sizing: border-box;-webkit-box-sizing: border-box;box-sizing: border-box;cursor: default;white-space: pre-line;word-wrap: break-word;line-height: normal;font-style: normal;font-weight: normal;letter-spacing: normal;}.ace_folding-enabled > .ace_gutter-cell {padding-right: 13px;}.ace_fold-widget {-moz-box-sizing: border-box;-webkit-box-sizing: border-box;box-sizing: border-box;margin: 0 -12px 0 1px;display: none;width: 11px;vertical-align: top;background-image: url("data:image/png,%89PNG%0D%0A%1A%0A%00%00%00%0DIHDR%00%00%00%05%00%00%00%05%08%06%00%00%00%8Do%26%E5%00%00%004IDATx%DAe%8A%B1%0D%000%0C%C2%F2%2CK%96%BC%D0%8F9%81%88H%E9%D0%0E%96%C0%10%92%3E%02%80%5E%82%E4%A9*-%EEsw%C8%CC%11%EE%96w%D8%DC%E9*Eh%0C%151(%00%00%00%00IEND%AEB%60%82");background-repeat: no-repeat;background-position: center;border-radius: 3px;border: 1px solid transparent;cursor: pointer;}.ace_folding-enabled .ace_fold-widget {display: inline-block; }.ace_fold-widget.ace_end {background-image: url("data:image/png,%89PNG%0D%0A%1A%0A%00%00%00%0DIHDR%00%00%00%05%00%00%00%05%08%06%00%00%00%8Do%26%E5%00%00%004IDATx%DAm%C7%C1%09%000%08C%D1%8C%ECE%C8E(%8E%EC%02)%1EZJ%F1%C1'%04%07I%E1%E5%EE%CAL%F5%A2%99%99%22%E2%D6%1FU%B5%FE0%D9x%A7%26Wz5%0E%D5%00%00%00%00IEND%AEB%60%82");}.ace_fold-widget.ace_closed {background-image: url("data:image/png,%89PNG%0D%0A%1A%0A%00%00%00%0DIHDR%00%00%00%03%00%00%00%06%08%06%00%00%00%06%E5%24%0C%00%00%009IDATx%DA5%CA%C1%09%000%08%03%C0%AC*(%3E%04%C1%0D%BA%B1%23%A4Uh%E0%20%81%C0%CC%F8%82%81%AA%A2%AArGfr%88%08%11%11%1C%DD%7D%E0%EE%5B%F6%F6%CB%B8%05Q%2F%E9tai%D9%00%00%00%00IEND%AEB%60%82");}.ace_fold-widget:hover {border: 1px solid rgba(0, 0, 0, 0.3);background-color: rgba(255, 255, 255, 0.2);-moz-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.7);-webkit-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.7);box-shadow: 0 1px 1px rgba(255, 255, 255, 0.7);}.ace_fold-widget:active {border: 1px solid rgba(0, 0, 0, 0.4);background-color: rgba(0, 0, 0, 0.05);-moz-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.8);-webkit-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.8);box-shadow: 0 1px 1px rgba(255, 255, 255, 0.8);}/*** Dark version for fold widgets*/.ace_dark .ace_fold-widget {background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAFCAYAAACNbyblAAAAHklEQVQIW2P4//8/AzoGEQ7oGCaLLAhWiSwB146BAQCSTPYocqT0AAAAAElFTkSuQmCC");}.ace_dark .ace_fold-widget.ace_end {background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAFCAYAAACNbyblAAAAH0lEQVQIW2P4//8/AxQ7wNjIAjDMgC4AxjCVKBirIAAF0kz2rlhxpAAAAABJRU5ErkJggg==");}.ace_dark .ace_fold-widget.ace_closed {background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAMAAAAFCAYAAACAcVaiAAAAHElEQVQIW2P4//+/AxAzgDADlOOAznHAKgPWAwARji8UIDTfQQAAAABJRU5ErkJggg==");}.ace_dark .ace_fold-widget:hover {box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);background-color: rgba(255, 255, 255, 0.1);}.ace_dark .ace_fold-widget:active {-moz-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);-webkit-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);}.ace_fold-widget.ace_invalid {background-color: #FFB4B4;border-color: #DE5555;}.ace_fade-fold-widgets .ace_fold-widget {-moz-transition: opacity 0.4s ease 0.05s;-webkit-transition: opacity 0.4s ease 0.05s;-o-transition: opacity 0.4s ease 0.05s;-ms-transition: opacity 0.4s ease 0.05s;transition: opacity 0.4s ease 0.05s;opacity: 0;}.ace_fade-fold-widgets:hover .ace_fold-widget {-moz-transition: opacity 0.05s ease 0.05s;-webkit-transition: opacity 0.05s ease 0.05s;-o-transition: opacity 0.05s ease 0.05s;-ms-transition: opacity 0.05s ease 0.05s;transition: opacity 0.05s ease 0.05s;opacity:1;}.ace_underline {text-decoration: underline;}.ace_bold {font-weight: bold;}.ace_nobold .ace_bold {font-weight: normal;}.ace_italic {font-style: italic;}.ace_error-marker {background-color: rgba(255, 0, 0,0.2);position: absolute;z-index: 9;}.ace_highlight-marker {background-color: rgba(255, 255, 0,0.2);position: absolute;z-index: 8;}</style><style type="text/css" id="ace-tm">.ace-tm .ace_gutter {background: #f0f0f0;color: #333;}.ace-tm .ace_print-margin {width: 1px;background: #e8e8e8;}.ace-tm .ace_fold {background-color: #6B72E6;}.ace-tm {background-color: #FFFFFF;}.ace-tm .ace_cursor {color: black;}.ace-tm .ace_invisible {color: rgb(191, 191, 191);}.ace-tm .ace_storage,.ace-tm .ace_keyword {color: blue;}.ace-tm .ace_constant {color: rgb(197, 6, 11);}.ace-tm .ace_constant.ace_buildin {color: rgb(88, 72, 246);}.ace-tm .ace_constant.ace_language {color: rgb(88, 92, 246);}.ace-tm .ace_constant.ace_library {color: rgb(6, 150, 14);}.ace-tm .ace_invalid {background-color: rgba(255, 0, 0, 0.1);color: red;}.ace-tm .ace_support.ace_function {color: rgb(60, 76, 114);}.ace-tm .ace_support.ace_constant {color: rgb(6, 150, 14);}.ace-tm .ace_support.ace_type,.ace-tm .ace_support.ace_class {color: rgb(109, 121, 222);}.ace-tm .ace_keyword.ace_operator {color: rgb(104, 118, 135);}.ace-tm .ace_string {color: rgb(3, 106, 7);}.ace-tm .ace_comment {color: rgb(76, 136, 107);}.ace-tm .ace_comment.ace_doc {color: rgb(0, 102, 255);}.ace-tm .ace_comment.ace_doc.ace_tag {color: rgb(128, 159, 191);}.ace-tm .ace_constant.ace_numeric {color: rgb(0, 0, 205);}.ace-tm .ace_variable {color: rgb(49, 132, 149);}.ace-tm .ace_xml-pe {color: rgb(104, 104, 91);}.ace-tm .ace_entity.ace_name.ace_function {color: #0000A2;}.ace-tm .ace_heading {color: rgb(12, 7, 255);}.ace-tm .ace_list {color:rgb(185, 6, 144);}.ace-tm .ace_meta.ace_tag {color:rgb(0, 22, 142);}.ace-tm .ace_string.ace_regex {color: rgb(255, 0, 0)}.ace-tm .ace_marker-layer .ace_selection {background: rgb(181, 213, 255);}.ace-tm.ace_multiselect .ace_selection.ace_start {box-shadow: 0 0 3px 0px white;border-radius: 2px;}.ace-tm .ace_marker-layer .ace_step {background: rgb(252, 255, 0);}.ace-tm .ace_marker-layer .ace_stack {background: rgb(164, 229, 101);}.ace-tm .ace_marker-layer .ace_bracket {margin: -1px 0 0 -1px;border: 1px solid rgb(192, 192, 192);}.ace-tm .ace_marker-layer .ace_active-line {background: rgba(0, 0, 0, 0.07);}.ace-tm .ace_gutter-active-line {background-color : #dcdcdc;}.ace-tm .ace_marker-layer .ace_selected-word {background: rgb(250, 250, 255);border: 1px solid rgb(200, 200, 250);}.ace-tm .ace_indent-guide {background: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAACCAYAAACZgbYnAAAAE0lEQVQImWP4////f4bLly//BwAmVgd1/w11/gAAAABJRU5ErkJggg==") right repeat-y;}</style><style type="text/css">.ace_snippet-marker { -moz-box-sizing: border-box; box-sizing: border-box; background: rgba(194, 193, 208, 0.09); border: 1px dotted rgba(211, 208, 235, 0.62); position: absolute;}</style><style type="text/css">.ace_autocomplete.ace-tm .ace_marker-layer .ace_active-line { background-color: #CAD6FA; z-index: 1;}.ace_autocomplete.ace-tm .ace_line-hover { border: 1px solid #abbffe; margin-top: -1px; background: rgba(233,233,253,0.4);}.ace_autocomplete .ace_line-hover { position: absolute; z-index: 2;}.ace_rightAlignedText { color: gray; display: inline-block; position: absolute; right: 4px; text-align: right; z-index: -1;}.ace_autocomplete .ace_completion-highlight{ color: #000; text-shadow: 0 0 0.01em;}.ace_autocomplete { width: 280px; z-index: 200000; background: #fbfbfb; color: #444; border: 1px lightgray solid; position: fixed; box-shadow: 2px 3px 5px rgba(0,0,0,.2); line-height: 1.4;}</style><style type="text/css" id="base-theme-for-1">*[data-lively-morphid="1"] .World, *[data-lively-morphid="1"].World {
font-family: Helvetica;
}
*[data-lively-morphid="1"] .Box, *[data-lively-morphid="1"].Box {
border: 1px solid #aaa;
}
*[data-lively-morphid="1"] .Selection, *[data-lively-morphid="1"].Selection {
background: rgba(222,222,222, 0.6);
border: 1px solid #aaa;
}
*[data-lively-morphid="1"] .Box.selection-indicator, *[data-lively-morphid="1"].Box.selection-indicator {
background: none;
outline: 4px solid #E73F22;
}
*[data-lively-morphid="1"] .Text.edit-field, *[data-lively-morphid="1"].Text.edit-field {
background: white;
box-shadow: inset 1px 1px 1px #666;
border: 1px solid #aaa;
border-radius: 2px;
}
*[data-lively-morphid="1"] .Button, *[data-lively-morphid="1"].Button {
font-size: 9pt;
color: #333;
text-align: center;
text-shadow: 0 1px 0 #EEE;
background: #EEE;
border-radius: 2px;
box-shadow: inset 1px 1px 1px rgba(255, 255, 255, 0.8);
cursor: pointer;
border: 1px solid #888;
}
*[data-lively-morphid="1"] .Button.pressed, *[data-lively-morphid="1"].Button.pressed {
box-shadow: inset 1px 1px 1px rgba(0, 0, 0, 0.5);
}
*[data-lively-morphid="1"] .Button.toggled, *[data-lively-morphid="1"].Button.toggled {
color: black;
}
*[data-lively-morphid="1"] .Button.disabled, *[data-lively-morphid="1"].Button.disabled {
color: gray;
}
*[data-lively-morphid="1"] .Text.vertically-centered > div, .Text.vertically-centered > [data-lively-node-type="origin-node"] > div, .Text.vertically-centered > [data-lively-node-type="origin-node"] > [data-lively-node-type="morph-node"] > div, *[data-lively-morphid="1"].Text.vertically-centered > div, .Text.vertically-centered > [data-lively-node-type="origin-node"] > div, .Text.vertically-centered > [data-lively-node-type="origin-node"] > [data-lively-node-type="morph-node"] > div {
display: table !important;
}
*[data-lively-morphid="1"] .Text.vertically-centered span, *[data-lively-morphid="1"].Text.vertically-centered span {
display: table-cell;
vertical-align: middle;
text-align: center;
}
*[data-lively-morphid="1"] .Button .Text > div, .Button .Text > [data-lively-node-type="origin-node"] > div, .Button .Text > [data-lively-node-type="origin-node"] > [data-lively-node-type="morph-node"] > div, *[data-lively-morphid="1"].Button .Text > div, .Button .Text > [data-lively-node-type="origin-node"] > div, .Button .Text > [data-lively-node-type="origin-node"] > [data-lively-node-type="morph-node"] > div {
display: table !important;
}
*[data-lively-morphid="1"] .Button .Text span, *[data-lively-morphid="1"].Button .Text span {
display: table-cell;
vertical-align: middle;
text-align: center;
}
*[data-lively-morphid="1"] .Menu, *[data-lively-morphid="1"].Menu {
box-shadow: 0px 4px 15px #666;
}
*[data-lively-morphid="1"] .PartsBinItem, *[data-lively-morphid="1"].PartsBinItem {
box-shadow: 1px 1px 5px 1px #DDD;
}
*[data-lively-morphid="1"] .Window, *[data-lively-morphid="1"].Window {
background-color: rgb(244, 244, 244);
box-shadow: 0px 4px 15px #666;
border-radius: 3px;
}
*[data-lively-morphid="1"] .Window.highlighted, *[data-lively-morphid="1"].Window.highlighted {
background-color: rgb(222, 222, 222);
box-shadow: 0px 5px 20px #000;
border: 1px solid white;
}
*[data-lively-morphid="1"] .Window .TitleBar, *[data-lively-morphid="1"].Window .TitleBar, *[data-lively-morphid="1"] .Window .reframe-handle, *[data-lively-morphid="1"].Window .reframe-handle {
border: none;
background: none;
}
*[data-lively-morphid="1"] .reframe-handle.corner, *[data-lively-morphid="1"].reframe-handle.corner {
cursor: se-resize;
}
*[data-lively-morphid="1"] .reframe-handle.right, *[data-lively-morphid="1"].reframe-handle.right {
cursor: e-resize;
}
*[data-lively-morphid="1"] .reframe-handle.bottom, *[data-lively-morphid="1"].reframe-handle.bottom {
cursor: s-resize;
}
*[data-lively-morphid="1"] .Window .Text.window-title, *[data-lively-morphid="1"].Window .Text.window-title {
font-size: 10pt;
text-align: left;
margin-left: 2px;
color: #555;
}
*[data-lively-morphid="1"] .Window.highlighted .Text.window-title, *[data-lively-morphid="1"].Window.highlighted .Text.window-title {
font-weight: bold;
color: #333;
}
*[data-lively-morphid="1"] .Button.WindowControl, *[data-lively-morphid="1"].Button.WindowControl {
border: 1px solid #aaa;
border-radius: 2px;
background: #EEE;
font-weight: normal;
}
*[data-lively-morphid="1"] .Button.WindowControl.close, *[data-lively-morphid="1"].Button.WindowControl.close {
background: #E73F22;
color: white;
}
*[data-lively-morphid="1"] .MorphList .selected, *[data-lively-morphid="1"].MorphList .selected {
outline: 3px orange solid;
}
*[data-lively-morphid="1"] .List .list-item, *[data-lively-morphid="1"].List .list-item {
font-family: Helvetica,Verdana,sans-serif;
font-size: 10pt;
color: black;
}
*[data-lively-morphid="1"] .List .list-item.selected, *[data-lively-morphid="1"].List .list-item.selected {
background: rgb(42, 87, 192) !important;
color: white !important;
}
*[data-lively-morphid="1"] .HorizontalDivider, *[data-lively-morphid="1"].HorizontalDivider {
cursor: n-resize;
}
*[data-lively-morphid="1"] .Slider, *[data-lively-morphid="1"].Slider {
border-radius: 6px;
border: 1px solid #BBB;
background: #EEE;
box-shadow: inset 1px 1px 1px #666;
}
*[data-lively-morphid="1"] .SliderKnob, *[data-lively-morphid="1"].SliderKnob {
box-shadow: inset 1px 1px 1px rgba(255, 255, 255, 0.8);
cursor: pointer;
border: 1px solid #888;
border-radius: 5px;
background-image: -webkit-linear-gradient(top, #EEE, #CCC);
background-image: -moz-linear-gradient(top, #EEE, #CCC);
background: linear-gradient(bottom, #EEE, #CCC);
}
*[data-lively-morphid="1"] .FlapHandle, *[data-lively-morphid="1"].FlapHandle {
border: 1px solid black;
}
*[data-lively-morphid="1"] .AccordionHeader, *[data-lively-morphid="1"].AccordionHeader {
background-image: -webkit-linear-gradient(top, #eee, #ccc);
background-image: -moz-linear-gradient(top, #eee, #ccc);
border-radius: 3px;
box-shadow: inset 1px 1px 1px rgba(255, 255, 255, 0.8);
cursor: pointer;
border: 1px solid #888;
}
*[data-lively-morphid="1"] .AccordionHeader.active, *[data-lively-morphid="1"].AccordionHeader.active {
background-image: -webkit-linear-gradient(top, #fff, #eee);
background-image: -moz-linear-gradient(top, #fff, #eee);
}
*[data-lively-morphid="1"] .messageMorph, *[data-lively-morphid="1"].messageMorph {
background: rgba(0,0,0,0.6);
border-radius: 20px;
}
*[data-lively-morphid="1"] .messageMorph .closeButton, *[data-lively-morphid="1"].messageMorph .closeButton {
visibility: hidden;
line-height: 3.6;
margin-left: 0px;
font-size: 12pt;
text-shadow: 0px 0px ✗4px rgba(255, 255, 255, 0.5);
color: white;
}
*[data-lively-morphid="1"] .messageMorph:hover .closeButton, *[data-lively-morphid="1"].messageMorph:hover .closeButton, *[data-lively-morphid="1"] .messageMorph.maximized .closeButton, *[data-lively-morphid="1"].messageMorph.maximized .closeButton {
visibility: visible;
cursor: pointer;
}
*[data-lively-morphid="1"] .messageMorph .messageText, *[data-lively-morphid="1"].messageMorph .messageText {
font-size: 10pt;
font-family: Helvetica Neue,Helvetica,Arial;
color: white;
white-space: normal;
word-wrap: break-all !important;
line-height: 1.2 !important;
text-shadow: 0px 1px 2px rgba(255, 255, 255, 0.7);
}
*[data-lively-morphid="1"] .messageMorph:hover .messageText, *[data-lively-morphid="1"].messageMorph:hover .messageText, *[data-lively-morphid="1"] .messageMorph.maximized .messageText, *[data-lively-morphid="1"].messageMorph.maximized .messageText {
margin-left: 0px;
}
*[data-lively-morphid="1"] .messageMorph.success, *[data-lively-morphid="1"].messageMorph.success {
background: rgba(0,180,0,0.6);
}
*[data-lively-morphid="1"] .messageMorph.success .messageText, *[data-lively-morphid="1"].messageMorph.success .messageText {
text-shadow: 0px 1px 2px rgba(220, 255, 220, 0.7);
}
*[data-lively-morphid="1"] .messageMorph.failure, *[data-lively-morphid="1"].messageMorph.failure {
background: rgb(180,0,0);
}
*[data-lively-morphid="1"] .messageMorph.failure .messageText, *[data-lively-morphid="1"].messageMorph.failure .messageText {
text-shadow: 0px 1px 2px rgba(255, 220, 220, 0.7);
}
*[data-lively-morphid="1"] #ace-editor, *[data-lively-morphid="1"]#ace-editor {
position: absolute;
top: 0;
bottom: 0;
left: 0;
right: 0;
}
*[data-lively-morphid="1"] .ace-global-var, *[data-lively-morphid="1"].ace-global-var {
position: absolute;
border-bottom: 2px rgb(255,120, 0) dotted;
}
*[data-lively-morphid="1"] .ace_dark .ace-global-var, *[data-lively-morphid="1"].ace_dark .ace-global-var {
border-bottom: 2px rgba(255,150, 0, 0.6) dotted;
}
*[data-lively-morphid="1"] .ace-syntax-error, *[data-lively-morphid="1"].ace-syntax-error {
position: absolute;
border-radius: 3px;
background: rgba(255,0,0,0.7);
}
*[data-lively-morphid="1"] .ace-marker-warning, *[data-lively-morphid="1"].ace-marker-warning {
position: absolute;
border-radius: 3px;
background: rgba(204,204,0,0.7);
}
</style><style type="text/css" id="style-for-1">*[data-lively-morphid="1"] span, span[data-lively-morphid="1"] {
font-family: 13px Helvetica, arial, freesans, clean, sans-serif;
line-height: 1.3;
}
</style><style type="text/css" id="lively-base-style">*:not(:focus) {
-moz-user-select: -moz-none;
-webkit-user-select: none;
-ms-user-select: none;
user-select: none;
}
.selectable *, .visibleSelection:focus, .visibleSelection:focus * {
-moz-user-select: element;
-webkit-user-select: auto;
-ms-user-select: auto;
user-select: auto;
}
.morphNode {
-webkit-transform-origin: 0 0;
}
.Morph {
/* to fix z-index / z-transform bug: https://code.google.com/p/chromium/issues/detail?id=205744 */
-webkit-transform: translate(0,0);
}
.World {
/* World does not set transform to allow fixed positioning */
-webkit-transform: none;
}
:focus:not(input) {
outline:none;
}
.visibleSelection:focus {
outline: 2px auto -webkit-focus-ring-color;
}
</style><style type="text/css" id="ace-chrome">.ace-chrome .ace_gutter {background: #ebebeb;color: #333;overflow : hidden;}.ace-chrome .ace_print-margin {width: 1px;background: #e8e8e8;}.ace-chrome {background-color: #FFFFFF;}.ace-chrome .ace_cursor {color: black;}.ace-chrome .ace_invisible {color: rgb(191, 191, 191);}.ace-chrome .ace_constant.ace_buildin {color: rgb(88, 72, 246);}.ace-chrome .ace_constant.ace_language {color: rgb(88, 92, 246);}.ace-chrome .ace_constant.ace_library {color: rgb(6, 150, 14);}.ace-chrome .ace_invalid {background-color: rgb(153, 0, 0);color: white;}.ace-chrome .ace_fold {}.ace-chrome .ace_support.ace_function {color: rgb(60, 76, 114);}.ace-chrome .ace_support.ace_constant {color: rgb(6, 150, 14);}.ace-chrome .ace_support.ace_type,.ace-chrome .ace_support.ace_class.ace-chrome .ace_support.ace_other {color: rgb(109, 121, 222);}.ace-chrome .ace_variable.ace_parameter {font-style:italic;color:#FD971F;}.ace-chrome .ace_keyword.ace_operator {color: rgb(104, 118, 135);}.ace-chrome .ace_comment {color: #236e24;}.ace-chrome .ace_comment.ace_doc {color: #236e24;}.ace-chrome .ace_comment.ace_doc.ace_tag {color: #236e24;}.ace-chrome .ace_constant.ace_numeric {color: rgb(0, 0, 205);}.ace-chrome .ace_variable {color: rgb(49, 132, 149);}.ace-chrome .ace_xml-pe {color: rgb(104, 104, 91);}.ace-chrome .ace_entity.ace_name.ace_function {color: #0000A2;}.ace-chrome .ace_heading {color: rgb(12, 7, 255);}.ace-chrome .ace_list {color:rgb(185, 6, 144);}.ace-chrome .ace_marker-layer .ace_selection {background: rgb(181, 213, 255);}.ace-chrome .ace_marker-layer .ace_step {background: rgb(252, 255, 0);}.ace-chrome .ace_marker-layer .ace_stack {background: rgb(164, 229, 101);}.ace-chrome .ace_marker-layer .ace_bracket {margin: -1px 0 0 -1px;border: 1px solid rgb(192, 192, 192);}.ace-chrome .ace_marker-layer .ace_active-line {background: rgba(0, 0, 0, 0.07);}.ace-chrome .ace_gutter-active-line {background-color : #dcdcdc;}.ace-chrome .ace_marker-layer .ace_selected-word {background: rgb(250, 250, 255);border: 1px solid rgb(200, 200, 250);}.ace-chrome .ace_storage,.ace-chrome .ace_keyword,.ace-chrome .ace_meta.ace_tag {color: rgb(147, 15, 128);}.ace-chrome .ace_string.ace_regex {color: rgb(255, 0, 0)}.ace-chrome .ace_string {color: #1A1AA6;}.ace-chrome .ace_entity.ace_other.ace_attribute-name {color: #994409;}.ace-chrome .ace_indent-guide {background: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAACCAYAAACZgbYnAAAAE0lEQVQImWP4////f4bLly//BwAmVgd1/w11/gAAAABJRU5ErkJggg==") right repeat-y;}</style></head><body><div class="morphNode" tabindex="-1" data-lively-node-type="morph-node" style="position: absolute; left: 5px; top: 5px;"><div id="null" class="Morph World" data-lively-morphid="1" style="position: absolute; left: 0px; top: 0px; width: 1498px; height: 998px; background-color: rgb(240, 240, 240); opacity: 1; border: 1px solid rgb(216, 216, 216); padding: 0px; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; overflow: hidden; background-position: initial initial; background-repeat: initial initial;"><div data-lively-node-type="origin-node" style="top: 0px !important; left: 0px !important; position: absolute !important; margin-top: -1px !important; margin-left: -1px !important;"><div class="morphNode" tabindex="-1" data-lively-node-type="morph-node" style="position: absolute; left: 75px; top: 29px;"><div data-lively-morphid="633C7BDD-B8DA-4550-9D71-1FC884F3F185" class="Morph CodeEditor ace_editor ace-chrome" id="null" draggable="false" style="width: 758px; height: 104px; border: 0px solid rgb(95, 94, 95);"><textarea class="ace_text-input" wrap="off" spellcheck="false" style="opacity: 0; height: 14px; width: 7px; right: 747px; bottom: 6px;"></textarea><div class="ace_gutter" style="display: none;"><div class="ace_layer ace_gutter-layer ace_folding-enabled" style="margin-top: 0px; height: 416px; width: 47px;"><div class="ace_gutter-cell " style="height: 14px;">1</div><div class="ace_gutter-cell " style="height: 14px;">2</div><div class="ace_gutter-cell " style="height: 14px;">3</div><div class="ace_gutter-cell " style="height: 14px;">4</div><div class="ace_gutter-cell " style="height: 14px;">5</div><div class="ace_gutter-cell " style="height: 14px;">6</div><div class="ace_gutter-cell " style="height: 14px;">7</div><div class="ace_gutter-cell " style="height: 14px;">8</div><div class="ace_gutter-cell " style="height: 14px;">9</div><div class="ace_gutter-cell " style="height: 14px;">10</div><div class="ace_gutter-cell " style="height: 14px;">11</div><div class="ace_gutter-cell " style="height: 14px;">12</div><div class="ace_gutter-cell " style="height: 14px;">13</div><div class="ace_gutter-cell " style="height: 14px;">14</div></div><div class="ace_gutter-active-line" style="top: 84px; height: 14px;"></div></div><div class="ace_scroller" style="left: 0px; right: 0px; bottom: 0px;"><div class="ace_content" style="margin-top: 0px; width: 758px; height: 132px; margin-left: 0px;"><div class="ace_layer ace_print-margin-layer"><div class="ace_print-margin" style="left: 564px; visibility: hidden;"></div></div><div class="ace_layer ace_marker-layer"><div class="ace-global-var" style="height:14px;width:14px;top:14px;left:4px;"></div><div class="ace-global-var" style="height:14px;width:14px;top:28px;left:4px;"></div><div class="ace-global-var" style="height:14px;width:21px;top:42px;left:4px;"></div><div class="ace-global-var" style="height:14px;width:14px;top:42px;left:144px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:56px;left:4px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:70px;left:4px;"></div></div><div class="ace_layer ace_text-layer" style="padding: 0px 4px;"><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_comment">// first, run the following statements</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_identifier">z3</span> <span class="ace_keyword ace_operator">=</span> <span class="ace_variable ace_language">this</span><span class="ace_punctuation ace_operator">.</span><span class="ace_keyword">get</span><span class="ace_paren ace_lparen">(</span><span class="ace_string">"Z3Module"</span><span class="ace_paren ace_rparen">)</span><span class="ace_punctuation ace_operator">.</span><span class="ace_identifier">module</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_identifier">z3</span><span class="ace_punctuation ace_operator">.</span><span class="ace_identifier">initialize</span><span class="ace_paren ace_lparen">(</span><span class="ace_paren ace_rparen">)</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_identifier">bbb</span><span class="ace_punctuation ace_operator">.</span><span class="ace_identifier">defaultSolver</span> <span class="ace_keyword ace_operator">=</span> <span class="ace_identifier">z3</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_identifier">a</span> <span class="ace_keyword ace_operator">=</span> <span class="ace_identifier">pt</span><span class="ace_paren ace_lparen">(</span><span class="ace_constant ace_numeric">0</span><span class="ace_punctuation ace_operator">,</span><span class="ace_constant ace_numeric">0</span><span class="ace_paren ace_rparen">)</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_identifier">b</span> <span class="ace_keyword ace_operator">=</span> <span class="ace_identifier">pt</span><span class="ace_paren ace_lparen">(</span><span class="ace_constant ace_numeric">1</span><span class="ace_punctuation ace_operator">,</span><span class="ace_constant ace_numeric">1</span><span class="ace_paren ace_rparen">)</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"></div></div></div><div class="ace_layer ace_marker-layer"></div><div class="ace_layer ace_cursor-layer ace_hidden-cursors"><div class="ace_cursor" style="left: 4px; top: 84px; width: 7px; height: 14px;"></div></div></div></div><div style="height: auto; width: auto; top: -100px; left: -100px; visibility: hidden; position: fixed; overflow: visible; white-space: nowrap;">XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX</div><div class="ace_scrollbar" style="width: 20px; overflow-y: scroll; bottom: 0px; display: none;"><div class="ace_scrollbar-inner" style="width: 20px; height: 98px;"></div></div><div class="ace_scrollbar-h" style="height: 20px; display: none; overflow-x: scroll; left: 0px; right: 0px;"><div class="ace_scrollbar-inner" style="height: 20px; width: 758px;"></div></div></div></div><div class="morphNode" tabindex="-1" data-lively-node-type="morph-node" style="position: absolute; left: 0px; top: 0px;"><div data-lively-morphid="6FAD4CAC-2287-4D4C-80DC-A28EA5AB79FC" 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); background-position: initial initial; background-repeat: initial initial;"><div id="A7E378D4-9767-4377-9F6C-E3C721930158"> <embed name="nacl_module" id="A7E378D4-9767-4377-9F6C-E3C721930158z3" width="0" height="0" src="/babelsberg/core/../users/timfelgentreff/z3//z3.nmf" type="application/x-nacl"> </div></div></div><div class="morphNode" data-lively-node-type="morph-node" style="position: absolute; left: 1056px; top: 93px;"><div id="null" class="Morph Text" data-lively-morphid="8499631B-7203-4A97-8B26-C1136E40714F" style="position: absolute; left: 0px; top: 0px; width: 376.7px; height: 48px; opacity: 1; border: 0px solid rgb(0, 0, 0); padding: 2px 4px; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; overflow: visible;"><div class="visibleSelection" tabindex="-1" contenteditable="true" style="position: absolute; word-wrap: break-word; font-size: 14pt; font-family: Arial, sans-serif; white-space: pre-wrap; color: rgb(0, 0, 0); word-break: normal; min-width: calc(100% - 8px);"><span id="_100">Just a small Demo of NaCl Z3 with Babelsberg. <br></span></div></div></div><div class="morphNode" tabindex="-1" data-lively-node-type="morph-node" style="position: absolute; left: 73px; top: 156px;"><div class="Morph CodeEditor ace_editor ace-chrome ace_multiselect" id="null" data-lively-morphid="C8A62B34-1533-4449-8EFE-D8FAD3DC2470" draggable="false" style="width: 762px; height: 59px; border: 0px solid rgb(95, 94, 95);"><textarea class="ace_text-input" wrap="off" spellcheck="false" style="opacity: 0; height: 14px; width: 7px; right: 625px; bottom: 31px;"></textarea><div class="ace_gutter" style="display: none;"><div class="ace_layer ace_gutter-layer ace_folding-enabled" style="margin-top: 0px; height: 416px; width: 40px;"><div class="ace_gutter-cell " style="height: 14px;">1</div></div><div class="ace_gutter-active-line" style="top: 0px; height: 28px;"></div></div><div class="ace_scroller" style="left: 0px; right: 0px; bottom: 0px;"><div class="ace_content" style="margin-top: 0px; width: 762px; height: 101px; margin-left: 0px;"><div class="ace_layer ace_print-margin-layer"><div class="ace_print-margin" style="left: 564px; visibility: hidden;"></div></div><div class="ace_layer ace_marker-layer"><div class="ace-global-var" style="height:14px;width:7px;top:28px;left:74px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:28px;left:123px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:28px;left:221px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:28px;left:242px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:28px;left:263px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:28px;left:312px;"></div></div><div class="ace_layer ace_text-layer" style="padding: 0px 4px;"><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_comment">// print this next line entirely. It will have the old values, because NaCLZ3 is async and had no time </span></div><div class="ace_line" style="height:14px"><span class="ace_comment">solving the system</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_identifier">always</span><span class="ace_punctuation ace_operator">:</span> <span class="ace_paren ace_lparen">{</span> <span class="ace_identifier">a</span><span class="ace_punctuation ace_operator">.</span><span class="ace_identifier">dist</span><span class="ace_paren ace_lparen">(</span><span class="ace_identifier">b</span><span class="ace_paren ace_rparen">)</span> <span class="ace_keyword ace_operator">==</span> <span class="ace_constant ace_numeric">200</span> <span class="ace_paren ace_rparen">}</span><span class="ace_punctuation ace_operator">;</span> <span class="ace_paren ace_lparen">[</span><span class="ace_identifier">a</span><span class="ace_punctuation ace_operator">,</span> <span class="ace_identifier">b</span><span class="ace_punctuation ace_operator">,</span> <span class="ace_identifier">a</span><span class="ace_punctuation ace_operator">.</span><span class="ace_identifier">dist</span><span class="ace_paren ace_lparen">(</span><span class="ace_identifier">b</span><span class="ace_paren ace_rparen">)]</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"></div></div></div><div class="ace_layer ace_marker-layer"></div><div class="ace_layer ace_cursor-layer ace_hidden-cursors"><div class="ace_cursor" style="left: 333px; top: 28px; width: 7px; height: 14px;"></div><div class="ace_cursor" style="left: 130px; top: 14px; width: 7px; height: 14px;"></div></div></div></div><div style="height: auto; width: auto; top: -100px; left: -100px; visibility: hidden; position: fixed; overflow: visible; white-space: nowrap;">XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX</div><div class="ace_scrollbar" style="width: 20px; display: none; overflow-y: scroll; bottom: 0px;"><div class="ace_scrollbar-inner" style="width: 20px; height: 56px;"></div></div><div class="ace_scrollbar-h" style="height: 20px; display: none; overflow-x: scroll; left: 0px; right: 0px;"><div class="ace_scrollbar-inner" style="height: 20px; width: 762px;"></div></div></div></div><div class="morphNode" tabindex="-1" data-lively-node-type="morph-node" style="position: absolute; left: 72px; top: 248px;"><div class="Morph CodeEditor ace_editor ace-chrome ace_multiselect" id="null" data-lively-morphid="74898489-FC32-4356-B0A9-8C6CEFBA9107" style="width: 762px; height: 54px; border: 0px solid rgb(95, 94, 95);"><textarea class="ace_text-input" wrap="off" spellcheck="false" style="opacity: 0; height: 14px; width: 7px; right: 632px; bottom: 26px;"></textarea><div class="ace_gutter" style="display: none;"><div class="ace_layer ace_gutter-layer ace_folding-enabled" style="margin-top: 0px; height: 416px; width: 40px;"><div class="ace_gutter-cell " style="height: 14px;">1</div></div><div class="ace_gutter-active-line" style="top: 14px; height: 14px;"></div></div><div class="ace_scroller" style="left: 0px; right: 0px; bottom: 0px;"><div class="ace_content" style="margin-top: 0px; width: 762px; height: 82px; margin-left: 0px;"><div class="ace_layer ace_print-margin-layer"><div class="ace_print-margin" style="left: 564px; visibility: hidden;"></div></div><div class="ace_layer ace_marker-layer"><div class="ace-global-var" style="height:14px;width:7px;top:14px;left:11px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:14px;left:32px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:14px;left:53px;"></div><div class="ace-global-var" style="height:14px;width:7px;top:14px;left:102px;"></div><div class="ace_bracket ace_start" style="height:14px;width:7px;top:14px;left:4px;"></div></div><div class="ace_layer ace_text-layer" style="padding: 0px 4px;"><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_comment">// Afterwards, print this, the async assignment should have happened by now (unless Z3 crashed)</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"><span class="ace_paren ace_lparen">[</span><span class="ace_identifier">a</span><span class="ace_punctuation ace_operator">,</span> <span class="ace_identifier">b</span><span class="ace_punctuation ace_operator">,</span> <span class="ace_identifier">a</span><span class="ace_punctuation ace_operator">.</span><span class="ace_identifier">dist</span><span class="ace_paren ace_lparen">(</span><span class="ace_identifier">b</span><span class="ace_paren ace_rparen">)]</span></div></div><div class="ace_line_group"><div class="ace_line" style="height:14px"></div></div></div><div class="ace_layer ace_marker-layer"></div><div class="ace_layer ace_cursor-layer ace_hidden-cursors"><div class="ace_cursor" style="left: 4px; top: 0px; width: 7px; height: 14px;"></div><div class="ace_cursor" style="left: 4px; top: 28px; width: 7px; height: 14px;"></div><div class="ace_cursor" style="left: 123px; top: 14px; width: 7px; height: 14px;"></div></div></div></div><div style="height: auto; width: auto; top: -100px; left: -100px; visibility: hidden; position: fixed; overflow: visible; white-space: nowrap;">XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX</div><div class="ace_scrollbar" style="width: 20px; overflow-y: scroll; bottom: 0px; display: none;"><div class="ace_scrollbar-inner" style="width: 20px; height: 42px;"></div></div><div class="ace_scrollbar-h" style="height: 20px; display: none; overflow-x: scroll; left: 0px; right: 0px;"><div class="ace_scrollbar-inner" style="height: 20px; width: 762px;"></div></div></div></div><div class="morphNode" tabindex="-1" data-lively-node-type="morph-node" style="position: absolute; left: 1280px; top: 912px; z-index: 999;"><div id="null" data-lively-morphid="E4219643-4B88-4643-9A0E-02D21FDF59A7" class="Morph Box messageMorph success" style="position: absolute; left: 0px; top: 0px; padding: 0px; width: 198px; height: 66px; overflow: hidden; border-width: 1px;"><div data-lively-node-type="origin-node" style="top: 0px !important; left: 0px !important; position: absolute !important; margin-top: -1px !important; margin-left: -1px !important;"><div class="morphNode" data-lively-node-type="morph-node" style="position: absolute; left: 4.444444444444445px; top: 2.833333333333334px; cursor: default;"><div id="null" data-lively-morphid="D0ED3871-EC5B-4F32-B74F-01FB9AF17921" class="Morph Text messageText" style="position: absolute; left: 9.555555555555555px; top: 9.166666666666666px; padding: 2px 4px; width: 164px; height: 40px; overflow: visible; border-width: 0px;"><div class="" tabindex="-1" contenteditable="false" style="position: absolute; word-wrap: break-word; white-space: pre; word-break: inherit; min-width: calc(100% - 8px); min-height: calc(100% - 4px); vertical-align: inherit; line-height: inherit; text-decoration: inherit; display: inherit;"><span id="_24470">World successfully saved</span></div></div></div><div class="morphNode" data-lively-node-type="morph-node" style="position: absolute; left: 0px; top: 0px;"><div id="null" data-lively-morphid="A0074CD5-B574-4F9D-AD25-17B82921C941" class="Morph Text closeButton" style="position: absolute; left: 0px; top: 0px; padding: 2px 4px; width: 22px; height: 64px; overflow: hidden; border-width: 0px;"><div class="visibleSelection" tabindex="-1" contenteditable="true" style="position: absolute; word-wrap: break-word; white-space: pre-wrap; word-break: inherit; min-width: calc(100% - 8px); min-height: calc(100% - 4px); vertical-align: inherit; line-height: inherit; text-decoration: inherit; display: inherit;"><span id="_24469">✗</span></div></div></div></div></div></div><div class="morphNode" tabindex="-1" data-lively-node-type="morph-node" style="position: absolute; left: 606px; top: 466px; cursor: default; pointer-events: none;"><div id="null" class="Morph HandMorph" data-lively-morphid="2" style="position: absolute; left: 0px; top: 0px; width: 2px; height: 2px; background-color: rgb(204, 0, 0); opacity: 1; border: 0px solid rgb(204, 0, 0); padding: 0px; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; overflow: visible; background-position: initial initial; background-repeat: initial initial;"></div></div></div></div></div><script type="text/javascript" src="../../core/lively/bootstrap.js"></script><script type="text/x-lively-world" id="NaClZ3" data-migrationlevel="8">{"id":0,"registry":{"0":{"_ClipMode":"hidden","_Scale":1,"_Scroll":[0,134],"__layered_draggingEnabled__":true,"doNotSerialize":["$$baseThemeStyleSheet","$$savedWorldAsURL"],"draggingEnabled":true,"droppingEnabled":true,"eventHandler":{"__isSmartRef__":true,"id":1},"grabbingEnabled":false,"halosEnabled":true,"hands":[{"__isSmartRef__":true,"id":2}],"id":1,"prevScroll":[0,0],"scripts":[],"shape":{"__isSmartRef__":true,"id":5},"showsHalos":false,"showsMorphMenu":true,"submorphs":[{"__isSmartRef__":true,"id":6},{"__isSmartRef__":true,"id":10},{"__isSmartRef__":true,"id":37},{"__isSmartRef__":true,"id":50},{"__isSmartRef__":true,"id":54},{"__isSmartRef__":true,"id":2}],"_traitConfig_":[{"__isSmartRef__":true,"id":58}],"#startLetters":"","_StyleSheet":"span {\n font-family: 13px Helvetica, arial, freesans, clean, sans-serif;\n line-height: 1.3;\n}","partsBinMetaInfo":{"__isSmartRef__":true,"id":60},"eventStartPos":null,"__serializedExpressions__":["lastModified","_Position"],"attributeConnections":[{"__isSmartRef__":true,"id":61}],"doNotCopyProperties":["$$savedWorldAsURL"],"__LivelyClassName__":"lively.morphic.World","__SourceModuleName__":"Global.lively.morphic.Core","lastModified":"new Date(\"Thu Feb 27 2014 11:57:58 GMT+0100 (W. Europe Standard Time)\")","_Position":"lively.pt(0.0,0.0)"},"1":{"morph":{"__isSmartRef__":true,"id":0},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"2":{"_ClipMode":"visible","_HandStyle":"default","_PointerEvents":"none","_Rotation":0,"_Scale":1,"_world":{"__isSmartRef__":true,"id":0},"carriesGrabbedMorphs":false,"droppingEnabled":false,"eventHandler":{"__isSmartRef__":true,"id":3},"eventsAreIgnored":true,"halosEnabled":false,"id":2,"lastScrollTime":1359763263838,"owner":{"__isSmartRef__":true,"id":0},"scripts":[],"shape":{"__isSmartRef__":true,"id":4},"submorphs":[],"haloTarget":null,"__serializedExpressions__":["_Position"],"__LivelyClassName__":"lively.morphic.HandMorph","__SourceModuleName__":"Global.lively.morphic.Events","withLayers":["Global.NoMagnetsLayer"],"_Position":"lively.pt(606.0,466.0)"},"3":{"morph":{"__isSmartRef__":true,"id":2},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"4":{"_ClipMode":"visible","__serializedExpressions__":["_Extent","_Fill","_Padding","_Position"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Extent":"lively.pt(2.0,2.0)","_Fill":"Color.rgb(204,0,0)","_Padding":"lively.rect(0,0,0,0)","_Position":"lively.pt(0.0,0.0)"},"5":{"_ClipMode":"visible","_BorderWidth":1,"__serializedExpressions__":["_Extent","_Fill","_Padding","_Position","_BorderColor"],"__LivelyClassName__":"lively.morphic.Shapes.Rectangle","__SourceModuleName__":"Global.lively.morphic.Shapes","_Extent":"lively.pt(1500.0,1000.0)","_Fill":"Color.rgb(240,240,240)","_Padding":"lively.rect(0,0,0,0)","_Position":"lively.pt(0.0,0.0)","_BorderColor":"Color.rgb(216,216,216)"},"6":{"storedTextString":"// first, run the following statements\nz3 = this.get(\"Z3Module\").module\nz3.initialize()\nbbb.defaultSolver = z3\na = pt(0,0)\nb = pt(1,1)\n","submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":7},"derivationIds":[],"id":"633C7BDD-B8DA-4550-9D71-1FC884F3F185","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,"__serializedExpressions__":["_Position","distanceToDragEvent"],"storedString":"3 + 4","owner":{"__isSmartRef__":true,"id":0},"eventHandler":{"__isSmartRef__":true,"id":8},"layout":{"__isSmartRef__":true,"id":9},"accessibleInInactiveWindow":true,"allowInput":true,"_isFocused":false,"showsHalos":false,"_Rotation":0,"_Scale":1,"prevScroll":[0,0],"__LivelyClassName__":"lively.morphic.CodeEditor","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Position":"lively.pt(75.0,29.0)","distanceToDragEvent":"lively.pt(575.0,-15.0)"},"7":{"__serializedExpressions__":["_Extent","_BorderColor","extent"],"__LivelyClassName__":"lively.morphic.CodeEditorShape","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Extent":"lively.pt(758.0,104.0)","_BorderColor":"Color.rgb(95,94,95)","extent":"lively.pt(758.0,104.0)"},"8":{"morph":{"__isSmartRef__":true,"id":6},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"9":{"resizeWidth":true,"resizeHeight":true},"10":{"shape":{"__isSmartRef__":true,"id":11},"submorphs":[],"scripts":[],"_ClipMode":"visible","derivationIds":[],"id":"6FAD4CAC-2287-4D4C-80DC-A28EA5AB79FC","droppingEnabled":true,"halosEnabled":true,"_StyleClassNames":["Morph","HtmlWrapperMorph","selectable"],"name":"Z3Module","owner":{"__isSmartRef__":true,"id":0},"eventHandler":{"__isSmartRef__":true,"id":12},"module":{"__isSmartRef__":true,"id":13},"__LivelyClassName__":"lively.morphic.HtmlWrapperMorph","__SourceModuleName__":"Global.lively.morphic.AdditionalMorphs"},"11":{"_BorderWidth":0,"__serializedExpressions__":["_Padding","_Position","_Extent","_Fill","extent"],"stringifiedShapeNode":"\u003cdiv data-lively-morphid=\"6FAD4CAC-2287-4D4C-80DC-A28EA5AB79FC\" 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); background-position: initial initial; background-repeat: initial initial;\">\u003cdiv id=\"A7E378D4-9767-4377-9F6C-E3C721930158\"> \u003cembed name=\"nacl_module\" id=\"A7E378D4-9767-4377-9F6C-E3C721930158z3\" width=\"0\" height=\"0\" src=\"/babelsberg/core/../users/timfelgentreff/z3//z3.nmf\" type=\"application/x-nacl\"> \u003c/div>\u003c/div>","__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)"},"12":{"morph":{"__isSmartRef__":true,"id":10},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"13":{"uuid":"A7E378D4-9767-4377-9F6C-E3C721930158","url":"/babelsberg/core/../users/timfelgentreff/z3/","embedMorph":{"__isSmartRef__":true,"id":10},"variables":[{"__isSmartRef__":true,"id":14},{"__isSmartRef__":true,"id":17},{"__isSmartRef__":true,"id":20},{"__isSmartRef__":true,"id":23}],"cvarsByName":{"__isSmartRef__":true,"id":26},"varsByName":{"__isSmartRef__":true,"id":27},"constraints":[{"__isSmartRef__":true,"id":28}],"__uuid__":"39A58125-6647-4EC2-8930-11366E7882ED","__LivelyClassName__":"NaCLZ3","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"14":{"name":"x0","value":0.125,"solver":{"__isSmartRef__":true,"id":13},"__solver__":{"__isSmartRef__":true,"id":13},"__cvar__":{"__isSmartRef__":true,"id":15},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"15":{"__serializedExpressions__":["obj"],"ivarname":"x","newIvarname":"$1$1x","_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":16},"cachedDefiningSolver":{"__isSmartRef__":true,"id":13},"cachedDefiningVar":{"__isSmartRef__":true,"id":14},"$$isStoring":false,"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(0.1,-200.0)"},"16":{"39A58125-6647-4EC2-8930-11366E7882ED":{"__isSmartRef__":true,"id":14}},"17":{"name":"x1","value":0,"solver":{"__isSmartRef__":true,"id":13},"__solver__":{"__isSmartRef__":true,"id":13},"__cvar__":{"__isSmartRef__":true,"id":18},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"18":{"__serializedExpressions__":["obj"],"ivarname":"x","newIvarname":"$1$1x","_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":19},"cachedDefiningSolver":{"__isSmartRef__":true,"id":13},"cachedDefiningVar":{"__isSmartRef__":true,"id":17},"$$isStoring":false,"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(0.0,0.0)"},"19":{"39A58125-6647-4EC2-8930-11366E7882ED":{"__isSmartRef__":true,"id":17}},"20":{"name":"y2","value":-199.9999609374,"solver":{"__isSmartRef__":true,"id":13},"__solver__":{"__isSmartRef__":true,"id":13},"__cvar__":{"__isSmartRef__":true,"id":21},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"21":{"__serializedExpressions__":["obj"],"ivarname":"y","newIvarname":"$1$1y","_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":22},"cachedDefiningSolver":{"__isSmartRef__":true,"id":13},"cachedDefiningVar":{"__isSmartRef__":true,"id":20},"$$isStoring":false,"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(0.1,-200.0)"},"22":{"39A58125-6647-4EC2-8930-11366E7882ED":{"__isSmartRef__":true,"id":20}},"23":{"name":"y3","value":0,"solver":{"__isSmartRef__":true,"id":13},"__solver__":{"__isSmartRef__":true,"id":13},"__cvar__":{"__isSmartRef__":true,"id":24},"__LivelyClassName__":"NaCLZ3Variable","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"24":{"__serializedExpressions__":["obj"],"ivarname":"y","newIvarname":"$1$1y","_constraints":[],"_externalVariables":{"__isSmartRef__":true,"id":25},"cachedDefiningSolver":{"__isSmartRef__":true,"id":13},"cachedDefiningVar":{"__isSmartRef__":true,"id":23},"$$isStoring":false,"__LivelyClassName__":"ConstrainedVariable","__SourceModuleName__":"Global.users.timfelgentreff.babelsberg.constraintinterpreter","obj":"lively.pt(0.0,0.0)"},"25":{"39A58125-6647-4EC2-8930-11366E7882ED":{"__isSmartRef__":true,"id":23}},"26":{"x0":{"__isSmartRef__":true,"id":15},"x1":{"__isSmartRef__":true,"id":18},"y2":{"__isSmartRef__":true,"id":21},"y3":{"__isSmartRef__":true,"id":24}},"27":{"x0":{"__isSmartRef__":true,"id":14},"x1":{"__isSmartRef__":true,"id":17},"y2":{"__isSmartRef__":true,"id":20},"y3":{"__isSmartRef__":true,"id":23}},"28":{"solver":{"__isSmartRef__":true,"id":13},"op":"=","left":{"__isSmartRef__":true,"id":29},"right":{"__isSmartRef__":true,"id":36},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"29":{"solver":{"__isSmartRef__":true,"id":13},"op":"^","left":{"__isSmartRef__":true,"id":30},"right":{"__isSmartRef__":true,"id":35},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"30":{"solver":{"__isSmartRef__":true,"id":13},"op":"+","left":{"__isSmartRef__":true,"id":31},"right":{"__isSmartRef__":true,"id":33},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"31":{"solver":{"__isSmartRef__":true,"id":13},"op":"*","left":{"__isSmartRef__":true,"id":32},"right":{"__isSmartRef__":true,"id":32},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"32":{"solver":{"__isSmartRef__":true,"id":13},"op":"-","left":{"__isSmartRef__":true,"id":14},"right":{"__isSmartRef__":true,"id":17},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"33":{"solver":{"__isSmartRef__":true,"id":13},"op":"*","left":{"__isSmartRef__":true,"id":34},"right":{"__isSmartRef__":true,"id":34},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"34":{"solver":{"__isSmartRef__":true,"id":13},"op":"-","left":{"__isSmartRef__":true,"id":20},"right":{"__isSmartRef__":true,"id":23},"__LivelyClassName__":"NaCLZ3BinaryExpression","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"35":{"value":0.5,"solver":{"__isSmartRef__":true,"id":13},"__LivelyClassName__":"NaCLZ3Constant","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"36":{"value":200,"solver":{"__isSmartRef__":true,"id":13},"__LivelyClassName__":"NaCLZ3Constant","__SourceModuleName__":"Global.users.timfelgentreff.z3.NaClZ3"},"37":{"submorphs":[],"scripts":[],"id":"8499631B-7203-4A97-8B26-C1136E40714F","shape":{"__isSmartRef__":true,"id":38},"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":"Text","partsBinMetaInfo":{"__isSmartRef__":true,"id":39},"textChunks":[{"__isSmartRef__":true,"id":47}],"charsReplaced":"Some Text","lastFindLoc":9,"prevScroll":[0,0],"eventHandler":{"__isSmartRef__":true,"id":49},"_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,"previousSelection":[0,0],"isBeingDragged":false,"moved":true,"__serializedExpressions__":["_Position","textColor","_Padding"],"owner":{"__isSmartRef__":true,"id":0},"_Rotation":0,"_Scale":1,"priorSelectionRange":[35,35],"__LivelyClassName__":"lively.morphic.Text","__SourceModuleName__":"Global.lively.morphic.TextCore","_Position":"lively.pt(1056.0,93.0)","textColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(5,5,0,0)"},"38":{"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(384.7,52.0)","_BorderColor":"Color.rgb(0,0,0)","_Padding":"lively.rect(4,2,0,0)"},"39":{"partsSpaceName":"PartsBin/Basic","migrationLevel":4,"comment":"a simple text morph","partName":"Text","changes":[{"__isSmartRef__":true,"id":40},{"__isSmartRef__":true,"id":41},{"__isSmartRef__":true,"id":42},{"__isSmartRef__":true,"id":43},{"__isSmartRef__":true,"id":44},{"__isSmartRef__":true,"id":45},{"__isSmartRef__":true,"id":46}],"__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)\")"},"40":{"__serializedExpressions__":["date"],"author":"jenslincke","message":"no comment","id":"A3BA0C1E-7E83-43BF-9EC6-4F4BB3835D62","date":"new Date(\"Tue Mar 12 2013 17:31:56 GMT+0100 (W. Europe Standard Time)\")"},"41":{"__serializedExpressions__":["date"],"author":"timfelgentreff","message":"better text","id":"B904F9AC-6EA0-4A8A-83C9-AFC85AADC194","date":"new Date(\"Tue May 08 2012 14:18:18 GMT+0200 (W. Europe Daylight Time)\")"},"42":{"__serializedExpressions__":["date"],"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"785D95BD-7858-43EB-90E6-A1C085E2F2B9","date":"new Date(\"Sat Apr 21 2012 07:32:09 GMT+0200 (W. Europe Daylight Time)\")"},"43":{"__serializedExpressions__":["date"],"author":"tessi","message":"TextBubble calls its disappear() function after showBubbleTime() milliseconds now","id":"0F4DE333-A551-4961-B29D-70270977EBEF","date":"new Date(\"Sat Apr 21 2012 07:31:43 GMT+0200 (W. Europe Daylight Time)\")"},"44":{"__serializedExpressions__":["date"],"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","date":"new Date(\"Mon Feb 27 2012 06:20:38 GMT+0100 (W. Europe Standard Time)\")"},"45":{"__serializedExpressions__":["date"],"author":"robertkrahn","message":"text click was broken?","id":"9D065E14-9653-4B2A-9A2E-3AD84EBBC3E0","date":"new Date(\"Sat Apr 21 2012 16:30:30 GMT+0200 (W. Europe Daylight Time)\")"},"46":{"__serializedExpressions__":["date"],"author":"jenslincke","message":"no comment","id":"9E495E1B-6E6D-4A89-9F9E-85AF618DC598","date":"new Date(\"Tue Mar 12 2013 18:36:22 GMT+0100 (W. Europe Standard Time)\")"},"47":{"style":{"__isSmartRef__":true,"id":48},"morph":{"__isSmartRef__":true,"id":37},"chunkOwner":{"__isSmartRef__":true,"id":37},"storedString":"Just a small Demo of NaCl Z3 with Babelsberg. ","_id":"_100","__LivelyClassName__":"lively.morphic.TextChunk","__SourceModuleName__":"Global.lively.morphic.TextCore"},"48":{"__LivelyClassName__":"lively.morphic.TextEmphasis","__SourceModuleName__":"Global.lively.morphic.TextCore"},"49":{"morph":{"__isSmartRef__":true,"id":37},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"50":{"storedTextString":"// print this next line entirely. It will have the old values, because NaCLZ3 is async and had no time solving the system\nalways: { a.dist(b) == 200 }; [a, b, a.dist(b)]\n","submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":51},"derivationIds":["633C7BDD-B8DA-4550-9D71-1FC884F3F185"],"id":"C8A62B34-1533-4449-8EFE-D8FAD3DC2470","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":52},"layout":{"__isSmartRef__":true,"id":53},"accessibleInInactiveWindow":true,"allowInput":true,"_isFocused":false,"showsHalos":false,"_Rotation":0,"_Scale":1,"prevScroll":[0,0],"__serializedExpressions__":["_Position","distanceToDragEvent"],"name":"CodeEditor","owner":{"__isSmartRef__":true,"id":0},"__LivelyClassName__":"lively.morphic.CodeEditor","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Position":"lively.pt(73.0,156.0)","distanceToDragEvent":"lively.pt(509.0,-12.0)"},"51":{"__serializedExpressions__":["_Extent","_BorderColor","extent"],"_BorderWidth":0,"__LivelyClassName__":"lively.morphic.CodeEditorShape","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Extent":"lively.pt(762.0,59.0)","_BorderColor":"Color.rgb(95,94,95)","extent":"lively.pt(762.0,59.0)"},"52":{"morph":{"__isSmartRef__":true,"id":50},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"53":{"resizeWidth":true,"resizeHeight":true},"54":{"storedTextString":"// Afterwards, print this, the async assignment should have happened by now (unless Z3 crashed)\n[a, b, a.dist(b)]\n","submorphs":[],"scripts":[],"shape":{"__isSmartRef__":true,"id":55},"derivationIds":["633C7BDD-B8DA-4550-9D71-1FC884F3F185"],"id":"74898489-FC32-4356-B0A9-8C6CEFBA9107","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":56},"layout":{"__isSmartRef__":true,"id":57},"accessibleInInactiveWindow":true,"allowInput":true,"_isFocused":false,"showsHalos":false,"_Rotation":0,"_Scale":1,"prevScroll":[0,0],"__serializedExpressions__":["_Position","distanceToDragEvent"],"name":"CodeEditor1","owner":{"__isSmartRef__":true,"id":0},"__LivelyClassName__":"lively.morphic.CodeEditor","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Position":"lively.pt(72.0,248.0)","distanceToDragEvent":"lively.pt(507.0,-15.0)"},"55":{"__serializedExpressions__":["_Extent","_BorderColor","extent"],"_BorderWidth":0,"__LivelyClassName__":"lively.morphic.CodeEditorShape","__SourceModuleName__":"Global.lively.ide.CodeEditor","_Extent":"lively.pt(762.0,54.0)","_BorderColor":"Color.rgb(95,94,95)","extent":"lively.pt(762.0,54.0)"},"56":{"morph":{"__isSmartRef__":true,"id":54},"__LivelyClassName__":"lively.morphic.EventHandler","__SourceModuleName__":"Global.lively.morphic.Events"},"57":{"resizeWidth":true,"resizeHeight":true},"58":{"traitName":"users.robertkrahn.WorldMenuTrait","options":{"__isSmartRef__":true,"id":59}},"59":{"override":["morphMenuItems"]},"60":{"requiredModules":["users.timfelgentreff.babelsberg.tests","users.timfelgentreff.z3.NaClZ3","users.timfelgentreff.babelsberg.src_transform","users.timfelgentreff.babelsberg.constraintinterpreter"],"__LivelyClassName__":"lively.PartsBin.PartsBinMetaInfo","__SourceModuleName__":"Global.lively.PartsBin"},"61":{"sourceObj":{"__isSmartRef__":true,"id":0},"sourceAttrName":"savedWorldAsURL","targetObj":{"__isSmartRef__":true,"id":0},"targetMethodName":"visitNewPageAfterSaveAs","varMapping":{"__isSmartRef__":true,"id":62},"updaterString":"function ($upd, v) {\n if (v && v.toString() !== URL.source.toString()) { $upd(v); }\n }","__LivelyClassName__":"AttributeConnection","__SourceModuleName__":"Global.lively.bindings.Core"},"62":{"source":{"__isSmartRef__":true,"id":0},"target":{"__isSmartRef__":true,"id":0}},"isSimplifiedRegistry":true}}</script></body></html>