SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  N N'vtd ]/ SIFPL:threads=4elapsed=34.324cpu=103.412gc=3.2287zXZִF! -]ŗXiɟ}g7xxZjUt 4߉Z'MMY-Y.fh/&^֧Q!2XIᏲ DV'Wt2P[%E%gKS=VW8rO's$VfdYz}εuU'Vۀ \'qKT4UFX)m D?.wG3-\yC𰺀}!`T»eͻ6|B5f!q,cf#‘9jC Tܰkr@L. #v/4[>qhL_3x4] Ö4_##+v!CF6YOX\^G6! LzP-C3[^ !vv;8mm|6á2@F*ah:2'-".5m{-`*UHhYLv$5{; h33 `oOmkDmk VRjG #%g懧 nrP$y@7eNjRy2LcQ ms`_/XẰ !0ln/fa3=HQIFJF.d!5w7lxo23-q"ڥ˘mnV hM'q'/b$g SܰU1z[$kK4ogBBJwioJ#1,:rU s7(&`8XϋN[o\y݆ [1GgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MN~lzNX9;G@ E-{(˰kGQ<9׏ ә4+|FG#BZP8f?  SIFPLy% [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-/Ħ~#[]ǔ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͹ VnYn@}7zOۡG=P DN- ƆJpLez{d-?a`A-3_\Nacl$#|Hpn@-i* DmC_ί@5L:LN_fKж^ʣ^ܣˇ. jD6$@G⥎RBGHl@HUI4sSrm(So33+ Ueԛ 4q8HD@PBPae UFX=qc!R.ɹ|FL6j{M}qxdɥf1dJqOݟAVf7j.<p1! XxAbQ7yh#9c:3ڞ%~5nUO$h:Lz˺r/>#SIb"v_pVZC7)!7S d096g7AFߒ'W$"G|ԃ6Lfd'zSIDz3|ZFw6M D*c]U̡7cƢˠW nYPT=D+): H\o2zav^!Q6f>cbnJ^8Wk3vsvNZFK{s <đn?GQ!v:v5vcVK*/"g'gYZ y% [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_ ~Ep~՟sNkk_3 -% TSIFPLSIFPL.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\BE$ho,/zDl=C.B\)ꊐK,4N}Sbۑs8w(3R݄"Lo>+}lG򝟥<2"?eHxyP3%OۦKUb ks0GC~"l+Ɔ\m= fgWn lc|M`F+6YN /Ƶ ɨ9|a]w&GͽtOA.JdC⓮0j%~/ z} 2!(`mߚKE$rԯ? Idz:DoFov /M AF`Q%)(tX<Y(4*4,8$|{尸9gYZx-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#pTADcdcGk_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|2{G/jcfiSlLmEL̊,-aY $Pl/gT)6./6U#Y b0@(V>ema'N{rV(0y蓫2;f*mݣxT:&Rv{KT:79[ (Vxlz+PO2L@$<< \1 k=x%.ğ f!sx Y%p$z_Vtqs9ݔana7MB(C/ `Β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@pG宼OѢ5FINv:/T 7κE||MTEDqƂ7;ME #T6/# FkS" a?/VlAǃRtn],ojLu}/ǯ4@d2ew,u`>{n.g$?&޹c:]PjYvoh!J΁D/G]}HjBP俯@%sV޺pPv(Ig "̮r_(9ƶ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"$ehh,!h#HO*^JSE֎YHՅ>= y,ְZ!ʜ`)(d1ovg|>߃}+ς{S 'h9L_B4TÑ0sۊfKr"AA]|n 8\^.*Hi/=t|/;ь~R5Vs'15j)/:dW>-%BVN _F UDxz.GJ)JNڈ"/# m$Qg(P+ ~ ?x=TL{3ei5"xšq9!d}1tF~䱷4 qIk g1 :kpD9h ?Lj8/W )3­ ۰q9bL9Ճ No'8nk㸫-"na%U㗏ѓbh{Yt!C?:dHB 2ʏ\k;[p Z5˕j|iP@pn9E`X4X2;ѥV.?-(wbQE&Ǘ^flL>|$|*fFFRxӛId*%F̫N~~VJتk*1&|CivЖF ~igYZ  d d  +% TSIFPLSIFPL.HuntSandsdocument.tex7zXZִF! f#!]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%} .'% 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=OiЇf.ږE'6lǶ ݜ2̭-9U50^H`x#o:us {n |nBf1fH!" ʔAjX۸O5,ނfњ%~|&&^fI˹Ov\>C5č/ _SWnOkqUyl Zp?zj;n*0c/UǯwfffD-qiҾa ?O'O[p f vrrbDf0m>w4׊O0J~$UY8@CJehk MEqη\Iח?֔xϥ)J8:s5X]sz!#0KhfFʸ;&'y23ut71 >dcq$l vDy 10~@ڛ >m  Ug+50kH E۰me$cBq,`NGS1}t|E#-}ve ţ-dձagYZ > >F % TSIFPLSIFPL.IMPdocument.tex7zXZִF! @m ]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?(HT⋍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 sHUV/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} WuJiA6(XJvRƏ6o/Mc !% 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;AVx!x2@x=<D\Y<®tُ]^{CqJgrNa u[\0sy[ =͗+Ly>YKj]!OYxS}d(١Eïf ?X@Ia6i tdҴK{^rC…/$vISd24DW%]8Pp6RkX[~8KJccǩj +eol_J419xW[|F4MYl񇑅xF GB^_5^zgYZ$ˍ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ǝh0uHi)W~pߢw`9>eTPN%7]ꨲ\KBe Z(!?#lԕ~0U$!ipxaII6Z#{E VN_,,ʨ~R47|@O(zd%&h'T(Bl +fLHmL@ 5̙[BE~ĵ#2278h EaKN,w~vXx_r8*e]A2m:F~dq(Vv㳼.:"V˷LyuȾp|/7*4}rֹ(.*@$<nXH#3E[w>LSqZ٘xaw+ܧ,jW8P\|lQ" WXfT<ݎ$Y|#Ϯ=+-&8c=qoS$B 5˽2zѧNKPT瞩O,jHq[xd:¢: E"q eT@l5fYpW'ʧ\9|P~zR@ W>l^C ox]x)m-ja A;攫qk.; LB#V$tthLuN\dJYm~?ʒ ^^P 7 GkjPggYZ#i\bUH]3~CaAL&+n #;#0YMfwځiAB+l=#1ln]|bC;7s!3Ǻ@agYZ7zXZִF! f]ŗXi%BzTDWp>!{vws/N7u *+wZH,k,QƼ$ " t{)IZk ~R~Oio{jcXEO kG,D+j%b@Zτx6hR$:¨0-K;wD%xPNiZ Ȣ6N{@kPzȗH{MU <`b){8l=!ݫ ʧ2eL `T!/Y.'<=g'<~Z?kPB|G٫7C31MӬ#L1hxtՆ vzf >[\؞l[1l m ;|S-. {P/gjkwqPq^x]ex߿xld;jsC yO%!|Zwno+9oI mſC o%U/9km|8ú(Aerx~ H MME<6<#{zUpw 5Dv>˙9d,vf: cĽ.h8"28G \dK؋5=B.qCK B:} 78%"7ڥ4)Xux+L埑]s;6H%kYkhl@AϓDɛwn玟Уe0:U Ͼz7ho8wt`0}vV.H9f%$s;S9DLP\6-Rhn1r_S ގG)+_vHuǩ/Mu>*G+?#˽r}CL+u`CKg@AWiW{ѣVmڎIB\5O6׼0x@CN"= Ebm`؀hRI)Sr;SWگU};fBǣmnKPXA3 /= +,[wIZi3!\* sL%.QH{T3At &iB-|/B)I8ή@^0dMgcN{]~޿Ϙ'&T<-[8 <aꂇ 7asPׇN^r+k(3 }&1x)(qh" j\6DC)`SeZG(C+t8$Eyl:%ޣ}L{췿I@f8p!U٬R!wOo#).TꭐIe";)8]3sFLmȧa6# kأGZ7n%duC5462̶$N\L:B9>q'3r?@Kq-1L47 k>-0,?uQ/C֛fR!"nfȻz臰/a5Ecա~G7ځ^').IS~+p ˿Q {iosX =/sF-:l㞫J6(lZ{f+yb/M7}۵)PP_r*ۃkbgCy^#Y}>ʴhC̫c+)BmCC1u3&)ɻ`0;v觐w}//TTcp]od`v֢ᨈ[*[Z)o4@\8u'oZa!kbf=LyZ=\Y#QÀ$f4w; M#E7qq0QLhkeТ1:QN6yʹ ڡjA_tQJ4z0(yU켐R~" K.KFӝSʁ<{Msw)<2P*=E 9/SVr,<#;G <<M`k XXKPFFfGuTpc`񲔁ӀboX X1]JRxnQ@lyf&qW ƒ- FPxVfg2`LsR @h9[N#]mӗ})u6b W2U4Trf0˥_3 Ay nvx@٣\u!.3{\ :g<(o@ BtDbi[k[,6 KFzؤ'9 L$)1[dN+GDCUP q)(DϘl}sWgGի8С%Ѓ6ռV~Rֽ&?:{n܇uQ  +pSI&.w폔lQ!Woy9 hw*UuUzXI<Ė-rs+5]9,*z*%l@(qۢ!yB0#s0?`Bg)9StO*R_x!CWяl:p3d~>#ȵ8๩?f h&' xHz54楸1_6- JۿgYZde131bac85c94d610fd975815e130f2b727ccd1996398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49