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 m1Dd ]% HOL-Decision_Procs:threads=6elapsed=269.718cpu=1196.088gc=164.372factor=4.437zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bC-qX3ODNKlz;Hn&x3}(l:=4l>HZbVES6AAZ6qD_!g>UC1{.F'"%P^VG+|]JKZ֘.1CS(vrޒ?1n'W翐V+y]Y*;il7oAop$~m8_9jsz=_;59+ `STRB >LGA\Vp's=u~<$U!BBX5g5w"oE5οlX /(/1΢ƕ9Vn*&RvW8I`{У[aX!w6Ln$R"1UK |qgq} 2Iב/Ы ˴K%z00#wߘ sw֐#f2/GZl!j6r~lQlGYb{ekp;RȈԎ2#9nWӝ"lڃ8iBSU%Ԍi`핐~so U8>[h\[jx")4ڤ?}蠩Kܰ!%q΂L ['@ iYv6ab$EA_L~%~> W>Ӻ, IEh~G1.+.t օ)ѫ ԰ lT[m@b`we+GPyeL[CK3t v 低5*8Ndf~(H\)=wohu2Eʍ<ygqo<=zF?p5eN|> 6(Ƅt܌$gls ,l Cqc@o271Y^\-jJk9ZC\,wNBaؑYc~7!|Q҃PTҊ.y,Q/\0OY#oƺT?rtTf]bgTBn(6#շVDӟHܟrk"F|ە~y)dk#§6y^+ICQ8O5؊,5M;V)iQJ,B9ZWه^a >-)h}%f؁P@x;cu1S'*-vPx_v 8t T„*Z%T{^1]py)N-@<𓡉dӴ}W8Y?Ge`[Y1o60-b(GS-eESF/#{VYݞU x/ },DƁ h -&j0iy\E89l v& 1 HOL-Decision_Procs  ҉x?.n&ެUëVpTP6_t^ԋlcY;buBdOxdcd>G?=v;|8-tYXZoH^`KI !l@ؤrRFC kH r F6Ssf,@_ѩ}{0B 3[&N^vIiL2 eE ca6CN؁p09o9`oA:.~iĵ_xFe A]W> eAP˓d@,rA ^ Ya(фkxo:%Uḯ~qI~1eٙUo(DG *m %Y&q[x}Ljسdr*E?w㡏&t€ L}^FlnpJu @HuUTZt#߁Fs+P CU[,j 7%zX(nHgdQY`{ HV}waJP܎y_R Z:WuI*Q8b38Jab uI+ʷHJ}6`UNS/[H2xmA`ꛣ=}cLD6((z|A#M7ȉƹ1mt~8p>T{3߬:R51jKis twNKjV~m3r>_7&n*]L -YɯR6'Mf'J7Fېn 4IcK6աupfXi8i3j7~U.G̸vEZNf)"PtJt˅rpJIaV)jdh8, FQ4{NC g餷*n}eaXD V{,H+ރ&CM,<2ʡ*t0zE&18EQs^t,G=|m+OVxK FC;R9a]]Ĵכ}] .yl`y;~76 PPdI=aks;v,nqZ>VI8DJo3EŪ#W4xXe"e٩6(sɰݴ?x-l:N K֡6R4G/jVS.&l=oӥ?+gQ+_ܳxsB\^qcXC@Tۓrk i珢U;8sW"E.X->> GCm+5rUᅳJՋ^9 `\G+a-8x#q޷xdnoq,-0.[;Ln&7v7:7W:N7Q OlzDt!"+٩KOF4/}N NQ+?ҹ=Ʋ}^&@pɤ>Yq%ɲrIoV26K't_ddU8P>Q: [ՀhULs{ xQȧN+i#OSkuHX1L7Pyz%< [[aȾ2.TtѪw%Nx7&51ſ0ϻ?xt41>;B+>ApoU[g{כP6PC IGyG]gה sY:.y*\f{@,ΙؘC,Ƀb+Z[b{N< h И*Lb0&xG#>v91?nb*Xgx":#1p.k,MK@f0laI-;4r$v0ӲXsS:kN ΄=oBT+wdH!9 THڜ? )d-a~9 ) FK?yFRim, A8BL< mw)o1&!߀#8k9ɄCdkXw*0'~1붷ۜ1wEEs_P/&w+QyH0DdJKn5a 1B!_J9E)k^kG.( E ` f%f͜蘒'IJ '>C\d ::m`H׽If/'yQǧ/&P1:0.H/+%N[lP_=hXiy3jcVT!sS4ľ =̜x\ O(K+okboO M WjJhr5$ʎ_J78[[R~p6)3:ZC@>8_BB.%x'Tl"'j F ';Go'7ӎa.c⓴O'gcX OtHN=4L;x { kYjd1"ΨVz%:;勺jrB"3IFi鞆8X|nxR_#8KrںlYZUY+ö Qk]0p* p䧅t詊i{*#I@t t^SHh4}BƘ)؀I/(Ժ]i  ?E )UӷWnNym-yΖXQܭ@ %^S06C3+v@#F;\QzޏNK ~یv;/➉tMNT }Se02ywՄeD nd z1߈ZOcR|27uB>@ogԒ<[T{W@q_T a8^iS亄b00Z"u ܢ::cpcE$>5slhtWth<Ќ`P lEx8grμ=?@q|Eeb­?Fs}qXsj. ϧX1&JgYZ7zXZִF! ])]ŗXiɟ17L? KxlWP8SաM~>fٺdNC_Yt^JF/+K hiB=qze`&)٤J1p7%ls+lt}~]y"~ǼnQcxӷA52,Ԗ@ +.^-"Fa\Wiuݥ-]V.Hj:#je=3{bB/,<UkB!@ªϒaC%X!u2p?-F BKN~ʀ&' [yq4fc2Z hZ*j$ 0, C;<>m*'RϑߛPw+ZwNaL]Q}D 22ٗ`MqJH\:O]&?B\oU+"2kz7~n涄)MKr>B[PENrq6qt&aL壵HTVw=]5|W0/!bEm^׀J>it"fTUAҗ^;xnL{>o 5od 80$ζ 60⧞ e-DZ5qOپ,l XQBfެ~R0RP-.~loq21/k(͟`߱Jj cAN!9ܺq./X*bwQDa3{9> N[EeTA$"/1ˈDp=u.I,PT,믰V?8O}`'E7.@%e_AXYE^Ml$L*7ʦYf{|gzQ(PX<`0s#ء XJIWSbW@/W\HyQEgb) g r 3w^ iE؞Y \\Z [&bATίu62jVXh l18[O&x]!)TrRA~J`Rd$3pYBJ9޻blh͉2OrHj,e%lP+mbC _O9>gWǛWԱM4&&h(g̼ڣ\(,r_|x1@J#L](RdBtD oWz!y?~']->T`\VI]9)m;a<נj(x%/_N.] f!qģwU !Toi3~=VaL"M\:y۾1ӆ@e!GB(3wV&3źmRI$05~.Skue*b1{üBLɷV4߳fȳ:ۃ04YD{ GSRx&m,PailvaB2SNy^gEᨹj:"GAGrZv  2;鑧ffĂ 7cR(=)oK ]DV_ˢjZ:rU|aI,^um!֕)FQԂeÇ+'p]ak ,>jIf&kT 5yOdܠ/IȱmOsR:βG7PW<҅ѬYՃEywhKW6hXk$FCnɣy 8ڢ2m9arATi؁t藱uBe4bLHv]xO }xoGcj"iJ#<^T[mFOEKSyʠ,tk Ord `Os#FK.%MR5`p֪NZ8a;D4c澛hI|CԘAAP(j˫`7 +=Եl{20@ڞ7NSe/9ö1 B̍O ΋V  A9c"i`a .zȇIoax݂ff"f'Eb]6TZps$Ry7b\;}7~UvQ7oQh@Lc[Ci)Ďx}LOwEL0X::pU<ߋ)kΞ6uG``JKe]ECEqԁyнX-Ng58F`~!BKJ \z)6Yl ]e!<{JJ=FMJ4Gu-|2&n|D5@1.Fh`wXX= #VN΍]x;x["SNݚ`C7Wcsy@4d*Z_.~o̼5XfCcC`r&vKi70 `D_;uV׊$ݍ,ss oT)]XRco Jޢe_!? G<$B!@oOC5:V+h2]*m?8[Ɯ zPTĦ<܃ |'6ESe[ $['t{W %^z_iͼ%@Cbt %5"_[ISvc}1<͗idR6֌y>h+k2z:E3 ▸ `P[\rŁ=yk8}WWPm=~vɔJW`\‰ 䩩/OXb'Lbb8T ˎP ,L*7$lpv=F`E 8,*1ux rdw"__>5<9κp,Is|i]Wޱf^π'v=[ ަ]s+/jepUhAR"6a|i_ZށA}50=a C%V3iAyȁж2HP3>Jr+FYG^oA\] QPq+m(ML▢|FM,c-Zv1{}^s 3 E1Vy8ARW5*"&Hb{[\Ց~zǂugttpШ姉,uvK 5B5e'?fDw~ ga4|{MsV\ofexaLBIW?sdGf7?ņ.>]M3ҁD!况;ެ.O2# =,5|]O򄧴 f$}o $M&GoSA) EZ68J/O yIU5Kdjl }> ˭6p8Xg_*C:P-+ f^<^ E+v""~T4\wtoSo*z^C^)҆D_R̳?T&J=BЈōZS>V5m$F1#/ 0 )L_4eOk92&jٌiA}q&IW8whA"BqhK4'"89Lng|0tz3'H˝{x!ht41_,2egJD{2/r~AuⶭFByBFU,HϘ| B!_`xLkcJ t47Mħ^H+XY ZOѳcoVw' 2,vPxg:Mz=*>">Ҁ>:4V-W&rWb>!<2:vMW'r-z6w+BV-Pa?rWZ+5~-Bg M}%,.5U#Ryj͎,EhiH2?d:~}ĢQd hU*a8$Sbu%lK\o^e/y>-d3=$אJVF$T`DzF+Ģ'0WD3@qHD 'T5I;|*Sُͯ,e_c;H jiLV=7. KSM hX)(nKD/]1nyEҾ|tK PF ӨЩO(-ձ{:s|Z?|ϔ4ִ “3__ OAǥ' HF-&ZUAy]-wh`PGMryYˇ1ʾ7c$m*辜K⴮"L~nu LTk-u 8dA?+d$%Fk9<ݷv(+\p!ζhtX=) n;VLAGg@pp90}5%cLE|:gUZcU8;{}|cc$gO-aXr+i{$/b-@{2 aQK%Bix-fR Gex1P0= MQqR8C[F\Ef=ub0% -fT~ `,{ϴ.T "v~ć v1>ic #/\Cl[@4I1"S5L_Cq;ScN@ANqLuHT19KKaܼ|՚̧F Y* Hz!qҗ&tM f8폲HƏ٭+`b[{,p1,Sbud瀱_Ydb$M»5>lUdQHymƺ)J\ܷQ|u{)u[f< O-8rsa%v_gL޼0)E6 k`1iѫ?)Ծ+#BbGƴڻ .9Eg^t&esj>IDD"PȏeָjgKr[FM0n)u{\3Q|aBYRa{{.\6u:k0xU,_ă qWI'E3ˮل!p'LDzN&i0mPޫ+sfy'B.j| ^sܸV|1U^x;Gp|Gel\rm$ r ,'Yz𛁇 !R@"2|Hi|W~Q t~Ә`ۀ=@B8 T@v ^iÒb3q&j1MU&*Vg@1zMu|f);#>֩ߵڣ!|zBmҵ?{\ܩq`*.R?I-jU[ 8#NF18JzʠD#S㑣twUؓ(o}⟨=/ (MBnmHQL7մ2ēIi#Ux$!|OsA]*8՗ tT tS,ȡpͫ2YK rF=1ѧn5*u b!dzdmZ豌`lJk4,3SgT!T"㫛:>kͫ'Bl=R-}nUT=unh MW8SJAly4-qw_.V]TfXT]5!TG&@g&)^k1ڭn17j &MP|:e/kS;\$?Q$: ŭeROxd j`5(jo8i{j2ka q?҃j. >Ž?c:΍݀БyU7d PCʴ4j9 q!s ]wƫΎ= YhϏ `| 8ag~,Kz5\:FaŝkĖוUtxa- G@bl~j~"ϝT"iKrgjJir"}g Tg,!8TNN*xn < g7b#/MwKnV 7;Rcӧ;Î4#dܘo/63q=dE 4-?0qtG߹Cx=3\;`YM+ -~60|C7T ~L禥dFL$Iߍ3zf,,r4s/oN677§?*ޣk/`>DbYw0MmR۵ ie9C@HD{y/ fZ ,w NVz`amL=Vgc4憦ǯb"x!ܐ̴ fNu*b7*@x2v_dn':8TwSVJ3u¬F%Mje50;vE6W8n0); Rt{v54u-t]7ag5 TV^zBq{pZhu3@+S5G+Jڄ(ZB">O:E$wL]}zn,3,?+ѫ6|(_(Jɑ,@sUh %b_g a u(H9ohq"]A*_Ƭ hWmN:Sk ZMkŗ/SwY5)m'٥9N|s iUqWjZd|JɽjM|9n"/x;u0:$fD1tx#<692̣5~o혨F"+OfI$D/8@`wv@ַaZ'ߩ >dɍ #$w6?z[ޚn >i[#ظLY q!hb:[ݏN~RZeȎ-? @: /3M 2`<γHF~h/VH|rWчyUvKSYO|nG~z/ûSBo9i*f]vxѦ?XT'UF-Jpкޗ" W"&io8TP 5 'TzʖB~) 0o8N15KDmd \~6 `~b4(gѰMVU` Hj|gw/5^I1L)&]TjBk||+d2A0:mh `QRZo(g(|= S3MeSi o[:J)-hOg:D| Ūtp@_t*^qNLj}QTG\$`[ _0*mN;I{y]ek?.]׭έ}SRg'Rg]VNZ٧ݲ?)>(A+jgB/,8 73C ?8U!f;G.']/T$OO  1jumqSCu|:(њ&ݻ, XM}_N'rJt׃2.0r &mC)ldwg@2(kDx b+Ķ%U ^7htC>BdWNB:T]kK9(h"hЋc9H pJ`b:J]0p.E6&faڗre;iY%F*nWTI_6S0g6ԿEN=N (g2WWnUG.Q T=0)&c?rquvj׊uig i-Ar#;CXZgD&Y^ |P(d+t/A8:9*,u?pJ߅iG2Ъ6BHΊDfZ=^oM1 1^ ,.^B-Yuyb ^?U ]"˳M$چG?MR; +Zq ! ) @>5;P$SXC׼C7!~ , *=\=n+VKS'Ǭy&\`(RÈ0c 4}W;Jx]d9w~rċ([. .=[R?BnӅ OW~b9n! lя8m1s ]_z$}hl4q?3SC*"6PcĄJMMVM) c)vj&%x|edj4GD>F:P{f3lkM%ˎ8G}V4f#[/"u~ʻt>)N:h?jLżJ4)We0a?ʰ@Dɘ5|V5&lW dN,ʈ2A*\`a$=]eZl@r!hgNo .g Fxi 3l봕#@[_6ĹX<=DD-OeRtL8)taԚ?H ÞjKN/$0=[}Q!V)X]jo0s e~G-).zB-^Vr%4A@q][u+nhk;#<ت:EIz#^N޹I$MI1' G;MO97UI%iIR D՝WJPfjM^ֹ'&u`"(l[u-)XՌڗ#n.G99"+`*g٧CÃnp chsl~V+"wBoɚPB޲99I8q#Z[]S+ƣ9WJ?2|'ۇռCLK 3U=R^%.& 2Ilu~Pz>N;g'_!=*1=VaJꢡHiLJ1XN0c^4zwۃ5L >Q\XX\6%MP#M&ܾK5{W%xFI*ؘUbHS21 !Ki<1X>zilӗ[T@Ы%[!fAiJ׼Ⱦ%GIj@`AVPկ)S7a-^2p+z3]MDHWʠ1a6]dlkfsYX*Dp+w!*^Z牙DZGֺ2Ȫ~)D+GY 3?%%j;qlG"$*lki jTW+֦, arw4RmgoBD[+7$\)9c:aIwoMV_%f]JzM 5tܫg2`a4?}T%ޅ2狼[\a9YYHU+ %s:_6n&TvFAPL6rԶJZ1 t>kh|p]~=6 RXFw+d q-2Kِ߻T1u\kM *_ZKG4zu\ ) * _D2"l$D}}g8;8?]٩%$cLl 7)9v> #94]:DNo_J4 :Dé=ƂGx}+huSC|S=MFsw"&ʋh :1 I4HyNu4jHWYJTޗ4:%Gp0Y@-orrQzϬV38c [Mׇr3)s ?@nS`#+4Cu(w&ڕ7ySNgh۲}] v$Ep>b G0<6ƭ ]AxκzCK {K],(wơ}¢F0';Uf]R9R-}RnuR)f6`fV8[4S_jy3hS]f&C~Lh4TPW3PE5 omD.a&re g) ѕ'v[%&} hR5$؈Gf.@m$ ҹ9w_0+yac/j{{>(UDuG >jX7=j&Zj~E"͓r&^XY,:]p?G{!Z#]j%Ѝϓge G=U0]01i2h 4Q7mM^}#",S_S+Jj>7u~\(Q2 h# K5,}P= BҸ pxc+czG rGA9Hl}g `GXOz<ŜxVq"FOTS4<ԲdÝptY0޸ZpYEpYh?$_dRо}ɇ G'dEC~]e[VD`GVJl8x=rKH%q K <\mE5ↇ*(|U_`tz_b@rU eϟaK )CX\SH5s9''Sk^lM`VYwqs^4 ne _Dy@0rp *$Bݎ6EvbMⲿ@e͎n-DNWS4}(QL'X!]DOޕD 7BŢ6{YǾAB}J e+._ LSAafO צ_>\"uƾXX!x&2h&UiڽI97U#ٷ@~tŴ[˃2xw+UV{3<2= $|h7jj`"^8Cez[ /2>\kgI 69׷``5.~'FóO_ \Ra]J@ HJC?ĞcG2#*\;j b؉׷EQf=p겒<$`F~11N)(tl3PNX '&BbyHA ,Q3WpΒ-A_S[f8 ןk39I{KAs?}㻥"1B*'Sٿ,NR=gFX鸷 ZB+,.絡Ř0n͏ŲYNVeJ bxP*J/^Hg폸$W1h}^1'1rۅ^?]S[[0>?M@_$sl<[>Hs> 7O:>w2 ]A`r:Ek2 LoyM&V! S,\:(J%_T{j A9C^SH]5g8X!j>W?gXH~m[~E$Lɒߺ|Ndӎ KnOa!nu Y&k"f?Nķ!N(z>Ki0ԛ' tFO%:za|0+Y[U%)q)ݏ σ>ezrkZT$[>voådoVmPbx,*ʶ.ã5x2a{g:V<.z̋W#_Gx^e=lS$r,9e7(>BPQ o 98m\YΪLGq-}`6A#ȑkzc>n,+9jvv @6KuWf#R?i,_#mUGtu("w9tlTbv{z 7Ň]úHBsv*=I\>!87Sx-j$(ʣb``Er ǩ,|׬^X?20.SpUQx qzxF*QumMH9m`DWӏ¹(K5i8 Ƃrk6";. =nv8m_9-?EmBswo }J4\1/Vf}ibslP>Ax؂9{R$);Ry1$Czp j3u0/SmFw- 1"X:x$5,ԛ8 ^wOa 1ڃ=k>6hV7ThgK9kگy"eq9q"W!ߞPU)O\B'GI6C W>!y.4TmˋVn9KG3I mҕ}I蕀DBo9DoDp_RKJ  ^RISև?~jp5py-E%·LOzXh|P`(c;78RMS%s=B{Z\u]elW/b@J,$>՗ U;C(!N~U𦽍 ,m!c$qn]we'+W %4 ܞW =Y`&D$avam%J;P4H./k,pɇf3ww)2 3O뭥~mZ BߒϿf_XꉺDVP|o\~E|n-ߧl/zJLem,m(ao@#Pi7\Z 2/N UppbIz8bSg;cyNIyFb4xvm[\K:ػ gܕpwrGC",L|GcC2*~QnJ8̝'^>|Xx- PBz8"'lf}{ẘDz~>4ףtJr8[FXƤwxKufۃ,S[sBqb@b;^oMvVdG0~G~(&Q~0^ 4WS{ Q'IMY?h2&l"loJ}{>{9Q1zʡ4eOZgxwN^}|t)zԕkV1fW:U,nix̀ jcI\SFLc36ه/ (x5f Q%-緼M+ILRl<ht,pd~Ed "/'~_'m^=ǀqȤܚ6 г kU(xz0Wğ^jxhFaj{υ+}<2֖ˤytgz 7;]y"f$/)3(|Z>ZR4uNHaѺCG1YcC?=MYBl4yCRޓ&0#LشIQ~y+q[RBedFx0~Ԛt⚍&[He/JQ]bv1(/{*/YȦt N<ȝjUOx㏜ijup*]}jnw+o92C.rS}Ѻ@@ eXՇr3&$#y ;~ua%u\vu3†2f ]%I#AA:1SȫwV,,2(Rڥ۳wn>˥}n2sA'ޫX<5j!iOM WΡP3at &yExj@a!$/මB(%O.C&c;|]Y1j_EtY!Ib#}ٹuzSǵz+< mehEN~n7SB)3]⣼Y$fJ$\q;c/+K!QB,xSW&mB@6Dn1G2?W2Qu@WW)؁(r!jUu !J8L,.м_?%0Sm" `DU+fta|{vͨ/5Di[ K6]>Xt=vZ"2Zb7 ڴ ${xHw]Q<(oxjL9K{9HBV""0 \uVޚrDY*A|@dn9zVjl~$}i$1wOH(iC6h!4͏Km$wXgV i,|3˸Ftјٷ.=Bt3.E6SgZ7ϻJ.)hm}.,m降v@5>.n~Jm&rŐc?EjQI:Vy[C${iAgZE/nD3P}۵gmĊ/ =%sօ@NjPe"5~AE*e#b_,scCn5Ň;d/Rd ד+y;u),PËxq`D@i?Q#ޭƦ}:!P?rެ7N@oWmaF0q8(.ُ ^7Ug̓Z{թ}+UR\>T'"!.?Vu?^mPt .B+?cyU?ڄU_heL~\J&Q~ÛHږȚ^۝dR!lѯ;dmN=& 솮Y8XG#/-E m%Ap.'S$v%vkldX_$ eY *4GPThHjMwĭ,gdR{jw]4Ïjd9n&H"7=(ۀikQvxc|oAh$&SpkXQ^qs=tT>?}4 zYM\v pdj$'}M`JP&(|+;l2qL" ^+O]PLV 1oLcpg' 2 9+ϯ'uRuuXgE=I`Od^eL(^0/}a]hYS} %We:k᷇"D,ո`bʏ(@6ĩt-Q冀@D*K?sqq} $nUmy:QWxo x [u^xZCIUm)* rt~OWL7мT {ɭU7c5 '!,9b\2 ߳K-èfcf !7mXN(^z09t'Ŋ~e@##VzmnNtnC'0Pڜ{aʷ?\.k@"ƹ4/4gR5Mrqy:lU' 8OWPsppma`_*P߻s qf1gQkR4, I[FjLJ]#ovj>oWq TAK}I(COr^$c !`΄P'X977c\ڠ?]q Fi&^W,|&@3Kz|Aag[VQ:Ʒ1)u;+rewF}c8'a?`PqVccY&F5DmZ.dIj<.Ƿx7u]$ÿ4^ڈE79yB/5?gr6b*p˔8֛H?4'j&+ ׯC蕅%@ު=F{D_;^J]r(ࣙJ +GEh'R죂Fr? LUzB޹=j}=wt6`%ܴ~qx8:5O?3?W}l/3RLPܡkOY&^q7]K1R9qŠK@LmuF 6cL{L!ކ3YٛAWZKPC K ;wޡzj3؉쉗4A*ɞ`U~$^tIXv@;Saޖ!?b^V -=ro`"ɔY{Pr3FG#2V@6E9˜X<{&oa >%Y,6.O(uݟgCV1z dfPd9UZR506"ۈ-FH+R_f\ꮌRu>B;=e&H˾x Mq%A+ DZ  3i. h)3H& yC>AOaE\P)\D'i @4=ł`V/7\(Ld RBU Ag)^Ʋo$G =)*W>8ű( `sǵWc'*Ql@yt}b0utz.v~ӿ9i69U5AY բC%Lk5e=nM*مv 끲]XM%iM<%_K19aIR>=7t΄l S| N7GGêc!nOufӌY b qD2u3$+]J=2ܟh5T[OPλWjKHKPhM^|и0Q)X_:2k{{|a!_GNֱ [m  igYZ2e7fe51935526ac2006471b6002e79a5aa090e69a4c5d301a507f7945f83c5170a983e051beeb81d 4a642d629266e43cd6125d2662e20da56947e7e5 d2eea66bd9ed9e05714cf432661d2ba141bbe0dc 2b5df4927a8b9da7a59b06a0aefff6a0e4ad8469 d00e827ba30706f7b0b5bb2a7b105e9bb5e62485