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 (/LD4 ]% Gaussian_Integers:threads=4elapsed=43.342cpu=107.540gc=2.832factor=2.487zXZִF! ]ŗXiɟd)&]hS.J}+%Q:`ǎډU"}1-b/sPk}헉s&j8b zOy ܐrwZĤǠ Y0\kCuf<ߪD0&.@Cӌ*9!5`䔯 kf1Tr])ΑN&"isZKUTjDs",\q6qV$hAG eRYJ;$9eM'YÞ$ "]w;ޠ7?(:tS/MmQw9ד8V5 ʸî-rr6o&fK*}]~ӹd=LYuLtڒÃ>IutAϠ%u7P)Lqp ҷzL<:m=9-^YN8pk Qg̼$s;'6rDthߓ] ([ɞֽH!,åKK,zczLOT̼''Mp(Ji_~ rk9ՁK1ʰ):-/:%ꁩmHvx&jM+=P|yWx=ϣ:kYW86W*ꠌK>7PG_<v,6>K)kKgPp墆b@Nݝ6(*VZbTbtx.hp?"8>COvd0mD42; B `sxR=@KG ބYJ,L)CV`'?=.A ]'S,gݬ=sñ}WF70~>+I [Ǡ[.ⶋz"}D%z-=MA$%ȡ*5)t7Xm,#̂z_gޚƘh ]5R톔q.bukۤM"zŨI5Jڰ!f:*e{XsH#S|*M)p׼Źɮߎd+LBBV2 XQ}r`n8ĵ拙>%q9HoRW恟bqe8CoAJw^<HҚ^j솞-dɺ܏[=G}{:]\%O7Nji5wDA;uzjA-F&ٚݦt7u7{pv˙ c4 D+ ؒ:m@yaӃ 33hFsji U3eu!QBl9SĀoۄ[=W x9tວ,2tc|M-O>'9֩$IfTWB0Ksp]"&ȮYyFv閚 DNU7 @p(ʼR`Q-_|vڹ_r-,X ,GF#Y:zȎPKk9-Aʾ26HVG#LZ002L} 9E8A:NH;DI,C[ZX̜mþ</0Wcapi_歁 X$`207T΢z{"A l˜1ro|\ɔzTsN] Q"(3u[3ӭ&*58gOAg孽;$Agsԥ_duT3n2O}cp5xSцD;I^w"Y:l9Ԏf`ǂb"О6ԗgY?%lk1aV ۡQi0@}ڌ5b?/紞_Wբ\]?)X;&%ʹiPkY#(jҏ)+hҴ9?"фZ󺏋v1#%ʭ׸;Qm#v %=Fo$¹㛸3 nk} K3PnK@l?n'qcݘ=AR _zr)jj˴FbG[}eZv Em2kM>8Q ""(~*z>1Y=J4 !쏹x2ԥ2L!O 8BBfP9'61D!&Wy?hW+`JIpxWթB+B덁= >ΰ.}]SWw8T㬿w>!64kL\pk0Jи ^ȈaiUH[UX7 z$:?'/P=Dq&BcD,،,,Rƻ#F(i_oH4&~Q^(_ZX Ћ3hZq]p!C :Br<1la#-t8cͰdBbtϦq<}V vr8XnJ! [A<lPa$;$1rnDTq&()OTlj0̖<3ڧiֺ9iL@s]rۙ(_wo%ds)H[&^H܂˃yKq 4b&dZMJxO )<觰}8paG[!D:7:}NDtA@Ghnd:hj`Ɠ~k"Δ9񤶩e`_*P^a?e^ ,yU쯱:;Օ+nⲾRo`}UQi7tPAdU]e_h<>pv(ҩw4]_H‹m8FvM[/;Hd ّXڏ-j͍/jyU~>1svdAȣ3Ú,\D$P}w:{VQaayS_!yu%*xfuUpv~220I\[k\B, !9 /chzýWd-ssb Ml?X쩉A 5KbW)9m.+ӚD$6VR H= xVvW^miyf~+4#rгPlbƐM bN02QwJU^B$mv٘ N9mblK`8_W oEl>^-#wCx+$k]`+~*kGثl(Q;DD!h5dO,;nXNڇ"{2NAl%6ȎuA_[aSgWDHM8 H>dxhtc58L ςdng'[tg7Z4snc^k2Vgv| Űpd4 RZZ'k4P,]%m9k×=ʸBVe_}ո2rG.OJY>3GIvWW<EM?t/ljd0uq;cDPp7ُY?hm@nZ{JgBj7,H݃iY]'w57=oCtX|^;T/#PrCꓝYWԘf`4=eHAX:ǂz"7BzBEF0A8A%LAT:pX,_-'=W 3Eͷɍ@]\P}r3N]& i U##& &?pT6ʷ22O_IOs֎ l_[E?6q<P%Lg ]@-{H7mC +,o5B0(8{̚1sƶMXnn%ѳ x|կULCПqk2FrK{^ˠ};lcKG2̣cE;m:ï2|0PyM}?Td kbcHF/h8Q@ TI|&7bINΣb'uR²!rm9īG\#e$O} glI0H$oRkw}> }{ m~SD<+hZ۪kW/ P7 *: ~. 4< KkӜ06N'UV<"y{˶% 6`ݜj,/xijrl3лhHɖ -/&?42>zx(Q$#ʚOk1Nf"O~JګB\*dx../,Rj{)m2i0 A|>?r;ЗŔ';yg*̯&뜗u ЫH,P 1ܢl#ї;T#֘!TBULG%n_fsKwJ?ݙtӒQz)q8Zi\vޙ"ߜdjM[+ft )6@jFor|\L%GnRr4FSN1,mh{Z~H,QbQ@F?l|ga0*̓1;@Y#3seu W. 8')wJ{~jM]\ecC(@yEk2c,$<9@kMJNkwv&㐼r*t $,k%J˃;&&)(f"mLo/yM5!/ lnCrA3u\+pÑ"x0 Bgv)̃VJRztx,j6? :e]XU(5 P|QnW$*ht[zgK7`AK)"}yy0^IH=v19DxIm۾|KK W7JąT=ٺN kѭ?jYdyؖThv*)@z`˥vbA݁VnR_n}|W֑^ ߯Sb36.tUĈ(N*zp6VtH[ ԙpb3G3g۹( xra2LrI|](2!򌆄]~H51K x"<*mb 9mjAb.oWP} N " lbLV29#h%*nI紓^u7 z1zY)YisC뷻t@}v%G oLtm0v/ЊOQԇuS4F#.Y $\O+z4n ^v,UzI[5ފ lVF 9ʕan2E_6 EPu:2uϊ&B>_&C-˘7 OOUaDɢUIkPOp70tO\H7  Z%x)tX)޳{Q6U\C#}Ջ9!rjU|x#pFRqw25ZK/$_eU3u ih_u֫))pƋHY#}6 ȽC#!ؗc+0 zT0~ֺ0+}K9'Q6yR̮zhJ"JTU ~)0(h BV~_rTl%qv`'MTuW\oX e 2!UX-p-XAB3ypf|ܚx?%F;JT|ԕǹ/VmZylj, c]޹_ <{LL}̖zawoEoDH J=N>:3SfzۖUova 2I,-obR8RP 9|d?Sm?-)A,#qc]7!*Hx_/w>lNpv,:=R+Rz&GI"zgb>?S(Q\_ y1Œ}x0Jxz!&0'#)˘fcػ\Ⱥ:w2eQz`YK{pP%{b*ptUE2(3sC_جi#e?SHbU,Q@8p J:wsΛ8Wo[F[ sga<L#cIu R5q=*:U5Wҭy/RkZBZm8[::+O[f[FzNyk-0W 9~ YxÕb>b}XC쁥ؾƞ~\.Az ã%}k52bFo ?2=v[ e>hܠ'=u燊\;=\D{>ۗ\d AaL:ui>ֵǣ̷ n`Fb[T3#݈ ֚LeU?jQLWsd:ӤݭK_|=6)"*PO)J!uW"8mW64=IhzB9ӥcvOEDu0%p\K($ϚLn"x6] }7aCoG/n%麏gRqRWO*G7ric'-O_|@~ Ư5cRr#l9@5y)`XH 4#R0q2#)|3&q<HdeGF`-RH>%|c&JvFr8V~CC\2S9-:ΓcYFp`n@zaoFz6nd~s~Ӝ7D*ɍM2BKVlͳ5dfgͰ`7a1vZ1-, vŴ%TLeڄ3ȨIVFD!apb(&c98=m ",Ȇ U$N=e}PwW.^ts\}tHzn+~e\;B#&'8'ST'7Ǚssq@ՋFOaڝ=?sݝy5CwbK`-MpV:,-Rj/RN}jR47ƢA P([dyn;XbIafƼ͊N#%wвn@q=*Cn@c(lnxyg{B?MCm} kxH׎R-#QDv'/u1ԯЛkŝ*`ihݨizm<yҾG* IxpI8TqG2ߩL^YI!p}| <!$(rz ^ `*T2m&3 f^M섃|fXD- UU8{Σu(1a a_Ck22(}*dȘ0'=ȬzHL#;/뫝&_=vrAp:nɮDŐO2ӂ)ƒ>zw'֖Ggbf6qWiz Gb@.7^ҟ|Qq#I.;c W/B5D쉀fc&Ɋ=~-}n@yq;~{A CDy "^:=tׯ+maDaKg|=MvWNNK}0> ڤ_JˡuZRٖ<=$x٩20J]k@K^BBi;28x(̴&deˠn^ >2K-և>bΏhAl8}5aZ?aaWT@0<> ؠdDsFcAH)(2hPm/|}3-!TQs9~05nF{۱x+aD_]pTnX˽o!)&UD ۢV#Ȃ|T " /V~x}-hlӅgq7 2orhZ#<;LvO68(.K/:X|sFgPYgh>Y+?(MLݫaas 1'ߔ*~5uewaAS[UL3팀I(.qBKP%|ʪl8ETKص88Sߺ RM6nek fli8{.œ%=zY;‚n1'g|b6r 6WW-_!zp$T'&!ŜÀ2 ?dw%Y9Y*'&IŒ34r6 Ptlқ9Ih"E!cf_Ao3AALԭU<@˧ާ97ʇ'>RJU/mlj7p["[jI 7kh%#m|wT9xDiGQ `1G $nqgHKn@bu ew8Wh1Ѩ$n*΍X]*@r9HvKWVV-MkhEI)9[|slu** zI3 {fg [NS EڞR-V*:=W31-JRݒwF3fRp}(96ߒg0vpZ&RAȎx*O~{IxaaY;ASAkeE. F|H f0CIViHwv`L;85|S| n=Bahu׵u9WP5o],f1 sWzœoaiOWg,7}WTic^DϦK4⥯_0UNwS:3uR r+9Pz;vb H/#rIPG"^.'gFgAfMp|`uA'$):Y`Q"jiSr1,n0CrWGsT!ْ=y7[ 3YK&gr׊^BOf/zswG}ټeI uYn:mn5 Z,1bgITL6 <*yӹ6F/-mnX9Uf3$u_2:~FБѝ[%"jIBБw~84߂8Ϟxd4-a͋Ag33+R܊XZ 1#HGΉp8yQ.)iݚ`n>y߫B"3s|F^(?HSgX}:i$ҙuX,v_9+5U&G/#ƴ wή}y_m(QbI7jHo`(4 :JJP u=#jV|H ]6D3Wue )Wi㘥 Vva7;(,x ~1H7I m/U9`+rذ7.͒cE0Oե /F#cG( ]lJ TUpò 7W=ce~ʥH]\Y[p E4@Vo~Z[JsN0d[ꘈT1썜qcNMhD:.wQ{'DCAX>w-pDzIcmwM 3 np BN?-Ξu :M]FFF1>)xD''r?^TLlHON(O~/CQnor5Q F9sٛy+H({ު#/Ϡ}ԯ-k+Y?l/KNjYey`ӞCd2b0g-pEP33˫0s\.Sn@u1v46 u/(ALfѧS1բXEC^{Vh{vClFD~ #3fR0a'P)~khT&ܸҾK>]`mpTkz池wKy2jݵOzWpѶ<ql3AJĩKR1w]Zҽ7#Pw(!o)od3\q&ca"T{y?crUXXY^<"EZQh9#E(վ{V2}uס]ftr28)_ňa "sv(=Y;Y.يzOa$g=2lr>5dKd(8mW*|߀!";ǶUMXȢ'bO=+v`z-3LVB~@Ts$)kH\[ԞQsG:2][O#bG pI~>Dȟ_Źw99-~7A&SR*Ω@̆HOC2yx/`c0=PJ+Ukk J>v~հȌ$ e{ߕ3\qU[B9@ȝivQ+mt&&N L'>_$% u)4s٥P'0|^p4#ȥm!X=;>^z4Eޑ'*ȕ }P4yU*{-/>DL9`MF- Pć!~|1l>Έހ|HDص^3QbG)0^Xco0P@.sm"0]g 6*YMEŘ/4oRK8S(rYHlWM^jDWG~ C5H8٩q  [ c8dkZ-jM Ar3#[~]O®dE 2uـ~FpӶt,X\3GQ 5ЩuֵQ(=q}ȼM?\hF!`j,ڒ? ,gaTFIqAAA67X0Vnd#z>elNI+{[UM;@уӞ0JէOr13SF%z^{ Fy6A(AhF(5&W5j*2!07hwذGGې+v n1`J [RG 9 m lQf͋>cg6U_0E]_>S vP@q/xQʻg*`k GC5shxzdhrYnzYvOsq1 iNq;t`fSXpki(sA[/S3)!Mw6`Fϰ.'7_ :0.Ք}-g\Гq4 SyN \K Q#l:kCvՌ*u%jYI Elt ;Ž"))rx%ԕ[rYCuE:uшK FM{Ě)twU5H{6,fdwI@gZt|OJsv>URkޓE-/5]M%& +XRrÖB]{*4׺ 60P P>_8O_` .Cj4_SHBԫW,/A{nF>Z<>ٵƄXI5&Sf}HacjSuz #Ñ/N:8;w3AQI6MiX96H`XEos|E ( 6v#ƽiK9 ؉70JhF8+&*$ƻx ,l? >RF '%~!oP,Bf,B|HrP2R<Sw6j2]:BVnv'$`Ǵ^zkX; N,>VVe,ی|l9N]Ch{&kFDX9|i4Iw3/pFbо4&w>*N܊114\c:9&U@YisN,]IV#u'G2ȳ2'蠵EꗘcPS˛ߟ($A$uMܿبA.ZZQ [<1Z1{Bֽ:Z'jK."YV$:MDQ,;ћ?3I$9MM Hf/5&ŅI`tኂi?q~Qj'P%+ OqƢi\_|,nD/ aRY&0pRgrVe< XmHtJeS옸?X<[: 4U̦>\74 xȅ-r:AyN\.Dup74i̦2iIFb_(TlgJ-2R曹t[Г$>-2eVDF66ȥ0UK&kFya㫯x#b ǎfCǺ<6 Xv3$#y[`F'ZCT:1tf&E|o*NwC` z*l_`+ 1 icU~ksS؆P:=JRڭQmMHfVXKXW"F;ZF<E\VOa"UXCv_HhY57.ڂSKsE 2YWwY_-;3*W]YZƮ$\(O =:]b#i&_+:s׸ `FKo܎a"#J|xG-ݘ6~H"9ydPlq|~ 3mx,~<Іq~o#w%YG肟OzUnX)7 :穂 9 +tVY o/>K)mT:f.,z3Ml]k2o_8숫PSt&*]Ïql ;bILptC7 -~qajfZ )gw:[Il.ۧ izx(쳷ib`8UOфSHop' حz^VcNB#yoʎ/'O[}>鷛T`h%fÌr?I敃fXA;oa8&v"&0,Dz)|0L}3 FTYBnVϧOB//,'yQ,J٨8F-fb<*uXؐ0 88ALvp*vw"ݩ-* -bBL B]G3ĸpKM/\Z6#Cj&Y1y 8#6{cfwwL*6^{W#lBIHÐ(y<~ct}NrZ^2ұt6RK*߉ơ)%4 C8{c֬(BWXvʆ24Pg|r |);j<o7Ӓ%M25en$1Iᾓ 3sa4 x) Q̍!tZQ,Yj3i^E4(T֞~)TNgFPg3D,}8iآղ`Qx4ȳrO. NWf86 Z},3e<9*;Yxʇ\0BiJ,d~H3z[yg!ow*hx%b> l5*0*36؎Dy8 H`O?uNrCp~:L},fSvd1Ӏ O OE,1AcW|@CaUU3s+E<;Tλ]< O%-PG aO\LdhG_ޯ>SsICbNF IGsGz4^ ~Puģ0Pm[= ;Mˉo ggEǮQc??:WrإD[ɥ](i.*Zq!pkdhtfϢ ( ?@Mhy"=8/{qQNzzKyQNŷ0H' ɳ$ ^v)[I1#v"!IZD'SGxmlJ6A9L'Z+K4l*bxiΏ|Fx,D~C!9 k_}QE:xWk`<ąUu05 mPg5a)} +gֲD`.<))'')O}nQn6%®(pwy^9,uOݓBA퐐 ֧`L533b, ωfQD@ (lji)Ak Bt!|rb5Scx̛WO5o{~Z``h;bB(h\ + M 8i"PǦ z21xRb}z^Ϭ Uu,?-FXqroFFbcᬼfi-\GQFmW}f+aRm : L.onweJ@9`rZ~1%ʧ Em), vA xiQ4~sJ@qM%÷RF;_p$'`ޒ>(~ryhx S(Nw4=&,{%M߰B(#q.r<g~o˯֥P/ -|Xҧx89h`R7l 6`#Zf Ʀ{JGJҜn`fEME3 u]E+8;3_V* ghE2Olt|j{`WFFjNGJfFE A8!SVu禞B/VXQQ:DCٙery2+ Is-(. Ѵb$QfN{ jqmm/@|+QӵjvG9}e# v[?H?ouMíA-  &薓H}e-zm.֙B_HʳwO_+8W}҅%ٟj ٻh*M!Ϝ>ȣc1HśGlxwWP!?9!RI6>r$>|hW2qjt"ʨqvL;* \'x|f|@HvD]+AhI ) *`r2>wl"(ƀ@'=|F ;{&LӒbow,T!tJ} B+wS ,vUYlX5m.TZ\bzR>r&ʬ0;2W'Z=.T6@^IE?ZTqʧ4Lp8 qXqiɋfq @[u|XWt41,7ͯ(b̧c8'2[ c|\ w+99LNE!l#" 1Deךvy$>z nU3Bt]S{I@`aHeV4Xh/lV7DuWlB$5T9̾L0)ѿw (ZiSԃzG XK.0Y)y,fO?ДϘaxcY'v6A]gCc d;ii\ /V8 F mڱ2u>\0F|oUye c=ûGG0E %y}X=h-SVj1)ebj,(s#-Y^0 eͬ풅ǰ*%"Uh z09t S,L!??}Hr' 8T[MU;ahFark#Nh01uDAuYN|v(m^HߍzÕUͣTzG8\ UfiAB1`R|{C6Ƹ:xQ~NiPȾɳv+r*`hsI@eE  I\b@8R;llY ^6cF.7-'%MuځKM+E'gb>?-ɼ|,~k\T` EEd4&IFFV n,c~,9:L{$t~_-T;tcCDgHDgp|By{tYhmf| ʆJ%}j+v&^Oݣ#90/ȿ# )Fu+4٧W9sc0pդcƇBBA#3B=uʫMfs$L Cfpy="[ECÉjY:jN5ZF36p!Y[uRҲ Ta'V~3٢ME\m!1)L?X.i`E߉ΫjuRVMp g=o-/ZAtnIDԊOO@q_ZPKP,uV#"H>i<3j &mՍ2}QA;/Fo%uQDAlto~(n(zymgpʥ<]XK\07Ǘ4:J@V8kYgd#sQ~d1--mJexMydd%˥>0eE _^}w8Xv ;@w1o%c~N„39iIsBr2*Ƅ]̋=ԹFqV,hʐaihZJ恦bIPx֤\PRklKuRm*ݓzu =o'@;aˣ ˚ir£ \'/DPn4flAn):sGhd1/Xf˶[R'a_)~0_DEׁsѝ~xڭnC&g!uFg4'ͤm#J)?;AH > ӋZbQ+qlHṃ_^V@XT」4&mZ}JlBH-wAA}8Y-?v^+/7GY07'be/H<o-ҁJt:*'1ٓ-JnU(+`'_ g >v ;|7PırHdSK9$`-]7h:_^f{2HZ96`%&BNH0Lv&W`3ead #2B{Ƹ/zBjC"XFs^m^laǨz\*3D5q᳌7 h!3%*\Z%>BYy-x*"'ӋwwKalE &R>, \V)a">(-m˝)i>UȠ; {s:/,(zf,>Ns%R荇d&@nT=0r'  `*QtdBܡ$k항d~+OjDQTg Jaϐjs$!w2J?䝊(Cl.DBjɲee\z@ BG]RB< Ad M֥j_j8/xb%a$XAISs"/D` 5쌮oSa2n(VG/{Ž!`A{=dsNVSm%#*v漍aW8 MHsCݠ ֱ$0k&&K] WVE;TXPݻzC`ʝ\_7'*,pD"r%U ?S}H)f0zHECJGVB?7wVXa5FANS!Kݼ8.7Z\aӲ݇^ʙjDxoS ᰓv]ɏ5 $wairE0)hOAGS$,61{M{)8lBVb5k1|QR' x^4`}KmvZ9Ջoݪcp&&bjh)jxcőWyY*K.h8^U0_FW ( t(vK5?EIq[\\u%pI3<b7EWR;]cְD˓ϐ^֯(Ϳ]1ZNU]Y;D}]掟7- :hfo` 4tZq?eY2Y^~I(g1ʺ0t\ptcGOZdȉP/QwBOk:_!˕pka'SKsE"¬eV#q[ Ll^t|0 NeLYB E2DܗeG'UPL ISc;:IRgai^?rH[.>?R#]IfQAn:$6qBy|0^wYc3-<_ZjBȪ}4JAh)A8pYg6sׂ&qu̳2v]7]F,+ߓ%5Fn/L) Ű:/27SM2gfoTpH&2֪ QJ-T O=r@w !A7"ExWY(GFmj*> yO\LWb*oإ.R7KTĴsoK6ݰEFZTް[7a;UgVkDkshk^ vyqgr-˜ (;e0y*3S{;_|J)z3&1T(>=VQϼ'ɱcWױJBo: oNL"0%V? e?4x'鿾"Xg!Xgs咼7;(5ڲ\*)zPZX:D$1ZS3.G| g& 9BNkuaH8js['w[qp& d.OšgsCQэO\&6ج0R fpU}6qסX ^M H KǩJY GGН!p7ׅN3OۃƵjǣ'7~(SZ/" G!h[A I5a6^T+݃ɂ:.?V|7ѹjbSy}7Gʍ-Irv@SK\*! BO",ΉYCՑ%sP؎5/倘$ 63Ɲp@_;0<8)GSj-U(1ږeUhZ=,O $lc'O,ڄO-}gqw댲$֑NdX9І$㶝&+VGA1F~hL4{P#`d#kLͣ-GФZ0]#UE'R5.D98"}0oc{K 2A4#\CF/:H@ͯ72RK.3,κ :yV*hhg:]~tNz7cD8*F =ė˳gSPPď!: V@wTov.WqFf)o ^ـv+(9yiFBm2nrJ L:f'n+5#aj߽R+8+GEuZa0(\v̐L8 >Zcv>:m&QљA̪묩*9M%m² {K:}oH*.dHbz Kh`M㗂i.*@ADB}5MWEl/);NW;miv[u!ߌo+ʝ_4*:v)?wl6 -|x0:&],6QV,muHnW ?Y7Uq}5QGN 3cs?UܷLiTn=J 6e8|+eK'Ho;.sScRx!> W`'/ ۙz0V 99`zϳ#ň [gNj1l:lܫFi0[KpF…9V2O_ZWviH+V/p%r~>t)? ׋.K1P5%9<鉫 {RzCİ`܋,== '+`$`m%.}eԋ/Ѫɗ<TpPV̔14K~Ƨ Փq` a|_9bK'C Pc}rH'ފWTBy{t Yo7fX 5hq.B$DcN.[˛rB#Zp,)jrKŢnRIٽWl"v^tUTo֛T%&;kWϸ?aUz/T*)xdx}!h0sdȍ 6ax z ՘5<< yyxQv~% 9#|H@@0*r xvf}V6J [|b}0S[_sEѮ_%D^\SAx@-nvg)ngn@@8%U] ÈmI#x |0_2~Q=*pJcOA15=U|;ދ`ޮ+80+YmAe0vlZ9e55&4[I:u"]stSx̹jI3C{ւh\*8~g;q"zϳiʳxUzxEujHFGSe'^'+wUs#'r1]Jv1o5DpW3o7P.V~;8y/x{.nKWu)`ϵ +gz#i覡dy贔R>P>~hxx=_κ!낀v\<YW7sV7}p,HoJ] h\Os 4󁮟vs*=*`_1;;[_ٔCLs9J9vF@-DO<~I<;Iԯ1٠Mٕ҂<3̻zA]eAQ,X+Т>C(}ϒB.dENz N(,DYvo#j| ʷ21tO\DyA\d>pA)GJ=$+OBYIF]tV[q=B0; 0dk<dX JYTɰO6IQգ/DTM&wRI"nl{ڵ1=#d-uq.k5>嚽-zrw8q;$z5Q -u'Z2*It_o> Aj C2@d+$ W!/.?"ftq,sv-ڭѱ[Tq* ~.X#xUvi'>5} 'Ճw*TQڑ,x5RL;l^(aj8y5ƻ)o%}ouN:Jw$ ~_]kCy6>ᰲ}b5VmO%r]svO}3 ,3MFAfY[gam&$NU,fuO?pcmJNٓA8)͵qo n(*¢%#;xˉF`ɡ'v^gRuje[CЍ0$yP'e wp(ssZf N[|;J0ϝnSFF-vi;0JmwMYBr]}GҏV1r9ہ4ZGuU ЈȐ-*J, q'1IBW¤JGҎ5@6̇0Gǖ0# 6TIp^&|8!!rFETk(ӛ?ȝx(%:($ mXlc%0'cvODhhv֠'Uvh-B6n3,~ԩTW_=QT3f7{k*-PÍ?AverVɚIwCMvDt*1‹<UQ{` zş?B!"?:Y-}K35ȹ[ 񾤺VwzcXW}hN6(1 y4Hi5-RI֛9L1k]+(,4t(OF K؜OHdȄ @86+P Y_ݐg dV5p*6 }UW.t2$M1e8/?[ aHk ѕl~tX>kв+f^>ڑ3}b@3>䆄n+5q]o9u)؋=]q2ŷ4 #w1}ubƀV!i CQ/̭us.'$%m:s~=舨Z'?qjs:G2UK^i#8'l:r37k'@'al胦d/ZivĂ!˚ˀ1HpB筅C郌b|3(ѵud'+R+yRPQwξ~*ΪD~lOdSކD!+OZt;>$) lզ11ܧ El~3Damqp|}j5/~2R)V rPWBY[gH 0IpS.Y& 5YG}x/3zP\zۼӠ]Λg1J`vYRNλ lèM]'MUd'*L3/7Zg #."*A#V+pzv(j$bn\Q*r(3]a~3@\VXƯҡ9 QXv1g.䦮2}HƜ Ϳ ?5嗵!fE>'12jkauRCRd[f2u/"#Ēl0p/Kc v4!pW.&`܍^t[?;{[d}<ql[ys.NRV뉣 !-lxH+{'oϣ)M#e\%a{qpUGNd{eP_xَS+8:]e /P kؿl1q ,&LF=UPjXv&2/b5jGyM1.b+x+^i/lR&n֤ MXI)駹x尓 i/Il2'8ao t4G˴r ;g1d>{y^)1WxF{|oMĈMwzPSoܨ *Y^3\%껍8'iis2vH?&s3[ķws%.GKv٘z|fijF0^ c% kl=H9_$ҽʐu"7{Bz5eB@ dC"#$DՔ+«H6~'*!LTn8E$ß*v[j2e&]$_N@ܱfYߜ5.:*@rv ql^XO+(v](gR|?j{Ǒ4nwş!oGBQh-/i_,H!~٣KH"d(æ|.l3LhE͒v X0Y5Y;XwJGHC]5l:|V{o|.*Ý Ooӥmn" dYҿ|6F4.Oq# YW]Ӄ%[u`O3耄7D`U}H~P!p/]/9-[(C}?ըq?nRtx"]޽9;h6vZ4~澡K>WA'5|4D;"e#-iJ^KǜҦ>=N4]oC YWn+u&vS>l&()г悱b0G Tb.+D˻_\2U'7UH94VT^ 2p3|}h}eZow|yYN1_.s R(qڄz2XؕV|d1cT=:WJ5HRwpyp=˽R3=ZZLpDuKQ7Ɔ4sh6rfkh˧ $Ӥsm34U=VY]hkDaLpif&v1׊$>Kt;,ŜšT]! vkc+R>rbTQu.D9]c &nF"9O(?5w B1Cψs8BdMϾY|oa^wgg[cvX3 %$x_瑔zz@s88)|;=azhPt}ki],>Q!b.ZDŽ1tj8#y 'WhCg6he*?+)/7h$.:|h'e LC('ӹ*SC nFo$-bGzB`!*+]_?!$^`~>j+М"]+ڵ N|\;nc-:N 1.?.LIN-6 )u]um R//b;Oy.7/!&Չ5@KLugy! D b>@0,|A|y>?MB^\ jf!95g%(6"*?+V8QH#sxÁ %N<7G+ Y@quk\tfRNB׺7E.*v'*߄ 4/#-^}1V~XLV^==fC=@6}*ެBQG=qwygZ=XTp,E 3!P+̘'hlVG *D$sΫLԢ+En/utNOc(5P猷QVguk 7JP$IT1TJIn܉q .e3#v9@!JiK)9ٟT3+Ы_D\M6;Th%]MqڦQBUvV44naSIg-xؕ*] Hh"wOp'tJ{d4=zM T`#I܁G٩uwaѨTٶ ДYUuxRl wIڙwύ']gh)(fRO5V]&5+FK^>s>_OA|YO=G ŗr"x:1Q,=U9hބbQGBDo$HP+R8)+B́Ox-͌KTn"6HExC3mП=yإMRV"쑒&k1$6{қ. Z{1i*S%'H 5nu\UշNl98|jt.|iRrzƖn#Pl<+(:>G >NƙQ#FO0ZDܱeJo‹LwO} ƴuXmwo=i-ԉz0>[E^/Xo.LjIY;|37?)EǐRzGp0#Exє6p ⧲E/))~#. -N4l_o9Sϓ7,?W7ǮݬEm֐ޗVH毒} N㸟2*(@/ꀃhr|1V[[8[}Ze w-8ˡ$sG_/Ty;3]^Py18O)37t0 k0BE4$}~ B_.kIldwe#S΃@p$cpˆ4;7`7X/udHNH&5A1T^aܥ)ve5Mesm @c6IJ0&%nI'i]2BIv+zh5yw2p*GVk,~[DeXnlR( Jh%"ӑ=cQEZ:Ox$<"bɲ׊]Z?!S~㍜4x>lmhIͤ}ܙr0a/6rԓvZl->Վ1= ٦?JHWՕ;Z{[+퍶:=IE2Gi&)r>QW-%^igyvF`a<\'.Og?~;^k}iiXso:2K ʞ)޾8B%F7+OG Γ Uk`KB7 >(44B*`=v1aykȊä}~NΌ?ȸx, hv`q\CtmDm5- ]|-Ѿ}HĘLAF˿"&"ru7 ()!/эz1(fϨc[ZUlJm5`SQ> ֌^p5iz|Y6szq:`$k3&eryy2XSvr#ܮ{=Fil'kb|ݦ<ȓ-#39&TuC /u6_dG#t)c[tC pu~aGE{i-Ά=O>*NؓL@zS쬵sp̧Rn}'O~+ l1NꑙMb\NXأPDKMV.hRio~x+KͷޞO*Dԫ!*^.5ݠ]r+kPN3YN86\ % '_7 R@S˚0޿ߎy_QڅaCP)["HE,`0+HCD㘋.Fbvba2cӍM]rH"hi!~̄*`U,3XU)~8|9ڜd/l+?nu-.zEMLGԫ&|P7x1bg7ͲC7p  5tbsouLs/˩@WJ̯&q, Q--"jnQC&]H1#ޟa3c2T5fwT(2Hcv(s<]= 2,&2+fursݠLja?ȜtDM f\ p͋WRvgX)O#"9" ӎ?lR6֧|48przpNSMm/i?{$mTZ:/wH}Ĩm(ZRw1}.FuD}䱥ZeW]H/N*3ަVdt|,3>ZB1gnD!ZbG6 e3;P\GТmzzq|&z/-`58%z4 bnf q Eq=([81`21kl|&>R!'~ք R\:7jV!VEac~\"^~r*؜2) 0Eѭs>@9a><\ z+WH9ñg h Hp8<0Z;CVMԝ0@ot䅃r B Eނ;^7|{ShlIxյh9&Z^prhum/-v}- Z4/]Emoʗkp:.u=D=6J-CEGm4.sx:MMsl^h8մ߼G>`-U(}5 .{RsIG|@ejF"Q%:s~),"Ve)יB_էmdZEFdMq 쓋YBb2nvQv~_m5:&uIh!y"$&Y!m5Yۉ xScny^hg= 8D L jxwyQzZcx\9}^ ,nR71P6Ra2Y*x.OVNDKb!ݓ3$0oz=qjⓦ'kev& fE3sATKW6q}aQ&V<u9VYu쫡m/$5g2Ua[wiG݄ -fPg3ZL?0bkɪƑF~C48~iZH0wy]ߊ8 EY~E&Ȣ! 6{.=M/q'a[\r]t kI .d+ (G\mlPp@OrHĄRNf`e1L@Б}?iO'Pn 31 tR ܘ,>B7@"+ {rm{RkpC@"&, ґmǑ=(dl @ ,nK\wY{z| 7+-Noen~caPua%z|'Tԓ[f9yA=8vӕl벻ʎEX0]þ;l&!SL5Q?Ӧ3mV7 Q1Y}j&m!%&uq (h7Bʸ zd&wRss &uʪд*4 }"hm"u]ʫ!ɔn; 7,趓\?H-6ءhN;^/E2訠~fbht5sc]*?F #~,e5elp5˥q i9bT\m4@̗3릻^Nwwuhe2{|*SV%@*h">˃Zb˂mH;Ƨ̯iy)z 0\DrV)=4Ig =>m ƴQCQ„/?k> YOVɍyYY]@|!qmw,KnT֍^h%?dCJYc"b0U=A׹{6JyҺ52&|uVÿ,an?" ?X#Oz\1FՖ iCud#\6шs^Trj5F?v,òX !9c(Ԍ$僦F*b 3Ⱥc}w0_dٽ--nFmZM'CLD\Jimd hIB$ϴp짶d e04?&W;jJ҄8L]6o&`s ex@[pV} d$B<<,Ha!7;IjY4Q|gLz x7eqOêk~ I`dH=q*FTB#D|L 9{>[)*.weⷞg79lTUO!3auVw!lPri77g!O1=:A@4jx=MUvG8yYľ&k$NM no崝S;:2&?$Nfdܵ}肄YF+dmBX֓mc8᷋z3讂C[,VJ 5htaquOqٝT(ӹK⠫6l[|' l4n+Rn*F 6JOXɘG*>N𳑟c7ZCZ xVG0*{}"nb9* K|f |`@RA0^>KQJgCcmdIMۍk{> 9΋$mT~@fdjޟ/q5U,;yLxYGJynz :Jyصhze%!FK5'.O" ȣmrtwR|e TEѾxEOʢR/O1ǮN# S/*,LE c3w' S X:S9 X4*cї"]>6K %~V!jfHI^ehs> ~:=EH2gL/gD/R NeA pU|z!V25ޔO"ܨkjѝsĴ:[l]V#SqлiA('".GȢG0"`̱ 14!t.LXWtPz.6~&gz/X:@1漩Fvh6k^!iA+JHJ 5\1 lO9z3blzragB p@+7rS~; 67wre. XfÑd oX|xduizdBDTp&YA ;C#Z[c Ĕe^{][!a}|O|Yɶ 4MinN$Th4 7aFԩCpK2`}.gcw3x됤VHYp:cFɔ%^[Bfovxbn-fZ z5Q^y_Ȓj%X`ivq6A0CR!.Ļ{*w'nv?]J(s E/yjfd-c^'Ǩ1ZY(x7/hHi+5T'(K<fD W* 9J@/ ЁԲiLF-Χ' QNPZh^xIne+PżЪ;KEne;WOsbZ$]<(OqF7zOOSr-w3tGOdbWB9R-}ؐB)9 z)BQ{0~45֪6m j^H=.0P}óco^>4"X7`)H2*ۖd$=('["vPQLظ,*1zgh<̊?\h.D(+$D ؖOP?wK:S/GWHe`L㎨|u5P@%F ji<Dg _j[<^Ij0^J2I[asRTtQ`58sc;nʹڣV(-ºupRWuKia$97K1,JwcxP)xSiGzI4&[yn}Q' _|䏈Y]:koP.)ɧJP=x$_yK), 2"WtYIWB =^"2D8 ROFKA&1? ms0XL$ =\Kd[gK8A֤^S׀N|sKPɕ62bH{!L{5M捃1WGlL0zk|;+>8ՐžD ?jv.QJ\muH Sv=Ou8@lҲ_^)@*/{;ل9O\Vn' ?Eh<<ٹRG6d'-]1ZGN #F\e8O*?PIVz \jV*c=!5~P^AlZ'_WT2Ƭ.S"WKJ:GF(=j܃Xw*dUߕ4׏UC# ,FBxGHQQz1^8,J,&~S^@TOk vWSҮ6K,6J+\@P>0,lFMU2jyp"I9(R aJtHNl`D󅳨bG"˘l*{M"j{Љ=rUn}Δ3pBn"VgƊv֓8]=Îj- = Ot46`‰U4| qcNǜ,EI"vS]E@A}}25?:J݉O!b/k3Dʟz(*Q_T]]苎tU=K_T.<5<MMcIaKqN|٩x̓8zkԲCwݷY7( 5}s4Q#NুT -N'PcKg黜3pucWęx͊t]R@&6(B=8 k=azsDyGKYM硿Hߑvvk[]Fl,?9Xzy ݰD\V~҆Z|#./ǐ%Z tGȿ4ʯHmzDM۰4/o8"הr 4X3w^T+xqAs7сd Va  v!·%yDQ땳c1'^"^+9??O iaqc`Sr_Ğ&Zu4Q% { )|Mq9QQy6H_ń;XݷF}k* l%IM㎶VsHyp/ar,b*|=oZB&UW) ր`%80 D2##"#_`"r%S@Qh[ă"~aVOy@C뇷- Y&58`%'bu CBMIre9h|yTg٠!^lR0 lBD.% /QB[c9q)S% Pz^~M~BĘtoI^-8ԓ(6f M+)}mxm|4ϟK>8``->MecN~ҟ0i ]J>'ɩ)> *@'!\Ql}$-~l\"=5=z3i A̡LCv֟w4]W+?Oö|F@=KqWdIB<|`>S l@$8|O_]jNLk+U{C?]tH.>qaEGۋ{ Ry #7Y IfB";5*։'%N ̽"%qWG7J4^U3BK*kJaϘrj /"Mf{Ϫ@@@#nl؏dG0elLYuMW$g$ύ( h Gb,odR'&@sM"jb΅-84ޙ_%}?GFul8x=!ܣRXB 2R`>tբ\Ƿ_l޹RŠ 0Q4{$fh,m6aZXP>I4<;6z:p|Tsg2?-^w[3WRz[1l 5o{=;}3uB EՓu4qqC"fyiɷa`9~dпNâAKwso|:C )xv0#A2'xR!ELMU^abZJt4G[Bk:eY#`WfQh͞99v6اE[.W-̱ uϵ.9-U6Eא<ֱ8Bc j Dt)GUSN8?݋bm(f"'Vx4{ v|k7cVH7۔Q(bxy=[`#Ix\ݙE01b}LWU jܩG?`Jw` }i/'ꈙNu2q|_ƀ;KѼ xTS~2W{mf{)=}Hӝ0Zc?`q3a ~~ʱY=َr*#D; b-R1 xjn9v7v^?w7<< `k0ݰBLu^ʐxYE\%kKn7`2k '\"~*R{s0Ass d`2"⏝R5g:P#4Zse[)WK-u- 7( 9GQuMs,)(kq53rtg&ɲZ*X_E tR)TJ X2|=j/j5lz$ȶ}J)ƐpB؉XFk, QqFo b Y3Ռ(x8Dudo̠;!sz !#<03Bm]?2C]&lXŝ]Ԟȫ FTUpV{ב{BShJ\P͞aMQBswbKx\a/˷jDv(@kgYZ7zXZִF! M]ŗXiɟReDH$ 3gE=3/y iDb #˗qc[yw bu)_RsE l Jmi6窴 8󂒓؛7 K)k^$yeE/p$g'%]aޏ.iTw؆G?Kc53ghEd^ <ǚ UE `7$LzV?9Et9T+X|aG!ijMћ&hkڟ"/@hAE,gYZ7zXZִF! e ]ŗXi%L!l02J 6 =%1c2[AaI`c}4hL䔤58g ګaQRlz 3w-jX5oK `hק~{\BܩAֳvNS-tD%Z)'ޔ)c0?|x ؓtƲ:ӝ\7ڦR+YgnPF5n3Sщ=N^d߽=7:;r2C0ȵ|jV1Gs,E$prfsz@ *3v^strv{we 1]Pi=KĀ201VdL#'^|(a`367fݣrPRWcy ,h1ϑ[{]THüx?+ΛVaN4FXE`h|3֣@'lbAsLM(Wu +[y؝8$$b !e?8afid.4bߞaG~;4J+z.~SIr)~e <*Wݿ8Be^9l!5YK?*; 8ASr!56gr|P̈́*A8v:gXx UR*dc1:fJkfp!<䱐`<%mNxR5kqJڜiM'*A0lX9+}%!R0B<\O7{a'pI_W Ph&MH(6{e?WOɃAXXQlǚܸ !% Xn"FT_;oY hσdB#9_pZܻ砣>ɢxJ` wzKѿG,ڀ_@6Q҇=a $^-`a+#tb:`*g{$ ܇te{'  P`$KʈbZ.7 =T}WT<54sf"l5p A ;_Qp~ݞΌ7gji0Rozt~:48Q-fq?i}"tKc TEkIX8cӉL3}ǁW/yLoEb̽:W%:ܖtz*̗A q2|?\staEdS$k%!OKQ>)go5zͶKѢ þwB[PF_z)EVœ#KHG,Щz4oURp͓5uxހ-vnpݓp"sڇ7k$-L. lE.YA= V "KI,eM~Q,MWV:x%H`9=đ(9q)a+/7iR/ X; %Ӕpu$܀2D -Npp|–IwXz~h[Ty@NEGf}OH }pA]+CiuxBfJO 6ߧns3r%j߉֡q ϭK< y 3Bۍ<.W5QN"XPKlLs&{{ꁳ8DkK&h]# ܨQU>.!7Bj@R5AƋqE[-]?A7 8s4b:Q+>v)(qil=e;L?ifICBǥ'm Yews^;a66lF׺@2`;d=(ދ;w~/2\f筷e%4茍ߨ7.PƙL:>lSةigxưKݪ$F|'u'ŠbDZ´Xi8 ,Sςvd@6b&PlU-»XȫD $ Q;pA[u;m⢯7.'R8W z-t!Ԃ{I昣zI Y}hGlsc{u3ɞ[6bk)DYXL^kP F0 ܞQM |Wǜq*]sRE c&ǘGـ}Hr R+6lv՘D!:U&xp_<`OdX9i5[ڧJ@ywʤGZr?Q2GE.6lOu3=k(\gCTRHߧ]] 8!y0h qtZEHƪ9ac*ٝtݽ ƪpy*ZWd8/k@gYZ96252abbcbd921c31c36223dd731ee7310beb31f8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 02c4f3997807db199f015b1ef02edddf8901c534