SQLite format 3@  . BBh77otableisabelle_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 N5d4< ]S HOL-Nominal-Examples:threads=2elapsed=663.502cpu=1200.564gc=125.252factor=1.817zXZִF! Ყ]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FQ[h{{hk@'D3HWA^/<}wgJz\tXlerZQkY'QA㏞p]Ʌ9=/?X׼}^ZYfmP/G&҄ ,zگkyi?dMb{KH'GwZHjz#r>j&ܜs/1|f(9(Z܇*ɵYIM{f][^8V(m 0D`VK h6e8#5'wB`I+8;Q6,J$'}OWYy00vM,ѓFd@p5 !pc;G~&ux[gm6.-Ą )[Q n5F$qQ)Q]>W76y`t-q'^jS 3=[{mfS<%ω ɿ%Ksvjtߩay"  $n~Kd)r0q%\y0}D:bgO '~@:[+r$)p---zMcP_ ;iߩ%Ri,ctd쥩TPeڥW` ЦD>BO64嵠{8㔻Dc&2}˓WZƹ7™VMk ƝvΆZݶ63d:h%, >K闪e"R!cW[ՏƘO.H܉Ġg]\\:qj9jsmۥ/&0HjT\Ϋy^F~,RwIzT/<*Zz8pTPtwBch4AXqD% l~|kX9W-#lmI~yDv -t8V[0w3_Rm糓da 5 HOL-Nominal-Examples87} i_19qH.v{P ]SFrHA4@<)"|#z^ڈ{[AFQ0$cPw]n^v':* NyC{ aND>UZbRf 2~l2Fi1 YkuA묐F4G;{qv6S!D@.>ƈM  71^ `ptR wiZtYO}K=7h0na?^=k jǂ f6z7[1 Vm^a'p=!Gzn+qJ6nq=,eƢe5 gr+@|jۙ.焅дpx)`$QnY.Ch{xl%!efxA4fSeOm6 kʻ wE«&`ފG,g3/񂕆/ sψVz`%RL[O[ !eF:DesjF_鶟:ޚ)n,cmLhF.;I.fGt$Ş_A IG}2`! )BT !QGjl{?koXp`nfd9ʮxdӮ/K3ԗ﬉v<ɝg%Ԩ 27ͷuM>*ǺnȾYtI3uEeJ@^vXfǵy0 ,w_dd q`f,`fqRymR`\uw yJ&9@AX7xR{Oj93zLөt'm%&Տtnb9̞xjNL.;-g &kT sD͝WwƦ տ2~J?3yW^?qJGcQbl^d=4!T=KRAc9PtW~S:^Mk=3-^\FyXo]Qf> igH 36ZG4XO2~TaL\4qb^s3B[ej  {f^ilQEm^7*}M,Гx.l)N<2b֗z5葠(ٜ/Xn&%X D0^6CG$*&=ɢzЮeƟtɑRp ]jIKi PZ>;F<JPAQDg4Sm ' 6I-eͥ8igGG䱛MZU~e݇b}wxPRN>k o|Q3ײ{Lr};"d@N~GYEd[,,G6C@a/Qg;OfWpt -5 wIg0+O ؀\>"6bbULh#n&߁XH#=ff詍|*R vzы*5Zp?HiiTh;X Bya'+ Mɽ>t?#Ѣ4uW/UwPZwݐ#lJalZҤ;YCC=•KW H҄M-㹞֯x ^xf-\C/b)79+1n+c@4qdlbI n]W%Jp@>VJ@! (.ŢB~>g=^&}x}1eO3YCaGîy7' D[?zI\BȘ袬A{V$Bl j[w\(RT0!5E_u?1瓻wyxeJ6xGRDžY=ꈄ- t2]ڦ=Ġ"oD~`)U  0ior+3cnjOh_z"*D s9,֙g%;p.'cg?y] J'WF L+h;7vtfUD1a<;5xr(ZfCEC60]9\/R.Sº}r>D+<i t ` H.i8 G%zBvɖ, ߅s1D~A"9IuV1S;SPmv3FܒMK̸#/Cڸ_Z"p).H5M+=7Փ4 ͛Y4)j?{䱶/MM#ui<һ`DF'W6`<6)\2256T51V:_wyǸ9_xG#> (_qrM΢.%$h,qPX~f;RK,c \ ٤5RP]ᦫsjSyPu$ o/SU7Y!=Yd*eI T#f]98l$;qnR-D,)Bien 5VA)/#gT-"Fa8 x?aznc^ڟ)ƍHN°ѐ,D0kT[D8DNf 8ȼ='~L,"OZ%{3Mɫ7Dc]oW@-iO Y}&0rVy70K/]l8*v,2ʩ2ߵW5>`AW/6^*`'6#&:τ&aiCg䷊f,Z`cg]X:-7 ?P $eoxaPdz\r@5Sv#ٓFW(CרpVuFjP?;Ndc/ȜX&[UY~&n0!e3 #r8!,é(3Z~dEysPxdB6HՒG!ǴRl2Gf_i|P[ϨB"q-;J},mC-1D9@+G4EMD`u-d;4JF1-^w|-c}!-3@xBq(\gDˢZ_PWj7<}@lW3_jhGzcݖ;C(0Mപ-8u&只bU U2Z0/_t?6ڰyEyB>f #-9tnH;=gYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 a$1bG߿H1O ̀Ψmw(7ge^/H#SBXtWz'z[5=W{kYW18KOH!:g-^*hjrx ÝRiIgLK#ѥNb!b}D!Y>+BeףF^w8iŌ~T,SM%K~WXQ !oOSezL\ `'i&MHc5^̫Rz_06;m;;S_IRL. ɟ` .^*4tO՛>~LAW1ɛN(S/^ᷧHFߦQXP@_\?_iD)D 38)1l1>x\!Tnx ,w<}]>S)GCܚFuoly/-kWAJH)P2u^K@u]gYZ7zXZִF! K!]ŗXi%96Bo8_1,%M U T]ZKG#Hn)PԈߔI?.tu7qq)1crPd'iѽ06a} Rq?`vH0gKl|xoTo>IGWmGPվZ%y 4~Tў X7VQUc4ki/&7bڝ?sgC =V[Gp ?yGj*Ks1lAIP UXR{܀k>mq72T5||i&>6cI6]LU>׏J%I> Ř!1jeuo^4a-ƝIJ.[ZW<XB M !IOC@ ,`_oSR[86DmRv9goO =w>㨟mW<BUÅ@7p=6KZt@h ґ k<ٽq6ǟ IB'LCSLB&~7SG!WC#&mrs*@fb'xs[=} G'yi᝸7: 9Д ૥%/sȺ .)<3vhQ~Hw.RԕxE?-VC}f#A?@[Swhw3 q 8d)6zۿÎ^>ӻVXEF=aKJ%VmD7hTmGá{`Ƙ FμQ_ݘ(۷;ў3 v/ɡжtgR̮w 2 ї 9#&/r Ϙ5iZ2;4d=mQ6d!1!tY8Y!~;.bkNXtK7f%T(FkҚGJ|{[$jxҽ/c1mȯYBHD׀YMO.=*7 C`I KL@8|*jW+YjW>\%_}S*s/k\R.#`Ֆ l*R;X- tj5fx-OסI_UY:8m>2߯Aie& NGEUG!n[;ά8@HNM6JQPy2I6x DH6S?wQ2Ė# TX OJ w 3^~Bp7.&MpP$Cb-({3. L/~+OjlT|ooE~6S}'k.AM>?é{ #wO+[uȑz Gc{#V}2_l7BӢ",IJ)C.O@9udPRw{0O*u+}E`v4(Λx~Ž^4M3*#kɎe$YBk!,hʂ/n} W!xpn|EkboL(:[>'*dc{}6~~=|Gc+ R8tv+΋ncb}u e)I/6Bhӹ Lw#⣄3W[-l]_zNױ(ɹװNb?fh `Vmៃ+|/2IfEGCr@ &<:+1]^68SNsԏl@NxvdMs柘RCNw4mvoܿzPgHdΡ6Q&A}~FYm7ɕ8t˺I:mO ooA 186ڥ,L |"cm!O?0^a_|5$^փ8j7^Ce*ozuFu\ +Z-WSb_2p Z -2mᙉb D=B'ݾ 4[ti0vJ-olFکBa#t ;]^^xzr 7.M&g]KJHB)﮾}%(ju@ 9 F֛vha.j!]tU/z꧷(1Gb@mF4 >Z ^;Oag{, <@sPXB:0FIFOZ p,%5jC ;/=l=KbeAPd~7 qFy5cQsZ*鿁iqr- oltaL:#uv򛗴1ooQ5|z~PrMI ?ĕ)#?s}]fVZU_PO{l;@Ok ^|iAvsо]RMw1F5pb77M#Ӧ0# \WWӌD14J|f)r8r6`iMIOطp< .}FZ8ujy'~M_Twv~tI3`+#Dl™+4w Q8&h@((ӳ;J:2 y@ӽq8oZz \AۃgC  IhO3$`;"q]F@PVX#^:A*7\eVpR0#wyw NT;羋yWMn )cB%RH>b^ƹLF7hwc aBYfԷch& k.hX8-pT:%¸dPTc-9,1~C\DQ՚Ir;7~Bʰɯ3wexEE}uڲao5 H46#{X-~XM=~X*r"5}zMU:r wMF%}w"a"1G*'͘BS4c+gj5f 9!ƆqeM*gɥ6 hhYOǭx' f fj\8BN Y"DvrP`;{֞l;CjsȉinʚX.`;E1JiԻ{v9{frcMLj$X>xݥjNq# 0 $4tM#y2UZl~tb|F[l L:c$tדqCᣩKduK,fsE-n_OV|L`@,tʹpoBPKph(ZX(Y~^Bha|!:puƔpM}^@l=7a?NLښv52?0=Y@$UYnj2azt-&5./OnfǢ* %9ц΁N?6v.VCG(G|Pùb7Rf5ZYS[7r-`׎G"巴^D;wМGpI_KSj̓^ IsS46U/9HwT:_L :c*Vt p=)iql &WecM5@]^䢤|?ܼ hTj|csәUiQknAHұ,Z-%=Zx:Y ZYtĉиJFsY (,^"(T(jȈy q$֘Y:!K+a/Pw&w'zhW>'4(ݗE(,cJpg .`B%hzJ7(\jwMl.#9\<Nm{y S js4QE ^csI+eC/F\\VDd(!}3%סnKDO`̜n4A=d_Fo?sBK!;Szҗa_GӖY+i|n Pii:$_/2YeLY?-q IA;-ssJh,Jc{pCX;HFV@))BA{73i\h=m>x9<'t"J gǟ TS|Ol;N"czQlIpavDIԹ h-ؒ;58~h}"Јf!R)1?^5Z|۠f⾪߂i?^OedB lS~͏#~5*ߩ{2>r>GZWA* Y+%Ë Amoa*cmVdF,GYfܥVf )N(#c^#uɩB5'.;[e3%tɭp̻-6gO^!U1jvҍ1S",ɝ35jMQyOY l 2S^/'PO |l?)}£ҜF.(\us3Ai ?E(K̒gl6dJН%'A9O}DwNR)߰IM?brLF}sm|J G'[I>0OϞZ]oK[֏t24y‰v| @Z '⌹2g6{CP'vVVЕ[7H(@2QHhE2 }݈*w 6S+2ˌ,Ν曮Tk񳴸u_VB׵9^|jp7~65Ѯ.2u,#^s{t7PܺVsҢ$32!$'!h| UD8 +i$V~e!j\ Lt:1¾KCvJ@s Y$EZFf%m]5\-fwDج#[ro;69нƔ&!ޥ%Wxt̖SC mu< ZN%^>$Sooߓљپ,&4{Q]dEbPќgZV X{ϤnoUdco:eK_ue\)8wz~h_`Qt&,>8H#(P("briRt_93Hɭf2l7x Ŧtk|TFQJXM Rh4ZkB))vcB؄dXjPL;p,S`FO5@'rQWҊӛl\k޸ﴬۥM/rsvq )"H >?Ҍż[9< y(UUɏtOnb8K>4nSv<͔F{"%E: D[)BT[-K6Ft Ԁ1~C'#6t§ h=1,)-6J½^BR(n (ײ6QN+a^9pw~躀WljX1PRt,{]ȋ'zmFM:rV|~PL2'࠺;%9BH@X[@QFMEyPH?ם 5N,c:B䔹2LIYϫaYP9/!7% #up.d6h38D| 91!e>h%D56^tXt?JoȩZ/ۃx0hk a7@@@-zE`X Sz1Izra|1.>b= z#%:s=̎نo6S1R6\H[6lWG_.o:$L}C%[4ԈӠv%ޡޡ ^m!F LC1`TƆ^R 6C{fQvjo@(ْCאX5r ]y.cʹ]ZڟXE:vA ]&^FɁ__s]\.tEtnZt*pgt.9V }n=dlk/UoxI9V4I6^8HBus5ruBh=ܑ' 4*c1OARDMpZπp<$ e10:H Vi# B=,y-EBTQAOՑj 6Sq2@D'Uŋb[?VXdؗO='D*/ V5QZ4}AwcfHڟWDFk[99r iOҜ¢</xe,H->O._eVʘ{{0M%*j3AJ͑R>y^pkRWg^)dG%́(Z[LYKRE_pt(mz ,grTL, gRVjvjMKz֒݇U? 򟁋c.Ubn^IR]peI0 \q0hUO0ǽ͢|moD K&1)+h/.C@v"jJTzTCt]`=~ elc6~U E,E]֙v>C|K|ODk5j8@^7u=ya tazF>6/QM+\ #q`Nn7 .&T AӤ4Og_#5yuRwCa~&M{ɘI *%J^O|hٝyykq$Sn6x?9Sr} Zn(mAS"IrT[%K]ŝYq,+J$( f􁉵2\C1j`yB,>'=c*t<06YL{=KMfᒦa-6#CrR)іQ\5)CrhW)ҟ0)Wqg/j܀zmx)`Q&Z$bHw~a]lHY~z`wOVٴ>, G顦+\iCx/B,y^br:hh+(}0S~koKa<-XSe_dK(me$롽 #bM[Fv 44ӤIXcؽ&5Xu}T%MˬiYs0-Ӓ7!y_9kM2sȂ'7aj[AK1hĢ64~+>3>CӾYOVR!)d#>VJ3gœ} 7aeɈg pz4m#ʕEW8+.wQIynC+,4!NAz˸wXŋÊ5~DF=_AfN")QGElJC]BD􁩐cH]Y)+q))D\ rI)stKy\#.\!yRMv)J`s$u.eN?Z&ۏ1p\M&ͽDxr]>K̞@QRhZkSU2VKD#=QH %NuK)bL;];`6.hYiǻxQ|dMXM#0O'8l45V0%o=S8 =1=*!M62 'loN?r~r B[YU`N75ρSnvE,ǀ .sA9^4xh2z!*AMQIl*%ZKLG~ nw{q 3m>l;XJЍ~DhEE5{s rkoڕn@CN[(*L$1v +ھOFf?̏PtY)ӨiUEYU<x#4.]dZ| ALBƻ=5eFsfm|JE&I;z\|saLyA ;2Ez]CX9/kLLJ+АK#m'HQT3VYY[*0H^6$%m/l6" ?1³BZ?1n\h ݒI g'O!c5=Ml.oq Ci>9J\ G@C-#\( G9,;k6))qQjHq3?M{d- G%~,X(t)Fp˰3ƴwR8{ Rz ;Q1E7shHƯvn ąߔ r<8}0O dq)ߎJ7uVEϠ0dÉZ"~-.kj l'.QN%h SJp:Fjbd fyNDΌM Y&Tw3ejr&v+0hflC>%|4P.f`/Ǩ[D@N6O9ی M`( _%-wL~V E'yE-m2 +95mշW4lwA&:\l"96o̜ar>qa;6o " QpjTHi}#@|TDte™T:RD,7#9SL_b|jjpT2E@ݼ @9GY.$4C&nQ~ѬgK4:1Jhyiw'[.dho 5Վs ²[Sєc!6 ͥ|Vx4|.ʕs?? X9$ӎ*uۏR<4Q Ҡ7?tl")/kWYqU69#d=e@ħ;6q>:bwdW"%c,Y"8<8HL {d?ljLe<'ߞ~: N$kGv-^&n+Œ <]B5 k*C{>~Juoڑ>Qnj?W YM`c߲PZKhSΟaP:\xIxOޙ&?q2D/;x,A?pDB/աy0Tѽ3[Cg$LTkY6ĝpQҼoDŽ ݔr_6,|P}-X[B/A95laԵd{ەbo5|`;,.xйR\$qFQ#å 1kxu!HEL󵘊PSN n5!8p)$A}E4y1 fj ;\LPJ; .lzcZYQpO׾sfMH1=Wd(# (lBA.o7Z ;n4u ls OF2tZT۪#*&91 ~14dJhoXN:Ly iWnNR~+C"0S6'Ri3!9 4yRa|@|mg9HwS^O*gon MlYgYZKOo ^#vHpz16cO o e#%8wfiHd +>FBh,ois45Zs)q42tos{eb '-XɴԮW+1Ƌh2 4zK tU5Hg ]yQDI;.)+Xt(Nr=m噕]\M*chKq2#cqol`yɆ u?; CHv#! 0[B"3Y"9s #@\0hOIcQF锽;b"hdǴ7w*G]҄T+Hk]riO7vz%M XD\ф9߷7Ny¦E( wodV #!W?.(n[[+mo +VRq)YVb%z;RQH^pXL G@J!Ւv[aɨำl @*X8?Nnk ͌Na&RCK.4-/ҏRLOJ@@%9هR̗v?iLqtT +9q*Twf <#s5",6xeONJ.. nL&:V,ƣ+Qmai{j.k3qܔ$Ҹ..{ ?j=D%q".#+jktZްb]g2J߮y0tSA9Xy -ڸBԤ;–NUgG)OAAK5b^Q$v_fzYHR-#lImEb ]a8ghwtLVZ) =!5ʩ}ܖCzgD R<,WyLr_d-)Q(ⶎ.AB0j$L_K2QtWѐt_b΢Գ0ߣ탎!H q]3oY7H(GQADtW,%))chi FLN3coH<ڎ?Tl|!ײSpzvp1%8U{ A??a%pFM[Cؔ i d2rӶ)lI $Z]jfWjYr`rov 8k8kv$9ז܏nUo? x=;J(|\qwCM˻EİoZ:,%+;%C095:|vumF0@jgbZQvST)dsOO ?X5"hP_==&lJ@:rJP ƹDC}̭ rf߲BBT¿--ѐ8[c#IL$OhʒcM=;DŽ7e`LwRih\u!{VÿEdJ?oiG2ܟq =W#x'C}JvbջXN+ɁOޮGv0hMٝhD)s>h+!*OCmRMW | Fkg0EJCӉ>M .;@x+vb%XжPD<}5D+jJ,eS-bjv*Jg C!'4d*cc*K l\(pb0$Eb"/U,!.u PrFpJSiP_u!!n`m[L1֍`˨UĴM\AWtE6|+5]R%2'ɶ3*8{}߯v4=&v]p,[HSCVgPIZ{J Wf?D~"/'EEȢ`I u|%PXZ][)n{Es1#OǡM#B*;DX7lf7q[15"t!T[n7!?]t\ZxTϤq؝ew.a^ >b>3WW?ʜv{`S u$7r'%Nչ]]<-w'Յ<,I " H! +!R`inD?Ͼ cۅ@\L&cX= t} (Q$ * Qߠ|y{@V:g럽fu# pFv0x)RZU-Zxh9s@GJV3'Dm(yRP!YS?"V/dֻV2d1pVq>n\N[j02F.DAC(t#DĖŞ4kz/xɰզ>`{$r*-c/ >w.Kk"SD㦢z"j! 3/df0G|Q6 .Hy y1D!mUs;qD8ﳆ˶}֚F*<_#g¹EoJe1sJC@yF>պɫ!6M=&xR0mt=-kq6IUk/* /!ͅa9b۔Ee0pX9Z]EDtݧ[euZ'n JBm6´ҎwY1%Ž]C!,7NؘF]>u|>PԘn rx oc=e2i@48 niؠJܕWڋ4H8"KbMt -gjEV! DXQ=P 9Tk&=L\ 6%RUR-o>0A2/](9"|z03`Hv_q'O 3@}$2y%m ~$%PZiO ZYT1Ž~q-KXLj٣%9Z\ A*x+{v #Us0r6t]]R1P= ^ ՄMà ;6BeY>*IhQ&BB871xm l&|$@ʋVl,@xn S%g0C[]ԵioS;נ`NԿF\ 1~U5?8bF.F& -:b!D[(iA dbgّz*kf:70є0ԓۡU%) Ԣ& '娸Eh3j5p˽XGf[ 0ax]DMbCecx'@sj|`M; jt0^&gMX=uQYe$t`y!܏(LhDXءJp|OY9m11\},s1h*I i瘲i ϶`R0Gyu }(q $8?`,?]S`x:X<ì0-(-+X%})~a.r7|PyzPd8sٽ݄ꈃ+ sQwlŋ 꼕է&!Ǡ+肓[ }ۼI"C#M^^S 6~ŋ9S24Gș,FT$-t1V 4V?c w&)$FƎ1;en^URMr`c1MVrhih@t7I M[JZf4R$'_nR>[^yۯuK`l[pW {m+_K7JD^Dq)|{!$u  E6!d<0S!x?mM yI3h͡Va-0tWIf]R E<,E/,b=peV,L& ;.y09ZG5IrQëT.mh Z&9vۓ%ĸԶb۶8h\?SOXg *y7 pn94oWh@UZKCct۔QXC8l 5x73۳?-q5eH>cv|;SyeH탂_%vZq6o8]OP=ցΤGH=C.y|#%*cN?i8$54Bpg*׆Cj CP(C'y <! DfF2oTWbڿs$uhGlWG%+!ZNMG Q`iInyXGI upmrnzbshQWST~~Z@ѾRh_:횏rVQ+ :tA,dWb3z>틁eω)7*Vwa9)54BcKN7]6XvI SU=b- 0pa#ـu'l8@(|r:jH2ʶP}3+^"W$fqs/P2^q鵱CO!@j, ۨXba`duیU[?ȼ>? nV_7b^8gEds^`ʝM4#wh 碻Hj}jzҔT{y{?sbrG]a1^]wR2p + ,Q,48ʯ•*ٵ8OjAʥ@/sLQH`eo +?%K uw=좉|ߖ$ġy"Ǚʔ9I 6do<eƚbܸmTlѓ"ͷ<ep|>a\tHrWszn[Ω7&&suak8l+dY{ Ciq2y!Z=?sZh<_3͔E3lK:9X>{KG;Z~-m@?Xx s*JH=|WumfBЌa5DK5biAiOj7Vh K"tʻ`? g%|-IϦ{I.+mF >7__rD :<2QdOʨF/I ˡȤ")ߨ.h$/.::Cr;s2LåET}nzx6ن`8td7;)LyS~Tmr /Y2a 4bweBA""VCT+}%3.+6,aI1 o3HC͋(`2ah/S2^GY 8:@ FnvTäiF8dij4؁uRl!U Ucoox6M%i 3_4/  /Q/AtC"օa,τ[Vs9$ .Q99" fǞ2oHZvy9>;pz%bQ {o -94 A>O[!B3OA ?xs@&I{lj. `=У6 X_+r)W6yYA®}hJql2}ssNt/S|CBc.EA eD'uAȱ/*j IUwgҧ,z?):Z[E xAF`J 5@uYD`_QwK]rAn, <P(rsKMf/巩#Hެc,[Қons6]rR !hgqVzm1 +6QK(+^SHn݂Z?ʈ-|0)凐r9" 1^( I*O3%QߵDSǡb@-2Q;ӷChK0fu1|Q TH>Fr/!RcAé|ӈZnL Ǽo 塝Xt9x%Xz|0AL`~Du[LRDzK:+AjP'73F!Ί߁'z TZ*)̈0bC.}\P %+\kd^6ΐq9Ң4wd0y)ٙ"|ldzڎv*oPn2cRm<)V5hy٪!,Nkm/Vs;xբR3_IkӾB%8GYLs_Q'_v{$qX.J>^kMSRi#oj LXC+mʲiFi\0{p4F"GI'&,@D*ן!T8#9ݒm ѹ r! y:Rǁt }tM,x*IcspAdݦXDs~SD42-Zr\fn~恠6lRTCSgh>{%6 5c5kWĮJn.+4YVުyB9^cr֡FdžayI+ q5fo]zջS /ɪ(~ j$dCRE887p:㇢A@h(,lPal'U=]Q ~,k_<7m{)(%2:6Y_2̹p-GiywBv(+o3gA,ruQ 8Y@u{|-BΓ|hL}pDy{\t4I\+8K~?hǵ7yocAgI?$jmYq6*sVm45hHxy*k~Z_Qюg)\lJۋ't+Z焊k`3ØK4l% IkpGEͲeTU#P30fU>afേ艼{,+>t1Zi1rX q<LiPn=/<'Ҳ,],!L_@1hWf4䓥tlNmt׊)c8 *UTVwj!_"ÊW;#g\_Mc8P #:p!9}(1_ZE!'I+'+)T: o^SqJ_&Mnfs 2e'b(L :!wV944nH]61\ ANCW|snRkYµΆx6*7{ٳŽoT*㸕'78c"Tb,R4Wr(g2pb7Ck8NNX[ڌ;ZS6prFpoĥv8]M#ӡǜV'Ӵqlc1U/GyM!P鑏^d^4X=eJk]:jSeP(i̮T2PIwMiH- {vXi6Gx0;3jwZNYcͅ^RDNUNJfS|;,ޝ?P-7J>4rݏbf=2ٮd?1.!/!ED1k&&c܅y^;Q4F#}d)ХijSkL\.luBm|2&fːS3+U>#tNMo*V{B06B1@ykX#0Zk>Cc].ra F(q6NXrJ2p*SC ^;;yGMH;g_vيVË#^n¢ڷɒ$6]JvSVZ:ޝWE̮',a*#7s~b0Fn{cs >Hr ǫjFo)xa7l ?q- gǘ׷rP[N %DZ:]t{$pnECjH+(vXCv<Ҫc1KO["IAܞQi5ezj٫?Ɉ ݋ex. =PGG@8p *OQ]y; ^!{@Xc6E࿯A sZ~K*G:R} #^y`MK iøa`߲J_2fNz=lJݹV;W,=R 2h0NTJ#.ЍR(\2P# NI[[\{(79|ݩq4z{ _D|~pYx!p3tV վܺv3"_W]{) sR +$d^Q7 }ӌ3 4T Dޏ [5D="#1gPh`ٌGAM{CdUnW=VAX"BKk up0(:)h%ԞǸjy?Q\j!b"f+Eb_yVH*YzqČ7TOy!+52 Tg,Oܾ0"~l9!ı$++O{4 w7 fhNp->ɾU5iӖN,lІ;a [$PkV|ʼnwd ^<8E^!R+24Ǖ3X'Tg8?6ktT7&,*RHxʩ3Y;B5)L!R,~~8`5\#-,aNf ʍ*7NT,JI[^eTtY kg50SQuH_ClX5٘ PKZ}}8T55- _>jrNt矨;E*pۖt]z KdFE^-Z~:2JM8eTp;;ՒLWA޶*.xȞj;@FSY*H"$NI(ot6sg?-⹝#R?H!7iAav՟Z<8~\.56/'C8#ofE`RiC׭84 jb"8FJ4d_Ln:K#$!c/V2cɚ@+H 6[ײ -(_tn4Ghl0|]DK˚!,MUR%.DNPΪJk4 ;L 6}0 ??&ƹYB6U#m9DP[k U!wq;P{"Oݦcdh TA9MDiM Yv~j5 LCv㝰U\JN 8U`cb>=9N2?VОIJdfƅ )Cr !`Efqcʯ5Bn7:1~&$`S.R.{gSVP'c{0X&פDtaT!e\Jpc^[%?-&¦7^[0*K+&-w/#9d, U rT7ŊK갈}#!ɼ||TQI/3QA.6)*\LO4pNmZIE2+IJB?2 /ҧbDP¦m"|l}H-RM_ABppQ[ln)_74)[y}H0d#O5k݁xv .؄V;ERG?5_}!kL"vBwB_U7At>7KlAbu*Ղ:%BMu|*,a vPpT gksQ͉ei'i҅ #1iڑK|Қ>au 7Jx7,U"8ڂ79:2>l0'>KP CB+䱭.8E(%jj5Dvyz/܈PIz%]~}c}πnGbiv ϬwCЁ_e]q:~*i_'m'.>@ܙnZ $>*+W6FP1.=Ͷ2jo4V![YNbI|v@hS:t|>"|P!7\7 pEVl-I"`8!Wf_)lYB oJ<;56EF_m 1S#6O\x͌iYUчcy*$뛾wY'iOp2fO̼ӫe7 (thxN4i*A-)u(@!:#?7?QqTV"UA0MMm4q[u嗃27~;yb43䛔N ?􎒿Q Z+&;[nSAEboc>H1&tB%oɢ ˀ@.NO9g} WH,BI&%-?6.g)`̀}O$UR-{p@KSV([I84TS[o:n㚐O'VIKOQULuKI$K$9ϧWQ bW'N#F@i(xԆ1~mkbhYrOw\y@I_6ʠ4>+b+8^וy!1%I؄c+5rw7bQ]% QpJ:Ắl!)݅EajbI~ܤxEt|eC-Ci7:kɹg'Yc D8 FѲg@ E1#xWhݰ 6&sVcpJ=$iSLG){ҽ"j1M_#*.>#XK}OX1{4a^:@a3K =x;6?_7?Ϩq67x\o9q9ػNs3$!aR'Eʒ ƖC} J7M 1WhmXT0ТP.Oֵ(Dt4K2X@oBF;1eҶ߻zf}-Fxy'>ӢxjUbuN \>`]?g=}Ne"˰Q H}Yf {#@ǗzKu fK"vRJFZ;C |{Χy̌\|DStJj::OIޙTj]3XQC/Cs?Lo$5TeyŻ !hkLWA>F5O]'@ɩ^(-8&*uSMVѡXSc - Vk ɏ?:KRCY?8Yy'o?sv&K=1;ܛIM$tȶ#݌737Gq.D;G]:'>j%@SK^2@bBEnH@g@պSƒdEQT-b0^0J#T(%A]A_Hylf÷`o l=Mw6!Q^ 1bA;Nem-޷IGCَbuD0=+9^_;_J8x~O4~KFRg$Ͷ1̋ 3ET%[ P>U+/4N)ET"gx/"mFM:OF(XS Hl[ȦuB@c2q\l/4m&@R.uksN(C%twJGɈA6 ؟(ۙvnAGǾ}j/CvW)n곒}3”y lW o ?hq44)Qn5X\^ws*HrDh#H7!q[MyeMYҲ߉n!Q 2AA>62i~3` TbLLA)o5N,cX"aicf4YTeo==uL/ .?,uQ8@B yd2i2A~ys-}_uœafsԇzW&2@K4 =4 JUkx_T~l ,ԃS5SZ_ޢh4-d^e^(aw0dDA9q*DRƃ /)(ca w3O{Q ΔSVoУ-tomMҤE#P~6 FxcIBO40cX't#="ܨBW+cW:a6LPZ;1\܇Z`9җv*.N֣6Ky)Z˛9R0mVS8.Kmum]P/ҁ [ *SnTTtN@Oo%-~Laz=:Ji14\E IāOPXHXMC#E/Ufj44o`qH:}Cͺ>.Se칛yL`eP~%t?ԩ5_8 WupYZ X@J'SLߚ Pc7&z2'W]z|1GB4@`|!%`w/4=aKgd{jm>*r^ 0³ +L83Fl%dbig}yR~Heb\i+DyVwM0/քďJݯ 8(VM ɲ)sf4ӊB+n#y\}t2p^& U$E^abJ$8JJꊙ] V5s_tэź97O b-fve"g!\ [EsZ+o~5m[~^nKGڽ,}/aD;۟^&l5q`q 5΋W(өx"P M C볺%vQK y.լt]CGnDl^jLf-/:vLqn$5%UGp@DrL(cNveJe-u>'>5m[^SW M7@+2V,4+c6>>5+[fcc|ԝCyHӇ'4k͔[LxPF%Ϣ̛4G/o+uHl!:w#*SL$,a}3s0paGD\z'qx HhRO[y i;I-"ϱgYZ833c83c204f95a0734b0ee1bdf844d889ac4cf8a31bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29 f247a9c99ff62e525164ff33fd4353dd2fce511a