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  L L-T| ]S MonoidalCategory:threads=2elapsed=452.774cpu=794.488gc=65.868factor=1.757zXZִF! ]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C]0;J#;:OzpL4 )jt%i̞oG?6BCѦ|`ΰFDD5ߙRLs!ɋ4m?y5B ] rAnPh-[.q W%`KO6e)ҀܢqPMA7#0 k-4)|eu؝:=EۜI,zflYNx쪶TƞN$ۦOJ ot $ʈb+| n|)87QTu\#g|ϔ-3-` PXT~!aQ n7q\Wbd$(c_R}0r7#o)/i:sDkf#8cXH&Ǿ~&X5 bR~ ˁIzOyb-Kj4BY^y<]DÃʷUiWx,qh |2w!nPʌq8wA$REC}uXN^Kޥ55j[cbWt("Fmzl cf:F; :z(~Q?}J=W|=*wA\-Ͻn$SMfgaNP˜E\;'bW<6fFTY&T~:׹Jq\[Dǎ{Dq\ݏ$@p7bF]s'Ͻ~x wщIQTN_0bÖۓՌ obyt@ @>ܻ 4Wţ &y8! xC(:8|TD 6lMqS&; B9/dL}Aތ6@<"sD'U$;qE_!{`DZ5䇣,+~s6[Z8$j9ra')P4>}aa >%b rRV st+*hX= - MonoidalCategory  r +a9/Eeźw2)_OL&p@ W/lȌ]ϾfCdΝ~_)Tح޽2DM+Ra]P_?Lі3,`-S(7,V*D{G7<#30."Qt+'qf]Ked0sf})k΋ ~KuB"Z;Q 8;K2F5\2`fk{ Ñ.x=ٱ7 ;0D zKpwCp^Tᴎw6Ls#Ġ|DBp6Ysk8ΐpNb[0"[YE`&JQ ̔u5&v:s_31F/Z5bFuP&n}C wXHR^W*Ӗ>l|ϧ J;M)x|i Z^,D1VPBa>Kg*͎ OW0nK}w*&*)DCDf ,p˹kMJ2?xՇnQFE0K _~'m~gv W4u=*[ ڥ`W c\7lT_WK g.Kyeÿ!{m0 W=]>7\z yɧ׼<;%RVAo rϷB`AJn6 tA]ᡕg 1Lj-?2mhQOj`gGu Eg}7Vjtgc/@ nAJ0.tRC΢gzDkp:3 f[ЭKʅLganG1Ȋ% Np%}BoZskUkH.F@6&r߳'⸺yb̠eZZDއWʐʃ>)Bx&;`ƾ"{ ʄg;4ف#cpeF>m΁_vx`ʫ6 ~ v`sܖ/*A֔P+jm]:A[]0KpwV"(I鵃 z_$Щ9P1C[gY!ϔ,O4<#(/ ԛ ht`*k@#]GGbll?DV]C .3%:ذpu~ߩX4Is~F/+}M_ {EujP`;!<8K@й.jZh8;V? b{f>Q]w(=!zY6e39*E5[0Q(=ό:u.k[%2vSiSwꯨy$AHt|%f23m[+POH\b%͛yk"{ Ct佢.#xW:ږqd>9􊛫?_̇)zX.zdNFhY+nx;- QUh$zSB;uMW@q 'r耇X~1W f|Tu$a=1a7=&VxP5 3"P|JO:.xN~3-AMǯ~k;+s|]xXXu|#Xч֣gk7a;I7:c %式JsH=sslSňKqbA@xHD:=1YRw]y';##4ϋa%7ʀ0DYxvZX/ezRqX,]@H`AQEi^y35ǂx#tvf@n4<.-0wljÌ>l#5iJ wHϙXV2;}`fm>3"KϜrٽ1t iý=q>F:ETmkY%˨8]-ą1AߢLwN "+ߛ?dy/ߝG\-H7U)tǙ>{jl!xS${CD]tPɤ$G%4.N" A:ak#:l"в>&+}'ƒ!͆3[^T@̚ʶX`[4ֱUQ>$C)IZ7W:h)M|-1 ;Swſ"̺[Nnq.[{ 0Ѽ7hk'UwAoQhV ~Gs޴PkŒ'w>mDP[;΍AjC÷=+jݲiWR(8K0}sn]ɚ,"$Ҿln $dnX 8"'21wp5@m^j$FJ~j#ұgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:g 'q<6p(W;1TɈK=(e~MFg0b$yTn>%:V$3Z75댿IYgYZ7zXZִF! $%bw]ŗXi%>gFA+V謐:eAՈL%܁/Mf8ݷ0ʏobSZA-]9~Ƈߥ:urg\ ڪIʡ^faYfL'U77"#UGr'K7U.غp (RX\o„qr(uRx+9bk;ٓ]ҧ9tfF:l \w{Mb0H|.[Ym? -;Ѣ}%@t=kX$bs\(W #NIƪJ|ԩLF̌pUic~損-A b?-mGBtqq7"VQ_#>@u$#lOҜ}:5$yJgcS?XF3bg=s"к[c4d(S ΈOY e? 'v uv %ն._w,1!#^5Se:!B<^m|0|-5[l@T+ܺj8\w#\ FMUO0.9IGnW~P6!2[r|BC(PuKr[@]r?`܆gꗸOyx3lp}IW1N1Q8+wz E|n +OW3׶,/{c)Tx5!k)e"dG"XJ.4cxgQF/ʏRs۩[zt?^<7UضXZM~xW!v(4CЫ wYЍ^{"Ko8{>;Y/ap_F:* s1;*!7Gk]5ǯ'PO|HeޭF?fG1j#d3. ~N (Kf)GhGpUaiK\ kpݱ}0svl(T=Q53 j>e8Z1߻}eqoz@FyRgs,iG+z$~{Y*"p a833 "Ry[oSдBQ\ܻeи1`%x:*4]NVyOZLsujsaοZ'80KL^vK =PJhF|b 6J\3H6C*x#$bNxgnP[ au<_j 0<3N^)&Hq%`w3TPQa$kj_U7H_&W0἟mIGkq[w~[YvJQFYԥK@~-ά2%ol@(;Ә]vWi\ zX"m{Z<>W'J.@΅l6:$?E+>!d޾5F{'dȱʌƟ$ixxw-J]du"j[4h2>eC˳gN{LsU_\up.ijѩ K\VN Pɜ7Rvѳ?XWms|蹸ݜ0,4a",Mg )ټG;w+{2݄ziEr/ғ7Z|rci!p9i\̿ {?}tǍ#KR~ެ} p OJ\7Qki.,05 8ÕJR@T3k?4u -|i_M?tLLeXƼ/<2 X'~5<e1ak.ZKIolfK|ɨ ޓnvB&Xڤ0*#sFZ]-PkB60Al2EPYʯ¡Ԩ8b3Xˍ 9dxXtz)=T\]Xds8:<}q^\¾Q|)c[0҄={$@=Ǒǒ0`2;Oc'9d YLVj f;9J d [5Q)u,I 蕷PgxvUUZjz}0Y1clBƨOQV;-43a ¬ԅBCjBQ2Ygq%;Y2Jx{E])%P]y ِҌޔMlȶG6wF5 ֓a=t³Zȡ&n`-?j5+Nn1?\?/Q%}=:w< r7?w#!ԉFЭw)~N$a=ݡ^^#cIbI!Q mq(`_kf"RnEHQ_2Pe qNm.^Zq~} yvtr17X(FF|f^;OtzNVżg;^I"ju xHJwBV4k{">&w՚5 |qkL hioذa].1;jpN=i̓E:RCk _ӄ!k Ea-</ys|rC-k1ȡ6 Zt l! Gw5FAzBȭ-G"VRg>w-x͍44熅X:DԌdH2ӸZieF|o~]I|71FRVͷ%1aK1N?nH-4X*CpZ-ӄoM<(ALޯxf)wMsjt`Ή-˓ށd$fkL=tZA!֦ = D4Qd[Pz4*=@Z%UO23*rAgVN_4n̴)$l  \Ki0ݎޑqaE7.?d4"Bο?xv[a&^RCzR,icMYC\/۝dDXx2  ]q.p j۶ yR^bW,RĹBr[mTj-}R,:/[JRh<3U2iʥ!<'۝DZqS#7|D´Hi뇘zpĺ p˹EO| K$5x'{Y ah[X4;Ӌ_Swm+Czyy ]Φ^cڰ]P> C,jգU#;}MnT|c8>$Hy;>;)% WQ8B#k˓fED LCfX y1$-=C=\l~`4lY~I2V; /ǐKWuħ,t[[ E2䴒1 S1BhRiYWzUIFoaL1 I7T˖m?>(ɺ0K)us3k2IP0G&W&z V^O/#BuJ9|olgtykq!fp`%gճnvs RFQיEfFOmIehCݙPtBz 3M9v 4yts3:dU4c{yQ@ȿf c@ Pբ1f?VA =ꪔq9> Ey`Tx@`v-GD0 k|&LAO!Gu#!/Mҟv߯L#\p$#uʄOKEvkB;Qy^i|ذ͈[o m i;x(F P ݡD"/ZД'~q#$1#S/quc7  D˂}{*5`0I6$"o۝Щ\i*]@Uӂ&S&廑/`Ob/7?SZg@!˪ͷ%GO6 CKw8fX ?r M_-B.ض!}JK& 3nJO.?o0g:~m^ؕ,xSd9QC|Wzu!\.R0! 4UGf}?*[ ʻT[Ca[49Vu7usf%H[?r5wq0v&ɸYp_Ki7nz1p>F֥s]1Va\JP,Ȋ3RDiDZ0C';Z͋Ȥ[(Qfuġы,@_y\z_pS&Y6AQ ʡj0U$}  BNe]3 i}|{p۠*40p V{rm>R>R`T"}YǍgLc4.0NN;Le'e#Z@ 簠}_PvKBW&ΰL==J3M#nze$">yGy7_*R10F'D3-C?Rqd) @(&)"ĺq!GQ χsHD"AS1CekCm1F8:t8/r;J'- GT4)͙xF9E_Ř"T^3eS"˳N+/ J+v~0}9Y;;7ID/˝iV@49Gt:f^3EذocXXps}~Kuety-3|CvD(nr8OJʯ2~E l"m.$#mJzT[i5E&Y\d^)Qs9ο/E,B~62(=S 3/=N#o̴.Jh]'zbau7$R?i"NÈSU6Df1\y+If?N&ŵb> K;gula}UW|㦱Ām@l5|$ך[`A'w:X214Fd] =O~_lFŏ-L>-B_$1Xu7_D+`JFU;KVk#9˱t#pt kjXv4!Y/ncVkE  ٩r{zgvct{1"wYJYdXXW&U daBGZP8Pg;5rɲ?{s̽kc6,ӻFd9-"nԊ !~u \"vRs_ α5n) w1Ģ&f 7X´Ks [ BKNoKZUDkzX-Vb xVx)-KqiP]]PJGp?G2vqUywLoJ▘ĺɞs}5_eUYȂW8ӊ&Pe˓67weP7+ީ  ʜi gS<B\7aiu᜿ga3LŜkk b碼M-.?ړK())4=UdHp|YKj2{+T:BSdě{(ܞuvF(ς.T)L*ۀ#h23f#:x9c0bUs=M~4+%ׅ1~)^G.Y[7ցA!%KЀ*d#84 38w쎯y5[kvgQ4lQ55tvԿ4`'L<(GM%g:T@dysrh~eEE?rPl^+C3hi{Ri=s3؉mx 1Ԯ?naF^`RgFu2qc2>F1/"&67@1NjζE~DF&g{ NJyFGmuY" U" ;w8XiRn$?.%ÈJqZ&k#qh_VN[8LDty&>2ؼP LYȪFd݌sF,~(JO{z&M5z*/a4].TT+G p|d6NR>M;G+M i%r"<$F- p5<2#jJGDrfO56qb_:;i94w<]agVJakqqީH0:v蛏;g zI0K4y~F%z5dhK7#w3$Dw!r9ycLǼ& ANf"X4Z?aPFr n]9(7UU BC `náK}h:k&͇t ZÀlj1#$*Z:xy,i"^c/ 0ʾ 1ӹ_P'y8 prYjP5Ups>綔V뱎zC+٫/B*Ԥ簴R:gY3ÐJg4tw/zE՘ &ͮ4N! c&ikƙvJ>p +/[Y!qWQŵ_of|}HuW]3l4FoI!SpYǣ KאiV i%{ۀ x1r3 {^ֱOmLk౮tkSy۳>2'@J CU8J$z(u25dr ndo߽Uۧ{~ del%Z7-;kW0rM&ii7mfOºw1>bl/ܫRTX$5g ՞dv%f\X<̈́9ww\0n?S]_eND<5hHOɽdCd>1!'Cy9e.l7%C#!=k]dbۦ@LM'nRdIpF|q&>`Hbrͥ6KNDABPR.44)"nRAl'kaonI eIbr%(bbXuÏ?^A50mzA&!y}V\ EW"Wsۅ%z2.~{ ƥbʐM4n%Ԉ"e0 CO7.摙s;cT 7gjV9|C0xCYv BϐӸUEi?O>]҈ykDmq= %)dL2az1ddzn]qZ0FӌLΈiƌ@8tW({lǕ7BC# :Oo"(Y Pt☻/縠Vo,,"ё.oE^dIr&9weNnTdúZ"Ɠ zyoZ|><*,]g(>[EWBcDda0w=gܲ磷w%Kz_K˼zǴȒ7/:? 3aII'<&@.o[ erش]@^VXUČp#u'Ap&٥ p~ѳu|;0 VG`RobIJRw'r>懺 %v%(}4( x UV.Tx;ӹ_|ܥ1v@]ixT==hJ@9vmDCT6pQҺͫ{@~Э ^.4@`cw*#Ok]kZ=TM~UpvX׆k(}ܠK}J = 9@[{Pl.lyEuBA4OYwGfݶߴ»(I*=5T̜ QDT5`)&Oqf2(EZqT[fjo鬜b"cG:fiu2x!`V~E/bVW[ 0s&׀ zgp^isk!teGFZ2-I NuVBG7ahܛVβx O8d^:rkD=Ntv(cM828R#G(G@e+BkőcZS]>2EO僽Ah_P!vkvNmSʼnfDqE`ٖf2c4ze,1fT@k^/-U޷86__\yJD]C,iEH]i_2g`{m!e ҾG!_`,45Nnj;c.lEXTx^Ɖ3|tjG8s>9 O'(Ԉu2"(j'bjP1!襤#4i+CP)' bva.!-KJ[]$b]gQ|x+b*yq1㑳=r2 -* CܓHNT  M19Yc6 D pi](9#  U4ϟjDV-XjhOg±F܋9Y~55m$gl͢Asр"uQ0pߖd}+Xd9t3d#.qՖ\K\ZEFRWtHqq?/:p+&a( eQNI_tpׁk]L!^LEUC_k dFHkY5ymCī 0Qm 78wtQhGY{ۆ.4B9O vfqw.>4^w RěrJ-\SH݀tu>ζ$4,4!sOOM hS?;G(ٵTڄ'_1H.:lo-Qx \FdPeE @IHAEȉַ-([PJwwWRoB`eYɧ UD|84Gt@nN>"ibE d,|[є !uXmJ[+*@Rl;#N ,,:5d4Y!7yݬ5;,0zC9 BZmLCk\E(nHENs2\5ǩi;dWᬃo.AN^_*X2|ߍo$<.+N\+]4E .1XKPd8 cdjU_PƃiiȔ[EwT9$K6O0=8݉ZB*fˋ6"hkgLJB-'Va4y, cU qu=dy n N)#pNΕH]\n͈\ܕP 0 HنV_Y9 ț ]ф'aG`__)fyyZ}b jT?J$H2G܂?0|4p?}$A3##)l.]O#TBSRjNNc%Dzj]8"ÞqCSfׂ9Ij3U\lx 4Tߵb?w'@diWQ`TN";pIЄ!I u[B /\`71r|Q:esK)J)M.w#&*RpU+۾ S_LpeL " m(Ĕ2:,tACdCpNs2%[޲|lUUd2iep9yJ<?u4B)8$>f5J&ѲV"&zkYi;z`Mޚvn@|@胤k]VsWϫ1ܟ~:ȑpxv١YFLc9D1/gK^^ʠ>EZl}gW3Ae 0 Ĩ$؍nbCC=DYf6 v-FRd_P'\lߺ>#4nh)40P7o߯t!vf!lnmJ?UFQD@:Yypի0y},(TW .q"U22KԧkP_G63MU|ae~E㷡m|7֕f*a=nfgϱG8Qx 8,ܗeϱh(#vje{4bд[[c !)*_[+(1Cp nCUv]alB @\ =8x\]@dXvzyx#+ ebE H\VʀO&GR-:%A~\6$U*$]e|PPk޸#=xгn W\p=7f,efBۃv ϔ>!p|3[?.4)ޠ &JFJdydW&# OkɴkkD;KD\aJ=Ϩy0i,OD5u΃YWҰ59<2CX"}M|MΎ1[Z:+T5ښ螙]t) C9뛰J>E)Az#CjKЄcHJQ^}7dd=OɇI;.?y|}q_~{^^-<{#|JOGօW˗C);)lɑ$r] k~KPTlWE*2%.?yvh ]WH;gl( vDT|7O MV儷Q""IAWjZ' |G.u{{rŴYJG[txB=ݖoD(`lqE0,A .F7> ]guFT\)#F9iܭѦEbl?VnV;[Åc/ċ|GKS9[ԪJ9O{\kvs%,XeA`zֿuÙGa $0L؇զ7x`'u;t.*Nx= Й:&ć7 &|`3Sо Œ6@ ?mNMCs߁nv]{XJpdۗ^es22n19댌^pߌt)m57h0Ƿc0=;nuZ$kj%/JxD~˛TCvXcIaM D([\McK^H,BƟ;Wg8 yyNR*'cjE)x{<ި(`VR h a幅D^sT^+5Mfp.)&lmiw`Gcp0X:MBZ;L^j7fN)PAǀ8 sXqlt~׫cȨy4?4}C2 :Kx)+⏦.t2{CMr"05ZNL3[=!fOf_:ґd NuH>IJZ>G+(>8u|A׳H%PORt82sSt-s~a E ~*C+L_c aGo-?䈓xW; ϪvN۷C]e&xIfQ9!ҕᒦ'kQ#MRv}" g*Wffd f꒥]:(R+- jfdN NKZg``P ᒕٍۧwLHy6GS?pB:^dfy7JNޫ9cqb2}ntZvT$8AJ0RpR$DZl8*dE[kRkpSPȯ?P9Y",`N&$E´nόvE]>tk}T^ "9ao޺*sJS r@5DHgA^¯]&۶%Hc[gqRnަ%{~ V2m뾕֕Ny6mF%_s˪W5(U7qWHT|a a_#Y*YF!d{AK`.mŠT511+f5ŰԴ%2I`0R~t#{>eCi(W |_Ub U)J NJpY1J9d}oyk*$Dz}+'q1=5TWu*&^đ})[Zl;/A;QXuy FݸWrF n~eK)F"2ĈQ=K1E϶HN "jfdY~M ]Ue7L7{5#CըkꞦF RX#eJ|1ӡ4lst,W+H^OED O&wmu d'l Ƹ"6\6)\ddX4UfaKa?*zKflٮ Qfbvphi ۈEKלav!S:Wߗ \]U;ǩtn2(?|܀޶!Sg48ɝn[ט 1I,vp@ 6hNLa>%0}$;,\ev8^Ǡ_,.c;r;M!r(["nI # LR H}cB#.sUȭ{RR uգa=2}tsHlQ+t?^IM<g;FZCwS7jINh,d ;L۲W2_>E=\bܠoi,d˿!ceG/ \B+zK-FҚ0f(24Mkryxfc㿼‡~HCY4=Pu"֍uڔ=dfQ4r7#EQ@w c1ިq }L2#Y/Xϝd\U/EENh<]GyZ=_ ~;oBp@n,b%.ќXh>a 4 hزy;ܛ b$%6xQ^ \"Xy>5z?$*!ETM(iPe,2H&-oM`V [mւx":jy#ޡ+#YC{|m'~߂pW*1Q&W[ߊt_UB7Zbm?`gd7#H4tCoxBi)v$u[9ʸٹNd!n)f5 lmmƩng[+#U^r c O54?|;5KQ;eT_ǾlxH9Nn9a HD]+ ALM@=Tzе5g਩?*vzZ4:q1+s!Y.ohL毩mqRύaSϹ :(fj1:t(bɫ쑍"g@&5J،t{\k.[ɂv=MTޞz_H@Mj4R5u|dP/ H՜HʔMdYܙ(|kL@J>ZkQwϡNhM{itޔPeXVtKIELa{yKWb(yFpierHA$6fumw6o/R"=ݕwB(ep1#3V;-IG<2gqH},zj "nƚ U"pVG\G'xh.cw!G1x(q9Zvv& _eD=B$&8kpN%%K7T0ujhooqXzTzfd ,rf t~,Lj:#srqdә7 .kWGXJ)J:UIu񑌢] q}/Sx̢$,*"ɽ'*nK^ub-Z]Ř*٩sݧCNB'c0h:S=Mr}L:O;UsM%&!^ Nx9?bߵ_\oЍ6{o1 FIWnۈ+>O~_Hͧ)Dž:iyK8CůXoqRkiS$.ΔK_ {!yڰxBYYu)5'nAl3AΕ?c9Fjӫ/Ţ@ɚ׈F74t1U^ϧrE3;,3>\i$Qw\ $Vl\IOщm ʾQlf*ZD}4"mؾ'^As2VI<_萯p$_R-j-sqqը jGJV%_QKh#X~NN4J-SW٫I*yv!%; Ω3K5_zZ]Qa< (ޣR7@M VGӧejIZ!nWSM 6NU j&$b5UU0vKك6sCˋ66i H$9u-B>Eefn+:e$xYwlLvFHf Rk%b>&0L,@X}ovQ8 wu*bztl.X!D!HK{~TPA]N?-iX k༧Ƹ_ykQΏ2r#dq {q6B ~ƭ Б&ʹ;1ljtrC2Jid!L6dbc;LLRVvRCsmuRzk_)ןBTm5s@~ŽP7ŅbCX;.[ )(jaTd" wν24~Hŷ7kGÁx;NVlUء~G=; c_}#>tDj=@T HJ77ף`sC$ʶ,r5C{ӟ6uߴci` 5-d!:M=?4lTæ[>`Z^ ꢕb6*pډy3vȎ{و5r[۴ 7vbGC폾}5T(=Br?p|o٨>M 9o{zv?s{4m= a_YRsDCXr]Sx){f&~i2;! e*֍²v#uYnjSk B?L_|Ty/i.g`8 %賠uN=友S-cԤ8kҐXAkIcYi ˪)؞$afW~4{CSN߿Ph )Zp1ʋ8J$[{aES8'nKtDe~Oeq'rI+1lQPx]>DnW^_ &T2 +f2}nsnΪJ0K !#nr̯ȿLE2e/&DŽԳo_ |C,Cckl~*%Y | 8(!gu V ;:y^skO+Z˃ ̯jg?d1\r+PGyw\#[xT#oY3^niRa_Sco9rmH|=PȔNP`9@`%BxTgv}lifO)hYq.$LS^&wJi f;*3?ǝ>j y( ,sEa71xuJkFZgvX?Gv6a;_: {-kсy'j01BH*'sХ _4G$Ѻ碕-&E0ɂlX9 h,!(rso{xh-ЅC;##e5={  ӎN7Q+@ 3ֲ&9LʫD)\@ͺ\e=5gSnv 0^#%|&U3Ҷt8o;r_N8w&E7e!!܈2&}스W~|?ەCl\֒,s,Blh[I_:f)ur|Veu.H^(O,@]-c !);e; ׆oMvk`:f Ku,0Rt ci.NARP(; XR'䆁1 Z_{2:Yn\Q} >/RL<92-.U*%(Iˉ|y.)/tRԘV6/(/bz`>])Ӄ4Ȍ JE&'j0gn?n,y K}ۋS4qO*e?@s礭% g9ůt{_ *T<ݸIfUʼn͈#/-`w,:/GK+7c:3֯*z 1|(dc₲*&?ĝcUlwʘ\/iz6˔1*]`<ꭃ#N))24PRZN1dƝ µb-BƮGL;v4hn<%tlQr,ߊ66^IfʔI_{V~cF;Wá6I^R#?|-ʝ 0S53%Fh>c,fɝ򛌫"^ *ԣD(_ S̛ 蚘A{( B"$7Uoj!I?HWG»9\퍨9QA+X@ P-&P^/e1\~/u|1ʟi3?փhjzV6N"?M6F67l V$gYZ3b0a02045de7e3d81ce63f13064f4cde20126e80665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 27fbabe8e0f33686232a2adfe1c9100b7126bfe1