diff --git a/cloud/urls.py b/cloud/urls.py
index 509d874..924083b 100644
--- a/cloud/urls.py
+++ b/cloud/urls.py
@@ -37,7 +37,7 @@ urlpatterns = patterns('',
url(r'^vm/renew/(?P(suspend|delete))/(?P\d+)/$',
'one.views.vm_renew', ),
url(r'^vm/port_add/(?P\d+)/$', 'one.views.vm_port_add', ),
- url(r'^vm/port_del/(?P\d+)/(?Ptcp|udp)/(?P\d+)/$',
+ url(r'^vm/port_del/(?P\d+)/(?Ptcp|udp)/(?P\d+)/$',
'one.views.vm_port_del', ),
url(r'^ajax/shareEdit/(?P\d+)/$', 'one.views.ajax_share_edit_wizard',
name='ajax_share_edit_wizard'),
diff --git a/firewall/models.py b/firewall/models.py
index 542eeda..4fc9f8c 100644
--- a/firewall/models.py
+++ b/firewall/models.py
@@ -10,6 +10,7 @@ from django.core.validators import MinValueValidator, MaxValueValidator
from cloud.settings import firewall_settings as settings
from django.db.models.signals import post_save
import re
+import random
class Rule(models.Model):
CHOICES_type = (('host', 'host'), ('firewall', 'firewall'),
@@ -174,15 +175,30 @@ class Host(models.Model):
def enable_net(self):
self.groups.add(Group.objects.get(name="netezhet"))
- def add_port(self, proto, public, private = 0):
+ def add_port(self, proto, public=None, private=None):
proto = "tcp" if proto == "tcp" else "udp"
if self.shared_ip:
- if public < 1024:
- raise ValidationError(_("Only ports above 1024 can be used."))
- for host in Host.objects.filter(pub_ipv4=self.pub_ipv4):
- if host.rules.filter(nat=True, proto=proto, dport=public):
+ used_ports = Rule.objects.filter(host__pub_ipv4=self.pub_ipv4,
+ nat=True, proto=proto).values_list('dport', flat=True)
+
+ if public is None:
+ public = random.randint(1024, 21000)
+ if public in used_ports:
+ for i in range(1024, 21000) + range(24000, 65535):
+ if i not in used_ports:
+ public = i
+ break
+ else:
+ raise ValidationError(_("Port %s %s is already in use.") %
+ (proto, public))
+
+ else:
+ if public < 1024:
+ raise ValidationError(_("Only ports above 1024 can be used."))
+ if public in used_ports:
raise ValidationError(_("Port %s %s is already in use.") %
(proto, public))
+
rule = Rule(direction='1', owner=self.owner, dport=public,
proto=proto, nat=True, accept=True, r_type="host",
nat_dport=private, host=self, foreign_network=VlanGroup.
@@ -199,15 +215,58 @@ class Host(models.Model):
rule.full_clean()
rule.save()
- def del_port(self, proto, public):
- self.rules.filter(owner=self.owner, proto=proto, host=self,
- dport=public).delete()
+ def del_port(self, proto, private):
+ if self.shared_ip:
+ self.rules.filter(owner=self.owner, proto=proto, host=self,
+ nat_dport=private).delete()
+ else:
+ self.rules.filter(owner=self.owner, proto=proto, host=self,
+ dport=private).delete()
+
+ def get_hostname(self, proto):
+ try:
+ if proto == 'ipv6':
+ res = self.record_set.filter(type='AAAA')
+ elif proto == 'ipv4':
+ if self.shared_ip:
+ res = Record.objects.filter(type='A',
+ address=self.pub_ipv4)
+ else:
+ res = self.record_set.filter(type='A')
+ return unicode(res[0].get_data()['name'])
+ except:
+ raise
+ if self.shared_ip:
+ return self.pub_ipv4
+ else:
+ return self.ipv4
def list_ports(self):
- return [{'proto': rule.proto,
- 'public': rule.dport,
- 'private': rule.nat_dport} for rule in
- self.rules.filter(owner=self.owner)]
+ retval = []
+ for rule in self.rules.filter(owner=self.owner):
+ private = rule.nat_dport if self.shared_ip else rule.dport
+ forward = {
+ 'proto': rule.proto,
+ 'private': private,
+ }
+ if self.shared_ip:
+ public4 = rule.dport
+ public6 = rule.nat_dport
+ else:
+ public4 = public6 = rule.dport
+
+ if True: # ipv4
+ forward['ipv4'] = {
+ 'host': self.get_hostname(proto='ipv4'),
+ 'port': public4,
+ }
+ if self.ipv6: # ipv6
+ forward['ipv6'] = {
+ 'host': self.get_hostname(proto='ipv6'),
+ 'port': public6,
+ }
+ retval.append(forward)
+ return retval
def get_fqdn(self):
return self.hostname + u'.' + unicode(self.vlan.domain)
diff --git a/miscellaneous/devenv/celery.conf b/miscellaneous/devenv/celery.conf
new file mode 100644
index 0000000..590517c
--- /dev/null
+++ b/miscellaneous/devenv/celery.conf
@@ -0,0 +1,9 @@
+description "IK Cloud Django Development Server"
+
+start on runlevel [2345]
+stop on runlevel [!2345]
+
+respawn
+respawn limit 30 30
+
+exec sudo -u cloud /opt/webadmin/cloud/manage.py celery worker --loglevel=info -c 1 -Q local
diff --git a/miscellaneous/laborclient/cloudgui/gui.py b/miscellaneous/laborclient/cloudgui/gui.py
index 585f042..aa97cc8 100755
--- a/miscellaneous/laborclient/cloudgui/gui.py
+++ b/miscellaneous/laborclient/cloudgui/gui.py
@@ -183,6 +183,7 @@ class Browser:
def load_committed_cb(self,web_view, frame):
uri = frame.get_uri()
+ print uri
try:
self.webview.execute_script('document.getElementsByTagName("a")[0].target="";')
except:
@@ -193,7 +194,7 @@ class Browser:
### JS
self.post_key(self.public_key_b64)
### Parse values and do mounting ###
- elif uri.startswith("https://cloud.ik.bme.hu/?"):
+ elif uri.startswith("https://cloud.ik.bme.hu/home/?"):
if self.mounted != True:
try:
uri, params = uri.split('?', 1)
diff --git a/miscellaneous/paper/sozopol13/netarch.eps b/miscellaneous/paper/sozopol13/netarch.eps
new file mode 100644
index 0000000..927deca
--- /dev/null
+++ b/miscellaneous/paper/sozopol13/netarch.eps
@@ -0,0 +1,1010 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: cairo 1.10.2 (http://cairographics.org)
+%%CreationDate: Sun Mar 24 10:50:26 2013
+%%Pages: 1
+%%BoundingBox: -167 0 256 305
+%%DocumentData: Clean7Bit
+%%LanguageLevel: 2
+%%EndComments
+%%BeginProlog
+/cairo_eps_state save def
+/dict_count countdictstack def
+/op_count count 1 sub def
+userdict begin
+/q { gsave } bind def
+/Q { grestore } bind def
+/cm { 6 array astore concat } bind def
+/w { setlinewidth } bind def
+/J { setlinecap } bind def
+/j { setlinejoin } bind def
+/M { setmiterlimit } bind def
+/d { setdash } bind def
+/m { moveto } bind def
+/l { lineto } bind def
+/c { curveto } bind def
+/h { closepath } bind def
+/re { exch dup neg 3 1 roll 5 3 roll moveto 0 rlineto
+ 0 exch rlineto 0 rlineto closepath } bind def
+/S { stroke } bind def
+/f { fill } bind def
+/f* { eofill } bind def
+/n { newpath } bind def
+/W { clip } bind def
+/W* { eoclip } bind def
+/BT { } bind def
+/ET { } bind def
+/pdfmark where { pop globaldict /?pdfmark /exec load put }
+ { globaldict begin /?pdfmark /pop load def /pdfmark
+ /cleartomark load def end } ifelse
+/BDC { mark 3 1 roll /BDC pdfmark } bind def
+/EMC { mark /EMC pdfmark } bind def
+/cairo_store_point { /cairo_point_y exch def /cairo_point_x exch def } def
+/Tj { show currentpoint cairo_store_point } bind def
+/TJ {
+ {
+ dup
+ type /stringtype eq
+ { show } { -0.001 mul 0 cairo_font_matrix dtransform rmoveto } ifelse
+ } forall
+ currentpoint cairo_store_point
+} bind def
+/cairo_selectfont { cairo_font_matrix aload pop pop pop 0 0 6 array astore
+ cairo_font exch selectfont cairo_point_x cairo_point_y moveto } bind def
+/Tf { pop /cairo_font exch def /cairo_font_matrix where
+ { pop cairo_selectfont } if } bind def
+/Td { matrix translate cairo_font_matrix matrix concatmatrix dup
+ /cairo_font_matrix exch def dup 4 get exch 5 get cairo_store_point
+ /cairo_font where { pop cairo_selectfont } if } bind def
+/Tm { 2 copy 8 2 roll 6 array astore /cairo_font_matrix exch def
+ cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def
+/g { setgray } bind def
+/rg { setrgbcolor } bind def
+/d1 { setcachedevice } bind def
+%%EndProlog
+%!FontType1-1.1 f-0-0 1.0
+11 dict begin
+/FontName /f-0-0 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/FontBBox {0 -217 732 722 } readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 1 /uni004F put
+dup 2 /uni0070 put
+dup 3 /uni0065 put
+dup 4 /uni006E put
+dup 5 /uni0020 put
+dup 6 /uni0076 put
+dup 7 /uni0053 put
+dup 8 /uni0077 put
+dup 9 /uni0069 put
+dup 10 /uni0074 put
+dup 11 /uni0063 put
+dup 12 /uni0068 put
+dup 13 /uni0046 put
+dup 14 /uni0072 put
+dup 15 /uni0061 put
+dup 16 /uni006C put
+dup 17 /uni0066 put
+dup 18 /uni0032 put
+dup 19 /uni004E put
+dup 20 /uni006F put
+dup 21 /uni006B put
+dup 22 /uni0073 put
+dup 23 /uni0048 put
+dup 24 /uni0064 put
+readonly def
+currentdict end
+currentfile eexec
+f983ef0097ece636fb4a96c74d26ab84185f6dfa4a16a7a1c27bbe3f1156aea698df336d20b467
+b10e7f33846656653c5ac6962759d3056cbdb3190bac614b984bf5a132dc418192443014ba63de
+800d392b6fea026574bb2535fd7bb5338f35bf15a88ea328fdaa49670c7852e3d060f3c5d6b07f
+2ef6d0f22646c5d18e19a2ae3ee120390f6dd96f76dcf1e127de5e9299077a00c17c0d71e36e5b
+9d5ec58fceda57739a6a4214d4b79d6c48d2784b60c320323c7acddddf34db833cac0cf109f799
+69d114a330d372e5c978a66acc84e3fe5557f6240856a013ffaa0199444e5c5036f775eba4a5c5
+8cde66cf604b9aca2178431127b8a1ff7ed633a65c04600af5f573483112251caf37e69b8d0603
+a7433caedec4b6cd5c2839290152acb74dd5effb7d57b8850958b3abdf0a4d39e16a6b07c2c1e8
+3381600e1f450b8272b0341eeb3072bb916526a7cb9a82abadbfe1c8f6a2b6afc2b84a8807b1ec
+be55674c4eb5ce1324eebb409d9dabf983d71890f87b46280def494d599f306285593d6f768825
+516d58b0d49a558bd33e8b24d9be241990e9c144c9a3e1296e9d9bd12eefee68bcccf0a17ee096
+c436f63bd52123610e4560a936ca992843e10f75614f4e1e7c56be71b5e61019eafb4911733e4c
+15336b44c25b12d1203b1b01827836e41b036e77bdeae781592e15b8f444475a5db04d92071727
+f8358495d966b9ad377d2c47fd7e38865b6a232d6645dbf4ae2afeafec93de7775a48590137600
+946f400ef2e98905997574bd6b5fe9e978d07336dcc8125631c3077a2428beb3faed7e1f69cb0e
+cd451b457d25db3f7464c91ddac3ae96263a99f242a74ccf177c75f7fcba02c3146ebe9c035d6c
+a4f6d12d36999ef48f6f457eb2bb6bea3f7c136dd856ddae1f266404800225f94ab887145c1ed0
+75c431a7f2afb7011ae7d14b7d065010f5285f709edd4756266c4a4c2d2021ed9831ab6a610494
+66f0b71eb4d21d5fe0fc8e8be78c472bf63dade09a6893bf0c7043c25cf62a8bdcfe3474ba73a1
+fec618e3a851e650eec0421d08d6d1877d475d4a86c4acc988682e2ca02a54d2f2ced6e6531e44
+d4f21c3916c08b047148e29d4534683653986dc409aea6e5a14707b40d961e242102222ed4423e
+da32801d9b53ffc07a5d201d20a13b3bed67fa06f94d65bbf73a003f145f814fcd6ad59de01d5e
+ba550c9cb8ec4f065206147338ad76c823728cdaa15ef08ae5bcc366940ed136f05cd25ab367ea
+625b2170a2c46db93c135e52833b6e87e75e5e3890d750d667d6f6c50cc14eecb3b027f1e13260
+3064da993b9b536619903922b1a4d25e1764fdafa995e234eac44173eac82b0c9f3f7d9f52daa2
+6ab437151991a7bc0575736182f436e51d9e2d29790366c834a8bb25d9b9ccd7dfc88b6134feca
+de00289b1f7f27d9626a9436d40c7becbe1c6ebb15168d2211747771818fd33bd7c58724f475af
+44360d9da68d71e044de4a4dbcd7d4784ce230b355797881b04050801d1946b4b5fb8564fccaaa
+7ccbdd7de71a00a21c60b2a6e25547659b178870a5b69f805733763d3b30b95f41baa094076d6f
+6cd70cf6dc484348f03297059f02a3c664f7b071d8134dc55dd2df24c017c5d1b896f8ea6ff7b6
+c383e55e783ac761d72a4b16916e28a582579b1b36a2dcb49d9e302beb4e4f6450045963813c22
+3bf4ef981dabc4bd35b3faa1fc1dc2e70d0a8a4b9191195d3f744876b929c6443e0e717e6d6c78
+183094715c8fa012364d8d8a913c13762caa2b86e1677c63d4f4d62e06a241eb603259230c57d1
+14aa231320b310e524368c1c7b950be85fee831e0d6956535c2a7c6441b5554547b615d13d1581
+6f908ac3263128d401a89e2f4b80dc0a6b3945b11da17111c77618e691b8ca7de529e774349ed2
+15a6f5011cc6b76cf7e35b8b94428cd60b38cd24ae388399c100b6429e998868a555e993727acb
+39c8d510a2c14f9200b1df8d0f815675ea3d5ae7e307d071bb82eb723381a83d5832a5fa4e8917
+fa3bb3afedf147f67d02609313345874cad1b0d20721e01641eec234059356a928ee22d2c585d5
+a8dfed763c38d466d98c593d7f1ca8d7e4598397bf177a3978ab707f63ffaf974e7d185c065da8
+67da19058eb194dc04feffef536b49b72b2c5c8ec1b56567339b6a543f87fa28c6f6dca0f08ec8
+4a194a7517df0437225e8ea1fc5c726b04ab799ce749d5234f8bc700d8f5ee8c3c52264db504be
+e28e5e370ba07600f0b48c16eeba51f12e15bfeb9a39109b0e2510545060c7d71f4c8983ade846
+7481d16e8af6e1a7935bfcb519f3bb5848eece4648f1a55765b2817cd8b145206921b84cfb6624
+24e8917e1f908eb4fb65c7da82872bb30d954d3bbec71c3bba66360b6242e425d26a7c661c7383
+a96ba61dd1b3e85e637d93d055d1a3f87c1f2536c8d3de59e1edfb0a916ad6a392533065306560
+f80bc88e49758f65d61af48efc244a16b57e7c8c12eb03c4e8b3cd06a74d88f8226b1369975f62
+76618bf1ba9988dddf14c3431b485099d87c401b35bc5d12f307feb0cf426466519e6fb3e46d0b
+12a1bda1126794b5eaeb79203ef9448a31a6609a2260c8c4e86ad9b508d4ab7e1e2be697bf33d0
+8dd750a6bc91713e4a353121fe4f5bb6285f3dcc6a616951c1fed307cef1026470dddfdb36d0c5
+c937c320f823fc456d6134142bf1675c63f675431fadd0b3cfee000cc968993ea52291ad5033d0
+24ba063e611c3a5211e36c07e1951066c66e1d402189b32e552daf34c9ad87b161dbd3123bc270
+a4f4681f49c91e722c091defcbfc7be71b53b26b6fee625ff7a39780b7432e4d869a19ec1b7427
+9da64b323874914c4ab47b665b21184dd40eb3ceb9254fc47e726ffaaef9c5aea57dbb50a618c5
+68872443aceefbb67b5d2fea44825d5094f977e0c5f2ccee6af63f4d1abee2538982c437c79bda
+dd7602d2bdafa2d3a00c328fdb63b499fd1c32b85e210a37b22710938b33114de6dfc5559a3730
+7ad6b71803d3730055b141e11e4a30b94adb006e613071ea00dec97c21cb0d914eec828918c143
+2474bf84fe05c2e82b2b2db61d0c84ccd3bf221858864a50c501d281beda4a4587bb86a8653027
+1e7bf49b40ad69d8660035f84c7c9f50230fcc5e8b2e2ff21241f38a9eedd6c1e0fe15844dc8e2
+078e0969aef02cfc9943e53080903b12d3a8f9cf46986c4e62d1c8ce83d93b1a013171bd446d33
+ad458c7669fa82b8508e3874bf81f9e507712b560c6f4c04f97e58d1d157ca6cf67e7ddbba13a9
+b52c837e5a59d4c007e5e340b0d7919e0bfcb62e7b1640e6db2fef38e3bf2a53e91caf69ce5dc0
+58810fa2cde129486c7001437bef99dceb9456752f13405f09bf48302c8fa40db8c9890cb038a3
+ef7c29d54247e617f5930346984861bb8f462e706047e8590431833d60457f839a11927aa0a26c
+e4754186e095c03fa260a347682e02b408ae140fc62389397410db7dda34bdb8b9551781ce222f
+f93950489ce4b8973a5afe9ad2e8c9984073297d4a8d734dcf612b27d014fb19a1e4385e95fc59
+66f31aad14b347fd48ba99e8207ffdabc084bc6cec2cb3a68f6ea82742bbb9f7d809530a26f498
+e750cf423cbf4961bef4662bda9854375ac902cba9626db4eb362fe3b0574d5e64e7ba7e1ff553
+c992cd3e3f169086355bb62c59ed675ca54893b06f8846a7ca57d4392c9eddadcad5c6e192abaa
+a700d4e7385c56d2f9de3c4489ac11af7a03f010082d042b725378e59e2a7998dee93a12e21764
+7ed96008a6b52e90c16604376976de7b187edceed1261f540a0be3eba806921c0b0c4b353265cc
+c3ffafac813f4f8020ab4697c705c68ee1a52f65a2fc4e317470ec340000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%!FontType1-1.1 f-1-0 1.0
+11 dict begin
+/FontName /f-1-0 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/FontBBox {0 -235 863 727 } readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 1 /uni0056 put
+dup 2 /uni004D put
+dup 3 /uni0031 put
+dup 4 /uni0032 put
+dup 5 /uni0057 put
+dup 6 /uni006F put
+dup 7 /uni0072 put
+dup 8 /uni006B put
+dup 9 /uni0065 put
+dup 10 /uni0020 put
+dup 11 /uni0070 put
+dup 12 /uni0069 put
+dup 13 /uni0076 put
+dup 14 /uni0061 put
+dup 15 /uni0074 put
+dup 16 /uni006D put
+dup 17 /uni002D put
+dup 18 /uni006E put
+dup 19 /uni0075 put
+dup 20 /uni006C put
+dup 21 /uni0062 put
+dup 22 /uni0063 put
+dup 23 /uni0073 put
+dup 24 /uni0066 put
+dup 25 /uni0068 put
+dup 26 /uni0077 put
+dup 27 /uni0067 put
+readonly def
+currentdict end
+currentfile eexec
+f983ef0097ece636fb4a96c74d26ab84185f6dfa4a16a7a1c27bbe3f1156aea698df336d20b467
+b10e7f33846656653c5ac6962759d3056cbdb3190bac614b984bf5a132dc418192443014ba63de
+800d392b6fea026574bb2535fd7bb5338f35bf15a88ea328fdaa49670c7852e3d060f3c5d6b07f
+2ef6d0f22646c5d18e19a2ae3ee120390f6dd96f76dcf1e127de5e9299077a00c17c0d71e36e5b
+9d5ec58fceda57739a6a4214d4b79d6c48d2784b60c320323c7acddddf34db833cac0cf109f799
+69d114a330d372e5c978a66acc84e3fe5557f6240856a013ffaa0199444e5c5036f775eba4a5c5
+8cde66cf604b9aca2178431127b8a1ff7ed633a65c04600af5f573483112251caf38b5733b65e1
+ae5ed9ec42ebee256077e561ea069a72fa6ddc3792643c08a3ebdf22fefac7396401f4ef69af60
+fb427726673f2a913195b4168b6da17f5c62ad9ca9234569ed4789c4938da69be46e27567df5fb
+fed82edf53ce8193c8f6c52a133ff6fc1bf814ee6ff32a0a39480b1a62695ac0f349902e08b28b
+30b87515ec5a046d818fba902951bdc40ce6a5dd3a66b1b7dfff5f2afd55dca5531adbcae9137d
+46e3ecd4d21bc53ecc83162147486d75ed89a936a308a05a2a9104677217501b181c133376e346
+0daaf5a18e4d257148779d9b6636036726b3cb8e7ba849c547b8a5cf52d9f41e192be1c279d659
+6c4e350630107d9dd4ff8d8f6f4e0d844bf4229d9276b1cb66dfffc1018cce0b0fcb2fc1d0e5d3
+9ca22bed275fb1e3612ac5b63e40d0d63e422bdf6ee71aaef268e1b9f2ba82c687c9766a824df4
+0b2d55a13e8d867d4743c6d3877c7452636f59d55b8dc574af9d26550cf2bbdef881807a82a818
+8c098e3107157ac844e6a914934db2e9659c56e8e7299024239e087ed70e3b18ea2c07fa30f063
+f003357f5291a206ffe749c62d946ce8364d38ce1cb4a9538e0e955123db1a00cbe96b6fcc7011
+6c8f489b02f5764d6b87891bb10430e01e152241d5ff1b2ef62efdf6d1db4266f6c3710d6fcc83
+a0380bfa8374325cc0eded3e066deb024c6942485387e9168cd6a436493217ff42201c4b9fc17c
+222e0944880315e05bac4f5bb918ccd6e4a340a65f82ad3377bb55f1482f1b0612a5f981d41107
+cc12406a3325efa64f11512df93d3a72b2f823361fa296dee4bbd4dfc36507e1e6f60f5a9e2096
+fec1a0da3be5b1f536c535168c3f2d3091cd03e726b1ea1d49c5082df09932b83331201a2e4452
+d374b98820fbed50ee1dd63ccbb3418db11694598b332c5bce04ef6bc6d9c0f31f4c0dfbcbbb3f
+66df05e3e5459b8933c5c4875e4b832ad010fcbb7950d45ef26a1d45a44c5087f1de96709339a4
+1d9307d6fa8aa8ff83beecf39b9bfcec01eebcc9c8b24403da881a4b57f4a7f2252dd4fdaa9c8c
+65ac4da459eb208bfdef142df722a33eceb88f7a7e15cad54bc8dc1bbdad102b6cdffa6fb7ea24
+2bc8d86d2ee9b2b695a412f3536976fe0849a3e2bedd5507679759c14667b55278b8c601de1c21
+69ee99125bbaefb70783c4543959e5324fed2629e26d96b4d44f029f4e9cd0ba43899b6d240430
+4cd0f6d93e4d20d692bc2438b25096ec1171c1929c1741b62002d67c175a06818143817b062947
+303ff2ec3fa02dad4981198fe6477286eb7914b7bfa386e5a243729537c1301d1b3294227a6def
+73c60d90a374f5cd0a86b2889f83bff714e5aff94082faa4192063e36c60dfaf760b66c5ca0102
+d2cabf56324d4a470d9855ab60fccf50838635c0af516a01d23dad80cb1eea34bdeb2f742f2fae
+a4dcd7c631cc9dd905babc551c835ac7f5f9062b9cedc015445893b590dbdbd587db693ed53859
+ce734fd4eef128482250d1fa86c7f5efcaf375aae07d36a2ee755a6d575be1f876e911fd31c5d6
+987752e6faa8ad725cfcc84a0b6e1a9a481956770d8770971b3ff43f3000e26789555ebe49b2a7
+afc30705c848cf11801cc4674c797c0aba72b0e22d08e8d93fbdb5be0b6f6e44636dabb517178c
+9dfe59ce3c75e5d1e1abb56af86bc8ecd963f385681946c8c95b33ad5cc41550f15fa43a5be3a5
+45fbeb4865f702c76fbf5206bd67feb1df779ecd90b000b2bbb0da204772371fdf11466f40abd9
+6801a56418d2441a1a74c64e8c900abe4dea56a17a7a22e7ef632f4c73beedf3bb5281a4823586
+5a4c26fa4478750315bf01428cdd7f83428c6658883e4dc25d22bf248430caa0b8efff57f71a69
+23f8370ec9a7abdde13f17746b26733414221eb964e7a7ae1e73911155a4e79319a5e61e1f4739
+6f4dd4246bff9133c38df45635eca056234b02f219df12278a420ebcad359ca35ec166c81ddc7d
+bc0f1130409748c2241f14566c3165b430df2e686be46a783bd5e0935b9a098ac5da8bae7a80bb
+8df6f0451e1557ddcbd0f3820d89e7855bcf393f57adc576f3cbe7e6c9e912b729dc47c10bfc77
+fa9744c608d44c7715263dc76179282a1fcd6c705e360c0c71ad674566e61fd33ce797efafe23d
+14177b64e054b313c4d01994bdf1c17dc661579a37fbf409a67769b510be7a12d24c84feee9b06
+bfab2f71b46df65b83394fac039f336e15e8ee3c004081e22a127c9e31311962f32d40ae44bef2
+f9ed8879ba92445c554a6e653377fb4d167a8dc798ea941dd8b3d46de19c8fa3cec568c18ddb76
+27fa3be0a5a86b52f10ba88387a50d1885aa24d8020203ef294ac48e1664544fc27063c8eed829
+638de0772b0918b7e6473390f0bef6649639af0523235b44c56fc612950413814114d5d942a5fc
+537283cfa90832eb0661a4295c3062e220d8b218a1bf05652b8ccb66edae0e7c60ac1169c68611
+7fc908e4ee0520ca8f3f16597c13b05dbb0ca7e50b05e3c63465f3304f0c0cdd9bd7e2cca23158
+fec58171c620d94399ca61c0c10b23113f6a3b94c41966d6890030a64174151bda235b3e2fb439
+6f7f368a138466847a130e9248992cea57226c068877f942d66fa80d02c103caeda78202b09795
+a17af5a01e5da79a724731b2268b144500fa38608b4ed3838198d10d63f2c7ef3b21fe316ba2e2
+4685d391512fa0b3fb18dc0ddb751d3053f7f363e150b2ae0b64d389f3c8a61b8825f121ae4f04
+2f8b7ad2d45d9399dbeac6a459c3abc8d36546f4f91d6d9480e90b894b5c2ada32148e4e4b425c
+96fbe9f655600b3edbc42f2c5aae0c909f4888b5c700993d0e9bb89b4a1e7ea30693848787b00e
+0da2d7c6d084a75b3d61875bd158d0374a388e5858368c949bbb1a2dae9ca4da96f844d9a26209
+4c1a524960a3a5e96dde86a4d91e3915de07fa3c31d87a7119b7c07aebc0784964972d941ec585
+20b5f6ee7eba81aedfda62d2e348e50f6f10d1359a8df51de5268aeb6f06344bdcc0c9594fe9e9
+c6f866a911e09fb0a7e7928a57d12b69b9abc8cb87a1d5de27765eb0696aafce6b58655af7175f
+f9c6f10e2f376836c8c58a279e14a8f7b04196b67521376104ffe6cb13b93555a3f2a322dce5d8
+e5d533388693374347c4acaf56159b724b67eb85e57c7787b69fa12358e9191c4b0db0e6107afc
+47fe12eb3fac3a4a6ef73946774d8a30e65ca0ee45ac91cfaa002bf48131a637bae4e8143083ea
+de945a8a231406e689a9056814c286d2a816033ff0e659b1f257576a7346b694cfa2e8e4f248cd
+b9717c549f062140a660e76d624835287124609b9ddf9021b7976ee5285c64ee9558f2451b60cd
+4ac52642be48a4af2c6e3ff13fc5434d0c64e22b874c1188da57894d8123fccbebef6a6aa83f8a
+6563204f063d3e21293b54ebc8b2d1d4987619dbe08dd2ee3caca415d185ad0408fb6f07cc5745
+9dab0011b42f33d6c2bccf30ce5283e8c2da43c732aa7f67efeb14871da8b934db317d98f96425
+50cd12b5b61b904b0acfd03ba7b42870af25ac7f563843678626ac394e734e12678ca05130e081
+2c23e085af0e46fbd682f72edee7cb4304151df52c76faa6573af526fccfecbbc1e345ade26ac3
+b7e6c318cda32c431e6dc30791e65f6caf70b9e0730a4b0fb588cfa7b5722a06e346bf7b0070ca
+fa0dd3194aa675e9a4e51949877e8f7fb576b7804178de23459060d34269530bfa0bd894cf68fe
+661161aed7608b6b4a67d2741ff658616c9d8a2b10b2e34897bd11bcd1b8ad26e4c16fe8623bca
+fbef473d69707ac27a0f05da69233bd2d37a3fe3a3e1afc106804a76952304e031360235e5c133
+7ee4db6291eee67fcea7e0534258cc53045bfc87c177608b5b86ec87f104ab8ca98ff54b5dc936
+b999b7fae912f9d17e3014b5883071cf9a1c36397a2a33080e564ad9a083e08f9782663bb113d0
+4a12bbd8c8cc8ae3dd34514a65b296b2ebe0347d5532c14ac1da76fab3391d8b1dd07e616c9a05
+efaec72b160000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%!FontType1-1.1 f-2-0 1.0
+11 dict begin
+/FontName /f-2-0 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/FontBBox {0 0 783 718 } readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 1 /uni006E put
+dup 2 /uni006B put
+dup 3 /uni006D put
+readonly def
+currentdict end
+currentfile eexec
+f983ef0097ece636fb4a96c74d26ab84185f6dfa4a16a7a1c27bbe3f1156aea698df336d20b467
+b10e7f33846656653c5ac6962759d3056cbdb3190bac614b984bf5a132dc418192443014ba63de
+800d392b6fea026574bb2535fd7bb5338f35bf15a88ea328fdaa49670c7852e3d060f3c5d6b07f
+2ef6d0f22646c5d18e19a2ae3ee120390f6dd96f76dcf1e127de5e9299077a00c17c0d71e36e5b
+9d5ec58fceda57739a6a4214d4b79d6c48d2784b60c320323c7acddddf34db833cac0cf109f799
+69d114a330d372e5c978a66acc84e3fe5557f6240856a013ffaa0199444e5c5036f775eba4a5c5
+8cde66cf604b9aca2178431127b8a1ff7ed633a65c04600af5f573483112251ca87c5560dc92bb
+34e8205b91e6fd735b4ec0f4176689808e820e598074961f6b7d313b858a002fad9cd5b7eb26be
+5816d7219c0a42e3d3867b4c0c143f7d89f5a7906d9f4de81c5c3b7a6e410425cccb618988c16c
+54024f707a299a545b01d0357f818f466ed9f23ab512d073f83b3caffaff61fae5190354883642
+e31b7ce97eb1d208f306ad0817d1aaee5d2d915173573c7963ce9391dee269a3e703626a0fc9ba
+d18f42f72c70a0bf330fe9205bb40c969c693088b66e62cbd329954b4e8eded48f9b9f4813d158
+8848c14649da3cf26e32148941cb73dbdcc10ede96fd10653edae63a211c08ae22ad3d1f0d3d5c
+0dd01b294bab7ff4b86e34833b24556b1518d1fc4db017476b3cf125f3aba75aee298444c91fb0
+d4cdd7156fde2011e672643aa6d86b36edfcbf3754aef57a11b016167aa1ec48bc5b2ef4971874
+a6ff374b94babae6fc8c55ab80ded38e8babcacd81f2f404843d76e9fbb6e26748c3c6ae0ab965
+0604b75124647b0f2c5ddff371a4b25f203e05cf61dcc24e4321820b1a250eb437d7bcdc5d3413
+62e72154fde11b5917144f45b17f461c93de37b26f2feedb15791f1871b71de0bd4f5b96e1db95
+b3ae6c88c71050c37971976b09111a3a92e22ed89bdc7de7413ef718bf5fd140d1bb882c68de5b
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%Page: 1 1
+%%BeginPageSetup
+%%PageBoundingBox: -167 0 256 305
+%%EndPageSetup
+q -167 0 423 305 rectclip q
+0 217.706 257 -218 re W n
+0.666667 0.8 0.933333 rg
+9.602 216.104 m 247.199 216.104 l 251.633 216.104 255.199 212.538
+255.199 208.104 c 255.199 34.905 l 255.199 30.475 251.633 26.905
+247.199 26.905 c 9.602 26.905 l 5.168 26.905 1.602 30.475 1.602 34.905
+c 1.602 208.104 l 1.602 212.538 5.168 216.104 9.602 216.104 c h
+9.602 216.104 m f
+0.992157 0.792157 0.00392157 rg
+3.2 w
+0 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+199.957 119.219 m 199.957 96.879 l 165.754 96.879 l 165.754 86.277 l S Q
+0.00392157 0.2 0.592157 rg
+4.8 w
+q 1 0 0 -1 0 217.705566 cm
+104.02 79.277 m 104.02 59.676 l 56.316 59.676 l 56.316 47.277 l S Q
+0.2 0.6 0 rg
+3.2 w
+q 1 0 0 -1 0 217.705566 cm
+146.535 81.277 m 146.535 61.676 l 189.961 61.676 l 189.961 33.277 l S Q
+0.992157 0.792157 0.00392157 rg
+q 1 0 0 -1 0 217.705566 cm
+199.957 51.879 m 199.957 68.277 l 156.703 68.277 l 156.703 78.879 l S Q
+/CairoPattern {
+ q
+Q q
+0.596078 0.00392157 0.00392157 rg
+0 5149.969 5150.262 -5150.258 re f
+0 g
+0.363 5150 m 0.363 4306.25 l 844.113 5150 l h
+1715.988 5150 m 0.363 3437.5 l 0.363 2587.5 l 2562.863 5150 l h
+3431.613 5150 m 0.363 1718.75 l 0.363 868.75 l 4281.613 5150 l h
+5150.363 5150 m 0.363 0 l 850.363 0 l 5150.363 4300 l h
+5150.363 3431.25 m 1719.113 0 l 2569.113 0 l 5150.363 2581.25 l h
+5150.363 1712.5 m 3437.863 0 l 4284.738 0 l 5150.363 865.625 l h
+5150.363 1712.5 m f
+ Q
+} bind def
+<< /PatternType 1
+ /PaintType 1
+ /TilingType 1
+ /XStep 5150 /YStep 5150
+ /BBox [0 0 5150 5150]
+ /PaintProc { CairoPattern }
+>>
+[ 0.008 0 0 0.008 93.477416 260.392966 ]
+makepattern setpattern
+4.8 w
+1 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+94.402 79.277 m 94.402 67.676 l 46.98 67.676 l 46.98 47.277 l S Q
+Q q
+0 217.706 257 -218 re W n
+0.00392157 0.2 0.592157 rg
+127.531 211.569 m 123.68 201.092 l 124.375 201.592 124.66 201.917
+125.457 202.12 c 125.457 137.217 l 129.605 137.217 l 129.605 202.143 l
+130.395 201.944 130.723 201.596 131.406 201.092 c h
+127.531 211.569 m f
+0.992157 0.792157 0.00392157 rg
+3.2 w
+0 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+53.355 116.105 m 53.355 96.879 l 90.355 96.879 l 90.355 86.277 l S Q
+0 0.2 0.4 rg
+163.309 104.612 m 236.559 104.612 l 240.992 104.612 244.559 101.042
+244.559 96.612 c 244.559 46.807 l 244.559 42.374 240.992 38.807 236.559
+38.807 c 163.309 38.807 l 158.875 38.807 155.309 42.374 155.309 46.807
+c 155.309 96.612 l 155.309 101.042 158.875 104.612 163.309 104.612 c h
+163.309 104.612 m f
+18.109 104.612 m 91.359 104.612 l 95.793 104.612 99.359 101.042 99.359
+96.612 c 99.359 46.807 l 99.359 42.374 95.793 38.807 91.359 38.807 c
+18.109 38.807 l 13.676 38.807 10.109 42.374 10.109 46.807 c 10.109
+96.612 l 10.109 101.042 13.676 104.612 18.109 104.612 c h
+18.109 104.612 m f
+0.2 0.6 0 rg
+q 1 0 0 -1 0 217.705566 cm
+87.766 153.277 m 87.766 133.676 l S Q
+0.933333 0.780392 0.243137 rg
+q 1 0 0 -1 0 217.705566 cm
+232.566 153.277 m 232.566 133.676 l S Q
+0.2 0.6 0 rg
+q 1 0 0 -1 0 217.705566 cm
+188.148 153.277 m 188.148 133.676 l S Q
+/CairoPattern {
+ q
+Q q
+0.596078 0.00392157 0.00392157 rg
+0 5149.969 5150.262 -5150.258 re f
+0 g
+0.363 5150 m 0.363 4306.25 l 844.113 5150 l h
+1715.988 5150 m 0.363 3437.5 l 0.363 2587.5 l 2562.863 5150 l h
+3431.613 5150 m 0.363 1718.75 l 0.363 868.75 l 4281.613 5150 l h
+5150.363 5150 m 0.363 0 l 850.363 0 l 5150.363 4300 l h
+5150.363 3431.25 m 1719.113 0 l 2569.113 0 l 5150.363 2581.25 l h
+5150.363 1712.5 m 3437.863 0 l 4284.738 0 l 5150.363 865.625 l h
+5150.363 1712.5 m f
+ Q
+} bind def
+<< /PatternType 1
+ /PaintType 1
+ /TilingType 1
+ /XStep 5150 /YStep 5150
+ /BBox [0 0 5150 5150]
+ /PaintProc { CairoPattern }
+>>
+[ 0.008 0 0 0.008 93.477416 263.592966 ]
+makepattern setpattern
+3.2 w
+1 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+167.332 144.879 m 167.332 132.477 l S Q
+Q q
+0 217.706 257 -218 re W n
+/CairoPattern {
+ q
+Q q
+0.596078 0.00392157 0.00392157 rg
+0 5149.969 5150.262 -5150.258 re f
+0 g
+0.363 5150 m 0.363 4306.25 l 844.113 5150 l h
+1715.988 5150 m 0.363 3437.5 l 0.363 2587.5 l 2562.863 5150 l h
+3431.613 5150 m 0.363 1718.75 l 0.363 868.75 l 4281.613 5150 l h
+5150.363 5150 m 0.363 0 l 850.363 0 l 5150.363 4300 l h
+5150.363 3431.25 m 1719.113 0 l 2569.113 0 l 5150.363 2581.25 l h
+5150.363 1712.5 m 3437.863 0 l 4284.738 0 l 5150.363 865.625 l h
+5150.363 1712.5 m f
+ Q
+} bind def
+<< /PatternType 1
+ /PaintType 1
+ /TilingType 1
+ /XStep 5150 /YStep 5150
+ /BBox [0 0 5150 5150]
+ /PaintProc { CairoPattern }
+>>
+[ 0.008 0 0 0.008 93.477416 260.392966 ]
+makepattern setpattern
+3.2 w
+1 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+142.012 85.676 m 142.012 105.277 l 171.332 105.277 l 171.332 133.676 l S Q
+Q q
+0 217.706 257 -218 re W n
+/CairoPattern {
+ q
+Q q
+0.596078 0.00392157 0.00392157 rg
+0 5149.969 5150.262 -5150.258 re f
+0 g
+0.363 5150 m 0.363 4306.25 l 844.113 5150 l h
+1715.988 5150 m 0.363 3437.5 l 0.363 2587.5 l 2562.863 5150 l h
+3431.613 5150 m 0.363 1718.75 l 0.363 868.75 l 4281.613 5150 l h
+5150.363 5150 m 0.363 0 l 850.363 0 l 5150.363 4300 l h
+5150.363 3431.25 m 1719.113 0 l 2569.113 0 l 5150.363 2581.25 l h
+5150.363 1712.5 m 3437.863 0 l 4284.738 0 l 5150.363 865.625 l h
+5150.363 1712.5 m f
+ Q
+} bind def
+<< /PatternType 1
+ /PaintType 1
+ /TilingType 1
+ /XStep 5150 /YStep 5150
+ /BBox [0 0 5150 5150]
+ /PaintProc { CairoPattern }
+>>
+[ 0.008 0 0 0.008 93.477416 260.392966 ]
+makepattern setpattern
+3.2 w
+1 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+110.629 85.676 m 110.629 105.277 l 85.734 105.277 l 85.734 133.676 l S Q
+Q q
+0 217.706 257 -218 re W n
+0.933333 0.780392 0.243137 rg
+3.2 w
+0 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+43.348 153.277 m 43.348 133.676 l S Q
+0.2 0.6 0 rg
+q 1 0 0 -1 0 217.705566 cm
+22.148 153.277 m 22.148 133.676 l S Q
+1 g
+21.379 74.338 m 22.918 74.338 l 26.922 74.338 30.148 70.772 30.148
+66.338 c 30.148 50.338 l 30.148 45.909 26.922 42.338 22.918 42.338 c
+21.379 42.338 l 17.371 42.338 14.148 45.909 14.148 50.338 c 14.148
+66.338 l 14.148 70.772 17.371 74.338 21.379 74.338 c h
+21.379 74.338 m f
+0 0.2 0.4 rg
+0.8 w
+0 j
+q 1 0 0 -1 0 217.705566 cm
+21.379 143.367 m 22.918 143.367 l 26.922 143.367 30.148 146.934 30.148
+151.367 c 30.148 167.367 l 30.148 171.797 26.922 175.367 22.918 175.367
+c 21.379 175.367 l 17.371 175.367 14.148 171.797 14.148 167.367 c
+14.148 151.367 l 14.148 146.934 17.371 143.367 21.379 143.367 c h
+21.379 143.367 m S Q
+1 g
+42.578 74.338 m 44.117 74.338 l 48.121 74.338 51.348 70.772 51.348
+66.338 c 51.348 50.338 l 51.348 45.909 48.121 42.338 44.117 42.338 c
+42.578 42.338 l 38.57 42.338 35.348 45.909 35.348 50.338 c 35.348
+66.338 l 35.348 70.772 38.57 74.338 42.578 74.338 c h
+42.578 74.338 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+42.578 143.367 m 44.117 143.367 l 48.121 143.367 51.348 146.934 51.348
+151.367 c 51.348 167.367 l 51.348 171.797 48.121 175.367 44.117 175.367
+c 42.578 175.367 l 38.57 175.367 35.348 171.797 35.348 167.367 c 35.348
+151.367 l 35.348 146.934 38.57 143.367 42.578 143.367 c h
+42.578 143.367 m S Q
+1 g
+86.996 74.338 m 88.535 74.338 l 92.543 74.338 95.766 70.772 95.766
+66.338 c 95.766 50.338 l 95.766 45.909 92.543 42.338 88.535 42.338 c
+86.996 42.338 l 82.992 42.338 79.766 45.909 79.766 50.338 c 79.766
+66.338 l 79.766 70.772 82.992 74.338 86.996 74.338 c h
+86.996 74.338 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+86.996 143.367 m 88.535 143.367 l 92.543 143.367 95.766 146.934 95.766
+151.367 c 95.766 167.367 l 95.766 171.797 92.543 175.367 88.535 175.367
+c 86.996 175.367 l 82.992 175.367 79.766 171.797 79.766 167.367 c
+79.766 151.367 l 79.766 146.934 82.992 143.367 86.996 143.367 c h
+86.996 143.367 m S Q
+1 1 0.6 rg
+21.379 91.877 m 88.535 91.877 l 92.543 91.877 95.766 89.03 95.766
+85.491 c 95.766 85.209 l 95.766 81.674 92.543 78.827 88.535 78.827 c
+21.379 78.827 l 17.371 78.827 14.148 81.674 14.148 85.209 c 14.148
+85.491 l 14.148 89.03 17.371 91.877 21.379 91.877 c h
+21.379 91.877 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+21.379 125.828 m 88.535 125.828 l 92.543 125.828 95.766 128.676 95.766
+132.215 c 95.766 132.496 l 95.766 136.031 92.543 138.879 88.535 138.879
+c 21.379 138.879 l 17.371 138.879 14.148 136.031 14.148 132.496 c
+14.148 132.215 l 14.148 128.676 17.371 125.828 21.379 125.828 c h
+21.379 125.828 m S Q
+0 g
+BT
+11.2 0 0 11.2 21.548527 82.190721 Tm
+/f-0-0 1 Tf
+[<01>1<02>-1<03>-1<04>-1<05>1<06>-1<07>1<0809>1<0a0b0c>]TJ
+ET
+BT
+0 11.2 -11.2 0 26.044474 48.151267 Tm
+/f-1-0 1 Tf
+<010203>Tj
+ET
+BT
+0 11.2 -11.2 0 47.244474 47.412058 Tm
+/f-1-0 1 Tf
+<010204>Tj
+ET
+BT
+0 11.2 -11.2 0 91.663969 46.308885 Tm
+/f-1-0 1 Tf
+<0102>Tj
+ET
+BT
+0 11.2 -11.2 0 91.663969 62.47451 Tm
+/f-2-0 1 Tf
+<01>Tj
+ET
+0 0.2 0.4 rg
+18.59 196.053 m 102.59 196.053 l 107.023 196.053 110.59 192.487 110.59
+188.053 c 110.59 173.471 l 110.59 169.038 107.023 165.471 102.59
+165.471 c 18.59 165.471 l 14.16 165.471 10.59 169.038 10.59 173.471 c
+10.59 188.053 l 10.59 192.487 14.16 196.053 18.59 196.053 c h
+18.59 196.053 m f
+q 1 0 0 -1 0 217.705566 cm
+18.59 21.652 m 102.59 21.652 l 107.023 21.652 110.59 25.219 110.59
+29.652 c 110.59 44.234 l 110.59 48.668 107.023 52.234 102.59 52.234 c
+18.59 52.234 l 14.16 52.234 10.59 48.668 10.59 44.234 c 10.59 29.652 l
+10.59 25.219 14.16 21.652 18.59 21.652 c h
+18.59 21.652 m S Q
+1 g
+BT
+12.8 0 0 12.8 38.540299 176.276316 Tm
+/f-0-0 1 Tf
+<0d090e03080f1010>Tj
+ET
+74.062 61.639 m 75.613 61.639 76.863 60.167 76.863 58.338 c 76.863
+56.51 75.613 55.042 74.062 55.042 c 72.512 55.042 71.262 56.51 71.262
+58.338 c 71.262 60.167 72.512 61.639 74.062 61.639 c h
+74.062 61.639 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+74.062 156.066 m 75.613 156.066 76.863 157.539 76.863 159.367 c 76.863
+161.195 75.613 162.664 74.062 162.664 c 72.512 162.664 71.262 161.195
+71.262 159.367 c 71.262 157.539 72.512 156.066 74.062 156.066 c h
+74.062 156.066 m S Q
+1 g
+65.555 61.639 m 67.109 61.639 68.355 60.167 68.355 58.338 c 68.355
+56.51 67.109 55.042 65.555 55.042 c 64.004 55.042 62.758 56.51 62.758
+58.338 c 62.758 60.167 64.004 61.639 65.555 61.639 c h
+65.555 61.639 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+65.555 156.066 m 67.109 156.066 68.355 157.539 68.355 159.367 c 68.355
+161.195 67.109 162.664 65.555 162.664 c 64.004 162.664 62.758 161.195
+62.758 159.367 c 62.758 157.539 64.004 156.066 65.555 156.066 c h
+65.555 156.066 m S Q
+1 g
+57.051 61.639 m 58.602 61.639 59.852 60.167 59.852 58.338 c 59.852
+56.51 58.602 55.042 57.051 55.042 c 55.5 55.042 54.25 56.51 54.25
+58.338 c 54.25 60.167 55.5 61.639 57.051 61.639 c h
+57.051 61.639 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+57.051 156.066 m 58.602 156.066 59.852 157.539 59.852 159.367 c 59.852
+161.195 58.602 162.664 57.051 162.664 c 55.5 162.664 54.25 161.195
+54.25 159.367 c 54.25 157.539 55.5 156.066 57.051 156.066 c h
+57.051 156.066 m S Q
+1 g
+166.176 74.338 m 167.715 74.338 l 171.723 74.338 174.945 70.772 174.945
+66.338 c 174.945 50.338 l 174.945 45.909 171.723 42.338 167.715 42.338
+c 166.176 42.338 l 162.172 42.338 158.945 45.909 158.945 50.338 c
+158.945 66.338 l 158.945 70.772 162.172 74.338 166.176 74.338 c h
+166.176 74.338 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+166.176 143.367 m 167.715 143.367 l 171.723 143.367 174.945 146.934
+174.945 151.367 c 174.945 167.367 l 174.945 171.797 171.723 175.367
+167.715 175.367 c 166.176 175.367 l 162.172 175.367 158.945 171.797
+158.945 167.367 c 158.945 151.367 l 158.945 146.934 162.172 143.367
+166.176 143.367 c h
+166.176 143.367 m S Q
+1 g
+219.262 61.639 m 220.812 61.639 222.062 60.167 222.062 58.338 c 222.062
+56.51 220.812 55.042 219.262 55.042 c 217.711 55.042 216.461 56.51
+216.461 58.338 c 216.461 60.167 217.711 61.639 219.262 61.639 c h
+219.262 61.639 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+219.262 156.066 m 220.812 156.066 222.062 157.539 222.062 159.367 c
+222.062 161.195 220.812 162.664 219.262 162.664 c 217.711 162.664
+216.461 161.195 216.461 159.367 c 216.461 157.539 217.711 156.066
+219.262 156.066 c h
+219.262 156.066 m S Q
+1 g
+187.379 74.338 m 188.918 74.338 l 192.922 74.338 196.148 70.772 196.148
+66.338 c 196.148 50.338 l 196.148 45.909 192.922 42.338 188.918 42.338
+c 187.379 42.338 l 183.371 42.338 180.148 45.909 180.148 50.338 c
+180.148 66.338 l 180.148 70.772 183.371 74.338 187.379 74.338 c h
+187.379 74.338 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+187.379 143.367 m 188.918 143.367 l 192.922 143.367 196.148 146.934
+196.148 151.367 c 196.148 167.367 l 196.148 171.797 192.922 175.367
+188.918 175.367 c 187.379 175.367 l 183.371 175.367 180.148 171.797
+180.148 167.367 c 180.148 151.367 l 180.148 146.934 183.371 143.367
+187.379 143.367 c h
+187.379 143.367 m S Q
+1 g
+210.758 61.639 m 212.309 61.639 213.559 60.167 213.559 58.338 c 213.559
+56.51 212.309 55.042 210.758 55.042 c 209.207 55.042 207.957 56.51
+207.957 58.338 c 207.957 60.167 209.207 61.639 210.758 61.639 c h
+210.758 61.639 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+210.758 156.066 m 212.309 156.066 213.559 157.539 213.559 159.367 c
+213.559 161.195 212.309 162.664 210.758 162.664 c 209.207 162.664
+207.957 161.195 207.957 159.367 c 207.957 157.539 209.207 156.066
+210.758 156.066 c h
+210.758 156.066 m S Q
+1 g
+231.797 74.338 m 233.336 74.338 l 237.34 74.338 240.566 70.772 240.566
+66.338 c 240.566 50.338 l 240.566 45.909 237.34 42.338 233.336 42.338 c
+231.797 42.338 l 227.793 42.338 224.566 45.909 224.566 50.338 c 224.566
+66.338 l 224.566 70.772 227.793 74.338 231.797 74.338 c h
+231.797 74.338 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+231.797 143.367 m 233.336 143.367 l 237.34 143.367 240.566 146.934
+240.566 151.367 c 240.566 167.367 l 240.566 171.797 237.34 175.367
+233.336 175.367 c 231.797 175.367 l 227.793 175.367 224.566 171.797
+224.566 167.367 c 224.566 151.367 l 224.566 146.934 227.793 143.367
+231.797 143.367 c h
+231.797 143.367 m S Q
+1 g
+202.25 61.639 m 203.805 61.639 205.051 60.167 205.051 58.338 c 205.051
+56.51 203.805 55.042 202.25 55.042 c 200.699 55.042 199.453 56.51
+199.453 58.338 c 199.453 60.167 200.699 61.639 202.25 61.639 c h
+202.25 61.639 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+202.25 156.066 m 203.805 156.066 205.051 157.539 205.051 159.367 c
+205.051 161.195 203.805 162.664 202.25 162.664 c 200.699 162.664
+199.453 161.195 199.453 159.367 c 199.453 157.539 200.699 156.066
+202.25 156.066 c h
+202.25 156.066 m S Q
+1 1 0.6 rg
+166.176 91.877 m 233.336 91.877 l 237.34 91.877 240.566 89.03 240.566
+85.491 c 240.566 85.209 l 240.566 81.674 237.34 78.827 233.336 78.827 c
+166.176 78.827 l 162.172 78.827 158.945 81.674 158.945 85.209 c 158.945
+85.491 l 158.945 89.03 162.172 91.877 166.176 91.877 c h
+166.176 91.877 m f
+0 0.2 0.4 rg
+q 1 0 0 -1 0 217.705566 cm
+166.176 125.828 m 233.336 125.828 l 237.34 125.828 240.566 128.676
+240.566 132.215 c 240.566 132.496 l 240.566 136.031 237.34 138.879
+233.336 138.879 c 166.176 138.879 l 162.172 138.879 158.945 136.031
+158.945 132.496 c 158.945 132.215 l 158.945 128.676 162.172 125.828
+166.176 125.828 c h
+166.176 125.828 m S Q
+1 g
+BT
+12.8 0 0 12.8 174.42349 93.828221 Tm
+/f-1-0 1 Tf
+[<050607>1<08>1<09>-1<070a>]TJ
+ET
+BT
+12.8 0 0 12.8 217.64849 93.828221 Tm
+/f-2-0 1 Tf
+<02>Tj
+ET
+0 g
+BT
+11.2 0 0 11.2 166.348514 82.190721 Tm
+/f-0-0 1 Tf
+[<01>1<02>-1<03>-1<04>-1<05>1<06>-1<07>1<0809>1<0a0b0c>]TJ
+ET
+0 0.2 0.4 rg
+BT
+0 11.2 -11.2 0 170.017753 49.408836 Tm
+/f-0-0 1 Tf
+<110812>Tj
+ET
+0 g
+BT
+0 11.2 -11.2 0 236.463993 44.634471 Tm
+/f-1-0 1 Tf
+<0102>Tj
+ET
+BT
+0 11.2 -11.2 0 236.463993 60.800096 Tm
+/f-2-0 1 Tf
+<03>Tj
+ET
+0 0.2 0.4 rg
+111.848 70.409 m 113.398 70.409 114.648 68.936 114.648 67.108 c 114.648
+65.28 113.398 63.807 111.848 63.807 c 110.297 63.807 109.047 65.28
+109.047 67.108 c 109.047 68.936 110.297 70.409 111.848 70.409 c h
+111.848 70.409 m f
+127.133 70.409 m 128.684 70.409 129.934 68.936 129.934 67.108 c 129.934
+65.28 128.684 63.807 127.133 63.807 c 125.582 63.807 124.332 65.28
+124.332 67.108 c 124.332 68.936 125.582 70.409 127.133 70.409 c h
+127.133 70.409 m f
+142.422 70.409 m 143.973 70.409 145.219 68.936 145.219 67.108 c 145.219
+65.28 143.973 63.807 142.422 63.807 c 140.871 63.807 139.621 65.28
+139.621 67.108 c 139.621 68.936 140.871 70.409 142.422 70.409 c h
+142.422 70.409 m f
+1 g
+BT
+12.8 0 0 12.8 30.66348 93.828221 Tm
+/f-1-0 1 Tf
+[<050607>1<08>1<09>-1<070a>1<03>]TJ
+ET
+0 g
+BT
+0 11.2 -11.2 0 192.044486 47.412058 Tm
+/f-1-0 1 Tf
+<010204>Tj
+ET
+/CairoPattern {
+ q
+Q q
+0.596078 0.00392157 0.00392157 rg
+0 5149.969 5150.262 -5150.258 re f
+0 g
+0.363 5150 m 0.363 4306.25 l 844.113 5150 l h
+1715.988 5150 m 0.363 3437.5 l 0.363 2587.5 l 2562.863 5150 l h
+3431.613 5150 m 0.363 1718.75 l 0.363 868.75 l 4281.613 5150 l h
+5150.363 5150 m 0.363 0 l 850.363 0 l 5150.363 4300 l h
+5150.363 3431.25 m 1719.113 0 l 2569.113 0 l 5150.363 2581.25 l h
+5150.363 1712.5 m 3437.863 0 l 4284.738 0 l 5150.363 865.625 l h
+5150.363 1712.5 m f
+ Q
+} bind def
+<< /PatternType 1
+ /PaintType 1
+ /TilingType 1
+ /XStep 5150 /YStep 5150
+ /BBox [0 0 5150 5150]
+ /PaintProc { CairoPattern }
+>>
+[ 0.008 0 0 0.008 93.477416 260.392966 ]
+makepattern setpattern
+172.68 136.092 m 171.844 136.053 171.117 135.256 171.156 134.417 c
+171.195 133.581 171.992 132.854 172.832 132.893 c 243.129 132.893 l
+243.977 132.881 244.754 133.647 244.754 134.495 c 244.754 135.338
+243.977 136.104 243.129 136.092 c 172.832 136.092 l 172.781 136.096
+172.73 136.096 172.68 136.092 c h
+249.535 134.526 m 239.059 138.374 l 239.559 137.678 239.883 136.901
+240.086 136.104 c 157.668 136.417 157.742 132.909 240.109 132.909 c
+239.91 132.12 239.562 131.334 239.059 130.651 c h
+249.535 134.526 m f
+Q q
+0 217.706 257 -218 re W n
+1 1 0.6 rg
+88.379 141.03 m 166.285 141.03 l 170.293 141.03 173.516 138.182 173.516
+134.647 c 173.516 134.366 l 173.516 130.827 170.293 127.979 166.285
+127.979 c 88.379 127.979 l 84.375 127.979 81.148 130.827 81.148 134.366
+c 81.148 134.647 l 81.148 138.182 84.375 141.03 88.379 141.03 c h
+88.379 141.03 m f
+0 0.2 0.4 rg
+0.8 w
+0 J
+0 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+88.379 76.676 m 166.285 76.676 l 170.293 76.676 173.516 79.523 173.516
+83.059 c 173.516 83.34 l 173.516 86.879 170.293 89.727 166.285 89.727 c
+88.379 89.727 l 84.375 89.727 81.148 86.879 81.148 83.34 c 81.148
+83.059 l 81.148 79.523 84.375 76.676 88.379 76.676 c h
+88.379 76.676 m S Q
+0 g
+BT
+11.2 0 0 11.2 89.266974 130.579929 Tm
+/f-0-0 1 Tf
+[<1303>-1<0a>-1<0814>1<0e>1<150516>1<0809>1<0a0b0c>]TJ
+ET
+0 0.2 0.4 rg
+151.391 196.053 m 235.391 196.053 l 239.824 196.053 243.391 192.487
+243.391 188.053 c 243.391 173.471 l 243.391 169.038 239.824 165.471
+235.391 165.471 c 151.391 165.471 l 146.961 165.471 143.391 169.038
+143.391 173.471 c 143.391 188.053 l 143.391 192.487 146.961 196.053
+151.391 196.053 c h
+151.391 196.053 m f
+q 1 0 0 -1 0 217.705566 cm
+151.391 21.652 m 235.391 21.652 l 239.824 21.652 243.391 25.219 243.391
+29.652 c 243.391 44.234 l 243.391 48.668 239.824 52.234 235.391 52.234
+c 151.391 52.234 l 146.961 52.234 143.391 48.668 143.391 44.234 c
+143.391 29.652 l 143.391 25.219 146.961 21.652 151.391 21.652 c h
+151.391 21.652 m S Q
+1 g
+BT
+12.8 0 0 12.8 163.433988 176.353123 Tm
+/f-0-0 1 Tf
+[<1703>-1<0f>1<18>-1<05>1<04>-1<14>1<18>-1<03>]TJ
+ET
+0.2 0.6 0 rg
+BT
+8 0 0 8 203.652254 14.833708 Tm
+/f-1-0 1 Tf
+[<0b>-1<070c0d0e0f09>-1<0a>1<0d>-1<10>1<111209>-1<0f>]TJ
+ET
+0.596078 0.988235 0.4 rg
+199.852 16.745 m 184.051 16.745 l f
+0.933333 0.780392 0.243137 rg
+4.8 w
+1 j
+q 1 0 0 -1 0 217.705566 cm
+199.852 200.961 m 184.051 200.961 l S Q
+0.00392157 0.133333 0.392157 rg
+BT
+8 0 0 8 111.342377 3.376001 Tm
+/f-1-0 1 Tf
+[<0c12>-1<0f09>-1<07>1<12>-1<09>-1<0f0a>1<130b>-1<140c>-1<1208>]TJ
+ET
+0.00392157 0.2 0.592157 rg
+4.8 w
+q 1 0 0 -1 0 217.705566 cm
+107.496 212.344 m 91.695 212.344 l S Q
+0.00392157 0.352941 0.00392157 rg
+BT
+8 0 0 8 111.294379 15.497829 Tm
+/f-1-0 1 Tf
+[<0b>-1<1315140c16>-1<0a>1<0d>-1<10>1<11>1<12>-1<09>-1<0f>]TJ
+ET
+0.2 0.6 0 rg
+107.496 17.483 m 91.695 17.483 l f
+4.8 w
+q 1 0 0 -1 0 217.705566 cm
+107.496 200.223 m 91.695 200.223 l S Q
+0.596078 0.00392157 0.00392157 rg
+BT
+6.4 0 0 6.4 221.453568 145.33115 Tm
+/f-1-0 1 Tf
+[<07>1<09>-1<170f0a>1<06180a>1<0f1909>]TJ
+ET
+BT
+6.4 0 0 6.4 227.241068 138.93115 Tm
+/f-1-0 1 Tf
+[<1209>-1<0f>-1<1a0607>1<08>]TJ
+ET
+/CairoPattern {
+ q
+Q q
+0.596078 0.00392157 0.00392157 rg
+0 5149.969 5150.262 -5150.258 re f
+0 g
+0.363 5150 m 0.363 4306.25 l 844.113 5150 l h
+1715.988 5150 m 0.363 3437.5 l 0.363 2587.5 l 2562.863 5150 l h
+3431.613 5150 m 0.363 1718.75 l 0.363 868.75 l 4281.613 5150 l h
+5150.363 5150 m 0.363 0 l 850.363 0 l 5150.363 4300 l h
+5150.363 3431.25 m 1719.113 0 l 2569.113 0 l 5150.363 2581.25 l h
+5150.363 1712.5 m 3437.863 0 l 4284.738 0 l 5150.363 865.625 l h
+5150.363 1712.5 m f
+ Q
+} bind def
+<< /PatternType 1
+ /PaintType 1
+ /TilingType 1
+ /XStep 5150 /YStep 5150
+ /BBox [0 0 5150 5150]
+ /PaintProc { CairoPattern }
+>>
+[ 0.008 0 0 0.008 -166.6779 183.662582 ]
+makepattern setpattern
+4.8 w
+0 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+19.801 200.223 m 4 200.223 l S Q
+Q q
+0 217.706 257 -218 re W n
+0.596078 0.00392157 0.00392157 rg
+BT
+8 0 0 8 23.60001 15.497837 Tm
+/f-1-0 1 Tf
+[<10>1<13140f0c>-1<0b>-1<1409>-1<0a>1<0d>-1<140e>1<12>-1<17>]TJ
+ET
+0.992157 0.792157 0.00392157 rg
+4.8 w
+0 J
+1 j
+[] 0.0 d
+4 M q 1 0 0 -1 0 217.705566 cm
+19.801 211.949 m 4 211.949 l S Q
+0.984314 0.545098 0 rg
+BT
+8 0 0 8 23.60001 3.896001 Tm
+/f-1-0 1 Tf
+[<10>1<0e120e1b>1<09>-1<100912>-1<0f>]TJ
+ET
+Q Q
+showpage
+%%Trailer
+count op_count sub {pop} repeat
+countdictstack dict_count sub {end} repeat
+cairo_eps_state restore
+%%EOF
diff --git a/miscellaneous/paper/sozopol13/netarch.pdf b/miscellaneous/paper/sozopol13/netarch.pdf
new file mode 100644
index 0000000..0c423c0
Binary files /dev/null and b/miscellaneous/paper/sozopol13/netarch.pdf differ
diff --git a/miscellaneous/paper/sozopol13/netarch.svg b/miscellaneous/paper/sozopol13/netarch.svg
new file mode 100644
index 0000000..8ead4a5
--- /dev/null
+++ b/miscellaneous/paper/sozopol13/netarch.svg
@@ -0,0 +1,1001 @@
+
+
+
+
diff --git a/miscellaneous/paper/sozopol13/proceedings.bib b/miscellaneous/paper/sozopol13/proceedings.bib
new file mode 100644
index 0000000..dd4e918
--- /dev/null
+++ b/miscellaneous/paper/sozopol13/proceedings.bib
@@ -0,0 +1,103 @@
+@inproceedings{younge2011analysis,
+title={Analysis of virtualization technologies for high performance computing environments},
+author={Younge, Andrew J and Henschel, Robert and Brown, James T and von Laszewski, Gregor and Qiu, Judy and Fox, Geoffrey C},
+booktitle={Cloud Computing (CLOUD), 2011 IEEE International Conference on},
+pages={9--16},
+year={2011},
+organization={IEEE}
+}
+@article{creasy1981origin,
+title={The origin of the VM/370 time-sharing system},
+author={Creasy, Robert J.},
+journal={IBM Journal of Research and Development},
+volume={25},
+number={5},
+pages={483--490},
+year={1981},
+publisher={IBM}
+}
+@article{duatonew,
+title={A New Approach to rCUDA},
+author={Duato, Jos{\'e} and Pena, Antonio J and Silla, Federico and Fern{\'a}ndez, Juan C and Mayo, Rafael and Quintana-Ort{\i}, Enrique S}
+}
+@book{holovaty2009definitive,
+title={The Definitive Guide to Django: Web Development Done Right},
+author={Holovaty, Adrian and Kaplan-Moss, Jacob},
+year={2009},
+publisher={Apress}
+}
+@techreport{pinzari2003introduction,
+title={Introduction to NX technology},
+author={Pinzari, Gian Filippo},
+year={2003},
+institution={NoMachine Technical Report 309}
+}
+@article{victoria2009creating,
+title={Creating and Controlling KVM Guests using libvirt},
+author={Victoria, B},
+journal={University of Victoria},
+year={2009}
+}
+@inproceedings{bolte2010non,
+title={Non-intrusive virtualization management using libvirt},
+author={Bolte, Matthias and Sievers, Michael and Birkenheuer, Georg and Nieh{\"o}rster, Oliver and Brinkmann, Andr{\'e}},
+booktitle={Proceedings of the Conference on Design, Automation and Test in Europe},
+pages={574--579},
+year={2010},
+organization={European Design and Automation Association}
+}
+@article{pfaff2009extending,
+title={Extending networking into the virtualization layer},
+author={Pfaff, Ben and Pettit, Justin and Koponen, Teemu and Amidon, Keith and Casado, Martin and Shenker, Scott},
+journal={Proc. HotNets (October 2009)},
+year={2009}
+}
+@article{hoskins2006sshfs,
+title={Sshfs: super easy file access over ssh},
+author={Hoskins, Matthew E},
+journal={Linux Journal},
+volume={2006},
+number={146},
+pages={4},
+year={2006},
+publisher={Belltown Media}
+}
+@article{szeredi2010fuse,
+title={FUSE: Filesystem in userspace},
+author={M. Szeredi},
+journal={Accessed on},
+year={2010}
+}
+@inproceedings{yang2012implementation,
+title={On implementation of GPU virtualization using PCI pass-through},
+author={Yang, Chao-Tung and Wang, Hsien-Yi and Ou, Wei-Shen and Liu, Yu-Tso and Hsu, Ching-Hsien},
+booktitle={Cloud Computing Technology and Science (CloudCom), 2012 IEEE 4th International Conference on},
+pages={711--716},
+year={2012},
+organization={IEEE}
+}
+@inproceedings{duato2011enabling,
+title={Enabling CUDA acceleration within virtual machines using rCUDA},
+author={Duato, Jos{\'e} and Pena, Antonio J and Silla, Federico and Fern{\'a}ndez, Juan C and Mayo, Rafael and Quintana-Orti, ES},
+booktitle={High Performance Computing (HiPC), 2011 18th International Conference on},
+pages={1--10},
+year={2011},
+organization={IEEE}
+}
+@inproceedings{callaghan2002nfs,
+title={Nfs over rdma},
+author={Callaghan, Brent and Lingutla-Raj, Theresa and Chiu, Alex and Staubach, Peter and Asad, Omer},
+booktitle={Proceedings of ACM SIGCOMM Summer 2003 NICELI Workshop},
+year={2002}
+}
+@article{vinoski2006advanced,
+title={Advanced message queuing protocol},
+author={Vinoski, Steve},
+journal={Internet Computing, IEEE},
+volume={10},
+number={6},
+pages={87--89},
+year={2006},
+publisher={IEEE}
+}
+
diff --git a/miscellaneous/paper/sozopol13/proceedings.pdf b/miscellaneous/paper/sozopol13/proceedings.pdf
index e825983..8ae9175 100644
Binary files a/miscellaneous/paper/sozopol13/proceedings.pdf and b/miscellaneous/paper/sozopol13/proceedings.pdf differ
diff --git a/miscellaneous/paper/sozopol13/proceedings.tex b/miscellaneous/paper/sozopol13/proceedings.tex
index 00cacdf..b6bc439 100644
--- a/miscellaneous/paper/sozopol13/proceedings.tex
+++ b/miscellaneous/paper/sozopol13/proceedings.tex
@@ -5,7 +5,8 @@
%
\documentclass{llncs}
%
-\usepackage{makeidx} % allows for indexgeneration
+\usepackage{graphicx}
+%\usepackage{makeidx} % allows for indexgeneration
%
\begin{document}
%
@@ -30,440 +31,141 @@ Scientific Computing}
\maketitle % typeset the title of the contribution
\begin{abstract}
-Nowadays more and more general purpose workstations installed in a student
-laboratory have built in multi-core CPU and graphics card providing significant
-computing power. In most cases the utilization of these resources is low, and
-limited to lecture hours. The concept of utility computing plays an important
-role in nowadays technological development. As part of utility computing, cloud
-computing offers greater flexibility and responsiveness to ICT users at lower
-cost.
-
-In this paper, we introduce a cloud management system which enables the
-simultaneous use of both dedicated resources and opportunistic environment. All
-the free workstations (powered or not) are automatically added to a resource
-pool, and can be used like ordinary cloud resources. Researchers can launch
-various virtualized software appliances. Our solution leverages the advantages
-of HTCondor and OpenNebula systems.
-
-Modern graphics processing units (GPUs) with many-core architectures have
-emerged as general-purpose parallel computing platforms that can dramatically
-accelerate scientific applications used for various simulations. Our business
-model harnesses computing power of GPUs as well, using the needed amount of
-unused machines. This makes the infrastructure flexible and power efficient.
-
-Our pilot infrastructure consist of a high performance cluster and 28
-workstations with dual-core CPUs and dedicated graphics cards. Altogether we
-can use 10,752 CUDA cores through the network.
-% felére kell rövidíteni kb.
-\keywords{education cloud, grid computing, GPGPU}
+
+Nowadays more and more general purpose workstations installed in a student laboratory have a built in multi-core CPU and graphics card providing significant computing power. In most cases the utilization of these resources is low, and limited to lecture hours. The concept of utility computing plays an important role in technological development.
+In this paper, we introduce a cloud management system which enables the simultaneous use of both dedicated resources and opportunistic environment. All the free workstations are to a resource pool, and can be used like ordinary cloud resources. Our solution leverages the advantages of HTCondor and OpenNebula systems.
+Modern graphics processing units (GPUs) with many-core architectures have emerged as general-purpose parallel computing platforms that can dramatically accelerate scientific applications used for various simulations. Our business model harnesses the computing power of GPUs as well, using the needed amount of unused machines.
+Our pilot infrastructure consists of a high performance cluster of 7 compute nodes with a sum of 76 physical cores and 304 GiB memory,
+and 28 workstations with dual-core CPUs and dedicated graphics cards. Altogether we can use 10,752 CUDA cores through the network.
+
+
+\keywords{Cloud, GPGPU, Grid, HTC, Utility computing}
\end{abstract}
%
-\section{Fixed-Period Problems: The Sublinear Case}
-%
-With this chapter, the preliminaries are over, and we begin the search
-for periodic solutions to Hamiltonian systems. All this will be done in
-the convex case; that is, we shall study the boundary-value problem
-\begin{eqnarray*}
- \dot{x}&=&JH' (t,x)\\
- x(0) &=& x(T)
-\end{eqnarray*}
-with $H(t,\cdot)$ a convex function of $x$, going to $+\infty$ when
-$\left\|x\right\| \to \infty$.
-%
-\subsection{Autonomous Systems}
-%
-In this section, we will consider the case when the Hamiltonian $H(x)$
-is autonomous. For the sake of simplicity, we shall also assume that it
-is $C^{1}$.
-
-We shall first consider the question of nontriviality, within the
-general framework of
-$\left(A_{\infty},B_{\infty}\right)$-subquadratic Hamiltonians. In
-the second subsection, we shall look into the special case when $H$ is
-$\left(0,b_{\infty}\right)$-subquadratic,
-and we shall try to derive additional information.
-%
-\subsubsection{The General Case: Nontriviality.}
-%
-We assume that $H$ is
-$\left(A_{\infty},B_{\infty}\right)$-sub\-qua\-dra\-tic at infinity,
-for some constant symmetric matrices $A_{\infty}$ and $B_{\infty}$,
-with $B_{\infty}-A_{\infty}$ positive definite. Set:
-\begin{eqnarray}
-\gamma :&=&{\rm smallest\ eigenvalue\ of}\ \ B_{\infty} - A_{\infty} \\
- \lambda : &=& {\rm largest\ negative\ eigenvalue\ of}\ \
- J \frac{d}{dt} +A_{\infty}\ .
-\end{eqnarray}
-
-Theorem~\ref{ghou:pre} tells us that if $\lambda +\gamma < 0$, the
-boundary-value problem:
-\begin{equation}
-\begin{array}{rcl}
- \dot{x}&=&JH' (x)\\
- x(0)&=&x (T)
-\end{array}
-\end{equation}
-has at least one solution
-$\overline{x}$, which is found by minimizing the dual
-action functional:
-\begin{equation}
- \psi (u) = \int_{o}^{T} \left[\frac{1}{2}
- \left(\Lambda_{o}^{-1} u,u\right) + N^{\ast} (-u)\right] dt
-\end{equation}
-on the range of $\Lambda$, which is a subspace $R (\Lambda)_{L}^{2}$
-with finite codimension. Here
-\begin{equation}
- N(x) := H(x) - \frac{1}{2} \left(A_{\infty} x,x\right)
-\end{equation}
-is a convex function, and
-\begin{equation}
- N(x) \le \frac{1}{2}
- \left(\left(B_{\infty} - A_{\infty}\right) x,x\right)
- + c\ \ \ \forall x\ .
-\end{equation}
-%
-\begin{proposition}
-Assume $H'(0)=0$ and $ H(0)=0$. Set:
-\begin{equation}
- \delta := \liminf_{x\to 0} 2 N (x) \left\|x\right\|^{-2}\ .
- \label{eq:one}
-\end{equation}
-
-If $\gamma < - \lambda < \delta$,
-the solution $\overline{u}$ is non-zero:
-\begin{equation}
- \overline{x} (t) \ne 0\ \ \ \forall t\ .
-\end{equation}
-\end{proposition}
-%
-\begin{proof}
-Condition (\ref{eq:one}) means that, for every
-$\delta ' > \delta$, there is some $\varepsilon > 0$ such that
-\begin{equation}
- \left\|x\right\| \le \varepsilon \Rightarrow N (x) \le
- \frac{\delta '}{2} \left\|x\right\|^{2}\ .
-\end{equation}
-
-It is an exercise in convex analysis, into which we shall not go, to
-show that this implies that there is an $\eta > 0$ such that
-\begin{equation}
- f\left\|x\right\| \le \eta
- \Rightarrow N^{\ast} (y) \le \frac{1}{2\delta '}
- \left\|y\right\|^{2}\ .
- \label{eq:two}
-\end{equation}
-
-\begin{figure}
-\vspace{2.5cm}
-\caption{This is the caption of the figure displaying a white eagle and
-a white horse on a snow field}
-\end{figure}
-
-Since $u_{1}$ is a smooth function, we will have
-$\left\|hu_{1}\right\|_\infty \le \eta$
-for $h$ small enough, and inequality (\ref{eq:two}) will hold,
-yielding thereby:
-\begin{equation}
- \psi (hu_{1}) \le \frac{h^{2}}{2}
- \frac{1}{\lambda} \left\|u_{1} \right\|_{2}^{2} + \frac{h^{2}}{2}
- \frac{1}{\delta '} \left\|u_{1}\right\|^{2}\ .
-\end{equation}
-
-If we choose $\delta '$ close enough to $\delta$, the quantity
-$\left(\frac{1}{\lambda} + \frac{1}{\delta '}\right)$
-will be negative, and we end up with
-\begin{equation}
- \psi (hu_{1}) < 0\ \ \ \ \ {\rm for}\ \ h\ne 0\ \ {\rm small}\ .
-\end{equation}
-
-On the other hand, we check directly that $\psi (0) = 0$. This shows
-that 0 cannot be a minimizer of $\psi$, not even a local one.
-So $\overline{u} \ne 0$ and
-$\overline{u} \ne \Lambda_{o}^{-1} (0) = 0$. \qed
-\end{proof}
-%
-\begin{corollary}
-Assume $H$ is $C^{2}$ and
-$\left(a_{\infty},b_{\infty}\right)$-subquadratic at infinity. Let
-$\xi_{1},\allowbreak\dots,\allowbreak\xi_{N}$ be the
-equilibria, that is, the solutions of $H' (\xi ) = 0$.
-Denote by $\omega_{k}$
-the smallest eigenvalue of $H'' \left(\xi_{k}\right)$, and set:
-\begin{equation}
- \omega : = {\rm Min\,} \left\{\omega_{1},\dots,\omega_{k}\right\}\ .
-\end{equation}
-If:
-\begin{equation}
- \frac{T}{2\pi} b_{\infty} <
- - E \left[- \frac{T}{2\pi}a_{\infty}\right] <
- \frac{T}{2\pi}\omega
- \label{eq:three}
-\end{equation}
-then minimization of $\psi$ yields a non-constant $T$-periodic solution
-$\overline{x}$.
-\end{corollary}
-%
+\section{Introduction}
+In universities there is a huge demand for high performance computing, but the smaller research groups can not afford buying a supercomputer or a large compute cluster. However significant unused computing capacity has been concentrated in the student laboratories. Most of our student labs have quite new PCs with modern multi-core CPUs and high performance graphics cards. The total computing performance of the laboratory resources could be significant. The open questions are: a) how can we collect and use these resources; b) what is the time limit of the usage; c) what happens if one or more jobs are not finishing at the given time slot; d) what management software and management rules are needed to support the various software environments which must be flexible and on demand.
-We recall once more that by the integer part $E [\alpha ]$ of
-$\alpha \in \bbbr$, we mean the $a\in \bbbz$
-such that $a< \alpha \le a+1$. For instance,
-if we take $a_{\infty} = 0$, Corollary 2 tells
-us that $\overline{x}$ exists and is
-non-constant provided that:
-
-\begin{equation}
- \frac{T}{2\pi} b_{\infty} < 1 < \frac{T}{2\pi}
-\end{equation}
-or
-\begin{equation}
- T\in \left(\frac{2\pi}{\omega},\frac{2\pi}{b_{\infty}}\right)\ .
- \label{eq:four}
-\end{equation}
+In this paper we are investigating these problems and we introduce a solution based on a new approach. We show that the cloud technology, based on hardware accelerated virtualization, can be the right answer to these questions. First of all the management of the cloud based systems are easier and they are more flexible. According to the literature\cite{younge2011analysis} and our experiences the modern virtualization has minimal overhead compared with the native systems and has more advantages than disadvantages.
-%
-\begin{proof}
-The spectrum of $\Lambda$ is $\frac{2\pi}{T} \bbbz +a_{\infty}$. The
-largest negative eigenvalue $\lambda$ is given by
-$\frac{2\pi}{T}k_{o} +a_{\infty}$,
-where
-\begin{equation}
- \frac{2\pi}{T}k_{o} + a_{\infty} < 0
- \le \frac{2\pi}{T} (k_{o} +1) + a_{\infty}\ .
-\end{equation}
-Hence:
-\begin{equation}
- k_{o} = E \left[- \frac{T}{2\pi} a_{\infty}\right] \ .
-\end{equation}
-
-The condition $\gamma < -\lambda < \delta$ now becomes:
-\begin{equation}
- b_{\infty} - a_{\infty} <
- - \frac{2\pi}{T} k_{o} -a_{\infty} < \omega -a_{\infty}
-\end{equation}
-which is precisely condition (\ref{eq:three}).\qed
-\end{proof}
-%
+Our basic idea is to run only a minimal host operating system on the bare metal and virtualize everything else. In this manner we can easily solve the questions raised up. We do not need a time consuming cloning process for the configuration management. We can save the ongoing scientific computing process at any time, and we can restore and continue it even on another host machine. One can say, yes, these goals are solved already by various cloud management systems in corporate environment. So what is the novum on this?
-\begin{lemma}
-Assume that $H$ is $C^{2}$ on $\bbbr^{2n} \setminus \{ 0\}$ and
-that $H'' (x)$ is non-de\-gen\-er\-ate for any $x\ne 0$. Then any local
-minimizer $\widetilde{x}$ of $\psi$ has minimal period $T$.
-\end{lemma}
-%
-\begin{proof}
-We know that $\widetilde{x}$, or
-$\widetilde{x} + \xi$ for some constant $\xi
-\in \bbbr^{2n}$, is a $T$-periodic solution of the Hamiltonian system:
-\begin{equation}
- \dot{x} = JH' (x)\ .
-\end{equation}
-
-There is no loss of generality in taking $\xi = 0$. So
-$\psi (x) \ge \psi (\widetilde{x} )$
-for all $\widetilde{x}$ in some neighbourhood of $x$ in
-$W^{1,2} \left(\bbbr / T\bbbz ; \bbbr^{2n}\right)$.
-
-But this index is precisely the index
-$i_{T} (\widetilde{x} )$ of the $T$-periodic
-solution $\widetilde{x}$ over the interval
-$(0,T)$, as defined in Sect.~2.6. So
-\begin{equation}
- i_{T} (\widetilde{x} ) = 0\ .
- \label{eq:five}
-\end{equation}
-
-Now if $\widetilde{x}$ has a lower period, $T/k$ say,
-we would have, by Corollary 31:
-\begin{equation}
- i_{T} (\widetilde{x} ) =
- i_{kT/k}(\widetilde{x} ) \ge
- ki_{T/k} (\widetilde{x} ) + k-1 \ge k-1 \ge 1\ .
-\end{equation}
-
-This would contradict (\ref{eq:five}), and thus cannot happen.\qed
-\end{proof}
-%
-\paragraph{Notes and Comments.}
-The results in this section are a
-refined version of \cite{clar:eke};
-the minimality result of Proposition
-14 was the first of its kind.
-
-To understand the nontriviality conditions, such as the one in formula
-(\ref{eq:four}), one may think of a one-parameter family
-$x_{T}$, $T\in \left(2\pi\omega^{-1}, 2\pi b_{\infty}^{-1}\right)$
-of periodic solutions, $x_{T} (0) = x_{T} (T)$,
-with $x_{T}$ going away to infinity when $T\to 2\pi \omega^{-1}$,
-which is the period of the linearized system at 0.
-
-\begin{table}
-\caption{This is the example table taken out of {\it The
-\TeX{}book,} p.\,246}
-\begin{center}
-\begin{tabular}{r@{\quad}rl}
-\hline
-\multicolumn{1}{l}{\rule{0pt}{12pt}
- Year}&\multicolumn{2}{l}{World population}\\[2pt]
-\hline\rule{0pt}{12pt}
-8000 B.C. & 5,000,000& \\
- 50 A.D. & 200,000,000& \\
-1650 A.D. & 500,000,000& \\
-1945 A.D. & 2,300,000,000& \\
-1980 A.D. & 4,400,000,000& \\[2pt]
-\hline
-\end{tabular}
-\end{center}
-\end{table}
-%
-\begin{theorem} [Ghoussoub-Preiss]\label{ghou:pre}
-Assume $H(t,x)$ is
-$(0,\varepsilon )$-subquadratic at
-infinity for all $\varepsilon > 0$, and $T$-periodic in $t$
-\begin{equation}
- H (t,\cdot )\ \ \ \ \ {\rm is\ convex}\ \ \forall t
-\end{equation}
-\begin{equation}
- H (\cdot ,x)\ \ \ \ \ {\rm is}\ \ T{\rm -periodic}\ \ \forall x
-\end{equation}
-\begin{equation}
- H (t,x)\ge n\left(\left\|x\right\|\right)\ \ \ \ \
- {\rm with}\ \ n (s)s^{-1}\to \infty\ \ {\rm as}\ \ s\to \infty
-\end{equation}
-\begin{equation}
- \forall \varepsilon > 0\ ,\ \ \ \exists c\ :\
- H(t,x) \le \frac{\varepsilon}{2}\left\|x\right\|^{2} + c\ .
-\end{equation}
-
-Assume also that $H$ is $C^{2}$, and $H'' (t,x)$ is positive definite
-everywhere. Then there is a sequence $x_{k}$, $k\in \bbbn$, of
-$kT$-periodic solutions of the system
-\begin{equation}
- \dot{x} = JH' (t,x)
-\end{equation}
-such that, for every $k\in \bbbn$, there is some $p_{o}\in\bbbn$ with:
-\begin{equation}
- p\ge p_{o}\Rightarrow x_{pk} \ne x_{k}\ .
-\end{equation}
-\qed
-\end{theorem}
-%
-\begin{example} [{{\rm External forcing}}]
-Consider the system:
-\begin{equation}
- \dot{x} = JH' (x) + f(t)
-\end{equation}
-where the Hamiltonian $H$ is
-$\left(0,b_{\infty}\right)$-subquadratic, and the
-forcing term is a distribution on the circle:
-\begin{equation}
- f = \frac{d}{dt} F + f_{o}\ \ \ \ \
- {\rm with}\ \ F\in L^{2} \left(\bbbr / T\bbbz; \bbbr^{2n}\right)\ ,
-\end{equation}
-where $f_{o} : = T^{-1}\int_{o}^{T} f (t) dt$. For instance,
-\begin{equation}
- f (t) = \sum_{k\in \bbbn} \delta_{k} \xi\ ,
-\end{equation}
-where $\delta_{k}$ is the Dirac mass at $t= k$ and
-$\xi \in \bbbr^{2n}$ is a
-constant, fits the prescription. This means that the system
-$\dot{x} = JH' (x)$ is being excited by a
-series of identical shocks at interval $T$.
-\end{example}
-%
-\begin{definition}
-Let $A_{\infty} (t)$ and $B_{\infty} (t)$ be symmetric
-operators in $\bbbr^{2n}$, depending continuously on
-$t\in [0,T]$, such that
-$A_{\infty} (t) \le B_{\infty} (t)$ for all $t$.
-
-A Borelian function
-$H: [0,T]\times \bbbr^{2n} \to \bbbr$
-is called
-$\left(A_{\infty} ,B_{\infty}\right)$-{\it subquadratic at infinity}
-if there exists a function $N(t,x)$ such that:
-\begin{equation}
- H (t,x) = \frac{1}{2} \left(A_{\infty} (t) x,x\right) + N(t,x)
-\end{equation}
-\begin{equation}
- \forall t\ ,\ \ \ N(t,x)\ \ \ \ \
- {\rm is\ convex\ with\ respect\ to}\ \ x
-\end{equation}
-\begin{equation}
- N(t,x) \ge n\left(\left\|x\right\|\right)\ \ \ \ \
- {\rm with}\ \ n(s)s^{-1}\to +\infty\ \ {\rm as}\ \ s\to +\infty
-\end{equation}
-\begin{equation}
- \exists c\in \bbbr\ :\ \ \ H (t,x) \le
- \frac{1}{2} \left(B_{\infty} (t) x,x\right) + c\ \ \ \forall x\ .
-\end{equation}
-
-If $A_{\infty} (t) = a_{\infty} I$ and
-$B_{\infty} (t) = b_{\infty} I$, with
-$a_{\infty} \le b_{\infty} \in \bbbr$,
-we shall say that $H$ is
-$\left(a_{\infty},b_{\infty}\right)$-subquadratic
-at infinity. As an example, the function
-$\left\|x\right\|^{\alpha}$, with
-$1\le \alpha < 2$, is $(0,\varepsilon )$-subquadratic at infinity
-for every $\varepsilon > 0$. Similarly, the Hamiltonian
-\begin{equation}
-H (t,x) = \frac{1}{2} k \left\|k\right\|^{2} +\left\|x\right\|^{\alpha}
-\end{equation}
-is $(k,k+\varepsilon )$-subquadratic for every $\varepsilon > 0$.
-Note that, if $k<0$, it is not convex.
-\end{definition}
-%
+The main difference between the corporate cloud infrastructure running 24/7 and our laboratory environment is that the corporate infrastructure is used only for serving the virtual machines. However, functions of our student laboratory are twofold: 1) During the scheduled lab exercises, the workstations act as a cloud host which serves only the virtual machines owned by the student sitting in front of the workstation or act as a simple cloud client. 2) While the lab is not used for teaching, the workstations are acting as a normal cloud host running computing intensive jobs like a normal HTCondor executing machine.
-\paragraph{Notes and Comments.}
-The first results on subharmonics were
-obtained by Rabinowitz in \cite{rab}, who showed the existence of
-infinitely many subharmonics both in the subquadratic and superquadratic
-case, with suitable growth conditions on $H'$. Again the duality
-approach enabled Clarke and Ekeland in \cite{clar:eke:2} to treat the
-same problem in the convex-subquadratic case, with growth conditions on
-$H$ only.
+Our solution, CIRCLE (Cloud Infrastructure for Research and Computer Labs in Education) is not only harnessing the idle CPU cycles for scientific computing, but it provides
+an easy and flexible web-portal for the usage and the management as well. The user can easily manage their virtual machines and access the files stored on the online storage. Nevertheless the lecturers can easily customise a new virtual machine image and share this image with the students. In this way all the students have the same and clean learning environment which enables to concentrate on the real task.
-Recently, Michalek and Tarantello (see \cite{mich:tar} and \cite{tar})
-have obtained lower bound on the number of subharmonics of period $kT$,
-based on symmetry considerations and on pinching estimates, as in
-Sect.~5.2 of this article.
+In the following sections we present the applied technologies and components used in our pilot system.
-%
-% ---- Bibliography ----
-%
-\begin{thebibliography}{5}
-%
-\bibitem {clar:eke}
-Clarke, F., Ekeland, I.:
-Nonlinear oscillations and
-boundary-value problems for Hamiltonian systems.
-Arch. Rat. Mech. Anal. 78, 315--333 (1982)
-
-\bibitem {clar:eke:2}
-Clarke, F., Ekeland, I.:
-Solutions p\'{e}riodiques, du
-p\'{e}riode donn\'{e}e, des \'{e}quations hamiltoniennes.
-Note CRAS Paris 287, 1013--1015 (1978)
-
-\bibitem {mich:tar}
-Michalek, R., Tarantello, G.:
-Subharmonic solutions with prescribed minimal
-period for nonautonomous Hamiltonian systems.
-J. Diff. Eq. 72, 28--55 (1988)
-
-\bibitem {tar}
-Tarantello, G.:
-Subharmonic solutions for Hamiltonian
-systems via a $\bbbz_{p}$ pseudoindex theory.
-Annali di Matematica Pura (to appear)
-
-\bibitem {rab}
-Rabinowitz, P.:
-On subharmonic solutions of a Hamiltonian system.
-Comm. Pure Appl. Math. 33, 609--633 (1980)
-
-\end{thebibliography}
+\section{Virtualization}
+Most IaaS (infrastructure as a service) cloud systems are based on virtual machines. Although the technique has been available since the end of 1960's\cite{creasy1981origin}, widespread adoption of x86 based systems in the server segment made it almost entirely disappear. Later some vendors started implementing different software based solutions for virtualizing operating systems or even emulating CPUs. The renaissance of virtualization began with manufacturers extending the x86 instruction set to support low-overhead virtualization. This extension is known as Intel VT-x or AMD-V.
+
+Current popular techniques are operating system virtualization and full hardware accelerated virtualization. The former typically takes shape in chroot environments and in namespacing of some kernel resources. This does not even allow running different kernels, nor different kinds of operating systems. The latest technique is full hardware accelerated virtualization, which is based on the CPU support for isolating the concurrently running instances. This approach is normally extended with paravirtualized device drivers, which eliminate the need for emulating real world storage and network controllers.
+
+Hardware accelerated virtualization requires CPU support, but this is only missing currently on the low-end product line of the main x86 CPU manufacturers: some models of Intel Atom, Celeron, and Pentium. This hardware acceleration provides a near-native performance in HPC applications.\cite{younge2011analysis}
+
+Currently there are more competing full virtualization solutions, the most notable free ones are KVM and XEN. At the time of our decision, the installation of a XEN hypervisor required modifications to the Linux kernel, and this was unacceptable for us. This is no longer the case, but we are satisfied with KVM.
+
+Additionally, we use all KVM functions through the libvirt library, which provides an abstract interface for managing virtual machines.\cite{victoria2009creating} This has the benefit of theoretically flawless migration to other hypervisors like XEN, ESXi, or Hyper-V.\cite{bolte2010non}
+
+Physically accessible computers are normally used with directly attached devices like display and keyboard. These devices are also emulated by KVM, and you can access virtual machines' consoles via the VNC protocol. This is useful for installing the operating system or troubleshooting, but Windows and Linux both provide better alternatives for remote access.
+
+We use remote desktop protocol for accessing Windows hosts, and secure shell (SSH) for text-based Linux machines. Remote graphical login to X11 servers has always been available, but this is not reliable even on local network connections because it is stateless. We use instead NoMachine NX\cite{pinzari2003introduction}.
+
+\section{Networking}
+Most virtual machines in a cloud must have a network connection. On the physical layer, our KVM hypervisor gives us a virtual network interface controller, which is an emulated or paravirtualized NIC on the side of the guest operating system, and a virtual NIC on the host side.
+
+Virtual machines are connected to virtual networks provided by manageable virtual switches (Figure~\ref{fig:figure1}). The Open vSwitch.\cite{pfaff2009extending}, what we are using, is a high performance multi-layer virtual switch with VLAN, QoS and OpenFlow support, merged into the mainline Linux kernel.
+
+Virtual networks do not necessarily differ from physical ones in the upper layers. The most important different condition is the frequency of changes. Our system in traditional physical networks' point of view is like if someone changed the cabling hundred times in the middle of the day. The developed CIRCLE networking module consists of an iptables gateway, a tinydns name server and an ISC DHCP server. All of these are configured through remote procedure calls, and managed by a relational database backed object model.
+
+Our solution groups the VMs to two main groups. The public vm-net is for machines which provide public services to more people, the private vm-net is for those which are used only by one or two persons. Public vm-net machines have public IPv4 and IPv6 addresses, and are protected with a simple ipset-based input filter. On the private vm-net, machines have private IPv4 and public IPv6 addresses. The primary remote connection is reached by automatically configured IPv4 port forward, or directly on the IPv6 address. As connecting to the standard port is a more comfortable solution, users who load our web portal from an IPv6 connection, get a hostname with public AAAA and private A records. If the user has no IPv6 connection, we display a common hostname with a single A record, and a custom port number. As IPv6 is widely available in the central infrastructure of our university, IPv6-capable clients are in majority. Users can open more ports, which means enabling incoming connections, and setting up IPv4 port forwarding in the background.
+
+ \begin{figure}[ht]
+ \begin{minipage}[b]{0.5\linewidth}
+ \centering
+ \includegraphics[width=\textwidth]{netarch}
+ \caption{The structure of the network}
+ \label{fig:figure1}
+ \end{minipage}
+ \hspace{0.5cm}
+ \begin{minipage}[b]{0.4\linewidth}
+ \centering
+ \includegraphics[width=\textwidth]{swarch}
+ \caption{Technologies used for CIRCLE}
+ \label{fig:figure2}
+ \end{minipage}
+
+ \end{figure}
+
+\section{Storage}
+Virtual machines' hard drives are provided to the hypervisors as read-write NFS shares managed by OpenNebula. Our cluster has a legacy InfiniBand SDR network, which is despite its age much faster than the gigabit Ethernet network. InfiniBand has its own data-link protocol, and Linux has mainline support for remote direct memory access (RDMA) over it , which provides near-local access times and no CPU load.\cite{callaghan2002nfs} Unfortunately this kernel module causes random cluster-wide kernel panics, which is unacceptable in a production system. We decided to use NFS4 over IP over InfiniBand, which also provided near-local timing. One problem remained: intensive random writes made the local file access on the NFS server slow (both with RDMA and IP over IB). Switching to the deadline scheduler solved this.
+
+Disk images are stored in qcow2 (QEMU copy on write) format, which allows images with large free space to be stored in a smaller file, and also supports copy-on-write differential images. The latter feature is used for virtual machines, which eliminates the need of copying the whole base image file before launching a new instance. Saving a template consists of merging the base and differential images to a single one.
+
+Since our usual virtual machines have temporary disks there is common need for a permanent online storage that can be easily accessed. It allows the user to use the same resources on different virtual computers or even at home, and it helps sharing data between virtual machines and local computers on a simple interface.
+
+Our solution---CIRCLE File Server---is a multi-protocol file server, which runs on a virtual machine. Every user gets an amount of disk space, which is automatically mounted on our prepared appliances.
+
+Windows VMs access the storage over SMB/CIFS. The authentication is handled by CIRCLE with automatically generated passwords. For security reasons we do not allow SMB access outside vm-net.
+Linux guests mount the remote files with SSHFS\cite{hoskins2006sshfs}, a userspace SSH/SFTP virtual file system. For virtual machines the manager automatically generates key-pairs. SFTP service is also accessible over the internet. Users can set public keys on the web portal and immediately access their folder.
+
+It is also possible to manage files on the cloud portal with an AJAX based web interface. Its backend consists of a Celery worker and an Nginx httpd.
+
+\section{Putting it together}
+The main goal was to give a self-service interface to our researchers, lecturers, and students.
+Cloud management frameworks like OpenNebula and OpenStack promise this, but after learning and deploying OpenNebula, we found even its Self-Service portal's abstraction level too low.
+
+Our solution is a new cloud management system, called CIRCLE, built up from various open source software components(figure~\ref{fig:figure2}). It provides an attractive web interface where users can do themselves all the common tasks including launching and managing/controlling virtual machines, creating templates based on other ones, and sharing templates with groups of users.
+
+This cloud management system is based on Django\cite{holovaty2009definitive}. This popular Python framework gives us among other things a flexible object-relational mapping system. Although the Django framework is originally designed for web applications, the business logic is not at all web specific. That's why it is easy to provide command line or remote procedure call interfaces to the model.
+
+As the primary interface is web, which is in some aspect a soft real-time system, the model can not use synchronous calls to external resources, nor execute system commands. This is the reason why all remote procedure calls are done asynchronously through a standard task queue. Our choice is the Celery distributed task queue. This is the most popular among such systems, which are integrated with Django. Celery is configured to use an implementation of AMQP\cite{vinoski2006advanced} protocol---called RabbitMQ---as its message broker.
+
+Celery workers set up the netfilter firewall, the domain name and DHCP services, the IP blacklist, execute file server operations, and also communicate with OpenNebula. This distributed solution makes it possible to dynamically alter the subsystems.
+
+In the opposite direction, some subsystems notify others of their state transitions through Celery. Based on this information further Celery tasks are submitted, and the models are updated.
+
+CIRCLE manages the full state space of the resources. Some of it is also stored by the underlying OpenNebula, but most of this redundant information is bound to its initial value as OpenNebula does not handle changes in meta information. This behavior arises of design decisions, and is not expected to be improved. The thin slice of OpenNebula used by our system is continuously shrinking, and we intend dropping OpenNebula in favor of direct bindings to libvirt and the also considerably customized storage and network hooks.
+
+\section{Execution on workstations}
+The cloud system at our institute takes a big role in education and in general R{\&}D infrastructure, but there is a significant demand for high-throughput scientific computing. This kind of requirement usually appears in form of many long-running, independent jobs. On most parts of the world there is no fund to build dedicated HPC clusters with enough resources for these jobs.
+
+The highest load on the cloud takes place in the office hours and the evenings, in more than half of the time we have many free resources, so it is possible to run these jobs on low priority virtual machines in the cloud. If interactive load is increasing, we can even suspend these machines, and resume them later.
+
+Running scientific batch jobs on student laboratory computers also has a long history. Our idea is to run some of these jobs on virtual machines in the computer laboratories overnight and on weekends. We can suspend in the morning all virtual machines to a memory image, and resume on the same or some other hypervisor next evening. This solution makes it possible to run individual jobs virtually continuously through months or a year, without any specific efforts. This result is important because of our observation that the runtime of similar jobs have a high standard deviation, and it also protects against losing the partial result of months long computations in case of hardware or power failure. HTCondor has a similar result with its checkpoint support, but it needs to modify the software, which is often impossible or sometimes the users are not able to do this modification by themselves.
+
+To be able to resume suspended machines, we have to copy back the differential image and the memory dump. Our choice for this is rsync.
+
+The lab network is exposed to unauthorized access, so we have to limit access to confidential material. As a physically accessible general purpose workstation does not currently have a way to reliably authenticate itself to a server, nor to protect the stored data, we can not employ any solution against these attacks other than security through obscurity and not using these systems for any confidential executions.
+
+Another important aspect is energy efficiency. We have successfully used HTCondor to automatically turn on and off the compute nodes of a HPC cluster. This is also working with Wake on LAN and SSH on the workstations.
+
+\section{GPUs in the cloud}
+The most significant HPC performance in our student laboratories is provided by the mid-level GPUs in all the workstations used for teaching computer graphics. There is a technology we applied successfully to use GPGPUs from the dedicated clusters' virtual machines: PCI passthrough.\cite{yang2012implementation} However, this technology requires both CPU and motherboard support of IOMMU, which is a high-end feature nowadays. The implementations are called Intel VT-d and AMD-Vi technologies, and they appear in the server- and high-end workstation segments.
+
+As none of our laboratory computers support IOMMU, we have to find a different solution. The first one is using rCUDA, which is a small framework making it possible to run the host and device side of a CUDA program on different hosts, communicating over TCP/IP or InfiniBand network.\cite{duato2011enabling} With this, we can launch user-prepared virtual machines on each host, and run the device code via local (virtio-based) network on the hypervisor. rCUDA is also capable to serve more clients with a single device. This is useful if the host code uses the GPU only part time.
+
+The other option is using directly the host machine to execute GPGPU jobs. This is a simpler approach, but necessarily involves a more complicated scheduler. Our choice for this type of problems is HTCondor, which can manage this scenario without much customization. The disadvantage is that the user can not customize the host-side operating system.
+
+
+
+\section{Conclusions and future plans}
+Our cloud system is built up in a modular manner. We have implemented all the main modules which enabled us to set up a production system. The system is now used as an integral part of our teaching activity, and also hosts several server functions for our department to use. At the time of writing this paper, there are 70 running and 54 suspended machines, using 109GiB of memory and producing not more than 3{\%} cummulated host cpu load on the cluster. In the first two months' production run, more than 1500 virtual machines have been launched by 125 users.
+
+The students found the system useful and lecturers use it with pleasure because they can really set up a new lab exercise in minutes. The feedback from the users is absolutely positive, which encourages us to proceed and extend our system with the GPGPU module. We are working on making it fully functional, and releasing the whole system in an easily deployable and highly modular open source package. We are planning to finish the current development phase until the end of August.
+
+\emph{We thank to the other members of the developer team: D\'aniel Bach, Bence D\'anyi, and \'Ad\'am Dud\'as. }
+
+
+\bibliographystyle{splncs}
+\bibliography{proceedings}
\end{document}
+
+
+
+
+
+
diff --git a/miscellaneous/paper/sozopol13/splncs.bst b/miscellaneous/paper/sozopol13/splncs.bst
new file mode 100644
index 0000000..fe8a22a
--- /dev/null
+++ b/miscellaneous/paper/sozopol13/splncs.bst
@@ -0,0 +1,1098 @@
+% BibTeX bibliography style `splncs'
+
+% An attempt to match the bibliography style required for use with
+% numbered references in Springer Verlag's "Lecture Notes in Computer
+% Science" series. (See Springer's documentation for llncs.sty for
+% more details of the suggested reference format.) Note that this
+% file will not work for author-year style citations.
+
+% Use \documentclass{llncs} and \bibliographystyle{splncs}, and cite
+% a reference with (e.g.) \cite{smith77} to get a "[1]" in the text.
+
+% Copyright (C) 1999 Jason Noble.
+% Last updated: Friday 07 March 2006, 08:04:42 Frank Holzwarth, Springer
+%
+% Based on the BibTeX standard bibliography style `unsrt'
+
+ENTRY
+ { address
+ author
+ booktitle
+ chapter
+ edition
+ editor
+ howpublished
+ institution
+ journal
+ key
+ month
+ note
+ number
+ organization
+ pages
+ publisher
+ school
+ series
+ title
+ type
+ volume
+ year
+ }
+ {}
+ { label }
+
+INTEGERS { output.state before.all mid.sentence after.sentence
+ after.block after.authors between.elements}
+
+FUNCTION {init.state.consts}
+{ #0 'before.all :=
+ #1 'mid.sentence :=
+ #2 'after.sentence :=
+ #3 'after.block :=
+ #4 'after.authors :=
+ #5 'between.elements :=
+}
+
+STRINGS { s t }
+
+FUNCTION {output.nonnull}
+{ 's :=
+ output.state mid.sentence =
+ { " " * write$ }
+ { output.state after.block =
+ { add.period$ write$
+ newline$
+ "\newblock " write$
+ }
+ {
+ output.state after.authors =
+ { ": " * write$
+ newline$
+ "\newblock " write$
+ }
+ { output.state between.elements =
+ { ", " * write$ }
+ { output.state before.all =
+ 'write$
+ { add.period$ " " * write$ }
+ if$
+ }
+ if$
+ }
+ if$
+ }
+ if$
+ mid.sentence 'output.state :=
+ }
+ if$
+ s
+}
+
+FUNCTION {output}
+{ duplicate$ empty$
+ 'pop$
+ 'output.nonnull
+ if$
+}
+
+FUNCTION {output.check}
+{ 't :=
+ duplicate$ empty$
+ { pop$ "empty " t * " in " * cite$ * warning$ }
+ 'output.nonnull
+ if$
+}
+
+FUNCTION {output.bibitem}
+{ newline$
+ "\bibitem{" write$
+ cite$ write$
+ "}" write$
+ newline$
+ ""
+ before.all 'output.state :=
+}
+
+FUNCTION {fin.entry}
+{ write$
+ newline$
+}
+
+FUNCTION {new.block}
+{ output.state before.all =
+ 'skip$
+ { after.block 'output.state := }
+ if$
+}
+
+FUNCTION {stupid.colon}
+{ after.authors 'output.state := }
+
+FUNCTION {insert.comma}
+{ output.state before.all =
+ 'skip$
+ { between.elements 'output.state := }
+ if$
+}
+
+FUNCTION {new.sentence}
+{ output.state after.block =
+ 'skip$
+ { output.state before.all =
+ 'skip$
+ { after.sentence 'output.state := }
+ if$
+ }
+ if$
+}
+
+FUNCTION {not}
+{ { #0 }
+ { #1 }
+ if$
+}
+
+FUNCTION {and}
+{ 'skip$
+ { pop$ #0 }
+ if$
+}
+
+FUNCTION {or}
+{ { pop$ #1 }
+ 'skip$
+ if$
+}
+
+FUNCTION {new.block.checka}
+{ empty$
+ 'skip$
+ 'new.block
+ if$
+}
+
+FUNCTION {new.block.checkb}
+{ empty$
+ swap$ empty$
+ and
+ 'skip$
+ 'new.block
+ if$
+}
+
+FUNCTION {new.sentence.checka}
+{ empty$
+ 'skip$
+ 'new.sentence
+ if$
+}
+
+FUNCTION {new.sentence.checkb}
+{ empty$
+ swap$ empty$
+ and
+ 'skip$
+ 'new.sentence
+ if$
+}
+
+FUNCTION {field.or.null}
+{ duplicate$ empty$
+ { pop$ "" }
+ 'skip$
+ if$
+}
+
+FUNCTION {emphasize}
+{ duplicate$ empty$
+ { pop$ "" }
+ { "" swap$ * "" * }
+ if$
+}
+
+FUNCTION {bold}
+{ duplicate$ empty$
+ { pop$ "" }
+ { "\textbf{" swap$ * "}" * }
+ if$
+}
+
+FUNCTION {parens}
+{ duplicate$ empty$
+ { pop$ "" }
+ { "(" swap$ * ")" * }
+ if$
+}
+
+INTEGERS { nameptr namesleft numnames }
+
+FUNCTION {format.springer.names}
+{ 's :=
+ #1 'nameptr :=
+ s num.names$ 'numnames :=
+ numnames 'namesleft :=
+ { namesleft #0 > }
+ { s nameptr "{vv~}{ll}{, jj}{, f{.}.}" format.name$ 't :=
+ nameptr #1 >
+ { namesleft #1 >
+ { ", " * t * }
+ { numnames #1 >
+ { ", " * }
+ 'skip$
+ if$
+ t "others" =
+ { " et~al." * }
+ { "" * t * }
+ if$
+ }
+ if$
+ }
+ 't
+ if$
+ nameptr #1 + 'nameptr :=
+ namesleft #1 - 'namesleft :=
+ }
+ while$
+}
+
+FUNCTION {format.names}
+{ 's :=
+ #1 'nameptr :=
+ s num.names$ 'numnames :=
+ numnames 'namesleft :=
+ { namesleft #0 > }
+ { s nameptr "{vv~}{ll}{, jj}{, f.}" format.name$ 't :=
+ nameptr #1 >
+ { namesleft #1 >
+ { ", " * t * }
+ { numnames #2 >
+ { "," * }
+ 'skip$
+ if$
+ t "others" =
+ { " et~al." * }
+ { " \& " * t * }
+ if$
+ }
+ if$
+ }
+ 't
+ if$
+ nameptr #1 + 'nameptr :=
+ namesleft #1 - 'namesleft :=
+ }
+ while$
+}
+
+FUNCTION {format.authors}
+{ author empty$
+ { "" }
+ { author format.springer.names }
+ if$
+}
+
+FUNCTION {format.editors}
+{ editor empty$
+ { "" }
+ { editor format.springer.names
+ editor num.names$ #1 >
+ { ", eds." * }
+ { ", ed." * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.title}
+{ title empty$
+ { "" }
+ { title "t" change.case$ }
+ if$
+}
+
+FUNCTION {n.dashify}
+{ 't :=
+ ""
+ { t empty$ not }
+ { t #1 #1 substring$ "-" =
+ { t #1 #2 substring$ "--" = not
+ { "--" *
+ t #2 global.max$ substring$ 't :=
+ }
+ { { t #1 #1 substring$ "-" = }
+ { "-" *
+ t #2 global.max$ substring$ 't :=
+ }
+ while$
+ }
+ if$
+ }
+ { t #1 #1 substring$ *
+ t #2 global.max$ substring$ 't :=
+ }
+ if$
+ }
+ while$
+}
+
+FUNCTION {format.date}
+{ year empty$
+ { month empty$
+ { "" }
+ { "there's a month but no year in " cite$ * warning$
+ month
+ }
+ if$
+ }
+ { month empty$
+ 'year
+ { month " " * year * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.btitle}
+{ title emphasize
+}
+
+FUNCTION {tie.or.space.connect}
+{ duplicate$ text.length$ #3 <
+ { "~" }
+ { " " }
+ if$
+ swap$ * *
+}
+
+FUNCTION {either.or.check}
+{ empty$
+ 'pop$
+ { "can't use both " swap$ * " fields in " * cite$ * warning$ }
+ if$
+}
+
+FUNCTION {format.bvolume}
+{ volume empty$
+ { "" }
+ { "Volume" volume tie.or.space.connect
+ series empty$
+ 'skip$
+ { " of " * series emphasize * }
+ if$
+ add.period$
+ "volume and number" number either.or.check
+ }
+ if$
+}
+
+FUNCTION {format.number.series}
+{ volume empty$
+ { number empty$
+ { series field.or.null }
+ { output.state mid.sentence =
+ { "number" }
+ { "Number" }
+ if$
+ number tie.or.space.connect
+ series empty$
+ { "there's a number but no series in " cite$ * warning$ }
+ { " in " * series * }
+ if$
+ }
+ if$
+ }
+ { "" }
+ if$
+}
+
+FUNCTION {format.edition}
+{ edition empty$
+ { "" }
+ { output.state mid.sentence =
+ { edition "l" change.case$ " edn." * }
+ { edition "t" change.case$ " edn." * }
+ if$
+ }
+ if$
+}
+
+INTEGERS { multiresult }
+
+FUNCTION {multi.page.check}
+{ 't :=
+ #0 'multiresult :=
+ { multiresult not
+ t empty$ not
+ and
+ }
+ { t #1 #1 substring$
+ duplicate$ "-" =
+ swap$ duplicate$ "," =
+ swap$ "+" =
+ or or
+ { #1 'multiresult := }
+ { t #2 global.max$ substring$ 't := }
+ if$
+ }
+ while$
+ multiresult
+}
+
+FUNCTION {format.pages}
+{ pages empty$
+ { "" }
+ { pages multi.page.check
+ { "" pages n.dashify tie.or.space.connect }
+ { "" pages tie.or.space.connect }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.vol}
+{ volume bold
+}
+
+FUNCTION {format.vol.num}
+{ volume bold
+number empty$
+{ }
+{ number "(" swap$ * * ")" * }
+if$
+}
+
+FUNCTION {pre.format.pages}
+{ pages empty$
+ 'skip$
+ { duplicate$ empty$
+ { pop$ format.pages }
+ { " " * pages n.dashify * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.chapter.pages}
+{ chapter empty$
+ 'format.pages
+ { type empty$
+ { "chapter" }
+ { type "l" change.case$ }
+ if$
+ chapter tie.or.space.connect
+ pages empty$
+ 'skip$
+ { " " * format.pages * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.in.ed.booktitle}
+{ booktitle empty$
+ { "" }
+ { editor empty$
+ { "In: " booktitle emphasize * }
+ { "In " format.editors * ": " * booktitle emphasize * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {empty.misc.check}
+{ author empty$ title empty$ howpublished empty$
+ month empty$ year empty$ note empty$
+ and and and and and
+ { "all relevant fields are empty in " cite$ * warning$ }
+ 'skip$
+ if$
+}
+
+FUNCTION {format.thesis.type}
+{ type empty$
+ 'skip$
+ { pop$
+ type "t" change.case$
+ }
+ if$
+}
+
+FUNCTION {format.tr.number}
+{ type empty$
+ { "Technical Report" }
+ 'type
+ if$
+ number empty$
+ { "t" change.case$ }
+ { number tie.or.space.connect }
+ if$
+}
+
+FUNCTION {format.article.crossref}
+{ key empty$
+ { journal empty$
+ { "need key or journal for " cite$ * " to crossref " * crossref *
+ warning$
+ ""
+ }
+ { "In {\em " journal * "\/}" * }
+ if$
+ }
+ { "In " key * }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+FUNCTION {format.crossref.editor}
+{ editor #1 "{vv~}{ll}" format.name$
+ editor num.names$ duplicate$
+ #2 >
+ { pop$ " et~al." * }
+ { #2 <
+ 'skip$
+ { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" =
+ { " et~al." * }
+ { " and " * editor #2 "{vv~}{ll}" format.name$ * }
+ if$
+ }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.book.crossref}
+{ volume empty$
+ { "empty volume in " cite$ * "'s crossref of " * crossref * warning$
+ "In "
+ }
+ { "Volume" volume tie.or.space.connect
+ " of " *
+ }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+FUNCTION {format.incoll.inproc.crossref}
+{ editor empty$
+ editor field.or.null author field.or.null =
+ or
+ { key empty$
+ { booktitle empty$
+ { "need editor, key, or booktitle for " cite$ * " to crossref " *
+ crossref * warning$
+ ""
+ }
+ { "" }
+ if$
+ }
+ { "" }
+ if$
+ }
+ { "" }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+FUNCTION {and.the.note}
+{ note output
+ note empty$
+ 'skip$
+ { add.period$ }
+ if$
+}
+
+FUNCTION {article}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.title "title" output.check
+ new.block
+ crossref missing$
+ { journal emphasize "journal" output.check
+ format.vol.num output
+ format.date parens output
+ format.pages output
+ }
+ { format.article.crossref output.nonnull
+ format.pages output
+ }
+ if$
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {book}
+{ output.bibitem
+ author empty$
+ { format.editors "author and editor" output.check }
+ { format.authors output.nonnull
+ crossref missing$
+ { "author and editor" editor either.or.check }
+ 'skip$
+ if$
+ }
+ if$
+ stupid.colon
+ format.btitle "title" output.check
+ new.sentence
+ crossref missing$
+ { format.edition output
+ format.bvolume output
+ new.block
+ format.number.series output
+ new.sentence
+ publisher "publisher" output.check
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ format.date parens output
+ }
+ { format.book.crossref output.nonnull
+ }
+ if$
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {booklet}
+{ output.bibitem
+ format.authors output
+ stupid.colon
+ format.title "title" output.check
+ howpublished address new.block.checkb
+ howpublished output
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ format.date parens output
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {inbook}
+{ output.bibitem
+ author empty$
+ { format.editors "author and editor" output.check }
+ { format.authors output.nonnull
+ crossref missing$
+ { "author and editor" editor either.or.check }
+ 'skip$
+ if$
+ }
+ if$
+ stupid.colon
+ crossref missing$
+ { chapter output
+ new.block
+ format.number.series output
+ new.sentence
+ "In:" output
+ format.btitle "title" output.check
+ new.sentence
+ format.edition output
+ format.bvolume output
+ publisher "publisher" output.check
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ format.date parens output
+ }
+ { chapter output
+ new.block
+ format.incoll.inproc.crossref output.nonnull
+ }
+ if$
+ format.pages output
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {incollection}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.title "title" output.check
+ new.block
+ crossref missing$
+ { format.in.ed.booktitle "booktitle" output.check
+ new.sentence
+ format.bvolume output
+ format.number.series output
+ new.block
+ format.edition output
+ publisher "publisher" output.check
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ format.date parens output
+ format.pages output
+ }
+ { format.incoll.inproc.crossref output.nonnull
+ format.chapter.pages output
+ }
+ if$
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {inproceedings}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.title "title" output.check
+ new.block
+ crossref missing$
+ { format.in.ed.booktitle "booktitle" output.check
+ new.sentence
+ format.bvolume output
+ format.number.series output
+ address empty$
+ { organization publisher new.sentence.checkb
+ organization empty$
+ 'skip$
+ { insert.comma }
+ if$
+ organization output
+ publisher empty$
+ 'skip$
+ { insert.comma }
+ if$
+ publisher output
+ format.date parens output
+ }
+ { insert.comma
+ address output.nonnull
+ organization empty$
+ 'skip$
+ { insert.comma }
+ if$
+ organization output
+ publisher empty$
+ 'skip$
+ { insert.comma }
+ if$
+ publisher output
+ format.date parens output
+ }
+ if$
+ }
+ { format.incoll.inproc.crossref output.nonnull
+ }
+ if$
+ format.pages output
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {conference} { inproceedings }
+
+FUNCTION {manual}
+{ output.bibitem
+ author empty$
+ { organization empty$
+ 'skip$
+ { organization output.nonnull
+ address output
+ }
+ if$
+ }
+ { format.authors output.nonnull }
+ if$
+ stupid.colon
+ format.btitle "title" output.check
+ author empty$
+ { organization empty$
+ { address new.block.checka
+ address output
+ }
+ 'skip$
+ if$
+ }
+ { organization address new.block.checkb
+ organization output
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ }
+ if$
+ new.sentence
+ format.edition output
+ format.date parens output
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {mastersthesis}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.title "title" output.check
+ new.block
+ "Master's thesis" format.thesis.type output.nonnull
+ school empty$
+ 'skip$
+ { insert.comma }
+ if$
+ school "school" output.check
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ format.date parens output
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {misc}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.title "title" output.check
+ howpublished new.block.checka
+ howpublished output
+ format.date parens output
+ and.the.note
+ fin.entry
+ empty.misc.check
+}
+
+FUNCTION {phdthesis}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.btitle "title" output.check
+ new.block
+ "PhD thesis" format.thesis.type output.nonnull
+ school empty$
+ 'skip$
+ { insert.comma }
+ if$
+ school "school" output.check
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ format.date parens output
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {proceedings}
+{ output.bibitem
+ editor empty$
+ { organization empty$
+ { "" }
+ { organization output
+ stupid.colon }
+ if$
+ }
+ { format.editors output.nonnull
+ stupid.colon
+ }
+ if$
+ format.btitle "title" output.check
+ new.block
+ crossref missing$
+ { format.in.ed.booktitle "booktitle" output.check
+ new.sentence
+ format.bvolume output
+ format.number.series output
+ address empty$
+ { organization publisher new.sentence.checkb
+ organization empty$
+ 'skip$
+ { insert.comma }
+ if$
+ organization output
+ publisher empty$
+ 'skip$
+ { insert.comma }
+ if$
+ publisher output
+ format.date parens output
+ }
+ { insert.comma
+ address output.nonnull
+ organization empty$
+ 'skip$
+ { insert.comma }
+ if$
+ organization output
+ publisher empty$
+ 'skip$
+ { insert.comma }
+ if$
+ publisher output
+ format.date parens output
+ }
+ if$
+ }
+ { format.incoll.inproc.crossref output.nonnull
+ }
+ if$
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {techreport}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.title "title" output.check
+ new.block
+ format.tr.number output.nonnull
+ institution empty$
+ 'skip$
+ { insert.comma }
+ if$
+ institution "institution" output.check
+ address empty$
+ 'skip$
+ { insert.comma }
+ if$
+ address output
+ format.date parens output
+ and.the.note
+ fin.entry
+}
+
+FUNCTION {unpublished}
+{ output.bibitem
+ format.authors "author" output.check
+ stupid.colon
+ format.title "title" output.check
+ new.block
+ note "note" output.check
+ format.date parens output
+ fin.entry
+}
+
+FUNCTION {default.type} { misc }
+
+MACRO {jan} {"January"}
+
+MACRO {feb} {"February"}
+
+MACRO {mar} {"March"}
+
+MACRO {apr} {"April"}
+
+MACRO {may} {"May"}
+
+MACRO {jun} {"June"}
+
+MACRO {jul} {"July"}
+
+MACRO {aug} {"August"}
+
+MACRO {sep} {"September"}
+
+MACRO {oct} {"October"}
+
+MACRO {nov} {"November"}
+
+MACRO {dec} {"December"}
+
+MACRO {acmcs} {"ACM Computing Surveys"}
+
+MACRO {acta} {"Acta Informatica"}
+
+MACRO {cacm} {"Communications of the ACM"}
+
+MACRO {ibmjrd} {"IBM Journal of Research and Development"}
+
+MACRO {ibmsj} {"IBM Systems Journal"}
+
+MACRO {ieeese} {"IEEE Transactions on Software Engineering"}
+
+MACRO {ieeetc} {"IEEE Transactions on Computers"}
+
+MACRO {ieeetcad}
+ {"IEEE Transactions on Computer-Aided Design of Integrated Circuits"}
+
+MACRO {ipl} {"Information Processing Letters"}
+
+MACRO {jacm} {"Journal of the ACM"}
+
+MACRO {jcss} {"Journal of Computer and System Sciences"}
+
+MACRO {scp} {"Science of Computer Programming"}
+
+MACRO {sicomp} {"SIAM Journal on Computing"}
+
+MACRO {tocs} {"ACM Transactions on Computer Systems"}
+
+MACRO {tods} {"ACM Transactions on Database Systems"}
+
+MACRO {tog} {"ACM Transactions on Graphics"}
+
+MACRO {toms} {"ACM Transactions on Mathematical Software"}
+
+MACRO {toois} {"ACM Transactions on Office Information Systems"}
+
+MACRO {toplas} {"ACM Transactions on Programming Languages and Systems"}
+
+MACRO {tcs} {"Theoretical Computer Science"}
+
+READ
+
+STRINGS { longest.label }
+
+INTEGERS { number.label longest.label.width }
+
+FUNCTION {initialize.longest.label}
+{ "" 'longest.label :=
+ #1 'number.label :=
+ #0 'longest.label.width :=
+}
+
+FUNCTION {longest.label.pass}
+{ number.label int.to.str$ 'label :=
+ number.label #1 + 'number.label :=
+ label width$ longest.label.width >
+ { label 'longest.label :=
+ label width$ 'longest.label.width :=
+ }
+ 'skip$
+ if$
+}
+
+EXECUTE {initialize.longest.label}
+
+ITERATE {longest.label.pass}
+
+FUNCTION {begin.bib}
+{ preamble$ empty$
+ 'skip$
+ { preamble$ write$ newline$ }
+ if$
+ "\begin{thebibliography}{" longest.label * "}" * write$ newline$
+}
+
+EXECUTE {begin.bib}
+
+EXECUTE {init.state.consts}
+
+ITERATE {call.type$}
+
+FUNCTION {end.bib}
+{ newline$
+ "\end{thebibliography}" write$ newline$
+}
+
+EXECUTE {end.bib}
+
+
+
diff --git a/miscellaneous/paper/sozopol13/swarch.eps b/miscellaneous/paper/sozopol13/swarch.eps
new file mode 100644
index 0000000..2dcb41f
--- /dev/null
+++ b/miscellaneous/paper/sozopol13/swarch.eps
@@ -0,0 +1,6246 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: cairo 1.10.2 (http://cairographics.org)
+%%CreationDate: Thu Mar 21 12:42:32 2013
+%%Pages: 1
+%%BoundingBox: 0 -1 273 273
+%%DocumentData: Clean7Bit
+%%LanguageLevel: 2
+%%EndComments
+%%BeginProlog
+/cairo_eps_state save def
+/dict_count countdictstack def
+/op_count count 1 sub def
+userdict begin
+/q { gsave } bind def
+/Q { grestore } bind def
+/cm { 6 array astore concat } bind def
+/w { setlinewidth } bind def
+/J { setlinecap } bind def
+/j { setlinejoin } bind def
+/M { setmiterlimit } bind def
+/d { setdash } bind def
+/m { moveto } bind def
+/l { lineto } bind def
+/c { curveto } bind def
+/h { closepath } bind def
+/re { exch dup neg 3 1 roll 5 3 roll moveto 0 rlineto
+ 0 exch rlineto 0 rlineto closepath } bind def
+/S { stroke } bind def
+/f { fill } bind def
+/f* { eofill } bind def
+/n { newpath } bind def
+/W { clip } bind def
+/W* { eoclip } bind def
+/BT { } bind def
+/ET { } bind def
+/pdfmark where { pop globaldict /?pdfmark /exec load put }
+ { globaldict begin /?pdfmark /pop load def /pdfmark
+ /cleartomark load def end } ifelse
+/BDC { mark 3 1 roll /BDC pdfmark } bind def
+/EMC { mark /EMC pdfmark } bind def
+/cairo_store_point { /cairo_point_y exch def /cairo_point_x exch def } def
+/Tj { show currentpoint cairo_store_point } bind def
+/TJ {
+ {
+ dup
+ type /stringtype eq
+ { show } { -0.001 mul 0 cairo_font_matrix dtransform rmoveto } ifelse
+ } forall
+ currentpoint cairo_store_point
+} bind def
+/cairo_selectfont { cairo_font_matrix aload pop pop pop 0 0 6 array astore
+ cairo_font exch selectfont cairo_point_x cairo_point_y moveto } bind def
+/Tf { pop /cairo_font exch def /cairo_font_matrix where
+ { pop cairo_selectfont } if } bind def
+/Td { matrix translate cairo_font_matrix matrix concatmatrix dup
+ /cairo_font_matrix exch def dup 4 get exch 5 get cairo_store_point
+ /cairo_font where { pop cairo_selectfont } if } bind def
+/Tm { 2 copy 8 2 roll 6 array astore /cairo_font_matrix exch def
+ cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def
+/g { setgray } bind def
+/rg { setrgbcolor } bind def
+/d1 { setcachedevice } bind def
+%%EndProlog
+%%Page: 1 1
+%%BeginPageSetup
+%%PageBoundingBox: 0 -1 273 273
+%%EndPageSetup
+q 0 -1 273 274 rectclip q
+0 272.522 273 -273 re W n
+1 1 0 rg
+1.498179 w
+0 J
+0 j
+[] 0.0 d
+4 M q 0.171296 1 1 -0.171296 0 272.522186 cm
+11.993 155.004 m 11.996 222.223 -42.498 276.717 -109.721 276.717 c
+-176.939 276.719 -231.434 222.226 -231.433 155.003 c -231.432 87.784
+-176.938 33.289 -109.719 33.291 c -42.497 33.291 11.994 87.785 11.993
+155.004 c h
+11.993 155.004 m S Q
+1.39856 w
+q 0.425681 -1 1 0.425681 0 272.522186 cm
+283.96 66.206 m 283.962 132.209 230.456 185.712 164.453 185.714 c
+98.449 185.713 44.946 132.207 44.944 66.204 c 44.946 0.203 98.451
+-53.303 164.455 -53.302 c 230.454 -53.303 283.961 0.201 283.96 66.206 c
+h
+283.96 66.206 m S Q
+0 0.2 0.4 rg
+1.481847 w
+q -0.228378 -1 -1 0.228378 0 272.522186 cm
+189.132 -159.037 m 189.131 -109.783 149.203 -69.856 99.949 -69.854 c
+50.695 -69.855 10.768 -109.783 10.769 -159.038 c 10.768 -208.287 50.695
+-248.218 99.949 -248.217 c 149.204 -248.215 189.13 -208.291 189.132
+-159.037 c h
+189.132 -159.037 m S Q
+Q q
+0 272.522 273 -273 re W n
+q
+0 272.522 272 -272 re W n
+% Fallback Image: x=0, y=0, w=273, h=273 res=300dpi size=3885132
+[ 0.24 0 0 0.24 0 -0.597814 ] concat
+/DeviceRGB setcolorspace
+8 dict dup begin
+ /ImageType 1 def
+ /Width 1138 def
+ /Height 1138 def
+ /BitsPerComponent 8 def
+ /Decode [ 0 1 0 1 0 1 ] def
+ /DataSource currentfile /ASCII85Decode filter /LZWDecode filter def
+ /Interpolate false def
+ /ImageMatrix [ 1 0 0 -1 0 1138 ] def
+end
+image
+J3Vsg3$]7K#D>EP:q1$o*=mro@So+\<\5,H7Uo<*jE<[.O@Wn[3@'nb-^757;Rp>H>q_R=Al
+ C^cenm@9:1mM9jS"!dTMT<$3[GQ$8#0$s<4ZX!SPQ1`C/mioWjnAY&^gM+`4=1jRLW!YA=M/6)*KS9PE`kN%="Tc
+ _Aoh+fk'&t\ctIN)4XQLiVpoI(>.nOW?*DmsG$@,,f58"PDKfeXi0S^6MAGg@2$h;%OHp%pn4ds9+%DRhkN0+4njicMLFc4=!_fBm.WIG[8-[A_o%q0u^H'
+ ;=-)]2/mFllTm!qWU9W9GI`IODGpB_@VYP$,Ve(#'_2%Z,1RQVNJ<-(e/MP=dV[87Tu2_Ti
+ ,6ZV!2\WP!s'D7[6=q$;l_Vkr^GUjN*E@Os2$s7tuW[$5a-r(do_^5hM5]![7p.",A*t!#^
+ aD]X'.^;XCqIbB"**0h`6#bqdNW,h4]p15Oiq#\0*b4U!%&rY^WI.!dW\EY0?A%]$a^9ZG$
+ ge3k"uJQb7#jbXmR(M)K4@MOU]RU)=.ZeG#A-X#;OT27'j;:Lj_9iKRW9iY3DQ#0dJ^rP]`
+ Fe/eoZuME:0rRqbVEGu+Nb!E:*0\6aj@Y410c1ac6l86;O&L!!)@Z4KXYec'?*S8$/aph
+ h+-iY[\%M;jo*/W6suU$R.FVWl?1RY:3?@Z^fpE&\H+8@C\qU);Rr7&kmLX+%I%P=+J7b9.iK"b?_at>9M1^@-(5h/]h5#$/58C!a4D,JMnf3-*a)[]2
+ .kC\:^stH#_^QC2%n*C'9,2%A88-Sp)n!3KSSqfcp)T3*g%Lu:AH*\t)4k^+7P@)0cuLQB%
+ #ErHDp*DGT9IIoSmS&MH6.""kPALsQ5'b%pl%(n'KJiWPbm>P@@B[-_K8a)kABnjT5WQ[rZ
+ @3_q6\1>gj*;IiBUP5_q?Lj!kb::'Nj`(B^=H%t[VI$:+qKR(sh&%1P
+ -WKQ,Qh=4!iX,+Mtt@>Zn]d,>uuV>moVE0nrNM)FICVJOeqU)rmKlN8Y$i7As?"6>ci
+ 15TUHRHkV,$<[C/dR1nRb;2N[m-q-%U!C=50"G&g%6/a"-KQ*q)@_?-.@A5\NGk)o[g,;FQ
+ h&GC-EK3o?hN*pg1reJ8'dDjQL[d,NQaiJr+p#oaBWE<9UksuW,"9SP)'e3aOcc\UG)'W+)
+ h_=l?ipQDNM4ue#GcI+;N=XI=\U@,7&_UEP^b.'p+kJ#J.ge5.>R+B)C1i7QSM0=9A+SDjk
+ R\=dg>taF90r@poX:N_T5Gm2K:oPR'
+ aBCYr.Kr&8<.:Oj)Mq>V2&ZRJ,Wg\;i[%ge]bs1D2%P"IH7Gm9*0(rQuZN,OghWuATWlihsE>8i!7B*[ahL@S*kTg=>2%-,s/-_S$D=#
+ NXZZb?agT,UYTf)4se/bY8($)N@^b?]c+e5F
+ (&m%NUb"Ka%t-`MP52L0%*G43=cm99O!Xb7RbF%*MTG3jIktoi#KY@*T^P.Q1Dpt6?Lk0*o
+ #>>J4M^1GpaqN>fiE)?>.R9V`$P'k+Qeabb*R(3bM^bSb'[o;o?gY$^$c^"UH.U@H04Y>hb
+ sY?A[&J014ZV_A_:`O:brX>`Aci3:/&p:nUO>T>(lIkUDMlt*1KA2G=f_4
+ %Z!4au0*gH!S5,n]e,&N>CYaEBacY;h$4I4D&EBiLG-]d?04etUPI'j-+UmVn6J/'fVKN0s
+ gKST6CYY^I"K8=:ldQ%>SB%tEB$f?QYB=a=du%HSFToTh6!%>']E>*p'nZX$NN2rdGR"9->
+ RopaM43o-R"F/kZ\@i8)8l5n&\F@AS+b'?p.b=BLS:i.ktH/@fK]LS[f$*ZZ$O_-pg
+ ppI_a5Tg:AJ0oth_T$)S=8Fh5[0/1T(=8k!q/:]MrWg7oltCbR;/S-UBQ4ZU6dP\f7J"4%c
+ h^Nr22IAg6:AQbaO8u0\S2<57A%6f?]Xc,?d)Xp9;ghlF6J)1Vu+3snGZ((5`hMr&t-6U$6
+ f"TIiT015n"@A8f(pY*C8Q[n.>[T'`hcabDl997]I/_rpVSu!jDP(n)jca/5#tr%07Fl.\n
+ !HPd,fEo*IGi+[QtUqZAC8g/'gBar8//)$Y%o#-_nf+eBVr`8;_?"/(kgn21J*=T`W"#Z%7
+ 8JH?uB;M!tJ4e`Q%@8[ogN4bsb%7$Qr@4]\Vf*:`T$a@;7J]JiTh@O*T(9-U,E/+l6M[_Am
+ lg#N#JeJP9hLXs^&u$"V@J5kgeAWlVkQNXYc*7ZH"V>YZduT="@!2rE'*W@,&[;!=YoaS(S
+ @5.)@:Aftk:C61'HBFPHi\J3W_aV:HK'u$&F[-Z0VB6%(ib0KZ/H_h`;Dq5cqOddD5>Ur`ZZK>'HqL:TSa1E*[)l
+ G)s8bKBtt=s*+X)(J0LY>j-4QX_'_$/WOj>7-2'Zg-I4XARc0ZQLh'@"#,a(R`a7:B"
+ Qk3m]Q9l5ZN1=m]";>3W+XMSWVJ^SZ#+=m6%I&&(U(\`%:@>nm$:+Hm9CjBkPppa@IBRnaJ
+ 3F9io-CW@,kA&_d]gg/@Mg_F+VFhgk8N&ODBUA%El!,@@B^mtU(2`,ENkNJ.]TqV)]>=5&0
+ _K318bScWfSUJ)GU5\ZN2a9"C\4V;PBOTd4m-AX",t@0s__^WZ!$'YR_m8EMWj_/TTml)Rc
+ lY+UO*IWOsB)&56bt%Ha;q,ms]=G/%[97,a42@&abBILLc3'LEHWnC4s:qA+#X!:pFSo78k
+ H&n@WZ:p3t2',NYb*B@%?3J`oqTl)#,WYEI7g.A^r0>MVDC^\&f+Y/ct#;"m:'-0Sl(u_80
+ ZKr`'@dW6o)oTO6o<@l7g=esmc7!Zl;t3(.oJUNqit1N%1RgCH"[FmN3R/b+!E:3pph:!8'
+ 1*>L'97+PJe_`-Tr/fjWLbAdL`-<(9P\A_@F?14j.(Z,.0f4E#Wp3C'&Nqsf9XN&B5h^Kt0GOl_*25A%7n=I#lO(%+j2Da+Pu1dD`EZl!98+)sEI1`OeQ+QZZ"NF2)cGo-W2-%6t)O(Z]?#6&MAm:=lApf@Qa5sr*Hd<5(n\bB$FSH-";$G,H"
+ Gd%EdK!hd+en?+)n+BmaW(&f]fP*JLebmYW/:]R#A,(r?mpi><:W)_GJO#t8`uFC67JHW5S
+ F%j<>9p,YkpKf-s<+*K/Jp5s%od^osfBJuDkp7Gk2UjA4c+H!1'1kf%3M"uiX)hH!L65+(2
+ (L&Y2;@.PY+q[Uo1'p5$&khq7@Mq';ASMF-1ps512Nr&;ofm0g=73b:2Z[f^Vf5]=9iga+o
+ \)r0D\aN/-qC5m+qjJZ:3)K\+SHY8'nRRlEC(r!g/%eB0lLjDeQBf%k#H^BZr&iFX%FO$'6
+ a+mpL,'7L)r$o=r.QipBc%&#BsgZ)542Q+qi`Xa)utI6il+R-`Jl\&/RWo)TNdM!YTo=oTC
+ sJ+V=WmZe8,FL*125/E*jGP^*H%6ZtE1I'=JlV$B08H$<>0I6YIC!0%
+ 0O@CP-57X:g\2>3[s`K&&VMMIc_6[s8,k2]SP4V=;TU&Kdf(B>$%o%i0**10_0JC--]!#'f
+ C8c8fJA/IQ&.JgLP3PY_@fm(oVH"0cj1\_Fp&qMWa0\G`)Qp_o'7ZA=YZ*jTaqZA(f0c7R4"&@6][X*&hfC\NP6U>J;I8fCnZ#lY]q<>HBG(k77%S
+ 4BcAInqB78,-7C@AP-u84#C.!g@j_*f\*oM`Q'lBoo*a5-q*g`48X`dTRY7pIAGpWF?#m*+
+ EbHPA_@me7)gR"9+ZYRFZ'$7e\Ut/<:t%h6BTuTX%%l&i'QMj0TV`3m0e@UD&5X/]-)!A6Tc.d@qJ`!f90:=_EO<"p/+]f[lF0%FEXD3Y[F=L1$)`enc(n-Sd;W(tc:6I%
+ b=`p0i7eK;oMeXO9OnuVlqZ(JOM5E=HXLcBTq[KekbdUQ@8`C9hi;ODQ)[X@n6)bdq+qhdZ
+ S<:%UF^boM!?-OOQY2]%4,5Ct+A<+bql!:Ug-l6M]*#K'A6!Q)7N2`?HPNe)EOU::9Ea1I_
+ '_8\.YEJ;XW[V9un6[_Ik?K)OjRoiq!l6'(c0\*(qlk)9lMO/1UO>
+ F)KHdTMP&t/?b!df4%45mmMjgV7@GsW#TH"^K.Z67]X0.DB)_@jPf
+ TTq\7j#m_V*QuX=Xrc)^hFi#ccmo*W:1MhXT=TQ4Qd$S!j#AkGBah4-$/@eOqM8\1>b.O^r
+ r(`BWA]-$I]4)96W>eQXGruA+(EsKA-m(n)H-!iPLCRfp_)*%');N%F(Z?%^Tb6$F%GKbJ
+ %O"@SIAd]B`Y-)cftdFk_%I9,O:OU:%m]Of@,)6B>RVn=$D?;-JCX`dHC#XZO*cC#QS+CLD
+ q)W9*Jc1O(SX1-i0V]b_7;VP@MYTkCl/AONT(NbCO!t?J&\$XlFs>OEGi%P?-rSZ^oaC6@#
+ PP#D@OOg%UFr&*^C6dc4`JB%`)$S@0RL`$ka_>&Ui(>^#Te,Eng\S+!EnNRo]ruLYp)tJJ%nt.6!^G54)%hQ)7-a4`U"Q^%ms49E
+ #\>@Bg*A'g!Me+f'3WS[M@+"X1?"JslYQG=T%@nkh=#Rc*Zl2ZalW,>r>qS4YM&=;Hi>*/Q
+ d=phqgJJdT@`Q-rVo+O"9SZiE$Pen5k%/T"WZ]6i\$:fo0CDTc=AF46LJqM$UZW/2\/8Q"?
+ R14nJ"V/7.D6q'1Gbd7@nbWk+!/r=S>1IAQa1fRqGmtKqi?cG,;6T>
+ 5#qAD-M2FS9l=_d/H_)5Zi;=<#,A\FBrtLgN?fRA`%c>2l5J[?>aEh*Xs88XuE=)W3f$TUT
+ m]_Op2d+sqJI)eUJ/eTH:Q>M"#rLL]"\IA^l8G5]I&h
+ 03_(>$dWB0_rY3I34BSq#2Y'j*/;V/>U`fk;Q4Lh46jJ8/*eSuV%7-XCJWMbp5k,U>6Z_
+ ^Dks/F4&JYE+e/O%%3$\XrJhkC9R"CEbo/-3iQkL$o(nrQA$;h!A`%ZKATqFFk+P?9l<',k
+ 3oWeNPSfYdGL_R^V=c?dl2odq1%AG7LSAAG`L2jOX!i\>`!T#qoWO#Ks/fu973%P7WZO_Xi
+ =JnX"L+pD#0^Wf;8*%hW\$(0@+gPPc9"jc)Z_)F225NH.)e`g)/[T8$iueT7"D-N
+ NVjLp;#a)5_CuqhPgZ".RN+_i,bmYuC^pKmCr@0\(9"S[L(Ou5a6&.,RXd-?()_o8l#B3lXJosLYMR-V>eHW4Bk.]HYr.`r[B6o-E-A
+ VZo*5sU`'#Pta$ZXZAk;;[p!W5UqBu1:q?r[Jb(jhA!.;2,jG7hZCbh@;$%Dg+DZds_FfeG
+ 60`Ya'1(7[pR&ER^HG]44fEX`-/Je!B':^B?`08,G$)hNTT&#!AmLsWp[K]$MUU9$;3J]K&
+ fd4'JfA=JDf&2(md@hQWQ*sWAD#(gUQYP5K@fE>.dK6*PE/f@b86!c4aH*_Ln4V5_T$KW84
+ iZ+_lGDS%P07jIB&YK[S:dWkC_PhuCA*A?%^a'IYMBiO[g5d.`^-7(G6k3qt*X4>501Jdi0
+ B.poN/QOulEG[P!s!"8r,Ia:eiUp>pE*oCJWOmcZAV**4UFtm8QCd*ad9m=AF,eLns3-+17
+ 0nN+Nb[U^l&_SpfN>\8i?g&`udu9d9X@j9V8geZQV:YKNumBJue[T\^h"BiIi8YM^oElcoP
+ fR^`,ZA>0h"Y@^:4e%Q";/'8$-EkZ/r_#FLejK02VYEE"'tOG+3:^c;CfH\=/G:t1n*U5]b
+ l36on(*$_2B$8`.K@0*Z-sg1,fu<)K;HF]$g2@u,6
+ F@>lIc5e\&P/8Q.hmW^Vapn_IR_4*K<:si3\&gkp4O3fp#K>1-RW(8IpTf+n98FPBkGL(R7
+ 60N_5U\(.D[0pu32$#C.WuXFVFRNZ"4b'd2-+!i.i6Vpc8952+<'R/j'_q'>/`GBSGR;cJ*
+ j)B7(npQ\'#@a/6mj_7ci>0W^Re%bi0=_C;JD'0jn;6c$OPd",CSc4/=JJ1rB_\;"+YJ&Xt
+ WGVJT+*d^u74?&B,^:Q\L5cIK[cn0q^lWO?EqY2uk?H2&"\/BmP<6,(l=4U6tl]J4>cc$nI
+ uGNme+7nie;OaZO(9"prTd0Q)XgFfHl'.=c5oRplRQ#DK6#1e\/YOUn-!fgR(,eAn4SB`g4bW+"@P)&co?\6h`jF:\^3E*86#kODo<7t)
+ !FLH5YD9j3j\l*7$o9PQm%)A4G'e(K`EtW3'J6K7]1ko"Lq;5W(/\[6%VWk"3:n&@eN,f-E
+ H)B0fVT*?s\S&WJC!;`Q/Gh0KK\QMkd6""rM!-g`qe]#m&[5"@u"9+C0`kEedcbU8\bTHDl
+ fZX>-5I0oOS7ldQ-7+\)r\7iZP>/9=u.[b_!VcJn0H>#W.1d/$-oOM&ZCFXA+=HL5:XA"1Th^a<%JjQi`Gp
+ \H@sb.4t^+k/:.,6_cIUYVA^I%KZn\!T5W.^cd@<0ng0KKBQg#`.4;&a97t$KL(.ki"^k53
+ %Q%pb#kr,WqcdZ63QLU]1?PRr*fl_>Quls%\"3-:ta"4C(=\1NmPe!0g1YOYmm(HWqZjO$X
+ &Tg=b[O&NARXIBIZJm:>;a;oiCC96&358&)AMiIhFQiWX_!Q.6UfJLkVkcI2%!O?*bGXM]X
+ 2B]Lu-,]cdbU`mI4U#LcJl"X`b4Qq%bfm@gOb6[a8CKiNjoZ/[KaNm?$tGP&>6ZNcNAM60+
+ ;TR=5`X2/!n]h+GgM24DG2b!#GH(-pfk/-bRnhs"6`C3N4"Gba&*9X;&p9H/JCuB8.?DZ..
+ %GjD"uD"q,)sSJH..%:dK`_U'6X!XH_12m*a;YN%MP"/Z;[(QpJuA?Pr@fKYUk].$T?\4p&
+ UF\=-tUAKMP8-m.0eK+L$EOGM2hlmDqu^*#cH&2cfp19IY1ZU9Ftp`Y4Dm(T8eJY\M3`:5F
+ 3KnW'8"Gf)B3'i,r3J4O@!XPaPI7"Ss#6R6LKd)ikr=>p\jpThUNADA*JT_&B."gIF!FRD\
+ !>6WeABOhP&SNZs^eHM`$bD-Vd=Dp1<*MFi'NL,qO1K5a+5+G[+]1b?g>[!ciuH5*M%KI3NUR/f\g[#l^A.0A]Y1I:f\lZkop7V(PEFmK;]!+"[^cl@1+T&K?u$!TM(C!7ti?t%@C(JaCQ+`CQ4eu#.Y?
+ j!'S$\"/D5UQcW(0HP#1UcK-*(/PX4[i3
+ OcVH-fKDhD>R+Lj=7(39/D$8P'VH9a/BBT!W%)"2LP+p\/BjL_j6R(Gk0odCY$`eOC\UYVE
+ .c5&K+Nj-&3rsZMq]@OL-RsSa=orBLpNR/-OcH@bo\a\E@j-p!b`]9SVO;f+bDs$5L_O"9_
+ :a0gu^eZ=Y`$O')S];Th9!&TgOjF_LtNL2*rQqJ#:&WN/f#)I0Cq%A:p4G;Ni#N-
+ *o=?Kl/j->-[K[ed?JY$UmI)Pebm/T*]N)%?/a-P)f;/N3K0gK/TJZl;2$TF
+ <-,$TgKsP-cQ%aI!KJM8lIJZb8b_%$!>Bq[(>0P`$qHpat8a&f!W'^^sN!OZ=#KTP*Fhf>k
+ .G.RX>A,K;c--HPKA531ZUK7>S4UU^"pJN$"FsR+N%b>&.g$>/1el;h?l]:+*!JlH";KJ6-
+ qsnZ7_S"M9].mi"nQ(ljplo+%b4j=V;i%qZ3;r8d8Uhm#Rl;E3i`GN%5m\/kVOJU-&jTNKh
+ u-gH5_Kn@"s1]K=FV7IO#<*&;"RY7fDf9Xug.-4CcZ"(3!+SW+4$_b*%AMK$qfQRIlmY!PGKCCu1IFdG-6&OJp%a\Jc5\if_SIT?N@fac<5o!@\fpt*C@
+ rVuDd+RF*%K];FOMEUS(f:\Q@tp(_`_bFQ5h2!K1kbpQ#Cq,1hMZ']N+gLrB\:d1J9'jc6K
+ _++BakmjO;NTm3J1^8KEtN]ged'tDIeKhJ?Mg:frJ)6`mK.&qF$f\3d
+ =!3s.#'"bloWXaQ#P5(p91V[Q?W5X5J#bU3hM9m(q-<`qDVE,)m=1ITlsa>?<->Qs>6KQou
+ jBK0_Mff8W\!bS$bMPq_O:e-M8Fgn,m
+ &M1ACKH(EPcQrGX6r;q\e\ua1k!^#oU(h
+ DE:e2a"eLqUdr!cVA*1+e-JKZ/1;P%k#r)Zcdm#^Bb_Le01u#b[^93/ZFXa>EiGp\5ieDedi3#irE>=3,5HUq[C87Km7$g,n:*7ftfX
+ je4C8lpt=N.I=TrqK9m3]Qcu$3*rP0M"$eA9F+.)mb)VF,]Z[,Ea*SUH!"!a=5q1&_0nr
+ \d;2MpXrdfVQrNYrR2:"hM2RLsH^2\>Di!E8Bo5i.dkEJGl`mpC5;@!2
+ k3?Oe^ZV^_=(:-rA+$=GiG=AK&#L%L^GEp$#+I]94K3R]'b#e]7j)j$GQAcop(KTb+S,F>O
+ 67L:%0VQL;7T&N9VRd%D&Kd^Mbpl.hEe8Hhh6X&44Ssf?4e8KjU"qLNRSKI*087-U,G%Q2H
+ 8Tp2[CBQ=e"gn>bR^fR=nmYH*h2'b$-X75h0E_G7NAPe;\2oi,#oio&Np;]2C^k2f@g]@uj
+ ."Ql(Ro]bS9`GO&3LcqQ\TkdR/.*#J/B4-2>3Cc6%u7ZAZp`4D_=C>6\H1"l$P>GaBAe8'%=s1O9=%LXNmNA&oiS2@itEULjI`+U=:jIjTKIp96@mcJ"/:?^s("(]h"dCn";iG;GY-oGcS.oP,NAe6QoYA#
+ AE)MDCHnnX,]E%B3CN*to(i20,%Hu^FhqNRogjRN)%5dqG#GHGKa8QD+\kk2M"_JB3GPiQE
+ >:/G7Zi(So2`)'t!ba(c-Ek]K)oFcpL'W#,Q`_\94Tq%eG1_`W-L\(8>9Lb[aAuCj#TY$LN
+ B"fnZA+\HQ_5LV;g4;fQS3Xjuopk2*X\T8u=&U6-A',up$@k
+ _ACBT3Xf6]:*TKR,X#Q-3`:q-ld#Eg"[:Au"U"@4mj@kL8,fnqB<%ct@/b\m5lZ6kIYa?pO
+ )*!#_3)Q"mF-[99Y5/(M60G/7[n=_p!C-)/Xu[T`(LWq%T*\UWFQf6aMl;SE2AWcn6LN/JbWGME*%#DL(TEHp8f7jjSFk&Yh'reF"?e*;(%h1!CW[G1+nHen],LW/i#$2c)b14_hN0#1B2sJU\C,;cVdk$AP
+ XWhuBW@a[U-=k(q4?Q;VsKZD1CVf6E7ME1dOC3P_9d@s05]Bch:I)6GhuMml$D4<^%$L-=5
+ E\$hq.i.J?Gc[^2o&S#n^lVG[;,>gmEO.Lgeqr.>d':P,\P;__?*h%\ri16C6kt.nrD8n_-
+ MHAXMX+a`Pg::$,S:A""WfE0MdW;V=kQ%H<>T0-q=[A8Vt
+ nOCgS:_ZlG<$fc3"/W)mYOJ3'@b"!5&6/Z]n+.7RiK+c/5lRe*l!48;XKW*!Ed%RmRY*J.k
+ %BL3Hd-\!S)/t6RLU,Qs.#;,/RCMhAm5dlO`Q8]h%b3.RMW5]n8H@@p5k7M^kK3@EY/8!F9
+ srubn4bj>WU>.cJf*TLN2.Ueg\2hpME0\kTR&@*AkAq>\7_Qd0T[RcO6Z@P]BD147MFX.?s
+ `lLnGHW8an#Ae5LK-%?XML[rRYVhIl'DuH8bWU0fMSZ57$.s31Bl1kBfKRHqRogHDKLJ;iX;4/W9M8d[*eT:1#UA@f%:T#_#QZ[uUO7&L_
+ [(RFG;^V\fPV1XC&l?m!33ie8IioP=fV'3XogZ/)ZtoQM"+(j'j(YF!N9rIAXI2M8>-h49l
+ WB_g+C;me2UkF1l1C),b5cH%O+_iNhP>,js7p5diN$nR?]PiABgOk5%mViIQCe+MjJKjs36
+ sW2Whs5Ro=FKJtT[p"+[-X6I^*Bkk^R!6>[B&oK3=SlkLEoLIIot8;8Pe52d-&&qZchL_17
+ KK47siTi<3<=>ZPaYc/NB$(FA.ZBR_DL^V]%'8qF_,9"Eo%9-aR$XpstR_YX7iUr[0Ar*7:
+ \Dn0C?mLF1G*G?jHm_IP:!WsN+iP:68W?`NV%Q*,S-g:.5uB4ei3!Z"pid=DJM"=7E&,K"E
+ 23X@YI5/kRi56hX4+5U&;Y3lJs]jN![q!%d=051,Rb<:fMmY\>SoheS=C7A]J-RO)aoOrFe
+ eF9"H`&O_`3>aL@sa@LN`-%aoMU\/3HPPE'&i2of-F1@LYBe2jg;J%K^lWN*2ohm3SU9et1
+ ApRoO4jAZ`A\):f>&mNdL$`sjqEgfWaiGUL'W*@!\@:Tl7e?p&lGAl&X3S)[p9&u9FcY"0.!kE.t`C@$UL:0V7>`cY
+ DF2+$<8[3:r3jKeOH-EDM80bMg$nQ/S=5sL*N'@%0S)PU[5p$N^5!17,WV!+](,Pgm'dP!6
+ lH0oM,bpLoS6M3=S?3F:R>W+b]?na^LW59i5"G7VhNRcJX)%^oSY6rbX7FlnJd.Z8b?CYKk
+ hY4D12WT(D)mce8;2NPWUqQobV`qB"O-SDBpH7Z0Q-J0YB(n0J8uMn:t!%^P%k1dhmr_Z9l
+ ahV5&m-iehKd
+ 5`"$)o7(L/?9Qh)0UX';;2C>P.r:<'Nc8UJ9%3Y$>t3?cBCf^C%Ab6Q5jB(-nk'.;r#DQE.
+ n0.&Pmfss.7\`_YrCZC:J4+qR+s%ag0=m,\h9TK20ukM6*1F<6._qBg
+ E8+s9\iN_15c[nYiZhktT,SuV+DE=YCC6Ats.=*28F(*dW_W0#-(@E,)/_8nuth>>f$!5'=
+ =40g`'ZnR[V1.C/-6n#4h68k,<95^CQGI0CFK&B1;c/K82Hbu"[XU(>`?j\p&=Em!J0cMV7I,Aq//D^*0Gh/7aP$CU0^Q:5L
+ h[/-u'@o8*TYQjo#.Vp&Dnk^iBZfDG+_por(o
+ FV'HZS?4JW',B-g!TP=\UW^r4:KAm"CL9SIDoRlX*UkL',iGro`XDVY88g,#d:FnlQ>c;UV
+ C;`BX,bjWp\eBXD%jnN=BZUBFA?9=9$"0V9E.%u0Fq;Ts'B+ZVC+pI?iY'Dl&7A6@9ToJg%
+ f!inXTNkj+m:!*,R?"lY97Wh_$h$/Cf!Ji35P)++ni8DM?X'd&81Fn@,S?lV@+O='5XZX:^
+ hU74VD1bs)DB]&RuSRB,6VF(<-,N+eX(8N=^)0(U8H$OaNX+'F1;X#iP=bi?fDX'\gu(,@P
+ s?JKV&pg@aoE"-Ka`+G:9A/e"Fc)p?VUp^TscNh8
+ j'?#W$BMT+)%+M?EK@!#JVQcmf5/$*`%Z]6`,pGr7!%0o4*_a'Z^bc>tm3`-.%)E8bDEK!QD_.'p/C
+ Mir'%8F.oNacH$D?f#1:nAYD_@490$""qJ?B@F&eJK'*f+GSTeb.a,ShNa,]$s/m`YrEO9`
+ SfWUOlHEVD.4A7qS1a(DObT`PU#+shcN%:Gc#CjO.n-;)KG`$D't-RU4tI`fif+$mPA5a6age:KmqL^??C%j:@&DW+'"X`^8FK.b_3bcCV(u#]6aP,dNCOCd=;R[^&b?Q++`n^_)YL=c8n
+ 9584=o126qmLNp7)K`Yk6?WjT(od_63Zr2UZQp:E`"FaB&*ni3P^r$OQ5nl9?"6V?iA)0;<
+ X%Ef!mW5.#@'6`80=Nt(?(Gi!=[@m$5W`%QG\B&Tfs5XMYSb-<_#VZnsC1"s$jE.>LgJn'u
+ O9V`\cup/)`u`FG3okeQnDck.jXu+Q2PD$BYra"@uu7m:m/bZB#I6:F.;C^n)4UKF^KT?I_
+ D_jW.6%UKee/UT.0AcgiT^I%Ih5!BFPrl'JM%btR*"BN._u<&JSQc6\Qr[I#2m3,i
+ HcA-XuL'7+&7n6!#,ZU)fDMq21Y\fFieW)(NGc\ERu8X_3c.W^]bjZ2:i4A[kVY71:*:H%-
+ !ce_(6HI)*AI!9F,!9Et^:J\RAO.)9,pU7^1U.U(4u5$Xeuf@2p#D6Xo%u%fm^[/7=)um4q
+ UY+]hTf#-f@!\dr3r$tbAlQV'Woj@UQI&)a`<7WYAp8+_3F)9l_(TL"Kae(h8:hnpW@!K
+ (r&jfPttWFuCHe#_:J7TeI#YEZL6KIA&Gp/.HkK*nlk*8Z+(eKOFec^#Ji\`\bUi;sdG%L%Bt&_M/
+ i!j3#!*#1oL>E$Q>WN0;aGV&#Q%"STs;L9eOIr$6>$\8\OKCB-hc4Qbe*9#Y,H'=Y!Q^O82
+ RDXn$Tu\6sPF+=PRb:W.imV36i"*Y5&D99%#.hZ/EX^@/*!1h%cM^Nc`X*D*It5\tB!IDB+
+ cIsEX,F^^G"!Ef/"X#;AL=VlTe'&dqB]3mGW=BM"EG.6E=-HsSeUN^NEB&.cjs838=,8Y)(
+ \Eh3Z&EqEhNOJ@*^'.abi^+%:XB>NF;FgphL)($9@@,k$/,kFIpF-<-MK$i\[5$e5(C
+ L',)?qAX:`7<&0UTp08l:"3>p84g3DZZlhD%:
+ N'Obblfq5BMf<(LrXjghpEhBFYZ*'PXk/[`8j[9U;1`<\))9RI=_#t-;l65^p."L9:0$Oj`
+ L>)6?:uX>lZ3?7L@Btm,Jl"U;i@t[9IA('8CB70JT`J*mX:.t.GmYD)R%YHN=KJ0W`8I#?J
+ B/4NW:'Na$UDW?:%D1^0P9'G`(9/jO?cHc3uS,CMe$l#;;?3'DG+d_CS7+'c*g5)p@Y+/(=
+ H)RE%PVS$+kdIeOHfW1Ig#b#1O)M:OXCu1gS:\nj-I\T!Uch?o!(SiF#JfmC!5uV1%=1FnBcqMY4.8_6%C3Qd"C$`h
+ ^maVo2`<'W#Jf.O8tp0mM7]Jo@+>r[\fX^j$l\E-p:N#oGSq[.>,urPi1p
+ mm'>ki;fA1r/*J/Zi[N%T^Qe?r-h,2j2P(,_b$D?2>i6FV$NlO'6,MCl2i@<"O"a'`DV\O$/1Ch.8F&,e"n06tOQn
+ ]Y\Dr+GB/.>/tj^;21pd`,cioC_`YG+lp,1DUu@deW$efgqD#+TghP,Z,UX;UR7:W\!d_=p
+ )r<4#Ct\^J8*JJ3*YRSbeo.#*"f3aQpA>HKk#E35b1E%[6c$F5u\[(@%ImEHZ27'6m7?#\,1BH,nD?O",P2E"?=c4;Q1j:F
+ bn5"#q4BsRjb\dPtREN[?)3:1[TCDJ-o'G6EQ-*b^O,mLSlI05M2E)=K]&#T,#<9mof*`H9
+ H96siTcuomGZ$h$''Od,OK_Fq))9\]oT*d_-IDaE#)=d_DNXTc;J:Q,rYb9p2]dbbj5.l!(
+ %MjVM)FK9^JKbfeHEh,`PCT#1!@\g;>q3[Z)WAOEiBA%O%UhphX.rDn@&nsYp')YH&9Wdf^
+ PWq6q%/(Z%jrnlt>ccd%%L&[`ilXBhq)OZCO;mLtONb1N)0XtpS*>+)qiU
+ L$7=t(8I71SP1!7!kRO\"Oa(Q(gD(mR^)OdU;kPl+2d#_U5EhEX(ANS':kUpa>XTMXiO=q)
+ L`Fha^-c:"FU$agd/
+ :hX235;5j7l]1>Hq;<;us@)#<9D`!j6DDf8O$0@=.-8.MSAE6_]An#)(;k%ir`?QZ,TTp,2
+ `!kV+r)hKA:5G),E-+5_17tu@?N1bV1*$^j=TUTcE7r,A9-]^0K8./W&rT,Op"#2cn9]6[1
+ 5+2t)6mMsrWdTpCHg[d_bmA[>1Grc4-7_H?oCbd@(Ih9/FWX.P1mKF\;REfk
+ @N#I/4=-%%%6lSk<>@ese28OJ;cP\,=&`1b]>iZV1+bo-&\AT'
+ ZOhf?p:_$C>68:Z#2VU2NmuF*JAtl>)n56ef]djZc'297dBX;go.6a,mkh2^pAfj#^(,lQ;
+ s)&%RQ@>DQrD+Vg5cR5b9+)K-9G/?]@mt2i97#G]b021)sPh`+-_WQ=HEJ=;rMCfUI^AJ;!
+ g6J`(tsZ\,PHA;\89Pg0X=+IRje`So68#*4*j)J:\?[>1K/5kHR:JoIk:O!K7o;4.OVNdMJ
+ mNV]E1`*tpPjC-?*TG+1.oo9QYW6)+t-0Z(@"iCW*'T7U'@p3`=F_:h"6TDY@PK+9^G>8AL
+ c?>+ukrZFmRuq;k)DhB\G7=[08KZ)4&KF]8E]K(lS$cp/.Z`a1dWZ%.WA+MfKc,"koA'W0e
+ 8;F/"r`I5.9_-ABB:f#G.kA'gikp5GM[PWpOD+G4r9"6GeQ+t8eWLbKuWNY=.eZ%4\qp8R63mj,:s;Uojl,&gloKa4+u9&A`>U18'kT
+ cabl:nEc8P:i$q8=AO^GXJQ8E&HX13'b''[TU@L&'ga0@+bZ4S"<`^8:Cp3Z_]4'2kg!X':
+ gIpQW)8Of-79"BNdQ+YW.cHW#4JQ3/Ld./.oP9On2
+ "-56$ul&fMd^LuUcOnub"`DEbo<=o<*p-f6ue5Qb+k]\E/::-Y_/34+i:Hu#Y&l69d
+ l,>'tuJ]nZ^$t8`F)(^aodhC`P#COFs630nckn8HO#<%>"F.SgJ7_"_$tpU1e.peO]"@#t?
+ '>3$3nulQ[ZsppCe"B>
+ -iuPaEnP.N:@24>?W_O*G\Xj^W!.^(P6mj'g]C._.*ig9=7\/U>U%tb\Ip^fZ#!$QOa[J!%
+ *UQ`YWI?$7qkFf?E;H2e:)XP*!FO%DY(2&aDP;!A5u,Z/QPLX^m5d^rI5DZGXQ'D[;!6-:Q
+ R25+/oBSgsLYW^t)V_*H0b+Gg3?5l/Z9W'Z@D_i!td:^]Q+\`55q72Ph%13Q&:_9kM&"63Z
+ "c%AKeW=g5:+HdS9/bfe&+;0=jGlWBOe)5T]J&*O1%t_/pN9"_&`Q62%U0q#\'TP=nfImUV
+ #uUc]HlI^bPnj$F2ND4s4;2LP'?[ZjKQ-3.7Ng/T_%8GZr"4N#BTs5Urql+HaglURkM7)TF
+ `+nG]2XTT'uLCEC>J-T2n%Q!]An8,PaVtI!-/^i-W+TjVG"flH&ZDG$j2=/M>2'#('AB_;9:7nX"c.>E2_\q*0S#lQ8)4u$L)7Sk"W$nXr^H!BTpc8q!g0pMkBVP(aVML;HdVJ$%gGL
+ 2+$MMM-%J7^h>uQg[!*6&9\nD8n]//KI2JN8L3J(QU]s79T(j#Yr4M]fh'7m%+2EA*DND$J
+ rG!dBm?*[aRf[fF@,f-bR[&`Mg;qa-AN0]4,8Xbh;:`eI6X_(I^dr++(ssg>Bi?L@#5Tt'C
+ g"cp\B:\k5:$''8<+9,6dk!iOp&G&E*d)%hQ;li]$Z>P.MZ"+e0FlR@p#q].bQklaSd7_?6
+ HKAa\L\3^<0:*";71H7%?E$tdT0*4F]JeSh59G.N%DhLY\L4DPm
+ nZBA^3AVd8"40UA'9Ih\%Cg@PL'&/!i)c;mqE^UT.(Q[9O?\E61Bc?;"2J/s-q6Q8mB]VW3
+ RNifn0%hZnddOjM,:@M)DJF:/j#/b3`Abbq!g(k7RSA`K5a*Xd`N)HUT-j4":.,T+@-134#
+ $9J"K3jS=?[J(1d=*&T"#ts:e-[0h1sG0"-Q0fF(9oNh7`%l*Jf.F5Uh?Ul2\%4K:$cdE-W
+ +Kf`U_;"crcdZrK=5(BVB<#Jb_BfOor[E<.aAKBdj'pcfCj/&'eYa!>]G1ip]*FN7@'PPX0
+ l@bRrroLG-H8"9.k[!Kd/["F0)"q12BgJ+&C7l"a5"dsAH=GA:JnHAVqKA;*4aruC&nKSF6
+ 8:^4l_^^7g7%c6H"@PAg&S4$K-k,)=$3N:=W:<4<0b:(5N\[>"E/VSh7&%PT!Wrf3)aj``%
+ 0B?X\dT\&I#lDI8Y\C!Qs1jblaSq?Kpcm,"/&'aoIR"(Z3a2j3j:l%R+j0l*O=lj10OPtiV
+ t#%!@^Vn3A\Rk,X%2":'LDTRX::0=`?`Y1Fbq!LHnHh93%*V%"_kFL-U0kOa[Ju[+ijDgs+@)c/IZ9:gJf`#(bts9MBh//E=d`joDFY9r`K3"]=B$7IHN`h?L+,$X
+ :eIrX^BEn/:$kR&[7f#g9[qTea$]:.biMh.2:W,q<>"PJYV_!$6U0&<.Ng)>oc,(M:n3'M]B8D0L#]M177,+%9*98j.04AUJ
+ Po%d.gNDa@Cp9B*;U5L*/p<0O08r4U#LcVt`O[+A7@^/Hf`N!dI!5a")(L
+ 6'm0X2F+c\s"C5"23,JeH$3ZV#)%C![UlHU+36r-mTCj=Ye2LBJa/J@6;8&]sAF'@35uu'l
+ &%q-:qN8>t$UDXe]Kp?9TnSkJIKPI^NtSqm1sfL6-n4\>W%Wgc5
+ (Gm=`e@;pYu1VL0SE"BLZ2Af1.Qs.5_TM&[aT+AYRc=n4M0nESeD(+bN,C-c9Vm^._Fb*]%3X\3D5H*>M?X')KT$EM)RT]E`/2!-lcHn
+ gu)2e*p>H^#V#q$(kWqkJd=C>\1*(b4]ckmK:l.r*VtFK8qo\M2'WB"rL4^X6*r5=@:73/-
+ maH>>6bo0iBe$d+AbA`#f%BRg3^%7Hm^W>Or360?Ws8'pct)jOZM=l+RiP>3(`&D4^^GVh8
+ Uq+0tC5]FHSUhL.H)T']L1H>!7]]"X%"R60]DN?\Vs)`JWMH)$`>Z7>C;PLKQNen38gfl^O
+ &5Kjr^\bN.L-mfS/>[`-kZ2FHOp7-%B;h02/ZIFFB.g'mB"A5JD`&j<
+ )*CR[](,9?.W0`fXc;(F0;/?,rW(9e\ab!*,&i&nYk2uom&"(2.\[S#VPE9@@L!0gPsb>.&Q1kadPK
+ E,/.1Ot-\I+G2XCP@u
+ _)+An`+aTMHULY3o+i+.SU7$XDkK6Tu3GRB$F3UI`3!k:@GeOjSs#k4/en>?W_Yt/*_IY5F
+ -Km'502ULt!"n;qHD!3p65XK.MHZ$@'aJj>T?K11$W&g%#9&-)^+QI=k0^^k7T>Wfe35MOf
+ )Opi;-u3%e<*Khu-.3&Uns8XsI1LBqu73+@VuDK$2r>^Z)HY](499*"
+ 0%"1dT6pI[Bn?j%6*j0&j`pL!V!@.kBDl'N`KBM!6bAFdKHh9Z?,pb_/15j,8GO16nHNaNY
+ .*3)QSCJ_W(lb5o/@0_lc>*.#l%@Zp=FItK-N#8NCD`mYD%toIAKMXU]&4"jG4I\#b=@ZqF
+ a(BPiJ<4lbJG:PqC=.[9/VEc`KIBV#LdtLumDKe*K\0VuhRHAkk$"uf#%0\oT,m_07i26O"
+ .2IXp0rmJ,6DdCN9$LKLNNl5k7oN\I(Ou.
+ !*%sJRV1jP)acs?gkUoC$4G-UpiYbN[m.?>$=Q9UK.Ll7/WRge4IQHA`$O@:*-b1Po?B$=6
+ O4+.*>dk3g=AoC%@
+ f?p4Kih[[cp`Wg>5a7YRda@1GXVchpOt"L"7T';pceo>."dmZ!Y@/TR",t!@R>A(.RQ2sa!
+ RGZbfpTP_kI`&PZB"FMFJf;R,i-J)N[I"1&2NL8JVPmN?_q)bdXlVNWkl&s[FVN_RIJ/9F-B-//OY$XXbOOJnQ;$u6&(70Q4=`OUn1)Cb2tJ3(f@6OJl&XR
+ 9m>prr;Y8]F]uIjV%B;)Aof2+neq8"f'4!Neo1b*BA$nl;?.ild)'ER[4[e]aGO_&n8hl!Q
+ WGcX1a>tX^!Co9hsbl1r-j-&^ZY@hs1f0S"TcE#/.
+ DQC-)$>%#:!HSl8Wa1,m_ALKImMIn>n>R_bf\U&#;qhc6EiE\SQANCd_7A`GB"2]+DfoF;l
+ heWl?'7TttJ_&Q*@lU(!fqW>dGk31:s[nT7mPP9nlM,"A>Y$8+n*XHt5+'!eZA)WWGc+Gdk
+ l^c.,qq(OTALT)^JR7HKqFU``)o!J01`5u9KL!HFh6(i1u2@^
+ +W5%qEE/:_6$WMFGJR9Wp$T(VTJmhfm0t@@h#"TX^.rR-,`Zk%OjI`l&HK[,8BNoM6ANF/0
+ W]A!R"Pi_aOG9TV]B%Li`QrP`_\R5ul,#c!kQ:m:"'MJJ^E42q\bj/i4`#@h2HE#fGSR!Ab
+ -,6='@,;B%R
+ g!mkkAQTA6f(s!6/Zso))-kX=85_\%/#>jc/T`Bq*E2jVK
+ LO^\g\>g*Z?4";)XT_D&7L`fln2+1+dR7K<(Is%X#tV:B_?acdXZY(%O]X8+C*JW,bmK&AU
+ `Wa72Jt8;5"F9(+63QUOAZQT86HBFj@"heA&rtWE1@n9XE9?h;G'M@/L7.1PqsP!-O.Bu0#
+ U%\-W)WF`6t;!"As)mAW/GNTWKW=.6\DSpcM0R;D^cUZ&+%15)"ho-cR!MQVs8M9NY!p`1V
+ u(U*,eXcqkLqJ-?/YU.i[ML&jTMB`nGj49P)q,(eh'%mirj$'A7A7C^5Qj&g/Y!S]]n`:9E
+ tc?`8hm60XLW>gJ?EXY7&22+#u(nr!FM_NL$71_ru@QljY^^^huXOX%53"#kNedoZ[FU\Cg
+ 5VF8p0#r&[Qun?u0B#GWKCl2[6Zb^?d-UJ&=`XeAaDOo09#QpDO8qPr$N_HN)s)c4R$A*rN
+ "P8"_YB9)TGSZn8MsH+YQIZGHub7b\ore](^0q65;t=nG=:r*(pltp`So$%a+<%d".464!.
+ \VFKk)tjYW7XSRW>3(H*:69^/s%e?gIrIYZ;7N2CnCMLaM:`OOq?Ei_b-lonl:F+p(ctK6FS9*2MluY2FN3
+ q&7HtNLPA@AXHgmP+>b-oct!oF&6TMfA3Yoj?F!#XWYWJXG7!=V`+L2u]80S:Xmi8F#3C:P%2@
+ 1&4(;o($61bFsS^G_E#D`rt28\GeC]BM,m9U"uJ4*c"FC7kZP8,;<_WBRdQh(DibZTu^AmE
+ TJ7JP(G+@mW1*3GEGL2Y@??QB,3DAg=4N";ZTGWP11M=^O>GChds"Aj@n_5K6rP29I,qg.L
+ sl"pg\R)DAn/e>f94*.(Y*Wq468@/l#cilJ*$#q:HKMZ9lJDQC/E6B:TAPDX^FRW\J[pm#BJ[
+ bbI[^^lc<(JL@+BIpUj37bU\^+8QHE)83RjFP#@!L6K^\NAI4p'`!7RR.`B-5%c-``(qaB)
+ acM2`@Mh605cu'jhdCAq9HaWPJf05HSeQcI;[]FV1_hL<<5K..IHi16j;/R44t=)1eY(5r]UqILT]q'O
+ Z.o5nLSgaWL[;)?=deJEm+W5T49`'Wjb2!6>J%3Xn@L$NdUNiU@JqP5FKE$;M0=n=C+U8e=
+ @c$c+"tZ:tSLr!Tgui=MM/acHhF!Y6i%+B#iri91dS=?E4d*+@APkp/Y_;AVWbBuZ_MJC6J
+ 7,9S0Q"$hqX_3Q"5_&i2R2=k671M&IcBWl1%*IqB&')aYnGqp%]1t-aXTb%`u#9d[PElTL4
+ OG":@J.G-b$8A?4@6tg[M(JrJ%j<,*8QHH)?4JcK.KP\SJMRttc4`JB#!g<@8Yl.N#onKX$
+ )$,f5me9VA/9`H)54neJ^2uC9g>q@L#HN,17^[P#sbj,&(("jTop<;Z4d7<(TIrZ5]-tG$>
+ 5G*2ki&/MA-Aj!"V@&(C<:$1VP?a#2lC'%o]ba1f6>*FpA"f#0KuDdu5qW65'n51GdTMm6O
+ 3[Y/Th_Q"CX?"Hp7Q*X1K?jcb06i=6O[DEG1**"'aqTa2?B^_!2#(=Rh+,![r[&fC4U9D$%
+ o1rW.1a\8JV)'PptmVPTRfg?J091DamiD(=Z$Tcd,.dUIH6unQ#GR*/I(;[r/#b&V%="<.[
+ :?5_#+UjWTL^DOf(I?dR_Ia%giXX4?)Dc^7dF8]b`Xj:WSABLg@?MMo`##++<8haq05M8$=
+ [2(1&_1;Tojq0HBi_@7*H:`H6)YA=4r/[E%Uggh7WSQj,3;)JrLj)b5oE.t2O$PB/12VR+\
+ W>sTG9bg&3t!ja]8ttpEOVW3`J+"eEpLMSAg/9LNJRaka7T#!Z$=sK'p6G%!2o/"r(!$+3\
+ sB.3o()WXod54/%NM+h4!V0PMe#>6,0;+]&^n1_sKk&trV<+PIH%fgun33d)5AoZ^lh3FfK
+ \A+i13Th#s8O>F_8VlM/)_!SdPOWi$J:,^mKmI+q9)%$T;<).7=JM
+ V?gfr(,@a.a[@JL*uVjp$drL^Nk[*"YRuEP&]%9W+\ELN8//m8&N7E6(;pL0a@)$
+ 0:@^mGImP_WYF$fI0cADIRV7.JYQ3,]uUJ\DaTJqX5')?Bug%R!90:o"+?$/l!t11b#G.Z;
+ U0I92jW[_%IET@LurZ&WCN9i2qZN=EO8l'
+ DPDtG/Oh*ggP`"L%ang3+[hhBR]RD*8t!96')RB)AM+C$\8RF%FjqrR/SRUZY3HpdY\=KNX
+ K7C$-?7;^hno`2Up\"3^@p!p0E-SGUSD:m`S"R@,MTLW8d4/8CfA@k5#J$r"Hug1SL*:@$6
+ ?.q@c/"(f#>=`;TkSQ4F'c)WT_!@JO?j?\hh66h)30+kRh:l$XEiOng/`3@0gQ]F7(-'K=i
+ rR1GK>/,CPAR$Ck.L^/ZK/GWL:dN*-nfD\[@oP\XTF)*)QuD_2d:o8
+ -UT17Br8+9HjLjW3Ydi^H)5h5P+^YG5m*ah\/4,Z&cd[S.9?A^C_`YE#DOKqUn3?X?\$S
+ o#mj[0'a-6*M(er-Vnh*D6TZeA&=d02oAS5$"`OeEfq*k5]E("GTRX+jge%U$Y5,c73q]\&
+ o\0Dj'Z"N$T[KM6>9.q=Z8)[p5aDqrn.?gg&M\fF9HUF7)2oGC,@O%[`[jHS#s6eL`6Bk1e
+ 4bSWbRDh$$UH8[i:hD@IVBpP%&"Iqj2MOZ&esB%>@@,Ij16-0Z5dbl6ND.XgN5OQ";J[k)-
+ ^bgp#m)U.MY7!GerZ-'5r4YI:B2*)gZA5412\I\\"gTk$dS`i>8EHaesL/*>*T,2'GJ9M3L
+ ;,)IWiI8QH+iQ3ZB!*VW*3CgNBHNu:#C9(7@P]BBLY7N!Ud.`"LkTcOUC-4dmQ$6$f%li%(
+ GYRih:-\7HmJ^U,Tjhn\Y/c^[F3L)gEe/Z+pQ!hYO+N_TAKnTOlYFK%@4Ct"5Z5^Wu]+oc-
+ XOtXQ,FA-/A0D?u!TtUMZD?FV#lpP&4?b=,?3],a^Z(bORT)VQQ%"+RZXFUa1,+JkK$_P&]
+ pQ>DqSBi(+9(C8Z,6^e..TmL!I3^=OmXJ*8^.FPm]detjb(SDcfEQjose,:B<"#:15rXV*EqY7NFAe78GPFr(c(STWfWs9
+ kSgY3KodM*(%01'nnnNJ8Wp]BB=?7R8)T`>R2)AN9H(#a/dTdgF7#VH+8nE\44^D5K#6,Xq
+ kna"S%WE3&mNUj<,$\'ne+#WY>3GrR)*.^!_Tmt`=0b!Jfq$cTui,fF$kepm:c^jVTXXk.%
+ KF^>o'a/&:Lj$-*Q.>lJ.`[b#__[se9?QaPQ$HPgEp3Yo?Q6q;,1I\$Ifl2JHbI">lH6)%2=]D>j<+9
+ 2G1RKWhF_-mn"<#QV\L;Mos(kbX+'o>AROa,Af3>dfHj71e*N^Xs*R1=&BnmRpc9Zq#n242YNPDQ[/GrqWnW"[knre3e11#E:HH";jiVc2jq)L0]/TjjWBe,sFg[8O2,M'W3a#e;Om$:ErQ-3b1
+ %?/jo3M"Jpdi'4GO%H1j.J4STMapn3f2W$DWdsDKm+Z6`)kGRKH+i*Rp`(=k%uJ9cEVUTG=
+ "fu`@5?Q7P`i+W>!W-XL3psY9+1o_N9!pRi>f[%Z/8-!',Bes8Z^3KZUm,k2;$DK"/3$R_M
+ Y`clT>0?(M@_9":&F'n-Oog;2fn!O:3>?_GCps$73[Me42_HZXfttAao3t6?+2i@\1N3;J6
+ V0EEG13AFRr2'14Jk<=R*TpgG3hP&cg$"6j2\!Q#,jmOq?%O!R@GkVOOpa'%8ETCSeY.[rp
+ 7dKYK%FI%XljN1s`9QI+A@%%'4CBVbB5g1YeUqFf!S`c.#"c%_H]ff)Rg,php`51khT2V!_
+ 6W!DD'1Gc?AK+-:oS"M];KS`c92bE$1JLeijZ?7:o`[][<-9K[;cNEY;cQh?AQpo&j^Ecuc
+ #[^u>>LO'CL#H`eU(V(p"b7-=B5T[]T>R]%h[K6]LukiQ?%L\S>9P?+GWeaSSJI2R2E=D,r
+ "!)2?ko(9%k(MSspHako_YmA+1lkY4a1,1BX@JmP0eKq,CUdk:t>+1h$XsCoR^m''?JnJ_D
+ 2Spc]n#LcD7EEoCi.-&l=-ZR.'[plK*%jES[;P@XJY;jCp>Am:U5pq`tI*!BtD>DQcT(^#O
+ <rI_A1D;#2N\lrQ%]QX;>-45POCI&V.Z>QN
+ J$7QP3Li>CUTg[9LG8-A.#VOp$rII&n^pAZ"o74OkX3h'm9\K?&FS+\nWmufe/@uFOE9W71
+ 6I@VqL;>]M6q9Jo?S,3)5as^6OT[R4iH"/=tUqVjD!OtT%/%#gNNP9F5;%gkBl*1rWe)7G^
+ _#uj*%?pOuEta7pFAdh.NAEH9S7#l["#pWpYK@=P.)T&;J*mD1uD+_EZ$61mG*GZ9Y7"W,;]\6=HN4
+ ,$^%ClmS%&n-`,UV^Ca7NdTk@5p/5(UYAP:i6n<,W:IP:7jd*3"85cE/oV\TSLlD$E[n+&O
+ aF%PUMD',3D-^o=>;P38tq\\`:hX;(?-VX-JjV=%`9s/7k'PQAS8XO5SU!,m8dcEqW/LaaY
+ t@"N-Tp'JYGPr>MP4?($U>)2;`ifYZ5`nk1sO*+U=\@*E7,U,nP$^$fX]@c?[knBfQS/@FRt4-YSbY0[Od\oK
+ .mQ>,"A\L_S;(1l--DTnQU])7=4%/'pZtK@&EoK\\0s*MZSoud6jY"2f`tq((bH%HB]<-)LqoB
+ "_ou1QemO*>?t^>Z+G1=o`+TTg]#inbE+C0Xk;%$MFBJm,\q@0O"RE;.k]7T7@8PV]MninX
+ V;l)0[e!@sd<]_2lb/XnpDI!53e\"c$3A4?(WGWM#bVA,+eU%bOROPc5`BCMc"N&upa/8Q9
+ lq]B!X!DfB.W^<^s/rYN3N;t_5K6rL[b=P6>SC^d$>,LpafCW:hKhP8dE53Bh"7j>Jt'#Ut
+ =oO,]H!^6cc>FUGN8[&E9($nVZ#d]BnPJV[/a/X.rW'r),Z@raYl_hcAP@sZ
+ +*r5"bA(1YRVQSW6$d&4pgp`DdY3/L>4S8rdTcC)j:k;e2-"1WQl\:W(?ic?-YO@KVn!JAm
+ a?8_p@3Er1*."igUI"HIq'dIZg`*iLKENF\k!8oMd@14LeOOG-nI@(9\:rl(3X(:h[A$R&h
+ )@W"7er1W)KAjeP:1XMc:k1bJBI5U)#YWg:^LM).Og9.2b;hqUNX=ZN0EPp+&jRV39=u#Z)
+ Rt;5K:GNrdXWL[d"b0N+?cGN!P3@K,d^uR/qerh*<\o>NC+,"M(lGenP8s;^t9TY;&CcME^
+ -RH)iZkm3?k4\ClTeM+U
+ %#:Qp?`]#K7;b_Z&WZ?Z`reYgb1WnBU-FQh,ZUdJA>olhu^3JWCpc(BcD7rh"Q6r6Oj28/N
+ Z]+hl@8$eE""BEXu3"/Fd!LgPpYg`I3ZK!7XqfEMBQhRT9m!f0#BkXpPBA-QFTKd7024:iZ
+ ,=Ws/05q.nKHk[GrliM0gLAVhrQrq1]K=i+30PNhpK8i,pN>O=bq2g=N+Zsij67a?J
+ 4(G8>B!SL/:=%43dr(!(.Ti#!)E=91'K95m6+&+
+ 2DFmi(O4BVRPJ/[!HA=(hA9gXdFF`RF^q_aV?T@6b61$-5,[5VGA_K7tFZ-:kJBE&NCM5lh6@"+"7'n0PEn8;0lF"o)R
+ 1oPamHE=\udMNB+(3-3,4(dWs[R0uss$'d,GOG3%I40[H@XF(jE7`X0A"lt.M4F[OmdDpNo
+ Ka`T#9S>r1Kh,I'%Kj$B"&O]5(]qcE-.io`i&HA9Yn0Q#&1'eBYJ$;C"0b5s!PZ?OQj#0[KRbP*5X%Gl$(f>
+ `Jn&O!+Beslbj\B'8"jg_5J2N!>;1PSh"-PoBn1b'E5ITlrQ>F\HGpAsf3(tU6M>TgGP
+ XCbQCkRUH/Q@mdb`eA+V8OK,:H>hi&ns'c2[\K:"qZ*6]IZ\a]=FRN!l.)90PC[3EM_:m!U
+ r#Pi,ONL6RUsM(cTWp.YS.3"ul[8]ZnXY01u/Od4H#/4VUaf'f,Po#)I/IL`jAg!R'
+ "2d1mTtXW/D'/VJ)E:Fu7d+f#?67fiZ7!TX?f=%%74a9$m8:A\n9SIG)KTsZ4i!"]%=rt`p!_>B
+ TQpucpAHn65%I7@U5W)[O(5Eon)$h`q3L'f^Po0iY=_Q3:`L%K%g&]Qab"
+ S$n;[.@F&j!)t86lF&7"q":#)E<][>EM72P!*/#M=J1m<)\Dd9Rd@>qH`@ctWPW*OOYI>Q*
+ /Be+eQO*J5(V?%$u>TH/Z,0j=gbhq:sTT$19)3,";IB.Z"eoKEri=&!'3Rmi(Jcs?j:<
+ !#AE)4Y]-8^+gFHoKrLFVD)$U\]7N!eR8^r7.;XR[oe*Ikdu\a)h=qgH6sl>>-pTVKP^EP2
+ h*G2*L8FoR2?7+p!FQe0QtTW'YUb@99K'6$0sCrc-oFnfg5bAXKgGUljWH9.':-]jK.nWVP
+ %K>s63?,-K-32VV6;fX981:9R#joDXkf;!70VmC!.Z6ND;,=E0a%bYPV`&aa:eUnu1Kb
+ 6_lOEWJ-5+F;t"Ya6s?pfVB>Ch0Z>]&&Jm:_1?ceScR@dYmYr\.gi1,7^!d/=O3^)Z.H1^K
+ l$"/nbCks:!6;?WWu!X9WS<]#W5!>bA;A*r.[q&d1mVh*29!PgaL=>,BH-Ad>Rg5lr!`>K`
+ <&Za8F"P?jD>qUnTRYL$EAE`&%!)t[<-=n$9jXHR(+=!7:o`<1#_>#[O#\W7TdDuet?WKm\
+ mJMs/OFpBc8!/WuAccQS@:gQi%NoVCpi1re9EfYP!bK,8ef+]jNoTa33Zpdmkg^cX$cX;aL
+ 'Tp[#UTVG,!IS$"+W_s+`)bG14ipHg8IRDO>=>;4:^]H#%23O!CI'QD20G\@M*qg=>to)/Y
+ %?>#Mc>48R>$3[$75&#;C9(*H&/VR"I_nl(5uqPNG.1/*V`J8W+4>+M;umE-2P9,@kI
+ n(.Kn%^ku_#@re+u,R1jFFK6,FAmQ]sWooEhL"*GpnaBSsP8cp2/KD5_(,5e$bbHIj:"b9p
+ 6;21$sB53ts"4cmq#-8:hL?3Ij$p[@OKfT:WON0n5R8SHd&Wh]i[1+1Z_?"J\!(.4]?4Blo
+ NR"^Z5f@7e]kcK=CZrrJWIG+3^P%&u3MrMQrgYYr/d#&g(fr6sM=]QaP*Q8LT@]EedJ8P[Jen=?
+ qPd=hMG_Jj;5INnER`j_eDeDJnVOIE2V!1MJI!m]<:;E&a#2GD*,bM0A=O@$^rDF7,kC.@<
+ Ef:22^a;?jX$eBg=.-lcL7]B3ch+@oQ%1)9a&Wa"M(=#Ag/X
+ 3Um;U[Xs%,(cp;$P+Di-D$2_HNKTn8NY#pQ-hk0(iE//\>,fp%5'20DJWMI:+EWBPGn`kB>
+ bGbqJ7,ZZBl`0%"5$5"LP?<&)FBbIZ9^hKfHC>^7gT?VU$5[D:=t-e1;a&_!U)9A?]K50SU
+ '+aH0eOakZEQb8T^9hH6L[4-o_F0DM4'Emg#b:DO$`*7Qf:soam!!'t%sUJSE9+K>:K?,c0
+ .iMZ_U("_U]b+OC/12ND&.lj:F3R5SnWNP(ajsnM"mB+!l-qcWF#188
+ ;B0J#Dkf'0RNo*06]pe$d%"RDj'qjnUDYOIk*4+GZ'7YOT+^Ks(g)Da>^*75nf;RqM4qI^S
+ _1,8-AV\Ipdh`!"<[U<46X5W2^hKG1,5
+ ^-1G_YbZH74.@5F7pAlDR+FU4R?YT6KJA%I@]U/>T6RR#/`9;YX%bpnDcV,OBkQ8Nu2B!k8
+ Zf3K-fXbOea9j)7TH;_?)A%#TTFjb]4cJZ9<9_Wn!3<=K,.PKDBCJP+OTbjrc$Hj(tKZ7MA
+ f_gIo-'QJ_EnPi[B/Q1(B62c)#)=,HD)][0"RmCP.[j*)g>.G3">qutO!fW;AKN%Umpk,Nk
+ 5l::HmOT%U%T[rL/=>K4SXe>Ed$PC;C`EI6\X:^G@;nb.C6$1:9Y77mc8(ukt-gBB.\McA+
+ BDCrnfBL`!/(U*YN%(oR3?er!e!\d_)h9b>R-+0$D]@_(`ZX))tg>Od'WY?MUofa*Pu_1L)3ac@7&#\7SXNnhb@
+ urP]OAL`CYQud.<)q44ikVrA-JE!>ulsB%ITZpo$ZpF&j4N4o"gV33jmp"ZE^@0hV!Pn20*sog-KE3i2m@/;9`
+ pLE_)9;;QN@l1Z"-LND&sOb(6h@Z\4j]B>\\:Uc6.jT+F^1P?b!I@fJ44(\Ao68qLll@lP%
+ )6C4olZo>eInV+3^I4#-,m^M3hXt@K0`m'6o6*AcIaY%0U?t&aQ4"q]p4FOO-nl$6emcLCkpH_dJU__=7E7Ql6j-LhRY-(ht;c81fQa$[&/56Ae0-3(Gsq!
+ $K\o3pk*G\['.KS6OctA`!'k
+ nA'@cf=eU"\5T/*5k@EtNe%U'&(%=%L\D7SQ&5]rWf]uMXE=p(lfh/7I7`2`q$jV_>"d"\b
+ R7"Gql?"E#UW+:l5[K^43SOs>l6QJH3X3SJ%>0e+534p0KL50PM,8F9_lTMnFL_6p0Jn4tZ%O0<
+ Ae(fY;s7t`#N/-2k\VEk
+ bM#glg.`_6J?lYmfEdD]YJ@-Ou53m:9,PV4THRi?O!AqsSY]B8+t$T=NqXYAUVk+I#KF,2=
+ `LWg[\GicBW1`fk`fl#u<]slSli*74TE8T$o)hWf&LnRGjR\a?q_5')JTpl39l.QpUO@B=[
+ D@KAYU);k_*""up+-.6u#9_Z*%\Xn3mpR+IK$ZP"0[:^@[I%O7aDM9@(`C9=IuDk7!*1pc+
+ p@tV8)lFANY!*>DJfM%^f2K_1k#X\77=pKfJl`D*&
+ 1mGWpu#Q8HV/<#HR$Flj?)2Q6Jl>_ASkfthrGJXBR`tYn\OufWh$Yq)+"$96BL1MK&F]l6<`UZ^
+ ap+,r^=aTco268:lj=D(^Rt+Qj"Vt-.,!K*i%UCD0ZMJ`!^Y)qnIAo*Tas.VY/fnj@TcAIn
+ [=Pf&,-sIb"Lt*J:Td,^Ao$n=4XGX>>u3Y>uejl@EWVJHo.gs,&;6?R-)=^FQ70.bMEd*-`Tkf8]o#8>+e7%od
+ O9/KfE*Au@CVcE$i`'SB\FfATmj6m:RpS\/%@aDj\&V:rP9
+ !#pQKd<`=B`$0fSDMX>0%1GaZ(^%F'pZ>Iu`*b_6+R#^,JB/B-nEghioQU[S%CeBiSOOc)4
+ :/%I5ES@H*`5+g;^$`K7a`^D_^gRS:i7)f56`2+hqWRNFmf4k^%^9s71'gFkIlqqpn&N^!0
+ D:?`<`g^r$-r8YG(Rj!.aEc,NE_EBe4'*IBUMXD$]W]*5f5_O`cmILG9\s#123H72jnjP*[0hCnFmHTq[_'R&.nt9JNsuZN5+l"%Zq>8:U
+ 3[P3g='3)Bg*sDl")-UCtNO*T?&lTKENppCT+s`Lp$8@,PS?GmT%$)keG]OC4A%+Mn->&"t
+ HfXZ4Q,V@dfc#Ougs@=]5I4TC%uQc8G-EJD_r6k5tG$o*o-D"M%(j:l0o&WreC:'cO".P#)
+ 3(W.N[!G#?+i>^-8*"g(.;9'Z5hC&EW'-UBmTM11)+G!phqS?\^TdD`P(^FGrQfA(Y^hafQ
+ cFT-3,!aop5dWX^2A`ML$'2_7DZ^&nWYB6h#bhs*OG!t!b+ld,(I7=1@3c\`'EQ/F'F>2c5
+ m6o":`k8b+/"c+Td6^1g(3Spp>e%FTm@U)6Be'm%)Eej0a/qfHRI6k-k_-M5qj%IK+%6e'C
+ q>!Cg%+[edd8b*[*$HEA%s1VT0j;)Bg"`B[\CCQOElp(2-nq-<(\QYS%7Ir2@t_!(cHQ:`"
+ t1Q\*lhV4%k!l8-j,3Dl/Mm/4:#fb]3i19nJ%"e$t#cs>nY=fK+E6R4,^V&/['.?bZ*9d1L
+ PRf9S81D;Q#;`?LdhA,!q)*hX=+U&n0$Pd(;(*Ud@Ji)uU,1ch/m_ZCC5pQk3lsc_$#9\0o
+ j+q2#`ukJ9$m=O:6cKHU[Ku#8+sA]PiA(hj+:j#Q%#Pl;V_eQg*@mr2"5oOW.,^+RHjem3'
+ C*L;+G((([N%T]702C5\j$4n?9O1^5:aA<
+ 9(R,j?[+Zkk3V)_/];%m_ZUe-SB6!nq&7(h)ejZ[Oj^;A+!-%mgE#%`/`B-5>E]/d!0oAX`
+ +0,VqlXk=>%s$T&34C?@l-&2\E1YRFh+i`Vq88-:?LZQL^G$8P@N!+h,g1HQR*Frb#(*$NK
+ t'W"DF\/YOk8p%C31oC(2o7W]d"+`>Qr?8G(kLl`PVNleO
+ q3c4.7G?_o0s`5TLAt\(!=IN@*kePX@M3K%cK31M)koMdLjSF+&ho8#K$Gonmn.A3sT^mH(X*WC#Wo6bj+dZ;rXaAZBHfZAd5h?V\-!E1"I2/A(@AFiN+9;I`G;l"=
+ ,OPR#Q53oR:[7cn!Tk$Eg(2g$>\OTL:fnA3<#;c41XVp/Kpm9rk]o)i=@JYb3$s,`^Ok"k=
+ MT996+qo'*aM'">,AB.1B^jdr\CD#C@SC6"#/,6Ri0Vo8n!l$+gMl7J/PcA&HP!0JEda*;@
+ B/m'4?n2JKC,.#nauABU=^+(meFa-3ulsE5;/P!59#[Qjr""$fLprJERT]:_:H&(09-(MJs
+ E+S/UkMrV$DR;`,QR-5=:=M!#l`+K,b6rh)2$4$dU$!>IY(kRgE=F4ft*+TN0SRTRJM4S]%
+ (-o)(dSEG*(.l1frU,3P2,*Z,j>3m@A@0.*.B7$lt%j<>9jF.mgNZ,<,ISgdc!88&/n/ihJ
+ HPp=Z=_F%gC2T_](nmjUq([>CR?t9/#XH`HL,boD5L9qBM\%lrW(iiX%CS">>q"/VG"\b
+ 7ePZ(K^lZU!3:6SK38$IEH_HjbBBXZ:9mU_Ft_(dSOg#Da)f^_9%4&]W`?5W!:eqf=kj_-O1F"E?T'5NiJ&5$X)6gPMrA1U!=BNE:_F
+ Jdmsd>#'-Vhqdtp'^+5YHcOQd)$-TR`iZSZ,J;fF`NPL7oD;\&'sTlnY
+ n8J+b^]u15KNc*%)>UG5i39M.?^AE"i/$S-PsH"r"]J0*@L=oI+HQ3QnhA5=h%L_*7c!K*]
+ g?0jMKY+V4-Y&jYDOYrrBD^&-@/ed*GI;>iCIc6SU9mXrB4/?7G(WTiMsQOgG.&%=o')Qse6BfIK6k
+ ii;9T,R+R95#Jc#`"08E[&&H/j&&Bk,V4%nq*Xj^73oK(%Yc%fcH6$E8#sb9l6P.m?Ae/#Ct&-Y,(t61!Eu8FsXJ&KslhrV,3?qqoZZ_#_E`SaFpTg6$1o%"'[U
+ Z&p/=e5pF+RTt1"r6+8&g2qeR$:JZd6s[2\jul2SjlkiC'oA3/^3,n92)`"ee#Q%c%/1C6J
+ k69s=$ZaRDER,j^R"6P;?@nUhBUbSiS`gpXMPIoaa1>/[sX;C\HY(pB^D*X=1sB\*H7f;YN&/q!fmCF
+ [,X2"5!V">XoU^^;W]YhA8DZc%iYB6QXNaRck(1*1t(RhoA1q&V@j5/4]u3_oDr]mU!M9=M
+ ^d3;9&gUS/S*2'Z"N$[a5B^n.Pj'0eFN!6aL/#AnH]_TeNuu2B`Kc6fN)&Ug>VjMT4ZgaOG
+ B!+-@Fl"1(6dN+rk;9u9/9@e]'XOO@B`fGXFt.cd8R':e]:?o^6EP5+D>t&$&L-\/#&)8e,ecfFurAm
+ K!Op^6rc/La[WLS"OeNTAF`l+*a:([c";$Z5T&"t,:B(>B&nff(oL%WQ`KgQ:!2X@]=+27[
+ bl)8h/;tVh=gl"_;TA.S6e,rOicB4fo8lASJdgZ6:D'aJpF)MAj=a-^@--ViUD*@.HUs#BB
+ f)8rLT^\^W_#oGQ+4!\!-:Rr-9*=P]23uLQ?6V!YgAcr;=Aag[taeDt&?'5Yr^Qob-B-m-b
+ JgaNY&TK:*9(5u;)[mh^b).YNgWRl\g5EHGBD!s11?D]GZXru=N`ao*7fK<[-I`KCpf,"<1
+ bN6)[N.njdCX2&;8_I.Lr8Y?7ZX15]S
+ __Qh>!A111B$1P.qAee*eWE,[[pJl);+Mkkn$UF?OI"BpoJEIpTjUhNA8Ol_G@8XH?,[XLV
+ `>Y14B\Q3('Af5c%RV$MAKR/g#_:D3n`sEqeR`'6T7M1@M&jVb939!gI@f[o@-KEI#30(go
+ _DroPE#9\&3">mjCb1YN)Nt>5
+ Lu2=c6\Oh_/a]3\Z%>qT;98a-\s]3dN"$N\R'(`gj_PT)!B!l.>u&50(k7CBYi&-:goL6MF
+ -c-e3,&@.Pa*@M(g+[61qfj)WWPUR$aef0o(f/#FDWg+E2]e)90M3.Lh&&:ZcJ"Dmf!h*'$
+ 2c(pg-\npJ22ch)WM=4d.o^N\T1IQs1WF<.9=<^(jpf=1_U^Z5?D`,%YpOT(:D_PMejOp*=
+ K)$42^$\?Yo#T^a=G"h[DJ$*i
+ h4]uOKdXMO%![#8K$6H%!GWcF6ZslP1b]NH-6bCFfXmK%nm77,&fN[M"sD]&J0\!E&u&J:!
+ uQ%aJ_W>RYkAu'i.3?:(e>&i'Z^E%[iIe/A?qPXc(/s!Nq(gc8%A46A'BF`Jn/@%OYA@W5a
+ 4>33(Ai-'HMluKFFS_5QpT[*^S_&%\T1?LB&M1"'ch1$H;1_i,ff(3+rktLe8"oF>-0de/^
+ oXG!rlT/S2;u=sL7p%acUPL!U\CiR(g/Y^@>kJ>3ZC+FT*$@OFr60F,Ds*=;7j*om\`Fokc
+ "#4SAr!bbR>P@eU'Z'IV-^hOCR@MhhDU@-=rTbtW9DM8Y1&a(-`.=_sK`FuRn&dS[H!NEko
+ A>gZ)n@"Q;p4Z>+3u(1D\J\2gM,?;_7;0(FUD.=";7\bXBW1A@6dup+OTe*"od?GTU6@JH$
+ U2M]Y7Rp1#Lb_F9jjMKVY&T1LTr>fBiRBo2$G+SYc8f#!6LQ>/f,"ZM,Ri5HE%2^AWDRS)X
+ =_%=2RY4",aVt+o#3,;U!r$MTG&aD.fmO'"'cNLKe4YNN39YE>oYL]N:Qp'%'B979Wbbb]m
+ h)iFk065jT9)E.!eb$qH7"&h8Y"O;NW*9@%r6+0;PoZIWX3=h?>"CsjMP_I-E)!@6%q!4*6
+ QS4s7XTHM/!3=UPhQ%mWm%Kf.JW!#qKL;7gH"?:30!g$6:+bV]Wd,1ub-KSL@qJ8YmHP1q7
+ "p;hJp;%#6%H9ofLpgb2KB2'loTaUt+2[6F)cX(krE'n.i$"6LNN
+ %sH?c^8;SiDjcOd8h4Qo<&]N&4M,2Gh8r1\KN\,;N#OXPm%/o(sX2X@/N"aBkV2rK+)Hklq
+ *%R2CHH\V\N[R=c6XUW#lY:7,bdmKJ;gPC]H*mMY<*+Z1U,u']U?Hr.b?o`.Xpp^Dc-[R%Y
+ +RF:qLJ=]R&@#t1(\L)"YI%Eu>#L$i:U)28t1grM+S2H;_g6T&0`dO?tl]+6p@e-#(%#DlF&ZnfkB\FCqBcD'#2ocbE&-@,].mSP'KCjjh0AP]HTmL#;&h%L,aScT[Xl@J9VU@aL3'4./Af&hB[#a2-@ZP*A&JkYX4Tp-Ynt;/4UEiFg4X,N#
+ T5.p7?&Q2/-p/"iTN@XTfO;a=M>@UpdiFg?)os*YP$bmf)%[?m6-fD6qlr>1dL=U"<^VS_<
+ ;a@;!%ks((TYE"9J[5cp36qB+TZJ9o@>I1krg&mf-qe6V1N?!Pi%Rb0pP!OPD6r9ZoV/piZ
+ rOndt\LkmHC.-&Ib-*VcfSA]!)>#cDPX3.#b^lVrS=KRr>0!R]CV#T^t)8W*e_6b/t
+ _(u096%p!e_=Ppf>*K&$.t`(c[BljDHmH:f,sk!GWL5%]/0I7U-3Qk8Kqn%0=?f.#(]jgmL
+ 7Bo_^cjiDpQfJU__S(*^iot+27H*t6Zb'o;mS[+1mX5?#4QUOJ7/O&5m7"2":O>&bTNA\"+
+ efTNi4oY82^VG5bqLN"aG"iMchut$U(jh`2$&>]M-8N9gloo]pN)\E(U8KAV=GR"^"(mW'i
+ ua1]sG(,lB)4gLC;p4+tCB"\;r(J85AU3^r+9NX<<,=C/:Y=u<0Q#'fMG,P;1i.YA!Q6\+f
+ [UO`KN0`k0*K8:sGYUMLeF@LTW!j"sI3+<,c8ciBM![8Ha0MqpKr3q<$a#Ro=3+i?s:63Me
+ "L:[QX=9*j>:gCoL=gJN8.,JI3QKWO6kIQBcm/^tDhf`a6-P,*KS[^6M9)KMT4g=iQrcg0K
+ ?,m/OpEGDnPfXu-HRM[8Mhed.[cq`-)AJ?8Ep1;^c009?H)HIWmGH=8f^BHg4KO"_j!!1I%
+ \U9FLtpnaf+*Ol#m4I=b[mZ"UGhETKb-[Q]_u0"$=h\LdD3rTpXJ$)&PrQPYXfF:.lk;9.[
+ ?k1pkFo[B._^#Dc!*fOk=pUkBnhKCBl`CfZocQO&Z^Jj;AKYWINJ8-L,@#"WE^bbNB]?7VC
+ aK4mZ,,(LKoJ=JX!))G0Ni+.Vq97t;V!u.HR!;;#c14inDY=eu9O>059(bY;/2h:g[?toff
+ DLtD-JeZh[4'":j1E[sW#bf.dOh)KA3$?7$G_dn]qp?Z4M#284e>faA1ON'IYMba@sf\]RsbkbmaK2+=5@^'o$Mk#0
+ d*uh#Pd;EeX`!audWI86c?Y1ri-'!k:KPI-h4Y.Z?nWMsrkTE'a^.BnULmXIS(h<=hf7&CD
+ d9d5;M572!:th(VAg]c]S!#Wi%E-c&4F#j;VI(c_Z549WGpKlCEXW,^.S+h!!_#5hVe!UZ?
+ 61kV/o";Gebib'0uBi#ajK0VPNZ>i_A5(p-q+bP+C7+4iGQ\0fT!o\$M-r@ri'W8I=KIj0"
+ D$a.+3/CZWK+LG+Y^?]*l-n`Xe+GrT"[J\>mG%M#!clC\5n1E0n
+ `6B6CG`[cm/_G4;b00KOLBIr=r@5'@pGI4;FlHBfE8&VJcs3FfSL
+ fN(b$Re"B\S+J6mt,F,*-&<=O/KW)Eku@Y"5"Sl+m6+B\q"E.l;<#<53$\1:R)CBMpT!u34
+ ],PhMT/eA:oLHn?]"*+Fh*eD.;!N6qJUs71!r]H[7C93oC51)S9H[RALcL-]$%`lMg%[?(!%
+ EP@0S@".KEt5*:dqc41"bm1etp:8NPo'Z`8"qCUVh<[A#h1@6UaO0!JiK5S'JiD%j:@2";"
+ 7\Je4UrWEg[[LIt[%0MVe7h39/0c/:g@3.4gu/
+ p"s?ShfG4jY\sb'i7k[1>J9nG=9k;Y?\VrXg+E?Y7K?Uj+NY3qh];;knm7%#dZ-Rn@!,C?#
+ WKWqBniJlJqaZX$U-pFBEeqVbmV&a-4ln*;)AtmV6_V)^g[Lm3Kd^,Z,KF2(/WN
+ A4#(ULji%\3Qm@(OF"^#\Fi9iOUGQZkUK1I@l]7I_A*Ju1I([:?FV87i,o0C3!>_sho5e1"@3.r9a.*^jYg'!
+ 7TAJHn]sIE@Yd,,rVP[_m,EgZ#,9/r(0oc-?/Q_oTVt>Q^0&3B#_E%9;@Y;h'?.U8SV$!9L
+ )suefPtMd)pJX?k-HZEj(PHCoH?jZ.^1da5&e./E2C//"OL0Qo"7^'3',h]"$%'t:d;o97P
+ 'O0i\hukG'mrRHfsO=kO*br,',;S8;^e""33uc"ndkgXN^mX/57<*".2K
+ =$9n]mE!0$UJfl=inona9mKH^,KGZ$`!Rq/^,D#46KI2#c`aNGMXg$d%cDY2`?Ei`2Z0NaB
+ OiiajXdZab$%]U=GAT3eT1mJ?<$pCC^r'%n8O.8.Ko-+Q&8
+ 96TOb#)9I'7g/<_"jV`FLY*`%3(EBI[r;pGe$(g(YY+5q]'IBHnE+''!#l>2
+ $+_BI>o)U_mV)n@<$?dl"@6DurtrWnB7\AIQT/'PW)<*63W\e+"2.fjOE9t*>FV!sKG[DeM
+ Va"JD9+KdK0b(kQo0Qd5Qpjr"DcS*h^n0h/T'Z'o&h[sgY$6W4G@00S4GaBTHhF'm"!G-K<
+ .4hpfE1-AL36aECJ;a88!nn4_Wu=!oQS$k[B`OH\?WF"+h?k3$s4ZL'3@Rl.22_O_0oljL1K,5-XIfd\S"Q*-sVd,A
+ j,40-,aWD%4hdH-_@A%,,KT2Yt_^0lD0*EojF1Bs-2e]N:12Qbo"lF+cjNrR@D6"#F.h3#b
+ W*fg+C11LKJN,*$,j^I\2[Rhpd;MJCa*MsV9XrG?R&mq&X7'q!KFUV@/`MJ7D(h@&K]lfUiF[]"2$
+ .kl"pfI,O>_at/R'@jBo"/4GY'GXZ?=btq%.S&(o'W+:JZB4^O?"b_>G+dr"$]rAgD#\O9=f@Zh>nQ#G7U/'
+ S;uBLN%KnYGH\Ljo/oTP7UFlE++(]l,YP=oE#,@a/aA2m-CAJ![*n[U_QPl3o\c7NNbDB65
+ Tc*p$?(/QO%P[J2%"fd"9%/ci/f"+1[#C7"m4=f=6>KJ-.bF&dJSn6/bXRA0r6'LDbak6[<
+ esIS;NEN/-+qR/]k#j>%#UQ:WHdb%/r"7'9fIQqJc(q4,H=2k*QSZan$FFZlBnkYpam#)bj
+ D;J?iV4Z8R#VGlb[)Pod&;leGa'tVq=LpV6!cUu\0r8_u'Nt!fOA3Sf][bN!UnbKi'Gtb4R
+ lt8DReF(+[E*,4L(Cc/<@W>M_AiC`k`k'ud`#&)Uac,sdPY5P,T
+ !r"/fPF@*F"WT"l:2:QUJ6ceHpSi.h^NCg)1(U=R1?&fml-as*KA*ln]s;!YU1(jN(9U?WYb8$Cb9pj522s.@?rp\TDK"2c$+n9gj@qum,:O=UhC_%99T"i6::*='
+ FmN$SeIOK:#A_[t$L%E":o4V,IC$q1cHOXs3?`=WuJBcE^1Em6fZXCW6gO47q_`mN"M*QIW
+ J!ZDL.;*mQ67*LQ6U_6(T,fu3SSL$l@CniB#;QQiJb&Y_./P?`3]e7MAjM`drErj:&P$jB'
+ 2+NeYHT+\5Ct^e0,pOQpcP+Op_3i^;YGUi;%s0JfSFW`M+>pWM]R!r7pkVsrL[/Ap8!WiEQ4qhLiIV(?JD'a2WQS$HQRc`SG-B84oX9"'n0YU
+ *hVE+9AfVt"!IhMoLoIEdULr)-/7T'#C/&W;f1f7bf)DGMWfe>s_,ER3o#?VA&/WCroEcR:
+ qEEG219n"]8(8hHQSs:Y]+q"]%AZ_BM)6L*3k*a5+S@la*$rTMT%Y^V?RP'Spko*<^V]<16=-/qdfUcci,baV;D[;?jhh6u_jB'$MiHYHkq&R+o$Y
+ ]$!*bQEVF;4)'e=$I/3Yi>BlP-r0Y*-Ulm59P-54K)u;nW(,!c';Q&&Nh!Zn\dq^A\a<`On
+ !PH^;gMHhD5fiq*o-3fJSfGh`]5Fh00msIGX`>kCqggILh:qptef(dT'h>k#2gWYgPQ4J[j
+ %>^&Wt>3"+d:3*R4hG:1`7T.eF-nmnFh>lhe2h.m1Gpu5>E'lT1#PQOuB)2Y)g[WbFj&d]^
+ H+XjU-2ag!KA)]5'"R#JoR5g@=X@QNT!>KY$Wu((Ki"KY
+ \)@lH"iF2l:sKtH=D\N+`&WTLmN+aF*'B"TpBAB@5sj4`$R.tfM(l:<]jX_i6pks3O\R>o<
+ pLL[Uf`N%AhH!g`#qFs7u:*'0bAP(,MtUt;F8Ma5kA/5UP%_FZ-46/=PRg\m!0Hq1$paULc/T]
+ I_#tbd@Dp==W2CN-!C_]M_@i-Lb@'pXZ5b)?Z&quqJC$d^!5YUI(8DFT_s/70k_0VC<)/'7p?gNZfVrV&aN>[DodZ3pg
+ 1Q`HA@AhS!"Eq-A^dob,+M>6nVa*(.*9Q5'+G!$H"o_<>A@,$7g&_8nWl77=I_CrKOCGQP_
+ B->)2k2$Z-<,g@SL&O>\)",9GQ`>HZ,b2>,^d'08&OE+A5*(0rq^(Oqc5R=%P9oIBf9'6bQ
+ $j"!h^Un4r,bh[_j2aiEjp+HF`FZY^16NN*ehT^fhkM!Jnm5PFH1+2d]hm?9L`o-/DWUB%=
+ )@I._oOKeeMO->m[;tUom^oas,'/XBSb@S@dflX^4\,\Y(eK`-iT7Cb
+ =Vqs+`qnYJ`f3&ib3E3Sbgf#2send#,qsLd3U%6,i#C,/J"Eom=_]k8m_&GE9#s5KHt4,%M
+ +@Xqjj#&]4`?"JGT4:ED0J;BR?B&LJr\W5VYeZO(3sLb_GUf`iU3,.4je)T8l%&VW>U%j<5
+ ]kGsOR1R23@!@A9Wco+\XllLe1LcnN'<>bo&9*auB)1f"N#-lrAL]Fe9LPtjQ60q0t2tdr;
+ kXZQr%:G,UDY/RY$.N'1(htfM#!t:l9]N_WlJ5aHonKa&>0_q\+]'i"2S%>+l+^C%dOpi/!
+ l*J#!:3F6Z$&UW%`1UuCX&CW"1XF-=aJ>QD6+:,_tt!,DI3m5]H&p6cjfl2@I@4:\OT8V'd
+ DRGKlHH,!+7peHBa!_!2^]f&=!dGKLfW9O-+Y\!T4q.J+-bJ_71itiC`t2M,=7(`&+R#fHQ
+ pFd.CmB-o1L!6bhOEA^Q%8]8Gq@h(f8+i56G_Y?X#ocC;iqVP<=]k=PB?H,f;YpuaV-8
+ H&nO"#^3e.k?TQh(;8F82Ad\Ae6b)KO%cX^Fm>K6XF9g[pl<-57@FJq",9HVJ4nNYI*'85X
+ cq6'Pf84bTR?$kR=b3H47-_Z#&3,j\SAE=8?odi&GKi#<#cU(BmK?GS6"JF6@]f^KFa!9X+
+ b5jB!@qB)F/m#WLpE%(jm/HY'r)F:eOJ/SZjhZ6LT!AHiP`7,5^PT$58mk@`0&6SBtAloES(d2B[YYi-ItTif"\ig(FCA#s`lfAgk,\r$-bH#f-!A&8q\kboEM&%m_Z[n1brg
+ h&Z%E*\lLlU#I,NEY";[";14iJ2h-aXrH=E"nDg#Z3LRH%3VIV&tr89EVCWN#Snr\'W94e&
+ h&6;M'D?"ZS>#,+k@>nA/IRj%7)!LCUaF<3XNV(%j;c+i=ZuYmU$PR&e\Z<#Ajm,\f5'$-"
+ .Ds_.!u"C(0&X&)al._"\5p":m0l%dcLb5e7FJ4:34dKRh\Ui.MO^)@-W_+i5Fj^s2trJdi
+ hT#sd)l8c0%uA.5-nYi+fg_!h]I&eAjM&'me*!Ep&.%#P'F);uK6@3uhbn6lr@0JOk-;J.\
+ bN"qKV/gau586V,UTFO79(#aHV:Q$Dq/22Wi(a5>HO:5aZL(;#c(a8,j!b<'T]FbDR#Z(-u
+ _,M=L!-dAb&O=!+@1j9rng5N3dNI6T+LI0eC'MIe&"tN_K7r>1LsTQ]$NS6SL\;4o(h*o2@
+ RZt4&bS2icT9-NjCk,&ETK9g]fYi%4=VPMC,i!:[64&bM'+\_+P._+"!Efd+S4V:'B_QT^`
+ UPj#`#<@'T>q+X7I?((_X&&E)1So6=F]Oq3*6e-aJ1dS(*c*C$n*N(frJTV)b?F9hm/%b**
+ AB4)83:_7H/:8+g&mqkG`#tac[8i$l`_(ZL1N"Jq*%gcL`8d#:4U(;el'Hq94@ETlp#;YU!
+ *CV`sk-llaee=aN(ZK!b+X@aFN":X5dpXerAhlF=ELI.J!DlMul%'fb+Wq1n.MEMS<]64M#
+ '/5ol5YB'*VEKKG,]5bX]7j3)&AQGolg)@f9*#
+ :G;TlY+MmMC'9I,VLQiPlD%.M\U7#ls7L<43&tl42be(SMF/@Ds$b
+ l;@T'-VG1UMR4RIY+#6<--^t]0fi"!`!&$]LRORj$j4'ZtMFuL@`@]K8j+:A2c&!FVIM?`'
+ \64qJn)!/YQDiBb9`2itV>1ZFXd472sG_)\-)*n->VG<00YRI1lALXi?ThLqsI[VSb#=*M=
+ !Fd!V%c>*A*.\u?UKe7YrX1Q^BfA,&G1bDsILMne+%eD*p\BS
+ *)f1m_p"9;K.\rXlYF&k
+ \T]';<]GElZ&YOX[Pn%jY2AaPsi0-hH!/:dl[Q1#E&Kn_q=656?J!.g\Cnk?9$1tJ$?_U&5iQ3q(r;u+Kd%5aHr5$R%"W>aC5buP3
+ "quj(^sFVW5WgcZ4VW`'bYMDfVg3@_[T_R&D'h0(k%3#D3W_e3l9;S17/O_W")*c&4/\qXr
+ Egth0'[mYP2l^@/4-M=os5/%RBKB+gR1IGf!72!n8DgWtZ&;:_8>4&,)*Fk"6%)i!Mbpl(q
+ eci@##jZ3\MEd(ml__-S&]$jY^F#A"Y]JLCqY7>Yj(S/PCsj38`5J!:j[VE/:cA5XJbn/jo
+ +$Xj@rGj:7-&6FXZjR,j\dj!_+28F(0E!d*I
+ $=%41*'ilE;*'E*rXn,u"P&3s>*@2&p]a:^ag%A>Tb+R0X`V@UL@$XjAWi5uYjD@L#$(LZ59+bC556l@-MH_
+ CucTqi;EC)]Gc(BM(T4(l!+BsrRR(]hViiIW&]H+2OT\,1lh4,=lM//LUc[ejpPHYOLN()?
+ qN&><,C+Sle'PRaBH(gu26!IbHn*#AUiM?'jl@9!>2>Z-=Y[+-H_EFC!OJe`LTEH'D+8G:
+ 0c2aJP8cM(TnAo3!-T"6E":Nr.g@7.(0#cte-_T@i3B-j82,O3Xs?9J&oF,QS9^rCqMCln>
+ N)ocS;G>"NQC0!$_[>0gAf3t6j*LY%@L0.>*I+?NQTt;Cgd%#r0lo8_A:oX:E_[@@27"i.:
+ Ydj)8W.]bI9eI5V4LeGWCsh-&8k>Le.-eidH
+ mI:(R=A_,[Of)9aC4aGX"=;9_Y*J#s^J\Vk+?5fL/'EO:)@42qB\e*h0$)$c%@!iDL0EqNk
+ &V)tM_#+5+I.Q-@B(AV);Uo'H!6lZ)L-4k>?.k[Hm9JTk$%W!c1q&+2M@C^I(?'ucr5+F`-
+ Wo>$pDB[6cjY@;EL*-o)A.Nu%GFU7S@
+ djd5\e*o)o9Z;I$*O)?01lA&g:!d^.mB8VUZ@7+<7ZLI';_GZfg<#CuGa"@/srnk`0rl80Y+`]_r>4koX=BGZ6V'"Urc86VBH&/E/;l%dS/!
+ LHnJ]M9$4%5N#Sr(IUHfu-.1#p=U/iJ%kSo+n"lNb/=tWMt:sf#XOG(a/GU(2;a&@h?H=`u
+ K6c]Ubt7L(J$M+$O-3J(ae,]/!ful@*UJ^ZGs[TupM>kMCLIs7cPrllZbX)Ft].1]R_lBLF
+ <`$\q)Y&BL)"-P;5)imF-pDD<,j7q<5-&X^Fb::m>8R8g=l/XK,m',d%[Bf0%t)2(@D1]fK
+ iaCE^:TKImA0;OZ02_msls%LmUo]h-*V,aJElBR77B";-L8d!uZW_bURn'O,lh>aT*m^1fkOJCsrnj?On+$>S.`P?^9Td=$&f;
+ $ePGmfB6'/H>'W%dbG/@sp.gn]5`%m[KLB5K-Oml70.1i9%NdX%9GsZ!OJ`qV)#'#<+)+JV
+ =i^4*.+m;N_cXCL*OWiA)*(H):Af:lIUDuKgO6c:/(F-/!)[;HVX"-f9XH6/CUV`Z^PQV[e
+ lHE(0b;)c_*7H]<;af4r,(c3I9HV`Ws#X!I`:H,fF6*3_:\4em5u;YL$U[b_72&*eFCcC];
+ =oPe8Q'Z,.n`e4`A:4cL_8,C#U>;_;,*<$hbqsH2,dIJJA@+$)TM:j3tjKBC8Y+_V/KX@2<
+ Agb=*=Ig?s%ReMdY32-';\?2J&4f=]U6GB\E*EX(ki3S[2pk"Z4+qg\"R_1U16Ot[pf!0JTmB(kL64l5*=]o2h.A[EB:EL9`bV+,q:9lJ&>],D8kKh7MPP%D244;6j2\3cJ_&DTt__Qa@MLVnQ3Yt\EsclNYVW8(4271lOi)$f"'K
+ ]*bKlah!2T(BR4>K6EPDm/[tC(]GRn2p\:WdfsPTieZ2G'?GpH"q;\6=?`99&Z/%.#:;PRQtg!q1$PNq&WSY:=O>=38BW$H+9_bL!?>U2$j".3%t
+ [VY$pi6.#[p+S"^oUs"%[kR@I-Snd2XWj32%06L,?nkF=)_2iXb%5AVNJh/WNYt"CXti!)R
+ POU/W-66lE=d:uj&n(o\I+7NFkL@4UH(4I1$->"a-W_*u`<&qQEDL[Z8pAJ@c\+D`;.;%+f
+ UOQRW/WY(,U!=lU&7Q9GqGGW8M$Ku=&7[5X1eg9Ar$^)7U
+ Qfq_;>NRLBb_kgMGu23n8s^4l-;d7&Xb*cP#h)ss:$L1dVj->8e%0s(q][hCfZJiUJt<>WYZm##-I/r%"b.-%qR/d98RFdCB7HQ"3aCDJT`4\TGn3RZDF
+ E`$kIb$T!DJcen[heMFMt,jS
+ >>TkQ+Yk=j&3pm2^loJll=Q'fV0$`%)$'PVL5&mC0"QI0kH)-A+2C7U\P5KODkA!i5u06:`gP^q(d>Ff_R02RhVg*Z:UFEu
+ \\cG>_[#L2b]__jGWY@JiBfKdaDJ3(FWj$rMY@:^mZ'Uh$trKhq6)0ufI\)e2!KNH)s">%5
+ 9T#cpgZZ4VBaTaWpk!QI.&Q:iO@Y[%ZfBGVK(&L`4+1'qq!l((8S^:A:>bHWL?KJ5V#6.?#
+ >[mcD1!##Whe/U4t\fo%KJe\AI;@ImSB'`9>ZWZl_BAET\lmRi.6Q4,2I1^$YW3[C'"Or:%
+ E]+'i^)O>YG3IsA,XnZcAHMKL#;JIL_N9@ZJYsWT!([jBI(g-YZpu5Y]l1B>&/Ck1
+ .U8j&;&\)Jl&Zk+1NC!@Gj\6;0-gLB$4JAUc4+'8l&\iWJ64s'Ph:f,t5%[^OXNOKReG'7p
+ J%*#G1gJJK>YOl7iX>J0d:N-$]SkbQjgE*=O+Q=3lTpLq92mn*JT?9@,p4_D$D!_>B%56eJk9NK%teY^\HCuj+RI9"-Ck_L00DT>aHH$I!Njp2_!jYYEdOTo>!AMr=/l
+ [;f'XO/&g_p](]fmJY8GN"/)P'@gm]k9sLg;p%NWYscC7#N10)?c]J#f5DdOWYrJ!cW]$+t-cRJV$$C^Im:q\"rlh=m
+ Pe#pCZEk7%M:a6pV)Q%jGso$hlP@H,mfhU/Y)"^-==%82q&edNA+B@OhY]KEh&eJ^@50.t4
+ +q]Ks>"L!A2-!n_/m_[q-N6%n[RC+jjA,(Ld&?kPii1#m_4qgVdQ*^l[)ia;H[5PtLH$irU
+ 28-bN.LVOWEF8NPM#!c;p!'9NtW("7TG7Kh*Q%*_KQpN%9Il(s9*N[\2!Rf&pcZ:b!e
+ J5?K1J#!83n)#8\rU&6i7ol"@#9\\qJ^K"CN5PBKESalC;T]OGjpmLmSBCBa2ot)(@IoYU"
+ j/;22Ap`"8gMn9+qb+bE6,2X!beW&d(tA;Af1K2=`5_sjc^3!,1P0:8[?a@HCFjoR4`Jcba
+ 3JV:J;;o'^`_(9(0,A@=K@0VYl7XSl=N+kbOC+/=-#Oj*nO@mMdA4GoqPB1FA!*Ot3%`$j.
+ 7m(i_9QJ0YFmC\5m<'b6gR
+ W;,_F1gXNK8O3c&9(L`(fs6+P?R8&Vb>E=N3r+G2@:P@t.$pb[Y[@RqHi7L1KIK5SZW"3Ti
+ *7L1`$Qmp"A1]tfL7;H[maE%Jl)hGdD*ahX(J\K,IZq$Y07e=s2?oJ;"DhgGibl#g^%+.ch
+ dM(;O"m!kIUs)P8NQ2HIa(0<_CtVOAg.d7T9pe,M`73&aKTL^n91Y>&W,2b>/q`(VSI+S4O
+ >;HQ6Ngr'9C]To-qbD%6NRf[K=`q^C_DcL2?AUe"DBFk5Zn4t=GF2TaY`Wc4S;9.p.n6&Jf
+ #m;m%$q>!!ER%"f"REYQDGlQH=pf:KkX=n6lPEiW]Z3K7H\sYTj7fJ,qV]"*cYUi'=E?kK;
+ lo:ot.$JFg?c*s7HjM=Kk^i%Y@">Qu<`c3*&L83)?:<((.mS3Sm5)HX,P2hW#"[cf>r==8i
+ "IOF.4"t4g$TIp=C-UjC]";6*[J?4B"5/iZGJs\0B6Lc*AUBIs&-H+G4bhc7EOb%6rLT#QT
+ bgOr\1/fb\;`^'G+D:u=:c1)\;Va;SkX#F95Y\oFc(-ppbreq\4/q.cOZ40ojZ(]HTWUgJ-
+ =UUR>9jG-3d"^+W<=k/DHJTr/d'`(DJ."_dbZuAcoi,-f-%Y50*)U.TsJc=`GJGrD:HgJMbS"D,nIGP<&TgeK:khkJ85AV'L!@/KlCE`8N+Y'4:`_[+lGe
+ C82iHj,_COi2hP:g(jUe%.g$>/7@6.>?na7DXG)1@KJDPNU#gt^Af\Kg82s7nLb^Pf6<"td
+ .#O4B%5_3.P$'B#=ZK!LE-VHA,eWe/fmSn6J;R(B5L\.HfsR>Kjdb#:fn^2k#W7[rLku5<8
+ -Mq'LI,U+-r#DYR(^WPJOhBqN4N!%DG&RP"M1rC71OsX:p>`\8>mV_=A/g[.tm\+)F[h69j
+ :h-A6W'BaW4iA7:"#S&:leW1iPke0OW4t>QPYL]/Wao=EXg,i<#B2"\92VLd9@0"p"uZ"*c
+ \%TNMLNXB,;"f(I5AZWmYfCkR5=Su`2":c$
+ 3-l"!r[/r>^E7joZ#qXmfYPJ4fnS.[pm8?G3%&QqmmA
+ @bF3=?N'A#%5Kn.IY&CnKQWsF:$`871P@/>TY6oRNLaFISmSVq5gaI!`V!1Vd"YdtVKmF"n
+ 6b!clF$[P"CPSi:#t*\"u`ljJ`o&qZL-0T;4Rt.K%NL%3*30=CYSfs@/[NB"qP,MZHr3Sc^
+ RH0_`i^_7tj)$Je0;]jq5p&!DjouJabN"_6;_&#%!r]/Wa3B>:nXU,$`,4?t$VLn7[JgT31
+ '"Pk[3@3)50sAR.p,b?Y\_5rQ:S2MG:9O/Q<=-q47,+[9F^fSE:W#X(&D?3a:s!ba'SHgl\
+ ::kMU9Kc">&n`CJ*)?lLGh=ReSd>F=)m,),:<$RHV=D%iREF0JOA:@'[Mhb*4=l8(/A2oGJ
+ W4BWQUkkb%P8dj6/'La@P%rk-u9$:/Hf`N7
+ +FjWU/1qg)?U79"#rf)^e=pdZ!eD\@3ulSIV@kpS&sT.:RDTB#SR