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 ||d=Ld ] HOL-Quickcheck_Benchmark:threads=6elapsed=281.983cpu=1340.132gc=61.276factor=4.757zXZִF! ]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*LV(2N2/"͗:(aa舑^v۔)^sɫ[) ISىgK)TNka$=@^*D, Ɉ3JC[xy>/u*|قJ~_2|cB= Z8?g,`]]V0h;1HPL^xj7R+@ ҋ}a^4CX&U:V9*T[c| u{>~hXH:PULRn8|K-ߋ1EdYq5BDu鯣5FPJTKX#SRՈ%břA--Tj&:5$ɒ|Ձ5ãƊJݜvju0t.\o&7u LUܔ:鐊ׁFux4p7#&z+^2#K\'gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή黻Ac>W1xO`\?̍+|I L~7.DBt38֑wo/F1`=+]ݚt ImS}E v PBy]5;ˆ5t V9gYZ7zXZִF! d]ŗXi%J ܽō;)G7 ŊM$ģ] w0(`iKsbFkAW'8h#[FxZxS\9zA8)!ÂڧY%UŨͺMCvwm(D"Z%{O>w ‘e 6^n1WZ ⱟpښ  S0r.Y&vΠ}11%K77 od([Ȉw/"𙀭Xby?Wڟۉj`B9K"`ܥGǯ̼ DGH\xB.dOч=EH3?ITBALJUhP}u (U]S،#GK 8q}viGS ,D[{aYYzǜHH8>}(}2~Ha[=1>.Dޏ5- NU!l,G{,ِ@M@ dO`s Ug A6(l?9S'=:gix{p]zAnJ5ID$g} ]^1z$Q㱂O)DB9}casJEuAlZ~ʢ?De<(P[,#҆ Ix%X"Q;qER6NÕNI,[`2\PSprF5gjSU?sE*L@P9mdChbiw檪ޘalMJNyzhSRzN E[0͓Zuu!c9XZ(_e/k,M_;k, ]?(<]+_{ ۄ 3ߌdOŊ~'}ؑh!ov3?x"`v GFOjPǘTn.}4-ƈ?Vܥu"OhbàLm%`PSRċLx}g`mhN>]nvTw蹮}~5k< 'd?FqD:ӚQٚbo8Fwd/k;k=Cvg# }rsvn*ψr Re I@ҺFgnk|]n ay)M4 lfͨu h7v6U 5|%q0Gtڇ /hrHԪ4/p8o_0Uaj2 I_sO5ݮ#o>^ ף ^2 愲#6OJm4biH)1XZ3 0!*~O╼ujZ^ʑqWI>cмt<𛰘Lfag9P&u{ڈ;1e}UiMr8Q ޭ_WʟV1h|%I Pn ȿDpQP-LAH<\,iG[ڄ.1؈ bBkS4/Ę'1-$X~Q&zN1͆m0m]/ 1 ouqiYh}g1לtqM'h:GjpJjH y-0Y+~7%Ve^#OF(5'y(TX۟Ndb0CwHS~~,1;N %@Pו{Q2Dʳƴ(#BZCyZӧki~pz@8V :ߞR ;nɑgVn&WCT~ q0JӶ0Xo+$ݧ"!)kE.Ij` c\Y|:c:I(7@&W|֜^ x/ru/kP! °Ʃ6-,Q*7R~$9$<L&QOV(M_K䤖IqBS3ⷁNjĻ v`^ b8-hX|JL .cjýj8?^78U׶&ʘrߖXּVN?+9bc@}HC!}zG}* k\5Z.;>etMn%iqtQ+5wh!G%5jΙ]>%Ͼ6 8´kT}I\n3lAυI>toWDĂ%ZC|/J8uZ<Nln]P8Hrkf\ g¦ Q~t@ 6g#l_KЌ:-+I)@&7lamzzWnȻ+ 4 m+sY=$|B=:P;,82g>j|y㥅CKXWX~ʭދ`4vӬ1cQ$])ʙpv$Fp?=eӖ%_OXMW$`!Ih)d9l0(CX,O~N lbiYCTk.UͰu!h|[;up8-cζOsS@i0)d+*E[`5.ܑt-lX&M"""ZAxN_8dEG 0.sڣ|?=]ݖxL0d6536iGVfw1%TnHbJ%DA"ŨБoGh3]@kӌX \z6:a yȀP}fY@@*P>vGsQg0é="zFjg+()Z|9k>3k[Z7Xr`O*s_lu^ɽ;E^ZMNH)@|+G#׳c?YP5j{KW6 hc x<'dtEժǿ`afZ8@p+SÒ==r3]h$6Di8"3Xέ>9)#ԇh%la;!]x@R _/M'Lƒsw#F*xxs930;ȕ$˥aU0Dr慒wGI/>c 'OM*ঐQOJmji~q5jý ;:kyX 2[Ռgjh{hp+eeƭY{mnZ0Y`v4WwgR)Y vJ(M<ݱWuPf<׈'2qOWeL#2I%bM4rB/a|QN P:W-Bmgh)̼3mz<`^l1~ay~nsKNs%7.f򥥚|t vw lpӁ'Zːt؍Np25j}P9m򔷳|nC*v/LƐxhD5W:<_X:HRxA3Y n\Ӫ(-ߺ~uNݫ9c ˫cktzbZMsetXf㻇侀uq%!Ϝ7g_'0IBgv^xҡ}&y^2.%*J4l@(7Ewk-m*K&zCk$dZpմx+6/0Lb=S_"+C {" ӱ%f8 b>|KRbpwֽ=#+h ^ b;f= ]:t" iWZUH~uS2iWvvCpCa[|\N/Q>}2-:B"+UqpxwOnFCrſ#66RM19A-Y ក6ѝB5׆v%lbW#<~TGa,\@]6ŻhY8_>e$$JjW`C}K,!?""`x60>d9&N[ʗHp&c\Giٳe0ȫepb(;/SU!0 |%N3+%id9FÜD t؆dv"X erͧx;cmxNElt=lSoDXp},hU֖aFkbll(u%7XQG D;:8]6\ Dh`4!ݢ$u;ε\ړt,{Yw)b $SHv_bx+6i52Fo׌=חՎSb J3iω9dbg?L}][N5>7NRFQ_ĜleKNz^'OewA4cK_uIՂ_FΥ.dzX5Ҏ6|Wubh0Un[ RUIF=7dBL )V<4聊%\SoAյ >tvrz2 jXZgT:>z5"8iN@JUŘb4Am?FNNq]+5qˑ8GI]7~ҋ^QONokf}^X5vHBݔ ~CAEfg=<,0FdF*'yqzK0]\Hc ԿR'XPak Z>^#AM0xJ=?^BI\t|8uxA2y6;@)sr=+3EicӈlD"@_ED?}2⤛P)2E?a$ e @ͷG{ͫn9>֣o)v&vp{_<)rnc[ tDGIG .a0a )}a>8I[;j+=Xeӡ5q"a^O3@O=uU >*ZY+qFv;R/.6%7.Uˏv o6=Mjo8m}}5ON9qwi$2)1O#0=0}5a9|OvlhB*h`6Ѐr `/xWB<\(r1e<!6\Mrc u7p"6IxUh=P尭;y!ߣkHP_11qԭx4;}{Aƪ;\yʣv$AMCU] WlًQ—oA't/ SJ2J@×mָ=[G*ej&R)4Fd@iL-LIsSr|d“hEgd/Of8>>2wk1t}5RLthu`u3_5# =W.8 mЀwv¡Y6)a<|,LEb]NC^͠kO 'ZAU&@JuM[O7xc}u kK<~8Ynci iܭ=yU޼u#E\uMAU.7ڗb( =癆,@6ODikVY"٠YT:^!I@E3os%H 0ŚaL1|^E_L~1hC M%i֬O^cތ/rj>MB`rM"PgPI,ھ>y,DԸjNYDճkco'}T'Ї*BjČ @ . c[H K+ZR'>mC# d*DŰV:͠ M y!}Co(}"s31CO[N |NbnAG\OCgAJ]ZרKYS̖kbWSmo:QOޗRwlM e{Cc^Zmw,Of,:-\"_:OWyF!V %g8)L?@~fDi*7(ym"M4ޗ7GXٿ5inYxR|Q\DkeR &Pf$Zg_xA|HZk.L]BYtFD{7YkD/`b4VV3MufsjlJ)} ]իSYs"êI5^|=@ b-wN^Z'[dalr8y N;FkR2POXZuyFaken$]3= Fateְ)7w33HI#ȴ|͢mwfrD8BpR^}5O$}{:k ]qJ`7!L tظI ƍ8b-h`MS$?ũt3?Nw|n4X,Ң]wPSO E;Gv/o]5_&|2@]"A#?yQ@:< 4W)7&Yv]y.YܦFt)dqW \_rZ(Xеٹsxz[eQ -sXTa*'{daOGQ.El&E oyOT֡ݬZ V:oH /L#mz\7L+K fY^[z@v˒~c^+"n:RW8[@M|&)=Űɑ)$0nuHbu{t*/aB-X)?et$bcMM,W1C_YTN:;8 ětjt=܄Hhk؊bbzD`^/,C4>4` %;8lx&XCf٠Yk {.X7Ƽw]Hz'D+X 3(+qBXD! rE2 7 ח3#W06ƟxT,xwyp3,Ԡ,N*c/+N^o$B^= tq'ΉoN~DP,75$SZjO u9Z݂j m9A$k7#,y~Y[T;m,PDM:jqj"x˳Pk^OjEb#ȇPn-r𦛠l'n1ypOeA~p+˩RM'^0z=ZXE+naw9'K#@art=MeuZՍ ߻pXJ}BvƫSZ{bq%L wxƄHW`Y4heء5塔1ZHJ+;ɫ>~"qfo=&Y )B44#'uM P|Cb7_}cLӀ2@.\O zaXBƜͨ֊)Ƚ IM:}C_YLUh=^"!B+݌ i,<*ڷ$3[sɨ5<6^+}LFDޢ0Ҷ=UCWﯬ8t"zĮ"kmJ1h^:g2U{kɹ۬W#Cԉ?$- 4r 3W ' ֬UzvU <#h vvRT؇ #GO_[ğTPlwAR*d:)] E.eꏟn`F ّ°I!`NxɿlC|}3_Xխ|V~n9RN0⑒!~;릉CkAU NhTn*+1\[XlU&u>s*tAio#c  XK3[>2dX-pQ_@`yp:kԤ/nS+̼Tܐ|̬by!.bN7ZWm^ZX>TvI!P=;!D9iu':[ qUgM}=Rª%-i^+B& E۳ "$Ebd41M d4</ X'j{󂄻Vvۏ-5.hCT'ˊ胉7MZ49:VPzlU* } eV6}.!%bU&.q+̚ ^09$uJ0zxڝp;E)|%"ܒSy0뽼ӢeC?NٝJ*}~Z~'f!VGxd'WTۖ`)ўUvcOtREUW7+'/.q{B^Ü8}#V蕹xȢc)Tl|j`!w>xKE󓈍=(dFV^R! 6%~&{~kl|95 Xֿ 8:o8v6[[W_RG/{0QC LY<'͞ ,ݾyl޽dDRJL&[dWwނh8En&[/BwU &w# {Op #γ~ U*>ٖ!xc`B`PТZh&ǧY(?:kn-I7XgfBsxU>`卙'Խ7T.1z\oөxpV(ӞmzqwwxW ,$ޑksE5 Ss;||а$ħjC.AgҦo !{R&>ԽҎ=nM9)}H:[͑#_oLMWU3w`Sr=6֘nP}_LT0(HO{̧9r>y'Ml*oǴQ^.D񉟺pNjMesŚ ]_>;e`]k [=>t2{woWFIOt l|EBw6{Ց\r lTU\4;B^D5= +|Kߧ[E-+Cb0TA.p)@2,CN|}Ŵe2JyWnp/ [6y&t/Rg>}*VU";z'_o Bjfp7/Pٚ˧;+~b"ARpPC-)cyIU9kr|ס'vsdgMZA8ܰK)Lv߷dP)K<}L~DDpT@vG`#BXN[ž^(4vԴQR8c<^+] >[Xr6EdHw;,%G[N&.r*^Rbpk3Զ3LѫOG^*@i!;ݜ"Jh i<} NiאOxσM԰?vSlfz?sV~`<+',7_uޛw0P.P]Ƽ4 weԇc P_䱯o;d<ȍȎ?Bsw? DH\U\(dm!Q 3ԛsHgڍ %YfIW>E-H֨o3FkBJ=GXIJaVC̶kjT.~ۈ—xey;@= F8(7P09hQ˟5('SdZʖ,hxw7oo>b[LͶ,)hr懲/3Jf/6"W?$y$o? * ]hm֕XFs<ܐANJ<&J} e#) Ib8§ I/7zO=,LGr6ݮ fN5C}<}% ;㧊ǹbR\O>WA՞ٽ(C*bR#xe9Khm(^N*!c :8:Z߂ )JjX,Ug`&՝Y(PRI3Kۏ gFEw.:vQ5[ j3 OgTv!po Ui;x`?NwzPH~ vs׀rt ~9fo&gSZCaR2)3f/\FiP^p}*E[vOY^$Xd7M1}?޻+17Y.|2<=mlOM20B@i sFAJN궶բV:4?vS!0P)V~*&7GZH<Fd8{o cg 8UhR 1eRZ!5Gٷ9 ,2_G$vG>1Ax 絴xDZ\=/O\#\*2OhzBFI5 >vC9~+ V^ Z1U+2f_ 77Q*v6]ZK1:(]Q8d rQMݺ"H8"aL&,!0 WD̥K~j ^.-JymrG<_q /B$2J [s8ZzZ,lhQd!$O') fKd楮Cܹi^ZVB!$*,e@UaL3528H_sl3M|\qjB85G*B Grrd|V~~iκZIBr. ڢ!eQӃ-Z,ZG-QO%O۹aM5þ`WFgc6;49\kyV+R*i2iGU,Oɏ^DA};J@4;rIIl@Sr.TN2BGWu uc"w`Rߘd ϛOgSf x@V-bB2dcd 0@ipKJi=DHg,w(,e]fzϭtގLAYw+%@zz~K $kZJi2Wd˔=WW'6T{YJ|{eJByoL&-?+ؒF7kX`]uEm\xK52{ч-]bp!3ʧ-_O=rWyUn+q +/KRk%Y7([d7jӄ DXb$B5lU Dk<띩K_#IED=W~apL|DclDz(/$?#$H]۝jy7hNǻ;kR 1`JǮ*# 6,6A*R7&<ι1f󌉴9`Fv 'ɡ?7Rbsq]B>D\ e' g/A&;y"Ww?'9X(Ar=tge<.]'oV5Zv1DKUyOmT m<~!}ɡpyG <zOuAA${[SFb0|qe꺵5{m6_?4f$bX>"oڐsP4eFjyi!w-+Z-q58E&61h`Y%&*Ύ Q=alP63l2;P.WW_CzX+Ld} Z`V/gWq#g#gzPsSw$o'*yZpgBZX1~2c_A&.R1az;F|/kM? 9~_NzWFۼM+vsdjxB8ߺ ED+= ]FdQ>(b%{Rqky DdQ`a9][T5UCt go3٠L=0Omnd>/D20/vV(Da<$ywv@ڥ$%~0$ns3 ZZ ɣFWgUs[PpN3}:`=2w wtȠ-m]Zp4_6:άm61^ nE}&$1tS`ͥ8'@>U\.ϕẅ́- d+a*q긐}y_XշybyusHƀATA(jm .zc>T?mKcs]K21hfJ{NG9Ւ_}]gqNL 3i}z*8:qPj87 >jXRIeI0_*֥x*Og/߈WBsN8h+EtXDS)3`K 坟 vC ':Ka!IE({{eUϔ2\aB~GØ$A䘱JITYqUŬn8/oEnWLu"'q7d@9yD>1 ,6lH#i6F-; !LgW0OYzVXc6K=mofn}!1.&DMdS4NtRiPrUBG׼ s8fgnX5 *??9 y:Ep>&7y­Wk eO$:%G*> }]w,G Zf:k.F!LP؅wod/Ŋ5 )/y4`x_Kb9?'D$fI[=^&ʲɵc"@f*4Ņy]jMB`UrQRMkQی83"OUveE(d8[s”*zԙ Cy$7.Ո'3@z3t"s1Fz֮m2r)iV9n?4rb{uwdY`0փf\#BQ_}yҐ¸] `k?P1jk?h|d [)9p[T /%surW*6;|>K Z3UNţ*|'TMc0yh?cͼ8hcgFp8€uΖ1 V뺑T˫}?=gBVom&*Ȧ)OK1ef7 CK2©cZ6 "\We ].~qpE<^m|õ5!=8FwBPXd=Hj*4:sf4hENov?IJKL":Ŵ2 §a*K{Z6M, SxS[e/:B,U, T7K{`.l?##YnWPp3yHj jh[z&TWAr;t7苝Ari},ktG?6ze sU2 >.vɄʭ"\mfCxCi?Es|P ]HA*s|VOm&^eE/x A)/~THZ?2H!"(g$N23(E \w3M>+1S悅b>xIͫ)p6ovoFn<7_g.$ޤʟ^b+].f`Aԅ`\%. {.[!]1v GC>T=IlqPLx[SWhtNؘ$DiB ~6OسB AE%=G8{I;z:Թt8-?3F,<0ӂ*B N FND 8)UxӚdZ:e Œz|Sb |*N9؁F&qϫ0xe"|kk˱/Wt /R`=7Y.C&%ߑu w8K-U !+{//4 flu\EƧV'bCp?W CE$C*v쾕#;zb!7(re)Szp`WU"{Z|6{.hLLVvfH˃J0d.ޥ<9b9{e AB*\KgXÜ8^:v% +:t+mAN(ȸl1AI\eiۛԋ\{EpMƣ u :Bڛ%CYt*sr}bWvy(P95/2>MUle(͍Z{{w%~h?gVX]Jf87'Ztu檣*  pqQ_H{,g{}CK60|z#hrpi[ti}D9JsUN!4@kod$-L2A5sGQ֦C> E<>5_$6!9&PJ3\ ANR|j)լ"nDE{EI^Z$~8Msb3r)_`K -NsvUM^?6`^ N (U`{Fni-r7.pWgiz&g܅ݫ< nQ}ײ>a͂;'͓I(/GTZ_|-[uមFsFLbfU֊By+R<5|A@6a2PN>F: 2|TnN + Ѥ/HQq)cR=_T,Į딕;J q 8O;[$^RQ&ކi ɞؖt-A')r/&B,SMQrjN2X҂o4=`W7fʙD"41ǵ %uh&=3iQq\  xg?:2WFPy%˾J?Ȧ j.9~{mmU͈J1w@R%@B ^R_QNl*q!fѐFJ[9}f7b]SaAOi޷p*geGEF?*iU~BR% >M}| Zbu{VΜ6sln,J6S#=B/"F-ū# `G 'h?D)`CM֙{Hua"ܕ>EZvxlS])m1PLoL9\H _(MbH>t?i9OO(9Ai&ܵsL0rC*?o@VRczGLg^,,ٽ]eX=/dyνBG)RHQpt\'b^=sX$[͗4~0Ju P 6:"0o7+&y<4fmNJlkH~6QkPeadU#ćv2O4#241,;JD5?YfdyBѐ44fۺ2=椑b:R 3gNKy5 tܿXmFe^RHAw*2DŽlЇ&] @# ҩ0)14>\ح,D#k2m(aq<@z PJʺ~UnSѵ~W߫)Jפ .1ӆLjMބA]r">ќw9Ĵ mNoEU@l`n,MVE9yEQ)tZ"y2(v6y y;ZǕlN}osQC_ V(>Ro[P(QUpp4 /!zlTqFѦ$, ElP1"5ףp~jWL!y*{\EB!/"jzed\` Mc'@$̴̼DSg 2T(`$>DfFǞ| ;/o!Nri?-g㝂EO4Kw7AAXNAt)3V^v3o!=d# Ҵo]/Ɍ+˕Ӕ#cz<7o`"gqm(3P ` ʕ倻1Yrcjs} jՅiNX'H;V!U%0c@Cڮ"?,B-~dVlUx%v0]_8IR]TJ1G(8:gg6l"z4 FD ofB|KK_Zb_xB1hó Q{ZwsD&\E5F>lIa󰳋%?4(eI.̄Μ[=H9%/L(mm[S@ؾ&-[98hCX!F0Ua*7}:f p/vQ~]ip}vVz"jDz?3~\MoLy#JUVΈy?r̃CTba9 wrepįy H 3I0m\Fbj# _HU +uG9|9c@dDw" 束R -L.:"v4Rc*]I$XF$}Z`pxjAѩNz?[pʖ!$&yfHSJx9Q\j5 #Qx_hcݜ|ͽEQdBV^JE{'8=}$tnb@߳8Nċe0'VenM!B a,?wc+$j:= g`y.;L!|y8͋'6=yN:, ,bڳD=.?5>]0NZur' `ʗ"q\r¾#+4T5s?ZQ}W}RG*aG|ro%>&)A3 1n`8B"rz/5}Jq( NF̎{BA5tZyEc(/%x]&n>1K4YU$q|yڄ FLncWa=rv[ɒǨg`W8&*K /2~o#oPX5uaj`.,MŌU<@;x 鈥y1LLxPZ>i>Ir'iB(#W,Wk9)¦?'qBm&rK}e6qч|JzG F~o0=1,1{s9HҮb qh} <@:V^d3]i+ɲ /n0zA.=72|1kjUkd55*A}G~4 xYiA+%N `=RJpI\rO)BԊQ`+hrl98ig|X S;f @,FqQH8x<a731j}9ՠ͂؃oX`rTҀLTOg8| g3m蘚[ nK.)6F".UOOVJ2d X Φ9%)?E/ptSb<}Z eRt<w`_%P3⼼y4]n΂h@vg‘~6q…=b?UMy6ݠʽc~ԣa{*fgcakM;g,X;ErosY Mv*KI7tY}K`;s*ZG ٖ@ɽ52B=N4ʃ*x֠=[PuNW4/ewyF;c\an8fӬ`*_cĮ)rY8` +E]$Ot#c!< 0(üq,s4ç(gZb1z#Mߦݗ|'  rf*J]g@4MrPdkqMZ},  $[(p6-mƚVOma s/v^szT뗁gF>~AIrLa=8&A0"S0|6xGvHiS@-o%Zx,3\v[qBn[*fR"k l}jEg.u:k -~f́~:.?TAΞ*5oޣnE|lAHͧh6ڏ*Ғ>[9ojgঽJPPY͇HZ ՚b:%J%qdpPTjqdգ>aGu}d*e{OO4.SmZjWﯻr%R.͇AGײ "픦lY;ﵮ(ĖdљF+l53.d!-${܃Sdg^^ AFܐǦ] m0kWL`> {h@.3fۀyx_XقRH0Q a3{!y#@WxCn Vءܒ+@溒bg+;t]$̯L'TؐMXT;?9mvثnN 5zQ3[BǞ\iyNYR2y9Ҡ%'ml .kp/Ls6Uc)m[?}8(PlqfQ X|8MҾ" +L^](5t4(l.>G=lyFmP:kiEOVbT^My!k3@@_@._4]k[=xn51d#O^0q|/ٴP MISwt&ĶϓLN2!.Gribx›<5YH-Y?a~8FJaꇞVɻ} E&v1ʫYljUgz

Lv/дo΀f[b8e-e)nR7 !s0v8ua=jڦ 5jG'6/lwr K.31r5K׹L=*@xop2GE{F,Qn~0s@,>(mBW{ 5 zݥɛտj6|ۘwKz_1 l%rVޜKn\$:EM0xPNҐ}R&خ # 4w2`n3J:JLRg5]$186Lj>9cB,Rk<0o\Cx9—vT\xuPOѝnF1TO*̝ZfgAY/*e?nId:!qd, vx\ILSٽ -!PIy7U}C{ב%!MIYq/eLIH"ďawT̵vJK9<@`9P gm AExT x\4{;zhn'ov)۝p!qS8j bt7ڪjP%Lm[Sϖmqa.1ncQ~O@;Q>Cд,] #dC`k>25tLEUR& ðk3jyM(P 0rzZ& Y)QX 4_n2&8NWPw S|#M3bݏ7 {ӄ-nr>=[U9Y958"cLJ=7~.1"XLR^u<h I%ۤj25;)3K -J[`i0u8NEf#+l,\2@`kHz |<]~Q?;w7 ~X&=bٷ7,Bzo_'xhe{`ps(,rRb݇Z:%&{^AR/mǘCN1`5hOU2мQͦxV j7->*'e`Y1?(ȡf~K33ܼ?DKRfǟ:ĨHC(v>Y