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  x xd+ ,d ]S LTL_Normal_Form:threads=4elapsed=35.997cpu=96.928gc=2.732factor=2.697zXZִF! f]ŗXiɟH)0%o(M"dY ,hKMt t:2XjXe2VM/>63O*%ZncYĄB|oPD$ܣ/ų'YD<:R"E2jaQ3 .d2%Z,n0{hM&nB2rꇅ1p ȁsAkKMwKw`x< g uі FL}~1?tmzև+GKkw6)ӆ椳Y$i^0°Qt`aՠxM6hLޝH,V U)>8~rƥY'm+1d&agi)Ŀ,e)FP(+\E ݄s"c'٪ kĉOߞ+!WN0ӐB( >칵b5 H?zQPbV5ش J(=v + LTL_Normal_Form SSr +[+ TLTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export2.ML7zXZִF! WYH2xc7т3)T)m :f[e8<Ճ q3DTZ{NVt=R kuګDnr mNӧ63WW-C R=Q J c 9hK3g<>>1ỏ8fN&``\m}=$ŗYESϨzt4˕KpVAOn& 3abeG̲; hF㊹yNMݴ #V1'&2b%Y0 _:CNC#C4 =DП vP\)ECo"b2Rp8mEsh7ƕדYdFP ^+0YF:W$Qx)+[+ DLTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export1.ML7zXZִF! L%]9 ! kH ~6ң~& 4E~A3I3oceyD@F씀sYj[}I@؅bn7poYvJHɏ8Pk)O7꯾YOHG9&bm`~ VM{,툚Փֆ4x%m>_ whXANB#d sw.K*m44 Y?=@t}9y6B#u@%5s0nV8 GtD,,dD**ǀr`ɬ]˧>]kT.cP'u}(ň(3M-ߥx7`mEHsnC/ ߌo^[g3\6`ӈ񪺋NbA u^V]j:0X&N@2*JC:l#' {$@$nnwfФV?f[l ` 灛BO>6}{g8hH)[P+O`X(^b,4͵*UKGp0d>ݣe}4*".Pߍ]L\F5 =wG 5E-"3D#џQ*՜CRpչUDZO^*t g/Ͻn,,x؀ ]@_DJ ⺱;!!!\wᄚP4^ J.LR"0+^yUT> 4\`yu:wclm~O˯]wI@SR * ?J%Bqy5b>OP.`^CAOSGm /@;>aV+ g[Px1fO#P *|\墦yM,{<p.\aM2%r:)sn2 F~.5I6 McA )BY;MSk7˾-cg(p$%`|gLi:F5 N^P췜$dA9((7RQG}ڜ㎸t-,GzϵɌ>PTD`')L4U-S+ex 5O/2j3rG2Ʀ)l' LD'^NP?'jiKU0Ky:ŎͯrQG<-^0ˢJ?hfą~&CqUǛZJS5hcv/?y3q|%=Ԥ9qH[$J+{ ܙs#vD!2-MYTΫ{ə)<['bhI%d*@(hyQC6ʉ]~RR_VLC򻑳Vs8G:c/>F$Ue#D-dH0}c;H[GR"SKpjm q7S(a촢TVիp@ē=CF6E`ti 9#;%0%߻ܵC6ZbMSH&[d!YK<{E{gz/VT@I7Z,$3kk|g>-.4掂_kmuDy'|7KhSЖYtZwx Y3ʸ)N.EwkUb]8sh8E˹U;BV}¾F umuq09)QjIř)sOa ^]{]keaկ+8y] 3g(uxu䁵p3OOQgP$H/ VhW1TTh=B<kѻG21LFL\U/F/T[ٙuD=1"{Yp!@rF_*Zl?I1Ux*eI=#i(y"m2GssWOW{uT@3[iQSyo[ϓᰘa=G9~9~ -W]бgYZ iiK+[+LTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export2.MLJ+[+ LTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export1.MLފBE8U<jT(ʁ2fA)Dă<sӦW ,Ȼ}{]NDYm v%}>o3K( wnTp %iKXuԥ}3b>4gX=Bv$"I,S{4YYǁ  J@/5Z6 tP%0q!r@jd*-;KȅR|ݚy6;!`[Pindv˻E)!s;g@Qa'!B:mޝ|.@#a&0Vf[|F~$#F3_/~O]Z#c-D{B'.kUU~޵x=8ǻ+rNZ<3" w#:[ }|MԂR˭<_lEdGUi-{۾9moJ m# bب꘨d$_S"/eUhvD}hsO$s7q[?eMQXlCHȟ&lYgM 䏱ޚ~(%@u_܁ B!`) VEe,ӗ?9@t 5EMqzUIMV–Rw)fHBl [=Τî<p#zQ^no⻂nC}(7'=RސWFҀo!ZT}egafoFBz*7dL07iip%DrwWSǒ <6b&^d+t(<'Xk;zQ MT֙K9}]6C\BNO-?D!,8vS lw %K`kyvs7) 2οSf'DP-1P8#++z9 G':%*4&jID0RJ?+4_uLd;s}ٖzы(i+zZN-̱nqw^ӖZ *PgTۛ`PJS;4*]+ Dm:ڂC=5$rRX/;8+򩽏QfZWI|񿂮#BM]XEP0ae˅ wlx;3:Tia<ܮx ; չBYzdIvɠѹ'_?!4/l21|v aP?*ȃvaԭnte39],iMړ¼6S/(/*kWO$ ;Wqʯ2dKl+ ~A?5eK?zCSEBHKՄe7bp=n/ZSɌ7^juW)/$ .5iJτUS>h}b$S~I34Y!N,3{E,07. ">rx&D7a6XyXCзCv#+OU ;4/>5I&p9C0nQOt5r'h2Veꌁȕ(30غg;!B/?{U8WmE*xjpWHfe<ٜ!(s,n{ 4Loug;Hqbҿ/|{ўjQ W`L2'M"zU,/)^D@cJGv;㝋wRسOΠ<죾hX!N>|web9ἤR[v&oY CG-WMZv`-SbVeEG,e_V.tIW ID=Oum< 㚻M Y ǐ˟.UTбϷg Q2ll-l?X2^Gj+|%8ZΪą$?*7ɏAQ>UےB9 C.onWr^%'MxSH-Ē"f]U@b'wcDTS}:vSRn܏ Q}@T-.DYb~/+ʼѹm%KַfIȦp`|߯r3VMj.)`ٙfZԴgVǠ[p>Inil$!ao:cL6QΛfsjuK VlUcx(UO䥰IFqTՐfKG^3 e'Y%&"f4y|M+- @:o%u"܊ul1jƟqqXaOi?;m!ct1"mG{]_w-RA $iVwcɔ{-4>}7`a$'Ay&UOuΨTn/{van=/y42buM.I=E\ u"oDyI~G D4`TtaLܐp8[>Af>[ng̗]c2`#msFv&~htC` jB 3zL(4WVa(Le*_IK^/ߗXqSŞ |T\N@$3Õf1ểH!|Kd ڒ5#=)$ZN+9522l}cU]{Ɯ>TyD 88nq(TN.ʪ9? ٌfONݰ<7ęI,d+~)VR__Aճdl🇘pQa֚DZ6nJ"!|洕ODؔ@זz2=;N: 'Q?O--(s+e(A >5Ba׼^ \'ƽ"U,Ǯ\O7w-6w}CPlTDzjq0fD}?F ˕Q˙QZ 6$1+NRgXJOTG?IGWH>O|8p$˫& 3(rMVwe +$T`q8ؾ]Ta2{ L42ZlR3hD=6y:L4Sb4 l:͈Tn3_*#0 /o <͌F[mV5Ox-<8QӾxə;BkaPMSMNGkO\[np!^[MKpEtPS(1 Udf!]<>.>{ÛKlq,Tӡzh LsջُSf^~&D S 憵ˤ C%mb3w~$QB;GSˍ1 xzV>T%0jpui^}*@ .%K?p8?rA9qs qxQ֖XP 0oAsa0SQ ÆAiR/ Qm+1ܶ vKYۍu2H4yYxVCvŴO mR0.qx3ɦ֪q0b^AiV09 ]Q9%&"/LiGx%e-KD`0W^]_(Kd3ąMҚ%J.KܞzF-3<؊\oDnj,1l]#khV{ަ Uςu <݆(+᡼c? w *P龱+993Kmm@,ti SV#/*e6r(Vun+B%C@9ҀDpw3$9кXv ݏ$`]&ȦkYM]6 |ʰЈ ~u@ߞ@ZbyHd&햜·%s#2f!e ˯W^'+_}Xřng!_('H;-jjjUQq0dǧщx0 I2 (7 pɀ*cBLMDǾ9_3p^d*:W"#0OMbtO=ɇ{+{ԕZd[kV,[U]Λ\/OhK-S8=l a8n.0in2DW;ϝ<Af>BOEhu )|eNq =RKٍ-wſ#`g%Rű Vk6 `,RM~o˹'o ;V 6>:lx%"1Ҁ8q*YY|frUry")@Wa&V ʊ8C+N>E gYG1 r p#Tx$דB!^Qlb(o3Q2q]v/*D_|][{4N9_o>PN`":ZuVV^  -c׿sdWz,I/r@C+JȲm?4We~jaKCtnz\0ctvE gUcJxIІM`⛮X(x|wpW ,N 3 D,+A7j'T$g1*5^SA#AUxc*vw9/GG1 [~:qKz.%cKTE*=hBčR\`XV@3N%SWjy'T\g2tu돮ͺNjcfWe>Sَ@:f#-ݙ'5Y(1tJfْy CYwbn  c6w@LH-|J=6AwުփW~.;H Y/"kb \A%OT-AXNfOpB `F!:ڼ4|dzOg[ڊ5У\_`b!:KFY/oۘH,Jt+h!mU4,[27M1Eg;M禅-a+#?+7л! ¾:)erܿ[שU_>YM] @N0N f:_P5ߵa}C/&7X8+Đ5ePocKS2/ BiTL}[¤К :H4z[W_@R&o ;'Uѳ}#$}!SQ׬l#_|bsӘ_=FC@f r /)DRZ jY!aL+u)MvN\ S(sVKvK ] ;ѓ3Eb1Tp*^:V؅at^K)&wzl5C0r~COXZ+='i1%h|0?$m홟 =le/N:>y8~?O~v{r j|-wŦZIQ7=FW\5Op14Fb[Vim"OlCm:O߀ݹ&Ɉ&} Vt9"˟tK`­+;xyQNn(ă(ꈗ?lXat״Q'hl1Wp*HGT rBggu=HSи.L9# /yb?kta- ĿZ@-jg f#1ɷClH4`AnwJ$Wvdyۈ|1&ܳiW]>k{D&1+|-r1QX1P9/߮ϏYzpJybѳϋ 0ͼ&zBپ/ի h2#V,h7듀h =DePH#{4X^ YT7y- эS]>I96CWB9Tی*~iQӇťb9iYzS5Bh4) 9an*߶#Cbgb;9mnݝ+!zmB/@J&şRJZF5ծ8bܗ[4b?X?trCdHZcR#j/7 EGCԸx3-NztdcEoc47$P/@%=oҀ5n-| KWax r|r8/avF =5ulyla<'k쾶>'d5ʷ܋[JEFD9#gv!, <BQ'LpN/ުL,uHU(al&=_SACqawnDbW+pUfB*VԼ- ~Odc~@R\84nnwɞ%WkOIDəfxRP5\@1'\kZHA~i܇?b% ޅU uAlpyE/>1g>jӠ; N2gbpؗҏhLI_wv;LjV&r0j k_ >w8nS dʓv¶HxqPKW. m]O-'t/RS= ΰ;Tӹ Mct&{XlOqAn?9AN1}qS=Wk3!e!uj.NZŤ5j)|!wt5N3i>a??}s:.{64ӒƖHQi'WFي/N\4fF%([s4]U֛같$}Nr9 ?j=`VNnnbR]] ykT:̥] 4ƒ@{jݸpP'g9 *4sAU(V.1Em*ĀVY55S@nIZ‹R(GY1M^}Q+JKhSW,#"J"fd96Rsn3CѴV!7(Xo'K Q(SHtR7>>]ƺ/b83^e{?&qf(֜΋cɲz/~7W03HO&S.p'^'S I^,#O$v)_!9ktI |B>;8jDKXr؊Η#F̓JN ])87LaD&nDͨ(_TX2Ҳ;9!_eSu{s < ^Hl Tx5] 9Eu,%׮46-hE],|3%T ֯K6AdB೚0f2)msZg俐aسDVjSph b5Y4owJn} Ȋ֍ߺhKG4^.w1|byi(6q} `+L[=ig8Vo!_,#Ȟ))a#A\H.z>)~ގW3Lx90h!PQD\ Mi({a<܊5N4 NS"%x?avRxJLZa/cbu1nEy4ü.rtՈeiTD24GTCbO)>5J{DzE<:֌Sel=ZƎ~fW85# SBǨj?. .* bڼLNck8>=iaF!V>߭^Ob&Y'/9XY VJy7ERtï-uSAC1VYb* ]6c݄1^ P3ڮ'xҔYn)&!lz)pA4-!r\| 詺0D΋goc<=MQjof*izy>9k36( Q:sgkx߇. :3#_3֞=4+-BƃqrzmU#jH~X9g Iy[:kp\cYC cΗpÚܬmo5Ǿ0ѭnQ3mxK"ScV6ZUFÚv{q58=Y]]x^hkC4=)4ٲ@m4E<~^VslKwY} zy (hq˘P4vUY! 'q HLͲdS;Ꝅ|㱣ӕ2 ϷV 4lx/!5;U6d_6~FuS}:c@50h> zR3c\՟MxS(Rr.Dh\b$D&q(i7,ϣ|ZNTPNh>$@\G$\qOlOk#lțcĨ\cA1CnKa+AWW,4Wb-fLDh<_DFPz_U7]BG$x`%ͩu%MJs[@r,FDia)*]ת>d_ x3O ;Պȁ g3u 86+>~pJrCXˀ/mXU>aU^0bpLY;%A!wtbF %!J1X9E+"oofr9@%9@̢>ӖI=\mAar h_ͩ@E,m7%i;d'1 "mWt=J49< =^%K>¢dFK%[|Xg+cB+CŢl;R?瑠ykD}$۵7Ъpn_T=+Os=׿6UiP#jZ!+' f;3hhc e |X'0erh:SDD)޼S p [r?]i\I 0ڍS,~ki ^'z1fNBqU}8re,IMPp<1$qn7 Q`P׽yD%Q]>sҜ4OT۰@D)X:7?z" * U/"k!SC6x|%_mceD4E'W>E%~bm m/%9iCN>ZrPVXb(MʊgN]@j;Fs|p.W7*\_ kF<_ws\ĜRhzܚ&]*B~6il)JCp&\nٝ-p?X &56)-}s->w#*^r 'V:?iQ@J__r EbUުfbWvo=]GǹEvfBG1Ô7@[GYbA OCSKl;h6)\(o[ :m_DF"E-u&uW_t2h1-I LڏG @S :-(ioA]jssrKMd*8SPBRB$y}zŽ".kni[+a-aN7~1ԯL& 7B㋜dAey+Fʅ5 ؤo[DԣϗX:SbpE*r.%~ңJo')$-h2 LѽD~[#tRǙⷻ9'SinJ>wˌ!(1sSÐmFu0 _[=aXST"jASZB3)À='?͛5ra#r %2G&m U'63OaGaOFQo`wd¡K,=H"CG_lbܼaOr:U"uv<_5/k-w$_`JYߑl DH̙WԄ:k]Lu r-cKܻ<X싧qߡpח{FkZINSD͑9&5͆4DҏAZn$<,ڪPI73(9>'6wXI`@0!4 E]{8Bc k +@ghϞ U9_T" 鏎z Aϔ Vl)ԧ a@.7pϵTF7 WCkP')gPYF оP."WcV+ƁQ0wkںFIi hq("622-G] 4*Efv2GNЅrEB@8)o=oi$zcRN`+^.x*Q뮱Kڬݢ8ǎ~SnF 4Ѓqh@Sn,ѯ@)=D@$ceU}[qϻ^QWQ2O-Pҍَ ybܖ*U|(U@0qIs{Ar$q#'wo_u{nfy[]I.ZBsOB _]c;f_I *gIFm 8uݬkBsahwnεŒD֕ڣzƦ8VWUʹࢰs',{ GwNV"2y@NdB8Ûc#/`7 ShQ& >CR l'K?unI%/ M{nd !qSdA!v}+&r6wUl6"ԙ M5_h1IIT|CRE28lډoBذRZQHt ?nk[(gkBh3,srjwR"ߙBk4ۼifJg7Ӥ HJfy׿X?C~Ay[$)C%8}5A-D "4I烒2/]…]ěe1`P37f)-PZPL)y|x]WZ"tlR`%sE"Dq{ufdQ4ۂGGEV ^/귋.g[~e٣H#$i 򲒡1[&CQvO*%h]p8~ES9-reS?l\Q^ j=bg4{ Ä={q(h )Ώ7Tq!ƍy >SP"Ha;{׀#2͍1\ jM<1zaNEI7-Ӯ4鰛P)ӌjvdUFŪLhe(# n$iY.3 rn25iieh;N)Ird1TKh8yYOO"s&CqcOX"O#)@K>EVbnj&LV8pYdm%g)N٬T5Q̸* XiN'P v\ Xw P4d_޻τX՘I!w{^?;̪o@,=TTgrv·ͣ)8$?RH$'^'1gsnax-v̌SÑS; u>AT`t6ƻ=Բ,tLj̄)`m{smxYXNCG`b ,@9ĕȟ5:Z9SXYٟm7%eǹ&kr?#@I&$\ӼQQǂդӪOԿ'$z>Lˑ$`vO-xb% ߾)o WX9@G[Ti6Es֊Skf-Uga [nxndzx*KvQV`ep,- Q`O|%UϚ5=D KB&Wo;ZC;0>]چPomלWL\ƀlGnӂcQ[gyukLȖ3k7` qJ{S3 pUT/]hz/9kNf&4l2 dN 'r}xBF_ @VcװW {}O%?qWo^hlvp7HǔVwEX›EܟhЂĺEnJ^wVE]ʡ5/5hw;G몉 |Ncc-Q׭陀ҭǙ o?VBαl(՗#3ԣ,Zh@rr &ಚQ97PF]BeL΁:4DajwBD7b va 5QPjzy턜7Xz}JkN^=xWx-._Nf[AL^,/c~]G[v+<Ǩ;MVkL+xu;TϦXԑ 0V*ihh98iG8~lv!b v hMk9Rkӛ @/im&Εr@obj I.g/@B᫾= U- Ê,!:QHl 7"sF#'U02 ۑKDt~mEEgƆc]~(*eJB{)y 떨HaPKŨU+D hGG5pW8}YSe`a"[GzV NYrO}HtJ LxMhTfk|=!;ADhָ{U'1HEݽ+!*k~f K5eF1J4 q"$G]].D<<,3$~)Jε]RYX4'":@E#l;umLL9:\ _sߘY&\֚'=dHn-D.Z;1$,12n`h'z.aB&jnSaIs9IUNq$8"D6U)ڲHP`'uiMN&ߎ]3+ t_B2->OH2Gp4i@aWG}6&DZ~`t1g$d}N!ϱ (ΜwNfDVL7uTx4-%)mٰ[hD2;x J h1&Cޱ ˆ{9ZZo!1OU <>mcb_*{ʖxyL~?}QUMғً5c84 5LyS;œ:j%Hi!I2!>)S|Cl$m]bR \x, fR3>vkV:ȖҞ&; !]r]nA%kIûVc #BÐ 9ҌQU̟oߞ`jF9FVXhZ6ŸEfGfi֠&'3O@1BڊR5{V!e D0\82H*ǿ'. RDbNS0aׁf=~δ + !mupTsqM˛E1OS;q۶c^zј&F !,Űj@Ҋ5A'977, +3loq(E^[ʖjKρuPb{p*d5ϫ\3[R,/KE\]= MW0K򐒔$eOլH_v\f E5)Vs1SSғ -ͥ"Li[[Ǵ.U_!>P~RDj9G`d ~ƽCA9析NBgO ]{3IZZ\S9*1Qnb[#~d`$|L!'B4#/<͟{1{i^lVbTY9SsԊB~eYB~Q|/.D4>Z>7 ts;JOeX %K{HL$z1-K!KwPzϧ_4YgMA{MJH=s<'S#`>O.ߝ6꓎Vwd9a>GoɜfGy-e*Qwuoy9zdu,!WX>ftϮwγl@.>꽋7RLw9+;EHZX#ZS`FbȱK$!9iu[5ʪ -fBr,iᣗƷr<%sW벩1zilw`ac:~fKj^ ܁ng[U|tI.%"%o,׫Ώ^5 :* L挸inuYD/B{@[k 8)YXYL1q$;-Q),E V<%g4~TP4d@YO:nEnL;)ʔ o%<emn&j迕ReA =)dܦhE|V$ZH$|vjD~$*J*R*w^4A(yVѸ:*p7bE 3 i@4]ΌMXF'5gY)d΋[rM8\zŻ'q[t%sń-ZyQ4Z&jnѭh(3&P#гƹRHw=z1" D[mK A$ty-hi!N|ը5g!DaI7d8f=X bG!c2-rhE8Dg4ПGu`&h tznk((ꉕ] DJR?Gu dri3ç 6 Fy!rKI\8 ɇC,9gH7x7\*-G7{1J|}Nn-ʚu T0$<9z !IIF| 4 ԔE؀Lk>wiFGY.ٿ\Kj61^e'gVdJVDewYD빘_t" =eݱ僟f%1呄1Ѹ+ː_\I{Nҩ|+G|~+Tv3oLoWsdeLa@Ս憵M: ɮ[qPu(sȱhR~NEbV(x)qجq7[=dvF}Y+pvx=Ж2"冟mhś/-ίDmse3#su1?]h^'UoEnEp_\O..JJPcTpI?vAs 11;rCCp}57Q Bbza @XU%nj!e`ԥl~pO~L +A8&DזE/C#~wo!4[{ ¶.M&vH0Gd.w@Wr̫@b#{-COMw댯`m ɻ.[7C$-~zHpp8FP)ʘFn@:S4ɯ*2S|-0;1dLq(f Ts.BJdQl{{/I_m{[p CM+"vgh:1~b"׶r9@AId?OTNͯV/D=@.wp(bk&(N]1+| @xPv?M{θ03 $=!f! RIϷQ{>ƩD`GlUP0Et9VwtL.g 5u=<91[]нiyjVrGөѿX _̛CmrRbu=\BƙuEbji`xE&`[dq'AΧ}Xq$ F&g:޽JE[D]-/AU(CxnG<ֆ,՜ 9v ǂE3c212|YDži?XϪAFd3'WO"85ܝOP'G Jd5r(BHASܟ E0ݵ{gOg9L}|4KMDsKa@FTٗIfe;OPW@*u<9e@.1~94xF'+až*ubXL, p9R3lm#1P|Oi?ТTAD|QܹxW ԩK;JzgaV/2o}" t7”QŮT-> :9ɇD,j>YwXV`VtEVi.6_AߤR4N~1`{(P} }&e/3yIaR" 6KtSmKUլM{ deT5-cnJ)!Zߴ vsec򍱙̡@- ejgC[-#Sqi  @`'b=uqaAV*^vxZ%Iz;q]d_KeXILy|s{v;X utl ('1 ;9ٔfJŔL 9 NF6 I҂7 ь@6B'4$1|!;?w}x cׯw tҍA㫔8bԤEq16@<]c{VAy! 1,n >F }<\t/ǔִ ^nDv-1 |-kvS93⿈xi\;фǍ=F ԼBK.+c 7f=ٿ,ssR ~S8zc6wSOH0,R t?%n|`$?R)e|hC[]-Ն!N$?tܸw&A(fhr\o`jxl5%HP83a|7M 颔#/arAr GKT#޼/06|oDtD-c {4\ƿr.Y`{~I >uLUVH2Osk#=qG[Z$&= ռ h(e[\>Tˣ@ DaovWit,@nr7StlZ?s6S:\%MpW>"v),Wr~IkK[[%GP11Z&0=c6@@4x4ޅX XA$ K.{Et)մ`nDcn"#.Hl;(q[*4 ]'i`+,puPe46co<hI,{Nqvz:њqn,EW누',uqg29٪oX/v[ &Pflư0ʯ Y]JU.<*uW mίY/ӄ^| }Z LͬJ߰'Q Z!4KU)[w0t޺c2`tՎh˿jHB|>O:oQ 퉿L?HA);sf>,kDnt\Ƅ>Ɔdk|yA1?NMhifttfT̰"͏S@˜My'L/F!f>`=S0ʹ*b 1 C̘izq~ CAa{jkN F19WJK>)r_>Mc'҉:¤qF1;+4ѫk"ʰ-6k?8a# ~&\!2~'9"s]gJJ#~XnVW4̕ǀ Q- WJXO:~rNs<1 : ;lL%6cr`cwJ;XѬgo.;Bmm ;N?Hl9'D1r-Ϳ1y"έVd7v~-{4$9x=7S`@]O#Xo@"!MA sh][T? 0Ma]|` Rx`}hpfTjhS³ diѡcc10vxmt"31/`K0QadPP˱r=}C~e|hq'?NM.DU{K A=1 t4Z`sWORD!w!~Bݠ); bnSBx&כg5wYźT*X0I.7}UW&3!-Sߨ&z{ ~v2NHDbG`n7Ҩ7y6XuB\ if:*l턥5ZkM{WM6Q.@ 2ǎL/u $] 8Ry,MyҖwn{ EkfB9CJ`=iRјi%pmzg!\Cta:![gJɅ tG'& A8~Ey`L?Nc~fgTM޶;UBǾ~AgcW)*DaN?.-slæM mm1ߪy/H;Pɹ(*N6>B}u.}}LPCm @W ջ+OѮ船'Fn?fZ+u~AcTLm~f__=sO$E< j]Ӎl['H xϼ!W*$\ Sޱ_be#eE,CV\5|T$Ku_1XaP_Rkw_ YȼILWJ Mdo|yQwiqt375>Q@~RPր.l)掣=c.'O?&C )99 Uʖ>U;gjITN y$͞SvYКdFz?$' WaG[\Xya~-mf!\'eĽv^w@!.h}Fl=5WN:`I{s`2Ig^fjlǓʖafHpSaĻ@zyM k~3K!;\B_e֖ Ϳi OHC: ҫ%_7;r3rO$^vFdPañӕꧥRz++譗mL[k-x{^V3k\<5^=ev)n)gM@2,[ZʭHW黋{}t1nkE>ǦiC RQ(#k \V͸~K+je keZ'".olV[N3 SX1MQtmxl̓W9^4ps FDX$NEfnT欃҄/ -DhLk _VeF!)>ehV3H36*y]mNvoG=$$ \`[PUa{y$?RMOٶ>RFEӳ[4-!їB0BK4#YϽ 4VBWy B,׉ |ҕE8*Q|b(wJߓ/َ՘]'MN38n fd&pp٪4R}IJ SҵHF[AyL ]xve9o:^~pux@2e@U?p_6~=*")iE0}粦Ûl-5U q}0 j`W3 "Ƚgp-v͗xW2 &3|֑ƪ&p8T$;ɓ).)G$|"aWI#F y4;Jk].A #!Y0Mztwޚbb?z^oopR1m3p&SGg/ccy t5<.PwkF~e^K*]72)z[pÕ86P:\DRT~6VW$MOB}V BFN ]ɱa ɐ4˛jk2ߢh~*LfC;,~-S$T9"r,nM"sS::.eH\7Pn\,XAw/? 6>RS!I??f\H Z_LoT\32&ffz׾Cb؉~~y̽Ia6ǫ{RpV wDnuB F >!GBt{V6sA h&ذ{a'3rLV㦯2r `$mWУ1=0@$B?FW d꜅J| Mq vey;c# Q*gu[%^^q -׊~CeYGȘr:wRng>n!n[2OmSf:*`\Gd ⼱!̼ޠV9".7\JT`sE>.SyQ@eݜmvf+HEDE>&7N&C콖bEVp}{Χ!- dTKжI=/h}9ej[k@_fI&ADsM=DPX i "jO .kdp%+1_iH.KR#7R 4XRdp9\g,_6_ISVfkl Rń[[Jิ%# 068h j ڪ:FgwoeTR%/X5Ac.:6|<&+H(!e9mmXL(Dc 2~dHxrc ԙpgUriόh5t.`>WLݳ+'h[Vb6FO#VD9(YoQu6,T-M jI2$E6*O-53ɂFf! )q5jF,.@hBp?C>8W"kpQD]xnT/v'Pd|UǨ8g5%ک5Nx-b+f+UU%pV@Q4ybapT~JI|C]+L@Xkj>ZNƯ܏qѪ9A.ԧf0 _7C/TQ.Pa<^#kv:+͓TUॖ00S?ԘK^dXf . 7TW]=TnXh6O"[424 @΅AP\G Ս\eo}gpsuDKqpo/bo]hT2'42&\sL7!uED1؜b 7RN!8?S 8Ll+A., ؀JI@Y&#VO6aN -y8|n}G{Ԇq=COHCDWF-=WY|C^bk2Xg3ХITA(H՞[PV7e#v]qwBDw Lik ǒ{w\vrJ~p$[[8Ëf@`4`p36~α~\V4JǠXAYu6XqT#,,+veHԙlLʳE 03 ௣p@A]NѠCעO4 ynY, 9bpl'Y@eYΧAY(;mңqWB >bbh^4'#|T~3ړŃ,Xz]ִF<7IA?%cGxC=luB!Y[mlz7|6b؀Dz}#os+f~}#b45e "PIT;gakcBOS(T' K 4F{r+^(LOG<{]+9zY'#NbQyApUϘZ8TéZi5sL [>jw})c w^8NV!#b~K¼:baiD1@c&3]j`&`?}J TyD%W c<~Yޕʟ vLfOى鉯.F#@.odʘ3ͦla+Թ͓CRQi&D" U?a(F~_ڵ eJ\URlړ*ľ2#3WZU[ve!.K: K{@evQ4QYڣz}}fgɦAbPhC*LMAM̥=Uk~6$`; ?걍^0S }l 2d}ڋF3C$nuDHEoObN}JZkF?g(*;&}fPWcHM%GwɄ)Xa ,:؟kIt&[%=WeїQ]9Rf4X?TxM8I"sa#ё]^":VHq`|x;TQ2zPcr/0 F;KX:e>!d6q/x$AFmX\+WiQR]px$]/ 'lf!;I''YVAPwW!K#,_ e{MyU ̈́Z'/*`N6.a.lY"OqO t؃ TZhIˏ sgn/:pq?kmJr1}OaB_\\uW'>-jT-Ϟkonj7]tv~_uQ틽˪AL\ wpE$ݬ<ֱ&f~Bm_|'[3};Y#>g9% FnV$)K"HuX  &"2򽏀~IĞ9+RiRD 7o#ey8֣)͑3ka:Iִl{S,j5=l0~YaӆJ)ʎ&J(gMh!sB6:QO /-50X@~<Dz@inF7 v=9]|[juH8Na5r%h6ߟ뤱 -4zT= v;;pZF@~Wtm#8&4+;Qx <"LғtCl &g̞@ AV!`P\w^9:dRMB=_GOm)ʈjAm_}IYĻ q| GfeG1ҧgL n)#Nya< @g k0a--6t}"p3NreRL:thX=T^&r2%v$, ,OD[xdQ3cci wkmWÏ3fMw?SbLfys<1d/?8(u5Q `:aʱ%Y .{T;gC_L oRX=;LmM`c]c4ָ5́tDn;:Y\M-DÚVR?ބ; D ZԭNL֧*DY@j1dL`n f Eы~]$[\7߸sfZglEM &zIr.OeII=8gYZ7zXZִF! b]ŗXiɟVMv|:TxLlppBg]Bsa5&Ֆ3d ;6!tt6Ab0gl`P`71";T/GCxEյbcQ dC`]FΈ¶uo__i?<ҿtpjF@(oS.'ngܼ|x H!%mP >$xƑ g佨 q6G9A]~G'[xwd|^_-hMlxF"说jM]pK9*m`LH??h{tml5=^43î~A QRudAHXaYE}m:7~rmt ~PIҟAO,/),łw \81o]ϟl}]Xq`IXq 6N(!w"js+^[ÇOvW&A9\YfS }nC5Bȳd~@"\F%#u@T5\4`t---ʛD r?Ns%Y뜜 ?0mf P hr[&H1@(ڈΨUO0@"RM$>dZ.\>f /ځ7F4#9%.SW#5ڮJ%'` 3P8 LOJb*O_yc3 Sϔ u"E<OIN%.JQuhh_8:!#I .*SՌ tO*doTsG"uIeRWL)m+~ݸԗZD:u $wLX B:Yon ߟZՠyn_#?vLx"zr178-(d#}0#|oꓚ#T e  ;oFKU[ިXW`L2!Z71̫Ŭ\b7jQT.ښ沪7$9 *Lk2W}KV}2bi +_pT* 7"ۥsUkLzei<6&r(%Rg*N$ZPp!4cnd/N-; S*bnԴ%+! 5{H7?iwZ5")FN g("oC,ʆ-ӫ3!HIk]Ejzq>e:X uxJv'>It 2ěD"}L(͆pʾO!j350\V -cr(ww7 OvC͸i v[altcs?OzϺ1u~mv:KlNSmgE)oXڎM#6#4:[Y.c>"=Zk!qM- n+[6G/ZEogI Ws*sO5"~"2R?=1o5ST QP6:Y|!PDK·:q>]9v9Pwc.ZEU#IIc'y}b CN!c-7t+|C["IOl*LPy&UpU@DUaȤZ DW`GZN$CA7&٩>f *~!|E݊YaXdUJyt\lxdN _LS77`X,v*=߰){li@t%eSƝ'ű_sn0@1JE8qbG8,=%1$aiϐz{Ws pl">ԟP,KuuU/;Rkf2wm]L Qoc@DFY|0FLcqu5rn>,ޒHaW6JPkkwoPf.猾㴴W4|v=0Y,+GVs+Q]\UDXm %'d;Ȍ0D1oXKFa DEb$TY۷ "$- ] R{8f!"^˱gYZa9edbc6c9b29c2b59977b264e3a175198d99e8bd8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d a6a462c8f3b6aef3854b98dfb21f2a7a40ddad2e