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   ?' \4 ]%]Sepref_Prereq:threads=4elapsed=43.606cpu=99.000gc=4.660factor=2.277zXZִF! Q]ŗXiɟH)0%oϴ?}a%esv 5A'gjU s ~% Ы뇆'gjpcb\0Mv|Rd zn9LdoMm{W,/ Y[KPzlR@8XN<DﺐFDo?3"X݇%B4TLRшt,@Nz?YvԓWkmg?4;_:kkU'$y)?>t.w- ='Vc?aΪ j-N%(x kp՞}2D쁇n ;_8kI)yB?(vEYqx BuWѩgxS`9wW5N6`qe|\Ǫ,ZIJ5 !%,!WT u  ͦC?U~[5e<)U/v NЏá-8GtHbRPD ŵCJa[?Ζ7ޭQ/; |3%{COr"_ckSd2>wC&[Bq%k:(c*ik'MtsS.Pܭurn,K圇ąݨ2̽6B`_Rw/ZRa=rѪ(RKS |~d`iWۥ*$6Cp=CJ"P'.fIY1-5Ҭ3×``C1$U;|n;XWA; M.*I,J=>?æUůV>4| f(d@Fj$ڎ5ƽ1 w[ȘJ+{-ky6v ,[QcO( g%"XMɧ}gw$[>)m'EU+ CrgH 5_l>$e 4LS.3 bۀyW2"K{qN$[F'ec;e<:+0mMɳIs! sK-şoUlVe{ʣrFǭ Ԗ d5-A^_-tɾݠRG>RK3ǽtz[X vcV}=(:) "=끊??7[9f!z5)%*jBzxBF4"677S~]@C8y]bm#G>O %nhۻU\8S-яp3AX&y' O?/}$m% Y%;uӢmT 06h j QDfB(}\ᶬy50t)CLbK "ٶmSxm*솼0v%,qNM ״{jE/X!"'>gAiF;yNZ@ /k8[tШܱ)jvYU6y =4 3+ `97(<ͱ>2/[/?a d<%CJH/0Ur[~쫽0(@5l^uxQęf Q=ؼ[P"C [ 1A6I3S;5f$sa1 )|2A.$X.?S>\5C'%E2}/ ɕ O Q9BebdX-8YGbb|"-E4 ƨ%++o`Ѳ6S0'z}p6?; b)EybW_&Yhzu'0Km:FZmbW$p;EdpSֹBm`Iqy|ؚWv隷u2tF_{P" vpjt$:>'U:@noo=Kܘ?ENnF JݎSi)b@d\Iszrǃ=UUˌcV+?# ہ~:yl8idƜ8C,eDrEXpRFQ Nӂp#']kXW:V0A ޱ[%m 8p_K01: Ti o=ިה [;", %cUi #WV/EܐXRk,XnOv$TOf܂8[Z5~bY*-q5ݍ*}mJ<ғ1UZtdq#yRƳYtwj.QExt;0}qyŸذ%n- t _B$\9&/guge/DzA}tH-N^Ԙ0 A;BG!'wtXPcpg߫fb`hFVA&KEݳii7+cl!0gjMƺ 0C=ibyC0uW1b^J5fw45{cgUd>_a_;.7oj~ۢ6>qų0XlXuƛ~wKVRŬ&EQ(]F6 w({юfs3܏@?cbǒ'Wc`.d0 l/}Wű* ,{gu[JV5M_@hԛ7( Q̍WUaD*ֺߪH5\:7:[}aߩ9H:;wf{]\9HU ?9Yhpvn,94'̭ MIUe-DGӬS6݁Iަ=$zqI]b8 e+*7=a|bYJ8_}KISL#gs;ۺ-HWjx!(yHbs7ˋWe `rwF_lun=<NBЕQw5ͷof;o@apHY;V~u An;w NoR',n3]gFzi}ds [ìz6TF[`4Iau6B]ʷw[lCAHȕѾ2Ŭ><5:dU ֈ̟ F0&+6u ՍpK -)!mO*9>v~(O-%8h{}` N*2EK`?RnK8Q}WiTY<ew̲>}3>иq|PP0?z;V4Id*l6+_BY_:౟9 aT|8ar1kA,3ů [P|[gmՂ CS[#U5L9׳LI }I?Pdc'jN:vVɗ%#>M"ԨS|N@ d-{H hX9oM46cIpK fp_C {&M]B`/[E>7[ jo O -Peuj?'"ԛ,^|Qs;qS`BU 6Z:9~n勺KMֈAkA`qH,b]`Ƶrhx*i[f|p$ؒ ;OUY-j\Al:4ѿ'-Olǟwh'*BY;t?o%bYC3hgFh~"Qمwڔ(\߄ݕ rd'ӝyA3Kl2ik P-9O3݁PHW(LasjX~?=#/ԜqSt(0o3?-`BGA<&fݿ8]u3(":* yiVe=Pcg Re632WotQʨn Tz+ ;9+ՠd E /B!VJI(w-D7LYު }˩BX۽&ӕ+BϪdk KRp?B|C/5޾x:~9:W`k].- ]Xx{iU7K:Gb5ݜuHâ  h_Jzk>ߍQv)L C(^B/O8nV3&7{|I׈%S(0NsN %tor":d8>TRM$g b1pyo*jzOr{\} F`fиS+wn;$r9ZF{XgÎo9Ue&)elβrff?eFɨ>)i3h$XݲIídvاQ;orNa$Dws4jbHqo9 sBz"H +Ł5vW*eaC L(897I^QDΏW {k3Ӆ Y 犆E&|~Ê8߿j, 4W#jGԎ:iJE6-I[xcoh c&Y|YGtͱ3Z@ɒDY}KŠ(bg BGSdqLd %YG5:WJs7Kϩ3T\P4a#Gѡ^{͠b_1~ejf\6g8Km@Ƌ6SebeF?9iS j+a|5¢P9ft؆+1&1cv1wK _9Y2ӏWrSs>wh"^^ ]ݾة8 ̱`~'ݦ7,Ug @&4_ 3w6Z"'= )UTA]$"}`m#2$c'6 (yrDN :&zG`b/-Su]=Fn 0~Yׂ;D6vma٢`akxaf.Cs#y"KZaPwbf٫]N/.Tg޿p Lf_}]\S8kKC"%!e S3z(csST4+KY10H%YMSz>+)T)'2E9>x)KQE"0*ӌ!6: M:/QS]{i$j$Ƒ^cЩZW." H2HnfGٮAQv6s-G.UT֪G0Zid9:k P=gS13K/%k=gcI'w;r&R. ,e.Dn@ #]{[}Wn-&RDX q:x3p!K&&^Res*7ء2>Mj:~΁Ht{b=oˑLII&S;mp -8.QC CQ3[)-, PP{O0Vc;dh p$Fr+lS uߺ>;AIc~^ Øh-guT3RT OIz4y{ 6p;uj:Ї dlX:P%<Ҿ(8 AoAHu9f(lGswy@Otw^k(Y v*5v>)t"jHleP3+?L,S$ ]~z }[^nt>^K#_7$|A1TqŘߛ^%)qm IꜴ2g}"+G>Xk` "PX"V= tI%cp;QI/|`&ܶ0yҦެo]jY% }sRՐqμ9_vi3q+kYڋat=~yWJ(cO\ϐ5o^{rHP.`FmfG(4~,}z_RODfL"JlweDz#4<¬(HlgsN`ǵyLD!N[]2@Pyٶǖ 3>y>eFZeDW`B74tUg҈Q{^Η ˿+N6SnEry2S_*h /}–+d>fWb̐/D/#%(y!~aRAkWN4m{hC#3NUQI^2Kf:VVN?6@>4W[]faeGkDPo:O9#WW#~WPvTey7Fw"zJE"w "~C*ޡaз P{˖ǠcZk$"# x. [dhqNaԔ4ɔ<0Q@O~@d1^0Mް nA<㷝JEVW3@1~\P:,g ,0 A;$4ܸh]r/WG>#ܯ+e[~A0ϻph1Pt(T)pWh47@ ,"Fv2_;#Q?&d c "$&H8';`L: @>bjX=, CC {J6nhKxGq^ieL|NO5VЍѸҗĔNj~#9G+@2$;4tіAs:Ý4*7k=ÉAuˈu|yU#>nYWqg.UOP.f jQq=h.' |Uɬۉ*l6U<+̈́lOkEkR@(#$\4Y.gDcrC;XM] $iV uZ@ԁF JmFct}>$+њ08ns) FFHؘU_ZK)*mx? %Uojcݸ\J8$/r0|BxAˮVU8~E:RZ A,m?(.诪.5aˈg$x&5qw-ȘS_Ͳ#_ZWn[֊D9l/}LxIS uS>#ݪ2̙ MiΛme)Ȗc@L#hZkqJ\~F QGyX#*w66yTll>)K<ťirg,$PHD )]Ql,^'Oβe6U,r0Y,8vW+ Oa@UawtZW}Yیa(63m]+Z(6ӢH^%9~HPm}JNGh{୸yEHn9+ 3WY% J|ÿm?iԓi~9ލ7'q;'aiq3Ͱ1'x\ŶDc9<)WbMHX&y: S te۫vOخAwp>0StL!%7`hEyҡ %Kom6k Ko~ĕU)a2CmI億meԞ9]"9&?ğƣ ʌmpϖ_[ɼ5V#w(ẗ́zdXHp9GDIiLjFV,$w.&R$|vK~MjTKQ"HYZ">vyp$Kn3idJepg=9- SEOP֞$4Yʫ쌁b ynU$`?^*;ve{ tIlJFZlt Ghgg+9K@.v_VHd=t|ցDsd{`qݧg\NFh7ب };4ņƵjvN8~%#:"pKKW.0 BMYa}=r a0˪SxsrpXzdgF ogAA5N)w ,7_z~jp'/Q> ':A +`mϓ@{B<Vpǖ qYU'3~~URل-{QegaK_wM)T-= hE0ꪐ[ x晣fɐQ6%_@ܤ/NLo57{d3 6$)BN}f 47`Gn(Dz욼1G Ҵ{E=H:^V_zNFup+CW44+!ܟPlj\׍*ginZդxa>vC߃C$4Q/ oكme0ECx&6s# ![;k+T~7& )؞B尴ddE).-&K/s(KVͻz<ޱ[s?I|6F| av[\\šQyI3t1PHU86> ԁ`o*,+v @FRS $ mиj}ޑ+0Z&S&oӍl[glHBԱn=Xh_9"v-.| sjj(' p˺@ض+(i]ЕS:4J[ }Gx@¤Nʝ0ϥп!ߌI"4r]KrTop4e"N줕 ˆ \ #FxN}_@cDĭ dƕ#Ŷ8e<|?lDwH A}*k; oٸsi8 8c5)bx*w,yt9; sԈuM'.mc @J/Cw12[YNb)T|:]5>$eې$iJM~vF"~a%?JڞAc詄G26l5^Ul#;bbRNsKC% ),tx68bk%DU}UAّF|V:k/"1JAb 2d6=brE\g-gL; p%௥zŗ-O֩>/_::|?U 5,I0tz+ pq,X]ڀ"+wi*?2\#L[雹fQa@#H2_*e\VtV< Nt؞%b ::iN$LJRV(r]yļ&%ZUj$iG! r;mV#h ܒOS<25E# LPJ AQ#0si NfcKo9c*ꇛi9ڈdM폐VKk$b8f jxc'?D ˉ\IEaUWaD k8`[BZe%ѣG@M-#^rAz[o:B0149V(-80MyX`_Tyд>]=Mc}pp,2b_p.h9re]ruݸ9I~ -0\!hNoUTm Q:u@ls*GSr<; 7ʖwL5%(hF2(A] z_cd֐)q('X~]m3贗IG=tɊ$gJ n"iT#eZ93>(=hěAەz|Zp~⠦s[6' 4 ͝M~sb׻'1^v宮=/`<^C]:<\P :XfυQhK(uGd'v"P r:K:'9A-,W,%>_"_b98̮I#V -}⽫FdP.L1oFhxc{)h\#_fO+]'8 la4ٛ8? RM5;O@r[6WIdXq/%`^wbl"+m*T9CZyY B@O*oFVԜ/Iqtq܃BabCw%P3Z876r 53F]5iRBذ'5%;BKf) "1bOD]PS*x@=6pd.O*Mo͡+fǥ&f]csP`(<_4 |HeR[.  0/>AS%֦,eӠ(s^{dZExf|! 49/~ d@aT(aVhj y# /t9 njW% t9O"LԛܾiXfI8(SD(NwǮٖ8FZg6YPLV !{"˹|UR+i]twk5l^>a#Sf=mC8]?(;Bw,#9qhV}~*w>(9"  cFz?XwrRQI1ԲiT{C"N{ۥ'F^ G9T`B,F&1k"pс 1b=S~J^͵NsKipo"P) ?c).B]3Q,  : n goүI@3ˡUibg;4;ͼȎ3y,YQyʺONլZǁCKW.'zϨÃ؇-xi>SWpρE]Hz, 25XKřGy9LZN;{b"R :搑᝜ JD\y%|S=XC@9.O'K(v_`Õ`:cʹq6X+o!jƓ1F][Gɑ 4m CQI@Q;o/A* FqM-d> /&&2@Nى35%"%e8Ezx޿2@Ge({Q/KBl*^s Z} '3WW`D]Q:h9]0 Cy6bJ1!|Ӫk ;vEi8OTWMC LFZM!)Y1ifPHVӓʵUT1y8ԑmO,d_:Acp@U56qHcCpڇ))]&ʅq̧ \)GQ+lyr%SKtl1-p:ţԱ</7Wܚ~xi(w]QW,װt%rQo/FU!oDb'uvsd`st"> iEL5bA%o Yc^{G@'蜑6k(_A++$FkdTfcz*>p;oy4rt/{s۸9=ŧY$垫(b_&8,5J۹a<]8&aұCtiNAĠ2 }~ԢS %@#~]>w=\eOG5Ii0> }4mOG)8f-+k} @h3$]NvbY^~ S̾hA +?2Nh?Tq '*9P]V,#ulZbeXYHL0H3WD 18y}q^fa,_hh {v[f. (c?8R8qY^E:^!̗X*8j8cXL6 {Lld +:lNV̇\.NBQhXJRTB̩4DoؑrVW,dI)\[]6_@;ě w0_8ٹ}JA 4PDzQB-uO%:*sٵlDc5-q25Ӻm!t+e$\&,Í?!wx`5*!59,HAiA8) ir8c)ռ={'O*O [vK(kJm5v˳&}vi s7̵Χ39Bb-(M{ / ]k(,=$K5HBPӜClSt#6':=cOnQ\a$IiwR1;B pynIyC0ˍ0~V4b: ;B烙أscW%ؠO(3SnT8ss'o lx D-4!Ơl6@%oiF@,_{ Vi}k-U@ kM4@w"gɨG3O n0 k>凒WzW F9e‰KvZ7 :dcn0!LIY uO~=|cizU<}RD\ǁ(bV~ܔuE,ҿYxv>?2Rָ`Hl䇳ݺi΅J~wݯ&۝##~\?.K_\!XCEFseAuLTfdL+r Ŧ60gcsl6FR!:}(ħ?H')4Kڵ;c|? yrp O IP,B)"܎dStLk̆|'O<01)?\W=2ԯ߿pC^a>vm'l1ڳ74.KRW1 >+B6hz̵V@' ;(e ˤ/4>S]2'w7۳J ? 7A F1\h.l]ꜯILa\ ߠ K 4ԾLă |8^”Xu?Atk O}4Mhѫ5f 6J:jEN&O72+kIJ&ƻº0Zv>oI|lXtmDf_ZjUwBϵz0C 2d(!zt>Lgְ0S=ynK~Z- 8 ^o즒GϾ?c3tϺe\'E}KDI4 >-'񩻾Oxsp{WK#Qɞ+X R-@ϼ(}a) {=mʵ~e6>n!*ir (3W0l0MZ_邢)8hhL=%/>^G/:hB4-F@zh{oyNŐujaJPvezjGάBhWIgCpM~Q۸F6v}0?s/~Zb_~ !H5~Ĩ zVU q+4GEw!.EEfKY5u+kptD82kyJmNNPmC.-;pdBڰ H oO䶱9W e([!}&MEgO|j˙h6 ڻeAv}=%js z\c[)RyOYB$hDž=ƭ"[2/#լl [,GN*TN-cel );%,V:-@s4?ma[(4iD#R&_/nunԪ!W!\ƉtNn#|8v*mP8;+loDїti-8^W?7'dFÿÏ_B?C+YwkYb/bτ^K,:zϼ=guP @ڨ:Zg?pB9~ޒO0}2]lCu2_ЌP!{V:;fKzp;~qZT'7SuZ~g.7}Z8hZV8qVXU<_mJz2eUC/չ[]X"Di?Xccg>=ѷ7+*SO/$i:͔v[$FJ~GDw+xWBc= &rH=Y,(݈VJR)~Fο!c 1ڬC #X+R{:+Hru Y= x~f {#%o s5gMC:].5"rJ2:o=-'P ocl1)%l ~ևlCBm[#27h14o-ש,O*R3Y*QHbj;+XBWE5pܯiEMvKE]05*,,K+)2q8_s!d!) \sYZjq=h}S xB.M%(3`Zʶf%l4"X63fJ?P]uQ\,eRTb='W'9Aޥ_9կ ~|bHcV#4eBB[nCB2d[D”@Q;I ME t?77Kn-|:cޑ|UGOn7V@>P`~pw/GU&i )y 5ڞptxJ3*1,:Lъ$f"ۍL!&fA}+UL#>1%uM7z ~:c߮-Sv9㩗[ӗ,KK  $xqg (u|)a]O w`^=Іy޲`v;_>dԔ!gPE)vaX9[̞8Dʎ:ĩq) lh"dfKaJ`݆^٣ S2mUnٗ fb?KiF_D)1B)]C6A1qUL5\ eBBL[I GDbC 8Ԡ42%IxpLML"f36/+ A9gIRm=g6%)331!,>Hk alJ8s;>%-G(k+7S<X1^גDYh$Pѩ"=oQo% ?F>}"&ghv/1 q+[V6,聘j=6L1qbwȅa@(Wa[/]@WhӥcoLW>shxP X9iKdcꦉZ?< i i mpiU63|e?l؄'?Ul˙/m Y3_Oe7!tC(_n tipX:-FQ=Zn% ?qē8wnb 3?)DbdMpnz˹ H"ۚuΡ e!^RDߜh娈F2ش9;+һlުEr:x J?ڹ)u+K]@ʾKv/rExgC@}@ p(";CZzc5 f=Qd)3/* Ylc3b0P#Hb}qlzm(zJdYn+"RLcnρlVʱvOls_1coyz,^(K)י;.47ȰO!#?JsO Ӑ ;0֍#[x),6ũǹW'9geXzyqO(G2}#YCE=qMl胔i,oI,_RɍZv\Jdz{sb G &},o=`}p-`sj]1rR[-?# OAȖ`AK̮S:}& ?ہk?uY$cGIhu^{ғ`fWW2Kq‘uk\#evo*}>g$w`IoAodݱfiNDe>:ZԼ'Sgʸ*Ag[A>CSf}3b+%:~1i9$YO1AZ=sGN_)~4 pdټ&~fA^K0<F>جOO$S2Q[cRAO -Q~`Ck*mc 9hT2\ Pd3Βl=ͣIpQ}@n~wTp#)p?IQ Vĥ_pH./>ˋUr :]ʺ8{!9QUoj}R,&˴jEq$؆-:lX(T`s04>N͍X.3a0a'z)9Hi'C,#}z$ÑqMzuF*#-IPiz+ZM] K`A2ˏzKtO7eAݝ^6._wbΕr#7'ToD87nyoŭU+X ~/S f<}4 4-PVɛėB4!+5AdιC YǺLKG t#nC&.M:1,BΖYO41 sYJXY"F` lĊqNíR`xg\ۚKw9XQKa>6aGn2S `> '0GBő7t1ajUА<{@I} 䉊4%41.<֤O6~zpJWJMjU1E"[ "<ĆPϻ 6k"YF~̈́ fCo^wt 6󉅯{R7AJ5cwL1o ;,oֵ?q'^l=DEA.5+\UI)yVؽM{\ׂZA}Zn;?PoqHn VzӚd))IR9[Q?Ӻ(u/LpA-]( fvQYQrY;M՟(">eu3e +m-jW !Ya>+ʂFGZql['Bx HKdkcA#&' :-F"r/RC ]u=$8]=t("xݺ@agXv~ f,oom4g7:VCj|M8ՙ ui՚'<_7ξ^Qf3'jr}8}{\8ЦLU E+0L"B)2_ɬKyOA=&%@uKǮkn9clyQJ7}@ hqKty!=V$Kt|Fsxe_)uhd}Vӎxen5_# i ݹ]h |!U{Pe̤곭b$(j!ԫ0UG~þ,D.םC,1e]R[&w)[7mj "/oOHXas3rj?Bشm6B?D/}wR|d:mݽ7Ӿb כV?IC.4YBÕv} _<ŁD*\02<{kv.ĄQ ڷaACe(㙇֣3/7lKr )Iz>&r=.u;\5Zmc^#?ƈU}*8/U5](9mN[;4Z%- -?vE\sHZ1w,:`Z˲0ۑ׏~#9D~ɠS)E ;.>@(/Ξ'@JVu6%@Y\Cjo؝Vɇ.C"W9렾PIfjbg \;ͭ1'$.T*^W`qz$J,q[]UEpuysi>+TNKt?[w_KUUk4(`Cԉ&I S[ ۗmKW$&6|* +YD2{L`l5 9ci073S|(}\h Xf ḱ [?X^em =8ryV œzV|V[!j,d[-Ucץc9yye B^*`^! D/erT}l\>Q:. dI6l*=5e6E6XpKvU:w@>_I?Ȯ?ѪSMJ)N2UV^la9y̕D;xffok>.t7[57]re+_ @xZ[ԬRd4>a<(>pULtb2NEǹe|G=&~]U]!r#"f W'=n أr5Չ?#@ir50Umzy~׈ bfn_Fi@7-Cye޻dV:aiSK ~ Fcm3R[qHE %7{v#f&cb&c9էCW8snYK {%ɘS 1+&j#g x+_>Gvv ~i 9젦;$_Qz<$?XJH!Ԙ&[7G ~VmkSW2D&~;(XtP$[ _$9b$,es ]9] +d(ňFf< @9"([Q>MAuzQKt*.ĉHگ4_6A@Q߱y&#11֒Ӻ}0?!?uvW}(Qzd7IǖQ́MmWpoNТ!t-IjIqc ;&F Vb:qoqn8OoPF$Y}qbYQ8 +w \~)-fŞ0RD; p$[!veXsOD^PXPTKgR5 5[+R|ܗ*Vn.>K=)Ra8Rg K&<ƌpon>@v)hD⹷„]Q5H/+$,h 4:=4lyqQ5g[$춬4~&j3kk D47OLMJn[ zZE"D'o@\mXLz ixdkaY1}mn5?Jc+Y~.NjQMfZ?9G2oò2 tCK:ʁΚ.@ [oz/]QiK?7}݌%+e,8oj'V=xsILlb@ \讲qGŷhb|53G?V.8m?:4/Sb5*`8es],5۠ﻼ #EmRBho+'@kznT.`LWk',^f؁xmҀ,hɳM%cLR&F40nȜ h 2d/uX4-}ɦ>tjfඣSJϷ-ǁq?"K(o|EMr,WPⴑ?vfs ֞p闦4X]]& Ơ t&CqJMLUTLJTiD] oᏸ҆FY'sb_eiJ/pxg2W(&'5OWh '/~ykÝ ͇8-;vKd}d ]apXCpQh ra=xEKYrE-ȯυP  MGiD.ĴqeU8pշvRA{mcP5YK8i;d&C*@$UMOHuiX#W(BJO>`Tt(ѷvBlBr^pE:7;/'*T?lyn0i-[By#A @q=)GhO* ̟r>T GΛp1ڭHԄܧ^vD˽0T(&$#})ThC 1cij@ƕ 2±ysm%bW;4!phnQ͐+`"T۔焪 .?9sGmA*.zF>K:x6顲 1I$5{$,jyhh4u7/Ֆ&R-@BܷxAg~WkeExv;Oh=[iP_q V6VO3Fx@[Lj X㸂Q,sj$o04Mfpn{ W":3dMᩩ,g,‰,1{ǍpH۪8[i1CR_ۊ}tBS %>(.+] ?7~Z5-e|GOD2=v|pd>'7;:ƪU|Kn5Uy/Ӯ_e1Lv;~.'3GA|{Sz;qn).b෧℄CWΉH4k)K{ZYѻeP9m5etj `j}`cjyklb_Rx[?7&{,,| g肠E)x1*EeI!KATGE:UmRǾ8(.e$OhF@rPzc#Ǔ>K#R4XLJV9]M>-Rf{b޵eMdHxsrM~d;+TGt]{?.;gZ=cU?]zsxq$i*gPiR|?ǝ=,pݲ`a-4)!ZDDQCkFa&'&gkpNSمMڧ,Y Cݽݚʀ 0 BmTTwqzŴR4m7x1ĥ7l8c*/w%vϕ&z/opo2(0ܼ8|}hO_v=;/OE;9ό}"hT x$V9T4-_ߏ yi ҍkcyD^6i7KfB!۶%Q|Zy#jѳw`Plƌ><7(â;eD>3X\= G3+GR խ8# eH(PX?= Lm+jMGӳ [$NY~!oۖ0 JѨ= (|ԕTP\U?{&z}FG3nr^S3OjvRA֑6`@e 9Μ?]$(K =N}Ҡ$5&N ^/JIDtɸvKf:@Z SXWTa#T[`WjvC7tpuh<- j+58\|wךi_:9vRK=a:䀬P#T~{ 9ss8&B/k?t .t*k[@̚1B.;G[_>P/랒M}2I!L(%nKQ{5{j"ƏŜ>쬨+VHgڹF}|ӎmC8 ,Y)%]@ bd&vlԨu?p U\˄.@5̻+|!(+eT/vQO˅^lA906qzvsˋɢkV//ǒ 'Prf:KAqh05g;!LlU۩<$Sm>lmN;'gڥ BBKqk j0DMF "UUvG߷71ϓH{%y[%,Ah2mG*]Ū0IGr+ > cxHmp6VƨwXˑ:(nR7'GDoUC,/:}7T!8dv ݺ@T15ϖyגv9A}7 08 IJ]VF mT-X*u97.|c5Ns@92%=)w&yЅ$i'?I3yn_uJ^/aX֥ՈfR~ H>tWe@Jۑ嶭SrIQXՙ{$-cpWHք8|>WR#mϷu)[>,v|EJS{T^&7(١Wi@9Xn ]p`@GHrmV#bt{rS´mn˄as 830Q4B<@YO"3PleC&"Ō2BE.1#OT 1YiȗtΨXx=[UPeNϐ,K.@T*Cam%1)޹:Eن.eV`_F忑3ғomlD]) }ؽZ𯬕GҸ"Ks^ZZon,wAv>+XU,M꾻*N0x)Vip(!VaHGV|ZZQH< ۸8EhcrXYT~5X<܆&KlMD"*bItئkVl^̶RƇ?3(Cr{~q8 xX 0*/2[wg"Q]VE/pj@3||BR )&`E }.:`.ՕiVhD $6rM%_),A7sXL-|dH-o2ڂSk']x\f~B6~hN8|[tsϯRsbceC cMٺ"߹wu@FMw&ID1Zm(WfVORe1Cd:ylD]\4~;+l"vAay/ :Q)`26 { Dgyba]Y=%[5uT5Z$v4R6I^v)55_ Q/MkVⷹ/u[Ayg$³*+,7%a EQZoczeص}!U{3AzCA[72n;4M]i}4PIyѶ4/mIveʥ=:N] Uծ`R!@^2g1V%G;Qԍ`ɸEՖ$1Ta)WF3VUjX?}΢I)O7qE->I͐ 7?Ȼ:Kb@IaBqzݭ>,/ht壇9Zy(SB#1Lz̊I􋢘D bz5>q^z0N P CDHo<fb*^'秔XXR<4`]iDIy\L~HĬ ;$ /Kv%UCJhPsaZjld ޠS`7Jؑ0ZA=%F@}epL4/2g7N sLX&3\C xw y?C|!Љ]Û(-}&gXp%\le86@WXOR[S) 9НXArstU4z͈|U NN: %~{? VGh֖=*#G`T绩ǏFѕF/] "H:7hsҖizn M:045s:x,fg|>eP ;PA$ϱRyrxߓmo'/|^ {/$i/;u޷h8A+jKfѽ9=6![%iO9%Rj%ҏ+WE?m'eGJZPŞFSb LTŗ,mMh|?Ap"<;4о9 E F "FwK?k4j "w( 0:v ܴ0 { u/ `!% "6y஭4 ~OW@'Aҕ[|J?d0]sTf@1P/w$tҚ<N̒M=%fC%  MrK۬v 0guy n2C!%eExZDCVzdR4Z>f[GX/ė 8"@ZZ?=S2 1KrBB a`>GHo^57 @BZ0:B[C0)M'ʻM<:e~24̭ DT,AO.$x$]pr4\L]~6@٫gW}h!{eڛ$|L5F1Ȍp: HOuCþTl[vM> \N3l~y~b(Unv"j{]n(}5p謪%z`@ Ҥ/;o*D#ĭoʑgPc6飪yNFpaf|(fx/A,,z$0pw Mx (vٳFC J({ҿ'{\-![kX^^Ap= 9s ̊s_d !iAȦ#CLٖtW-ˆ0.Y̛82¾/J]!j+mqT5s= wvBaHj>y(^ԪS~)fiM4rh~Ԑ)Us k  HfߋX<%>Xp^v9c ~q#ޏ|9(ˌ&@J#i'o\XMHeBEj^?Rh4r ^n(S|hѿr!:E!ýFbj^fgqnè d1EݿueŖ0%j=]ߩQ Azҕݨ ˺@5U\ ƞpi:*w 3RMLxNz ZuQ@;>2BA ar]Ǎw+HndeU H NvR8LHh3r8^"P1;a+ܱ4kazPe' ŗBHyE(|.fa?Q)uk۠8iݐ7^;ۖ,L5RQ>EEB!d`oa܄İ(jCFĆFᕴӋ4u+%Dsuw/OZjr#{(^|c=ֈ|4KǖiZr+8GrsB;[tp u9߇occ 4~+W5RlA &&Q"|r Od˺!nmlFǙ2YoqO C$PvZ2Ѯk@OETq &D:XvYhIak_ǩ.i&U\7c 6ى+Yb@5O\Zg]qҧSnCg-ܔ|,=CP "-\vN!`Py0 Ah¯,vL@ͩJH]21isΦ _R·tjzP6Qi<4ϺX4焈K !b!=<4FwЅmꇻLuWG<T0ĿymnxoqQ܎/ el78cCC mdsaoGܺyvmq=zQ&H6UKjgh+<kd4S @rc5K ^EFxfyQ@gUf{}Pl>ՎйC kH5Rsj>u"NTڨ T NLinR*^3rhNv߻;"^ .%z9rٸoON 79GLETt%5h{~$ŸxT {eᄑJ܎h=Y}&/sM۱el\#.R4E4'^74i`=5/ B2}p{q9veGװ(]I> %HgMZjquAy!" _mz\;kO4 RR|B V{1ΙWKw [/@{uuzo+}ɻ:\m~3 ˍjx>}J.}]jz}l?aT3`IUSzd+aڪ>=;$A듦F-2 vfEjĢbΓ{;ϩ@ܜNȿ*Dji{l̬sHL#& |ZkCrQGTޞj9Gx4TI)#2:tiDW[S*g^8 fOÑsٌΔdHgMP2BQ^75P;cs+W90r5JFj3ݼ1yhj L@7Gǯ5& KeJ K'ok[0SQU.*oX!(JspJ*["٪OI=;';$J)2<7Aa^XА ,?NzOՁg&<7p]Qjw 'G#T it*n:-{lz8#Xt\y2T 'jF˕ Wmh9}{MO$'\%A'O"3G |-o!8mb.~gQ5vN#諴0Q>ZS@q(o\qy=D SƄ.m}M9cT񯢭D)P(9h2|kх0_sIviu@eO+#ܨn쑹C| X::y9(C9RO只y]Z(͊p ?VISrey VX*M Q!/VҦ_bY5?8U(eH.ӗrfC)EU:MZ)D+t3+r6Páw8#7.,mv>3 ixF98~ `Og)7= v2ԌsNhhr0m'$GrDԛ$8: wؔC M`-1R3Gހ$Ϋt3lThQ_B|S@ow5KrGI2r9:D"`2ÿcY-I`YP޺#qla[hó 6ȿD+z!9 "CFiljK:-)8 Ö'Cej5$V|w-=l+zMiQtHkopɟQFZxx p֨t3?Q L"\x$f+gJfy|>Y 0]/?Ea'%U]^ziԚsv^'b9]*1Bn}?có)" @ O' y(\4;Z%oMW-N9z/Ii^˽=+RtFfk6:z+׎*XlѱTgNj^Bi [E{ŏ$TWNJܐ`T2; Eǵ+KǚZ146 q\] o9ig+xhLW`vl{?jX7|zn}Yx#Y% 'uح*ŗaaMwB ן,qƂ&[TsCx[f1U@~O^з Z/ޭ]J*@uS07< ?:MRX˭xxiZ|v^ZJ7*T} lS\8S׼-RYyTu`kr|.Z͝t ĸ·s/#I f5g ;U G6.0f#bfU ~?9a"͡4{Uo<_q+b2s 󏾍GKnJ Ǒ~!Yi0!s}K wcMos* NBFB@ϮM9d4#OYNze[o\dE= -8И<5F4mv3wM ׋%NHiWrSh(]UC08'fe'W?M*rPsjfYW1Ԧ B*>^#ME֜OM6te37p+x_ϊ-)U|D0ISp2' @Kblr?,g͔* q~2H 홙|T4DTI=g ~qO.Q2bqTJjI_>]KNkqrxʌSl Uum΅^R' B"AXBfx $iUUSiha( jZ:7(H HP~x~4<`UV s,?2Ԏ /i^Oj3Z~:k⒒?F(ddJaEQl-(W -=;F7nm{>-}vY=Z%6{q\,8eX9fh"!z:Tq_Z3`Ye/CPXtUa,?:i]516Hc7=@I>RΎE^}He[g1񠡷7dIG9PZv4OwY.'=鮀R{/@KUw$E敥xN0lw5` 1dۦQ{vw8mL䕪 ¸r0y&N8S\ Vߦ.^p gcj]BCƿ[U<Tt5gIDM/8{ɇ?\JUe@U$tE#fxa{ IxM*'(([eL[$4f.Y?_6!J#]c%ܨ6}yq]͇jx2=EZv3Ɖhk5,8ûЭʱ-/xH:A-!DMYHv/2*"p8"`R$6|įAEL1,_[  CƔ ZO߲ˬWAN/ U!LN$DZh4~VB;W k/7T$5lس1Jb3_dQ4$]ֱ xNq54/oV_'*n%}xUMFr pp `6t^3BQ Z@wНmcTM}Yy0ԶhYÓ91prkPY \S1x$? A84]W3? N!A9MmA2Rm˵JA=;rhjp fq8=K1eLI1̵ݤ*~kۍ0̠M׿S18#!9PґYJ88m7+Hj˷nz =hJS |-bt5h"rm4 1V-_>])veQM࿺}q/(at$C'ӗZU?AC]y ]'5tT2L{l/ }3)ɃlPXbR loSb}W_~T=#OPj-e*xOh U&c/>Ym+_m4q{x*eh$ňY/{VkhXioAVnoifJk7Qz;c D*1xšr Mp1 MJE_1̓J T-DXpf1ME!E v"7)2!))`u:w SBdy'> io߼a`9ş@`KRKH}{sq ,X,KԌG" $HJK]⸋Skb+x+swg@9uuXx2󆏿Y_uU﷟GUzcR#r4bz%j?>5Fۅ3@*AA#M3*u@e0+&srOO H֦^/hzn.t,3?wU W,4Sieȁ#1MHoK#H:EqC >o*2u~wp'A` po$鵧.f5;0A%}zȢSP]UHOv]O"`4^&@l+D`Eoc-?Zw.,2+x(*d7>y~U_>~!H r8i>pR5HE@e:L=4|XԯPKʧ15_aH\]Q>j}P`śXni5=jemXLu~Zh/' 0%bgyd*RZ],S3U ;u B~r|a곔ByhLె^E v5&iu +`h@DדITu &cU-jQs+nǭ^N]0G(NTZg@_sAɝ2yqnﰸ 5[Э"٭Ag4zxS@)6CCi}['MA.nMfr ˧{Gʞ''QnyzݼcsI!"M1"ʒcI_$θ jɵ4j/`0Nq%,敵3+Bs`O6k$я%8B 8yǞ oV1?#`LX2dpΟ'*~_k}EȉII^ !E0 L8sv\})$H@Bcqٷ^Fw}'/.)rQIӈ)]8 J0x'zҬV%q]̱;*,tsxpeU|_<+`oV7}}>, Ȕ\1;0a l`Y_~F5;t [۝$?B$mV$eQd=.J*\o罯;lXpL<EZ i%8ԑ4T$yna>eyN]o@Bhuigs]b\^M"j ƔG0YnA` wM #t{~y~W0ӎf$3oCK~E;Ma3!7o*D [06;EΊ$3d%~;z5eP!{rb/wѵ=V4V&OTT7F `Aϔ0%#0"*TRMS$}J̎Zl"qih͌ȶqw&*єN)l\z1MիIn*[3٢ yO9`>1/삶c|y.g q?*EOR:;^vZ HX縊Λ١^I9ߦ#FK985< hK@rd-e])+JK$_J͖5dڄ|$q 6:^]XUVgM Z i׺|T˾5DzF3ZnzJy:Re~2d&ZQ7G}!"{e2HT\u0FY.)LNX E@D!/r:TQ3N(Eo. iC=<)mx" B?>g.18pM8,ฤ~)8BMۉΣ81G1apouZxb~wy1g ' 5jyU@w%_jYb mT5u<6ҕ ?poNJV$3QQLVҞǺ5P^Sj2fH34jGN9sFh>dsl@,h[I/7'RUphŗvꙆv껲ݨ1紸Hԝ̈́٤ \|,_'R]$7b.b.:I7W#󦹱<"N ,APY=$} WI/I24 QZ3$6 UcTd m;oF"w!o~wŊk"ӧ-RW<ع5P[=@6ԕGEON9Vй7r* JFJ.jVز&=P +T*~Xȶ!y23;Y$IcK3>~ήPo^з{Un[(k},rOX)_ .4KT+{hZ''OD5mQ 5sN g0j@4~V<7`5'h/6oex3@7^@OFH&q%880bj6]Յ GV σ;tv&p) ]-Ei 5WsG1ϓg໡(pJ6Xڌ2Z vygf.iK3/bq¸: !3fMp ƪɛ`89ATyCГf1wtord4*pCB5ldP3zE9{\O=ᷤ|kDaJ- dzGU2v(.W (P&Xq6AK_*F`9#ޯDm{ltk-.BN7͐hL,`49{Ps#C}r.%7 ~N-TPY)+!󔮅+ټ$(Vl-Rիkgic/F}Ӂ|㾀 \}?LL"8"ZDii%HJh,tQ)g2Rվײ3(]~LӨRFH(p''6"gs-.KJAGR.˼`ۑ/1qĭHO" -z Uv%΃_I`W/r綣U@g^mbPo, huSxAa/NvuF"{ω(MHhcghqro&ᓂiYp/iXxڂ5\'~3p4 qvGL;ba"j8[vtKr#Kk@q0pdζ2 ηe u9ٯR$isAҕg!XpIx2UẌ́(H>Gdx\-,kL¯cʁջ.v"SZ7 hƢǣZBN8DNqgd%9{ N4۽ &HEtLD#W{ ӛY,ltZfT G I,TSN3'0v@)s 샙HRޘY,wn2m͚ѫ5>5Z$ە65Duչm9WZ;Lf>_)˶rm(zl:ߩn(}| [{@&6 s(3D;F6pd9*X/I.sm+bUhNQ gßr<6*39kGX:.yLѴ| An09|2!  :vlEEEkqҎʗnDhbkł+1{dP rKی>$:74 e2H N8myڰ\lvM )QcfMChӻsm03Q` ϗ\> *kCkꖭ'ᅑ 3%;$B[QN p.aJv^y"60C;mCD9zn¢aeq3ՓޢaI~ pJŴ }Iw{ږད3:#Kcú 0Z3 1 -{' ӻʜGJ+ږF”v#5Ad4ɽ"܀k=FŠ{_LDU;#WVIrQ>M qj4'^jݑ́/S? -gZI||(geC ٴrpF9Rp^[|K84ʂձjI+?;DoRN6}@h'Th@#s })$¢"-QK[ֿ~{P20+[h;XF4 Itl+k32N͏ER bÑ:~p} 2C*31f5[;TƱ5kV_iZL nl.]'Bg-V̓PHݛWea!S%!EK`N-uoVvB$;2x2`,Z#pGCo-V۵FfEX0 i0qw%[VԛJW25.P9M^A LD,u ~oRD y+(wRhl =|FW`vb{P,&${05.=Kޘ~r:cGM $e{Qr'4n" \ۄlYZ;:;]jCUΌAq-)tݰGFXp?r{W'v]dR՚=byp&skb_'B{|WAiKirjmVɺ,x :. '{S߼lYy<S;bVBʹd?~شS%JjA"E2Vyj-~=E|!yXصY)U8ۥ:&'aNs^&w_\VwpR~]dطPta Dݒ_ gwוA;.!F1#+9}7T@,zHCՌ y6o%BU'_ { pRv$+ 2Lj[@~4S$l_rKcdn\bhq7ZU&bLz{Grt-'ZM1AbWaY; O"ɱ0Qf^D t_K"ƘK"IuP5X`W,z2>Tdh}=| ǦN[{QЀD.3Y:=+"j1{ O]-w=lhE5QU<.ބ6Gx -\US<(!j`M6Rfy>L>;qtE'oZLIOy6.Xx:*;$GןRjA8mS{3˝c#|?Ŋ]bn0V`S*kM \^w^H@ iy50F<ėE25'g^=pY/DP'hbl@*:StC~GX,beHq;M}'2Uܓp+,`Kv?7D$CΞpE9v1P/͞Z~X }}ggeIX=y8p9lӥk^&3\4gX'KnJʼLu6쩟F 6qI=%IҐ.! 7gYZ7zXZִF! ]ŗXiɟQceB/%~{e3Aoë~m83ʔm^ؓSZmⷧ|F :+P@ri˅1Y&@ ]-P-vn< /DmWY$3o=pu!W 2#;Mk^vU.b {>ɎRʠT;'>іM#ku*$_st *.,|>xs`DMn&TtE#Ata_a:ejD{WkcT*sq?vlճ+@F ըtqʽ"kp&|?guLgv~ *,r;_қc;cIx{ɬ Sjekv3M_"]pbe-!e0QZ}4BJ\b.kSaYH Ki֍3yetZyg qFx =VOC+/#r| O+DӏM 0Vڴ/fSS- }?M&$;jjW\e)l*i7xfps'x).qVm.QZ2ڧna8y2L.xX\cgYZ7zXZִF! 7]ŗXi%L!l-Dێj2eta!@FKa߆9V 4&fb_ 6.{4Ow^~eii'(X&L?KUXJk݄1D@uj0̵f1ESFzeA'~Q~aXd((yk;̾$pO\|#!OXTnJvK >z괏B^[} 5]wjEsl;NQ{FtU`,+:b^{#|jFphhjaǰ#I_qV"6b@({-)̧JZG](hm3<2M/~ E9齶?V.Q*pm)P-:r^(kucOݤwPޜ͓+LF<-_*edlK]qt8-jؤhuMgwa?Q0p! X Ǧ+&K wcX)uwU穿 MIJ& 7T؇k'/>*Ikx$f̥()2`"Fvڅ+P*u^)3h7U8-wHpjawų N9_: ܜF4`QIz}xR UV9#BKAk(/L}=V~s~,3ٰ\)}ƵD8l`qV2M^Խ_@d^!g)gDS(7C$Rv4 SG00;z8L =;ry4\kY)*4? CBs6vQ[;#,R3SI:if,תCgfXßהeL@=fܢPj1uv3(藝7xɰbk. 0htM뚃BG65H1аj%ۼ&(o:YrZ~I fͽ=n0TUiƒң:4!I#_ټg~emYa\"`0c Ti.!Nj?9TNVFhZֹ1l(!ts$NRw#oUQX~9xgMc{'R5 JBp?3۹/fsO8F@}]qQQphohrALG2 J A6I j͗<my1dW-UgC qAiV'Z*SӀR4HIN$DDIYd s7[ޭFhаh6h8K@X}fh 3LJ+A{iS:Nf]1FŷbX[U/08ƦzwjBEC$sT16茴i U wmч7 JbH~ ƧYSѤr}  hTB,|p*o7Oe@CgG-a >蒐+fY)K1؜I>wNԝZȶݝ8%Jv?@=e_)x+kQr^Ndxs3[#AȅgНXlJU,BTè;fZ+M_iMLJTܚJSZ6'xsoCZ>+Vyc1zI?"@VbH]4yl@%Ljk6uV1%{muDCQ읮ҁ!/!jJN+zؤwҝ/ؤW[kLGwʱosbe!Q(*zn~'tpbT"v~M>αROE4hqolDE̘[w5?p$a;.CK!T-k+.wP`NXށg~=Zo{7&Ԗt9a6}d,j.ےIh[u <<>G]aþ'@M87ژ~/~#rA2B.&w)5%#D`9C s{5d,V)M?A"yB@rW)04^'CTI{ـΜ8ZɬjQ(5aP :w cV/Z_@ȋ,IMW+B "ɕVH/<#u>{p- t+q3V\3{VmJWIsQ|lKkC)4JB%λa6_QJ!R$JqIETdUzhmd[]8<պyp3z Q-<6JX^$Kڹy2Z*ܢ~?Tb.M򊄴oŮެSH\Eإ[>}[4&cT8> l?A`\brPuUIAAtm^PXG7 &Y~JgYZdef84effaf07a470a61cb461fbe82226b76dbd088215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 6ca7c2eccaa6d6c3222b369a56320daf10f59805 8ac046f77f5f0b646672f561848283ae23a12b8f 284185a5e3de38e8daa38487ea5ae87edff6a9750711080f89a6d3bfc97cf74e2b76a34f2f6f14f7