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 Q5~
6/Z T_6DaR}jbmnU(e}IhW+BkL9q8k=6t/8 9MĐ+1ҳs~cA 6=[M {O;$,+V;{>:Eq 6dxd|_ M8qjg 8|b;@e0}wV փ5g.YmXsen2,G<G)" ͔xb!l%ZQkY1#ݒ mNBڳB0(hFDzR'ƀحįtu2S Pӽ, 1_oxJyg !qWnLW scM>-OSߖ6 }揍>4ɷqA b@mv.ޠzh9O.yeDI$hqDӰ٢q}_v0}2_ G?˥Rkz;Cb?mq7ݔ&QmAd\&/A(%l_]zBDj-o̧Ý}N1m5I;K iRZT0Ocfhxo--3"%>Xl uS`S9k3K2"YjƎ|;_L{'LDv$9@ qC|M>Pj+ӑ?zT&<S;ج{¶fE)yyMhx-d˝&ld97a>_vѢF|]Bʉ>z;FW}3}6 >oXpx+L$&) I,xhDbiY3{٬_ꉝUY4Xg?K \  /qJ|x81Pe9Yzžu>\~^T5g3)׊ t}FvҐ*] apʱ/A?[1 0xF/=}{!-TN`UoG:2\lE?FL[qg^ :bl䛜z%BJOg$t+Ok\"7GojBS :Xې~XF\sBݸ;mg-L p4KFWQ7o>|mp@漵oǦ KT"tіD v TlcBC_srPh"KJGo")8F 햇BkWt ζ\ ,s#&1:UԠv[:?#pױ˸i-⥦ ,臛;7?GmvSJE=8)׭ 4b*;0YZBeٯ0J! d1 ]ׂ;@[ Գ-Ρp1иZmDe0BDy$蛔Ê7k j4 ٮ#Gk!jAX r;w姈  :]B7 lPnf~|5$OpT$2yu8e2e,>!(s7 E:o8((ts{-ذ*4y43aUBAOe]<I ??Ocڸ_F?NTp]SCc~tg;`D7!vDE6&*}k8nOO$3%5'"ӽ¹8m9E69NL:q\u8ؾG1 A:&\ͤKJ;<*{omc}T" A7g[X<.iE>e0QFbɉ}iݐJ(96 )mX0k|9ʵm0i4v ʳpHEGVWha¸Լ7'` &UpyȎ-L` ޣ`ΆuQ\ߛ0U! =p)H!N\uiZMM7׀Aƴ qY[)V} 4Jw7_ SQ$ŀ^-M䶍'O8F㐹>S0Gv[_iCB?Ȭ (UW_Zvm5x}h UC ^8@D`q?$>z f3]e)*`5Ί;]o>jihu@ʁ}OUhOfh(ccBe.#5*nW`"𧗍 75iYe~CJSu<ן)& QfOg:34 XO5:eMJFM Jz>k]D"rco*_o˾ k*Fkܖ d˳Ηd@D]ۓD^XJX3IK4_5Q>[d8Y pbzX!s-)QRXIt"1DwY't>X#V7Y&;\#1ndPK!Z X%6T0D6o!Ve D҅We͋\0+u޷!@Л >HL֦QG\>M טs+X```LC'7Z׮@c" "U׼eMxC2÷,dz{lKFYhO`-kcCS!m=Q$ \@Hukۢ|kǤ~i6>#o[-p\RW1,rt nF՟ikwڎBu}0E$aD".E95?Fg$q(մ=UEPMxȍeϑ7Zp+2r&~A5u&E*Dk 2-{U dֺޢAI>Pu**`u2lu{4̭JZkSYS 40L:  |ɬD_w\3lAh9 2(F[s!ĮD׳rat.NC_9ZfBvTwsĦehn>T\mcRQsuϻ?.C=FF h.inӔl3Uy;Afdž |9ԧT]L]'zG.E*-2FR,QװI %yfkWOV Kl5 L3Gv{ң$nڥ3:\P} z\9|AkZH_'UZeC)d a67c8>oYR})u#=y T6H'}>2`?O3=93ɭ,:{{t=uκE(5A$R dx1*]+'X\G* [pH{Y*:v |\VƱ1 u$&t(>fOg\lVj1 9 . $EJF OrMc<>6>gwƶTzwD*I)j ( bMƄ `^T,"gbW[H$.s<4f)f4K4DdA7)g JQgIvC;SR=x#HF/ Z5ODWfŜ4[ PrpF`]|̘%$4d cZ7|sieڬ[g5A_5IYJq,ye5ws^8\/0簤_.߉WvK5 ۆc:ӿ R1+LO,ߎ|LeHb{okA~Q5 aULg=rG?d! lϛx@0GRuyKjQ#y9)aÿ}\vҴGN-q)z罂*6B[py*H~]Ҭ)sbUO#_.{?H+FOU4Œ^+bȏjNRʜ/\ŞGWY .o7HSl]iU~ɂK:V}uןiNS<G':K PޖVinbRgXb. @e4=~4{ -ù*{&>D=QVzͅmӎ%53^B #M%:ݖ# Ɯ-m <'O]'YQSUj07ʹflxê }zOux9!ۋ ƅ<}wEd=%iO2k 9tn!fG `2fW+XjBe>brOn@8aq}ɳ3qNֳT疎 a@M/ _0}hkWԋA8vzgpUqwBvMFUI혔D Y2+p2*F?o]ni^_(bvnO~7HmP5ĺqcs*JR3D@ :[% M}&¸Pe$1kwzn$UczH?W@8AVOxϊf&яho%x%m(<{y8ӨY8%F0sV}ud)ܔY"MMDCnoba=] ǡw+LWv+p"Fci"Q-&\͚bEYE\ "^2=+$5[arO̳ȑ,? ڻ _@D(rrF72'\ϰXG%![NIP= cgEUQY! Ĝi1~v j$B: zj/vNI#NȺBU&[VF nql;|AJ-伍Ps|T.c{͟[!AfK-" M24OB~U!,J)9 "FfvcrIY$1 rR݃[%~ٛ^Ad+ԗOrGsF: ٠T" \7z~cϦoAZq`JS ,$Ixg#}$7h4&$\LqHNCibgYZ7zXZִF! w]ŗXiɟ1ʹ l93攀Lx3 a# Gc U+'ͷ( !??>bON[ѧԴ?jq\1et<tE_7PvqK.#-F򂽉H3Bs߾CaF^Bvϭ7%Wi| L%p +_&lvPzN4P^kc9Rޢ[j ,nScLKr3<ܾfW=|^+eA`ٷIeZXMd:}p(9E|%[:F Ў,fdʇKjN "ReY3jtf6GC~5EPY]ؖ ߕ$s,xHen髮*>mcl"jz21I 1A#51Ԙ`$jY2cS>&fU WUZyrdNㄭO='d k~D?+g6 ]S(z=[ adᑦf*re(P#V}L$hZy,Rܾ ۦ|0I>,_9="G{`U9`DvľQ9_ޑ1uPCmm,w`elU 7hOhj߽G1[DC-ڻȗTg)kX݃"t`NVlI{h AŒCd)RrB"2 ;֍,qRPܦfW?˘C_ ӻ=}S9%p"Q{pԈ2Tq cT?(07 ;y]`ۤ6ӮK?N<{ʂY9bmNgM؃:**MqcҾX|j y_7VsYj2ѺlG:i~x5c?ѭ+`]3rW p8֊%tGKQPKV P|pDFvԌr#8"䂭8D]xXn3ڬsB.L4|)CM~'$ՌG֌!;n> '\sa RY9@suf'gpҤ@9zřW\]MF(l{146]J5n D>a|<9Πޙ%6p%e ~ ( q/SJ)/yCjr>$'bj)CEXR"oZɲB[AҗF<%(YQLxVR LJǟpiYO.;V Ͼ,z;D@IR&< vǠ+M8 FpAZdoL6ԯ0/H4TppvʗN yZi)0)$z6$v"%*I!WF)@oO[ +\G?’eJb+CK0@^aC(Aµh3J+#]||:)?{͎qeઓZ")V];jO7WOX%`b3i1| N6# 2}"=m>es|fBSB;XGsbaO;j[#6-aOC< -t)eJR3:a\6 yٯB$ /QZ(HN#ӳAg6*Q'd}͉E+"n!N!e¼U\6*0N'*` F~yt&1q|=a/\Oqɩ|:Zu2,s*YWNfK8i cX&ӾOU>49 .ˍ`S"=o b$ՍRZF[#/<4[ [,CZS4lŪJb0qӬC~l ŹXN=U+h,<3fy% `[G2)*ZK!|ue %yZl hXظycT0M 5{t6ᚮ!>~%1fiqL(Dp7b6ѤB WM>2!vZ!tuIc2w@gr>, !u@uGēF2AL"6lE< %)ۤ\JMviR8Y :E+-Im-bVT*Aڍ< x]YR=Zʗ@[9 EsٓG+n@6A@mW{'s!\nFT؇DPq/{ 6F"E$J.xLlZW%!ge)MK6cus>YnHֽP0D8o4 }?9-HA.ͺZg5#"v ])w|QK3K;.lrղ%9T~~TOp׋yl-^췾r< ꑘ` r*1/LX[w0ǹʝp%sOE>-5] qWO d|9~@ ]]G9!m%ٸJE']WV[OE=q/KUI LEpF墅:v QfݸVWTThokRos>GGca}x[qRZ)jl#fq3d,)o I2*.'G>6dzQPAh9uhvWvfia*󴥸04o5gbz_իOiAhyd% dȊZ%yuJ=GmQξԞT3Ά&.'?,U *IԢ5~N=YːyƘ!*QGPY^WOk 1wlJa.E@㳸.ܐq]0]2i? wRUt7%H@'S&ٕ)qrvcX~)K h$iWM Sb$Տi ~ǻ5.Xyפ(M7^dHp9n},sfe+;w9`r"TUtUfX̑ znEj9ܹL{W`cBXs?ؽ#:bW8H0 M-FY}ӳ!!Z//GK`AjH[s4?b"AB*si!x,>8 ˯=NyĨ |ܰa`{é1O3&j /  鱇*J&bg(p0UoѯN\ 祣$s"l  (ڞ Az.u!9[?$r#`|ѩ`Uo!6"'y|#Q*dhe~DE t <?5s uli@W=Qh $Vi#c;wW3Rڵ:]$rn5";w 8V3l 6w{K#s#,#e =_ۺt+UD.^h:5ƾ{_ q\'k2&ѽ.B;h}O$n;*9u<hOhެߎD!#DXi3\RL6c@md~4.Y|Vh0}W=5d`, .M&6ʜl$ T7xÒ=GNKTRV!Cwwąܚdj. :[ ut-łhF.o-T!9M zZ1HR>l_O!6<Ȟ7 {p*,O@Z\S )'swfpy\@ƉAjM&SYuIb )(B0Hiw ) _VIrWhk<߁??[b9WeY.tȴp u8J,\0"t3FD457xV풨yJ"J<4L|3eT{΀ Hf)ɊjF)A ;[Yg?Oc~l&C{ Höpo=c2_mܾ(cAv3o#*hNpH.wO;^L+.[h* Ľv b|kӊyݙBJQ̹TGi|? ywT`!|")q(Z]lx˖sj4oLP*\бUؙ+trsߚ#>,}D}%=Q9& 7Kz$Uǎi1X.$ Fòu.)rw%fj~pw}ݧn~?Fo?pey-d 'MYx&۲S=KWk"ܹokiAc4C̪h^j:1uF?f/$  "mKfFԘG,e" TۺXB-9[̿\6/25g{"^)WS@p\Bxv) E?Esv +Oߚ= s*"+t;/(| tM]+1S>9rFG<0v5vmV  tðWIgu]TAI^VO"H#Z<c`a{ao=57^: MKx.8Uyk67 m'M9NRx0V 'V (+MݗסwOv7HomY(( \) :M&wVاMK76۩{HޓDҘݐ*5{ݱZAђvblQM `RS$zJbFD C RpQ ~j HveNi{QE<N?1o\^Ha[RZ?=Bۂ ;K+[FKΣC+t~^>;&QtK:qKwzLU.K$'s֋as'aZinY0k_Unl0 +fU# +e3~A?kxHGdmkQ4|Ǝ~]A;0 T.A+vd%dm\=Vo;:l%׍kS4bUb h(iTk 9$c<8ַ=pU%U>$@坽kE3G?gtsrgsQHQ"LX"bn VM2{kڛ<^09R8e93_MeQ(9 ֒Okbw`W sQsZ*Cgn٢F9V .t7 .7w"eDʲк".5`GS("@p`hѕw3*&f;-3Y Ӟ%53W WuxدIntg5af0<K|)C#&ވ3A:{&p_Z$WKK4cb脈# x4[9/>Ǜ(4/D/A9|O)q;.g(Vup4++SN84V޾I aڙG8DԴ.>u*? VũF4y AjgQl$:.Aa\+t gg'ɉ3b[8\^.T쌣a#:jL2 )ќ~hͳdL^'gֹ"q}#;?Hy㿮IDŽT Gձ{nA9*Uk \r ;@&g%f +╪.{!7޶ Yc)])C҆AVD `ݑ$jI@tb4y1B~J]*~ZX?g?39 3aP JetQaxsy+u!(wZ I@*ݤ(JMȥ]Aڭn~n~o^.*SJ, F}݉Gs7a[D]d}xp }Aojvl trWx Dbz:S:Б2^ۼ &7LJwf´ Q8mXO:B%Ux!WpI .oI/Q+våBx5yɋʷі-✴C{/*G7Iq3)G8&NBx8J:]؇;@6G>KmF irO'6R>T3g{ 54u|L_Qwu!:ґ g_AO$"buͼ@oÿ8/m.'w/~pR| KFJ(rS[wu9ijs:KRɺ/ z(5Ӻr6yKZZEӳaޒ('G0˥W)݂|`R; `b6qy׋꡺;ߴm2Mt %&Poş!8dQu*Zk_I2q kc"nuRm=Y GN |=l V)8urLSM[npvp%8qc~ݤQ? jrkV{ކ%F#EVNC'T^[1GIszmދb5m##|X) =*;e̕Q0k vQ=ڧ"B߸Кv>c ƈ5h6* j<;~f}ױNF# "$x3YuXF_IUmtjNȝ$\iLJs*20EU//;$c1.=,NWCmyuyg{ZڛC8l evM蟙ٔ-|L͊i'{}Mӱ)^ 9ϢHONn˿G8؆0AI_B!vOh[ID^H6*fbiAsY|޵ճ<)-r,"6̫s g q)G}ءÛ)16QG AUr 7pgSsŪ>D=q5p(|U!*a7O;?a^VqpL-Evy$[x@Ɔ7 ؈ISp7k@J¿ŎcHɧ5#Df!-d3|ܜ)trXjߟxIU)6ġ2bu HM?f Y^3!Bp8x >fkT+:TX3USd]'%/EYHɴWkXb }u&ZF(Vgfy16.ϕDM}MLu#lbׇDIKSTx 9VT,oaqY0B*3u{MB0.Z"po/| $)]b#$Ҳ9@L_ K~Tp&KS?Uup*2. vbdƌUmEv3#DwK125BWq6 e]ߖU f`C 5 )%Eh;#(Kb%qK"-5t7|%G] Hz,\%V7@+Nd]_~'X8uJ?k{|Hfi ֳ0PҹIs2P {*ʆ ݻo 3Aѽa3 + ,EiP֒LFo1##v Wړi1W郻`}A1( R"<gzsh!x(*@z~*|% S6Fн#$W/^hK@}8;ɱ(꼅AyְGEɫ*a{7??%_G#8mGƴa9Ra H*T`Ry7aj\vP .՞[lN" ˉ}9#n[1cf"F'==1} . d}Q,OS hyI!!jm¼$Num}?41ufʎa{O`taX)lv0O\u.y(f`XOj燸hF_nLdKSKF}Ѣbb*Z+ct+,ʑ󆒇 3_Tm{ݯilЈ8ӥKNiqܜgIq[l g朹⮝Eۮi) Qlf `)fAt}`qɏp[ȥ?Ya939155ޣF8E$<{m\D5$.KT->&@/NNE &rlqSeQUե42}/훐WMXHmJ>a)-?)Qb:g4S/J F2=9ClΘF⏋FgR5kW\`sr ALމɆ5DG".0} h}G1`*YQ4 >X6z!ykLKk ɅsXa5ѕqhԸi6G+t(z(4*}yD@V79u,'b]o,{;]OGm&E->M7U5Ϝb)X&Oжo >iGk9BgIhqety5MY~Yb3Sd|*& ڇhȑ 6HZ|mpUc37`nMr׽Cf!PX.rZ#P"CXA!>8 h` 2Ȫ+fAPTGRNOP@yo/TP ឡm`,o7}$U`AF<Ѭ9CG%82 , zg+_?Fhj;1e?1oRSX_[p g_ O sKf%&;PS%Im7qyꝯ~][kպOڋ@h5ehUW NQ.N;8 ^c=y20t4!oQ`͕])w{{ <1qk(N1ȡWa\a#_Y1 :F$wIݸ:Ơg Rl F>Gk2mY:^wfײlArO\ğr`$vD{ Tq eHQqFT`քI-8gA' NnsPb{6(i!L:} XI#$^z]f'; 67vFo^&fC?݅J<&Sz(aUE;`YΣmL?u.K^Wni}nrgr"E樑GzT]E:,KSi3AMA)c !<% k-4O|c"!,)+yJnգ]J2PdhE8VK1c===.rc*Vw } s#y!5F KaOr/zoCx- L֐Ė!aZS?Vv@{)XO ÛP @CUb3Q #{fxA.?]Y!| 81smlւc, b-lt] Vܝ-.L "XFպ͠&5'P``qQPê}}Zɣцv)(nnAp*mc*f_A˙Kaa}E]pA(]Mow3A'ʮak O  |TsQP`M+hP\1 EM o !,H R&I8 o.7wULi7Bk'U>߯Jo*~Mo+Wf"O<" o;rH=tΧ/o7q;hmwΖ݋v͉؃;Ԣ1+Q4THgJANP`AsgÜ"Ƕ%p ޯ^ߚ|aT`r"2ИQy(@P-oL6]e3Qmbo`VU\ȥOHw`V%"IOR+E/E #>A1.Ҷ{kA?>A?ɛȧZIeStC͗ pLA$7m@wE%kIG/+,K* җ*zt*P~3?@QRoq[͜08 ՙ$-!7 ,+WlZ%JH\m]>WAJ-ób~u;‡+$m2;\[v[s'$nٜwf'f8!n;{@|Ką6h1P6R 䒢BF_:F!fujDTv]˺Od!~5a(b/GO?F~EcٙK9hw|%cq&wb0Wd 6YUm2) *5aPPծ&)V/=R :bmc\;V})>5hБ|I<p]QuJ#&HcɎ6xn4޹OuR*GO&Sevb6:dejYxHq$T بPn|Qѐ])X48&a):cN3$jOz64#% {%}tC#k>sA-f:0]H?6tkފ#&,D?YNHjH7CC}[dj/&ܚum2I QÙ6_'OB+m5N t6-l/z0MᡶOv0-b1_#;&3Q.70LD`0y\h;M^&?o6_ISg+nCߊ ?$#-4tY[HӒ ǎtw{m1oM'K8P $wO'ߖ 63)Z*wp"n~OyX YٻAfm ɑNs-|k׾0KeTt?fd*B iuU" 8jzOT JS]IJbSX8 ~ʽ%ױ x!i:Fԕ{̝_+l`uɃ-~ O7M2]˒wW2skYo+ z?Z\[+?ȝ<ҝP/.Lk耶n#N=:9!ڿh0h)fաݶjnR"݊=I)UG2>BB #;i>eنv'^^VXpox/ j!@F\De8xN,.7!MŹZ2QN;"cXm7wWV>qy]g\&D~*"FOqPVmM5W:ksWaM%Ć5#~{?2>Sx}sD?z)O=/Rb̰~(!i סsT(DCݗ*Z~,C|c}-}F*9L7S_ x'm9 LQbV@s ax>&Jo@ E!r?+IQ$xQ3Z\kϼJgŽѓl3[3AHdߝ"V@n0_TzX P];< <eA@f/-윩G5Y8{=lKynޛ.̩RI+)XYG(͋ȾH2"uTm Fsh})x;Q؛[sHH0* 1gaV)BǬ:۬d+~0NM`&7n>( 0=&8BWl#'Bʶ`x,Gk!SF31ryd34gkMlrZYi3XSG%{m֥jE4[9\(#XXnڐx{%l9JU6_ ҀSobMN'Ywv@mYC~P ]~ŴXR2O&:?JKx,8r:M)k> E!d0Q-2ȝCj(pJ i0a@7aֿ=LSpJ}:$i9>'-zٝw5abgz௖u 1H+g+1?i5UOvcym"t)Fᳳաu+RRlH\>#kߤTɋH/ʖ@FU#EF(=m/NKZlnWTxQlG0.15=|:`_hvK- [ 9cӕYj`8=ESAX)/k3| }m,Khc:ӟ`f%9(^I+rU+NS)>b]xWZI]rS?TXVuXyfxAO,BÛ o/vaՅAQCs7h/L&KN 6iYOL|@Q^(鑬nd8ZAlB#[Rù%snIzb&V'Yez![@zI/7i[T!/X A[}JFך $9SN@GE 5U˿MI=ޓMGbYLĨ,j#Y&fإ(G֜JVڧTagtS[X}0ǹrR|ɍ__x bxO9[Æ\.װME EOS!*]M̻ oXkH ;T]bU":_DSpLE J#+S"z`T5Bqe`H zV16Frk ;Pju4eXNNIIAԐ>P5T73X %F-:JIzpCg qmҼ7fs=)+'~<˜q%6ik.-p{#{m/Q#ҭOg/Pl(Ev-SH6"YI@n.mv:>s@ĹJm͛kS[JMLȒCG(X_sZ igqtG4Qfw-e- 9E`r 1dѩqB֐9lSM6,9M¡-Zd>ئZEtv!VB M}?܌nH@;;1 d_]Fot^i^)E>HWWY^iFo~`>GS@~@!Y#,t zH;]Ǫ/߿a!|E?u,UZs}m&XgA*㲣CV3[p۴߰:srmm#~RfXhDUt NsEU"כ(~95RҌ׶"nsI#jJzʜ#6AF9^|BVW sE-$_W?]D?ؚ1þlJAKM4aL94pM`g-b#\2!Nv'5b|ۉ`l Ex}'y(!i >R[t\ʻRlTYZ$؛x./ԗ$T8m}!`Ihy)ktvI{TElu/ ,O_* щSs5}a]W ~&g6ВtRͧԕQ9 a'dDp@X8Rp\[{,d\tLJh)50 5ONoGÁ &~$a-0wg5Oo~ f1uutQr XU` nO4W_֥[T8t`GD;ر8_L"q5+-q}{/K/".1֋Q/26|ߴol< 3gʀ@tOf^ٺy"iq5±9ȫ"+Hn+ yHjpsm)mJ!l+͙mڰ;9-aR5W`qxϟ,O<{?&Jl "fe@2o/7Y֘H$zpΜSvj +SbޒA\7,* yI,ٍϚGYa#g4)yOrLh-zh;|Hii lQ k樵w0zcin}2>ʏ'3dTS}l` <³Dc}u畚N!]\vP%zl1M*%ϳÇWBZҫ&I ݬ*JĂ4_\#tB^_U8l|G')rЏ@#*l `E2@\k}<**PbHH~ z0oa1R^lӕWj=ewKզXXm6)2E,&{\73m&Aµ0qZPڊx]ȔY̏I"qKyB^Wq{MtaܮHi!\x4YC 6Xx Xx{ޘk MH[,¬IH0MR7ug<[嚝q5YrH`XyI$%; c`j2k%g@wGb0\M-;8>8™v*5Lk=^B! p-hBf+62wDm &mr1&~묋W۹C_s_:5G!Fi6pMMkkf\陳Ɋ1~>h"f,3$Í!.hf &ԧUc,1_7M+RJ<=9]d:$j#e7Õ(4y5ʬ!ZsOD/;Ub\s?,e%Ð&Xk垟jCəR_H7(, ?c#p\B%{ii-].,nsmY#;~/2U T\!"Ξ9Rq~"@5Dڈa$kMc*j#}7UFm·kY۰lJ|*xgSl]X ,]:E( xPxY[Ŷo*3Zov=y)p6"і=fl@VhVm$( 7~[D.@a ]BfYμM/+u[`JE["\u}ab.='koc3!8kgM@7Dmnȣ[VNBNe7e$r0WVg4ؾ }͌ZmIFK{?uHY.s7*ShidK7$ g(i ,! 0k(<|-"U(ȍ^ o8A]Rϥi^v>%,E4 ZG]y{VM0/N' §',ߟmSyXda%AD) H*"B]q@?^/@\g wĕ:>;.oVfze@y;0l/ .==w>I=O4է#Ha2S 0:#eQ};+>zMP`Ƒp[Pt#`{vh%lvYLNL":Od&)˻l(' h$#NqRULo/s@;HRJ-#c=wXG7 [IB E[ q>ė;AWt~=\YlOqKW3GgiƦ~A[|n duNϣ2ISBUӣ#]$_|t_ˍRX[@S/%%|a0Cp󃱪efW QܧtѲ5{gsדos}E 8 oiJ˪ɇs 8g/T]aSzO/kv,{|۩=l;a-,k`\BH"DV/,lFSH oBV WܢR}@+χh<,c |YN ϡ(2o˜ԝL(IcL*[Z`7YɩñgYZ4f41f9000d26e26cdf9cec2566f932af03e1cae81ff54ca3c0b35679bcb668ab161c4d90ed31f0a9 27a80fdf367af8eac6281dc27ec1d7c6dc00010d 13bcde15124eafed424d15bd6befc4e63fac6408