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  B B/vt| ]/ SIFPL:threads=4elapsed=62.906cpu=150.004gc=4.1287zXZִF! \4]ŗXiɟ}g7xxZjUt 4߉Z'MMY-Y.fh/'耡D!|k*2n'0`!q1)cG:Y XT1<\3pPD6r} G}ЉhKo+* *z*jO89vu4l0u9n$\? Њ9si~! 3Ji](m ~ F.bB8ko<ځvph//ծ ?mzjhauH=9{ɘH`ޡ Б`: \SS'}0~#2N  SIFPL  +% 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%}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_ ~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'gYZm0gHXrA^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"$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 ``  +% 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%}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_ ~E 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$|{尸9gYZ \+% tSIFPLSIFPL.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|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/ 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 R% lSIFPLSIFPL.OBJdocument.tex7zXZִF! [s ]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@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ƶp~՟sNkk_3v'% ,SIFPLSIFPL.Latticedocument.tex7zXZִF! l]A-MՋhvG"uIBm5gbkG%sddS`͗_T1k|8@?f 5˰h/'* 3OXko|GF:ts)-'sT}Ʈ'^-zں&4/iI0uϨgF퓉S;Sx NjRL;*[4&^2ύ{nsjHI߯"*H,Wgr {L "AݻZoOkXe_NM\eSq6~)kp=>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 sHU ځ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^zgYZx-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#pTADcdcV/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/MF % 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?(HP+鑒\Է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%Tkˏ"}aOhYOE8nODyi6aI 9 FjMg:3⽫etbCk}0HGߚvQLo*a_# WFn@w\VaTFQPmfz޷6mbzR3`P倦gafJV$Qꁼ?+Na4FS( =^A6Cg-6] j2`IҸ.bBG"mд)DQ]h3[mβ#'=vef%C U%d ]f-m jI {q 5H}An.H]؏K]p>6ik7I@8& @muAU;aJsk?vcUnJI)_DA D$SGu'6xVGʢlm9&}[nmm3-F#HP|5R$gS],l8ciԳt(D܄CRRY,΂*Σ#ٟĆOgc*,͎谼y۪~!ME;t<[jt"$d'\"1#NUCSgZӍs ;ܦE "=d }|$%ByI=+#y&EN!-ҖL8czr|AKZa9A[֝C3\ڡM`M+9E 봐UIX$YT4&B" v6WaG$@~b6 MgBGnIJ8ҙ[ '*-W 3tF6c5#䜚 p)S)/ XHbVG夛7Z٠DWb}6ˆe]!~a9oNl..NeKgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MN̏sIn3w+)koTYZh5u)h+Z^^ 6rO$*睒֩$N2 VY8L_c]ytЕ\0kSaFr% :3j|ma$[KvgWRS/lX`9lI7А_aDhn@4KLEl6;gYZ7zXZִF! ]ŗXi%D8Sp9tSט+R7q/Oy:m N̍_ĩ~ 󘳝Ns L}|<h[yAϗ oiN- CXcw54U6"DDE,QN#tVcȤltD ^2}EpxqI OQ>(?p kz>Umī\UR}v`K C ?U ܔ^8_1|ʶIT(ʷAvk[ɬF r^ =2@%tR-L{E+1kqGLz%u72^J(nKr֑߇&2yK")~eСr*'>sLP] C6HjT8J{Q Գ0#щF"[v/2"4d2&Fp-׾ӲQg_"e(k(&ks3:_F[Wlj\A.N/jƍę ?֏owdXGK+)^bXb+<-t;#dUC:ߟ #ӜbKLh3}ӵ_:4]}I}ar-q#@I ö^",bG<rL˸c4\Sx餷Ѯ::zdlqL5- o*l? TYP dfuR$>2|mذწ7OonLD򜾺G:NBe;wY( t5t]<vhh"FZâhg4A"j%cv!hc41R`".ZO''j՛k> k)Q<| ښ _R(Mxb\Шw XT9ya m7MD )[{N:?KKk‚@ Sc׿E>G.v )U'+{)ͧWj>dw[(?D ŗԒ|c<.S=vޘ=jSJ^܇M(W"¸ZA㮑^_+xS N (R0ȯKTo,r5BOO,[~;|q5X(F#ƧH(42zJ|7% CkxNjYbryn!0y&ZmyTQrEZoZ0mѡDʳwG4O[dKtO(j]4Gg_ʳ S۟`[i)mt4q*ـ D]ܢ>]pQg55$+5{=L%*-Wp Z +5$|K xp'eL7_敘GC3YUJr,P9vFPL&雒uMG TrQ2&UQ4H T=[]"Jkd5TDdjKq!%(#(;T|Cd;("hI6>oYrQRia@#Yʴ KT 0O<CИΣ&(/[,çpؤ:tX Q4v&_T >W4/F o骽K4hZ@9I uAA[F:z}7WzhD'w0ȳ5/Ѡ&K${%i{)vC$T]OOl>z@BA =@F|.\IA"׸ƑN~,䢆pk jdm]lP GmőcK t l\r`3R$9|YzcόoNx8+r{54y nZșv68PrhǶ؀/CV&Ab )9/w-^q.!+s81XC$~K_fM,7R0 s;X8jY_3lݒS&I(>Z& &RuT>3k.OotI7 Mգ= @J|lN[rn"08 ]*4(Ts41wr`(* aNxA3Q^FCuAjKW#L'ylLUЭƓPT(pqV/nJFŕ(a'+J3&!L ?T- 2 IuM*twѿ1˽2D\M3ZNDHsU͝$c2 a`hۑ?fvZE0aA{ϯ}Ihf&!?mee!y=(.[Qػ,ҡέ>}6KG; D?fFҀwr 7y4ܙR2,\CH}]׽r<-Kv<@q~0ê= WgtK;؃2Mlj&`!*vZ}E`% o,Ĭ'S]M½n_QUN7} NsYd#@a)G\RR Lhɧe=MĠg@UY|^wL&}/۠ 8%m[W ૏,P耵XOqHN7kKGD77ЈZX3l[C2 &L ϓy".1d ٕgóJc#rϵ/*\Ɏ[\<&QKOQJMF%ߚ&炕5?8]/%蔚.%<ѠSbi )p{XmPpYҔ\v$b.zP]K^|nYRRHOT0^?ɭK| fUJϨ2Uj=Sj#c1\[p[z@>i)@xSšk? u*}ve2&8 ޡl(9پU!XTak 0DzlL-cʹ= SXLa~*2b|S/r@ξE:g {x0:;/'m,- C=vD!ȎP.^wutෂhmo0ᓇW Xi=bz 'n} ) s:''bYw J;cD e P[*K0IʧTl}l}M+-W1/iIE,nBah’*U/e7Wc{6_i}~]ZnO;[{.*4*ɥw'Vi1AD"{,\@+d]и 2@~GOx}+޾ώ*RMPn`et-*oTL]Ji)<3kBo8 ]2L= Suhqʄ@#g$AlZ8*XtFs2ž88VB8425iѮ.M]|P`2^mUŜXHjpa.Osmz;q_y^Q_^+FwfEףsk~Y{ ^,L A3 :7c ~IYSd>#qO7kgC4 RS'\0&U?I5nUӻk67gҷQx˵Pc6jpٖ)l#K{WKkfƒ|mby|otO[:;9vJ\5>2UVHL}m4^TZ- n߁I>L5#Y9nN-ʹA=}+B&m ,PW܏ۭ z݌P7Ųw)oDqB" E{tPG%=ߩ(V.ND1<yk y|<=e:ݗ)W2`Qݱq:$OȉY%_|MqaŜZsϘfdNt2݅igxj7 N+jE Yd5w$p .u4H1YL5JZ?M3oX=Z37L G#+3`҄lwZw-מl8^D?2jҽ'"1:.V FX%r*n]ЮJH)aԘv7`M}Q' `X@Jp N9|$}ֶo;Ue71 3-=0zob& ;rlʎY~pdJ*G㙺$Vrdێ6 @yUWX(((#V~seK,ERy.A'Qe G2Py %֎oW`H KMpM{7Wn<