SQLite format 3@  .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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   hrT,l ]/ HOL-IMPP:threads=4elapsed=5.724cpu=10.468gc=0.4767zXZִF! ]ŗXiɟ7KIxjbk- #{dԐ?:ƺwrjj:TҞ) %9 +LU)1|V ,uueTr5)fUXua#% <Œ.:w=ɻkV&A Lm@rP}dTAGR$aQL?.f3rA r6 <iR gYZ7zXZִF! O]ŗXiɟ1, u:e#_ ژ]5?˃@u8f{- 1xwƄ_iX+NDZ&#f dE3Tא"ƬGFh\qU ) &ڒ~bcgYZ7zXZִF! ]ŗXi%N b"qEܻ<5pZ~(_p_H;lJ@**k^e<2nŢ*-Ht2=(!VoqY#)HdvePr1B^Sgu'oŃaiI"p7*NDKt Tx⑮pG$Z#*+Y wRݬ+t&ӳ2d+ľC./;?1dX6`s"~CpY }el ԟ9.x/sPF, Yqe#SޓnT;aH]@E p]7q*s{_ɼ|넭T,dIJfgv>r`if¡;Km~ .Ů+!4kG0fTPUG|HƶKTH}K#@kBD[6c j/pCNŸ[u2I:d$*aS F߶_Ƞgb ҸW[#L;_sr0Tlc .XmsS_>MWQw+8ۚhi8vcW}<#GDkk_kQ]ql! ]mGŝ[}ȼ:U@ =1ֺV i`2H ì_ю^}NiAz0~oDC4 92H[,y ۉvI*(ʁV$=fhuIӍȹoǐhHfp]&rBcX3Lμi%E<12:_]2- _AdP;^v_\l=R4efuqSx>5Z_$F6v():7¯ gxv壐hմ3% Ic'-\Q %/X^ϑ!%ex͔m0ģ6Oq@թ GFo1Nkt(Rc sCjT5;%C"Д[KiݰloWI9.QӬÿ-!|+:QVB}Mm)+uy$a{.]-5?L"|!Q-'ZU)?C}0­tl@\&.6qF5!gn۾@ͳBePGQTv%:R"Լ=@O*cO[GCD5f͇Vڏ~o4vt9*w ;llN ʅձsԀwaXIm,8.J@OL4 l&.W=j~Iu:^ʚ D{R (9%"CׄA,p9FUzҕ)BԠ7BiS*OFE UtsL_%7].gۦ\ uq[~w]/ٝsHC1y:^Pj(TӨ F";RN 7+3seJjP=:wr Y@Ua%ڪˠԽyPA$f_7Kz<ga'bB!q2Ԕ}1>ϩOSNjh?"qٮ~ /1Kx3X{q0Jo2%a{]~ZW;Njdcֻl}׼;zZc3;9kx@NهV Y@"cEW¯p5 `rzSm^ 2gYZ'/ dHOL-IMPPHOL-IMPP.Miscdocument/Misc.tex7zXZִF! b ,]A-MՋhvG"uIBm51Fc aӽe\PS =DnPn)fe]O\aٙo~EW\B~@.dVDLaߑ^ۓQuV4))ݞ+#Q: 50HN(C1}:j+|~dglll.=0#qsCX /ӛٯh:Z 2W_22RQ>cDoTZ%q  ЋPܪ&^O>ͳt7:D܁M!i0VN|Rd8^gOR= b<=]R# 1|1v ">!@ . y8g–liSzޫ-)h}dmL#9n,v/󾤸\@HK1Ie{. 9a\z]D,s_]=<]~b! WbLnP,7y]T*g(q!>o"6.puB9m.Uey=c&j̴ Ϗ5tn5A\oꞓ%U]:^WcL!u P9hX 1$!z:C d aʯW~Mxia:po6_<9~0லxo8 { 7Ĕ({9W,tU9c[-s,NaJ4<< ~27 q)M(ē˴LAI$( ]RX&K*a]G MKpҠ l0ѧÖxĊ]j^^9#S8^S;C¹0a»唕w:bmY6fx8~)) PE¤3:æ|6R ɌhB@<W(. ͪRR~ .ZB'zlٜUReUJBؒGI[Y@jΆt@{ˀc.4 ؤsZOgW6eMT'5jՉ,H(VP3e2)AncRJ>iؽL |,x$^,w#?1MZk4CfY;P۝rri7qY`K`d4(a+յŔ#*X~4zuZA%[{Sks'8 †N -MZz?EéOyr#GǢ ް Q iMw SUkSrV+D\%]]RVY5+]kU{k𧄦|CT+}I11(-˻-b8t&jJ)q%d:>~2;5f7 {}֣JF⼠m nCW d]\;5D]r(5**@& V.4y-m`?FFj^˜~^ϊU?I)`1~߫>V˞QA}א7" ` 7@2@N>@|m 5KY}Dc٫VX՛ia\j#Rɕ)1x@sW]@tgo]M/AfYg noQ@RF2!NF5'n,f0:t& Qx 0G βyiѪf]CoM>+8D{#x: ȸH&Zڡ&1Bכg*Z\TPvs uuؐ.zc$D xF = [t~'TfPQ\7۹VqҀ.LFLV2PC @K;7ac+f4sY ٜP_wTPsX-spԐԗ95asvL ɇޜ$SGO+Wbʲgų ]u)V`o;k{Ie?ڑL|ub'<ƸaIN~E_r!mJLи=õ[ mME>aūס|5.^c+ DǹJS =ߜ {,fw)'0rsR A!v|z΢R꜁(?+ PWdL{=#|y 2*D}dt  L[XK${w&b=2vS׻epCu>:ʃu lte6P8Nꢮ: %%v@uv'P _\.aZȩ¯ gxv壐hմ3% Ic'-\Q %/X^ϑ!%ex͔m0ģ6Oq@թ GFo1Nkt(Rc sCjT5;%C"Д[KiݰloWI9.QӬÿ-!|+:QVB}Mm)+uy$a{.]-5?L"|!Q-'ZU)?C}0­tl@\&.6qF5!gn۾@ͳBePGQTv%:R"Լ=@O*cO[GCD5f͇Vڏ~o4vt9*w ;llN ʅձsԀwaXIm,8.J@OL4 l&.W=j~Iu:^ʚ D{R (9%"CׄA,p9FUzҕ)BԠ7BiS*OFE UtsL_%7].gۦ\ uq[~w]/ٝsHC1y:^Pj(TӨ F";RN 7+3seJjP=:wr Y@Ua%ڪˠԽyPA$f_7Kz<ga'bB!q2Ԕ}1>ϩOSNjh?"qٮ~ /1Kx3X{q0Jo2%a{]~ZW;Njdcֻl}׼;zZc3;9kx@NهV Y@"cEW¯p5 `rzSm^ 2gYZ'/ dHOL-IMPPHOL-IMPP.Miscdocument/Misc.tex7zXZִF! b ,]A-MՋhvG"uIBm51Fc aӽe\PS =DnPn)fe]O\aٙo~EW\B~@.dVDLaߑ^ۓQuV4))ݞ+#Q: 50HN(C1}:j+|~dglll.=0#qsCX /ӛٯh:Z 2W_22RQ>cDoTZ%q  ЋPܪ&^O>ͳt7:D܁M!i0VN|Rd8^gOR= b<=]R# 1|1v ">!@ . y8g–liSzޫ-)h}dmL#9n,v/󾤸\@HK1Ie{. 9a\z]D,s_]=<]~b! WbLnP,7y]T*g(q!>o"6.puB9m.Uey=c&j̴ Ϗ5tn5A\oꞓ%U]:^WcL!u P9hX 1$!z:C d aʯW~Mxia:po6_<9~0லxo8 { 7Ĕ({9W,tU9c[-s,NaJ4<< ~27 q)M(ē˴LAI$( ]RX&K*a]G MKpҠ l0ѧÖxĊ]j^^9#S8^S;C¹0a»唕w:bmY6fx8~)) PE¤3:æ|6R ɌhB@<W(. ͪRR~ .ZB'zlٜUReUJBؒGI[Y@jΆt@{ˀc.4 ؤsZOgW6eMT'5jՉ,H(VP3e2)AncRJ>iؽL |,x$^,w#?1MZk4CfY;P۝rri7qY`K`d4(a+յŔ#*X~4zuZA%[{Sks'8 †N -MZz?EéOyr#GǢ ް Q iMw SUkSrV+D\%]]RVY5+]kU{k𧄦|CT+}I11(-˻-b8t&jJ)q%d:>~2;5f7 {}֣JF⼠m nCW d]\;5D]r(5**@& V.4y-m`?FFj^˜~^ϊU?I)`1~߫>V˞QA}א7" ` 7@2@N>@|m 5KY}Dc٫VX՛ia\j#Rɕ)1x@sW]@tgo]M/AfYg noQ@RF2!NF5'n,f0:t& Qx 0G βyiѪf]CoM>+8D{#x: ȸH&Zڡ&1Bכg*Z\TPvs uuؐ.zc$D xF = [t~'TfPQ\7۹VqҀ.LFLV2PC @K;7ac+f4sY ٜP_wTPsX-spԐԗ95asvL ɇޜ$SGO+Wbʲgų ]u)V`o;k{Ie?ڑL|ub'<ƸaIN~E_r!mJLи=õ[ mME>aūס|5.^c+ DǹJS =ߜ {,fw)'0rsR A!v|z΢R꜁(?+ PWdL{=#|y 2*D}dt  L[XK${w&b=2vS׻epCu>:ʃu lte6P8Nꢮ: %%v@uv'P _\.aZȩ3耽n48σ4u6he[A:Y.8I?BDjC:dUN7ljJz>h=ޡaӍTa$#{OP_Alٷ#RT^@lqhCnqBQ3lM-j,fܥ6LOb1F[v>/!RqëopN~[SZ_Μ+ceS;Ʋ%Co ͞:1҃5(Y.:Rz}ios!~(EF $Ò(u%Nc wH?M(.BT4 I_3~d!"P[ fp&x/z{UC:l*V~Ѥe[9.hdUʯ#)rp:~KV:aQt[䩔 oanIB$*$;ZjUdEFcWE~M7`@oB>Eb_a,>Kp@Am^$> J3`@A8+2ۡqOVxX`eɾ۴߿< Ia1Q2ٺIQ`=B6  o 5-f>pߌ)OРL.eNr R3x!pMv!6fAi}jM63ՙd|^pGFmQEԎɼJwE8ZCCs }nmNJ_m9Hr\5RE0hA$6nϙWվ+D@dZaj|jf3{'.|F6AWLww"蚴S±9{JL*&tvX ֊%")YNX0vg a) gfߖ ;TKb083Yg)lfDf X:y:|rsN׃Pb-k{"=$M^ 1DJ $2>>Y|=Ȩur]$I6W 0B?ŒЬr NJ4Wj H qP6tOjrKQ %rŃ &gH<5p/%<^?(8~V?N\P9 \LQP!LW8r=RgI R[1`6y<&zRSF̻hF93vj;P);";p;Vvg)M2b)X]&U&E"c'[W.bc-9@5ǘ%gYZN'' THOL-IMPPHOL-IMPP.MiscPIDE/messages7zXZִF! c]D?7 {?:fH\X-K6'nL6W?D}|gMzmMbh.G1Q mSYC { BБZ = X-~}PG1`p`pz>,:砃kU׉ϗ]MHj$"a*Mk%g<˕qZ͋'9=Ͻ幫,1\aLq[+)E5_KSYyXjixVoHlK ,OyZ($gYZ d-5 lHOL-IMPPHOL-IMPP.Naturaldocument/Natural.tex7zXZִF! ]A-MՋhvG"uIBm5ı\?;?za;OxOQQܳ!) +}ٛZ-F]>FB6里G,}k;wo2|H9ݦnYN -zf䏿waOtL+AtՆ‚ `U [J|4S u;\ sew`ZPyׅ~4 WGs|%}$E~`?ٸzshㇺT+x |2Q!3enq~hV:@`O:ڶÞʑɘo4scf{|5ipxPz|~ɔ(#F.H:+ zQRܛ(0!ò3e2SֱU99WÖ&MY H8.`DOT.uDVk I:1YbvTUy6=,i jt)70"x}gXjRw@ ׃Q6b%>F&`H(W#=Ckt_\ WvHp'2=xwZ0 LW+P>Ab+&5maU,53S![Nxtyk;Q S~yOM NX=xPXzJX[$[h|kz&p1[ՎHXPf(|s(O)g pG/0+$wF{f}NeJ~͓qhu 7CPs:ŲJ`c oB-,oJ&T8V<,1քfQmee,%M ͯ=f,547ǕBq.l=VcTbM~7}=2")N2 rw'J->$,#V0ՖnԫM'VqEuc"q4r*kްK+k$>(p%Nͤ bҷ9tSw =F]N ;kH*K 4 ]59)nؚ֫%6~D^uo`9D#'ܖ '(]T[,+Qnt\t(KլgahI!!Y.Q x|1\뫽!RZš"m?m< 2&B/>(pTo[eTZ{J9E"+8WgN(0J"-vجKDz6A其oG>q5kN$rBw: }Q˴#dxS[̟ n:+jXW%bo yt KVXrTjj k@8r7sNz޷ "d HܮH$y$kԺva/9'Mbˮmfvcp yL"49> ! ZVK앦0 Bf=4ZWiF֊/POl3dJΑǵ9\8x]{̟X)έ -ui*݄.Tե )9YO5CD^BʱJ?|=/I$#]WP7G=鈨OR`U&3}/<ZE}46̪2Q@e?$\,1Mm纴X Xfk⦩3$ࡶc&[hK( , g(HOpJ:"!֨e[cd`14= @  icwaM!$̒s(>aW~ovD)-j&k֒zNz֨8ayZEuҝ$2A$}K毧6 j+ ,߽4$mEDgG[2w7#Ges rNt]ԅ j1_֦G:1ؒh_ [e`'1c'%yFJOtD/xy&{Ulc{Yxa= fVDEL(p@uTwȡF8;.G3|5rw+ᇎӆ'6p?!q `hׄt_e7Z.{aۍd,hɾBQHL<^(Md’Vx?F3rY^T<*ìyJ%Ewvpr)^;&pŒf E=ų h2DCǮ4>c:#]ImD9ZG &3pjQ!#7F'^b嗱gYZ OYiO-# dHOL-IMPPHOL-IMPP.EvenOddPIDE/markup7zXZִF! ] !M젗OFK?d9 2 e#_;tXwʜ5= %YHpbe!]u~̥:\KDr@;:A8g˛0ϧ9 G}.\\V>ejXlb]t|X@̓eMD@Oo2PS!Y V YI $sr[P}sz{W8*Q;1&mCO'F'lvl{iP58uMՔ"fM`EI@btQWf.qFkfi'ÏI^اoprH @&*8ʸ`Ԯ#Rq&%`_ݷ*8|U lA%+RW ˸ݨH|j*Ц%OI->P^=?s͡ R#˳a {w{찵K#~06?%:*),cYhra=$A60,a rC3U1(_%XL';'sΉl78$M.AxA,EO*PJTpϖQN,).Ű|e9cas<30RRm,zi5nY? H9[wo2il ǰbnZ%Nu逶5 U wMXhqB4*ar\j\n`+sI$tLmayj\BaȄ~Ck0ҋx֝ڸh>T2-|3me)6ر7K¢紱iWeq=(2]VD| "]syע ZfնKK1a]5 Vp`[{ ݌⭍ه] 5b9 ʴھG]#,g3/?U  2\l!2A&`#~J&Qds&7Ns}BDP=oPfd#8@%^HHq|?@P AznwECY'"OS8?"6;Mz% -B C0tEhZ W +塶sR*Gª֯3!L $%- |HOL-IMPPHOL-IMPP.Comdocument/Com.tex7zXZִF! Bp5]A-MՋhvG"uIBm5X|Rh&b驏p/f9)wAzPyygڍ*'uYNعqIuذZZZp+ vʱ֕(49až>0F56X$'x>p ]ܣ ũfw.3<}htT*-(USSBQ##.`0N%=pɎ*Ѳ|#PNW(?Z;oCK lXżP:髎v)Z4fs/6 3kU[]iݍ&׷:.17~|7x(ؓAڢl1?/W$QhA_Q۷טLmw=(\Z;;9MhM' ܤsQ`(rFS?B)J{7 Fw>iJB1_SV 4 1 RSoR:[jA2R-g ~Gl6A̺?UjReɏ+CM?w-ݓ=*n/'[Up\iw-;,^oQ:u8uojN3.^xtdo`B@\ϖy>=RB\݃oc,n{Sn蟜C1i1a>$9?JMKD; 92QLH8dk݇b~>"57=+4m LUT"­hɑʜnXK@t>Y,j|`ܤgQzz7<|~O5 *՞R%j;Cd[.6(L׫AMtb~/Rlafڛ DpbHgl}[Bs?Lx(}>EMK|Y #+Ts@y$*TSoHa{.n6.$%tStF"0IֆϞq']7"sSX?nm"LQ5̵ZyR}JPdp%@1SM=; Z%!j+ȍ%y$dAcǻx}{$Hy;' ʼ3%qz'&u`Aߧ|ښ7w\g>FlW;=i;s,IwT45-3{ŖgHTJuxbyշ̔I-^jjX([;HU5˨Zj}bOӝ2\Tw85hFxpS ۊӰ`uA HIQ[&c!qFۭ OSJ\-u5d0rgO7l(.PɧUi!]e݋lYyj~;i#4+Uϧ9#T1wϦȘ]BAQ9xțȟ>sQWs)@#[i|_&Fǰ'Lwd9h݅Win*>Dy15 ln$cMdX d7j`$uT;x~=D@S_` v0U7=97jtmɊԅ`ox381PbZg۽ w Ú$(pCX;Dqvݍ=WB 6n뙍wﴪ)x;J7ߝݧ gˊ2/d`u"LʼL9z@3]~m߉v > w®//vKm~i=`A8ԝr8wD9BbQST\͎g-2/{x>H ћz06#qƨξ =df?"xQ}(J_$+{P)P^L!9+Wg^&@fԡ dKt5(G1:+Myˠ K#+kQBlY0V] 9)Z}U? *gYZ ̤kʴJ oTYA^I$ir KRuא7֔mriOVFH (f&?w9^ ;h[H* oehlSqn_/-878D["U8Ԇ:2%PIp/F,)#;[cIvE@L6lˌ⎐iP?ٳPk;|fO ﯾ9Ǡ$z1'[fBD怗=Tg n>UI=/1S,0jN&uiifruHLepD_*֣IL3%z nMؓy`O>ڝCQ!c`.ms}U5QUFSC;ґxkP&Vw~Pb\ց azgkUg5/Tlu J]2ͻDķWX%2~Q$hf4EwX>{TNckM8ҿPK 9;t =aMf$,M>D3,æʚDn|) Woe&$4']Enq!\*]0XmI>8* 2M+კmn Wݡb #W? eA 8%n cg[6޴Q|lQFEVm.!~rL-8pe`6`$lXл'NurpZBq_}ÿqCO)2Hgj6e/1e4ldt Nt8_ZtYhT%D]n&'jIJDd>.t V< 2S[9V8 BSFB<d01hPs"-y-jY52}P{%#5! in$'Ĵ5QH&_J׆7N3R?!G!ĵm/`T=l{K~Fɂ]9а$Oip5Vlm,QNg 0炰Wai\_lTB3'CWUg@%d@%+pa"/ ~ 061Vl@>h_Fv؉r$ӎ šfBrKz/bfK.c=zq/b~2'ؕz*jrTV2XmME|O lAoA:'Z3jrw>+GZi]mru*!n;$V^YLiĕ҄DM-G0,A>.vyQ}v-G,7,]}tCxz>塔7̓'/M R06&˺[5#E 3H3R-p]{T9 0C2szֈF- G^QބDxaH3O5kXs_h_Rz J!PEl OX"=v7+9x_1F`y\Ÿ .i}C-RoݕIP7aɰƯUP^LE:Ն9XYvW8Mt}kfVaÊRR#WaSPTWjL%zsw}n΃n >x0 `^7.?L"7őCD}҈-DKIi>Ӈ#s-TriK:?x=BK$-{֓ C*~>SK @fh,@yp KVc Vr /m0N[y ],.`aPLĒk>LXg0Њk{pA)I$DF4j˿P U؎TrsY42[B iYB\MI!מI}d,a 1< σ-F0a\(O/׮57R_E8ox2 $@1GΆA{Fֳ;-`G]tBw{+/=u۠jƛe91z;}rQDRuY}"k97eВ1\-E&ޮ7R:D-4-,r^nޢ`W2RV3\\9SN|}WF~4/+9Yqh 2|&jjDS|@\*MK|lYݤ4q _*åce9`$swkc3ݺ-@Ua-љw)$uiX]b75G o}leq 93\A$Lq}:!nЧ3py7 ɅkB>,tycr;Js8ѓ (˲?Эhd~ȯ(J jHG 'R)qA;)&j/+jqј)0]nv,tFKgQ鋎7dn&8R(aF;IЭ#j& g6hrwy§p꼊My|Gv8%WE4qGnMYI-軭̹#:[tw o%j~õҿSH;ǧ- رS`3xJ8$eJ=PGg6-gweaݵ*/cb<|zi`}?XQTqJ*'+!vp0^Dw8XA뫹ƹϐ]-|#$a`"Vv]'+BbdFќ9F?zng)xΟw":(ک[X)Ώvobz%пb; ^h[ aqLJ{"3eEH&5qaE ЗucM!{8:`ؗCT|S(GPvwh&9[0V^_S zPX"!Mn.@cYzTf9cYtE!RͩVG^Dt&폧^n_K 89ė׌ٕ 4ΐZZS7eUvyT__e9eRV_B3s3\'9wDLI*Ь(Zō0P] ljIh('/{kq%D3nH?ČZ&$7m#фo6zt Ś W Υr;w(p|uN/>,ޜ{W%VՓvւ%_֝|U NMm<>i"rL@+L(|?;Ӄ7 niזLrn#ۥ+_0S:KY m;%k#_d /;i6!.ss7 ujH8ĥoڂ5wJ6 I?6t6Җx@V9#ˣs в- a+))~)|us<*!|}4|AiY1wW'HZzhn$m*B.s%U8sK n 3NUw~h 4 )&μT<6K >PckF)[Sg10|=C̈́|[&R[w3.P>hJhgs@bTF1$Fasz)#t+!0Mb3H5(_JMŒo;l>VeB͞l&V$];dCrsOIKoRsk\&,^& \+' g W딳%ㇺ3'4-Lʢ oDFu<)FRLNqد7mpTrb}?ʥǹfbqɜJ6h0Dc?rOfHƬIC`3HZ7#N|x_Xë+nyel `q:h6b);J䕧!aֿ$7w J""fjB]y]ɛ֦&,d|v xd9un߽`f'bwRjhꎥ߬er;z,2G7JXd}L;9!"i v[$=NT@^G:-i;bUC jtHq$IF"n[r ^8uڱmh+a S#Ly%1 rݪv*vVFGB0rTc]6Wg'$b,Bj d]ٛݲ*YEr[lKˋ|EI_V4L6 :E$̝i87dPnWv )S]His $D>)IR[AK\Հ+oy<3GI > 6iO DՊ=G0 Xx_!`S(44Z8@u1hO7y8,R-_z~rKGԁ1#rDfyTw# =agCv`AdRႚPSPFmm$;4/*FΕgO:V1})]lxb,+;$C*Ԗðhvĥ VuίFGVt&ywgM0 N q Wc(PH~q03(f*wCqILQ%|Հw75Fq_.U[SImqS!V=jbn7[C&GO'bP(;{2w+cpH2 ^&Trp5`*xj8SsNj~ūQ!}PAuw,?Y/.TG&yܰ1/K.6`{nP8OI;5ːGW'ZnȏyPsyh"?|%^ U:f <[{܁vf*B:LXUW spQxhq7{{%9egW*aaύ /⺱{mG ~ʭlD'2q=BE_͘slW`tp˻MmPlZ_0oɜ8Fgo_]~q3= {C5|Մ? Sh=+p XM4V}|w$.uphYdAe+zVF}l<߻7`q^}ۭNdbŹ%5sAzJf5άSV=o%Nf O @{n<>^$:u\[CjܘNidνG,EL09[[e?{)e(#u=W,#{,E\1uYjRK̒,{+1@3׼NsAۢ=beM>-==AԐ#DIӴa_N1nu ގ}+.M!V_ NOm&FN 2sN$+C]O TYY3~G UF9WSL|9x+)a?vVa? :Զ1> n_KD`JՕ3t?hVbkP:kޡ`P~E%<߾3j p}' 'jX\>B5Z:X:o>{5:ޜ70}T0YZPn˥\ b/=>Bö~~|Tft޺GL楆vq%Q % s>#^w1e@Llg8e%p0 zTu^vI;;5AiPY^rnMT.9ֻf>+L5B0 n\e]/ny45947xS;TTg#[]pOh8v WI,-d*zs_8EGCxqרּb3@oAw DT56MeNDN Rӻ%S ] % M[8QW~$ eS ) :-k#˳0Ж *Q~Q"<RKEnB{}m tw2祷q,u$:s(87MHc}j?ƐsXT2FX;Lg\e?;~)[cTyWU]x9rLr0A} h, 1f̪mm詤}\˥:Alf%;CGp8܄)*73AAվᑴGT0q* -Zӟ%SԔf}Es caPX/x69JZ3 `B4V׳,jwY~^_<(f%5zjʏBOB*ۑrK I]:6'@^$QfQ߅mU4Nj^w[',ʹ׿?&S9阨9bʧY"?b5~O+s m̾_ 1-񢃩]Afy[ݰBQܼq '.fK!aJZppWLʚ85s㯠ږ1i"}|gP$ġi3Ȥۢ\(jNF>Fy<_|lDlЪ޽ NK6 踁a l:a'3(SG'& {_/S>.76t7ċl,#;fxx[쒙NgO c4)ϫ6GE0J<MPܪNL?wXp'%%ZVqpk@? 7{ǐh#]!CJ4B&w[Ctd>E;iݷlOwT%]5l;pw)mjky^PG`V?GLZۃ-?A;KjXJ4Оlz{c8 7XI|TTS6j~ZazîF6g=Ĕ+P)޷s%uHBK[D +j=i2ƛX$huoO춒Age3=G+ Bȴ'YlFNQD.'7"Ȏ~P=EG-]sDgklFGT# )>:}gYZ9 -' $HOL-IMPPHOL-IMPP.EvenOddPIDE/messages7zXZִF! I]D?7 {?:fH\ xvWPw#n/i̊ 7G%:iU 9yb^?_h6{I?Sko=N*=HjoiX8WcItf'æ@cVчu=[U6m&Q &o7sy1dUrDC;~ _~b'XhPGޥ҆]fցx$$ulR$pn@H=-܊< Du.D)nk`btnsBʻ|,T[#F~{»o'wDYx~Ld^ bao̒uE/&i章[D@vk{qTop]7\!UX+/3̃9H6pF;ʒFlsw+苸r][8,OQ18 eV3 ׋W"-ĭ#t$b_r'MdX.=A-ϙYI8s޼;j+2.F](u{ZQHuѰ#qǓl;ؚVcJTg4՝aKF Fu1b6dUU|N2?᪏Zpí\!n1;!_~t鉎A! 6,~:ba<|syֱKʲ @)*[=1E5M DA۽+*- Nnk.]"\AMHɘ2Ib%Z)}#-mͬ=óZ/̽3ClH:@LH~jtI\lO3φL7p# c7Ԫ\V_v1H:>E-N*4Tcmi%( e(ǥ nv;FpFsmQApq(_gT!voIңPBY,g;8W~=?j0DϏ#]ުLj0mNv`>H}֍Jyo\646):H1g!(1ݓ\>Х֞M7W0{p) O-#ʁψPP{ .l6ύ҂ syyxr$0-OcPzhڃ8 L2y wCV%76X0zNrS8[TgZE %' DHOL-IMPPHOL-IMPP.ComPIDE/messages7zXZִF! \]·Iq n[:|&[zy;$ cYjK*0rp> db7EܐBݶΆ ޔXy:MajIwz`r^Λ:p$kftrrq9+xhF孯4Z`v2a;mxܥ3(ֻC?g`3:a3EcbiB?3k׉wABupeu[TzNq/'y U6gYZ %# THOL-IMPPHOL-IMPP.ComPIDE/markup7zXZִF! /$] !M젗OEEޫay-Ҧ{Ϻ> 2l2[x TZ&>z^;;`*5N }_2=s#ah9\N:&GrrEJ>kA2$Dh2>//cb_ֻ衅#Ҩ;S3 !7.pC6IrsFMrڃMZh0Gx?oc 6z 1"At+~c2 9%Pj9$1C oNO㮱ϴoū.D[/L#u'@է4&U݄$Xq~ ;p_( yuA +.n**)w62R+beNx_,$\]@2 A -ؕG뜲QU5& 1(9U;&{t!C1͂);C c7JNRu8llmc`lzrq8lFI~ME8zݕ>e2W1>F|^MX/#+iBm?1 C$]2qAN> ϋߍGäU*ֱ'W6^XiOvL)v^T#g_o(Fr[4EV md%1wTGj-Z6JQ[T CԝgYZ]bÅfG8<:u\[܋G..q#kCex̌[ @CO0qV?ݨ7灙!gjXZ8A~fQG7LEà2 :?n >ΧjR h6bo;w ?x=сfa=B.ưo\;49-k0Po7nj3QҀk΁F%W9b Ep֗{ݻ 'k QVAqo_au@Y{л/³`: k4wŽ@@$K|X G]l`CUy^ ab^OTol@? a4nblٚE3e 0 Ah]NxYPVϰi F/|b}IrZ+yγ/fK@k̤F%Pw~zY2JVzU,]O2_9F^zR<% I݂lY岤C{OijJsq]w%i Ǚ7yizϬk\ ɞC%B4(Hv<WB%@Ct西1Gܒ*$_Cvd%Mw-t{J$x">*35ꭺ(*˼;"̽g3vU\uP#9NpCm8 qgö{UE|BD;l[P@iz,E,6&uΙ SĶË{lMQK N9}=9WZ| Id+ݑ@Y̓*@&93\|^R(99rm7U~ 5ʜMz:f*:/t߹ h`Lyiބ""^Dro0 n90_>Xy>D#:rRb˓6 _4&^ژN?^:L p  5 <8Hu:[N nMVD7+חɏT i!p-[$AZ$6 ]"G1zh O{jLcqt}_>A]:XoӳvSX~s%li6ݼTÈդڤG_ҭdA4ћK{mFeiA$Ahj/BSorpr2 x;)^:F6 f`1ikdښ03jщ <cm%!ME?SgY&J)Ы]::ʧ>%Ƨ,{71fB(i|SI(/S{m>T50ca}}ۢu<ǥNqdCr_ӻ&0&dFB+Ɇz>m ޽C"@PY>my4y= sfF]TPD S"6V\i.C [,b7֤: gb(v^3&3'v6IUL!\.׳jT}ر!e 0)P2Ճ A[^Qъ]\M7SF^rCv- zc4-KAM}'xβbh8]Iw 7*&2`دW:8+c73"4ut(ŒyǼ-!"[lp`^C;iS*<\^qBSA]h&FGqhjrCbNEM_ 7ƙJӪ4p$(z MW깡2w5j6~TY0|o&DD% ̟AS7_ <M.k:eQ¸/# w9꼝1NjNGtXU ؛[zmkBN~pb"s*y;5ש>_$3Y̿PGVድ:>N5ߤ/sNc/rNzGϸXDD*zO҆aE~]o^t 墲m)l s?e)+fƶ6# rmGpfGN`Ԃ j:vj:`8:j;QgJ˻W8$3UHwśU9<35qUsI!&NNr?)=u@be4bMlr[/LE?E;"eUj*ʔ2t[tn3uÕ"`+ YE%,BT-pacyZ%w  J'&l&xJ'oL@xEzGUr9w(}c` ɰl}1m_w. ;W4Q݅E-B'&&;LLf[fNξ'Fk)z Vwkhᝃe/"Q> OzGo4f׉Yf7s:+2rpqA_C9 ݬ@alArP /b>, LdrkM^PM 0VW 1 PRqO,VyES "-U0|71O{ApԫrSE9{RX* 6 MqF1NK7c9l!1U*0}1״%v8^peaw!7Ɛ@C|R53M݅c'cɍ:S o$tĸ9, FvW@|t%+jP<@Lƃ짨fgk"j4UO7ô [0[|E!HU6hK ^lSFѱZ*KA?ՃҗLʤDaPy'+"$s[[|B[0t |\,?} (5yQ¼HX?r1L{;`;yW$ej(+Dz.؃LR&fihV1G!gI%ȋ?kgYZ  > >?)' 4HOL-IMPPHOL-IMPP.HoarePIDE/messages7zXZִF! >R]·Iq n[:|&[zƔ7[o\4ućIORxvpbݺ&¦ӳ%G-s9x*ڣY9bi@οفTύ /'ϛ36 JDͺjFٔMX{]Y FzzdS rP ILyQ,yQS.LiF5L _KsYh@&A \?nc:0za]XH$BׄZULNf&sQ ©`W6]^:۝ZΘ1x|Ǭ؜9A##i"#ڳۀt/3PF.>#Ddņ9vo9<A)&%; sc]ރOJ3H5JEM1 Z# XKE '7 U'5)Bi l+V{Xз*ył|CJ^~{|sV- dwrbv(y{a`Qy~prjws\x[ѝ.0"jlj,Jeڊہ(Rg,Dx׶o? #%,9ޅ vD FRnh^DCBkھL lxMKbÝ}AT\ǡ +P!'?T^"E5hD/*gZqg=8DSnFTBM;kʙwTtJ +û"Iչkq1;RmEVb骃Gbێ]UbV))OGR@l{#v2)2{[XZ {eM>7H-v!ncv$!Nb׬wkA .{2XF_6UzR ҸǪ('[76&cFd?HDeߕY,ĶWQN\6;MuVW~2WԄ3Ө2 _Dؠzx˚t@Q4{XuIUӫO8rz~Yg e4/hSbsh.DܸnVNUg_L~;B٘OvS_2X&yw/vT2jiXtI8]fyy~2ݸm`7o$Y8&ؑgINŗ9àշB'P֚yW@%We᏷Ȏ]a_sqva4d9!v~FTɋ0Vx뀈^NXAK붩e)Fu/.WofUP.*7Bs.\ ^9gYZ