SQLite format 3@ :- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 N1T k/ HOL-Decision_Procs:threads=2elapsed=479.511cpu=896.032gc=91.280factor=1.877zXZִF! hma]ŗXf1-q恈ŕ׬[p){thƀaED*=I ڕM?J^zGE>6!| -Oefka_Ր>~6ƣCc=!pтa@/װDIJ1grކ l[y&/{En6+£CY&۾9R䇎_ -S7k,\Gf-`}~8kaF CX[4qSAZ+d쮬|s?;a,ELGRcڤg=eުA>s#9uEK?LǾk.]_op\}%n![>$!3~@l3q\A|C3mؘazc4E"~`U%[h CQ%h<~":cmk&$d6.ֶ9=)ȸz5 ͧ>ˀ)n\.pVy;0Av.Dͫ #cU磾ߤWE7~ ZH6?\ч1#*R]fʽ{< ŋ3YV?uY=XpAT`]#ǃ*l_ {ppm(opi_neW(1՚8N6̈Ms m&w nm&|L"mIbW-uaŗ ԚVY_%XaTț^2l#m+Qc2 QGajM])r0Q8? mpޫײpD[f4vԑn_`a8l.|,3 /ΰOx,} qR,J93l\O36.^vZrK{+]_ >,cW*Xu8 ;糅fu #ڂ_EU:*1bKPA7\I QԧwE8%9M'q_T$n@?'H)8zomQabĞ])+k:'.`_uxXaڂmZV#N.~??ɯN\Q]&:#wڊI AKY(̞G>('E>9^S'@նGM@>S8)W)}85e* TV`g*^>_ ] nKmr贰ȤQB> ڦ9 #k:6eB嫶B^4QӵŋBe4d@$>u A,読 XʅO#_yAMxoDț?2`4WE}&z  cD&<H`aw?2H ựbk:Ճ5(gR8U nA@)! UJGC,;"NVv De|A`}3y7 ε34y}(wAS9+~E Hmk+TYN0<6߅IpRaD9-{E8S*Lh g;Rhֳg񟗤цG;+c|3sZ1BjPC74] SeU=Ï\a$G:M9rQΎJD02_h`W2( *"! l{U9Q h-v~ڞ>3FdmoKMLi^crAOkTy.eJ535gbr_NyYㄢ1 .|xX\l7D"5L[8aXҼ=2"{n$0 5[ȁt'\#"{&.yW0q$x.i;iEdBR=PDT΁]q҆KtN{ ՛+~C$QaT!֞]œ +zj$ ~VY͉-$'Pu.H0Mĭy3/ocFH\8^J!31%T`.o˗ Im /@PڍVh6M̿OFҭ+ܚ6k]̙B?r{6å(O 6V0>Ӥc=Z; BA^~6 ܷџn#w0֐T}6)PćB$dsȐ{*3Ra+#>5j9r!_-!Oz2N][0s5^If0Tob v {qPp2gu]P\} d/TܐC]Gexn i1ʌ@ƿPTafF(Yn,1o~M4"YWr8thVyu7>vJ+`Lkw,@G@[˝g/|럾Q9|; =5=4:9]71SgUXpHjE*+Wb`5WgcZnYXjZ1.'"gRwW9Fs1/\~OXd]P=΀yQ%GS{sI nϻģzD܇ͺn{˒*1mlOݰrI?vH4cE6nk/yl惛 BT rt41rXEYE?+V1MCnh%N-JIϐpPp魠_Z<4 &eBۭ6uG[sm>]6p+I8IZįb0֡peC#ؙcS 3)&k[R0SVlWH5:&U8Ѧ"pQiXcFHO[`vhuK^K0LcF&N6̻"tCWg mSDf>CDc; ikarHk>ꥺ5%J#B#JhbQa7sFZn'ThUcZu;ҵV1. pǙ8;6 }a~@`bqf!NL&qrupTЦcv91)H?a$L1RwΒ_0?nEhdyas?J\bX)h%즌'USe"b?pӾ{!3dÉ Cv>pD*}jJ`olx[u$b\i]dE q#^XY9&ݙ4JkPXfH}7]ʨ2+hV+@N]ׯz)%_άpqR=/;k:׽7h̥}V8wX&ԶWԉVh7W*uz؝^F;\=*knoq8JS@gMJQДN[(1omRv9 /'`h=j/MB328/"L7&9=`?Ա2ҏONO3c,JsI!r^;t`eoˑT(0 sGa5NwW'sHM935', 4Ŭ ^"9=# =l>  y, ڦ9 ם2a%)qG>J?Qs(j8Eas;v*fK7:'X+mq9Ĭ91i6燧rZ s;e` I `6ؘ^Goj+X7 {R6 uRճKu{%'muɫ&6}0U;M۩iWC)Mk61*UZ!Qt%Z"wRjAo&Aw  IW[vA-ao7J0}S5b[\>ݑ߶EUڛC/zo"᬴:ejv]f#wa~-ĶeUua?x"P7$VW vTS9͛3 \ IpZ N90hΉ9G[PE%%z18,'0^hQmϪvLV=>c)A}WPQ,eOUMGw}F:H}A\Yer3hBbM1nV呬q߬RfāAzEB4(G$Lyܖﻏe'('k՞ϑaʕ:㻠q钿FmhnjrGT1B0H|@PieŧMk$)p@KVd" 0<<%GchddDĵg+8hjCgPf?@=JN#~E3j0V\>2"·=+y^ Cf{GQ r6_ON`YUA!6?3b&c&z|_3D;S&NU66j2wٯ)աT!4C#dǙۿt}7EX*o{^,613z (|d6/*b - &?f͗7M'JԬ, G9jBh8Q|wGzZJ뫡 /zSa|&~KMc:HfbgVr ݡ1LbhQkH2 k1\=gs-= KWL N者ú/i8Rō3S3h=Z0 ݌M+n%B$]6 x&pgP]> E`AJYcc!- r>$P(#m4XebnGȞ:fJ|Rn 6? "*' _eB)ގ o>ȭye9I=)`>HRwH0xeuݑ}fM2Lg~7;\PV: om[2$Xx`: ݐ I%p';ԇ(mC `Ra~SR}T_K2͈ȽR D6AcCkܭp^YR"@$|q_aeSKrE'[ݲv+iv(Udyk@CFm7H@ h:tlFZ,Y@,EEVE%,h8; ZkEb^|J-[lWݾs:8# R8w}@aet(?>9v`%5sz"%cB1RA!3W'`SТHJ"MbT1c:"vt@c^/ȟirQzkB]vV^J'S}>N: uzzA 'w2jG#a,IzǃF5zʫ%Ȧa&.ʇݩ,Up֦ݰ΅.]҇<[Ӕ:g4m<=hzn#8:Y5Dr7H9}C?ĊZsj\W|%ompvQݺ{R{R }z> 'LzM$f<]9]Se~Y#*WNf)= nRH7'n8'&o99xEkd/H#t;3 }E ř H0SwhCgr6\2mU/1Wڄ|dB ʦi]crj[DA!5V!V;|<1bFНC - qH,>TU­~$^l_O1/uCx^nC@aD\سQ{,URN|vR Bs‰zO]A,zhLZdbe"3[DCt[%;%·&2*L("N8KL; 3FjbKԝG|"Ւiʂ^g^>"_p|bHZMFu3sD@ط0LE?dΘWY|B"ZaGľLej4M/m>jw_lM??(c"1!)U 0J!S0w;CHe(T~bgG6p,+ 2VSb{_$%P Y6Nv}J(ǡܛW2k'{SwtG HdQn# ٔ^<dҪʑhYh|Dw 9K?vU{YP-M_ ' Pa7urdD01H5osagfKRhC:.ra7=hPd  ߯{ibH&*Xȵ(|#JݣzWV^٫[2H{g !h]NcSƜ+~HF0?>6:89uW}\k;tU>'@ha QƲ)1#ՇisoF*~U$Ƌt5_- $*p~=>مEZoi~(5@+J:F.T{[m.VK[j{d#Unh{#sXM&fL˨fzK"G|Q,"Yކhmڲ4ψ\jE.ٳ? 9U [hĀ#z#ʭiz") @+ D]#q+b+|ZIHjAؑ팤Pe{L,i(uy51?ܨlz\ked"?H%9Zٖ/ș Z'>KĤ6|UcY傋&K-NWy1W-hGno x&WVZ/0b:8M?gT}x[(#枕>_7^hV·yu{f_C)6z@:."-Is[r T1C{ [V Yl7A@̍RBI,R;v)߷ . Ubffԉrtix pBecXg-)eM7ݡv䊤aX^Wi^%O kdeؗ/"$^6u&NE( v%Ncڒ~LBojV?s zIdz% ES>3x`ud#eVurxW#j n0>XዼD@{RE;vǦ#^{ Sf9#1BZ;z+W蘦!SoN*M8sHާUs q&63-3ky'@9Auv!VӺ! :ackcNlx9o ")p1,w'pw%SB)Ko '`Z7AzJn"4;FH/81g8HEq1GױWἸWogz( gcM 1r0v]~l,HC\a#xtTBƮ{=ÿH2n_c](_o_r蓭YWģKȉ$07EmE:sbedu(26[ڒ^m%9=PyHAFF͓jn, mV51K㸩ÎdGHO .rK&fAmvf]ݓgjf :l  ρ C]}1. oTa`yua P1Y)P^g16gm'}*0'nF|?JSGhK$3YGOH'AĪ wۮ ĕ%œ!bz&9seVq0;#ƂdPV*%\c O{=ɀDؘ5>/cNhU-ĂI ۃsIO4*"PD1\FIQ'~57Ɖp ˣ+Z% /'M9QSA緣ԣUk5Z/+B8(f`;j7BA&[b} tG)ZB,צUl63R"{&1Mx'b:94'_Ѻ94>ЉOf|Nf$.fj݇xp=p#2H[i~.Uȹ)'Q OX:Dg=_vƻ[.ceDA˃?n7whR6iqCoҨiI\zZx!z] ZpҌtGL@SUWy[q*>`G.VO/OVmV$%[b-. dר-*O= )tL+17aٴP al{ozVԆg}s ;/S qi-Ril@6q#z;#i7r%}Z8KuC>X764~ijN+I*xMOmv'ry;%w;rAnFe v#˰fԉ ?\Mu(ҖHw{فƒ]~|d욗cE W\6(cgȀ =ϟە$zPb֥p,MxH( Q<^0}OdG!^8fɪ|\6O|i##[.M['*kDCBI5Fn!fikM-1Jm`4cL.Wi  <> l~S k2'晩SRakl<1䵑nz9"O)aeT JnjJ/&?($%6zI7@b/VDuPՖF?kg/Lbd V3yvkd#-0ŦZ'2A !FL`tƗ| XoDG"_f yMT#|fj$^uNJQ2 $儔N~Γ6}.7ߙYw)j~/N@<(pbvWcYA%ss^bJ6'v\ J e.(haZ CO3X %Z.mN#*eM:=3$t34"xΧBKySq;"TwŻ?rfPӃZ^kU, j ܪ`RI3#‰shgQt!\(qo߳uR |Om]!(Qh$^, m3mJsުM e\V׫%2[5ȡN>WFEk|22~|nViîe ;}fN[ (wd_׵}&1:K]VE8<Õz\A %_A~V2]I7@KZGsx(j%l{4-GM=]!0m QEٽ>f_Y¸NU*B+MޥY)y2x!^y _Ƚ;J ].P m"Ezp""+zMުR-0VUǓlتO22IL6Π 6ڴU',CFB+5KN`P9C1ξ3rbƸas:iQט%musOBg&o4Uw~4{a ;n;`}JLNr ħ~>hw45薯p>!u>E)֪R`uZ&[Tw˧Y,|^!;ީ D=(o_$4Ɋްs q0\CaO:pїuRy,c^y:@WPyg ڦlIb(®Џ>7HqMC[CEH[E~13֝_i1Tq[  ] 븹 wJc)BVV.6Ơ~S/Q٤/Ʒ>:M+бKƊA#  @QceK 1d Aօ $P9xDO;W¤RԦFzVQDoCau[cS4i{$!u"~M-ԚYƩ7+I߄1`: 2/8Un1tdiT-F ]5UB:{1w\G. C 0`5tyop#io`fʫ*MU}:<n=مǩ#DUPM ç&*# Y--obOT_yۯ&yGv6ņ(Hz6<1pн'! AHͰR@!Qz @{2!StP&䡜/9OfCg/-ο2SD{LTqLԥb4|Ew5hɕ_ -RP4PSĮAZaIqۢUI>at ɴ@X8~1 1* yzy2kg/hU2ZLx]^tx ,~%ꆔDq-l0{d<7>-'##l;A(d[yz~!R !0gM'oCOy5XSީ?= OKFFfIŽQ q۟11;m/oGۘhZaHaW) {Vy7 S2Qړ%l Ww#|̀\guIVADL;CӲL^woͯ&Z9m+do-#t%n{CwK-c9nq(x7t4]As*[|T`!=.~ ` @B.z#=lEȃϑ.>(, M'yƳ2&rHzzAC1h^i2waFE/]@~L'/ ٮ T;Tqb3*^,ye!lɱMr甛+'-`2sXHU!7q9{͹E ½ @/b}';II Ɣ #<|j3HˌK8wee 6@ )EǺ!2ܵ==xG(Y F.DoŶ0,5s9@&Ft5$%㲤i4ogTvejtl൝pP`^8LPDk!Jᠷk8ٸ$kBUJFa=ȥ2:.0s{ك{Rs;ߠ;#Zyu?OPO (;jsM*#Cqc蔍?SBI7:}*vQ߳I[=%b/C Z6Kd3W;z8y FFe%`ÄЅa:FuZ'9MsR'3tMZx %Yg8\5撑kj+"˯ʵS W?*@ȽnӘ%rO5c`QERUj%/ySiCܐ &nߍ`yW)YB /.b}:҈]t~"  u]XJ?Lޘ%$tXi>׮_h +7<4jRge._A9EZX]٤ZB316QZmz߲\L4׷dcT>tTc;\iGZ|)B q=4JroZ-p .7SM"p҇C!0U9 5i5TF,ߦ4ڇ%hHp3ǼR'WG>R19l0kci. NȍZRb(VL,R;|V5'Zd5-$޿2ଚ><'ƒЈ/l)¤fFLa ["{%(3feA>ۇ}W#XlMioX^zLQ^c;9'.ľZ;7J̺,Qoo]%_Q%C\`:,8c:L{{VXU[`>e?/J0G}4G.,tN̾j$i0DCӟ#f&_]ȈY2&b1cco9( pǰdCui>nti#V*ip\FEy;:GHagbZ'{)KPOFMEP|#^C8Hxjoh'ˁz< hv:VPbH\4Yc"ϞQ@!O?%#rۏmh91Ɯz?,JVGt-$vfjo6(矕iiIQ.z Mf0> pwe&\}O h~@uϭ0X8kX3 [`&咨/(͸y;sWvDs_0s:NgI~h8Jۅ*el4d+KpNX;3qPԃyj'm?ef~JD fz4M̏oY.oҶdP4%}gSIp]0'-h:V'@#]|j>ĻE;ui<(9:$$@w- #MU ~ْ(s^؝ xJD2^H%D틯R5T"N]3 4x̨f /' (DO{˅$=JVK%Ky(@E=ku}Js<̓O%>&Bmt@# H)tVt?{f0dava+[R.J^6 f4TG[xM_Ve Yc1PzECuʪIޥs 5=hbmt3$<{JZrW+C4>YU.**sdz={V9{>㑬 ~0lsD=;Lj?O^?c pW{jP7^k{2h +v9@G|_@*g(z*y(r7LE\?Q,I!kx] (tɐsp @'Y;=`0/Sψ5 w8 t9B XZK ثg<2Z)'Wa ʎ,eɇ<] x l*O"lq6Վ8sEznA¢X}J%+t<ч!xxO:A. h[mlxC~Zao+S: wIOVA9U}5esb(wTOܦ2B!cq${lc4/:蒈 YYڼ+K*:9VCN cÐNjyF6]3\y2š¹[bsU=Ó\ ڪ0*Y+M9BsbgDMTFvjDPGrwr?/Zgqm&G~G`4bB#> p2 F يM K$ 4qqy_)›܋j?âM2:?9*2T('Ϻ%Sckm j4Պq[CD#Kzɩ;e `!jXY .OuYY2dd;WJjP/+HBuߟ4~UYс{fpjؑ-ܛ'wm/ c`EỄC@-l‘xQ>]];jEUAY^NJo#M@\H?x{Q6`@,Cq̴,vR,waȾ|aymje 3s0xs Xr`|ǽ^oj)ݸ"^~(tv.EQG0Ml]VOלc~p+o'0MK>mDZ+@;Yh2G#7VL>3] \&@\"by?\r }ȍC˷w]aHc֏ WoXba; q"Pz z3Gcv)JngH),O~j95%5NH.YOt**RE5 > zQ;뵉muQYҙ疹>\>,z~Ҟ,XeGmۉp<'MM@rd6GCI X )NW&hOXL).q7B[Y hYhBe寒4S^ﶩmjqjI #vbJx'Sֲ> W~BzuaT*:.".bDǚ@#^@\tx:ccC o( Rtze4f'ڳ`I撓Qr9en+(q;'A4PRg"a`5dElǍ.$l}bŤ壺Оx88F.<{ *æΓ]<;W(n4ɈD+2R묿U#w*U1yTJ2*I}6uf멳\A-0!W9 U}X`A-{G2! DKT/mzDU}+{ me4gYZ7zXZִF! fq]ŗXi%>*MpIXY9z#iYPLx >}f}ojS;Q[+I|j,{ Qa N7KűZ2 j1.K.̹aԇеP8[)q_n:LW'Ҿe!"S]A7'jҖ)TԜUu >}#w'7_GYDU!^g y\blMRo>BBlr'3+DJYx9 mm={7ol$܁@ҺPCٞ-YsfT d9.pSWC{Ի#- GYsgxtR?}9Jxc>ٱGnۮ*dC]됨 gO3MQ9)uksjJ#&sGee;ygLA쳭Ԟy5OʕvcXQ mG Hu)~|Bg KtfUlyI&hdMP:> =$sƛBlHk8YrcEx8иVM9I5bf޸}y8%ܦ^a׭JbqǬT|rQ>s?+ᶐq~@.:Wq6ms̺ӭeؔ3k0nGZLW¹cJԢW.H>k pEg0dAB? ǵVwD0]qn(z'+Sn_Ml*PjA9gOV8in,@_P ;-jRz4-P_'x ~ x(J@ǟa$'؝# E0P-Q4IA؀0n?ΰӰ IɾHt7ɎL6Q akcfL8!t}A]Ϛ^Ure38 PsZh GY9 Je1P~Qq%ּ!O T㓐A^rt [QTGvxgI ָcK.i:(^>8qy.0\t>IؠhЏoJ9=mDڈ:~˔r+T u:"g>2DRjREF kK>fݹ` ݊Oȧ?KxF,=Ed !jpCMNV_{M G=Vgm4Xyt%ӭ ̱o( "{'^b4B;^@sY|L|49pXHD}b׻uL; ծܥ]MT;SR !Gʣ'k뤧`Em! ՀLl!; PرL|$jn:e#_* a6Dks&ىy5BnU! vMK PI:ѿ]B`W:d}{¡j GP"GT)~G&-\uHS 8^aS&%BAL+:+]8^÷g^f/]5ѹ]wqگy 2d'Χ?ô. 9tJ_U#]ǟo-dD[@uIvtP`N 7d_*0$5+}#\4ޛ!F0n#b:z{oS?Gج'RO77`o&g☕/`nc 8kGb+߾]鬾nu֧~M;y 76x1V29>AV=LD(7>K9+ 7iE6Ƀ.4_M$#Hw5AρBS Mc:tğ."U={Xua*c@_~XpXQE^_Ɖ@!nf`^~"m?ix k;d,* FԀ+( K@%@gΨR>j`o+-IlizéXL e l,w*\ qDW𾗈81~m?d-hH|N5j)P ZmYS <~T9p4пLsh!ۿ&Կ*f 䏦S--᝵GhtyQ;;.L}κΝT{k0^},U㛧ZYVfIqԮASh-m,RA"`yw, gPG-%_Be.E,NL"6`yt ){e@hF{C,zml¥/d &9U7|d\#/e<",|cA;IU6 FWJYmޙ䳞7Bf9J^<biΌU6:2K@jH\RkbdZ1~;ʺv`"KRRi(QhC{$vP.ǚ_e,Gf6?O|{rUE fk]B*+XA̓MD#ƴ7.]D~0~a=v`w&Oa,JZ~=DL[a\'ɥ\ޘ"y,XݼA(kG)%\rɕFd ?4@6+fy+O9H1׍XQuiAIhw)ޕ2X 6jI;pLWi`pAᅳ^- tٵa B4fH\~7^41|ÎĔ 6å"M8buk]]c=icjxax,G#3xU;A UơԯK?F@eS=1OA98IRqXmYf"fu[Agq`5F{-~ %lt0#4tBE aCGAx!e)a1S:O1aI/}vTN@',7:eZ6ӤbmjVZF&d~רok'xfQ/3UspU3)-:A \3ẎPe6'4O覘љ'ނu}a_30h ޒA-ԕte>Yx ֐^R ׸<&}K߸ڤ"j[}0pڏhF bG]8?ϫ8Ɯ8Uṳ8,7DM-)(!ejHat[H,]*=)tυS}̑d3(g1W;ANV5$G;޺q@!>j7G^cıy}iB :%,Z7[Wޞ1͵=u~^ϠmNUkR,v .\ӥd[Ud#{Su!YsP/0o-co8bHSmۦuw6 vT"uq$̝<"k};{!ӛZ $KE\^ZwU %>[+G9*&t=WpGYC%:Mʫa"6X0yr<._!4dBpTɬ|$AT߼~R~/>-GO=ړ\6 \ e(~J_dDiMQefX:K ؙYpY" Cq߿}ӧ\,WXOW1Ayz)nE^?4 j'Ѩ5A<_Yן|-fFl܆Vf ::G=+${0 aƍ1VuNn0)Zv4[d3{{ !5 -Xsj¦Q2Q-sA%*v?tX0peX_>k0]\ _2? ϑ#GO7(sڴUuh/9_ګA4lZ|d1ȓ32_9It?k\Zzs7A);aלό{) m‹FL7H+!)*穟q6^|+sNB[V&MJBt2G+{ts'[vb1SLMZ!k*8YSS=\do2iB$7/rq/A5WN#XG#0wgE1Q(BAڙLx2蒉)bQ%CBSh(fU5oq&:nŽԝ+:#N{ЯoPⲦsh"ђ_u K_aIX ?kWu{δ 3vk1A1Rթ@@{œei$TX2(/ձik~Ӱi1}ƓBEZτm~K BGEo?_f,%\tL\8 (#@~ YHxUiiqUk ʥH7ٍy ]DڲԻu7T?3hPx).7_'wسdJm^[2}e%0 Clc1odb/iй&Ӝ}׉$tǔ_5*A7mP$6B."]7uEdRʭ[qc$dZAo PfԷ͵$ E8P\2ZgBB0*EÊ5hs 'Bկ>s7ZްQ)X6zt;á,l/Fͪpbɢ[R)g #l41E6PƮANf~bI񮏌wk!xYL1 @;[_|n0i]ݐ& eq2ZE TK\29:6؅fS7$GKGSΒz1z7YjTZYTO9%rƟ"5(^zcI8Pp4[0U\',[rm=|ROWVX4t E0K{SG85WTBŋ9_9v=BIJh Ftg6IPGEeo,4k%Tb2 4/wO_iV>YE_۩1nĈer{F*bOt kq/ʬ Ky_ F[׸ҍa|N vJvTeX2xG zkϻS wk^dǜ#uq>{)7$.)Uvۊq|kRaW8 d;f4AUã'CCh OHFrsxSּGVWsnfd)GC`9Ն.`*JO'eephTG=4Vl!t:)A`Kp'G&^ܜ3Gj\Ǘ NPqQhS7Z6%Xʣю{a2!X8BĢmfpܡTer)眶=h@ռU[)h\]ϣl8_KB NZٽmJ޵wZGY}yYJ&Mǀ`>gl܃v?."Av2uW_юN\"uHK/h2vј@oiØp*'ˊzqW`9Dw~OBAWU:TOXH9rlU 'ɛLTG 3yq99}X o5j* k ?Pʫ_ʆ刽ßXgd(0\t@95pZOIZlJF mi}!Bvur!J9Z+/7gG?NpwpmaN(0UoxAM=nvk;Zl=QFa4o,ͺs!][Bfm(p M&rG6h'ƴGQO 294Ep1|2EtAhO"kKy"Hgg(cm>4mO#ϸRdjj8u]<_qچYQ/>2Bͤbځ $X "nN!֕m5\:4/c5vGb'%ԊaHv[]."9(]n$0'?\дĈB#J9O'WnDO-3"J~^e|pAI1Uم(\8S'ZMeRCTCTZE4#obl+g, Euw[/A[YO*ь`o|.~b4HFK!w9f@+Hw˴6Zgy"ZLݏhG8C!&D"DT6uRܘ ulXk1dWnM0 ~xD;S3QLzIx']嵹m}}(M}.:I5V % k<::. }TGcF٥m?2ܪ9 ClqjX}d)|a^ξ+GVzwY{ Wvt+⬃nj9aAH=2f>! *<ΐ(kHkfׄ8]?Hq \HD+P[LnTδrߞH7G?~>j݉Ksoo +SxRKBg1=iMRW&)Yf3\Q3n#åli 3s:v/5ib[@(hew5]\\8΂6[H" z&_؅h1z:H}QlO)6EO;Rml_Xf{HTyo{,w #..lw}}=o6*2֑|#%$,0 NL5>]!eO(4M/d@bvY#:wTc%6q=)Y5EaoX(S"X7^=M:̢cm1~6z4lNE&R~m4GN^r }v"w҃Kax7 dBUݒ8fk6T@<-8i|' /+NVxMW[ MA;@dqʂ<15u 8Fm$YGZ:kI%4sBƬM̈nǐ]UQ=Hb3KycPsF'ec P}@i1Ik2O- VYvl7RMr<r00[F眼@Ln!I8߱-,l7)#Ç)`J8%yV1GA OqU$<Fp)_A7ZJUtccrâ5!tŮOk5*)װ׳PoLfAOg\&,ܞz'9!z6Jבs19l @Kf+.8 <x)-$h|r17Fl =8D&FehJdB*, {AJײxˇሖ.hB_waU }l1oݭ/2+&eYRxENDU4KY _ JQ-FsAf$]z7MBQ~99pŔ6tTnT4W3 Rb tdQg_&NM''yFsxO/ܽ?6)7="*(dEg Yۅ۹ylCai_zCݐRr!Qۡ/Mc3?l'6~4b#'BA kEY6Tp r,X!"e8~ ߘ #WDzm 8(4? p,/^:y,e03WGe5Ad~C-x$2%R_VW+#kN(ʨ|}ϳwf}yZ:\gPYLm-0s .Q{\l]VŸl6ZVawe" ! ?>2>K_]g4u˺6,zѿ9?*%(jI۹#u/QǨMOk Њ%z k?ZxE#f89/h۴\ y;V8EOS4v D{$O -\oEu'hI|"JTX9]^}Ԏil"DJW fH4ͮW]B+B_Nʜ!EY(Zun1?mz3\UjR<"d3pQ\:L9Ju,oPŹ)ħB w,<Ώk^!;lwEC6SgꢿE"7Oe1S]b5vm0*+i3a逸0yz_N A@ ba7MFq;?KGd^B@4هFhgkd8:䠐,rq8iN7Ĝʼ7izIBfy~jw2]N"[%n,[ Yvɜxe;[*9ϼvV, X:MnTSO [i#4,a/rS!x {Jhb74ҔiP`[WEd/E&>Jq~FC g2l;l-޹0#-*WցF.Ixg 2w^4qXGTJ$&&wE:/bа!X'qȡM & 0^?FqnKT.C@q5r-b_L{AcJ^7CFVGbYH?C~`hy BPm(M AO|*yqSRT=^}'ȍFЪﭬk5pdF񮂘? 5ǹ'^$ƋŸ ”&VW F˸ۣeAHsd@~b{A#gtxa9N}x.OJ,1Y`-PE_Gj[1 shĮ؅: Pm;Ƃ:d;c =)Xa0 [ ^_ ^G;u~RYr*a˓׌r*&)߬oyZy~W3ܫPyE՛/0;NWȰǸbMNnAu(F^O {_EoUƹ+$s/bOq SD\}ZЇﬢ-b_'3(@Y'8Qy*?:x FZeݬ.^eTfeY?fݚ|+'~wyFp\w8zӔ^.R8.;d!+Jpx>7|/2έ̡0')ywvTJ"X<~d8ժ>i$s}uE!VQS~6t/ 5oTj{ ^owDƏi׎B'ޓA AaQh4aGs(c[S814*$QhǛvQyY|I)Z-iI`\_D[!rB-D`Vn$z ,  "8Dv%UP'Wi:@$15,,B}ѵ%;9p]_ϑXN\lN^tݯ69@`>LI# dh<㝡+'ǨwVqŊCɈ}m tȠ Ь(4YY2_:̪<jn;#c_Wv#!6^b@.dwtJ KZa!^[k1ó@4:+Qs3'k:( s2SKr~5-+bCW*hxUǖlvRfwdtѝAl&xr+)4gXVL65{U&^!+A`Y9+d&B`@7RC4 ki>RY^p*N/5ҩ;~9 \w.d]ʯ:Լ.nwJPscm6@ԫC"7%)@|WFxc&WÓ\p)7t bJDWPtUQa -~v RFx50zp 5@WWp0ITl4 3iC#ЩrRIᡯ Zx56+yTH[r^z{s!' [s rOA'^h4l_z2u}2!W=),u3`Z̾FG>Cbk[eʮR2uBQ,'F xVOG10-^tf5EJs󠇺}n̐GV{񔁝WfFwfŅ+2jR6K&o`3:Sr3 C mQ]UUb/ԓA+ q D[jj0|ws;|Ef1=S#C7(OSc'̏;v98F#4ԒCų-z\>D<]7?:?m833륟#)!-sh~t ⽑,Mt5b$ Աַۧ&?hˁw b(Wbad~Ekc?U;[?@95;񲡓0ܦB#*&_36-FGkׇ`#Y܊2#'9t=/aJ[[;n76Y†5R8r 3T<-,ի+>[Im 5)o󉲶gWjA?{w3 ы-Cszw),mOKT!w⺪'h,Zҹ*HSc?GW\ <x]C2u݀_\L0YW5W j( )Ӌ1vUo~ ^%\zHͭSAO5 ʟ?1R6P`s3w)̱`ֶ\p;a&;5"* @nT<7+QFQMd=+x϶jp)BRm׌̄sR|w^Q.;|ko)}ANّCp}h#WCm)y!Š谈-./Dsv(.s0u@-P.vω)9tDyP7=SRw r}>㢅yaTb= 3J#'X);L*T dhZ!Nn̄՘ ȥ֞,/g.Pe#j *}E&-Kξ1Ğ}b:4tB@agƋ"<xdْ,vo "[( |֬*7*خ % hX{_?ctAt5RowV Fgv^@ͽ$6*X{ZS"iᔧ\߃38jwIoVz0?+ .P@RX1=IK?9almmmqx=fTiؑ6O !`ފb7Sm&tKFGfɵ'P 8= 3d\sHH(w~(y",h%XJ|Ӫs|ˤ c.lk].蠻5d[پj,2CcMmZ$1$.$#nb{pc&m ii讴|e#En˶,ﻼ\jmJ*I0٠eNwoi  tqX%r|a -[NՆ!ST?pU=i롰I򲴕+ќ5"tgdԥ!Er1 PSjYS` (g5𛭁pRO/@Oe܈n h=~r=I{!6jg]CN,ȫP8/臄\ R{"MI\"ػ4'&KyܡqW [D9]}Et̀Hm.8s" #j;׻k^3pfz^1q.5^:ߋ &uU F]8UW7Mb$Ue FvݹI{_.alW6`sem>M8BTq蜠jTC,lpǝ*m4-+k5W0{lh"&p*,X+b2.(@ 6k^Q5Įd!h o(DŽb|!pE5(w&f y6eTےEMg3 sMZfz%[mb Q`JɇdEl#X_cڐX:â)0-Bǁ/*5%8 8zƞ{9˾uuE/[!wxIz-wqrT[m`;y8{'^@; _{(tN([|7ݻ}l gg?qKX8X1"Hg5'{ NY:Bֿb38ui"D=a p\?G@J j@|gQcQnXT;!`FK+zTUcV%{iA15,e$`=Bao0KSU3OݠGXfX[4zy'hFe9o܁NZ:iU3Q{}*g{W\XiZLVg[aZou21EYC|<$̅D{9@qFO>u}x9eYlct8chw4i5edA:|ױ`# }2ɛS6!E#avRI-VLc+= Uo^YJ.HTdLǠ{Eкzŋ`OJJ!΄9ԑ҂4Կ,)ELv &,kY6vc1rt%ix'(h,?wvwkJOgy6?`&AvIa.9 k?BRA*QӸڞ"Je1RZ3)(;B( TWKRe}^+{2Ku-kIߺ^TeNGT*P7Hưe>xK-ؿ7z΂мJhi0UIrҗ$eGLd,ƅSu}| MT44Vd%*%}>#kБ{6 4~-"s|5p;P닏8)J[@ۯ@Ӊ`Mq(0:/v6``\GUMW"ΘsiG |۟O ŅYAM1UA|ys=\҆v D!AL&P1TwLM,9|ti# oM:ci+UO~grǯnKZzC]h)gƱa9G. oL3y'(1/d&8b6^ÒkS/\Yth VotiM){qXR˿mЎVkxSՐN*7`H=WI*`Z^klmVx+C ;Jz,dkL7;L!s]7Ǒ1rTE@d my#}22/Ҕ5 YY{}z[Ac$c_MR @ggNˋ7*(@q seg+G6@qv3/%$Ib)%)Y/UFr eGǀ a&|eSjbS%cޖ> 5\u+ݝo.n=13̈́;| 'p9"d"7z(`ȟ3bO]%ZzRN ]5X- h31H,F'rm|Uhʱiʶ,ppjDT$fn% |%)?7.^84>D20>4O5ۙ%P)'щ 4K"ipS-5レ^N&&!4NKD~PL6oAoTC(QX,׆M-fBXrD#GN#cbGY޸b7E"$3pg^vvnO{ֹn sk 0&DAL>lsXT6fֿgdt* l":^64zVʽb%3lЏ4H߅jJ.e_ySuaa 'beU壇سs| 'lU3/ApXbH uv;nqP.6>&]wN.x#P{^[̎cP?iO2)Ǩ;ssIOݩhcxWm\ %3A|YfIxQO9G-] Hro)!\ɔv-b/hFUݖ[>b Bȕ*X5c/+!|ޠhk|OZ!Y1ZnbNq׷+t?hyRiEQu<)LIjc<5L-9@gw(w߈Ih7S'\ {{LVx=GH35Mh?,4Qp+oP0ݿ>YI.nt\TGJq@Ec_MR$MZ6c;2Pos |+Hv/flS(/,W; dpsOn, zTE XQ j5Mhydxa/X+֧jiK:StVR/"D;]vsW>#kz ',W 2HbDd!SeZ3_N ̼0IRFLP颛_(f c~4p)_CM>i0ka>pп>xAkd \Civ}k 7qzZ?K'@?HLzGJZ H?蝸8Lm{\0Ü6l8buW]Iؒ <"-(4zgs_ ?\7t&xV̫`NUx4핍,5mtlcEqvk,B0dOz~N0mYw&~_r㹕V?4Q/tIcaMI$ Q&}1# _=13Rpuk;VDRaT}zZ"ǟԭ~4M j h`*aY,D[C⍑v*QȠ=xP|"8{3Uxft2|̇5x4kzhNn ̤d?o)]ЭRoC/"vѽdΆ:`8MYֿ+7Iޱ= WD|( j9t8fb٤e1 xy+LZnw% ضz{m5\]ŏP9U$soB_lq,{cu}b$Dp >*^hQxG*miLնhu EJn2 tt~ӽ{hRKZɌpCq)=U R%Fd@9ru>t\ܛh.}=6&ؗFD,2s,NO"R=K4qM#1GeboxG\is0L6)^bJT^s 7 :K('md:D:Kbe(I?Os%XG+g-P5(WoÑ-`o@t:24PF,=YL?h0Kݚ2;2 &.ej˘5]zT{֘ҩy0d;(?&FԽ ǽMDL#: ƒ[>S7P{LnVdzH\̑8#1ٷLN'[!& J 8qͦ)C۔XdZ޷x EcB†[SD7X"OVQ0(y:Џ]}XP4)`m\Q9qz5q3%Gt$suH{Tlƻ~{"9DԭV ؟ˤʸF_. 'ZK#ήlLL{%`$ w1,'`l%!{y%jC4 f.[L%rYZ9>.hh[&HN׻ruX/1FjE-_z- *t<J7s=´^< lP~ Uԁ x p AA:P&Ej]rVUAbA?~C//X/)ώ;'oQ"!uT(Z'a;"uDLÓcW dmx6]MѺpݛK 5ɼ=9<%e'n ]|w?- #_хjW/mkVXtSEQ@eZ0lG9(GvM4WyfBɑ$͈cy>vRW;>>Z ZwpV#䄥f%*JabZBHkv" s&"$<㞞B\ Le0a@Pov ¸M<WZfU17o(^iˏkf<ێ9Ȥ5qlr:kWfͳgHT0`h ș*ד0`OaBO4TOUEȌ bHY;5?KwN|[c0~S6MЌvR bOpOl7J~.v-!l 6/>J!PgYZ03110661:92f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 08f0891cff2f74fd97fe4f8d9775b4b780015337 0b95eae8146aa5cd55163797808ccd421050d201 0c02ceead20f10236d7275425ef59dfbc5021710 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 30afac17f29e367c46142872751722118953e506 3245cfeac2613b419ff643cf72db5edf625cf117 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 3b46b32b9d550242d2832984f85b4c97512c51c9 3da82dd2b91db0fffec29024fc6338a500de7ac5 4021eca21a285f24f9ff4ba2d840994e4f65c303 44baec093d30bec4af6ab8a6da185f226cfd552e 4c8da526910305e5f6c9617c072e25f78eb18e73 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d 6a1b07b082500f00f6c3b1326fbbeedb536bae44 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8aefc9b67109956542535e583bb6b75d0af7dac3 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c c6595eb84f7f5b6ff8cf51591a134ede1855866a c84783fb29526ce883108f7d0451c93533bbfc84 cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ea487692239b63c714b16edc44acedef890cd258 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab ffc84c1be563c401109cd08cba36147d94a4a62c3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b