SQLite format 3@ .0:  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  P,, ]S CakeML:threads=4elapsed=389.124cpu=1125.176gc=110.932factor=2.897zXZִF!  ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H;-% 8 GZ:8g@r@5ww7Ck/f;.x# NG!0"U3Pȥ[NuM;q#>('AK#߽8 iՅXy0{VNFnI l/ʶ ! ,g΋JT`]ј^^L XJ{:l9,yުcpINYX0wx׃BR&az%S/ـ2Tш?ucgQ!=(m.X}alW_X4%'s#Q~Ӕ^+A'+Ҟ4Z߀S P$]| h7SPfYDol"sGor^ǐl.MzryHL+m>#q7tzc#BN}iI8b.cJqUԙ/6H"E{lb\J쟶y!yƦl+ۢ;JCTx4N\DPs+jq4/Q; 27uWZ˭!=̠T[͵k@fWLw5&4 |OJGd*MEC$zG4   CakeML  heS$ cP4{Ҍ\jS 烁 ihð|!v.VfMKX4W-FIiu]KИ\m$RRW:mMqVà]Bl3>77"JGukZWo/6,|Bwk燃K4$9@9Jt13%?B&;Ԫ . q"$aٛp4eUVEQb7ڳED%;YDiĪ>Qt#+"hB_YhKLrfc͆}'& ;nwk2'bSgͿ0.7L_tF%GߊQ0p*8oԃs&p"кޝcq$D& 8P:E#tj 9"1:zYPo M(>|L0a@cbe`)m;Y;+R6$%W}f7$yfBl=i%V6)/kOʰe#pM= wlA ElUJ &F+y^Cy̿fxb'ѡz # \T0Ʋ[T,s{W{\ky%7~d-%4-ܭ*(hb> Zet H> o 8^3|~\MGL I|O"Mr+,3kQWRngb`XgVA!y 5Є_F~`DkڊPG_ ;Fq_-Zod\}psM$^f\OLyl׿SzNhŹ 7mf&[p$3Y +s0)n}P{FeZ0 Ms;:#]* ^+PmVs YH ޏ>)w9-MICxd Qd?qzE^PbK["s .%Lb0$%\4̈́t%T)c<Vwx'Ȣnns yAQU4Sj Yp[ :ڛkpA=}% j.Wi+of!N#;IUbV7Ɨ{[vn4s ǶV H<"+ȍe[{vtM- 2pz@Wj0'bl{Vl+2*$O0bMd0tjj-nZ")ru+-OG~j吏-;TKcKڝ8%{ ;\a؃>,{;pIW-'$rf#}$kѫc#*w'x^3@1v =6CRYGks/2xhSV'D)TDC[NgP4aXYث:M0'PX:|nQꄟ쨾lgo/o k2`.;2N:zEK ƳϠ %W&)*5o&Tl .kIW 刺Y1EHق` H9*Fۥ` |Po9yٝKufG>gvs .Ьn*GD|闉; "^YBȕ!wdQGO!~*JTw"ϻEB'Y 6Mz[$G W gֈ d%2u46)@k$T3 Ǫ/?s$ݪx/r$=5d(&N3v׉5bTz mk9^0Ӏ fqH`-=El5%0ٌ%?b 0\;A2࠶gb֎z(>)g]j18q09o$Tݟu/;f ; G.i8PnSQm{ZhߌA9aw+tku*_}(`b&xܝK{mVzBG@{;kTރDh%[99ڌV<ʐ^AI6^D'T[9x>+vq:P5:ļ ow slGjIfISZڼVzs>UbI1 h`]tCG-H[(v{t ,UF~i@ Z˾p-k+נ 9](W^{˰2P7#Zꝋ]aS |yDvw$:hEN<"xdtYw>GUQi@GyH<pj*e2rtC"(yH , bD+lj_$}}ٚ4>5;a4v_u,8 o$ 3Xl$:+@ +;M<$Bmq>)Z#XB7w"JoՃmF|| ;=&+X)C$$A[Oe@Es7ByxUs aU1*Nxf /f^ZTv!$ p5튝n[aIh  &!21Eyϖ#>'{SڽG#T7[N7W3rH嗆A_*o,]x*Y%,׮9,k#)Ir.:_ ѵ2e`Lj)$#%G*9fgb 8(4C;Cj}a~GT]i<4`$.}0W0Z+@ȝ?k򟼼P Y i`.5^ (74jkVv+U^2OFti6R% CfI/Q5' ^kҧC"*OaOu7ktL^ѝmi.tȕΊmȹ3A ZkX9D9:%ωBRz@==tS5"r϶,3G#a5 D{xk)g.>(e{*>ɿCCXk HS͜xAY;HT}Nf9Rؓa$U~A96&/R*i v1[V\Б41 ͇@%ޏ#-MWNZߒvZZv"4J'<;|9 h!2@}j(fƦ I w;SUEcJZcޑJhڀEqvt;!s(6=yѐ2ch>_=ZOz#L| CdL6y̒ȼrBȀ(Cri8EnG*zgf0.AgYZ7zXZִF! ]ŗXiɟy3 >u48QG}#FWsk{;Ed 2ٍ[,D1 )n(窎Z3xQobΑYwx~FZ;<ڧLD>= `#?D3:Lr/P=@55ADuM6uW.2 I`>XrdOWWVr>Q:WvB-h{r 3 +q ɐ7V£rnx SfbP%TB-标IL#7W$MVox&:]jjw?(|Nk e (˧%jAW7'H| aO=_O8z6EčzZPztAd@UÔ^* 67k+/Rn8]Fgub9 Rm©dVSü+% T"$kxfJ{νz!Q9K[G6YM4Sf| M4O$cRqܫ)[S~:[N7MNtf9qdrhD 1'KgYZ7zXZִF! ;sO]ŗXi%B۾-JfJ}ӅJﰯ̤r# N$39+Ȅ 8פu+MfVŕМAxPt2ǩg0ݗ "֑#zRv14>#9#*#4>Ap5TZ׼VrHI/ iJWɾY`&!sqk.U_&Mklx(y>\eA!  "UmBapG LDG`<$YZhhRz76hx_S R99K5e,'љ!PQ j%XbEDfLq8ypR!Y7H&>BF>8P~?5VWk赾)ԛ:mheȁ"M{쪶^ &'댔錂cdQ5:8lPk%(qՇDŽ#V0*#mC(ㄩC=uΫ[W#s {,iV$ۃBo˒V=",%#.õȣq:hO/$OQ?cFALUg2K4w (yx7+ u1^rT$DȽЪ#;@ֈo4^ZG٩ccҍԅzY;Wui<d |KWi%Q]v~ ڔ~|YI$Z#ҦOr2sK$k*۸z_ȣdV :{ƽ\*@V*dwvoq߅C$V:y_[=Pk]vΧkpa V~lM|e- y&RG*52aryA@qL[MWt#޺f01Ig^r"݃-jW:H%IX'a&[=Qr"*Z=ٚb>QIvϡ}a"b(DON®>`I-B,eYZ*\Nm> 5=E@)_#4[5n~nZrf~pf `p^Xx[4n '}}k7f(0[QVIԟøܹ8[XN9r<'Zeo2 97o[{x_-+nVvނcﯠKu M]:ih$>/ZXE?6_"I˧uOSup{da c5&IbD3 _\`!p<v|ŗV[K>DHGPvJnV/& ҈_ Ώ3Xix"H> vSȕTvQ4<'- ưN>~Y5a+JhI0S`ZBNE[LpI!y%1Z؇C-3ˌgzaOdN!rSA쑵;19V{8@(D1QVIl}?]Uk+)BbE{Fkx j _pFzt Q˹7'4;.)G#^HEom^y6>ً[ Q6K0J̨Ct|E/20X1k}TZgv}%`FŎ=yP>)$t%Ar楞v[Bi,&Bo[|wx KYlպ~PdgpG`_A9nGsǦ/!6NL05#k1;x'rf7c'j eef ę|;C);Z:Q3r8QDa(VIah! ϯP[~[nSUIokR41TW&u#oH|bx96^c3PfLJ<t.iEDw~^yE]i3_jc{뢾Ox es_&tԺ(qQ lNƂ}ks}yաr-5 ғp_?0C h7@ n8$vXO ^7OG72Y2Yc)f(2.7+%IР':Uz .YP` xLߩ]E>vdC`MYvPObڰ^O7ۀRLX=%m9m.w,-Cxr3*H,n3H@riZXӭ(_&pF 7+?KIa5'Wn}&],ETG%kh=3b@' pDR\ HəYI_ *tp,0nzMSo Um<(\BɓpVtcfvA3 #"7l{|@ ȿOuyVcA'~-wmĦ×!uDC1Ew"7龄2t#WW")}R"KY~W_/]P:)AgNFGrd4QR%,?V0>UdDB9bnFҾl?y7X%Cg^5o׽**~U<R[}!8SrEd3M|ߖxi?Yj!hrްʚ2ڣE*Dn`Pl-ߒNj5l6-Wu Q,207l7Q*Bǯ,+q9U}'_ ƷT O>3&"0ik(v{d{ĘjGI}'z._ +xa / ;*( e/scuDwO;puXQ 䎀F5>C 113_U<"qxSnlJs{\hfdԹcփE]ivUrrf4YMta<ѤA#m-mљ?DR=^ҊxZ-zmR>"`ƘT+1jg{ty1J$!3 "GWVitTvVBcڧ#'ԞJ g4")i٣g5W'},M[! ;몵$8;pqRM`\3s|kb4[Vq̀'%7基׽Q@eKpܛ[ZǙs#S>F9fx2p㠘gj?5L;641m; PNHxpp8H ORC+$hk윔UD療W7{^gGu-&Γ V*ͱ( mSVy+xdVIA%H-FEO _&\F)p/Tgݜ~>؊Нkf}Љ$cCl^æ20&\24

Zsid& qwU-5tl,5(ot) t=Bg .&!a?ɬeB f͕&}=˓I`Ėy#e/ހz1Guh}|:! ySJhDڒ?zv=h}V!9'DrW0:xCE 4G;H xTPWw"nO)˘Q1w Jpu Z *onԅGR ˂zHC,XM!=6flQqhܖIbAĹ"M<]ynL{skBzPӚ;iQiN_QءfL8zԈEq!zK1m.XRCY]21ǎ`Q"@q5 /ϑ_cSJ;?sF;i?,sX|(8jt!) q75W!?O_]AnX.i}]aqE Ɡ#E Ue1BpI6"@ DX%&Q} "7I  a3e M qWUo߾ \VPX&ۡ!_C?9Ydnߜ-/d2*"{$ W3EZfy]qY­/i*V(궀Uid2nd3Yc>_kV5ϡy`*IQ5uNIӒ(>Fߪ6U&C}hDž[ӏz X }d6Vcf䤠 S9]5pU|W]M6gtTUr)չ?M(*y)9RKi2` \қxu"djUS a *XD#C]%KtA'"vSLel;e&6sv:W4uDjCV8b VKyM(%WGBW ""}?R#.6;Ǐ:JEQU-~>ѺѯtvMe?U|U!ΠO-<6``vO(Os]uh'y$œ+I&搟ڂo1Ɩ䎜dtܩe&K~01Ii GEZ?۷>0.q4:sD2I:u֗,ڦ&g_"Q~J喴dI)j,&RިJ`Rl@7~ҘsA6HOTqH 6i聄0U8w4RekKucWpEL8 @䓝UtMhkrԩw)}!b(Fu1 N-.og<M I.&[r}r&%`@[Vk{b kqg[>kE)!/ Ҕz4/kw6&l`_2P f:^|NKo9VO[XmR@62Q/ΞDp bXbiۚdwys/`F?SgEj7~},61y1F}Wrɮu%Z^;(Wtk2:*jj\ o0|զ| BQ D [<F c.*]K hcl%7$_]RpDGlr - &DViBd;_G <5wv/ PrfӹAh~6SRT-a³A!d& [/$rl}>`r0mr)83k8. hpC6cV:G y#&>^б:t7Ӑtszv/Ki*ES[}fwqsBYy*?<He}vWب[aЌ1ZMh ^RpAm*a`K+NWKu8%~uaٙV?湃78U=/q%VtLjrg0t 3voʷkkÒe}M2ޱ Փ\8B,e, %\u>d%k>PȤJ7,=v @_}Uvp( ~+}A`/z4BrVaI XjL0[F N,f׼5M*j@lVl,Cx!Ar>/)K׵59((vÃ3Ay{BL% XBwʔ$w_|awƬ<X}3* +c{ھ1_[7>T90<+B3|םm?uqf\2%uPf Pg3ʱ˿sL@'ܫSrU,R1\oBT˲1<z`R졆[/ wP)7]OVsY<9iWg rBwJMJrp{ԫ~G)u+匪jbVL0Pnrf"]z!:s2&kz3>J(mM`3̗HLJliS:mwߜF& qւ:Ԋ(ny۪7kX,_Rm##E3IH͸ԅ*tf}@IxROv/~ 6;x ɞG}3,4cc/2i7E;#gL!DM,3 @B_bi/(|1LFWfW*ޭ'T7_rd06c̑U XRuDQ+aE-qZZU8@h>O 0%yHbޝ/r[^ٌXX"u(+i7H N\Z`-E'㣜 weR֘B5JV/Kq"*zId/);qS`a-5w>=6TA-Ӱ91i67ū+XAO-Tt01.[Z$̛N辻<9 {MݟN !b 6[eH"֭Py@xQ6 ,&%S#WIܐ]iy"@P+WK 6sױp /km?:{oZ9S &k S+u`\BG|%ڀNW5~)3֜ho"p[voغ4*Okcq#E<'Қ'Z"/BGy\Iueg떢 եUQ'i22im _( n8ز=Rg ~{ZaJ8U )HCx M '[Idc99"aPyY#wTD5У ~AlV)X` %l{"=!\CNOS^ sq5e K@4YnxHKKCj@CTς_EY,dN-aڠ[4GUS!wdЬkj]qtToI5۰Dyv-N)/J$|alh4*ASd}^ ج_XzT[1zRO!;[-i:)a"+N[>s1RFTtU^N8LkĬbw$0R y,N ͊ MȬ1kJߴiF9%o E%r\vuۍ>`d-Ll.i 5뮽u&J )a@DN-9h4۶Ӌ;/WᏆx"k&1.gc!zL &C8=& mNj,a g ƊݓKaק<(h0މf JxkK.UP6IM Izv0,g3>ƮrQ7TX {z39=Q)-> ~H}px76]^V6A?W4٢x-堀1aR]8"MzP/D x^8mUw+>zKh T"&~NX-H,:reZҞDѸ;L+)?D"vI*t_Q¡GxH:̅ ;_' b \@׶ -yī&V _i9{yY;{vPˊmV(4- vmmڠ8 &(?hM̓٬`EɲH^CxdCQ<2)\J%: KP jVE4uZu#*1`uzsxi;rJKU (cЦH#QaBe%-J'> Xi ^@tzaqAG"燑p^yS @Fh=*ª ;,Fh3Py/w3MAP,$?[jd(K8/uT$IR* hh.r }A|W y}rmv:(M_F]84ډhm 0`jylW{^=Q1?#Vu=/Đ2APdZ5՟J 8Q5﷍7XC uZIѤb+͖r95g1m\Y6vU~)8Zek֫S3' sfZ{q{+{ګ$XGg;ɤYglH3tmUeu= bG`/Dwu{Oƛ)L1עkc ]r3ŐNc[hTXb:ݼQh6)ߖ@YOۙEk.Ι wz%?dan[EXTgl< @&3iZtϿeٔW1w"< Q^2绂aLc&X/a} [s,Yuܓ .:}u(m1́`L2*ճ&!Q~/S5^ +ł;9~q?'dIxO2{PZ FC|_yx*I # Pva]l]~򝦦{#lٞ\dMK6Ef&)1ZWKFk{^xB-rh'l3'z71~,kJao(eg036 7_t=#(R ?0;~8:j,#CU gT!&mjTس x:+Ö~DKH%eK2s""@2e /Vِ#6aK-m00pB G`mt?':ͫ}i{==DaBD*JXyJ5Т)Z[6aYD0K5 RL4>n;Nd\9 {g-GFACI@.J"W5.PV R3gզW^{ƜN0qC\&#A~]HbNy(x2*~Ha'qLI1HP%ߦb@~;U+ZZSIqW)krSUН\~MׯJo7T_,?G.DH7Jex 1+Ga $w:mTkL'DIHe&0\7xUS:<\MfB_>d]&LDIlV ߳AЮ.•-!;L1N&.1jd X;kXNIƁZ=cpQƃMobT^X>kҰč9?e%¨9ɚjY(Ƃ۸Iěmv50כ֛PUrXPiy/\A8,q `~]p%H`(Z/JE:nY/&2B!͆Hh\u;"Ng UfI| KO$ LbH/ A,JS4hP?}Tެ/4ssbHls U>OP.vM26(98i}V\)\|ax@e- 1$EcA$xr҂O> W3j 8]:\daH NT0\Pgw6&]Me=O3B"{r`Y٤{dpoROko^ƣK0_J23MHbԞʆ|ȁ?fR򨒺 N^-F0<)$??&9rފ}~d-n* Dk.o:̨cPX}v ?Ξ`Oa2 zOF4-k|eއ<qzft{{q0JJ鍁^׬Nxl/0 KEi O:cxwu1" < 7)k'4>˙ྊTu#8P{$l!K3*|="R;-p0_[VypQB_e?Ԓđvkx}w nNƧnR"6:!&?ұ;<}//FA+1q8/Z54niݹ},pUv+'$P$63v]N#dd_ǹ ]if.7/'هqQ%CV_ViLl5&CO~ޛu嵿[ZC"?},poL>*t jѨaW\#nNR?ΰ%+rC72ݔs`NG~)c5z_XؓN4wߕxBAԌ8 `QWSD(;3/_mm,ǵQD|CgGtJ}"D:P[X&vdjСrX?h=+DXOЇo/\B $ZZK<ҳl"ԍQf#?U~=UBT+9e}O+iPVrݾ HMթ Q娽 |6ڌ0iَ>y/T VܼC :b4z; ' 6KjmXom+q{Lvu{ P[9oM꽿M3sMf6$F70z}q|96tVx'r<ƭňlB;{i,xF2椪A`k1R"ɡw"7ĽK+\Yl~Sܲ(,ۚlSmoLnOpD[nFҷF$&Pv*BAfر=覙g^' >!;gr<|ϥx{-+' Jw\ll XINǖdeÉQsK1yyk3L){hh%1]5Ha@T{YJ-BME,m0.Jfݍdl9X@/CʂsT$Ki(뼘Ln6Jsݬcl*wCB7]*lsk'Hȧށz+;+C#=2H{4Cш:h»@~Sq}AYMJ 'nC ؕ5`n~Ʃo3LTQ~]kn'mHa/pB{\T EeiS^R eb Һġ:)N=KH]sT%#G0x&i -3N[1LL1y(ft ;g5H}?7yI93ƻdLՑr*Dib #P^ ;ZiHw'(0iqUp$4k;JZX |U hb=y1&cz'mF-Qpe_ѻ anF1Y%-X|٘A"o)#%o.ֺD.WV?saU)9w~Ik1_tdթCQm.;K_ -ŀS ԰Ymi؁4y ]ϔ<:}就;+ {ڷX;\t5ZFէzYJSp#j6M?w,R7&d o=,A o Pqyqq­=(` NOުufKSۙ[ a&Իe ߇P;p}k ԘS濹8EͽL 7[`xDo-noĥ?<%xTښ{l-Kd"IoVk6~E)`9W[{n('EMXpjrT[]z(ߊ@0}w<x5DaP8*C[h(? ]y δɯb@S6*N'RNjjD^z3`/}ݼ[/_Ƃ-:tot/ȥ~5sZQ>iD @. ~sz&^) Lk׈6(=?{qĕS69d\Nu^%bݓ".Nzw!``6#2>bVid_J텉q!s>i޸Ak[N&܇p"l {&g(j.;ɂ'${/oаLTB\nTU6[lhʍU ҁڂVh:Em!8mVMqprP(/xN3.;8!b҃@t=*UATůZ^yn)E]Q+mi_WEg>I}rM(q*)֑j:1$eܴk{H1DHEirL\"7 ~$*hI%G-^) \HてK}J -b(8H)dp* ZC\Elbՙ|̷hORݯzDtP惈OI̟՝i1HIo4d=F'^`6{o: f|c!>D7(*aнӖ"i$A6d*FZםO$Dt0\Ur L!2m?Q&;ĺ%zuTLڽ[ *Z2KiuDJQT:0J=ҳ/<Evx߳}utV-F5rüCŦ"ZC Q}#`FF|$T,C!t }VL٭Pd=JR &f&vI_#z`?.J`?j4Pj(ij\(,o2Bф''هF}pBñ++u$^nt!`!ŭU9aNr#$c9 -8DV%2.39eE=wBgzCBH7xD;-<[!}_=dgo'ԱJc@p)#{vų}%Q4Az@ppQBa1f5> AӋ">"(gkȡoQȻU&-&$N-^9Gl$z*`X+hnmYL9sdtTlpcEi02KIvWX./n v W'u1(s6xt,h|Z #8QR ~l}@l!!.z=iBy)Yi'G!0s5N[ 'Rsqh_ꃺ0]fK# ~Φi6%KLZryZDYXKTS`9~a^`rď!'溙^u,ȁ: d3'AA]ٲp{m '>_Tp#!AЏ|({rȺFNKl^\JjZAN}\w?Gq/e{ sV+ìo'xjZLk5r=u7OpFJCQ!k͉KkFUq^?T` 2!G/)le3.nW0JL9k*Uyj`ΪsDg%ӚBڭZ-e܇ɍme [RrCs%F=8H!j֯/eUhIrmD.Ҵ:#+A[`%>on;+>\N 0Yb<11 L/sAL*EQ &aÂO8<eW!i> Hu'*=#kM  I`gx;z&0g"~EFpLrNOػDaMk-ce,ґխ09 CB yf ,,'1CU@.\ڼas)]=q̽Xs1 bYˁ0)uZDŃt@RPe(Efݘ%إIBe@}R g)$$mo lǮ[p~hi*l̨wnw[eKMN7ll~/UO߳BgOgsܚVpM"l9)z)X{.4y Ջo7& ]~k" j|,C=S&zr]&Pfsl *\ d)º(ۜUu}z4Dkjbp?w/Z3`V t3 ?F QQ V#: @`/(oblf͓ڤI_!̜\GsՆgE5]1t ]M;ˌCx3tsˢWЬ1ۦ6ȝPhX2҅=ë'R?#Pf> &{@o#RUo8&iԝ)pT"u4߫Dt)v)4itT2=nLRLVzy@^] i'a񮢩nhfUMFx*C6l.k\[鋯&xcdR,HruLXkoSL3Q)QuGɍM )j ރ9j@F@J,ؑQ~!čA%Mw#tPp;a+=S/jC؈+ DV*40=Rߡv>kt\:z#u۱"O]W_[idfYaՂpT3(|*@X )6}% SB.*[mn[gɴuC:SҕfD)*3~ʹ.Lh1&o@&.PSw[U` u9!(o+c<|Y늲YAxC `cЙ.{e,$xp/FS` rt9ź %è)~(vcTkw *A - W>jZ)s&rNJ"OW2M#A H0O=tٍ'n`+ s:)ZaZa㽒ZtCJ 8?Pɮ71usрmCBNo.5{t\Fk%.C& HĴЈW\gC:;tta ƽtlh5C] `| hnWߪP;?"b^V (]r7﬍'>JE{Y[=Y'˒,*+C;eZ+BDpH}7(o; e}Cs8p+T$%g˽ dc|.J`߲0IZ5.0NB{:[85&܋3uOZ"G">リgv#+ӦD'o2wE}F7gE" ,:b'ڡU[OZ3+쇝\giɣ]; л_40j1u,4dwC%)Tߗ$"qWgGJ1̵`G(>n!欔2QRÉ>״9 1z2>tP谙|SwKW_D՝|Is|ڙiTc,FBfdKyxx8zG \,$L{%LhcQ۹c Y(0ҒKAVNewFq'* %ER2K¬$ IF%Daֆ~4x I] Qv})ahX|`ts6QFsO(=˻H򢧥8hd-Xr۪k x|_w!폢63>Mn $_lJoj:P<:H&ve~v溷Nڵ:35o6!Ҕ' or0P\s=g^aEŊ ^5?iD d2ځ a=|^, =捝xK@$cpN?1*VヷSOOx$=?rp~"6ʦ>%֏߬*O:mu2ӃvDeD>hh. G:qz^b;[NbF(2?\H=w0pð7zɐt\X _;T[uCitA1aqFЬlTYϟ o?gMЪz Wq"):B=d{e@=)\%hz*xM}d`uBF;/B3,D-GoPN32r>[O;Of5716'SUu1ũ{Wh@K[^_~QK}Sn}˽[=b?LM1ohk`ؿ 5M9]4nL9쭯}6I=.aI4K1#R1A5]nH0$}}ʭ}}E(˞D@y9FE_K5x#5k=v\G.2*Dʛ?D+ uGJŤ(LTߏfԽw$1 }w,ۄ,G_gB{{XM9W׮s]<&GX,sAx_5.Ѹ2{IL|YtO>GKh$)ş  3FI?S֑ց=sK-/t A&^j~<~7JDz0k%>aMk댾d E3+ "38,IUCròݒ)+G5Gb:p4l!}\=<Dȟ|Qo= ?1H{ːveb`e&O"GaDb%-!23+`CWڶLUl(yɟ&3AսrS,RO AվX{>3:V4fbF&#`f XKqX^RV6 9 Z90#KihcbPt詽ߪDB"v՘=v߹A;k&|}D:LZZIj;#=s1bEe@̲0 ex0VjAyeZGO$5`r|QT%z}m3N=rev5{N)"XTtIJ,|A"\I >˂M B4`v`2b)zbl,$C/Oň!#?Ɯ>TRAb% 5v@ xWSs*JbM$Dc6id Pq,M^L@9Ž(5:[NizF*uTO#&k(sj'v1.+\bGӦHySQʚ6(V vdlE:ɜk&I^N%bQ](Ax=+~DI) ꓷmh7)z'㺴,ZAr+FO F2@2_<$T Qs0|FI:k} q>̴qN?Oj8[!EQ5.,*4v:?3Ҭ )C«C ce[L<A^"Dn *.1 ⓫zl!6[Z:""@Z<.@fiG/a^%Jg,Cw DRB`mc T0/.ޘJXb%gnO[438r\P0#R`C2ST§ ʂ?x,ߏ]d;ac gh&. Ԝbq^k5#)Ygm Gi+O㎥LyA1b2 &,Ȃ1WR ywyJB%IB%9 Ya?D,l'8,9zaz=t`DDhQyZg+wyN9iȧ }&D []/V>AS$ M>2;#%Lb_BlC KEosQ][0LDxC5<`DŽ1^96cj\t! [DYY[4i{Vjkc!t5%X4nfL~x-p20#_1Gy۸.NfX`wN补XL֓1M0=}w~p> kIThҁ_l3 MǖeiUā"bL+CRi΃#'|$n'[Dmc%EZR :HKQ6j ˥3}?s âP %>2f.fJZ*a8Pb&ԆlBQ!*FV&{*!4g?IF*FN21SQOTOZ'e/ڼCwV$E`wv2%OP L|^\}$fAEAww۝@̵}}[3ٴ),*)N!IKlDmO͡э8[(JFz`8;G8g[9D D~ux&`X*|Ƀ8N43ֻ @tt1cy஥`Ik .ۆ0_YsLV!G4b 1'eUώC`4K{BGbUMY08 <$^5'"kB(CZsv!hNlx/'DG"ǘ~);ɯY/*,^ +`d SA*%<iTP- wW2ޝ`,gFD<0ӶBKe!;8KI6(Fgvm5x%?2}Rƈx(7D /MˆXm#^\m@3D^d> { kI.O]hvMm,El)%,4H|e7(΀ thy42bB|vTg!ZNQ25i!MatSؔ&\ (3{W.=4sPqGNt TUk=90x~z> tXfd>{Jn I,$F۽6Ny(Npcq%oyDs%_7_"Or-%SIpZQ:ӇaFFlD(^!KiCh2#@w^듳2&#]S{4.…D9PP7aa0\InO046F81cB컭Ap&C+-vev?xڛd>|HAO%6#9huZ(!զ*n"Sy y:<@82 (JԒ&lgTs~䊶ZgjG[~fl-T5a'!X6o0^ ۞Be 倳[MM7Iu1uMNs>s6tLa"zK܄p}vR&w"J-6mozO\pG<[=ZQmT؟JĤص8ep'T 3g5٫w e+\>HgMAȎ!YUM0GEPKux oX<3 16Xk\R55F"oK 'nXmppf]TE c__1vV|,WЎ:9٢hXܙ1pZn+ ձ.X8bcs +Rfs腌U( &o%^o^a]b~ D`dXpl\yIV L q~U :5{B VV3Wݦ5%)Hң`Jg0_ 75"ܩuiyo7R0ZvK>9!;-'d>Q_SHCP&~}aB%ݎ:HM"+ 0 aKʅJ`'*<= Oӆ@z՝F{HKţqrqqt &$-;o>""!n#YhfVS-Eҹ] TEZ1eVE~0<:8gr?s~H`a@i ?\?oK@ k).bZh5/ Ήp=;MLm{h^oi$sX;z0@f f ½.IG}Xͱ ?F-!ah%8NٹGgci}2%\qm6ՅUp`żΘZ#1}x7owv+.@H؄n`MN4 &QNܩ'gciZvaS$*/S([Xg̩!$r&u9) ܮR,W7GqgNK|=͸{G ɤjmYy!uU\b FF`1deNno($&ꕁllsFH MzAnA:_}:<}-ɌjUU S 坦۩pzf}`T}E.7"NdkGe؞)4_7̮%GQLQ+lB?tUV0MحyK@F OB rZX=§[ m|-M'G^TL ;JBh;!- uκ+`l'E VI""pR6efW9YrG'cِ/C.EgM 0.@Y557j> ʾH<Cd8uÂ_B%K[л+ ҧ SBkAle@!̼)`rkF{h)I0/47\"A 6@ azZsF鸇8M$ޅ+bfL@i.(B b4zLٱz 4'h!eGJfi$Xa6 vm4FL.09Ǖ)(2B1E3 ''yaGKa?FԖS7j#I7jˆ34ˢ#ƫZ:,'@>V*d~`Mj:<鮛Q\N̉t+asJ. {[6ߓX:j"Y[%Pǜ  E73 ӥBhQc:4=2 _'gYZ351ebdd2ccf14ee9c000e6952bad00b13afa69a776b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 43d5ec70b1b9aae7804bf8eddfeef170699f61cc 3c08542ad00f023c9d2ce0588991eb3451e90b1f