SQLite format 3@ .0:  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 g/,4\ ]% HOL-ODE-ARCH-COMP:threads=4elapsed=629.691cpu=1443.820gc=16.208factor=2.297zXZִF! 'N]ŗXf[&}k% 2 0;x|!D8+\0wV<v6C8[T}?/ρg+E!znk 8wN\R@[)8=* fZY66F / HOL-ODE-ARCH-COMP  ttVhS vY~I#H [&sH2w?hِ?aӺx`6ѢAL )l!{jHZz/TkE!lY;8R?ϊGlβcLRGMzBgauD#H5m =ur҇,e ҕW!U { DhyڤN_B-?fDnc>nƆL DMJETX ^qx,2J:.gYZ7zXZִF! [W]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).  }-b$V 4bkW2N>s\IF}YZ7zXZִF! (]ŗXi%Eb⬝,9!^(rE 6uT{ͤe6iMt> ޓLK;||~j9+ G\]-B.pھs/~/ꡈ1G6%QS5D ܄>EșN p3[U1`J1w,Cf);gkkQWB@7P,S#~4"4>>-1z˜lFe>ׁ[u'K7d|J@Eݝ,z9ƸS@iNBrJrPowZU4s 9a4o6*Xck0UrE( N-dvR@"JN?3m&l_k4h2q\!KleqMpjw*T挪M5bM.!Ԯb~.%(N jDy|i#_myX$;[#*L0+Jɍ$PȺfWv$ָx|JoT`hԨj7U7LM[( د`$Iy?O=fr#%k L&2Q smu(eM7P#e{ͺ% ?ca`P*x9$@wLBdSiJ$n0τ~\5ut՝Nڥ$G.T.J_AI gx2 ݮ 6bH TI2t(ߗlA&- AT9uXn~A5[q6S&:~j{ vf MᑚDڙkud?$ᜎqAriApx@`=HVHDB~9\bSBE bgJѽA4nifNCPT?qҹ|B=!VE-͝?W9vo:GL&[LK1T#B%h5@)>Iq0]+ȟdVڤy/ָUhcRܫ7Yuec%!9rX5x,o_V b}'@,s d#c6_7{6uӴ,kY jqЉJ݃M7FpHTㇵnzѵ_'~gpmƠrW+yfO;~4dS[+d'`<(`@[*4U nN_}^$u-ozxl'{}h1h9MKmi6!-[ H-jXL#|?i0XaiQ.N^<+EiJ 9þb8yA=ǮtG7%}Q'pG^΅1|i5-T8Z 6=08F^QxzF2o`L3og=Ƽ~3yyѯ-mV6[n@ы({vwr{4STx16 +2H51;Ɇ3rǗĎ$+ιzk.xIb8+B-)aQm5h pпQARXO^]DS)߇r'HA'P&  Y%SMp>ξ>_o?=,B>N vU.Nޚfmr#/b'B"x'r!ܹe{c`agigO,LO8|حyiKX(҇8Jq5*kNGacy١b}!cݟHw6"ڸg)M?&7GGfS3k⃛18*^M¤\8m[ÞW)5hdl/jk7wt*kѻ:)!/ 4fx-:}@'1nDh[JL_ K>IpPwm|B@ÄDQCD~$Ts ש:dQ)Gmd@&@0iBmNg1 .5i_W6򉷃g<OݖsQԚD(v$Vu|mSz۫69vsPB^@):\FsNLQ!`Fw'jq8%EД|j;,X\loںr8)]dS p!≃aـBL&Z`XvKL3MΒnf!9# ᘓ:W-lU :2$FB[zkAIՔ6UGyeQF/hXێڥr) !+}k][șыWm&G!o>snIāsڹOf MM2=' tm&Tdb3GtT+SXÙcgUi(r$Ek䣾:lf:i.oqIFbړnDRh $SĮ*l{$ES-nM|˝ 3;?*>wm2F1{>Ɗ2;3,.agM]N㿵&Wg:i+,}h-l! F,GYU5hBYu*;͑ 6k`93p< 5Tdrik~Tx$%an%3:-92D{>a?Gіg~M4'I tR'Kq%u?SI iN55Չ9K@PBY2V5|S6i ;sVnu*It#aSN9f?*ܽV$8$Z3d8v"1J; ^pT,{yy] f|| _ 6*z[e[Z\?7ۗ08yIA2p#(`S8·=c@7wehi +SlMݰ[wmS Ax2/ CK:_td|Ӻf@ם4W)ۺ&}7("d=L2&o82 q{j7LfFhPNl?t1iV6*Qe ^W$T0nzZ no/gX 6(r>JN@0|rBb#T]ɛn3.d˭c1zP$4H9\| 4p;eכAxRuZٽm"qE*g[~Ѻ7QfLɥ-hxe~}C 6Z2G<{=rH9:b^dl&^HŹUNLҒ ^qsdh_B*1:լ3I9C4K*8&wTY@'ދ| ɸ&5O*Oz.~2TGى5#H{ &jսp:QC| `3vKy Q p^ 6& oWƯG̾!脵&_-&MVY\Y_C'~;)D.L¾bf2-2g/߯b$w0qo>Z.'є5E %d1`- Cbf#*jE:r㱚A%}u LNH~I:["ڦZzTpY@u WεD42,R&n:Ƭقwo TAA2,.}六8 b{Y+CҊ~p-W2k3X76= .ryL8벅v_DNbܟ:Duk{_4L CjxHj+@T&?ފ`?Ro`7Y.U0?uJea#r` <`!˕Dv9\-:^?뚞'aZɧ 8CY]xkPyCx^LalihDJs37RGe4!3Sbi7O}KT:]ND9g)"ͫ!:8~9@ `wUO17{0*:E^ADqxJvE*c3wcIĵ=mvbaO.WA؅PIAC쏢Jq1z~|8Fy=9f] dGzH_C}{Q/H?7팻h2F^w)X-P8N$Lz6Sk)i 0zl"~F?3Q DIVA%A"MGa(m "&Oȍ,+LT8J+W 9pi#H߾Ls5߮#wJ[.7^Zj`6rQ8E6T?8+ق "[%LZlo\a>*HS3Pz|QM& 攌]'qά:-2&)P藟yHXp x$˩UZnZ`r[>v% :jIq1[$Z/"*n}(g+w.v[ێI6kb_Nuc-es\ Sےϩ/ KfctV=#)判) /_QM"B\v <=N5~Z'TL(抍Aۗb#/f{W6%2Pg8>Y4SOr"1rD# 67qx2l'|w={ >%feR(n% *P+{}BXzbcѾw cz*Կc9K^AZ8z^);.wxX&xqˠ"쎀(քySl>2 {0_>~5d5RGhkW*i [P4W [{8v ?E+ )\- K[ tgyp3o߽p.Tw QPN5i6̣KQ[De~s±l>2&gd] Ws4*]8(Vɸ.ُԇ=hg& {˼`&cG),VBzeՏYCZL{~2ka-1jBv#j9=H(u{z rPH\[kɛ kb(KQfQ,:,QutIfֹݡ[WУ"Q od1*/`FDl;+IchP7*p`Sm"j:>JW܍qW5r<=r KtA;eƶ01"N\ ~u㰵$x +Z6vxJL ] 6d:TSL)\M5[b.1˔A q4RG-,rPei9T)s㢿k##B!Kz4V*H[  >4R>rkdJu3jưRkrh9}::+s63:t#յMI8MmH_GP& :{Fn8hjmKHxnysD0z`-s=רC GĄDc^K }e}lRoFmBφd*2YB%[AjSch^",2@{60a8_Uc J"b)-P i *X?x!I cf.bYb55ٱY͉UuÖHT=|xdOKX۫k VJ`}d9Qqq|LQ=snEy݃X_e`1#G 2a3Oqtr,GEc:R=JkTmYf H8_s#.1RӕP1|ʌhF;XQ Aw$O_۩@W1sd"j$ lzǻ:9F aJ=D^wV u&g:-/7N DB ۢ{ZrLD v{h]D刵UhE :d9C<9x"TSK+X&o镑&5qvRXKo::a?1C37 rS~c%8|O4>ݲ&Z;ĽwNt,L`˅G@ktڅHEEJeJg+-:ƊtXQZ:N֥t=SXuڊ$n(^R 8='w?ϮuOkޢ;;ְ?jk98 fT%d/[(u$ (I圑+K>\_mY>O D!n>~Te@k^UEᴽS!x@'mO}[9¥ܐ~nor+ {dB3Q`IۖNE1e]{ldf9z/~k"1O C}-:/IK7p%}jLV_||} _KttAe4y$(Qc4Ƀ- Zw"~Ď|@w.O>fXRLMR= 9̬ ց;k٭ۻpVpF~"gTpʂ,DMpe> #t }l&^xVwY5N1q&` z/HYQ ǀ/ Xra08qd0*M(nx籃Ub,D:#@aM^#&HMVNϮNnޤ8M |BS&bD[7}a.\hxIwۭ+t+= 2_i]7;lo hdHs I\wAգ~^A4Ne'F-RxRgRs}D*bed)7-4ł d3܈nɕ O+%dbI*cr}GOMڵ Z´6w Ϙ8#A';D?3Ck_&q}[<)T~Gb}2~>eՒZ9wԫ#MLctb̏` <|x8QAܒ1(Bqޏ8\E`A&Z-W4NSǞQE󿄙cC&)$ܙtI9:/-T4ꚮ-.{^\Uh=.`njf9>5?k3w DeBK_5I^5>M3!,N|W6{Py=wj#іAߨM/`G>9n'! O*9qmq&آ T mjy@9" P-`v^cDF^\({<%adsg >!2v-w.30ɢV pZү*ϧP?7`(OT(1D$}}bd'~ʙ+o [li6)'r$}Y;jȑj2ArnX\bEGYtSȦR6]TLWH~AyMNV!?BWr/ H0 PReT b+ݻrgpNL$z88aIg$[5r"xT2H]Ϩ71BثJuMH9egD2ĂT-T0?*IYAqUx:@}D2 crB92 9_ӦKy>_&R;̂wXy9J6fqdJGG1ˍKH#̛Y"g:.&L/S TlWgvo):}wҵ \eV#cCsP )mIѯ7+ bݑr.P曾jǦwO/LZuDFҨt:ɗ= p Sk~qe = h|ŶOAӛM|#4kq5w~N mk1j6X0KJx:hR} j]4ʋ$^tZfeez;[J]'zwt u/Ɨ v(umlT:}*lP*D4|֭ZdXo9h,Rt'G!x ǗwJn蕜"isu ;ӄRZ\pJFY&r{KO+X4?ì}=̝%sSF6mڼ{!_w B+ 81e2Nic-Sл`Zw.ahVn71 %|yZ%2EB#6gO6[`tM=R;DtIwrp<ᇣ@֍v]- .\V|Liv-.j.VC_qUa vܐkGz0͂h-2/pI!S#9:'+&5K {PF;]*ܢ(/dC?$HcEr­u7[%N{\(kC}`ٮK}Nx+cr$*F ES5VJHz@BKNqn~y$s+xϰgBC%2~PNi~iq)a\i6Y y{=()d:LV8##rw%z|vsl'}dKgʨI;i\Ȏ$A֌U`͍AH:Xʤ ͘p.%Dtd0a T xGCz-.qw]J*"L:z`=X۝ejW_FUr?Csǵ?׆p(s*/̀@0Hȍ[[eA+r-{>$*oۻw|d~IӼ[eBV:כTZڜr-&<+=G >P ?lֻoĖ4@kѴL991sY򫁎&(R3~$\c_zNR󀙉zy X2ˢ85N [@3,l +M*uczR̭Po7vb6\\'8];+j܍OD(~6Zlnb!XĈ M7I]q) זG:.)ub_(op8f-?lX&]<@K(7\w%8ƍȷ2d!{"*0@!~db]ʇp']cz15o֡s߁V]%3К:ըX7:[+{<>`q-.P=p_Đ[dD˾4FXF;JU֒.WAxg4* @)b !㒠D%m;6AɏHe훥3ږ#^X'963FD,_Q_PqIFE BфaB&Ov3:eWF N7gPmdA yg`YFMÅ?\{e.$T)jR.K`Mc(pʠu#z54Š gK')5R ZVMV.Ҋf\b r3WN2LJ垤*;,F)9ekyͼG*q%;gg%sot pllj%3ol6?O;#J,G7I]`@Jtx=;?;Ҩ Uq^GAzm88-󣋂TL^POVWFTL;!\JL7$oEX1ߐdg`z|L\rUUk]A0Ɂ[&G}ZF@yZ}iy{e.W @T 0aa #C[=y削:]1 R˹ĵAR+ws\4f`e%k{sk'/) Pʋ 'r%(`^B[ԅ-BHS0 gV(cXHޮ&qD3*k'f I@˂&&.Vi9's,!t~/',^ ~yǝA\Dl{MN; i(}Lh#ZSN<cf|vZE=]c_]E<"r0C/zxʾ VmTqWn]`-vc.O8DiQ֞HiU&]xtۨk11^BS0 Pϭ,ljÆp-T K:PEֈT0\v57o{qX1jw͎˰IM^u͵ݔa4S?+WnǨud`m,;j䞄Z @y3=[\\B-JE#|{VOdr e^GAC9At߸qq|dٮ|8 ؇ɛQn\2^~ףXU^O9?G;tC{x5FF-fM\V ;":Ua>'2^ l\wk=jH_lۯ$bc˂rl>\5/{{JRN ϞswR\_"]ƶ=Q cD)yLW _Y;lƯS-hB%p/rwA[:6O+B~_0>t3nnӣGsE_M^ Tm!`762S=u`8kin:c$K?O P8п3:K <, IzXׅH 0_"w =MȨ:n89WE–$ 8ACfh{Sh#FKkPWڃEb%F+ {!&_$O4ӌaB?iJp"7-UZQ6 m՟L#cؔb2U`>|:}buRL磮FMKv:G`.go}br $PێXy;PKT1É)߁w[;L(U^ ׁ4Ӳw>0@moW(;ޞūgJ1p@ 9RUd:ZIQ3Yi3M!,%xSxLJOE+\kZ2Za%FIVh]O/fܰ1<Ŀ :P]Gk/iV_y:I23f޽-䲜p )V̽L֞7L']zZ:I/na}Y e"U@I C eZ( twv=J2y6L^9.q?iF?Nbs+O'L5*Wr>&3@r@TI=U OJ!nA i2qSHKStOsxޯgZYyrZdKpple =/Ӫ&DwIz}=K8k=-cֆŭG%}j<3Ƕ ="ݑ%sKWeCTjK<O$cxjFAag#}.3+q)6\] R?Sȷ%[~il]u?|&vr"WD08UBgfJ{u~_f׺5u SĄ֛+ﶍeDYAp|E5=]%K0ccezeYR{prj `e<`kΜ mtdP}?r0?e4~+۝Og`ѝLTuX\} j!C&y!> @<i IcK(w~UI4|Zl{PHз(C=0q%#R8{ 5`68(0tpg3*t ek:jp˙iU4 aE<>,TgnH;yr/Ҙv[Ģ]#@2΢Su+ʬ݄FF -fAÍW*Abl(VrdDkIs} 8ȕ;Œ dd٤ckNs~?B`~ϷUZoOS@4#7P+ lijάzrSu! zLxJzM.7\;}hiV%ja\[;7OeFtjɧG_q#0TzfZ0svt+:JI-3_ukO߇sO+6}[֧TVNR0ʌcf Q@A[pr(IР?^R)1m';ʺ2$8ݺ%/PvjM%=׎Y`ӈeqed1N2u(:c >ŲBR"{1ZQ6!6ر)HkY)&!u'smw g1B9{~Yd.d\vse"1ǒviM[>3Wc@q#OI=A47wWO rm+I;󬎗o&E21;Gܹ*²qK K$]op L(0aV&Ϗ:5(>h<ߴ+LS[;Ӆ1h-lުLkxcKT-AĭካP?~S r_;w,n7Cd|2*0/h}rbp|<_Ԥ lüNN ?gpxR`G?GFHƽL4Ϋ7pxe"<0ԨXGޡIm){Y]T(UɲKZ<,y;7.$:j= IRPUqE!uUWҫI#Xt#[ +Z\zxmBҒV yd1ZM*֘Ԁ[s$#aCAL2Ā)'OD.^ iFUv1oyٝ$J]stp©Q +k ehJfnkQĆkujrѽ8e.-b|NOҴXC I?B@V^:g瓓B;R˫-\-ŸxxEnLޯEy?ڥ- `%6Nva#kb8< 0qޠEbH`k c* Yc8c6v,ߙ2 x|ݨ>„{j) iT8tM?J6 ! e|u-WI;;19[WdZ/Ɂ'_ ҿGfGN.=@0V]Ԋ4g鞱oj3>|TŰ@]$y4,q2O<>nܶsy>fMr,9ȘɊge O>%p Gm=ȩoͫKm]~Juz@Ң纤 r1nQ[5-|{&Hk5v%O/A}4wr#+f0M;JafI@-ԋ;_5e,cO[3~ z*׈:_q=l!cW>~ܠDKI3ܹ-Sr}b*>}e?u\ژ~:-wyé#W..,t$5MUau*!FVerܜcw*f˳w}h \ŵ2F/oD~{0k;nhε&0yg`v'qM`]QȸKV o? @ѝT ,y6& _e mxR`qK|o.F35zxL¨/>x}_9I[=v53a?('<[d-WJ2Ls%_ps:2: R"Gҿ`+źӠl#$Q d_:1SXT = E'W Bp@9GPs܀ET5 4oL%DYɟSŃ) vjlf <|,`V!>\PSkK1eb)Q(]KDBv1c 'pCR-rziĮ#IyԗtRO䋑=/ gr7&H&AՖR>k!ZZ]nb]d<ҕ]]sģrd$ e,jDFJv[эN.)Y%K>2N6>Q#yB5'4_u;W.QSʆ-o>xIHA,-7qs&zdL\C_q[lkP~K\?e{ \)Ftܑ."tMב{yCo`k+C`U l5Qڔ}/#궍*2@EDw` ,̳Und0p%\%m-#/]W?O7VY[*(92BcJYrjU8,r&L'OԙLDn>KXmHSP5w<"VVĶv5=aO}\W\="xd詯ӗ־.T[K|:FsÈ tzn,c}D6#9،&Bxc5,cU1ȋX"6z )o$\z U ĥˑU HHðtD%M ;<Dͼ2~OɚX2qZKR;)7MrU9L-Td?H@P=n@PV>1NpCWl ׍uJiNhs=sTr )`:/W3=seϠS]ɤ[zJUYqD=7b^$7P kY㤁X6MϜܕf?b9#Y gxo訆wԢ<&!w~}'%JULg۲A9!$CQ#<7;ItVm$.4tYRgg}6۸rhok<Q\lWf0JWP3~ˢ1s'e]1ՄזoCƨ)jnOaC+It3z-U}I\Amu9xԂKxEO3¼] nq lvmBXkί%(I cw.y%S?aq&"+0 Ɂ0}Ndnx]BÍŒ z\NTyWu}A%3}d@Q!XDFkX2nwT%Aمܤ?uotHu,:۶/@q{2f&V&bhkJI)ǢgO $vu)Ky-Г5y3rE M &AUw@eV b sDy=ek O4ڇWRNhhn3s -I~CccM\w%S%TLUA*[l[>WT9pRsE:[wr.nlMPqFT5}&eRGع[I,|?iu]'b\FpqXK0/^GL CSHIBgLGE 6H`߼ zeb?3Y @ăC dNVūo]Y^XI8MY{FnrQ)FyE.|1Uu[DX\$+ºY[r G:pEu 8\Սq@Fjc#Rd>}3̊NI61GyMS1MgtG?^q* 3[.xx[/_=B ~$/-6!@rÜ2W.,4ư#cy58qL^Vo1yw3 F7uzX¼ v9TFbt@񆴋+˸o3bX_J9@҃Jt2t&u@E'>>?5dpbh0P124623 չz"?l:oCGN41Q@TQ,=Bgf@Jem!@}-d>˛៼6W jXnbJLkۅj iJ{{9jf5+njA̶tkb=Y7co2O!+J'@Wb! ~Tj/רЭ|V)uUl(䫋lJ?"و| -Q[^+̗r^'wQo<Q v3jj%`Ā!KICD^ˇ} KW-P& M IzTG^˃{rk&a3~F{wdLVKi]nư$ $<4P.:J5׳Iu4<(9Z(TB(PB~3aq.s7()3eS8w}(Nu8">a5%aEݿk#w~en?e~^Q[j.Qs$x?R vlF]dߗ!ldJI]YwByqOߚrUk rsĞ(ULlј.:o"9 &0vo"K!&B^U+ ;0 @ٖ0JU:˭[ ;=^d7LV'=L7ˡ:&WOu?Qҁ).6Xg_#&Q6~53.)$WўW}sXWn/ƻ q ?Sm^D?8J55لxG֮b( ̿$&4p2׉9]дhzD]G ĐQ=:O-J0*A Dt9u%ۂqfUcw5|PzZЛ)F֓HJf;8\X$'j+5Y NVPp17ț^@wltƹ5'Ǽ<ƻ\)yA#grÏ#a'ҩS[m݃=وdB;rP1K{PJr:s},tbR-cn\6>~$6ZmϷ-ѽ^̇əP: SP7H.kpBYS'1:w]ȏ[YS/SB HA}4(_OKsp?$Xll*]M1m2Ⱥ|_BÛ[P--3.!b+ĆX`&<\,mk* <-o4R% pUzCgo 橾ivrL>VNh+I7ڃ:ѣC]]í{f״4"hLvZk$ eBI uwbZW&Wkneo- W@ɒtasO;gަRkBW@uۄ: v߫Exez-gLMtIz,Rk $7$Q do̐;⫖ }Z&SOzߎIM}k%PvQHǘY=|_*Lg#ϨeME_ ﲐf9FW/ќC|L&—k9*- +rK_o*$0AgM8 _!Aar3 Y1l–2̘☗A pYkJs]  Ae7T7Z9:hK%YDޚR.Cl{I:zϊ xd姄ی }eEN^QFDGSսn:O3ZekTո`r\k v&Z]Kَ@P$N(Αw찫d:ⵣK-nUdj-zu,T{Աv㼮<ۄOռٌ5:sCžsY¡%X?~$ݫqGF Ӗb޶yfT}k8RA(ٍ 0T2Jz{h{y;<ʞ] :Â|+]sP |`J4ΫQ:{:R:{fq@'{n5`AaHಞTڹK r\%R׍prxdlC^GSWd=dd¤O:XlS_CN 9owT"18tXWXŕ(r/ х0X% 1L38~sOjRdeDVYv(—IeaF04r5`V%co˺T<Fhq x ޡdvp8*f__ikr  JH>ʍ qw[O;IETq +^۾\"ؑt/96JX˟dTx=\C&x 0D{Z /t&1qZTav[6y!;v[,Ds{ [bPTIl|P80a%r#Mn7W50nla)NT JxPɟWQ&́.$Wi=Aeus1*]?'"8id^2$F빁EVY!+q eaDVLR+'"K߹W+%w~U`c i4lTt0m{5Vh#H9~0ߑ;`7|EϤ\L灸B24쵒cqWUFAJ}*T*k5 l<+{I j4FbN z[Gc},*ͩёbEG?0<2tm4a\@jׅ]zr'eU` QNYAϳ*fgx$*}BA4NQڤ [&Wijh9TtF,E_$+K4Sz'")2͘J:[ Ϳ챰ݤEP!8|<%X/}-\]M8 H'7'VBeKY'PAЩ ;|{0՛ C1B\HIm. !ך[TF3C/.1%{6G2DNl}̓Euњ_3La&yVn ̳67mA07%*-86}?;1;NNRæKjO9ubod"9""0&;v<%DzN QmWE? LXKZAEԇ4aU.`]NXx֊D)m`SS?|a`1梮XwjPYejn+y@ӭ#@45VX|iSgB&?vy{_⻹cq|־_ D\/r'_Db'i;atC?}〠[J[/k'b%;=P=*EP&xHrV4HbG57PWT2"~sVlf x:çM2Qq4s=-C{)i@Z#z&z~щOw})u{] >ͬ2OkgQ_,=Y¿z rȂe Az`nͯL%cS[C+qHkr陑Y7 Hl%-j;"̡mE`Ѩ⭞ߪ:n {#lF }&hCz$˱STl>}Yx&0h^m2{gjr Q=hmEOsY'` Q=Mn?=Oyou3&0Šмh:a@+,8?V&5D$ܫ \]*6xv#_U(F_(Ry?BS0zozw5]/5I)μ0)xr̕X4lTǞ):၌=P3QZlokgŤ%P7*,{y' g2'k0i|4 8댐QT¡Qٱ[+;b>]` i:{Kx&fk>P.)Zjj- @ׇBS}48jWA;6޳s*ĩU(qIA ~@_hfϲX4ޑ JҲ+,=ᷧaH,/+%KBU hИ.u[!(ndh+p%>/wyC._pZ:XɋhMJYA+~BƑޤGM \Vd\3EWRϠ}Y ? la hyòYԯ0DwD-N>M zpdv B-D@v~3`ЭC{KE(Ey6@LU# DЅ`ϼJM,&E#y(}Gj 1jX: ,j?`B)=/KbtlbGnd" ( *oh62":Sp뾫;bi#X|X4Rf XyFS@h GlF#=鯃X*B|=IZ:P F,^DSϔ,O L&@JɱUagNb;Ҿ?鐬`'(NXYx&Y!OxP@$9*Yd]F^>G<%q(=BqY&J(01̬bPLxY`]#`^0682enoѤdc~/=}+iŗ%Mʑl_3ѓN) +pQclUG{﫱ʔR,PNK/m>nj\>4rbz4 %PT?BkF)/)!$ޣpT1ScFv  \Ԏ`J8?d Ip B=wAߜSkr@OнnqȼXus.&I؉AwNPMS4D(KFnV%'0`w;hQ%oM o>sټrYԴ4^3%7bS+.jHRkf⵵({?32`0t I(p@1 O?XlX@g3E[COj;kM>eK{2@2?Zt`ٜVTA=W5 ^j{ˬo`D ?jm;rV[~QQ{9?M8 i^n2F4Q^9g%dvLQ8·='_ f悲V#IVtvܚ*[U cz|/:2<n#\1*E3ufgw$GM >M NmNl76I(73tyMb W[[;8f1RF4{%LGhz:ZPU/4_Wž|5U$|T|NѺM9]U z2PB]RP/T` H)" eƺNk'umhBp|=hq*XZqR;ORBgWfDx3 4q!)2u*MtT曬ƙ=@:.f4v 3'G̚%4^%8wѢG©/mJ!H0NV+ !?}~qxʏi e[s+=T=JP{@F]aݿ74%ut[߼H#J `XP(=9C(FG׵&N+zM{DGr<<63qKNou̲%|z54C5 _Bƛϱ^%Dvx.] ᬩ/:ϸ~\oY [gTґCWܫr8*VOkU킞 ]")CO)M[LZzig|<"Z$ԟyqUѠ:2cڜiH'f)Dr,VE1AN1:nXD*S:+ozFD;ϐ }~[:[~9Y j:855+$+IތpV3~ *!F7qH]Ӑd+\[*26o93ZXff VYl}ǝjah817Q.+zbecR#\ôb>1R"n0~ZNiЊ42L8,6)1fQ/'ik0bPE* ny&'kIWNHB8 c'+XaXdՍ=s6DeQ-17 a_UE1h!,dIؐLANy(bg$ToExhDa5eMɿs'ݘBkdžRymm`Cg,~},T 38#*Xɠm9u}mԎbWW(ĆZƊ~"r&OB<~+rA8b]:l|@$6o 6JUI UHK_ sNa)͡vG!_Vb&;2q[$4g$]~g#Q ߰WiQUkި'ci9< |[&Ѕ=w59=k*@#ʱ`mJMOy[(+3`IJxr]R1򦼹cCKJMiH.RJ}ffv\̐ž1r+tӵ:cNMs#wBGg4=Dj="w&izOtŒ.}<+]v"qPktᳶoX?.yS`3/H&],Iư} \Q.?PΌW;˹KL|8Ã:m3{<|M8+#oWS)EBys*fخ57Gݿ7tKY꿎h9b(Y([{C%60YU8,FV'G`;,f㪠> ~m,ΓCO UbBjo:s˞&@:;j\eGNmHjyGt&:X>OKt4nf ~\.{"hF!Ӯԟ]xYuOzL#l ^{剻* iE.G\*oY.Fɾz>{%?:l W(0,Rݹ2=i1ňn V8~8$*47r4 QOHaJI>omAo0`L;4<1;z*7 hY_@/m7y)ZY|.9?U#GmEc]xO ")j Ur'yr/|wX@8po"Q|ӫ"+dq>͕>Y:!Gz?Mʅp"1:Nbq?(?&[qS9ӺKClqɈ)~%r;|ѡ@uRGv,aPv/M՚F:((f"]Wk4~ɍx\wG#cwȐg-` c)ku4AR-]ZV er[y[(~4 Cnobx q%#{}p䳺uݠ8|.qC?,͌Ռ":)%xdvRk X9&3 - kլt5l9vZg8`ɗ`B쬱LF0ǡ/8. jWra GzZz(%Q!wj0؍zKfB*;HnOM-n6ˡMjN*Ru ]w]ob3K!}:t&]$(fID54r$5I&p?愛=촗=6՛^#HyEvwlZX9{Fx+c5 A}ҌȐCeWP3]kWf9<݁s=c-ߏ>*Ǻ8c7=0K Q2 ՉzңhPBhـQ%Q3ܣLigU6agj%o]QCāiYu&P *݀y\> u^4ۋVС7A⣍1,cD Ibn28Ooͩ7*Q;rqd ķx"FQz! gv k#q9ՙ[fm LS )5dwX_O7W QJ!{, &Bg] 96q*mZp]` g]}~?p3 n tUmު[H"}⟁2n*b^$s>10r$M.q~3]Yp2]ð@7[_>vOp=ΘB5O:V{b?qvQ-[" i5YfH|woN!x]Esw'%' GWhs\O.GDP /QC*h 3cU%Jmf/yuW nP ]]U"jfF9P`\8^Xx`=N6V4u7(|`bhGwJq 2Ӏ3wi:$ =j?UOBYݟo u}rOȁpCZA;!&oy8^-eH_8\ L_kb>`7q\F|>fo!“&V<}1 'ƒWk" 2MʻDH#w6s˵BĐI*- @ǂA'5`ԷF(!{ ^H尘te18b`b 5}Mǔ;Jv$cm߿ .dU>iyGB+D=:ufu&d&/flpV釽 yc%Jp }1֒ ǡ^H./eu0%{YGAeGd}ױ|MfKbNdj*Ț}(Ώ =҉' xjKGxrMqZcJ6Ǜ2 j0X@3E}?~U;MI,75߽K*=7h8 ˧vGȭFںUp*x{jjc`j|RrW}H7'<HbWD< 91Ŕ?U9ڛD4<](a1O1̀>.O&56A4yBNF/Wso>އ&3(ysf2vR(Ο}y7SM;&[ohz>}_hN`GH1EPvq4z],6Ʌ^ǣ&.3]t:4R>| oB].IY|YAIDؑSvV.훯woLb"Lݿv5-~Ո[ uq`a#-+#+^)7;;)#c_НP9X4;e9ZeI#mKC)!;CSڝ:\YF&yY'?WÙC%Ϙ=Oу964Ks8hUuj/ ;ڞ0`:l)ipJzz'fU[;ųxΉ˻}Xz&A @M;C9$y *HǛ7*ᓫLi%YP-OxbW.$!T%ˤZ  Ķi0tcN&N&jV~ǥ]ϩ.~j~E?f6Rk!ɇ]Ba7|Hf.6ҩĿd$ y0k]QC5")Z6]ߗF}Hpx/-}l =2*Z.ͥ1\9N ZNaP,pdoB93O"" Sq@ӗ(@:"x%myڍS vگVd~T(CU ^YZ Qb/SG6ݶ&ݔ&|%'={[8˕}HfN aQ/;YJ&Pt!;_ /.7uG% v<'$p(fY;ہ㩯mܳߪ ~jQ;\swNbXeв$0+%ն/ѨܕP(h VW Ė6c4$gYZ9f3bce60253d28c25a5f623e274889eaf9f05d8387d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c 404eba860968f149a641d5e6f81d321c6bfb866b 6e47ef6d4264a9c19d91474ab1618ad4752da249