SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  k t\ ]/ SIFPL:threads=2elapsed=52.125cpu=85.684gc=4.184factor=1.647zXZִF! *1]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(Ho2r<ſL꼲ͳZc y5gJп`DA$O\!Bz^F$|PVPIYwYct%TK'X.z%8JيY[\Lnǰ6\\^-F1G3r.گrtEq h"ċmmo6S3>+e 2:%˩C/pu>Rq揷v#- [~+\`:2K\R ڋ"\RˍӅ-Emd=?0Il%Fnb1Hu{Y iluhb+K5U/UH7j ѱ$%K$WzDf8*co*^sВ{g&ECmGqw''n[6Mmq%Wi&Gi؃#Yw]*0^aeVn|;Gؖ m eW.{fweCS%⸮Tagu*C^ՐY N|}%I\q2lcv#T˚0PW?KmO`~N$H)2@_xYBαr N<­\kM,7w_#6JaTcQ:5m<#{:%{H    x&xMn$'%SIFPLSIFPL.Latticedocument.tex !!%SIFPLSIFPL.PBIJdocument.tex %SIFPLSIFPL.IMPdocument.tex %SIFPLSIFPL.OBJdocument.tex$'%SIFPLSIFPL.VDM_OBJdocument.tex&+%SIFPLSIFPL.ContextVSdocument.tex %SIFPLSIFPL.VDMdocument.tex%SIFPLSIFPL.VSdocument.tex#%%SIFPLSIFPL.VS_OBJdocument.tex'-%SIFPLSIFPL.ContextOBJdocument.tex%+% SIFPLSIFPL.HuntSandsdocument.texm0gHXrA^2$*NNӹ?LN #_E|RqJXfX?Ō%2z5.l H2I- MBJM]9 6iJHQqwq}9`ӭ;)Wn&wǝ?eKׅ>Sq~,xqmQD.u݁{}Ļ9uuMXѷzU><3)|H CzygJ Y8DXxE:Ad* YJfr+6L!' 1l@&c*S[8y/m|'5Y>#0ȱ-XUca )vvV S=Sh=Q0rc׆B1/+P&i E};+nJž-&h:qSxcS+>nJ4cM3i s\E4NWblKI1BU7{i$)=6)AmaPqnAGo.X`kCg_(gl?jPaf)01;tY8؛!%D>^z-rs*HTG8XM3VN0r lЈc{yU^z-I8CN<;翇GÂlFgLo$z+PjgOokZl]ܭ᭣.vY'n>xcR7ߣhPqjSʃpxy$Nǿ#"~ؼd9~Vcdߟ¶ cܥeBx>zC1Z6U)[ n9-Hsm&Q~iVaji3E;8<9טڷ5: YU_*!FHQC C<g.z&͸F%,Bc j5-4yrPHP>lM /B)rJFDɹv|cZZgௐtc,1'hQɤ z N*bFʴ I/pMHi&dEe zvuG.LwTV Z9`3A]z鵃(ڄ){h  ФvD߫{svo(A,  L^Dm ~"Y_RAJZ6ÁfsC^m8hmК{bZ)0_/Vf#G ٌ[ O5 T|0nhna5ZOC~(S#*ê8tpS!&{C(mxo,@ WڒBv`ԗ@foFZ.N-~ŖhOT(N n87JM3Cr+*O\ B4G(dr-. [L`[T Ro?~u&L^IeŖKH HFNln^]=榧 74K?(yPbj,fKe;+;9OXx*Twz G&Zo+_U0~sC2 ,Ksx̖5~O&_S|1BκߟwI#ni1{ՎU.{}Y8Oa2#$8R YX{JPsc YTgݘ:+ ?8)ozmYPzɦpK1A`$&, MM ƬU^KD()x̨9POWZ+=[GkCld#&f+pA@^ǐGcY{xA!W}UaaE ԋ Fݲl*JDCZ;CY˵W0#Szо쟛[d/m8K%[$Q+>pF f}_SE<ܼhwR'nTK_$&]h,x8T1^ dL7|@{Gj߿'70 bhьjgkd^O沛q">YC9 @E4J>5OSN:Æ:z tH7_q~Y \jL:e# n'%blé8YdY04,B05g9<97Zi6r4ycsW@18' fU& ‘ ËIƏ//D/.Z]ÑAp<wOf6* ?pEC%B7< .#ti_~~,) )Z+ar7rUQGYK`p?vR1l|ʥIy]He ],&SYL۫9Dlyهp}#EwehFZL2fS}r wtkq!1{qj:'kmdǝWPdljʃK f10rœ}ڻ7_X0muPʴcXxط?PEYss Yz >꾯qC詟a[6Q\_abir}: ZR -Gxjʯ9hU z=gVZe_yx* ~2\ $ԣ^mMk]aB"JLr߹[vv:q|C *)馇ya)uʿdƆ 7f2 'dZ+Cyu KJԍ+Źl51GwM]~vliQmm;(]nglY'V'3!oDК#B Gt1?<J@ \'b˱`0568ws+#MPy>_ti1jeKcgF!PhI;?#hF:g SYFGמ<0Iɞ};V Tz,ٰ>D!|oDqseb9JIe8a3{.atWi۔٣~H,yUl, H{RPbDМAh̛R(/nɿʾq_\Q$>rh|Q:QM2Oui/M? .㙟+N`%Gz|aJK)ց>Xt><*zQF !?Iiq#;SOj ~- V{SicBaDrFnNEVܕZJh'Bugn] Pڽzv;*d6k0ޥ꒕ؽo=Q;J%2ra63#IIk9sP4g/3t 2I.__z6}4ib ׷rL~98"TVQ%\ly|'wk\)m뽺bY+Ѫ j"B X7m9,PgîqT9oW&AyFca(zkKDvr?$8WCWQZ`T ܔB>.Suq˦T H%̈́f$ 0608ӷ̨ =dȕhޢY=H'^\evUںO-q ) 9?1ړR' MKYY%Sk+i6-d8-m\iӝrؓxev =%YUD/%쇅vl $1P ;eH]D]η]!dо t<OW'k%2 Ym䜣? ͼħ6H0E6m(Ե^ Xf_޺G$<8ʂ [KnEQPWstģfIbJ*ŰH-թ|,_}t?؟_vχņ9j:=]jD[)纔LLXOݟ<"'%=u}ݯi9\7G U 3X_CI A] g`b& XCsofPt26Ii~ H2|2ahfm:}[TN_6m_*IY.ٺ faT2`!CWLKVǺ5-^> |ȫ-FaFp k+E|bdSGP w m@8bˀS32EPR>>P'n 61"˯yu+pa@#6&ArTcE-\5s !7 uQ}aP"\rA߾zət*&|1̸6O3Gڴ 99ȥ숫DSA/D<{x3\{^`QEdAf'|lVf{j8ywI~QϒT1tG-%IuYyۋgiӻPAe֍ZCt(rJNt_ұǂlEYy4^>+b$ǥ,_ 61wM7uW+vƍ6;d0nt>t

xtEfqPbvw =Y/D,z3;v"$eh¨k cĈfBR+tn0Xa0Mֽ-Ёڃe tЪv"E%k8!S?B31ψ{<:8\۶@]w;::H5ƎQ+hUZ漝Ḁ5^vQm5KFO-6p0t>=ˋ*ܑےJDG +oE@zyCy;%$ĚδJ@ 0gT)%IPTdY6Aid Q5OA``Xu$XB Sk?MS1tXH4`6eV jTtMiX!ڋ W5/a+߷ߍ.m].P4g6G-?9YWyR;6qbxR[T?aCp8g{2i]$R-Fg3aY%7 5Ƭ1WEmd=?0Il%Fnb1Hu{Y iluhb+K5U/UH7j ѱ$%K$WzDf8*co*^sВ{g&ECmGqw''n[6Mmq%Wi&Gi؃#Yw]*0^aeVn|;Gؖ m eW.{fweCS%⸮Tagu*C^ՐY N|}%I\q2lcv#T˚0PW?KmO`~N$H)2@_xYBαr N<­\kM,7w_#6JaTcQ:5m<#{:%{HhRtM5PPxށB%} ii-% dSIFPLSIFPL.ContextOBJdocument.tex7zXZִF! W ,]A-MՋhvG"uIBm5`bQ1<FT3gOtc]H H:\׆ q-ly%ZL%=א y%7Z΀!, '[ ?4V0' ` wBg~ BU[‚:@ (튔ିU+4#*ކϨak9}]jjr؏4r z`і0gP]C"ԲݒTPʥ rk%9`QP[ъz0֞C`վ)+)^u[+eVfXa'VQJ<lRT*`YD{nk}Q6+e1dToﺀ2vhT{hFD^~ʜ% zF,ri/M~CY5<=oC:*5(iX{i~jE() Wz̺WB?^O*Pve7%\x!Z³A+S!t8D6;rن}#։Ak`9Uέu_ζ0&(tdO h"B`jg0XXM5T+x05i@i٠L,AVB?Y9 ۲Nv͑\xcMtv !dNe2jeZ(Q)/Sַ]dSH8\R}=v58}˾ha[D53zw١N> K)1YayOB%Z:]G &裒;'cǡyO:ASʫPgp8{IeϢ3_~_&Nӂ`7 dE:xblU(*z^r,;x@},qo$Id\ͫ?VKhxF@'HDi>Bq#kGF7p¨&JSݙ :F1zg@w&˘teeETȧY%\،ȂNT[3v׫O#_kv#%(8'q&#UI (ϋh/:%9@r3_wXy19?Qz2b{HlZ9YRە.J69ԇuz_`pXgj d$ANEbbZ6<'&~v >WFkS$ r SRm2pR 8-{u|b>XʁN`-:W&fTZq`"pxz偓TV17\ȏ)^B᧷V/xO&JFmW5'[p:e7 g:t.o&\h-8NfojeyItKPM I⸦8|_rBf$*(6 mT"tXU92ح{å ɸa;)sbUf$9v Rg?JFUJ.Xl.~4RߡԻxd C*fm\snsib!=0Z 5r>۠:W":(͟õP>t4` ߅:6L売QG]iFxx,ZI 0)0\@ xƪ?`OB\AA, ʰț"o²OE)ƲE> E>+EA pj*H*wUu#"d~L~_xi7L/Ӡ0wF[+{`ڰ$ٖzXSLmiBl6X:n= q"XN?=mo6v .i:L pOPW8W ;bzi=G&"nX(С-,? ҿF<3ȴ1CQz$|t;!oesК'Zh{.GǬY.~Cz[>P#z͔6ÚMn([٪Jr_: ~D]^p*AP]gf$1fĭ]Q xV[C1$ UwA?4Qƨ] VjD 6}:'5K|4?1$ żYqϼ#5MA{ElSI#j|Λ&rp{~/x]d1I>ߠɟաSVS=_ Hx;A\+)*v 26T8aǸJeB%/4\BߔҷĽxlK C5C/:۪d`0Gl2׹㤽r‰z"f><`<Fgz/zLѮSz<]L[H"T`WS>-cvQNOZk1!}ځ25HFKLXԘ[a}TuUK嫟{|>E`2݇@Z(lMJ1.e rzPxEʀfT+ӗ{; F!Ŭli|KDU]) E=G3ڳgJN&sTAǁfyz3@w{B *H1r gB,S~ǨgYZ 6(XJvRƏ6o/M$ˍoCǮ$;nnA,>P+鑒\ԷXmhDM} 8 `KmMwLBHӿ ^c/"݁;DNI ;urVOVG- #N [z(,`q"xL,`&F_A^UTe,P 1sJ?/;dy#I v&X&a֐Wp< 1_AڿHҤc+Ӈ*5VPӴr.+A·bpBByQY.{8Nniskg{<Ta3ťrqmij/E.IolEOtu@.5^mn}Ձ$i?n$R֌$V2K5e.YG1js4Ƥˋ&$=1.#*@~bH*H`)1.Sj!!ʍˡ7}:'o,slqPE;JAG8TTĄ~.D\.ĭ 7-ϡBcu~  l/" 2yx" /,t忠z!m4h?HY`im pC,8_wubmτ`S8}0j)JKp0byte,“DsOxRє㫴>8;Z HޓtޔO)DF/fv?AKP=8sCd$|5./R͈@n#}k~CΔj[}*TD;]!zKYʍPӳ %#w26[Hטȃ҃"wʹ>Ud&yr *G[=<NS=:30K gӁ#Ã]p*ʑ3=] (Jwz{m/cf3x@dbʜiˡ*8BfN3~> (@ҌO(޵* z+_f oIx$2ꡥb FiD޳,Rc g?%>;U YiFT46IҷLW7l\@ˀ6djDW{W_Գ5Үh1#q%)HD8٠嫲9GT!U- CROI50D- 'ߖ!lt[=b~W Qyg3;u9MX5P9̆(e0"|CȜ%M,8bc-QiyYVTT%EV)Bԡ, %ARNUl[Ѕ=N> <"-wX30='!;JM,>lŔrm [alVlE/2I=|$$$~pklf Q 3~ml-2>zWhwZfw}|lp [*<GT_tGYЋrQxnXa^ONBaՐ[z2m9ԫ6,'׬dۓ3HQ U7jFc{GI[pS3hS>k)~]2r)dY~kpr?yqOAO@yG,}-}ҬUȮtg2JQTۮƳRf`TW| ق>^v,W8j͈SNewV'w u1׃I>N>D7š)l7G#gTlP$^\5((c N1p:Rx)ӽ>OQby*Zc*VTh2rr"Ƕ@f'@"{wd>jQy|,IP r$ψpe u/XXcbv'6-;1|8Y%-s[CKg{X` &>*!<6Fa"i+j.=ѶQs{|& |q(GԮʦc1O<4|1hZ]`!75(G3v!sFީ_羅8v<7E8x=!&߁ 0M`^ǮKU a ~Kc5e>/m*aω4N$Qr=Hr3?S̓߆%^8uqwߊLZ;1m bɯ44?{ԋ^V+68G@%dRBH g ²#C5J.d또۪mW-ۨMԈgj:HJSq=y4 +6=\KET7 J$2Pd_B|NqȺK)Ww $s>)믣΂c['W]^l.;W0=9WVVxPb`H(SğShDRw'}߇ \u/UPδۄ}Nj=iH>[6L .Dճt\{&Di <阹Dx}-ESg 64S, v#S9> gV JBABs[&$󳿲#2U _U7#Gg_\G,t<_%OͰ`#Du*!ZgźZmoo~R5}1@;yO\)AK-^)m,`9\ 1ZCb*h8pTC.gDՏ6,jաU%jeM#leK^4Edc|W$UǓ#ak[NHRP )Y Hd"Rc{̽wo5Pڊ,QQy4؈и'j`Z# ~}S.>T~JF4N*:fp[XБ=<@ȤNdc_}A},wcX3FP0~(Ǖ=_Y^ʼ/*ZPT*rz&IWl4%g6b3lQK+Ϲ.1pXCT]xbb^Qo`R r$!Ae-5+O$ZQprĹ wLMp%B;zǞNX40KٸqUbe!y1 ev߀88/,npI3XVq䬫+h|>=2A [H_۱FdVR9qDύR؀fKybgq1sd;[Te E(Xs]9Ҍx4sH Bmf5@2ZGKhlć'oU:t]vw` ,gtȵM$8: IRZ']O#{g[й,YpYs 9Q/#~]:4>S8&S R@oo/%禥:RjXia8=º r~<CYG Er[[p0/sjn*(-SYxcp }Ĺ޿ {h=* # & }$zY)J@ ^`2DfaZk|LEcqipQ0Dz&3ӥ^3@brg1 y$Fd-X:N`1 ll'jmhF~epnKvy@]#N.E<_PNgNR?U~9)8vR~]_ҹ^mƄf S!T[G>ǦIE[䄞Loˋϋ,f+3`f7폹 xn8+Д6x( HR@!H8@{š@r\Hr a`6.7rLBjgbPږP#& mBdB,ի;{r ]#EW߉8K * `Q .u] P!Gݖ?c՜; .wV'pHwQ1Ն`WL%_f0(*٤j*?P!g_Ú|QFY>{1:"Sd[I!I*c9mդ'1fy 6.SP8=V…<ωCp cpV9EOKQ٫eRЍzWGѡK-eweP`ztE cʬ@$`^|m3y!+9m^MP4 ":A ٬b҆]bWl+Vq~b >B@ooi`lw~O_w3Jȴhh-2W˴J@{sMZ&z$gNsdyGR7%f>& RL ;O`+(d`I6gkH@?{`΅ճy@,zRő@p@F0Apf!.˲~;f~@arDȣLFǠt‹NYǝh0uJHd=Avɬ?Qǟtu*9ReIYM+tg@ YllJmkb Rly(BG3$_lԫeMq]1&/0BCznYaCP:dׇwhHB'XO,?8uFy{˕򦙟/ ['񾯙:/UʐmP̃u':0U5fRB ܓWిAl8rLg<]%֐mÍI@rRB{?/e`ILZ' m|edbxQ=9C< Lh/B+cNet|iw?ZS(|ˀ֎yw63\뚶PIQ44*r|c"X|QTX[7,:]\]k@-үoC"ΙKH}ֈsaoޥ?ɜ|?(:qs0_9%++mbHПޔ|о] xhXrjWŭ}!,?)4YOfLRV#^wZ vKQa8[QEn@;Ƅ1.<pw.D\ 2Y/SԀUu.u(/ZCv`akmՕ( Bv#Ls-5Ɯڕ~PetIg4Ǭ2ՏOKd=S8> n~.#_ߍlMؤxÖ>a'Wv= "IRPZ|nzT;Ko& (\^,<ÄbJ1] -}_pp4B)ӥ?тln \jV2Uz}2] ߙfkMoRֆPG@)43P'%9diƱo ۵+b֮~nkՉ %B#3 (~ = ?Kakp4i!7uS3޳vPlőFɩqSᬓyP.ߑkp~՟sNkk_3|% DSIFPLSIFPL.VSdocument.tex7zXZִF! ؈]A-MՋhvG"uIBm5dy=D xO*g(>[m`A͈{*z37I d;m!W~nL2 k:Z7W(RF@@ЕfشfRЪ_LKχ 34[qY/L)BML}3O|:W]UK'a!S\p.=C=JpDw P8IC1cgU}\ ;𔂀qWyKW0ÿ2;T!+5 (A-"w7FD5_ ~EV/L#z~͆YQ9 xE1M|04e`}4ڨj|Rfe"c29ځ9-xZj?c4E.ণ?k?I{!JO%[3捛`pLΰ]]SOv:o\ pX1 vspO6W;Ǖ>5rWȢ\8?ޡ<~1 G*kVk&Ȏ, wBJ,J4f MŐkۣO$oE=e 6+_囨ᡴ݄O֮<w$=/WWB_;|-).3.L]wD׍?c^ს0B׷4H$۽m+ ݯҩi`;]H} WuJiA =fJx8"hu_8*R44jGOG;~  &_b-478WTX_8WW<dzTP%:Z3vOXcDK;}Z,9P.zj79CvEªz(ՊN={9 y.Ng n7ł֌^{KyIԇjrb($ ޒ`TLI' șCݽ_PƸ ?]ȓ>-/Ħ~#[]ǔe9 ŰQѴ"H塷Gꡁ&SoS;»х"t 48c`ǠLC3B)= YIr6ȚPiu"^V'2b3e-:CK#.bVvbvR$ T:8kF>nAͺNj_Y;7LaQ+I23[ˀo1ַ |>-g_WXKLmE H9Gq!25^'o} #q}~UˇGy6ct*IMD=lg=?eu&W+~g\RLxeq:LI7 B:'kceEBJPrG63?qS\bWڃ ͋){peF5L+[.@ #L Г)g?Y%uĘT`CE~IY w Ҵ4"0ZCSi6v7!|(9#Q俗RЦ CYIY[ȍkT _Ҕy"|h i ΐ@Gqssh X.!+#ghJ4mӱ;9G4ߥ:/DٜTؕBoDXO75")UPM [`ц6D(]Q =X㺌]Jwh}ޑ)VWi.#HY Ca|2s ߔˎ蛾L(Vc|cxc(%X0[[z8.&˔ r~8Z}km y nMrʲf!+(p1U~>E;AŮcRw1Jdij61hj:?L* MimJ^E[#-Mt`Y^.nL|虹Q"-8s9z[fLm|#E0$q*,yؾwUm >; C+y^_4P.$ͿģBםreǓ+[WiqgH^(SY:t=]H\‚=Ygw]e[9(4okOCnpoEO:mhЭ;H-Ę(Lz6v\- A':'>kJxMjLDgb~dF{ /_l!^˻"Sl-a[d@P-%A ,"!/wZ*JRdiņB)M7N!G4 C` @"TSq?n/[ rikʧWi'>^ )L= {nQpj<} SU@wso/JEgmƬv\4A9H5^PkSMQ HR= 9_';i|Uȴ͇v-To A},ʍ+{ɇ"Kă=YwI4v D1<_Ԉŋ8tն +%0oTdʝ~2b Vāˀ紭6w0(s(i&7 [Hi&l '0<_݄QVq,fI>  ou͹ Vn^\AwhS ȠDhdYkrմkthcPj/]W1sLFMwF<^y#R,7F`^c?P3tǶz.zsє/U ኪ|D/$NtcT9DR|S9PeY.O;GH\K`?O8љ~ܶfBmLv[&0H@$$F37}9gƮ[wy\eקZ#ܹ]*NvEǛCZ .咁>_dٟQ|y4 |5_B{Yr;H= Sg}vnzTRYe$͕Gm/}@ggSH-(D@kAϼsjPϙU圐͸)QZ 8#L)19?AnZIbu4b5{!;5@%U5]6{,[/Eý gYZx-W~XjUn_IuCw1H ~ɹ=?qnT9fqhZ a}IDx$(OnPIכ^J5GgoC4:]!),TI#[jU@6 @ϢB ]5tI!G2c8\'XL;:Dlkj$SÙ[iܐ;Ϫ9:@:3S7! *6Se8IܰŤV%/qru.[KT!jb,7Үwkke a;Z7h@n<^`~b4TIĞ3u}f@D2H*̍A=F#fX4 nI}CPp+.'{B-}q6L:LȴЏĀLrrly֬&xbxQ5.'x(z ) ~W 媍t9&E^վaP(8\iQAbn8p-uWR"U=Q qyTrHJ!7  S$P0Jby'I+6J4d[ W\h&SporqM:),>MEU\@>kvپl} -cGyj#܃X ˹ F` JrBɄf hLp~^4_4W8gl:lͬqSEK)a 5Ut:|h _COkƫm "8Bpv4H ѿjȧR.%Juhٲ6Uy(ZGkY$ EBe#<" b%n?C%9CZ E奊.Z Rq].K+ZͤPbdmr&$fI:j&|R QhGJ&Keݔy<~Q[;R|~L?z?zRAjc<mBwBS鬭;n kb&0Z( #\| p-d 1)";~ϼrF5# )hpZ*i<ļ6-)Qo`~;9 `s]|Q.>MS@)OpVn! cN з=p>sf+trߛr Tz2/*BȢ*U[x'u "5pnB]4]qJwQvVz_tGneJ4 ot H\o>#^mCaW]UƱ( w7BnLߚ ߥHv@@؍~\b<5ŷԉzʆZClDRd|gę niBmƷr )3Rco 2hs35mb.XcPrN)x9}VVLʤ: M#~(%f/ Aino; rcDyj߃D9ŖꈌA-+wr8UF.𖎾$)JEO|M0 VDX7tq_{,vyo˯3אv発  ZF5;/._I U@BV9 _5pİf-bpjԊ ]lcF)VNmB]Z^/v"L:Hw36v*a> /};KThf.E5l ثJ#pTADcdc_/#sVDUvPE]KDʀd>n4VVӻtp[A*v$#MvG,BkWa-A_J8W[l0!#֗˴ k@Wu…ёQYnF}gzjOܥH\Yt^[3DkRTlҿ$pJ GM6TUzM1^@Rx}Y&Ed yBu;%AYKߺ{R+ n C65@_{psNV6r"x$zXb\*Π#Y/*D+'M}sHgLC 4̾ܖ93;(mҹ!ȏ F-DL~ǮVˤKVV8UE\/-зBˀTUy䆗SNi<2ڛ&xH%Jψlȳ ʋjjWݢKꀣi/h6vVzz#Dfk׼q;ؖ /)yJq̻hWNvvXYyZ&t,qw&2/H1u'X*)0o $ս/gYZ _+% |SIFPLSIFPL.ContextVSdocument.tex7zXZִF! ; ]A-MՋhvG"uIBm5`b We<>Gk_L|fT^apF<'0'EםFXT 0w(V{2# JeQ]Bg}(@c2E4jᤴG#2!.RSyd3^[Ż!n\x ,=RV`}s4wHD@-KrNL[XDgPNԢ+cqets/ч=?Ǿ(*É$fpcT|tEf&mRHls+tTJ9U';l7mHܬԕ " OK)Ϭ ;oAYDky_:j~w| P@~{WƎf9 @5gu>Bi# {푙< KvRF jɎEh],(pYBj%gɽNn!S&2xf$޶Im13a`TԌ0l:e[Z]EDwMXvE64tvm"ܗf4Lg諠hvigƙu258~['Y0zc  1I,RgN4a2 %7Qv14MП|tgGZ6d>yVx%EΚ=5T8ތolG9^ΤwH-%:oT@H.dw 2lp>WBecE@eei\|,b S0К75^#v h-$9KA.opOg-a3tH$ylU*)Ju_3RWǘ`YZE~.2Yjwgʎ0wXg3=yTZsRg&9]0.1,$#S#";ѿA|K}cK]S5 TGT|H5j#յVC~VT +wɢx֙:͟ w9!gYZ 1'% $SIFPLSIFPL.VDM_OBJdocument.tex7zXZִF! ]A-MՋhvG"uIBm51y.gcѸgg4.qAp5"mǖ[yGռcK`1Ʈ{I!(,d^D_'^BǾOzWh`"RGꅺ_9Qpxz7/CX XVsn3gHi i6Gfx"I'9 $tC(YrM`\Xc&^S&m"q{bIK3B2ocaL0~5q [H|IDd8߮%f91E<$ sT{#MfvIDA*و j)mxg=kM !p] _^^;T/4zae۶cʻ#Z1aSʶJۆа_`Ab.[lrvhA^6*(y ^abC  I@L"Sh7D~Iu@ʔeā 3zD;5 IʰjdZ2$%U%)%G +IR͕1Vt=C0ua:ǜ_kaAGtwgLF'%#єŶ<_̈́FhS;WWZaj/R*uGȤ)ӤМz@ %`^ޛe6 <)9>K:nU6wɩbJZ= ;axF҆?KӅ<25̛5s4@=Vvf-֬`zJ"܀x'ٷ~- NGc20:{&R7MIذqw:']x2ApF 0FJ4>`pd׀qTOqUZt%B|*q$Z?Z쮮[-?gYn9AptOl3O@>z܏s Jm7sً%JŏyTLMEH\BH| !cmǃՊ .C|ȝPP}8z)%RY;f;yR*Խ0UvIq!E0MlH`|/2kU- "#>W`7gycbt;XIWiwJ<*w60d.M|8ұqV*HH.}>xi?@5uu:6R /.}% z4ORdmg1 ?TA5Fȼ(M!f<ĀyNi#TL 툷_zK sڳ[&v ޗd>@|]h5<8Q6;63yKt9@0ŎpʰJn!IIHrW2Ұj|3v0` "AS }@aPcX߼^Q71X wZ~;'MvQ(sH"yFv+AR 9+G5#"xmBk哚m cb1"_z4}fQ7FoNr6 z>cUs!<*+['ҏhtԐgH@ȫ~OAm6ӑZSqgտ+;ra ]8- B"uc&z$ y*fW6yJI:JH_gXȢ`[4M{\g<27 :&Q4ꖌKpѰӣLLsvhdDF;8pGdxBCӳEeWB2$ܠr}G.ގ4=O.YaJ;TH1Sm :6Ecd0yI]ie6к')tdW?2.DgYR>rtNɐ-tZV)7fL[ 37[7c*Ӝ/q}Qٵbs-x yIV1#|mEmf BĀTl%[`ŝHut/x'*ď%土 b.8NI(+IȗZ qp U0\8' \1 ­ -ⰵ]5:1m&DX9ݕ#%nt^{).j9/J+ : GfTqW+gݸ؅М-6م"}{Tc J7¨iL,"q 0v|5i9OL/Sd7+c6K:b>̮7 o3L U&hG@.FF>)i$;W/H]O#mrL&hA[e'F@!l"^_2̖A+BR-sQܱP\LʱgYZ U% tSIFPLSIFPL.OBJdocument.tex7zXZִF! [z ]A-MՋhvG"uIBm5k –8`_tnXg*iVG,,̡`Β65΢ /Bkֽ0W2fQ+J/vɍ5@razS?149y#ʓ@^12%ѧlMΎhN?2QE:$nc\[&Md˜2;cR^tvΟW8==#.b\;W'|ϯ0˛W{cMä5m V\)|h{`4ES#e2L؉edGCLj">:M:M-b+(Ъ`p^܍cYeINxOOGIPβjyg[R}d̯c!LZ*!Ly0Y",DRAؕČ(*AdWؠG3 V. VMCMK7] y,ԝSv23 D1.y Tg !3) rXiֻh2d>44vyu;+g>gu6+o8(*aVFg`UҴg-nѮb l׾t8ͮNKÑs /qav_@ta\%387:WeF_?H;ūhoԋݲ\ְJ*jM,{_J E Y_8qb_-BSf;D<0@T(K:^Ys7J -b9p^ Bd@fpR\J8~$B#K4 }dZWٵ<3|dS=#R:wQXi|iE@ Øx{o;lFc{UYEYwP mqN% O$e]߁n0.*֧|9|ZٵxJ:Y:5 o1ixgH@4u硒z3_.6&Gm -җ45,< tO.+iR VKuɊVxO죐n>^̯ CefH飳OfjUin ݀DɷЦ9{%][5;X4#y-]rHV$aqoUX{qxh ΅"gp&?|t&{Rce`|Yn@ =vkL-.ErP>s"orv:"0gST+1u ^5Y(2Y-$|/0boP0q y0*cd+ϛwཇ$zoV8_XCs lIyg%3K O/U`k(R]e~}18`L{1,~jFt4ǐG+ MV/;ʉ>r|IT?Qrwj]ů &3zԚaVxi06BUԩyj0)/_lȩ-&2Uu?)FL'ҏHk'C4[+9y}Wp;"5#sZ>!!O#`mdF ^x~moaQD/W8emw5{}؞MQ1.sЄϗ :/_}.@S}R^} xF@pGB8 :v_WLއr;9p^OgdVL\/> EsZ'߾3u x(RQ+x5Q>!(5&ԂzqCE 05i/up< TctnJ_ɫOQ%*ë_edEOv&7(_ThC'弙}fBӻq;^vJn1|i)>g ~T5Ht.(O SM7!LR (m @9偅+M8g%*(MX)NfPzHܑV1> ƄnvEyƗ4Xz{ x4-8!F\4.Џ7 0ja*b8ɚId)[f b`St>P^a\s:ʓe5Mt\pYa; [LgYZ I % \SIFPLSIFPL.IMPdocument.tex7zXZִF! @t ]A-MՋhvG"uIBm5JFFg+&z=׉ YX 0@ !8WG&0HxWijODV~]>?|fɯ\QI ,\RTH I,&V8ds_LzjAYME!("Dy]aH&z긣!ߞDu@I(~iŗx}$}bS G5s0Y3ɂ_$*qoe1JԬ c}J^S: 9ˊ'Lnզ3\?m7qְuP-NVt ؄]EPwłŋ r$aBTw*Mv{hj9:~N(/4LɈigl;?Ja3vЏ٪"~ʨ NTCIΰ8Wxr+"gwCE0 k+OO^BrI/7~>9 +_X.od(*lULvU7)}UQi0zG|F&d C ]ԟIQ\z '=0#ȗj§m| `:gs z,&:e*b;0x1 |KG0LJgJ(% `ΐprI;-pړCfqW~wگU6z]B]xhp^ۃ>q3HK91fVp{z eܼ4 8xPgk48Ki !ߨ&u%.1lfI 't_$0sO!Nu03gW! LTh\E"uD>Ča(A^m^7r#xAI)Ri}ae+{ 7M^2wDA>CKpNBq M'_m6 8 IKv1X\8DZ1 NF,?D4cb7t-4$(ss1i$ݿ4@;:7H'UU-gUUY'd۩n!^CfK5(\ Ny%hzj/dMuIzZ#Vodr Q-7mNțXGY\vE7MdǽvS L"jZaLHdKj!򛨊r^zF4@Q<3׬= PG/"ibN Ug-hF ?^bϤri 7x4;±2 7}j@4 g yB5ꊳ7s>t>AU6 S0e~㔮o5/#SW#=Coښϥ愰E$<$Aw(,]Uጰ"U&}uӴyo648zcpzQga"\P0yom"H.Z2Wgܙ-K# V|/11/HW^m[+6[lq?>@@kTN{,yA0Edn¼Y;H^I~ V<08 + '-j*Pڮo?62'nM1;?ك? ZX0u2mX|i*a ͩ[vOI~1P`Qrc|E?⏖//C/s!m>_5BGrz0G'G0JcDoSvSq3iG!O"X./1a1Ư=;pxpq(a!ѡ `}C?J1#*/ÏcEq>iZ&GgYZ } '% T⋍YlpIUD7VMp AB#ו88ә >%֤*Y3GAl"Fbص Tޓe12ϰIÐ%gNY_VbBV㦂ODG3!ga%'Sfy֏|c.!2`uA7DUȨ8!Ĥ=ĊCk@Qt3C"eX.ɹBWfM ?&>HLfDM%Yf(Ao8+ز!ݟZګ -L5tj97…3M sHUqBiMἜ& NBf|GǴaN8Tr54#^blI/1+%'LA{,TZ~rDwC1YnN2 hNYw^gYZf !% SIFPLSIFPL.PBIJdocument.tex7zXZִF! G]A-MՋhvG"uIBm55> ځUiԕVt4W<(?*"0U3g2ҶFcS)nԴw%_=̎0#buR 3) vlI9 zŰ)X?bY:$tLgOlT' wHqtz|ի).z)MysK/VtZdEQeՈWo9X<=OnvQ?W^Fq꽧n}US'yC$l6s_wjJ::Aqfn7X(ӊ,8Z8vyGpAXxb| UMHī6 IztzQCA8߷@8sIgj{*86l;/%r  ^#5ő,Hԅ+k )'Ѩ+;RP_~ף̼j5-#e=Y~Ţݘlpű^&{#wriqǶ<"Cbz:Wy٧766W t>m*v@10 >; wV^fMjsl/L9r#In! 2ۊ %GV.D]+T?V'Ddm|:{H-f4` oP?%ע7uD{d2b&5iJNR Α cz~-W i;>>TGE/׏Ml&:?LDю`WO4Wafy16 \`? q*^YUCt}Gm_^c"!)kS93j%8smNլIwi5)c dɊ< ȤZK;״F`GzQt=IPZ> + 'mMj:31{Eɡ,ėW1( 8+਋`KķzI-a޵&|+jXUP?u.Qu#?5? DR5wQV9D@@,hah=(*U7Vd1R3PA<&={ai.J=6(EJмail^xȪrZ8g|4P*Aj˛lT+嗧 (IC'[ɏ xOs~3,2+9{N H?ߊS{thWR?`UЀ`~rau^{nߐWlt&rCS3X᱇*pdఊ3d`.`bSdFzn3gYZ@ U\D*nڛ`(I@@9[|3e)"4r?hљPqhQk.q}N& 8;ȧ{o+uZ9!wz5<.O^-X%Bl@kEETM{dN{߾䃝KL @SJ+Y`2s:+ uKܩ*;^ y@&*^6v֫oB5j76_GMG8׭ёt#8s~e\plX(ӷ`cف=:ǐh¶4;}(_h-|H|cwޅ8>3@lU4iG"ٍ6hWP:Uބ%~h3v{HR|uY/FᓃU'}gYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNARj(#y%>B-kžClMt~6%1[h\th3+e a)^X$~L|J2FytޟsQ]/aguT 6Q_FAu" LI*:ʞƝK{)4x@tkgHCl6_gYZ7zXZִF!  ?]ŗXi%; b4MOIRay\(wGx5 ~Z׏<0eIJug2M ft>ljLM3vDw%L׷T['œxRP?J+'6osą,tdNQ=[0C?+ك` Yg;?ɬ,&+T#|gPcAU2Χ 9鲧)e"cBh{tm_h0c2t-s]r'mɬ:(2<&/ŌϜ|=F XXqiq8._/~'J(2G> 2qQUqAj%A(pIChhf쐙&yp\2>B .]}) l=c*U(->r0\3ӎM{kQJHqtw!=t0\) C N{5ש,-/C_\Nf{#܆)ۣGzq?l޶?Bɺh\W7O(mg3$[wh7}V#ҍ~[sFbLwҔE Yz0Ic>:bl³4S%یWM('w` ۳Q0z{q]㢏hT݅yf k!UcTl(g覺_}mZ8Ǹч?yo/,i# MH/YwdIG`fj29`"=OGpkoQGc 森^ I5Fo^\)kw$訇 Tm?wK k>~~R(miyi6%H줭TsFW&%y;t ɜ*3a~E[d35VۨT Iu=\l%ÜDw+DKb{|m[|%ZIE" ,B #2Sc`Jb&$#= >n)XraU wDY nP [tW>AفWd-f,M>9=6Qtۛe#?ݑ5uNWәo"R: kO e,1ĸVG4)M̞&m!`xކMUygl ˃ S Wxj.v{25MJ9ؠOP+׵Mndqa560FX-!3 4V`opMueK^oM*xZ[A1nʅ3$qimkN.Ib߻+;aיQvy -vҶq&> L@ig}&gܤ^^V*kALV|Ͳ \FOxX-ۍofQԙ-Rw{x(cJ4$/kmFb\_e ĀT~kKVTۂMƻǴ%c٨GGZIuP/L޶>*-DdhZ/ R@-ׂsND B9yey7~ur}Mf$ ȩ{a/:; ^':cܟz¤Q *f-W 鉙V 0(1bG$p9>Wc=Mr: -EJd^b,3U]JUg* IJ.S fyyNwV߸4.eSmPm4C=--\6C5=b M> Xgq (eI(#"5C/ xQVPS,UE~՝L9yWdd).YLlwI|]בm|^JçDwIf$]ȉhdIδZwmtHhwpN` N-g I(!0>%S)GR10A*:eA+rZ핌qGe9UGݞֆ\QK|L*6Kv9\e/lyRިJ661`4[FQ㿐cBN3 9F1gr>S:SB?FT1bS @K$w|@,A8&1͐jwg0ZKûYy酥3SDRnh-T),F)>ːʉwSBs"tymten#3rk6 h$%gN.,Q~,t7^0Iľ9 ChoQRdZxI<H|I N>bǩ],bYl+xLQO;-U'Vڨ\v*=*~a+oJ^`rI5PrZ-LizYxyPMKaD9bM ,N]}mTsVa,.NMO ,雉 mǓ3(h[{QgIa~.3l~d+鬥| ?Η[]W