SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 xx\1tDl ]% HOL-Decision_Procs:threads=2elapsed=571.396cpu=978.196gc=106.104factor=1.717zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH>#Tx-F)ඵW."״$P/2W宛Ωb#2XPVLV'0}? ?d}Xu 9Q+* w4?{ѯ5"a guv1;;GߢAQ+pq&Cǰdk,BK{3ImDƹR8}e޵A(1a˩'i '|UsH*1kIK*WISVW#?tZ?ݹM#1& s-s9h(SaPjkծ|u˅])/Øt}f[dUjS8N޹n,i'f(# `9Xz]1ߑS"'Ļ9K4)h2mu,+scTݨHY Lgrtho$dz!:˙cp#J0gԘ%v9yEtr*8MLGhDo{cbWQ24w@ǏYeC-Hbg*|[ƣQJo5^oٮĆIGqⶾzaJuGfeʟ9 ;]#Mz'D1 4*UɈWa (Q-= A90Uf\}xR@[?K>&A١`H]!W1;b7m|^2aJ+&4w4.@3HdKF,^X&,0$L8(yՏh&p^aY}ʨi[kFmE]B|8L),Ǭ 9;tPwE crԋopU,#к+^sfV[Y980-Or1-FRVt;frz7i}-逷Mu;lP/5~s?/ޘt"RMAҳ*L /t]TA2ޤ{7[@ (HKG}8&({OΖmkdǂ1GoJOi$eF.v~e,䥋j 8ptf2& |6ֆ#vCvb}!xSQ|ic.;їp^ {};fde7dL:D@ht#vQNKԉ>lʲkKI6mw-JXN]n8xvlFj`{mZ]otn[W91wF8ۨ{ ;^ΡT8e(_.h$)[R8IxXjZ|M^$Y[L`lewB¾Ce%G:3*ʰ~Y9ΤEyy]N24fY H}.-ܓw[@3X$^ 68oTL M7&#*~șWA%sGѫMOU+i46>ʰi_Ccl۸{.]!uò,maEY$<noȼj>1 )4^2 +Xr+[Ȍ[ן8тCCO;<sՓb,p6Dj^ٔ&V`ԎɣKwh=B!>p~Dz]&}/柰A(4pCF!WY_8˙@ENcj%{Yv >$:U;Qڴf,7w%SZ^SAX4$NF ćkntV e篗z|I gCW昺BPoNiwec'^"5LN) ğu[8 z1o|F#Ҏ*jcwnpciC8 ^LwCG@ݬ; 5#۰;(}tU(dui`EIl Vg&ð< mhlvDh9vKxzvp4?"C攕RnKG6DtjlgtcC~LSP6k`D>Dob.<| N[Oi߽B ҇†§7PJ{wHB9{Hڀ~.y05k *ST:5bJ__/ f< eI~hK^E|Ij1ŠMYk_ѽ836<^^rg&/L%֍vЌ`#ٶ%Ȝ4YG5Z-_6`^s{o9Lv[ԽT=Fc1m&E~딜@`;Rj[Ga!%T߸|vuX$jsi.UaVHk[K1hLc:H>0ӤaAi( ;&Yz(v:ȪHppX`mA&Vunbzs5$ܪ2w!w1\-|ҙ%7YDΛJ kImKNKDr xPrr7C\kj}M6cQ>=%d.?J7/9! 2``.kfoUDhxGъCO)*wflzHS%Jb]eke)r³`+`ֳLN"D.қ:O֫SH)zCpwլR'O54 c~1~cD &e] י>v` WMHds"T0^cj3 \V!adpat]l d-b,#YGC4K#W6U& 9cPݪ:sId;`i#$Q~p;<$6`Az>qdqK δRGl`1t#"bg'S:ءx;Sh{GRQygZ5x~f0y1)HeRpĢ â]ۣ'%8Sub^z_3B2Gz̻:ϤNj {0Bp$I7k2J&A3}|JrXb/ +4jdd2ʝ`v(2]$vÙ1?+BL>pdHj]&WC:즈8GhеiA4%)|Yќ:\~WqV8= {nB;^p$h'SH_ p;Y,BTƛYsXY4H^ݣ;QO-Hs OΙx 7i)̀o׊GDMoof?}w rqO0`+`yTv vPK@pK;Ag!{ -[GM|$KϬ#OQVju7 p$, %b>_T/@gGQճKJpgebt5EjLs<:rbdd0h}͞taf0S0EиEtڈ-tߋ?TJĎj]M(vb)4'Ԟ5$n㍼ђ޹Ƕ~qdLAV @77M/g̣_Nm>f97fSgwWKJoi {aiI /vAOcfAQMr' 1,g/S]GQ2ڨ`v }daj06#/)ΠFU9|&6IxN ([ےmoHҼe)38RI n2 a{rR8O3P#k5~:*MX)N͸d"1~& &Yw~{ ƻdgٗMPœpsϲW*]N߄c=82'tn`%\qIxԬU7nmVD/ <8<˷Hph^biOVDouI bba n:CXq/h9B/Dظ|d}q38*ۓ'b̪LhI3?P@06OoHDuV^ vZMHe;RyQ7)HLz@¥?F04v3 [AaO[/2W}ox3qx{*tӑgYZ7zXZִF! T]ŗXiɟ17L? KxlWP8SաM~>fٺdeތ25EXiƺ2NZ3=j> j-_Rރ0i7tojYrܐ|EISD,F0mn\ NQCV-`} PX}o$.r(m<{pF, )-; YL uMo/mW]|u?*&jEQ˓5"odZÂk.A$EL0#(cnbRM.nxVB_R, :hOmY;\cU=#e1v İ|0N+ ^&rAVO9(m +y1֟v^}D?ﭏ19}o߮-3 pK 4PΣMB2wK6uI"LylRt/2VY *DEQ"TuqwmgNؾb\]5 DO~Upq5*gYZ7zXZִF! x0]ŗXi%>gV*cY-71E/$?yG+q|;ɑ}in }1tbh@}Ϊ2^&G? -!*.PcQhsf"d:kȈ(x Wx# I&"wFCe):%me*}_±]2'zXHɇ'XN10mzX` Նscy<^.6LeL/-2;w7Ƭ;DZhִc^jƷwl+PSnxqP-* 9>$#S1&̨~;ϛL$[%fI-X+*`aP R:_vChRKCM }5½_EGA@>DWPDdK/ٲ@bHH/SR6C,%Ⱥ ZmqWR L ѳ~2tK9Y!LmV~Gp^a<@^ߥ(Ca]dwrk/B[ٓ547rp3,˄Arɶs&5l5%v){;XA.]HEt Exji_WTM@u7;84Z>W+Ϛ L&ބ}@UaС[O^LPP>r2/Hs\:jT#h9LqɰFSm9m NDAgh+3^soCjc'__{m`3`Xߞ@j$+ٹ4|i$T$(t(0%!P4f"rk)V#yi+pA@/z[fV-7Q.ٲIdN=}TF:z(.fM.jlogq[̯lKYZjȶoiQ9 F i8 Y# K^P сT U#&ha A߉^](󑑭~f, 2l\`=*UX4 V)T)c [/E+U-ay( k346>^W$s8xNCkKA4U73&ӆX:s486pj*Ի৉yOsxS*5;QOb4۰-~P~$ޙ .><wS"#|0þq5#ԫk$0g0{5w`6eg\1caf۽# ?Rm1dW⚨Q&@8Ω$P$c7}uN?7.k筬3ȃV>Lm^33|^Ǭ `G=Ĭ)ЎMx`x TGPQ.?8^vA`,B(Џ@5 %r5e!fp@"Bձ7o 7FI5`fgq[4KNٱkU]2J,cɣҤBmօ%gx(i{9Dt7"N""+ =xcxH?^c>'Olzd*!}%y!痢lƤnZ*Smi爖Ֆ8uob)~dbzdx&;=Um͍k\L3'&{T@Ԩ^bS zѣEd^@έ(@T4' :Y0Mtk?r>8aH>O#r5'wXa_BlI IrDOBTUJ k D(ރly4h?IaS0UB~u VY =?T'ͨS4tVJoVqrm>@W =' ^'Ӥ)BQj.#g=ԅ2Nd,KQ &Q1/bJR 4MQ=E={d3"AѤ\}dZߒ$-EScxO 1QҰʇQ)oĺ$nrqg2R@+?`@^)71 " ]覺֔.άTku3cZWGѿۂ͕3 \+|fФl"xy2?LS+g> A)oXr)EN+/mxT5LmQE֒ʠP4r$G\ (/>۫KW~9\Ho QZtsoHGKB~z띤\9$@H(nW-2 xИː#J)!R&w V V%*P.t[ճ,@mq8m 'pe &-`"Yk%hD/ OuCI-:SNHD r(E_cU0qZ0l#9l S I'Y?7;+F)BNbtڅI!|V,}3 u ׋4wdl؏[VDnW.tmN0oWYr~̍\k{ fA7w]>;\ #GÓv&-$>suQ3E{֞ޜ/1"~`z[u'"ۆ^HJ39p\5S ÄY8XҧfKlXjDЀjt* *سW\6Eg/ppؖy;LEH  'p|\'u[J°݊~rqwEm&,ݰ' O(&9slPWKLcBcŁ[ɻc:B+'PnO oNw݃Lu=x zso幦։ҵІt{@fG%bE%ɒ AJwf? ;b"Y[nt7%J]6X)Z uTC^m%M><̷E׆*'73 Ը>ra^TC ^0YoCeDIki11\^}Wu;7@|ں2o/Fl(OʑԔ䫎rU%Hg'mF.j͊`л qAIZ _c34N3 /sL * .Ly!H .ťW7#A|ɠ2p)+i 8Z뜔A{Đm 㔻4 w$=$ߺq@[еdFz-_#M6ʈghÜKv> L6QҖQ::t(e"TOh1{f!j\jK `!aumPO{}(U2DJ כtXza5<;se6~u6Ʉ&W^K~;*<גl:{KYwtYNW}6fsk1tAFe80(aLO0qnSM!.@ޠi8!㞼bq-٫9!VO(}VPcڇs7(Wȼ|Dk/D"IK:vW R<m"kueFO,^ PEUGy3fB/̒Oޥ9*8jUku R@G4eK W>Ko$H\˶Hch# Uhզ@?n7HL9r(X ^_0q<B_^Z yZk{dǑcOpn2*(lab1cc5ڻ24v[["v0kdwj": ?Mf8P z9i y{$rQ1>GbL X(1=QHXQՠWEV>hl|ѢS.YD1%iCL;9- h-'<,4 S;y$]CU.E[dϧ7s^=nNs{'f&'K?:ΝY2'5]wϽƖA!>E^g܍VP eixqkdH݂3f4RLO uPAKm7rDsEU]?7[ ~zfAgJk%U=AlL*QKY/|"CqV1|`!0./}CK[`?AиX*؜HDFtc+_@^|_\:i[Ͼ޼ .mDLɋGIF`22o:cth=8=DH5w&c5R}^$sϷJoLVb&!6^.-32eJ)뷽Cr~UQy hLprڟEF7p#ɿyo hZ N#Xn]v̇*\};h'Kƛm-)2G+2u ~ߜ6zx rHؚ%kD8gFn|*]j|X^l [xw3) nAǎ@5<O3@mj(KXOp+q=Vl:4!ɳ2wX#=nղ~Nf0q,t+'5faerUJ.<xa^!썄7Pڢ9Cj>ݑpһ+6}ϹScp#_iLMaMhA DV@_'"_tKsQt2XgTŨiLm\I6yqSLؿ >Jv/پ4ɷI9뫿2Khm=[ 1^i˫ΛE&v/ƈfݳBN6 4r:Va)I.$nWϐ0Ǜ*i"lZd$UioTgp:zIt ]C#8 (Vbz6 Iv<@_foYeMfI*RF?kӅNہ (s>"^K8M0؉9,TWvߋYs'KN% &Cr.# FVf~{=ANy{heuic~8]t71F(}J۽c,W_k 9d _b&AmBTfk7L,B l oM2pF(Ti3̢O s0>= I'rH)Ԗo^Ec? W,t/WqWڂ{N%s( 3D ι I2YfN;4s.<%V< Mf 6TPc M%xuBWBEzC9Ta~'s4Cyor_EŝZ:vˌm#pRTj<(}{K&!XIbs܌P҉zJ IWMjJӟ.HPNz"L|mlX |G-OVVoA|Y{gW_Y$yH7kldsEh.⎹'nwi,L+YQ4vbɩǵG?= X,`A9) o$@pM?s&:.2OEӎwaĨP/yb hxXV ᔑ.,},k#j%bT%8$DQ~.|Zh7S ӿyY2dF&BG@<[~FXA[(C*EG ]ci4[=a̿~]7C;ظ\_^nNBs-IA I'齮dрZ༇ dp;J۪  -L\Pl __6{Ҏ$K>'zwPz ?'s} p"/[`07t1i 8 =4mb xY݋:.iOXBqs`rXC~k W¤ylwݯKyAZHPPYŸ (8"7d0}^)c#ժ;D >jTm#EN@6sfG>x 6 Uk3eɍ8-6 _v:byqgɹ1 2R"w` rkm] طT1y]3H!|#h%S- { MTL=3齿M-] \ì4pNo]dAc,'ٜUb ӶU嗫&f[% c&&1~L#d!פE)J5o}n"҇|(_3q`]Ȏ'r~5=m1W^qj\7 ƑIQ=5&Ij&0m*x[]WdI9=4$I+_4$ÉSbقʝ/.F5gcACzZH麬!нڙS fZt0qiTm4FL i*9wƠy3{Nfb'A&|1b~T)p'TH@xEX2$.jpf9 yW {KB 3P19oV*@W珋?K?b-kD&\Ƚ]AɝBEjFe<qzѷ8`yIF4bu<]&Q{oU}⌺J Z}^ț3rxye䨽I%賮אnC*E1nKT3OA.<ljD=!Б5;Y٬hl;㢏X'lc}pvCTڍ@  *6[f׶c\l T YDGEo k \F۳oQ Ec-;6j68&yw\< %v{O|}&~Mpxbeeau׽rF4Fi椣j5E)9*霜+1l3oˊ/ΊIݵ c-[y5j[V( ]q ;pAg[ arHIzù\  U -nL08OkR GVZ$.v1*A\P^g5UK2P_<-r~:}|[A>\%OOf͠k rL@Nubpbh%RvDKDk< eDʜ44=$x.VVNKlQѠ̎T\P&F( br^ bZl!'VcM9ES誹Kw;6Yq)ĩI*_b@l6 ;е[t9>v)c5nji4#Eb>iB@òO֓O{&e7  мʡ|++UkCy\XwRP>ȺeQQBR}K-JnњI5tEӉ> hy!ҴYЖK&>?QyM', gAi꼟uʼnBݓfMG;P󂕸: UD< F)حq|0Ұ~jvwAQaӎt~4S%nNa}G*)sDk|[3SAŘ<1`+c$*dMR J!N EJ#V'c% la=,'}`G]O8rֆ""Q(:ԗ^jH2&M/c^sɭmCD D!FRivbH'p_ RО%/; UFADȴ ]E&T HR~1#DjD XҠㅱ[;w .مx>`2aaŶ>uS J̾࡭>1lK u$8\ԼK|Vkshm%g̏Xj 6+UP6 q;"FAt#}ջWy\|?8.Q;N]t]M ~9,uHR8."ꍜB<4.Vv$ėWi9B'US,݃^{>)5yZS2fwὁj2.yZ5EHܙu)ұvrsR$kenE%~<ȼeG-e!peC{:ue# umw38dl3ڱˇI/ENu=h7ȅeqS$i*Ef4/f)< 1׀ 邀:RsNZ O*Uz> (>Qq`A uP>sk >.~" $u\gS'/u0XHŴD)eᮭ~+8)Cڻ&q=O*Z[Miq(qn v6ʸN781o[o? PHm01t=.Kֿۊ'[jiC%KpfA)G 5 URk b =,V᰺;F7<4aL9‘nUV#KPLYx8?*X>D' f3Vl1*8YaJ83Ca] AkOYDs5"bS-'&FtwAlX[KN݌H9:|~,]{Z9Usja8[ 6LR_/1!"7, FO }-Qq8"mmc]+=#& gL4^+| U9obɴ࣏u'6Kq<*yk]g]rM@v .p8~5Q$ r疷be:of#ٕMj+Dl.Rh0O)vǝbFME.Wm4խb_qlp\dy0=*9-H '"2eKVX^"&\V""0=Xq`b]>R|O"JƆ1o;wo) (mWUC@PR+4V#i\3XQf l;)Ue'Ӆ΁  .-xcYmZ9ˠ #GpCa#LF,3y_P3~#?#!9‰AI.*qɹ%->)Upr)G:`fݬ@&bv0kUjc:(b.v/\OVHSU0vRw og[><OlX˳Fj3íT\.8Pw,d&$ $aԡ%/eB;;)qVw[hzqެ aOV6`Dih: *5vr1 h;gd#3~N(RL"(JcAhPjaZh(WM[S+Q-ׯZЯ7EI=U(Y ,.&^@`J6f(fp:? $w#u{$7SqeX)^ⳮGz>Yڙ\B0wGMO2I\?j; _XbG1D ou&F!, p5(^98+{x]FsǗ'DNk1'`ヲR'{rJQaVӔS5kUrB7%~dUm_GRjONBK͚y9/vQ#ӬQflԮo`s=d6 Hg^pDYwG d*Op9jI-0 =' RUU"ht#9'LFiFDl6T8v֡]ޤ-e3|aښ.>AP=}f^޼\TֻR.rP4%^aÚU'#6T38zw H6WxoN )JQMƩE5t.k+VQs &/UDmvt5tgu".zҕ~_E}ʟ4XZ}_L%l/C]G5ѝ ƙ?ORqnX ,덦mCYo%*{g >6QLS{iuuSZޱ6җd˸&)2N2H-ɎZ-.Q.{@v7r;i$Z: I؊{1Va؋F?M7Oj觶;{l]AKX,YZ*VgVp O>r 8a-dS]J1^VoʡLgbk]X!+8VB`Cި\ACa]r78sB\L /!?* #Ĩ`,YgFo22+2_}{nU|GGF^_`1\U#u9DpaY-%-Vj@GeXs'$Vz,1(I H{("W#Gռ茍:g/o#BvXA[;H/O47ZSq\MNW T(*CCrti\t\lc&U!%{DA X6Hv{] #Z*\MFL}c[~`w_+[ *dAўX_Vϭ@rsbcDИɲ'H[pZ34̪, ! e"Uƒ MdäR.HOcAZׇW_sj\.gp\k7\'lrYcE!-]wMJfXRi6b $v6\zi.Ń|AT2skRt>h6u/ׄ |89-ۨL|_z^w h;1yuJ"+\k(ik` Ք)"NRhO.:I.ė%yfㅾErCsc/1^P ͤa/4j|l>Ea3H֠J)V\uu![ b_8/qPɥl fڋLM5OoFgQ<TD6aGBYXnhw2; E9-Xٮ%@!ߠ\@ڽ/%X,X=5aM#w×8{QΘ )sGyU(  ,Ź#N Mr+)- }mDbޚ4B;;x|sښ?!ہ)IEBjq6xFC5g!fU#5Jڿz-a&/_iCC.geѡ0Ÿd]pѢ vz*4*B]M%tAfոm9eI0egN-T{oØ%M-HTUI[6/GƙqYBp P9oi1Xv &LQDXV bG\RT^?LW\E _` ҝw9rxe bRb1*+hԍJ4=*0qH͕iHwfN>}ChSV;G58 ?_D[0a^H0>?N!}vԏY!Zx S%GlQ;N̎^)!/:+mc3Me?͎D?.J˥ e`Sq`UX_~5 {fSn7,f,[%8M^ESmX4* lP߽ 5R&۷\X- )J֪JvI|ApvdM@k3ʟip?L-?V(L_JBWAOh.3k\7=oۈq6YR5l rBA|[]xOGTlaT2iRd#mBv$!YX] 96 ֨dsW(ZA.2-"Eg~#?؊dXf7:r2/36~[ZڢkZ{Ķf Y]áQ 8.D#q]Uڼ.T=M^&t<fÑwh?̿$?Q`J`}I%y3&t4:9duq:uJJFhkfgV-fރ](hƄ*1rNdOBJwkſ = Ka *9^9i3I 2fK9emEHL0G!vÁW*e"=-:xGm]]Gli=-/#y\]?W1o}(jEx¯|'Y"4>[E%>EDOAIMrkh»,s ˞ kL|~U*MPr-,kW7QS*7'J6|UHM'}YqB :ٛl>,1:_9I3,9`/ٞBebmqLq7R_zPd7? Idz4( _CbϏgAa{ԱDHi1B#vr]la9SR2J&wsuVŇbt!-|.;?a"&%@Vl8?A1L"ei;Vgv4Z'khP&ə d  @3XJD1u KvLdy#12MSyӇ[sui%z>Ƞ5x30Soi6USM3vP'~-8/L ?&X-鯅FH66!5֬k`1^qr[oe@ȠІ[ ׻=w}3RSސ7&s;n>zpsBZ͎ *,&l[Et <%vT)! K?rO}_ t\nDj(>mwi]WP)L1Cunb=uSpԔ# "ѧ S@WXÚ ]ZhԽ |xơBH厁lQG'=@Pt#ᥑ!}xQ^wp-=|NY珺oM#/PoG U$NShzB7%AmȖ6<6srͧp¨S^ԟ>5 Μ-e*b"Q1( S&m1s$W[Hh } @?'1MNg$œ)atI㧪ڧ nOwNxa7]q)`rv$FDN xIN vkd]q;x (FwwDis;9Kg.lKMX3 U _xrIUԆXkXn H՞-|/j[(?y,s4sF[(' ,#P %=ԮZ`!|;o:F0Wzޕݖ&fW}|ų[Ϡ9ڀiUS/$GAX5_9C@%ΰDO׳ }8t ;v"o/jc|7r K3p SY}[L 4%0L,PVM?,Q 8 ӖYؐ 0MDtwUm4+%{6X¬s&h/-Oݒs:[屈f]㒯e)8KDUOnʢ#L+SzHCчIT \bh 듒c#SNS( ȼElўS, 9{O_%ywr Z؊f/U hzŰN2ucx1~nD -a;hb(%I}b}gx!`ۨ\eاx!빂ݸtKnbog EV,zzQ8%8i{p,U{ڍ,%jE VVf\vUђP̏Hoh |<ŒlsC 1}E5f 2 m1fUxk67E{s˺fv 0Yws3ewXl# =| Eٞ-#-O׾F1J+#13f0_tvmœj|QûuR6C l(qT fsCz@pҫ9%Sd(.j _" M4+Ri_{ ?YX@ᖩr?PPåxJ0yھ,d3Q$d(: 1BqNzPlG ` _RP=<s3+W# <Ƚy؏PB|5T~-yjwMʀ1K $98Ƚ%%kpQ| C[QLK'{3Vw^ ݒ?G<;aՁes56~(f6U~Y$2|TԬk参 ;mG )[Zŝ1ƒ|/R,ig\1۞AwPNN^?QԆyLPB9jq̾˂Hͦ_F ^ 7 /& Je‡/l:4uD#y<ۊivq#!3uSEBqюc,UaL6zLycdž3(=͉/^vതjt-G<uFc_x8R-q[ezэUMze'C%{[gMt~b@6db {i,V(st0 E`3bZ9DŃ!ߊfyf9e/-)&Yɽ2x[yu:;hFwB}+rء}nEi7>q醨гAǿݠZX(^PYm[ S*v{{`Øșf=RZK b(#(|juY ByնWhX$U_9B-Ok9MZpb׆N{9Q_?Agm6e}:';r7ȏݠ\?:lDit>'ﵺrQW䷄m%_>~*to/G[ HOXc[BK8= ^~f˫jffd:VE 50;ŀ4Ukê:81/ML *-*^Ďx|gEFϑ!2f:z{Pt}\ 65ŨنɀZDBOQW/Z(vY4F{|](:} XB3G!5~ Smv9?gEC&RN"UڷĈ>&l|qW5u:5i TH"Q}f&:>Qwu@&tqF, f5#թ$n0,Qn8)s.cM8E扂i*20#dgWj _~=x|+ %D9ɅiN>oƩ3G[xbR^7 Zo:$α7=@uUT gxvmg]őCw/tȚXfI~[E0yAX(` w?A.V]燜Sb#:7P񈨓g bU"XIpRXQѾ2 zPdoYW#zN!a" ufB1!X:&h HTS%@m+Efޒ@9Ot8*DiW`r%x" ω5 J:ܷzٸa;/pܗym -B'f0}|iSW#֙B)mw Ag?[} ׷Cw43-8$z86v4گa0HqYT7{aV>̲Ub(W& bC֞+GM"I۱i傑_I2+_g)fBIyv҇YřEܳ <y{4.?X \$1^frG_5."?l_-cXB^o꟏)~l yh[2ʪNJdK 4LU{4# x%q]B|CY{ <} ږTO} 5%*FiīߗP3o OQ:4Ef Ύ@/{K+X & ܭqiv"vttCZo &hr(+{z֭r})[9vY1|eQFeb׽Ph߀ #up84%auE+.x*&%;3Xl\6;Չz&2mt|IG`"&:t")%b3囌 m'?bb^r|r@A 4S׆X0hr ۧW7X&іLW8XYGb. | <$BGRDP>6Eeǎ /4OEOȡbo% L'e)L`m~PxS ` Pd`?Mu'>9hrx!m9NZ:M{]4]?h*f~Db*m 7f'#'w۾]|8r=°os!Igeż#Ia n@^Sʕ1Oo?k2w \LMUԓEY>\B!ϊ5#o 5 dҚ\6rS۽hG]F>E6)J>jR)ߜ%=# = (-nI\;ٌz¯hM n/D?ۗ:L/aIp5.Fu=~pN=Kߓp ItZb@ɖpR߳A z.JSY)FwgL >{Uj$ơdkٔ;AрD, f_>+#D|!_W*q97:rՀF'oU+?[nQđxZKe/:PA e0*L%SlO[ъ=pKV=nczZ/d6W /3$С[5o)J5'QG'2<7q8$zWZdk ,y1;MS_O10915{W=ͱ]dX'%H]I} #7[p) 5rQ~ImB߷L'P0YN3[ ):=@ h5D" B7 kML~}=>d(T~‚lB?qNrѺJAHJ.x3>N9u:y*/O@܆'(X SA-,Z(5-iJ VH-[QX#?sҫN*kfK-I<tCܒہOP&U 4N-/KT>$TCח [VǙACbq^8U*hIGC+ bnFyQV7+PJ}$C Z﹨lThʱ*4svz[T"1GR+jO<u$sG{eyUm.Ĥa)3}EnpaE!Vbӳl> gi ~Z< L<cu 71EҐk9HLtټӪmπ aS]'Am&=5l¼ )au̬fqb5>8c{h5|QY:sׄJT!&1'dx)jPUS;tN sU&w gh"Sh^0/.@L(8i'ge& =ԫ{{v· }Jpܾd1%HNuAm !Z<\^]52FqDgh 1lw~v%!N:'T i$s sj?m 5f6%q5h aӳUO>$;圚Zgq9Ed)K.Wp6jpL)'a1v])1tCߞ'q!QH1sRs 1.7?6,".D9%,-e9Cn4m- phNl0jxaTAom5~usSԩM}nޒHZS ^S@YoWD 0 4E `Czq>צ qls8'cܬ5*h!87&/ 2ȫZA"pCJlKh$:.cwպX]GԄ<U6 yҖ1|Il;d?&nm-懓RD8[u\6ϨyN#t? Td3>kx,čnF)cնs܋ ;FȽh_~U".!0X(HOU۝ĦQϱĖ'hFFBt`<+G@>8K%ų"7(b$I-6)id as0M#xѧ]Y2C>|G0RŻNqlc797ksVP zFYlfI\qr ES%'o (?/Ʌ)zO1*oBj>+jq x]K?If|%#mҬ 4ygt{C&V`KKoOTe[UQKH;ҨI;()( kO | /o|,,T}~E4G4z~n;r2Lp_;hA)D= wBXH3%F% Vglo ݳ{zR,(;$雞k; ?}]zuzebiv.*Uy, 6M>D PwF2@J/Gb?O:(TCVY3P؉rawdO!ld# D#5C*ER7{;$XȄEP6!}iq@􈜐$6hpգ20}\P@e[5?!\d%m)SP:;q%|(=)QpNנnBtP;2sd:SV40l5? φ͞kP8h5{ˁ~y,wz(M +\ee倫y#sGtmձPyU6ae0/(XP] d>cpAsGDYEPD !%vwpyj_*NO=tEدW*77~-{!͆C[x5Q2$"|[g*4xy"/hJp?O*ܱ݊ct7,ƃn9" Ε:d/T.N?t9bdiuvu xYxe|m5T(KsͰ/O4rn<򕷎wvyz7nNY$Ku݁ /ڮpSZo@2$awŮjS.I7ސFRO6Σ\dFWu)6 b!LϑIr5eaPXJ<5[fK|%RJrMhq%"]{j;֤);J̡ߏO ܧIXRp1#&fԋRɧQp+~&d%pcԲ.|088!E4o`ُP,lq͏+f&o:.Iv{ ^^'=^738A0rvYyUl uda4=n/Ye#J̈́?l:ܙ`ZO_ /1CK5ͯ^ )uG[p.@ qP؝6QfvVw@TԸa\77(\^$|߫d ω/)P}%7<&ʺ4`z;X,O`{ؓByp1- !c[[/ pi8x LYUӤd`>Jy Wp 豐.\lbQ!ٔ@1,>ZxYGgfGQB_DӜwnqKs@KRE %#)Xު.Nv g-)FNҘ v S.81ѵ!Za ɢD+0a (_)6Im' 1$]kޝbIsrKoHb+')֨az1ZĀh^C&^!wsTDGV>خ8wC>3GݪDj $GxO^o ^ 'x3F`DE@=t;PiuCzD<w$NiFJڰ@yN} 9\]_F;9D]AoXD.vXqMqA6)BIO\5m,tU̩nXN0R =6 E ʸzIr6i_)zGmj~hLI=/0WY?=BS_5l781xLF5jBْ',:$}nT%Q+hIF٧9ɝ\i3/c8ZN'.Y(?ˏ";mFvh1./oYo*:4j EiB_~wŃ-2^^|c~pp_Eb!7W煙h3bsK[Le8%`qI:m.>xyFAhs;-akD6nH/S>x+\- ξ#æ%)Z6AM,8YUWNK%ԼyRPkatƱCFj1(۰CdҜw +8ƵfAȍ!m=i!JC:& GTԬ/+)쎕5-d> Jd?Zu-^[xj>{tw\y ہtXzbUflPUO ONŽtW 5>FrxJ@x *x/ 6 /bS8I7т d'1E}/rv!0z'Q PgNꕺueF BVז7'+DXGxXR>cߵ06x΍[dH=@g_5yjN<Ž' EhƁ\S:حN/A.= GjZut[WZ@nuI"TcMTS[ip]gڳ*}5YUm\rKAQWNAڥיZ8VMP)*ѻhPX'QW)G?Wt9X,!U~3xQn[1ߚ Nxpi}ˣGdKeMՉ c'yOj3hs>:@J:7KƝ`&4P"U[s5_u.*"ƺ' ReIZ-Qu.RyWRxu\߉7k=Tj9P d*(婍 U.]Xm1Β<5(DFɆ P` l}t,CDXl 6 m47Dsf7kֆ ۸4`Y 6 10ĨAkp䞋[Nv\Ko.FQ r&;aUm!.GvZk3n{utumj3,m'?l:FSr@(Rxr<~NJ 3MOhp2;dJNeP=]|| j\D$i+4dxI>O>Uz|>ʧ? >&9~!3#Bv,p֥'2yka4ޤ}g4s< MQUK#kxLBvv4[tUzB8PgْLw(q`Mz.?o|hȸGUَR*rOu;g%:fG>%+ƿZu *p.}>[H UT=X=<@?+D>ofyk*KrN 9jJar bB6ؤ&A[`q)nQ#_8@SJG9׬`HcU-DʓѦH0L ".M Ô.}䵹f@ s};27$8x#{hgUƑp\+Wƒ>0< K4~fVfȆҪt=w/ 7U$c'ˌqQ^BOAÉLXKSy?Z_yAJoB4h! ۍwrWY^ȵ̀'vgYZ55e7da017dc10c255250f0abd04500916629a02202c004c6c9aafa82f15da682e96a689a5860ebc7 eaef017979241d0dca2626b9e34da89976cc0785 d5af628330df81ec4ba77291b4eecc5004486b6e fcca1888fb12d6a6fe01feefa1b7913aa87a7901 52f46736d20dc86f7b88c4f32951473983ed5224