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  + |L< ] ZF-UNITY:threads=6elapsed=5.975cpu=32.108gc=1.316factor=5.377zXZִF! v8]ŗXiɟH)0%o@ƹ;L%o<{OI|#=y2,+'_Ec4Tɔ?Ba9W}YIyj{ <Φ=On:<$ ~~zY`KOpYx3q|<:tXf#;`MFͼwYy&[&jG Yln h'uI(/ Z AH%O0wZk\C~#Z]$vuc2aohR*tǝEA9\,Hdn>/ ظM"3xqY'Oʗ*6  jf%Y3ILCN4ī298J;s߸R)@.pB0Pê 72>$mJڏ6MLEy@\ &T%$FWzHv6ō|}ѐwP~N<kMsPa aȭQd7*$~!Bgʝ|2Uq}yT:oknUH]ڂ-5y862Cִ!)1Sɢv}=~fm;q2 jJ(Ls?b* ߦngLnqly{UEA˪x IC`K*! 4!Cnwݩ;fX\/Wn܁fukď?M <ٍɤm!_9M%ɩ Ԋ GqKx^&n,| ό v a+wt +iaɧvh{[+ Clz6"eOW[$,$'cHHIs!|LI/!Nm+,&QƂkB31jxq[3ByS_ȅDĔq+qi?5ǙpE$By;ԛWUyc) ?<&\gFgFnXh\sUk#%_]V@X*Wimզ>Ņ˄ K~i&+]%dŮщ D|$< h[Ӕ潛 sb   ZF-UNITY  2>p|]2lu25N\BN@N(ROG,ioUa /}2Lf`+u++HUJƏ<0KN 6vIM24AͥD в߇" f"f?O=48Pc)M)a֘eC=+Xm@2c?P 42#:JfD%pEAWcb[RUp`j]8͇aEg>O#Ev:O-%]%tYb2+qʨewLG RGa|TD?Vtѭ:(ckSq5>˟$DUPwi[J ރlIW &WՋ<NuTx *f;Sm9ʪXa3%cUȏú5ֳeڤ뱏TYPȨDf"EMaaq~3[[;H[Nhӂ8q 33Z.G ~Ѻh$h}ș>Po_'ϮarM=Ge =}`B))[LMdoJwbh;+V 1 #M'c!hi5!Ѯ 5;fw^I@ !&K'|!v͔Z c֯=.}{p'w+0)wERat62 J+T)>Q+fXxyd-GWwqH(@EHs"z׏aD\ X+7*,.D'p|CA׉#̠E͢_dZ;IXQ 4ĜSQ3"CyJcepD Wg!R6&(U+r)씠!+Af6Uɐ}}bd(V= úZ^kDao>m/jWPdefg ʪy9BEפD/)[V_IA:$_]: Gb:S _C 4c+<RzlSS85bQM̬[mQ9>jgSJ<^P}݋@?4\x0(Оq2}44,$"I/bq"2kĠKʷ?! L&q837E0HeQPYV^s6z2_ҡ!.ۢ/oD`!50V`!9c yoeT`ׯvI!tҁUn:*/ DL6u9厛)ìZ;0c[d\j˺UTxZHiz6[lc$S_>n;#{<u;PY^7&'e8lyo{ԉG0Yd:e43S(9wƜgu؈v'cyΚ\Lmն?7&-D2aA 8☀2 -8bpb8jfp kS0K5ڥV[{3 OJm9ˡ%K6M(.#6ƩgY`{&\\S !O7ͬMM4ȏcU3ј bMHdlWei/B@oL3Cd1o+2KIVwKW%rLsB 5&m"0bdw)8xz5J5Jl 5bڗHl̦18 B YqS CӮ6U<75yBr$R'(k_D@ o@}F"dշo%Fbpaą$9`1{W/()_Rh|[{u1=b~<dO*QflںJZHb+5OK:++gv:e_| S [|[QԜ!P^QhǂPȐ[!?XjkZzABQKAƶXB(}PG[TWM .ч_h><O?,(1c*}o9?O6CǮQ+_Mh(RsѿoDYxlxȚ4$ D3?[:SS1 QW8Sy|o:1ǗN2f\5+$a 았A r6BX}ܤ7 j k9IK"?w'8  n&qpM)"O0mFfn$mIy07R/$\`M 4x-ؙQt>#u(($= m\U;ɚ?Ō@Poa??dUU^"4# =aڦZhL~᎜Xy؄ M @d>FH4r7(A #mWw?Q/o6ө>Njm˙Iz%,Wmm,'V4ԏ%FaGt?\,.Qߔ)Әp{ޜ?*/HQh"`iG,y*mqTeǪG7d-F=*-]Kۛwn DS #UrVq3~1#u4: ZlekKm"Cac*(/Aa)0X5t[赱Yeϣ¢Wܷo֔Mp%7Snd楂{ٿ G ;L:K3?a'k55S|](ՈwJ>H Iu6hmXTy1K$< 5@=uwwlbmi$:>޻ "%}7zQ g#Wv"ͳ7|6 :h26UUknA'J,QR{W_In&9o?s]R.;j(9Hf[VZ&obК&XtKA;yPx<yf43wD^]˽5GSFx CrHq<`hN!اp UQAYB|ǝ(y&(-b*8 $+Bޠ\/Hy t9xj >~.iU^Jkm_)OPkw>ob'PUK8~%qLϧ.M}1,z YLv4H Q__fϫ&9`^ :pk Ά7fB&s 46\ }gc+,bEH_\fx.kXWn-7.)|{1θX6[NAuIѾހɧe˪$OReF0-ta|}ԸNM݃>kC^O> *sT5@ ݨJHzg-D62 OWUn*U5?}U%UxfلԜG['iZrkA"cY 3쫀gDʙ x[ϓ-'5+R+V h̆I暺к>qKٍwZrXa6ʬej7&Om91mU1 J:B`aݓ&a;LS\ͯ\#Bľ.I:vX#xvG }@*U%eV_esiAY}vl$-g rpY *H:n}+B+@ ?lqքyxίX'[O>&;P+9zcnȩӜ\hHMo\*5(lrxR );ʣVcf8k@.鰒27Tg pħ`WVFix莘|©kqB-漥#lze|N @0#z"X!7TGPiFkwzp̙f ka7\R:KdM-CT\s?3 #58:'M`пa91&j1fx_xUi`:Bhxd<6 #s(=!JëIハwާbS-?LyJc4oW%::f/>6fT8Rx K_gC:{]Ooq^cؕa LCqܥhUcVFum2 Z-VLLVMM^P x@)}FY k$O{\}8w+Z_8̀xYb/ n慜rl>@ \\"3h^E!^+,I aO=R}?H!gIbC?0 9##rl{VЭ4c\u@2N3+`JɄe2dRa)>[) uB c~FD% `Q9f |u<ɖooyy.ID=g7Wb]S>a:5 vSha)?_Ӭcء"PJtxϫlEl3wC{B!؀m=o64#67 5@;􆤷 2N;dig9)>Xȴ*`'ӻ/3cQ"V^dL\̨#b-%S4qEF=`V 4 rq@FqF DLCNJ0ւH"$kbG0Fx朗J߫JB4+W]#Jn$lḶD:ӊ7 hfZ5SMX]lyжkni-4I'$UN8c&w mq]@X@TK}9!1a]8#.Bm}D|j<^HN+ s6 5}0X_b:jE<ݲ>4&xRaJ5Y/Hr1bQ8gXl{((|_`"ƹعi$R/۝k{Nr;}c@r 36گTB"ֺfIއՂY'`jڋYUmbLږlBiq a U#6A :x1CAPcن֯|};-ԉIpҧ#ЗizPKw?D8Mj̱ғ1nVpye97vֺ"7PjN@C{%Wo y1kyEI@2,mjX9 `-%iJH \U!gI>$%u RUMW::v%-nsIٸaKsٍ NJz*Y5`8Ƌ20@qrP;VIڲ)F3mmAϖ ?&w B {wL'Tq㡱)_Mv>Y“B30BAFrN?Hi3OKd~0LmmEFⱎ=GJLVJx%wJz}gg+!޽-ipӝ/L?Urؕ'(!ҁcU3x@\ƸĀnRWӔPy{~. [/߻;_j.z4K,`;HqӁd ^gO >,N>1>d 4k2Ɣ*{% `ǛN P)XB=]|, iF>bD惓DR`Jt8IqT^: ,-SͶwXUnݒz A 'mV\q'BYƂs~:sT*C p >nMi+]u"j]/jDk:hx!`AɿuCM`?Jbe|#v^2:lbo)|FUy^CʤvE L:@ fjcՍ Haь*p19*U R=$ҽpl,#+sX8-X~h7b]L^Ll}N,h!oΥ>k3XbNY;+#Xh<nq?k3n%EAE[Ů:n *8?6B=F,mhD26Hub'[7cmplK)sgi)SY L `'BDm v/"A/91 J} ?^Z׬D/C79Mڥ D7~&0,X0El"_&*I\4^nv67IaA эqsQZV̈|̓d@0mM*&zMdECZi0&S.;$ #ZA~>2{")r]4[m#۫$C KZ~GBt9o6$Y~lZ"Hd{&${}c m MzҞ!*O Lkazr{t1QJq6 ÆG2#_$Jko['xt^6"L'gdZ[3B hEw)!B/YK+$ց3U9·c&va1SiΠ O+]6Ե|p2&f4]/[&X7N̦NgH-گ8cmPxcV!4p Wn ] 'Ƃ2Ϫ NF|1F&#IڏAR vݼ+m5/ ~"H7m!֦tpb(oOO8yq*B7]CqIpɑ3zZ|,%උk9:ܷ9g$)%#zE0o=/|bGG[k?'r?DK>w|@yW_7W"c~=R6߱RH~LW_b 3v}Bv(n'yuM3Y}˼cN~m8xP=XE 헃3$Jl6xR j#e'uղp$KeMC Np #z7R*‚":|#ϛ>gk} e >&c%I[$}}V(yJ*>I}"aeJ;?ꟇA K 4,tDt;eXW:*ɞ@ZMu7d :nkd6"} ݽj^sG B W!RLxl3m'5zvL?;|nf"QQh :x&HV\`NotJ@\A-jdk4Jao$Vg&dd xǾ[>'cSCb( "M7q/$0IËuB !j[㯲,'$ YH߮ Hp)`4GD'B #$8 M\+;pBp3#'~ɩ#>c UDë82 <1 rj+ )DrnS d60Qck |NX?N Iyf"TPazB'X8҈ T5*`6jI?fYݏK pMU *E(pQ6ۻQ:n-QU SQr{v|m> |[0ipZN$լS_^"PM{zZ׾R7SPwb:fMFԽ2hhT_U[,ګOO' PUtw '0ds69 \z 1ʩ̵-fӰ:OE+XaE@!wag7\'i}}*Xr'8*pcb*l k.j=vtoAFlF #sڃF8 $iOM9t?DRM+ezje6sYįVҤ*[&}ct?S^G[RE<)/1=V_O"t,wxoNi݅@R=muj^cƍfdwfC{."bDdއpE H <0W.I σպ@ĺTWkz\+o iG(Dt˷L~GUmG(FѮx5`Ϛ1kWS<ۅ"_A *xNf07gJ,|Gl4;wHaUIJ⋐'B/?$ Q>(`QA2p5^w$k{ej~/|T@ݔwjLS\) t.[Y$&Euy^MҺBh <SXn_[#(0O@WuNprZ 41U=f d d5,mE~4n=+8=@Tj! 8ɕDyҴ4#WӶAR)0Sw1= ) V39v[jrD- Fn"L`Ɠg+*,$ JK>1 e]hta&<Q*`D@Rx'^^t-G%#}8;Hǣ =euJWT tM=R9(_5tNsr(GGt[]g kUjybc$sJ}_2UzibF']YVI RO4yHF6f/Z[*vkvYONXmw>/႖[G gҺ'D!}29.eh"%O r%74j_޳w}"\vE&pv%|1?F "iVxܧOwJn/*ר!m c+s%l⟖ 5ᶌQKʾ{&ʮ)agEEC7aYa 01gZ@ǣSR|1n+ ǕWZXw3$Fo:0&?ePS`>9dESۍ0;$=đIO7OIU^^c|KRO{L},OO1tA'~^d~ӓ@+Udn /|}{ҔiφhJz3'ڿ7/>S"`ު^kz&5R+7 fH trϮ7r|dMmU 8Sڇق뀂5#T۱F4/STp}`S}E(#M! ZDXį#T@r/Evc@x<" ra{7j-- յ{S5sPl*f]V5I~mf[IgcKD>y3w z+-iB% !S]E?+h4EJĈ6u'Mo+dlѵ%q 5TQ/}[s>~)Ãv/m8.  m̗3s;,{EHMZ<^dNߟVR ='. ='2Ŏ4>4[no̻&(?Z^Ǵn6ёo||Q q5~ v_A#п0DI~⋛V;t,_[d1ms4`=n0Bc MHד(,a9;lKmʬC~G]To']ZhC2qٳZeA36~z&߽/I$blʈ"]ޜ$[x򬼼>~'5^68A͘:v(iƺemtO@\x łܩکlT'ogdp7T ܫP&#a5~|?Qܚ!{) t8?,`[v#J%LԐDyzM#}؆oV8*'7'e#*ApI;:ï>7bE5/&qsAE/;Į`X :wzeˢ7}Tg|pAbMS!(`+ؼVw^fvgǢ$ya괚AjURs$ar1e!j }.k ?i}-XdZ&`8!izQ V*F,1U ZBvimEP餈;ڰNJt i/: Rc[Teʠwb;{4{hm)nݨ]q4ڡ&@3N1:1vw%op*J`󸌗m[fgQ <5?}#P;s.^kio2ml(t8uf9΢` Cu2ʸziۀB٩DYHVN~?V6c;Hpβ19/z׃/#@Qv6f#I& f~> 2VM !8&C"mDY]x ١]X?ּ[6XGRIWk $8oN+Wr Vjޤf5K]ЎuNWGvp0Jfq*!k*aAAm.u9CLq@4Xnvdž汔vz/MHl4 R"L28ar=Y=J[n=TMV$TqI/~)Mrb.n8.]}f Fx4Ӷ.dbQB<` ^8DT=_o"1B' rfF0Wl'7 N ̪\v{CĔ́CZhvvn}ϣ̎$23 F}W^PyTDN:# D RKn6`y~AO/Q zBԭ͜2T/[1k8kF r)x ^1j,5fA1'AΖd>ߏ36P "r('҄L_!B/vsXaXu*% K4P_{0-pY':6I=Sy6L=z^(;fJL Au:M\'' Į\$kVpdIضq7F4 S‹;Ʃd[Xm}m3`̓{?3ѡ,r\*jZyu1|ذuQm5 ⹮1p@N{q '%ZW;)ٷ_c{@>vľPӀ% ceTea7c#{XsMUmiy[ }mw|-i8<0@%w^ WOq Ą$7BI>ٓo}!i!`*BaU'$ >s^o+`9  bJte)*^3W,; ; BáPߘrHBrBݣ&fӀX;<Ғ.{ich(Ŗvx uш:HxSU qӴ)J$5AO8kgg3DFs xVel3QbTMIGJ1^ EߊG Li`z ַo-DxTRT7=#!qYYE V?70$G?.;s$rg22.٭_HЋ)(Δ^oŊAc"?:gf`}Z8_>YAII/ ΄[_Q6byb #_M!*ugW~j%wJn!S~:%تF׽ŕ?}|^pG| PT}6#\nل1߂;{lAs꾮+fcxʖM4:fm^)Ni3ȋ{sܛ nrf#=)ˠ'[n*Zo!cI/#Aa~Tbߝc'|W xԊ[|{yF-Iz Մ<}s`|ϥ~_N`|e#$?Ƨ?!&I_:/kn:<L GGQ65##X ‘,~!NT*\A ?oQ:Ok*< ؛|ٴ/z[UI/94Q-@oj_\Du6jo~pJO&Ħ>SἱgF洌OZ<O2fC\$['!1,?(__::Mpq2vU/E.f9uכ+d$/z-5W=+?iȂ3M 9O_Rf NǭK B]v_+:6-P;]!1m3rgG:F!"]iJ݋8:|;E+xf[㢡˿ЭJ}^FgaH BPJJzdny͋69!~@{R# #:J3Q^d!/ω -x<40w3kyzi 'o(nMkjJnիH\KnWe LM 3'i556?4lqt~ww^k${숎X 4As@a[Qٽ%=c1Q\یb >6 x>AN=Ps!zՅ(;D|AX{kcϊHfR_Tr=BsmO~%9[בimX c_iل~ zQFR`~;󰹀*~|Cfq6a%K._^Ms%$#ev룙NfL;r7)~XgOٮG5c[q{!YEc ^Ob큩0 FZTMHbͅY?9@'w)U9qp&a1&ަVKtstJ}!9Pa@XVn2 †vƯقUVH()sD} {)Aʺm34s~x]=r:ncvzlo~|IrG p˼,Xr\n1FƦ3JnJJ yzjgu wJݑ6sw~| 3 z??ˆ[NT6S&K*x hk*M C/O7N6('Ŵ3F2#|Z*c ?o>G k?׻ $F= F#PS & e 1Ϳ&mz> [X󩝾  n8(T")ט -8Z?d^~:0 ި܇RV}.uYX#֪&[[lh/ê.OVZ̏MYysSZǂLpUJ($ !G Qin) Ye D: |jH$َ,;uI M ~/)+ B(v_-06 uG{?q`!jS-~HiH1oSG^cwtsd]G:Do9a"߁Bσ~uS$_ 4-BNۧϺ*.|30خ? [)=YiLHėD#;WȃӵuJtIY]ŰC2&^DN{?,L/z6Ny4Dd(z6#/FCuu2qO@RyLw\ZWh+{׫e1 ,jO[8U1dV!0npJ**.pcWDQBt bUᮂ|-N>K:86 WiоLXqYq/;n@c>Qƾ fsH*IkIB$j*Ĉ⃽LW,ǧV>.f܈:aDCUS?6r+ d^y!66~v @ꮏch$AF ;;m?ʹ1[t/hϮjF%Fnw.L=JM4yB髇FZ :n`~5rqb_Yf3Ǜ J >D1sɈwe7Q؞t=q{!`zsIC8WaqZOQH%N6h5UyO7w8wK[^.5D MWsoWa!)΂"s A Om~lT偉 RW f<Jn!@l"Xg UŶsK=_[!DެK!fOz(L>w<9ԋ# 2=u??w:2eik 7V*ËFDQDipŽM~ApG*jbɖ4Wh<`σi`C=:l>Ć qnAw.%g4Q_D?{DN Y *ߦ5N _ĚN_A#.ow؉iB2 r:uV)! */Qf5:o l/ ^㩿o=!A݁t~N5"hTXLazǒ~F,6!>r[(AI9m^/{{Е8X qU5%b$]X|Z6/-vj>"%Ji`i7LݏŻKs i _o$ ld5$4iV O&u=w9^dokr?. H dOmSV'BV* IchI)0+״a܆p8u-ᵄ6M<. "sXWX6t>a7׉(n>xߍd<0Pt)ux4TݑP .4-ǗQ;!- I1ڞԼELaq޲a}?99km k쇃-΅Yޫ@l+St| %ɴQyS s=([A>4a/I`9&"|a%-Q aEc o&ުas_N}ezwVcuP!$69 3lw' MM4/FN[ $ݹB+";@a?{I#h5ޮd?鮩ޢYT`$)oxaiPa]ZL2\q;,r7Q'Q;Ej{SXsc wEf 2d; :qʹ$m>ӆ,Q^ .ib`C}n=oޅQPfc Iᓺ`V\ГA ;'iìb |{?Hq4 Il}p9:o05tb+kMEtSgϚpcJ+* ʾӫH .cwiԾ\J[nk@яcMè9M/5ZM 5pk%1k8I"w6CP[-7f䴥"5e1k òH 4r~3l Y@ߣHxd 2kR'b&Ys~%Ƀ,X2ZIˤm' LOLƀlȵnZ%-…}+ǸQB\%I9nff^]i&iJ/俤|\ֽ# &4l0f}ZRfqdi;^%3Y pQ7NC|gq/w^:8&fBFhoأ;o^׊~k;ŜP].(@ē&OeT=Τhv?t=3HF>=pr}R~1$ph %b[C!ic,*$u ?g' 셝 b,-1(:=Q(6Aw=QO攠~N^Urݪߙtt- 1X#Zw2ذ ڿ9t$gNcvFї Ur Mh4%M :ÁkBj O%q/%]BoUe/iQ >1X%(BCLz181ᶓ:)I>;^RyDNhe݀Z|'w )ٓXI=QZ}w/=Bɼ}2S޹NE۔lr. qD/8.K?&lF~&&:xEA0iYX~!E,GTB]1ja kHbeZ6>ͫ*}% j!jlbApuozSvEI¯NP}&/όeG6g`Or!WxY'Qޘt,jjߒم8{m8bFa|ojcܛcI I)+˂GœP=témمy~C𰛮@jI#% );bRJx-GWt~*\_f)OU8'#: bs&tsO2m,[qEC&X OQ xuSsmΩR% |VX!ݘ`MX 6 ^#-ލX[r$pVNj{U+#@dN%~B[3"%ϑl;oZ-i4sQ)('$BS) OQJ~ gџr'1||`'l ]=M"m&ceِrMe6\Z:~vq(t-b wb<{BTg_~h|ˆ%ieg I{ܿYQvèSH=(b%z$iH+`uӺ[=p瑦".h؇xu\&L#-/ rv}$DNzbLn,-R/gag(R?7"j1XHloW0m%z5:s8gb˳8v,j F!LXzqDry~`feZV,9v&l\f%zLZLmu"Yxkr;R5hKc7R<.ӄttZI bf3U^+Y5@M+L"[ {iB~a4>53Rfc|{: f-x{;)*RH e F],*N(7NJj j,ȗiMVn:P\ nM%vN&Kё3j"yƖSuI!(9:ch\Ű0_P!;z|N9dud+D܎:*$ }0@^wIJB~3Zvp&t93%_mUm>$WˑE,HO]64 :l#FRTź:,+R45:#54WP~q8ٓ9Z{WχGKGqiGv\hҖѢ /{Jh~ϔ!>}<1xY.{KAǭ,lokOo {FH,FiQ8.C2 җPr+qe0e}y1&3FUqe!4Q-ʘaC&F@ۀD,] ~N(V:Y2T\Sӟ3(>mROkH {R4g&V<\ɖnpI w2-4;.r0˟sN[]LˋXO4.RӯhIqQ nE[%]dY\]sOOi @(٧p\ZqBmz-k(*ΕFK `J{PiB Չ1Z 2F "J^G8Η8`/b RWP2 yx<@h1_s,^y~\9nA/!Hl?݀3_ K6#zM% J,ҩlg6Rh`תNwy6C;hd]8x ܏PyˆǠ@U'fabg3P{#Xweɂ~VT{vlj, /d4) ~VԘvKGT]Qü/#y4t4b)25Y_ߙn_!@A"zl[5S1V]lu/ŝ|4:* 5ŭreIݠ A* 4'##H _>H y((~j&zpGڏ`;%`tc{1+fi{gjndg\Ƽ 9P WdTG>=W:yϹ[܁:NZX41􈒠q~|CFsЭoM =s#M +}O%#ܚ$O|JKX`Zn(ZTF|&\ ?ZbONXiIH%?P&w(F.7!"]Pl\i+R ϔs6Pp 5L܊hҬYhSf _\/}ʀ!j4gth2XfI H"^fR[JB < `q!$`:_ U\aPf=X~B,tN@bĈ:@$`OP\ δYxqZSoLV}*cqz3 BT~c-"gbGUq?TS!Ro 7Cl^-*ĮI6i90K<;~ r%q߂C1Pֿmy9z m+SQ;̠ wKτSi}d&[vnMd޶pc8ʓ21R,kQ銩V2l21]+ӕQ\R0|<ݚh<Ș$ݘfP=˖|Hzl0Q)fDٶf9z; >Lfh`6 -qR}ߢ3\: ;N-["&,al۷5 jYsՔ؛y-62O9C !R>#Y$x خ.gAp<9Bpy.EIKvXqp(-v= d^#$Z)Δ@=ۦ6ى oGqu晸"0Fi>P|e95T47&1 SĄv?^3bͳF${-T H c#հY9]9qy&ة\:V? Q~@_(@zJ.Nʍ#Ӧ} Vkn3fRou ٰMhzd>^Xq\=STAc?Is^f3V8+@f;"yY$]Du=%h>5.#'~$I7L4|f ~;cE_:B({D Luu~>  (xD ; M4Ku'b]]^MXIqYmT29vx)wΞ9dmʂH5Q,HT^Sjwty1,S^ oЛש3F Au8&DQA(M`siȒ :+HLqܪH5ra}d]1=c 5v$!>+邂{#;hqS=~sUqnr%1L}Kz~X%LQ-nzZh97O2'z̉*".GkSL`%)B<[E#}8e#E~-&+cEgQ}޸Pׁ34[; :~%z{>O*Q6^sR7k@ `b[1-X};o>tWz7ah;z3wuljM>$`$Ԑ2._:ru8y\-5tvm,?!CE.&݉__iZr{L9R͙!^{2i0\/UM]<m'IH11ju EBlř A%Pp |%}A'`t8;5Vjg̟6o&$]I5݈93~p+hEvjg̋{xjn?2SRx)Ap f_G TMnz1ͼ+٘sNWxLL-]ZQvB<=p!+Jw-E>s"Ϣnp͠4E^L5TܑKgU;<}rp-b/.A&!D3o9ϊ8 ~oeD&YohVNP죇ֶu 4{2w0B)XTM, &$c1pS%5.-:lvIظdiUkʏ8Ap~ ƣ]*~岤/k |emvX+y*ymD(ϰ }3?ŹΐZd]' l?dRŋx l]v8ޫK&f;}5RKu߹xwWق]Wb'.=O@T*LCHw'\=V!D`4&? @Ǒ9_tn68m :Bt)uekt* &MZ}eNH_spdX,N_Jo/ ,8XC]+fᬻ̌?NRU寀ե} i n?Tc1v}k8;HDmΥ|.\ۢƛ0>fapq>sܟµk,&Q|h+,Л6 m.F*#S+o[sqn1wzʹ+tݽ=g_WMSꜫ|=HA(f,}Z^SaLӁ;n[WHJⓙ~CӻG3+oWBEg5V? E-' 5G񯣷AFVzJFޖ:^w*Eu}脸F<׉(djkK"LxaHxXd[P~0[zA1> %!5Ƥ[3Uyrhg>,n㫪lT~y8,בL8SE"TJ2cӒjq,vn뤉I;'|\ |en!Xjy,T]0#A$3.([u4ITߋUlP#L ; 7 q`4#*Im +BjAj'\TXZO_nD e0lQ 8X94;guEӭ"3'gյZBu/j9R* xջ-L/;qG,uoZ@d&-\싳T5bI;|Ϸr^}bCZ=Lw$F5JYl찀z6bX=aY֥`!XLK{ŧ]c"ɠC W\;C9l6.C3629'yA 37:tg5zj]q$^hcy";g/k7J~grZas0YI-32OT).ʿFĆY.13-$ ?%䮌F"椳W*$ž, ä#{q x+W[<#3x & iR 9e-0f H J7jvPt(wF"ui$ >K8LD74'_Y/}@Tqz}:6$%AUM=VMW.Sp\p͛Xw|9Ïi: b;;?SN޶hzsAs4Fer)X>e9x` bæǠѩm 8ZL4i3:Ғ4a]}Lg9!NL_Me2a" p]u_?nal|2ʗ͚L,iWKwq':::ĐbQiA|ԑ-bV`ttuI*Qs؍_:\И\sfI%^& "mB6k@:cH*ݨ'®7͞xe~']3!$4B0.C-҅1.g3S6ͤA2i'H2>ct^ǔ"m4'I$ cA!- $Fk=_]Z4K;i-JCZ6Q%> "|pnBP@cˆ3a׵PxJ}+ckb75o7ǒsh(Fe[YI!G F` [1xqSV0\XڿM}A|^QP]53*.dK,e0Q?әutP4w^^?ڗ/ YgiLg -X̛Gvީ%.դ`hE~8w)VZ?Ll&K֜8ÅO*kn%Il[ݘra-̋ɉH# j9R! " f]`%̙EeY#:X0P?kkקR#g|Zt2=?abܴ!G U,IUhu}F8cǐD dͼ1tmUXMf9Q?zr @!"q >nx<UK[ =Qᚠ- \l^~aZh9b<נ_~E0Ý)%B0pE)bFaWyLUH7?.e*=?Q50>Vㅠؘ; p(M0l԰匪^ Sjdx7ǖW |K/=B,8){2a{\!(`]K-AJR@4Gms{PnwGvuTeՑf2Zǁ$E% 8ѹ?x$1}H gP4Ӗd#5n)b@ Pe}Iՙ&yg>Ae/S댉 Yƛj Dm9+c`-+v-Aӏt Ь8i)2%V-ۭ82[UKe (4Tcu č_EzTYl Ne+lEgqJr5p9v:I`'V Yo7SoVe_RH<-^F5gOjjF$3ف u)JVe}BTl*aJ~oi&l_GcfGcCGqpePtw|#|] ;k,||saZ*HmŹ''W? n|J\'m~^!@y׶񚠴>R$b7x_d1s'VGKL3)P@[V8(Uzp);MDKMWvP0@Mi^m5pdA *Rxٝy{,1¥0|?krD D͋Hi%=_ˑt)9; mIfyFJ64v'$Z"bdoiT_e2;,a8,ĽTX00dz1jq[E|uYfnn,˸NDDc.JWL6t*9~mꪼrks8AaT+}jqz{*c?p?|fI/ܭ}q+?PN1h+Wfۙ=iHr}TJrH)spI$pwnvAvַ.&dHp Ғ>L"T|Ƀ&WnWfǧN7}$vI֛̠iI4ЏOd f0^R$D=~7Ew R` ߂M}>FűoH?k$8 \ݳ])9T֙an$a%R͏Ubi#MC8 D>V((/)ۦris|/HuO%h!H^oJv!x:gOϱiWS  BHcO!1qt瘟&:;6P~*Xje4){9.CD-1s5Ո0(FW8Ke-/)f 6E݉e32B9kM&ǻ?UBQ"RC˅h /- )t%*@ {O/vM!Y 'D͏} ! d f X?p'":;=P|VEWa,KEG*>`F`oMT+s{xց'n>DHgyNN{|*a; twZ_nt"xaÏǽ=!ԶkʽDl WHK0O՞Έr`Y(Q@IO@N?1iAFnRlc>Fo!zjW/:%ĂV4pD]؃ݿcKZsP爑ܩ_X-V5|ӑTBP5<}Z "*t[i-\Y;/"|wfťDzUtݒ;f?y :눫uvSs)8%T8 S!sekzCA &`r@Ȳ P?N71LLF΀ '\WCr/4 *̻6)  imZ߸ب)"pO~=wˡS|jȄuAapD_ly&k5y c&y?}%0zI.̜ .jQиqoZ^AyfX͇QZ~x< 2|VyV=,#r>qiO>[ ~eD}Z0Il"}BBd@kojGZoM"<[,DZ86Ĝ6AP1%C{QAøT!ۂPxhҘCd~uF9,vLLg[eTRIb/b҆k/Jpc8{JI_(>F \P}LwClW7rƆM 4|J6 M`{jJTi{㈴FAzИ5sv/SV):% /Ip`}إV09U"JUG"2 t^t0]N. }t Lx 2"@Z:v4UY˫͇UFӄpUT=zn*y!ǰl, ?O  N=Uf8'dj 9U n|3b9|b`R܆CHeT?P}VqEU5Nm\D;0s],W'\"z ; {܀8#a4oe5 - ݸUPi|'Gn 2)GY%HR\X'1!z5si=tO94I8[NC&ow:tO{9S=r#U5qmsFvgHq%Jaz }N0bmΒ]@V h r/;#yz(+c } N" S.?A{^n*k2rƴJČG?N6B,:E;O+ݻ" .~AlBiOwc䪏?8I*mpѣ_yse}43p2z«̾V>Pje=a*<1R*=r*biɿL-1*X~W+m=7]viA%/2}+d* !I Pfgh%F pݽ-Z*{cЄK"pH⸋UWE=YZi PF+{}%cYdpkl,LO};|,08~6vLg!zYE0bLoh1#_skc|7J- CWlB_a?ņ"/&A =`BrW^l{Z4ش17NV.+@5 sEX_5r I$oDrj6XEpwT"i 5ޞ?.5F ;(D:9(f;3vA9zWF 6Ta19(Ja2;ۇNh"!8N(b& 2qw(Uliz+Gp r-#j",`i+b}>u9%:b< \6!6U8qd3+3F⟒ N@f^gpM_K9_E)X8Ծ )bgYZ7zXZִF! h^]ŗXiɟ9 i:4V;}A<<ګMP7lirqz :=Gz\L#]7ǵVO圡.]蕲\[ipG/%+S^ ɁIVHѧGM N\"18=5.([8xX>;Zhfo(UG[RvUeRcu 3SLZvi/g=`V:.\ _|tz3߼֊NmuaPZJCz9CguU+-=oj?DwF *  6|gYZ7zXZִF! !]ŗXi%L#Lk?Yh(rc˄~ lG6rAlBuSCiTwDT/xÙ`1μA@p|V2!4 M p9f--m‘DʔɎ܍ K,U {o>!9*&gvŃЄ9# ?SAyI;t0Rθ/f5lkh@Z96)+0{Vc,)wZս ulVf'ʍ(P"[]/'͛iYʆV6>9RƜi_;d(_k[(]B>8NE'n{3E ̩Yi_]"@+AO0bNP%q\"BL*x-#?JJӱ+3I5}P+wi['޸ur]MS|-;(H54jڟ+wN䧋"+d?1/vⴾzB`+d# Vƒ!A @A7W DxS{i/%#~4-așW߽]=?Jh# 爫7-,r!ڠzmο=V:K,p1*HAq/pO λ/OYJ2l,`mu@?4Ci߱gYZ047065d369f5b28e46b44e69306f8e6e5bae3e4ae1147b3c6964ee34a73b496090d81315eabf9592 37d0b0eb75cfec153b7fedf6886931b2ac855d7a 23ae2ac329ac8827a246f7f3dc5e1045f3853274