SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 lll#\|L ]S Psi_Calculi:threads=2elapsed=559.295cpu=1015.968gc=33.392factor=1.827zXZִF! Q&]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0MeÔ,yCIx+7!P,V<"]8a˧.Ã^<+4Opb=,U1 wcB$ah`- mI4Z KI贼*'j9UᩬäH\]W1'+c=9B0x։aP ]݂c\l'}~f)dFgC~W#~MJ&CngdsZi#= VBֶQ.9Յ y}G*iSWg faF0A Bd$- L@ZMtHZ{AD/q,}ױKiiv U(/1U/d9Il(7y!zz`;2%fˠ8Oeu*O}w24SV8 $TMFG7IP̲ vb, L^Y64]M?vuׂT WJ*};pQ|2bdֱQSnrWlIPhb+<% a}$XCߨ0jַ<}qPR,VHطK1UsU*Xu7M+R/ZC"zk¦N+y/tI Kz !32sw&"O?ᱢэXI3=NDI"v7hFv)"f6ģw>TS)J<)y Ʋ!@MYm0'$s6ӒEWBF Pp0g2nE FTTO Jz^ Qͨc2Nx~΍ CO6QQ&c17T:Q$c_-pEnN8:[QF#ٸdb'3孬zKmx+?- N,;$ Y$̂Ai!L-MZ˯ #u[Ӓc:SGJHʮo o"*w"*~;Bj}˜sU]0cfe_[@˻u9?3_‘:_{v.Q1si.p[' hź/-:2EYv8kU}~D H{ I]nz~'?6km\*R"^d Xn`_rKgyM\U9"F W~eY@xۣ:=g*뉰v#w s@Lk35߂iVTRYPvIz ?{l̼S^{AfJ "Bb,!Hm/>-#-%qw/?.v>=?L tce+Ώzנ)fG2h[CaK ֫qI;fnufE0 Թ}=}x1]x:t/"ž;yχ>d$ﱭ RV סSoy٬Cy9o3\FA # Psi_Calculi  syT>,v˜Bֿ\EFo>'Dgv^}ՠՈ r 1v14G>&9e֘Q+A?.Q lI \}}*'jV>֙'9N.^0]2Кs`E}y}m6N1bj%aZ7zcm`LGMR@vI ^ܙ0b> z l WNFK>愠Ҳ˥9YlQ PcuSuzCї94 =ARpS85U{ۆF"ykSߏZm5t"qHvq,/,)O,> #H}{~$u58;4,ޔ!2<'t?5&f%뤺A5jbLJl*3Z"I!#K9KUV2_Rd_1 q-]BD2߯7>n;9ܔ=a2٧݉W7Xcej<:p4k4!)9FTΰۄ$Pts #PE5. `;ɯs^K?oУ A(\XU%g2*6df+ƑaE_DT&ˢf`_d2ʉUKnQ:i~/~7bs4+AC dwD j&@_t%vxSD 3cH>iԌNb9%z&1R*gYrBQj%CXKDs :ދَQ44A2~] ~DK 8& XNLC?giŵo!oQLp .~{(}6Ҡc߰oimR8瑩V,Ǐ>5_X/98/Cmo'.{kX]̷#" Ǯ H<[6Or +"eNٮF#y-"t/! I:7O$ƌӓHPXѭA*;uo'jb?bu}XZ_I4n)]s6k"坣4*KE7v KbDY9Glh*73[ B€jO] A]̇s:犂/]TǷ5 # -".OŠrhM hraW, HY9zx 4xJ uqʅh~ȥ VMoӪR[ڝ;m([{2f(<|ـ+aJu+|Z{IJaYqwtR;DFuۯH11W?t pI(욱F&@` DBM^[m۶D]_/Yw0;N+לTޏ^wRPD- ?j+7^>WFun!dL`x&uut3/;5) ̯a@5s호};gVwՄ}qVnl0o+"reK6H>Nv~/r-uWzx+"gz[u 3Y#&X^Z'F1 4?=Xd2hW}Ju(9OyYf/4钒P4Rg9+((Y9@2 .a!µ"bv4`bR4?COK1&l1|)FD4Ca]MXZ8@M%@.0<$=z'x^{CrnӠT|*f*0rab'' U'Hv䔣&.oltQÁW }o6kH7 V& pֻ.[$O ySk$:1XOCK+pݡC tsP}mG#w{tdUB 3>݂hmæ~obmVkhCS=1s4s}:5l ) :EV/7Mڴ)J,v+VL;N~_>TJĚiɏ_2wKE\tNixmzÄ 4LOl/eUςW;NݻK$${ɢmA1EG*wa+"ӗ`Yf[p^>Q-jM4ɏQ"p q" Jѳ{ڏKuc[&AI- 9Skt53F&h9}<Ә,Xliϖo un34C%(?hRzSIʻrVլ"!C>OLYdP)tXWw! JV1i7$Fa[[f VhxyGoNqˆwn%kr*,xN8 =ZumVT Kȑ{mحG* f;2WkpoN67iJP ?u^&+%hz-1%k)&PRy6t6ݤ A)!1?LSt8TFG#( Y.xv[ujY amaW!ư5\m;??1Lr7(llF>s/ *񭞤25wC̨+dfŪf!N8[gremRcw:O{XNS:#%*+V@c}<23\,9 Iu)W|q翋:-/!@u1*ka)B!+I~f5 I d͞ԏbs[S UImD3lZJ5"y[-c1W;E,(8\ﮭo՞ +#q&j 4,r?-kgmϽ,{kQR+3|>~ZKg8)u;6DAknoqA``v8PrgYZ7zXZִF! ]ŗXiɟ˗̵w'Sɺl!\c!|E5*Zz|qc-H(%\@S2BHM+j 6$H Pp\z Ԯ ױ H|$uIQdqTu䈅Uk)6&zb< 'RYw}fQ]ȹjb ?Q'u}{U*R @-մ(m)a@Nmi}V$h9؛(͏d,2#)vܴ9ڔ88*.Tp$Yk\(g/ q {v,&@{pS|NJIa$?oR4Xu%7`{ !$%Kh46ЎAbXi %M#=pkpN+5]~~Hax噃\~c0hgrɈR2}#V уwJƎED_o/9)DG0b0o|a\c ..C=~9A? pMۢ$byخ)I"!N | b!A]/ zhk#o&F].%#쿝7\#!$&(ց3XI#݂2*A_w5j9qYY7M+:HM!Bdsbk)E݋S b͓V8./%mwӫ\hbG&s3JF )) „w2EIT"RLTV$ ֟dɰKKyllwY>I$Ҽ5}P,7_Y.Un2̽hTu$eJKWI)(j=t7y!q]cG`U8lnȟ 4?uoшEXb{J\ ln+r1(CN٧ SEv>)њwBd}5eȊM9H8%g~ x  ͑: w&靻iV(*ήQ|T!`W1[1yҋWU߮ϳw8eb=GZЃM2E=VB5hTR%aZII[c?J_Rΐ2[ݘAe=u2_  Ƞ D>Eqdb|HBq߃7g0 ȳ󱃟#j cBnZÇ1)gKUqP5T j66ta{((FcW!%Yݟr]ejXuc>$ qJ[[ -vAWӱe8"A}]x{5r^ 㯉~`_jaM.m6H]={D ŃU!Ŗ 4:mg5E=N/WT-4͘Oɏ7 fEC< Q4ON"_LK |N kW4=˔|ϑg> U89ŻJ([sv7l3]va(ZTUa{;5H'Y1<۪Tb s̀@`HᩰHΉGApjVl~Jƃ 0}%DzztO$Eo cMIӄ4z~6"!^uh RqKtC y|,KfE>}c?r8 ]O'@ ^`$ջ\.?bI H˹ؔ2*$!mQ3ik# D#X[BGY8t@ŪmVV-m`'ZW`/e[ZWHa_RnGNy_N A*$!=Bĸo<4NEVAPo!jƸVRoWkA/`k*gboT^ FE#%9z,Z~^E~ ^KbaHUy]g!zQM#Ck:F?>S ya#\A"bA spyZmPq.M ~G\:wNsB&[k5k Vk.$A6 s 1 ={!(e ff$Rlրù|s=4XlCAtbQ6?Ϥq<*فJqГv\M2TAC#5=-yXl5FiѰAA@yY4YNLd,?c,ZdX׆>}*cQɲH {۷(i"I"*\ǏYR)->w~b5Ĭ@|>: أVn"8C)v`)'7 [UV'n0 u #I:`ϒiW(z&Bm.l 3')[;6o/9D >-,ȏ#v1ioR.5UOM'izm %.^RMKl=;7;0!eEQ#!>&iw,6d\%yJ4dg9"B~;FkDD`K8OÃ"%KAX>zBi*ؚN.8nܤsո'v5o:\M--.$23& Q uQ/7 v03@.6mK"Ib&_x]>|G4Df%0l,qN]ިαGDX?e`X P}"X>wdԓ8T% du{{}N1ph%ֹ4O$qy̱Fڭ2ec:\㬾fSPV pcA@)?(zۊ9;N2@%owJ&rSZӗJ!%^g23j-%6+l #IC z=T6=;ZzjlPnYF}k@c^p~QӟVX1ko Sut$W]gl%ky*SDV8Avf -HU8ϑX..K>5cX<yW`?ކ8.d77dez.%aRc)E#3(mV$ ~R؟آ]Vy7Qzbޝ?LцF~ttHMGKHA = InPyjNe˓1FN^läVI"g֊(Kn@ss^C1+ SQW > u 5A]5P>hYw>V9QAH$W?x>y\xJ,4C+U IS2|c4zD ľ68&: ȑ"ډ ˊ"F'_IJ$A7Z$᷀j_]q(+HuXW%ヰ02{M8;.Y7Gl׋PdyWakQӨ7pfAO)|c;MFVFe!?,״LpLc%D3CNMM0>@:e7d+=5qr\(|Gڙ*`~փA6Wth~JjeJSw^J" mh`3EesnQ&M|G*+횒y=D$N'gt{E19NhKIpE3SYJ8zk#gLjOD&rCbU|#Yigh$1hmYZLع[ZE|yo=i:1C\u7=)EkVKzϺ%;j5G%@I't^CǛt;qG^ʒoHƝFtʃBE1D#O}иeՓO=G?Z"q!7cpqvF<ݓqgu`<(beZAqp聨AY03XaPHGn2Qh5\_ F2.em'-W?RL~oQc:n|3~Phא0N3( Ԙkqz$Ggx4o#HͤF >Ykߛևcfaٌ.b`]Ħ>1oξ>I u|T[9E8i_xm]yuPPK/Η}gnVp}TM:խV 0 V^!W弃@ٙ_G2otӊD&Cr}/4{Djhp@/?Ai bX jq^,lj̚< F@C@HxGcrH1?k2;iF™41!v!W/t=YMD/h4Y GjI9ʂux؁iaG}9n;_W7wmTlhl~Ei"W7K,Ny?y%4c#LPh=wl3v:#wK^4;OtwŔUL^ȯ쁻P:ԈF$0 NEh|Dr?߯󋎛u#97$pl@!Ut4~_ʉp  mway[֎"#}Y7@8JkH[-wT1QĤ yU +$Q#=Ԕ19V d`Aj?!3T՚ItYL cW[VnjbCģ,@1 @nFu}jqdϮ ;޳ Qo#p\ؼf!nŠB"?Z: b ]y3Jy =KS=wE0P#ORh"VYJfo3:P B,lO@of-\FN\}[Q;(Bw[~,/Q]VS]-OWDBl=3$0[E" 'zn=,a*t;| dM~yp/qw.f\edtk/}J܊.dBjq626Pi?cf-M?5qÅ\{~kATRhUvvkfg>d;J#n_Dr<[]72pI# P!L:~l/1t!Ar+EAޓL7xfoGl%woM"<%'c9ÞU=Pb ^&[@3'K`P6HJzmR18m> wO1 2xrRaAcAHv_i\2C+Bq4rLRS0ezE'M|ʧ5Ef\ޓg4p{cJz_@dtqcQN c$дKk9v<670sK4!A|:ңWS>oX  *8=iEm]HUl妗pvm9/J(zڰ*{g0?$/Z\(>p]8nҕɼ- ʦ p,TUt~~WTq,$GLZ\?e1,E Pwe9 [Ę'UYw`BU U.IK6~[69@RϪ@PR7юE!R,v6V. @_q \gv>Wp/X焰MO*"E rةȦun"c/{(Ɍ= nv%ׂ:곙sD#d[jX)la HUä$#Ug8. *"~~L-F/¿up 9i!#! [zm^ͭѥ/Y4TM]X.|y</ŨcO +تL-b%Rh\ũYZ¤m`tRퟶ0l\8[ۂ4ns@9CxK |Y8y5;r@4_7? W֎;81CJ_5xo`r7-wpX2S݅j=] owٙc(|T-DȂao lPCɰ>;{tOX?S_XvW??ҼxnP`:2#fg[kC+FycMyd/L+OFn\h6Zmc0טg(:XXLir 81 LnnTS y&BchJZ)W`e ?T^.ǰ4kp'hЌz8C @q}&JPgWDJۥ~L.>&?IIk(U!<J&\daq%';Y.2ׯϩDެޤ׏qMOWp:8ԠJ9n:MQ=;m +i{oN8g)]aS z#X#2vzlp5~a0CcasYi~TPJ">ǩFm ,peV8CGyPϒ$Q=blmޞܻlkPO`K9/qM:x>=Ӗ^ ъ#݃g#'` J$Di8oBv-ݛ^+%G#(4Gasr OI+EMLrH{n1E9 &}5@1RCw#'{A SDkV7eP@4fոmzMN`2[ٜ0B"jrzuҳK鹭҂A#E ܉$R}!(L˝6NW¤|J}Fn'?hOY{ |黷֖~rK 16Yv\h3J񋈰0OȈ? Z Hp}Ž;CA溚qPP]f FD}gCG .WP<nlLي}}gՖ>cbo^ ڵY ԬN fĄVcUǛ!B*Jn>گ ykr ,n!N2cfgz!Ii+`4-jw^\wUyy2 Vj~ 2:?ΉiUb"isIc/(@_΍nS^TnIVw$/#_ #Ezӓ㊚ D R"6`f 攘ଔhZD|EV)0żfUT(,6Q"E%YyyhO] 2vF՛aUޞ=,{ _{0l?ܯς*BQ9J+>M=ݘ4~:訯Ži,ۄ+W9r4\8(\)|ͼ΂9FҸR–mUPgGhGמ_sE#~|65eG\| Z2Q62#?I(L Wo=SsX +BYb|{mcq qkO@0=0]̭qyt2B)\CbqҌX'-~`MjȽ6" tR&kQз B)G009ф`AHǶFcKVdQSmր|PI!ȓdZ5=\E0e9Lݎ\tw: l'TB {f@CJ灃fM " Wl[Rzn_%܍VYDGES7 NT,>0V,Gi ,rⲈ~I?0{wp 瓏v/MW f;0U&>MstFejqoh a2t~lQNYԤ$a -Nd˹RiDO cSX8,13=B+=\ ƝJzA!gLPE;H~KᱚGAF~&d_xNRP)tDQօIBYBDH6AhV]/'ѥ-Z9k7 c3H$65ɲrgie/"Fm}$nnO{[=/xKhT*HڷG&7U]~"9J_VZD F hSw^XO;L"5sqwɬS˷\%yj<&|L6+큳u G:6[osԪe_0+~〄&G@7pNg{}3zҀ=k&y,mvV Gz=D+LF]Հw{nIWjh۱4i,ЉjI#hxѹS!򿮰eTS9r d0o=AzG<ª=0%+ _R_q2$=?4AG63+ܹ̈́n4f(XiC$r)6ar0C{tcb`5#5J cn/*@ecmخ`Lc<](ԝQpD9WiNsj7_z.Xipguq>EFqh|SFCc6}p, ^k!3_Jϣx1Hn%y&E%L|sR*fڿeK_{Š ţuI&¡|dlLa ZHVL @48Z6#9Q#!sdԜؘ^ p 7.+8c'~{8P ǚasRm*`,ڢ!+7w/T{^̜%K-nT:I*lLV4<^s`iIb f89"w=016ewaɤ]>GeG\![4/Vzـ'0BJ[JHG5J]7 [ ؆ybjC3v ! ULԜ$ǚz^}cKA~:L UAp˨*;7bQ-B!YjRZbGd(j"Eqѡd~, -H8b&KG0Z6nV"E鿨|}5A=ZVc+Щ_uN']үByZm$  b kp:*i1`&S7+s-Csh7FZ\v PdJd,K$-b$ ajs,TM S7ST.,IZ<ԭ43 }0@0 ;Lڲt' &n/9£JJc]Mw`TS}#P<u{;K]ZY|6ZKqc4v`4oYZ[]%nyyYo%D{WQS`xvi5ԓMQ~|CIuDdEipa03T$_ >oQn@uBH:pO^jeL(кCV$LTCl]q;Wyȝ?@37?{J M^4==,}W`-TVtP-vm(Q?)oXbNt2y[ڧɐIX(XyjA; 8$ro"Ro…Uz7SV:Ol.$BA$xZ|8Z`1)PWl zQ߱$ְBNe.o?Gb| r+my5$BHVPk# t+Ġծ`l<|̪j+O#ȥ.,[ v .SV+"{̙W]kѸͺoz$MFW1H݅ t]= 27Κ.\e(ƋKUGgW$F`3cбy8뵧1*d\Уb|%N@7.+y`& )Lij{Yb|ߊB5aq]7lQ\z]W-st_y%L0 W`p' kkc=po~η8__/D`|u)Y; q.e#/W;l=s# !?kUK ;Se7j}"?s ?j̢m#[ف9uT7ToxEqb-dN8ĦF -^B`'Gx"хXuVɳ (,f&Ea8p@`q[0yt5(9I-iQE|tR7 ht΢ DV`&lM)-ޥm/kY榝iٷw."\ܖL8.ta &3"/T}NRsbZl1tljd3\y,xgڄs APth?}!.h .}s{ j}1>ƆhloUP-2O+Roe龏uvڸ>='SA00D^}ѿ&GnYJ+y٬D!8 2hn/ =Ml. |t{n2Bܯf{$/p HO?"-v 7WdS`Ov 6 =Uce^]^uj vl}AQX":.\?EELYɮMq9Q± ԘĿ2mjPs;zC`l X8N]´O#) *"4=E][^C0-J$sݲ)gY7@s FSZ(@#1Y¶ iT1\'Ly)pXWt`FoNR}}|G #Cie e t\n]b4t1<+=B9`*;C CMq3'?y 5>әM`1-_jpү;vDxDC_M ?;#RnL=VM@@ý Hڡڟ@MnYH`{߆-m?0ڇ2W̖ۼGU?]TE+\DO4Ad8ȵGygϜSlq;V9J>f<效!ƃYM h adY)rr՜|8q shcOǶPVmXvCIm'cV @X\ p+GmU P5U:"S,gch[s,%kfZ1r5c|ATrhȁ?, ҴJu,7)hJ \h:TxRFrÄvL.^a7$6e*؀YhN/]^#O.s(#_x :?#^7e`JR{Rq! &bPP9QYʑ/N Sxg6[pHy KJslnYeՋ jy :U3q2/A0e-2sqoD&5MEZLl+f1Dpʡwol$zm:8A{"=3S$dWJ4O4=mx,~D¼Dq{׋] ߶ᦥPOEqd'7݁#l/ɔ0QR]:韗ן_ߗaw$pF,D:2ezs;&{Ry{i3]B)JXp[i0 *vSs \h|ZG&>0'OLS0F'-QOvFW w[U|EC` [Qm] (eG?_TT2ླy\*kٕRc& |Cp|Ro,vxŤ?Pṃ2;ڀf6@+iWJl{x!%pOd s뗏b/B7nizQMty,'kЛwIÇO699}5]+v@EĦg˱vO<^\(8`utՕ3͗y f)-#kab辩Te΅01K+ gv"9y8TimڱUZ|lA?Wļ":tt1׭)L C榪@tGa; X%&M2Q; KyΘ?WP2X>%fB+N;ARƛ$9a[ֿ|uM5~䙓5:j;+X)ף%lƅTW/p<ܝX]s~ݜ8&`f!%zҶ-(|DccZQIB, 鋥V'p5߹dNzD" nƙgU(^C#C¸ Y&-='x[W?h;VaT͓!1S8S<*]gO] GfSmLrWOR}38qyC2EjͺOC7[N떰܏@rX ^( #d̃\)5 Ms[V ^6J5&,uɤ{djP5ϥ:G>߾qWȚ\w 5 usԼ#Òiڡ zAN6Y+c / hݽI|O30UH2->գ.am,|j*Ѽ:/zhe~äj]^-vueU|V60 pQ"uY!EN{VwsY$~+y=ݝ%^j:.#jS6"b<b\3:㍾Yn fu @/C듧> Ch sJwOE1 ެ\.Byr^a/E8a_-?/"_ӓ%TFl#6F2R&lvx~LNQe?a5Aή!KĎܭ 8p|?=: ,p>8hϬ a!ߩ`rZU+p4`|krBSsN5RwUCP1>PL5ly\ȟ[༷@y\vn'\pW5|pnhxruYX_+$\zn`6S:p[kV౴4pEP$Ӆce݊*x觿'0!HLaj*髨ψHĊ{SKø|V5ӽa]X:X2h 0gwX,eh|[m5ykc^^ #To01zzoHhA wGGS|ŭe3lݏȳ%E,}M"w; B뤓V;|| J(h`} m X*誦>\ɞ m\Df$'LY:VIG0 7YT8OlBÉ `މ6%<+Z+qj؈QEݵAeJuu^˸|E]}.wv@&_Amw?<-RB9>;gr]urS.->?deW}Z0t~H /߄Y8rV R\],T} ht΁;$lyNeһ' a%u?k70..<*k>xP-kh(b%Z*v8 G2 #t H?8smW{ȜS9kU ͎MRUf8M%ߏLʢBvZ&+lTHLJDm{>'[U$((OfUf| ήT~|i5??V 1'V'ۍ;(9ٱ݅%Yq,ea &N#?v:V߸4 ctU깢 @_a.FE:89Si]L!qu .7 mn+\Qb;B~?' /Oq3'kQ:~_T!OQv{;*vClb7w7 ImA0SIV?he(+]kaU:4 3a#dm; GfK;JiZ 1R \ו5xYAxg=:dxwK.rUELg:fH@C qN@dΦ'Dv᝿eh+7Z ~] bsR?eH da߱5{Y K;aߝ,Nw;7lp\΁On:Ɣ I;W9;nʦEba<*v}΅ N6%t~. w$< F'@obꂲxuc%6ADBi5e7k$3Lݭ}7= [c?*`BJ$zV:@µ&5wN+]Z'q~UiF #<"cڈ<qzA%Xve*,vRcɼ#z*jlU8~SeùUpKN^sj# 0kD;ٿw T< ?Ljh @ɵtSdȋX*8't=4huȝy|(PX8?: h$\m8U)*|4j eN[oZb+:xjqSK;Qjw#Ka>eDt0) .+R[~|˙vG+8Zy1ξojьrŏV;g sTWJhla9l{CW] WG^IXF'JCʦAW v6dy!)ޗ?FkkgmvsSZv ԗUc )ͮر8I_;cL}',9!⊛;仩rAb X/<傫91&V/7Ȯ)\B' _rP~!/6(M&%$QO=۟Ք~+`R'N=qڷEemVb+z>\*ʮjW6HII1FыVh_JʎTnGlKh*7d.`jX/>~7=Pݶ#B"N9MA*r jy9ffh߫JԚ'!gnv2 FLw Y+FZSU0q  z 'kn/ln94<\S0k \W5i" 4~YlS ;!HZ(nldIJ7I{bEȦIƿQQ#aNb}X3l O4~PSǛ #ر?OKYOyDq{7CFʤIKp ~(*?*L;##ٺرͦAܽ͡DV#"TT?1F˰ʌ 4e^wߐ]-$6R&0ŌiaucJs%Ϥ|Y^mwL# -ND(HtjBU z\ds|>eaZ-B+E  \dDŽoU(­nWVUIf22D5ETvIO\ zV$u˘o2FyXC?'wS=pdvȃvz"Ul0k5Kp1ȶߙ"8)63ڱOk/%Mȗ/t/NuZ$Ϲ{oy9:b?#K-I Bp\Bt.?fJkuw) UΩVf=\ik薥V/jwyRie1A"0Z+m.Ed=~T>اGcAE_P1@dL00\q[Ѹ/Zf}?ǤuF7{,7"gQ[H֦ΧKWoEd㉣N6cB/1IS(]qt5Fn Xmiv|:Mފ;|_%MلV#=CU;bg bꖦ|㣪4}!LY"H+/-f2Ƕ*JQ)4 _a;ѫKXO_MkKŖtg]^E℺[-X_ԮW[;}"`V>3j̮WCu[ F8&FeUaE{=K'!Ůbš!QcQ){K#[xw^;GHLBk* HyŘFVy:/Ƒ)&3:Hb^2CXuz0hT<baDTY&2?8LUSXg"幭蹯sJ/8eunq=hck1hDn%kuxS7?ژJAz9+40=7lI*a&8-^bhɚZ{ٱ'J|3վeomkL侠 v5֫.L\|IV7%<$qˑvåk/%#A4FMzjأ06Teⷯwy ϊzG~0iw'wuɟae,ގ~kM'&}LIM5 T1֭5\Z1;YQ>x ʒy|[ߪ8ʆhqy! M4h[XM@qLIRUOL;2<=vF_F@\pὣf[l׮dJ }.7JxP˰niǦ]L ӃAT?a"erRF2l茵?*#ٚU*`yxLklU?5Td˵x\i~ӷ[5_ אHP 5kDyFHmKV^Y J@;;m*H/MpSFQCs:!aP[= 3{$"UYZG0J.^LAbF[еggO(䎇693h%ݢe'3tsnB}' N/;ʥȈދT e$YSA,$ȟRQb7L5W!i)4$TXZo1ZbI#[$G/}vS1Kҳ\ICvFSB}vYy^Dwn(4>wP~&R aqJɕ&I'N79rΒoBKgxn,Uj/A-m_UXKE""p dZ2!1Ңv2THmئE X[oO]<l`P MረMuAi|z+돷iT$u+,υ<ߏ:q\K+d<׳l簴V̬ٞZȳ:̬Kǐk 53`;e`ɧѐAPP L!u?-)Ζ}륫-..l2ȧ Mey-6?h^q Q1ċt+8J'[bǸT86fķ,1_ Lz(3⭛}#iHU]'}51ɐde|ݿ"YvCG. S4I'u άu\/D&12b*&1  ['+)KgYZa6b5fc6a506e8cac24bc7eda30df42f28dc58e28d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2 8d515128f7102eb1e7415328b9bfa49358d29969