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 @9FQ)o* -<>$Rd/fPT1fӛp&_ʒ&0Bᑐ-jc'P-tk1+EUu(6|Ъ5fB1!de|֏#H MxV_ET!R`.|%Z  ,rt`vbԦ_:ٱ 'cURŜN3R 3?1Tg.=9{:D߱jZ9z! ZHffd2o}pdU"x[>B \?'Ć"ZO:ȗHGT`e6]eVmjE;._qM.ybc 8=rzv;-$ ^|HFVzyM쩲K\Xn<R߹9@G.zuB?prw) Ib+eLs;܂K*zCML\y~Qg8F:.쒽׉  NIA1qܧ<]ԐnGG}fGt%}F4 Y?oo ByE6H\a RTYYbv t Tv=~8#/(YDC!k,e8u_ hyFW hTUVdfM LA֊q{*2rpDs;zϜÚj7=!Qf4+yu@ÕWBpRA;٢CS%Nda/ipS_!t)lwiVHC uUR0laN SUb46 .:މ\I+1_INTj2 byV8,K;)U 5ZQ?:ݠWA bAeΝaDZEH/ֵ{qKܯpϔ^o󧸕S6|aR>4$SS {Stv\o9tZtZ3-$gYp@#ag$Z" 7f}47gfE4= 8bJ ؝Bdڢ؟8,Ego5b [ǴatAd!/ 6S,"UCdce0=2P|!7I9:–oaJ!ލD4PVƨnQ$N(\ڍ\F: ﱗwwݝqGicJ $kFi]-#rT<'ۦ1 %|`⩇ D놙g-Q~h<_wGLZݪ붥N򄿍mFQ>qR1 [İ~}Jw`מp1 N`<]]Hݶu QTBUۺdAvcw0U9&iĹ'8/UNZ/2Zvn$3LKHKXXR( G.xUCxיLfu8a(Eh&Tb7-ڱw7(Ke~-&qX8q8ݜ{P4*>90"H*6)!Yf?Kb=9>+&_kF5G~u]8Rس86쨹pZ Eya冟7׃,wD/}e܂'-!tXz:ROne#LYCjigU@{k+*ff <)*,1_2WcD@tf%ʳIF}o24ԓ#=~fOgnfPOf~Rsbl]YF|"6Yӭ͖9"̦[ITeԗ$?,R)>] jWnu)9&#'ƇnClQ20}ꭧX7,2ݗȟok)$ :pd&p`P6\\ Jzv`aYu?Ь]TZ-!Jʚj%qoDJʒK${VUrY㒣n#Tw+o>c½I wZMXwKj"}^)q~m">+ O3Pj>kk顬ϵeQ"[{P ?肬1QYnso3 9 HOL-Datatype_Benchmark  \8#(iφ@9.m<<T<­a9eb"bR_0Bײ_\an` ֵUax‡Ҏ!?+߂+$[M SO@Gg"䆻rVtи@ZQpǦ5):cO*豰Z2"NCY~)F=sׁ \TIXt&JL~E2NRyT;` ">;@X&'ymA"i#a9fވ{oq4hdQ =$qv*g- 6`"Gf7iۇi𛐜8ֹ#-K4DG)ԭj:5@}9GkMcRJi!fb'b&`PZo 3_ < f?Ey9$јvo.}3%yG R,\ KQ}0;rW Ċ>bZ/|5ٻ} v/mޚ`ԑC,-c?ZJ0Z 547.@\r )cZ~6~[ǨCڴ>2 s\ :a,6h#) V{k"MprL,b+r0IlO3sBIZ _-<6/')8uU;a P%Ӊ,p>QFv!Q%Y!8l}Yqi6aգTD8v3Z QanWɇY }Ł0 QM3yeed2jqBseH.4 :ޘ( R1a(A'],ި|Vz 7ukBsqҚKhlؕJ|rGXcū@l"4@O9z(tf&b;)DqwHPa~aSuq76-Ci؜X"Rq\gb`ãǑuP?_HLj@ M8tbߒ: 6+qKAI 1P no}FdŶcZFKY@#$?dW:f 1$\ ^Ьv K% p9r2X<7)? g]ks/2Vם? !B&17n|O3VOi|hnΣ/תjzeAD !=_2[Oܽ樀^n\mpNYɦubhKŐQ0se<*f}jm^P4VE5Ye7TJLg&tx5\eCֹaiJL޶ĿX:W2dhVWUc!+o3L|O}ٳ.ylG1LƃaM <AĄ@Tul@EWu:n*yBDõe;r^.>u}~8a-XEi= 0z(1ϽzYg5m!;}][ @Oa:g$RVZ|H p5cE(&$ /d`^k׏IkGЪ7@ʋlQBt/g+j0>o f>StfNOY%'<4/^Z(n!\=QjH4xTOZ;7"0)>Sy%R}I@vj"UlT3(p fujȾ<ކ *,M2԰^8h8fS3=)+lvo%}daѯH0 k(l`][-Ou{o*0~t/65@(.  CtS2 7غTx@/ԈfWqyqF:vO2ř塲P* S|Mܳ][ &ȴ o r>}Kn}h(Veӎ{ؚ>'ˬ=aN^hqOIZ ' HO% {3EzmnB"ޮBx5pvacqQFGebVrg;fbopP:\7ʋF>|BUq0Bj!fE.R}`(3/Ѧ.Sf/x2f3G ZF'>-T3J},䰞QYkB+AhQ6*91p⿂ڟnDG};ʊRMj< !6UE jV1ېɳU@+%(;;>Z 1fճGt㠰`Bђ D&\]֏1|n.0l.= \je*i:ݓ>Iv)UU.w ;sqaRRv/ma BcrJK됁< m>ld$^Tܞ4'z;3?VR HVۃ*t*!ws`y:DI\$ht)zU~^ 5/tS[]IL~@QY<<֜~i z6`wC) >vݐQXaH H V2Bi˸FS|Rwm&$:xRC^5+OX~ nW]Ybx!ܬqv "wɹúH,E !#KLł&yL];_k0P@pٚS.6+98}˯.BED$IJ勁~?uk Aa=Mz/9ƶӖ5+jC ulݔ27MlnSZ11oleoXiM56x/"Lh<%Īl3or qk.{Ƌ79 B׼/uhjT،>te/~woix,"{B>`z`fLZ^82ge `Pg _Z]4QUg$lsdsM2nOdlBFa+J`6Jݯ|:w"OnA|yh Q0$[0x,\qRY8C*l|o[-<wYi+q8H bUbB3B+GǹsMUSb6jʏYO^[KzC=VtxcՋMHPocuQmj:kL'l<} zE/sf\Tּr ݪI2U:k0 05'ݯyO$'J^]"0 Dɏbn('ڟجoI|1׫SJ7 SN_OF˱jC#еZ^1pX5ѣZYtaRe +Vx0D$ +ܤ3i#8x %R)Zq4޾6PJbi\ƈG`k N^;y$cMihxYۣS)fr Z5ZX 5DhDm9)%lKqvh9!I=9}edQɶE( I}傘}eE#uEVMmg@S8$z#L_K+6oE(aH$SyrXG'q2wtN h x|t;Rb [q\7gzO !E<|RZXg}9nI귘V~H}ټsW"\IT$ EǗdf.MuKHe$ore(@=zW5E>pN~ȇշ Z vI8hߪVVZ~s(9E g=C iU$_V=~*_h3/Pؼ p:mhZnX<]^۔Pf]w]"#fA'|8"cB k֗.3(F*G2.h^a;l h6Sj}S\YqAPL}.vqci%?1:Eݞq |='{j-QB!I^~6t ~o _a&QPCV=)"\h(>/GWKXLk2XL xh)גb!I)uп蚬hdP0Vbr[iSNnW0.+#o-S·<# F mE;: HDJQ<bd,gPe>۫H0w2fIw3ޗߠ7P8=#*zi!gCiW~1JFFMG5e2MɅ ^HaK4{f-n$ҁ7,|d%7p ;$Јq%B%GWn%8dK?\%ITG'󂉍gVqI$CI =,$eVէ$U]gn>|Llߵz| юmцTϜgܰh$P }7 eE•E^^~ԨL))"B&j>cl wG)Pь96ڕӈ&oXV}dU}, I^7}1ih1{4;4M0rfA=%^_:ik I3cǵt0z3"Y3F7n=Ŀ}&ZFۯ3uUJ`zP>)i#[yjѸ$ZS^i 70vfDj?HO9L 2/֮gِgnYޯ_BF DM^Z̼gʫ]![gYcɔH1,br $UX+|חV'x3/mHMݫZZY/;V$}Ugr %ge{s J@H8GDV2U!![N^ٔAfϨ!K(20qj >/T:Q~GItĻ8jOW%JH?=@:JZZFʄaDQNsv%x0p'\:` Q"Ze7Z!4xXzl% ݚ.d! dH?C!ʾ##1 \ܾOp# LM4`|&w'5mWM55qsyDlȨxJ*8'%` Ac/swx#|ƸBqdVB|^]O:rHA30 Ȫqe+ud\tQAvI8No>`\aޒ^^GQ_9醱iڼKG[T:ַxQu)5Ք<>[p'}K}ti[t?FO \WݩQ0ߘBM8aԖV&ms,\GɥΛJ(4dL*HPmjr01KOtɟS]MwoJ2#w##VvL ǵh%m{%u ّXZi6m =7oʁ =D =̵Fp4 }f6("]U'96N\% *>HUAbcr]E@G]X*1(0 is!=Cm2H81\<8O| !yUdb%q7) nD6ڂJA/dRZҨc /AWt@Ն}A{0}#d -r ,u(S"gVׅf/% &$p2fZ,ȏ=QTl8nY@I,2vbl\"fж}"+xhZLH3]$c}A[_꒷jY0[&ܮ`M(:|C0. .5~6}G0F}43OOA8DAMIp޾Z؇=0AUUQd Ƽ$zQMQh`xƩIұs2iw/0EYY 7>ܨ`1zmpPأ_D t9-nFxND[Ps9Y.>l(݀R9HȐ.a:0Ml53mP sqV1,~ZY/ 8LJWD?*V !~u?(܃üvs % jv}x+*I,nBQb.c0x O6Qf7rGA2Cf{E߂|4`dm=/[ ܪ Tb ^Wr8U3J~ rPq w.5(D4&. Sх&zrrpUWXKH+yB;~\PAdI0}4.v>z>&3+VgW ӂgf$SRT&k;T7=`LV pDxDb7Kqq)(fYaEt9 /Džтdr6[|4b꿑fqwaZ6lM9_!焵 j!QlVn!ғ)+<1߭I|KؖՎ%-ߡ:>Zh2+'R窗hho;2qb T`11H4pA!݅2 #u|7vmdqUH\Q mKr87PB} S;CM~*i5&[mZ#!En..&eHwXjL"\M#;$B;]htAbsYmo߹z$W)+>" z_Vn-%MZq[׼,Cy=cin%R!}f" q hj>h2H(R:R ('w}%[ϓg[{XWۼgy:} U3XĨ|zC0 Xxȏ<X4iu㭪:f#'K$ ӒSS`= ڣ7bӅ _'䒾vM赜\n+:t6-X[/lw-04 dѱ@Tox@A}SHpA+0G0` gR%آ3|F,λT^+<}G;1rNECx`(]Pa ȗSA ss ` Dy)Ɋ$gW4Y@GX rv]6LQ0!|4cL1%EXȖL=޵ ,,*9?~̏Ő5][ww>0P╂&bpo M@Dh95hG]v[t(Gle޷~nYl] ܵ]<gyEVW."%sfן!yQK7n*aS,PN闞d&^sB56󔺖wt2;eCwQy.PЖvbRfu5D ;"Hf:,OT$lO>APUAQ>j1TיйWS9-?Gm5OOT3=@) | npk"sAc ۆQ ۅ4hixхzrCaz1R#OB+́'Cu,Q>-k]Vx'0Yb紻ю)1 ȄӆbuV0"i!;o^Y"(}ug`O-Q p+WIs:`{4SZyo}ܨ6^ J߃+2tfpZ/[ WLmϨ.>}4[xȭ:7fD.jxvL(S̢ȱftݣhp *(,fȮ>xNEXuos{37k& BBU|\?-6&-HEA^c-h l0½kԋZ "TN&o2L ޶/5 ,̃L(<'ƅ ~ 6l,Ea Eå&>)yrNӞ V\6]|a0.#CyT K^~|1/?k!Yo 38՚ep$$HȉBPG,61aEn_pk&+3m^@ըq`t\Y B\_В d\}j]ܟtO[`BUc膮lb0A܅,",>(Nx,'SrdZʆ I3qB?@zff9Eku&N9;qd'L q1u>[ 蕫73r׈ ,O_e3ۑxՕ7g`*"o ߿y 444#O(cw:ѓۀI2@ϩ’k﷢^j*ϹA㉭#u-/d0`W1 A2ݯ׍ah/Yϼb~OfO1̗%|F %". N? bعpjvG|~<@e L~_7"E$vd!8F9I*B =B,DO1/'C$d9MOwFv!PT.bki9~pO4{z ?&u",7|1'a+9ӍIrL-G$t-ӯن)ۖLlz1ezRΞUOIfBR#56!ipEnQ! 8-丷"RjRɄqjcET ա۔vVW!.C gDa1wq5H3)v7#'` j됩眈;x@}孱2.<&MK#`BI)~#2k,ǛS*7KeV T RGDDiI^Ї^v!IHbh{pcjJk8<ؽ,\к%e۰/%^EhnSKN2n5>Ȕ벝A0_~ (v>%Խ@r +ˋ.1ɏ߁OGlhQ(ϯ2 8aweu:fklֹ͕)6* =eZ);΢qE؎b@C@"d?!˚,/ڻ˓.hY@EۙſC@MLX)\IJEvZZxXrwOw&N<}V*(x_%Cņc:fPe$9"9/j4K,No}4p4 u@kAr|Gv˰vW@Mǃճy[axgL‹Xi( mc{[sWa7VL$D!W!S1{,r$jxI0ЊD,fH`o|$}T-TUOb0KRpAMǕ0WJCTPtՒe.? l .yn#VE@4)vi+ cFȜ23nܝc|+ cL))3ƸME*ytr,o, #_rvWo)p坺tfufdmi:k+?hVS; ňQ6c1VfP/:4i7dEK›i"01jӢ'бVHX̗ GjHb;% 2ƒ ->'x^*2v#`O|_\$^!սcxVȘ5w7 y"vOaYف"#4*ӷԭ.`=}qFk"c5ۏB y81:; ˅@ |/ I{AiMq'v1G4c\5k3waٕ+$qN h+r7_ѮѦؒ&PQXv! Ebf@OmxZz սkS(!RdtZX3yoA ue_$Ҳt:gؒFtȎwx99f*+ڽT p6#:)nePs]( 0lԢBUJ} /\35Ғe^'\ VK/{@cIQ' M|D 肫]ne|JorR7ҥ5 @ 2(!XzDeZLē$Uu5#~w0^LfVꯧ3)?Hq5E1av9e(dLqo߳j.Ch{MUr;m* C8 \X0ml/QΤB=B)hbߨEG?_oKU;6i?7I Je ͚ wזE$6= TT#N,gF4{PWM@}q$.RZU ~ 'A-5KM2T-{'Q494 /˸l)ߒcI=EhQ I!IsN@QͱgHC?r5K? |R?%f :`lMH1 |dl|m9P!͖~BȲoxnmq(5lD.,?DS*'eC,qcE7$Oz6SY@DGH8YO$5w4(iD ,@Ȍ3o76ܞB:.g5:u"jeR7l\MwiCm1|B4J/mYN] o#a?D#]yI^QWq'`sy`ʱDAi ޺)E#.OfPmɷ&Wb|k^0gk8깞`pl/{9FroLxr:T7a_g˾AÔQnJHYj~*/hu++[y112rCx\^5/31 7@IDǩ15m*iօu23VI S0L[Qg=sD~I!3<~EL[]i/EB-e` =)-ecЛ 4dؤroa}2N XhH=x/ۉ 7n53蛙7v9۴b=si"#oߟ ,zEY$wBb.MG(?F'r/zQRR[#'|BV *hDXxh!x簆A+L.Gz8Gqlq0M=t'aOAD["PH"ZY^ T%6%ysF.{ij=bX` lΣCBWs`pwUAWSI,=Gd櫢x,mwk%M ;{?iaXlNsHEIϵb M2A^BaWF,-DLCa_`BG20~cXsRQcFC ޣO#g)NƮZ.j.xB-,k3 < ?ex橄 ]2MH==}uJv.!4W^}ڍ~* Sq?eB>5v5+,_tHF}K5c'>AdЖݏ2:1A/./擅TpnJvb2%:q~1 uϿ[p(m?iFTtY)At üx{2eS\>+^T23ƫd߹y)5UBH\+OV`UY(s7- $'Kw݋;Wzh`*H+4љќ&g@̰uyzι!H(]Bz43N lru_9n}zdm|bkԗL([}6J=Ӏ.O|pאr;^sdf|[<(.NO?GuKFY!V|SXqsј ӹRi0Xӕm/S<]SC>x6p'sիj凎k+d$1]@xyTH3\ϳg PôX+CbrK[O~'쉺a,\:M14B٧ފ̼+8q adO͛J)~Q\a?m.qQը/ l.c'iK'UDh!D=qzArXl\Ž–R*vm(Gϊd( [6` ކO z܄JJ&Իg+дE ?p Lt9l? {x=r6Хg3U%'y=[' t$H 0#.*e5n~b؂/pq~]q3dG.R'[<`tN+ؽ5^nq .nh= b( 0>ڲ. 2"N^klu a2]vd "Ĵ>[xY/_hYR0M*Ii`Gٓ QneC@ &/b5>NƔH=VAFSWf?A  TT4;iŒ.̚u/i,WE@94Qdƅ/ȬW$8rqìZ֕^Hv%NLc3r| P>-Y9@[k'o"js3cZ޻%OB YFc]'7Tr`I}s[ɞgƋ1?YO-ȿvFgF Čb1q@{oōClhɷZkH`eXEy\QNܳc)3DhAt`d'@V2RdY\f Pr.⫐ (?ǟp\P{<#-R< ?6eDDz='*rmZ9kU2O u Lڪv ${<ǥQMO-EpbVI^W-%\=eN ~'9C6OK􏴵bphgMu"J'wݿwW9iIxuJ`* LHR1C@?MC2 ft1 SҾz"? _ôs'y / TDTG Xud9O$#( %)ė;~@uU3@d8τMUUn0w(%hlF>Y78Iɭ0<Ղ~P_C,7` _ eٔ]?f]+@ɵ`s1E>賯 ב.YUt^ϺԄhqT߶V>9*fhG\$*b! ^l x..fq(.~a]6ԷIvNi$ZJf8]&/ev3mu.1ʡ 쒧i Ȟ$:jՏo.w b eDMۥIjP!>Y'}`4x;6UI8( B1˖M=b'SYr5S_qE{@D.m1I o8 /܁%bQ$74N/aj 3qD6 /|yέIeE'&?]6)Ś7zGvJRsY%-PUȧ[f:vN>/mX)y?I:0ENxCF6یQX Q/SE&s  9 $-!zmTc|Ѿ%Jh@k\K/^hTmڮП;{IX0&7d 9L ڈ?©696 rxMp#(+ץceMu'j +8*+Gy6M!Y8AЃ >FҌ9@(tt`k<ikm;SkQd nKc47K'LE42V,gꖃPF?#| ̰q?i(r䨔OǂU{h Oׁ-E-ߐ͆rKj5n矂rٜNg3:+@}1$S;Lv ["tGNo\ܰQTAM-c-LjPymAP_VK^nTID#5L#'!M~Pk'b^a!$B{y]-Se56n2% |w1F_:YB<`$SfB.Fmf6T/rOΟP&OŠ G[A!5ǥ;C8h:e:yxzg=#^6Kc#@"] hdMց㰡av`9t?`,roc [(hqNjz.;B39 AsgCܣu[LR-~Si\ {0T2fsmP) UuZT~A)!?_2) {[@,&Poy8&W%BGAdjC4 S)YzS{j2L?xN)CTc& qYBuW!jg$i#:ˬr&8IH;+Z֫kIEmTR8QQu^&*}#eKWޛo BCp+`SM?(L9PP|n_a*" mqCc`,\I=LB J|7oɄcQnbƃ2['lMPD)vzJ S^[뤸]UX71k@Ol!rP,rEm},UwTT?Dcy TF/+$Cci|&QR?bV Pa+|u 6K~n_fpз}'*-. oj0JK`GdU⯁R+0$fݷ_#SY ۲̱a]=1~*'Τ.O>^)[aTAJqՄSXSj~lt[#ҟٟ﭂$T.T#"]6\Sf,Qt@(z Wf3tCSm|yՑZlQ.~&VN c4.HHo)dq8:t("dMtX4|-X?p^]!5Tx8u^ȔҡG6.í4 AP:;P?i|0 KJI/"b 1;z&QU1~yj>#tZNpo\l9ԩlY;8h#A]&g3$trusEFrJ[c#m-sii V;0:4T\ʲixdE/MZflIyqX(_iW'LSgHM{D\)0=6dWM^Kև1J'Mm!RJx),OIk5OR)tc'?;0fxsR5 k!OVCpӳ#GmtfOL1 m4қ [/Zŵq2*7QR2Dl^9|9_8^>ZVlbs'CƦvX~jt=zu4'Ɂ/Ú̋ܔETI!ɢw1 ^0I)Q=Ưʎ*'uaVR&/NL^7==H y=/V>Wbc%KI"' v<[ .WBHDZx\ Rk/wU1%OcD%OTi #:I; ~ĈF(S_tNJX=sJ7iHvVU˦8޼ XN[jFm躜,mFDUÇ/˼f}a^2DgJ_g8 EE#B9>cPէր_SD% EeɸuâKF[T{k]C@2EE'X^%3u:N RljԴCp2'0Ul&| C <Gp)|4m8#|L+38BQh $m*ƐU>"Xpd(lv4)}\`(>C_e('I y q삂z-sl; a"p. ڇ3j_U0]n,} j 4XFY9rG\][XbP29 #k|W_Yz6ŢA<] ꈋi[%2 ix>.%١}:7naRcg Rsf B[Bgm%kM}քL#S]]A-}k18;Zq>>fuQ-*je//aǿQFe P+L >iv1/9!鎼\8?HRUHֳ. pzkE)w]zZ`I!ǘhP)R-sUGuR _(&DG8`.- %5zR3l=3䌎e@-r R5UaI{Mk!O_َ{ 0gbikcA wBYDpoR/YJ#A8K#GH?F2pw3 Ufj:H<O @߉1uڂE\MrM0-V7!=C#a mC}mK,3rY沓^oI']o^†ja9E&Est< GҎ\bTݤխYitH_NqYPbjP~ZF+9T?͌:<{msq ]M(tD zEudod<Ū&A _U?)\ gܦ7_F{p*lb2Ovj~  dg;x0^|!1}m()IN#@EoZ3A}DJ98lhѡJ3 -MߖdP"ɐ]ň-x 2B/taH'9Q#g2J~X&^Y 3zk'a,5A bpHUB*oVz@w!J++0O^+3$@q4^@#Ԏ1!WG%"TEɈۻ]>B煲ڐWt)7۟luFN(BBw􁔞ȔH))ۃTl**FfiWOIfz,J~)u0uv-5Y_q6+~Y%#Lg\7Ųtw/~=S5bk1M9Y\䜖<&e/u5?磙P #ei2Z ;MmԝAKOVZjow\PL3Vky@[AwB n`C?n6}auM {NT Pe_5&*Nxb #b@ET¸ 2yf"I|+Z7O}1ڟS9$ :ʧi-l (4}N fOܻ|"`U+/8f)] ΢ L-̮\_v5vѱ#ZMnua8w>d2]$4 Lo_MT&\ӣ_W4Ϭ-ܵV1FOBT 9D,;;Iq%AX. $ljx{s;CQg$/SE E\l^8~"'q!qf|~!_H3%cv""SP%ǐ5'`mL1Y~I ͏3Nj+uq3QB3!";<ː6} ]pTGӋ;c[y"8`2oԲD' )e ti|3 ":[]GSL?Փ#XOI2ÐHp\QJ؍pq蹤j׹3~unpx&SF1hPGdM߼&k2S7&v09nYQ5_q~iLʏwgxo.Yq> *?2y8MClQ}̠qGv4&s{wԃӕ4Cޗ fkE?!(+?Mp[r(#O0 ')n8?іL0ZBInq㡫UlD~j(CV:wJv8<O!z7sA+؁UeL"Ќzi ]g QhuEhR5i!nxFgFYm_Akϑ74eknP.1 Prc5EMMM]GB?vPXde4SI(,m/~4!+k 'T+n ,T7=JfU%{l,¶;MrIt^?Ї=N,p)RJn=N]~ƛװɞRBuܔp b|HХ%{%2V0: H4Gn8` "Зp*[i1 Դ|vM ӨX[k{&9n>7WCTvN">8'a'<&(ֲ>G >4Hk^SvBѠ#OVIb (2{0Bt< żPx_C37l)=E20吒Ѭ}Q XE\Il ux#uY⃹ ^i! F^2QcB1 h$8 7D@#d`^N;qig3D2Z+(%pq64ta5$A~sdѴI0#:#mEl|z&,g9]~=ҋVAu惀RM#O:;q=yg/{"~MbnZEr=w9Xӽ`CErZX‡nҺā>QZNaUH 5?1F'~=z?JsƧJ<Ӎ$RopNGeeՅ [t˥ՑbMMqrA MvJцYXsWOn@?f{"q"Q>bLЅ9ٕL]3JQ>z_=n]8ZQjӾ$IV:5AnwpsBpHP{2ضHJaejb8Θ>IiEf]s/*@!gA@bw@F8&egϞ Hv뙦H3/fvd^ xh jqP_45]C^j8!onh&z%6x-UFvezZV60Վ+2q>q7?<ϒ|=ϽH4J>L,f;Du w="2BuuoaʀcjFz‘ uir *6)z6Ă%R;HyS,i'z(kG6&tG| t>9_<=w_iɮ)n}tO(>jz42QgR8%Ӈ aՒ z8 -]"~kjn [QS&`P8n حIVŞD+,<Vr;?~VTC;TLY >w}XQuza;XAßzmZ4@fgO ;1xIHlv(weڮ5: !˲Z?] > 2"FMQǯc45vdPVՖ-Sۗ"ɦ,=DB[E㔆 ZHS棅CT!Q Ttb +X Dj|"IϽ2y#0'1 'LKP Qd">/'ݴ0mKɲPtpvdØL{`%8*+"N̽bm}$&BEIV@Ŷ )rQ_%x ?Iu23Ъ=|URީi^H/I()2`j_hC4 *5, }R/>qH|;&N<ڛ;rP؏fGFް܌)!;2)-lȔ$f<](H7YsE7rƣE)IZ@=ZIjx6ɫbLn; v0ꈼq"~;GYAh`L^"#*J(`R֮jk=0,iyao *wARJX K_^j ϋ%6 L]r rA_Ꞻ^mpFmΏŢ. |8=F 8eRzۦa.RK&ڟ]#15_zp`X?wcy#ޒnngJx3.͘.ಉiR6L-k[zRwbn#M_W7faqrb(5$.Eѡ+>xiظf.Mw1S06d0&fUւC:'.&6u§>!pd]q%5ByתG :-]\D7)m2#S2tj'K t wT us]@re~\vČՓ谼]^?Ef[ 5wĚq^4-:ywmX+tcR\&෱L)ri$Q/Y1:1]d63!}3 Di%4esz")g6 Ne>BbءDH5}动4+5ć sd Q#2ƶ{BK"%tN F;`T/4$i0iR0]z8zl¦ !Eu.cFQn_U@aYcRYl.Kg6ӽ e-eW2xЉ~ y0eXȫ|İl- Sx T \NG'æ?Qҧb;|!jX #mRا l 8-QHfM{)bbT>tRRtB$+`E8 hwE-Ӂ`wr7<(rb],W_ئؠ"ĘC}LRVoH#˧#**sKNШ;!Ig.iŃOAHYvb^: ^C#-)?4Gɋp^m\Y4|u.w˸}'m;(DBOo71h[Ls1,Wgţ*,#]he(ʗuՙZGݎBA( ܮGꔆHPVMH1.s&g浡 I r'b|ԛ by)agb=A}ŞM#SttDd"QDٿNPR_+֐EMtc^.wfJ∐2 (KfТJF. E;zB2La,|xjFD5$ƺߍ<бgYZ2acdc1bbf037a1796a2770024b843483740fef9f1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9 27a80fdf367af8eac6281dc27ec1d7c6dc00010d 3813e724c94542385001c5c6059f42e7d9acb899