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   c Dd$ ]/ SIFPL:threads=2elapsed=54.491cpu=87.884gc=4.132factor=1.617zXZִF! (]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(6PIy{.rw"ģr?HqGO'v}vf^8@9YWφ|pA ͫ?yʛȑ&d^AC0D z)x>Q :m|GDۘ`9rzH1h{&t!+Z}#fOңg%M"DF.4wV=ⲕXhq=ƣCr̔.-uJQw9ʰkP2_!}.cRaeH 9ߣ%p! Ο}tHXO$GKo- @`*kzƍT49w̞bac?^_>u3kdIrp󍟱pRt:\:hֆk\ƇJF /`iM!Ɨz ˎ sk@,9LFrRQ9(Wvalc+U\iVv&D zJ{kzo5XaP&pecGXX16 jø+ էOj#y   SIFPL!%% SIFPLSIFPL.VS_OBJdocument.tex7zXZִF! s#]A-MՋhvG"uIBm5@^ c`m*~u֤:n[6OV~ .~Ӱ䩗 [&U'[z\ AZ}H^?aP~#1j|FDUYR{Պ&@ϫg=\Wf@B-9JAA hh`(9Zf G[U{ȔP[D% jxι=q X \ ڤLc\C}e<񦜀@V1&(Pd_8Veqp'/ ?S_bݕ|7j0x qv=\D4/Ey`mZU'_P:"ԝ7V/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+% \SIFPLSIFPL.HuntSandsdocument.tex7zXZִF! g#']A-MՋhvG"uIBm5M&㉾D*ߏ&Ki_1Di.;Q)<#Puw7ig˻^_7ѶrlJHȗP a"UU|wѶY}{(j~*b}{RY~z ߌ?9߄F1&Z@jm9X+K<V0k3b) 7w>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     xxM(n!!%SIFPLSIFPL.PBIJdocument.tex $'%SIFPLSIFPL.Latticedocument.tex %SIFPLSIFPL.IMPdocument.tex %SIFPLSIFPL.OBJdocument.tex&+%SIFPLSIFPL.ContextVSdocument.tex$'%SIFPLSIFPL.VDM_OBJdocument.tex %SIFPLSIFPL.VDMdocument.tex%SIFPLSIFPL.VSdocument.tex'-%SIFPLSIFPL.ContextOBJdocument.tex#%%SIFPLSIFPL.VS_OBJdocument.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Ƭ1WP+鑒\Է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.ߑkV/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+% \SIFPLSIFPL.HuntSandsdocument.tex7zXZִF! g#']A-MՋhvG"uIBm5M&㉾D*ߏ&Ki_1Di.;Q)<#Puw7ig˻^_7ѶrlJHȗP a"UU|wѶY}{(j~*b}{RY~z ߌ?9߄F1&Z@jm9X+K<V0k3b) 7w>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<#{:%{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=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ý gYZ 995% 4SIFPLSIFPL.VDMdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5 –8`_tnXg*iVG,,̡p~՟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_ ~E=?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 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 _+% |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 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 44} '% 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^gYZI % \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 f !% 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`.`bSdFzn3gYZ3<:*]y>>w?ߊzGT.ubyoq[f,FU I;o4V#B)E39N%Ve/*}s ͡aPPے\39fۙV#2,ݕѳͅ$Z U;;t?2zO &Q3݈q*!ړeߵ+1$jcuT>U38Nktźڻr4ZxUwPpR׉;pTޓp#}I23S,?X@ʮ\1/z:maę2E> s:ܸe%{rw#`Mb ΂ޅG!O;fI;E=#'>ep~!,4 zhdI-41u|xO3P.=D`Fn0Iv <2|WgVUy81!+UD=CU5CsvO>W 1э]z(TΟ] 8skA Ecj^OW,fuޝ0,K2hϗEfG+ߧ% , \J osz|y"|Z{a9E &sG0B0V#zen@ =#̌h̀hrr=#͌p2aSWԯmͫ9('LC'S@^QoǾ"9T.rJEbkyW[1>?/'o:З_9֐Y G$Or0yZ& q*=dwM0OU'8bcnV5vEf\laz:qRK}7jB Hz-moE.ahjjyy勂 LߠG.n<߈ը׷Y՞wX+ _/G$Qae 7&&k3}&j\F{=( άQ^yJmH~POyaz GT,vmz+A[=FXj P+*M=FR/J$k8 _R))nk>%CoWxA3VmCn9f4eX1R+):$E<񙑐LA67n3~]͈eZIcOxW08jemHhLj_fe3 D8`DP[),7Fʎn8wz?j}?&ŽǟV<9XI@ȩhޭ0(qx]M9FVrLpTЎ.yRuȡ=}t1.B.E1"ʽu/x'ʈ+x1RKg򆨎!M78&r+kJl-"GdnL[1201+̚Ѩ,ҧD .rؐ|6ܸA2 Y!zGGB4r߬smnrOG]Cbb'0NoL&8@dPT2p⧧~;*3_A|j:;N~PGj 2\cU~ӿ}^f[vp_ 2R"~Pҩ[9fغK(*&h&b5t mv w^$#ĈRu>ZoSJƖGbt:f,38ᤢ۹3J >&>I4mR G @ ['Üasʆ Uʛ@tzuAnFXV9M m򤼣E! >lΟ{FF6ٔ³%PeҁA:剺dʨ4VldޱJ(ѩ>n<8{lTg^'*0_c\.