SQLite format 3@  . BBh77otableisabelle_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 YY5tD ]S HOL-Nominal-Examples:threads=6elapsed=383.176cpu=1417.860gc=138.640factor=3.707zXZִF! !s]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXma [U*U3.o$(@Uj98b!q9d1|Lłb+n i8Cab )LPvɸ֚3.l\grjѴwӍU>y5G{$.dEtجjFM5좒C 68qb.!Zru-s' [FfQ(N b %,씅+..q{C~$O^yN겾Y|HyarQo}^jߺ h.;\D{:95yDMI^~Sk(ȸtRghthYrmߞ Hl⸱b⤁uKW<Usx26,J6W _ n"LmNW #zXQD&#,y-\7 8=8AGZk c%QW9AܐFj ~{'S^81Hv-Զ)`{ی{/|o}kp'r P'\`PN>JlJ&bؽfLo7I @H>KcЋ3˒- |os-^`B*n3a\%hIRz>,,z*m;BwE#b]2sqW sljxhyT\C9L3;ZF1<-4IJ (M+?'yB9J+ٌN@Ӹ^"r`qfl=@}|wCLk-)uPpATaB&p`>U4rr߰&P?~LaXT,g͂ `\/A*A^җ(x @gI,Et&64r/.N^:(O-n4+f%y< բ' )2ۊS`;?F Mv,E%e$+[SI>[ȃUvgH dC,*9iI:a[Xz]T9ÞXi-=dE۝__u'm ł|B9 %)0\Ku/!s\/d̿`Zq9A ML<^'j{grH-#g"32j"z/hY M7Ȗ/lg2[dm,%!OAC;:eJAsJX 59O _JǡV|ё|a8mʺPz^|KaVB{l=U~ J5ـrɋgpJ| *icRRbU2c=s~<(Zծkѩy]c xMZT b"LM{,_jA`Fg2%t#l3!bvϢkeQ.ך}>k̓b,NLN?͝CI%E4Lp $冗B-AtW hܭ7h_x0ҭc(%rK6z []Z}܄ږ%Jh/r۟f^lnj^蜓ד]j>n哊=l㏔=uNNMRĝq W걪5dp(9PPHl-3gg9Na,,0}I D-N_9@.F@WGTr cCd/t~ezVmVy>J6o~c -5JF{c@4Zh9 ݬTY\x.'"a'@;8$ϣx4O[R<#ϓכ$@`b=-8wqp._ uD9*Pmhe(QO;x4PdIPt(FRfmTM^Pyg~d .lHG= vs|sǀGi{`TLbtD]$=!r d5!mLc['+sVƉ\S#/"P6f 5™ðRZuES9ޝ`Q.܂6yZ:=6\'2bR]!wYkB,)A3D @Ux[- ț1:jhY )جxb(TK>QkҕU>iSWX(#˞4z ԂOyPp-e`Mci@UySX%_S5{6kJKճX<8ER<9&$4!SDbq΢AۀA "OdZ'>2En"VW>25ZR43ң1q5޲71!iGmR_ MEۼ&uFs1br7n7nZ?Y6< 6Q87rG7= 'JwShH 쓫t Lkӯ<ѧn!IJ]o ^4q,?,SFtFP]z1sxz @=$Uc9pH tM#;T8fps+d 0[DX'j%Th!lU)U;D ]WSvLrm ~9`_$i5s#c 5 HOL-Nominal-Exampleseo=ѐy+1b\X2PpS[Ӊp5"҂װ]s( 'P@Q&O|ބw`ðٳdL4ͰPe3,]c܌d h0_VeUH=zfCqڹȺe! b&HXOxW+o:{v`Pm,†m%JaR]QUNӫz8{/i A^d*dNXJP)Z{C:./$ٴ^d[ 6qRJP2W j*G;TrV׎ _:󙸃ZO1 +ta3Jܑġa`?e)1WP؂P$ 6]|~K}F+VfO- UeG'[$ {XT{3&ϒCN 0;%)-õ?42(Nɢv`6zV"åBK.u.S,6?5ʖ`vt#γ6y05N#A!f'72ɶaDT.1I0RcߨV,)diJ4z_ 25䫻M~vO|;uͦ>ᕈ(i"|'H^lR'YO ٍ.tW`5?+Лi%:J \~IVO>_aҍjK$NK>Z4wwW>*YNmj3IRlkqr))ܔE$ jB%l ] qYGn)|^ %pzm@=cI,ڝ䱠`K~gFK\lRF"ѡ8=0!{ҥ F9,-mVX_ܷ``^l*0<q_RG;GW8i$J>a 3B,IsI^A .3u ,w$b߹L1+KȟYJnzƴ9Y,VkImJQ]Í4DO}^J+]{ /:/2IFsGL_@:_g[$'Zr߭X|$H'휞\-iby(_ZΪh\g{2XPd"w4?N՛' W-kJd2#05tʊ*O!] nB&2kЯ"2zLGaC..:آ svSzgsF;j:׌# gsU?tLya`g)78kIgjDt%+o/7j3G5wF-@Iʽ0]r)O_kr2Ǝ^H]F\UFϧ5<˴.N^\y Ags l+$dK ɧjhe@Vb֩!hդ e#؄XD*q(Q9?o`PIh 1%ӲҒf$A(ѷ>,^Spb/DF ݋o'0SI o\ Z q~]h_9Z-K|2hm W#$M(CņGHY"аK!Ӵifok$V4{ASIP(lR3(\1)w3kdNNa/Eo1S2[2j\y"LQ3ڣԪqwqIa ˪=n=!Wf:%%Iyj ,]aTʱ>+ 1&;T˙b0SעXfoYz)9WL>I ضNcl D% rNq΅lQ|F(wI?4XOYnW jaсw L`oT/Y+Ȭu&unN+ax^0$iCSKP$dS)BhO"!s$rAW66&-LIeH5JhB#pN'nB1YAPWDDJA+Bƨ݈?vLO"}g3c?zJ/+b{2h)p AoOk#hs7V֞Sc`vȖl{\أJ_U:6&sv6tq&[01\DQV~)ΡJ8%Qm D4LFX;jPD?#6ş2_6[CQÉܳ Wg_}9jx)|K?.zDmطsqV +_^X >åwB%wVa fs#D2]}LZQ$:S$C+EoN"oq!:ˊ\k+N1Z޾/K~krRz2}褵6ЖO3^ 0$w^Hjey܋G}e-tl*~m8:RGdҕA8rs dtwifd~L<`pF5ch퇿]}X~Y5y|2hx -)SPv7 lݨҴiaU\-_VG(W-L'Q$rdmW)ąqC&:~ q(f c!fJ2grAR~ ȵ 4J1DFC\֣-q&~谵 P~.\槣=ir8}u{޴NP;[5*<ԮIeG-lçx  Ms*M9dvbmXqI͵ܳwH6݈K ~MaJ:LK@>2 0 T'D ˚K /n 9OoćkIH́b5>oi qpN%}!"I("=񀕔?0F0zxב9O[\5xE7toZ}I$5I fC/qm| QЀ4MN+jVU`9sͲegCWߚIDI*~Dp֭׺KPʄHGOP  Ar9֪!\.d~ׄ*Fə42X|Faj=L:ӕo E֬F `Z5#+vsR0?뜦UgV[ol|=Dgg?M6bRؠ:(wJ-dNҺ|#.NqĚcD$-:^(dyj ܿx0mӄSRUm/i_l!CR߫>- 0o&i(QVz~i&諭fvF%T_,."=`y>1 ~  ),6@xrGA`\رwb[=b({=BYJ !tB0s (.mQxr}/αWGgX*.?Pxg>A Sls}UbcIFw^gYZ7zXZִF! $X]ŗXi%6Ƨƙ81д]E@!yѣE $kO_MLIe!f.zU /Au C6b*;;h֖sl]vNGyOVc~ *dt%"kB WwFdm}E#Y׌8Y>2'4{ג̪g7`# "aKug}iUٽ]]^a~6.ð+#ˏ8"jF`Wiފy1B^tֱ X 1O .rvshx-VzCb J8&a46sL~%UA T,%ήM$ 0*ͼJA3?f . "?/Aϕ#C+D3}1r+u ȩ[f_]qOh[AnZw{;ǦgB t@Lˢ; k}UNhR3*(K[ uhi>#0\V0%2R& Ĥ\Cc[¥La#/}i4YK8ux6wrnm:*R)Gߎ HEbu˞W'qzD$4K:*mFyQN+c>#(=dIcu0KMF[#?$3r}'Vդ8b ynVf=>ϻg. .Y ?,;WM" qVJ!9ϨkaN6.=l۾$'i~_c9^.="kL07q03uL`:swiA㐺 dx0D`(\b%jB+EsD|eOE<.GC!k*lUN r<Ӑ 噙tvYa""*h{2h&R/,em-CEoɀXAj}<.V0,CM\cq%of@G uc;vudT0!3EDƜ"l5-`E)Jf4H"UE9"X(`^@th(B\N]1-{)ڋTTB!YlDe|V?A-GWpC"дNQJU%JG(VL#]g"$է.b'{ϼH!^ K̛ӑVz.46L-˧ClpN8 Y (alDR[z2.@0·,6ˆP݈YUŘ<;+6wC]RE-wFR)e[m8q3)GI5ngn`ugcwH,B~>lqG3u2 !O4šx$﹩9m'2SS}/[3kw=Lt2_ȩg&3 tTVXvnG*Bzo{N~Y. B^0ݒq|rVung3t'F̤ЃS j CkJȲNTKVO!N]6Ϫf< U8 ?nq{"1z)AgVN7c|nw}`jt/9lwe.[_ !Y$/I 8nd&|ǡ*՘eϖSՒd=9 z9۰`@'O =a./]D 0jV0MR2Dzs)sPIܨ5#V;=/tU9CS})Acy 0x#n"J5wbwIm-h EK9PGh ׂo4}YUs|D9U $ OslؑN  ~_uK61RV7 ~9O24RzoM:yr)K^H+w(c{6Gym(aI2[Rz8KEֆxaq˵ " Ɂ;ڏ= [7qlZHSĄsEb|^r'sWc C g֢5jŏ,*s1B.c3K0_ܨ<TWv&>1qm4fpGF FLPWP1'7$=9t%X魯Φ~Jmc_ؤe&di7}r8qJrZug!Fƹ#s#W *dv(`5xw.W@ ԋbD+}(jyh6UMRx]6Z4׸')=D)SKhqd8F^q VpDq*;t _bJQE22c<@'SP^P-C2Ctr'k8<Zp}f\P,6\\3Et:* )r_dkĠH/ _qk_&k{+xrqX)C{;bz= 8˾b[c8R`P9Ss%i $N8ejN;fU IA2pC?lS?UZ ۝Na)1DX;/4 ÖI# PD\2~`顟c ۚI=Qq g`#; 9g\$Z!πݾ /)NW!غdq dGwDȏ2v)^P3LLvV=9(nэGDCcEBwiy?v0@KI 7M͛dF٤XӻS1x!Fpp0s˴*t(v۩×J֍*.+6$G; j;UD+r|O1O5'q>jJM抪yYњ$pX*ݛ$,o)*[7iɰqBO-m3ޢUk艨⋰I! ^@x4v)sR" EN Zwd`-!޴_Bo]2ar=4h1Z+N', ^l+OAEou>; ѣW DozZg*]VR5w bJQӀȣ_[g[#}oY29تOE4kPˬ\q,4ņ[~]n-3 _WS%0Mя{~# wt}p-rEsB^m9cÇ`$Ҍ\Qx~L ''Lwc,ePj OK㺂7r^9&DY.l萟0`L#)8Vk_y=h;O"!{T{jD7\IΟˡ|&g10go,~#q|FܿR]/N1,|Gu?֬ԙT7'US42k(cu[<􁀤זּa(w&wP 9ߜǓ'Z2'/#@;G +ξ N鮖xa$ATkIƟ; Z< N]H- p֒AqC}E0 43 w8 +LYBFVax 9q wGwwkR!)6jpU!1a(&)>biMׄ:.kTRcSP/([:]'OBTe ֆ2*-6Le#=mOijd[M_JvPT{C802ZC-'k{1QX(nvϏB56_4=iJ)$G_ Bl&Ҩp *}C>)L—Suu',/ {86'LK- ٔJ0($H;PXl Dzb܄dRfw4 Q"D'et +^`~b\/I8a4 .0hp:ȑ #Pp(Ho+A`Axش qDI?u&/XzI_Y^TWM^ԅF7[tc5g4iͯuX~L&}hQ -0T֪~iUarKA)ԑbj6x5䱤4+h31._[^^.9E:n"jEO{Adib]&1yH :qu{ߨLv=HTo[2gQ+>ҥc(;het3g@⠡qf6ȉ}0KU-QsXS+#-nn/ ȨI,爂`$GjեG>ʁ.ڷ,hPvW QTL7m\S-FG:e/1P``_.s;.`o-SqG~T\␖&,959iΤ!ψ"I4rϰ.0Ŷ4rZA(B/ڽeRmGb1GM]֦<f ݀;ןq_^1)m ?j. >7F1}V*%MTYED,~(o b$"#+ߎ"V&ٝB&oizPԌ>uAss #! tC'j/utk_#!0oCJi< A[g@7z/ cLgez]6mov=dҟwV!ܤkߠQdNN0cs:<|͉=,1H}'F&Ԍq̀1n0z8׃SVI=yDQzVa@/R`mziFb:^U&>mTIŚ= \qUŎWPIKjr$K.P8f=^V-, Ouk(uxE}=r=%Lq7'v?@(/`FŪ~ ebe`T-Yz[.$p'Y~w`KL?*_Mlmr ݯ nZ(r VKZ8J.HjOm>QE `R[Q > ec!0'$^- GED*E.o*/al\%z\Ιɀ7>JNY ΔEa&xf6SdW[m=\C\{g:HKZ%AZwޤB$&)q+Ա 9Qd쵘ެTp!3O5)%*#A&Ջ"iT(mJfVik9?D#tSq&O=fPleֵ688o9.B?w|%&L8^ ggmh~g{D '{h*pcB 7_!mC,4"@؂#xu^475 ฟ0E$j\.LgH~^p@n, Mw/ <0Nx)%lm;v*1 A{v^bN){zy$M39]4AnעJwul Z1H(7U%QQa䥒J.@W1z_} _bi 557.?NzlG( \mBwKi=Зt \' prg&yŢG~˞t'#o<ٟ: xoU|Zc\JL]SnU"RU]WiBܨ$2)~OUS0f6iʳiJAT'%z*/FVoQQ)${M |'!Z(ozީʟ'~ĄG˨3틣z ^Y[ݐɝa;i>PMZ>\1+LRA<xLLV)"tR#ۂ9U,(j $F-6@kK"rKyr͵;ӗ4|fW!z?`nfQpuTM#:|s pi~rRqTPoau&]ujE2 T0Af,kZԗ܂ q-mhYȀ8hnt }PYደ`u/rf3P%8Ҙء>$4e@׆om%L6]i }4e^A7rvVоfځB8jTHPۈ&G ]L{מ~p Xm܎YJ}ʱ95!T uG5+,m!]Ю:չ_{‚d1,]FC\2,6RN] <%Nvgd$E +Q<,8fػ8'Zb+gX5PX]c 3- )νXc1P\`7kM2c&J$<^V"e Z6?ZqƤ*Z1WeY*Q(; %%V#V 5D^M|T]2fV^PtP _)B=-hW /q|Xasp &z#GB ?҄NDl *P.x`~ΜR;'< 3gi%/J}UK_)tdL_t;-K& ӧL< {mȬ2I!S ޸;-ۧCEҜ0Ac!oMm8Wo_TB7m~X_WrTD} D"{*y&94 nˡP >hA8<րׇH[dong?]\O*.q\7Sm6Չf an9*M,1,#N`?S 쁬Do?|̘ŝPy]3q;ɊThG 9uN`V=*cg|V BD)O4k5Buk$8^e~@Wb|K `"sgFXh`kB &[j_ ]0S_bzSlk $Esxp$}쉺F!f>˓;i~A :Nԕ+A]aG${ipilʌדsQ삊m3k^7Ԝ$5 DTDzݫŬ~%@`Jn Gfl1K_<0L/vXOocS\]. R4[b5aפM!tc(Ta,64Fr6Qc#DLQ>%LI pTxPvT3v\ܦ͆FBgw UҊMĐY:~UO0#yzȤ^q{)[To I!vkD9i`qPlhU(;hxaVȅ%"΢Zta%9Z8V V"R5P.C4@qQ]''щheWtxkW)~fk b{_E4[ ս'wd ZY%ҩTA%^2:JbH>Qe^|0H#F2$s[kXnj/0W$X`}u9X*!͉5T45hb7MAh Zu01cZ²ӿut&}@; k~<*祿NEgnX(2A74TWb׀}ǑȀN;h[,gH=50Z`+mZӣ(\bT3r6KVaf'd"پޏ͹'o5x.xqiD.ɂ 29C= 10YL'Ƈ#R M%d=rEN3?#m.3:2ܔ.DulޮWO^t;6HEbJh)?D kom q! k[;dc Z!=]M1]ZLKa"9ӏr;$RUY Jړ[lou%JSj]e.I}u!qDc "نh1{\/+'F֑rU&|QNiD+MFP sc4kLs?m()?p$MJ` bT-d:[T9%kqM„ANOLc UvHq8G-_Xj;-g.H׭h2 CkuNJ4~7GOA"bI& Q/!M.Ɏ6Z{Ҫΐ "w}GU}7FKn$.SoHdE|zKvB})w2tIk|dx(0߇)"~4C*kU|#p`Jn@ cC?6:VRQJ?kyV9΃f0)7ūJ#:Y6#v18$#*A: }{=Zk{[&\m5#iէ EzVXUn[LRU05ݦs}w(ՂPC`xҁדcji_CLg5)[aj gae\7;ObgMtǖi 'IZ9eR= ruDtI/rjQbbY9c7>Cb!KSx )Um;,Hd{,㰭ɦ!!x`ǭW׳a+GezǐᚿSkq%Dy)m 9 /ȘDTZWs [brg>TAsuaG>=0QIux$MR:_G>du,2bVFXCdo'pڋ`U ZCDy^n @^mL#Kp[OkQ(|^p.߇ Ȟn.3 ˴x(_6JՊk~L.D0(u6t@Hjo\Ʒ e?(Uj (A$(z_}/lHAZF/&/$@{Ӿ-iOϸ$"''p$_hPUX F:\r)[ܮ0?$0Kb 2cZH%9> "Ь͠c n6 os ,4~RԵ:kӚNw5{#OL_ WRFI|Sta^ٌdD{;i62^o3pN@iKiMbu dIɲ.Z)Xbr?xܨkb65?5-ӸdOdE!xQ:~.*u* Qbјe#4._cf"[t#QeI㩙I7uڑelT-0-%[?$FQjrw#~n8omaݧ[S ^g 7Yy͊'J j ^͢7@l㡋V»lYɂ@ Fm˰˾-[BK݃24/L9y8~ ذ/OTJ7(t"A)?*a1T1!m}tk>fniM -v ==zvY_Q{&}<;g(aS)j2\Icgf}#e>i1e^Ж Q9x ɩOrdgE܁" IpD^[Eݰ|jrm OM{$r4zmH8Dciwj8e9bL*.r$d+N {wX"^ayO(=Kd)#˺4pe9\?ztoCZJި|7ܢm\SmF׊oK$1x {4hpB)X^Kt)-QsHJuQt79gl* N/QJ=>2,.g!0+n),'HrZМbU^0T?K|Hr[?~M"9Ш Gʞz M9{ץnjg0oL'f~ 1-+HSV5U}w";E φ1? MiAl{[^VHiuбFմ<(EAe1#FJ瀰9\ƚTF8D,]s]BsPױSL/@<:jFίB42ԼS6N#: @Q20G(MڲHwe}U}/[_6EB9҆:caFϛn> >Us aO?k>oBVfD_A.ևc2 G Ʉ ޗ[^3<.]yDMfU׮B  Mq<}n<Vع7cEG:OER[]etͮ+ODIvt]Oc4؟hB+mn~ch !cKVd0pXȩePNrvSRU[2z3sҳ1raq, \K[Z{3s8bB.1<̹b "eEvsMdUZ wFIp/%@Qj1:㞥iHPcy`E֓;3.5`V>`ɡmG nHI0# [m%og)6F.yZır|R;f0PgFe*a߉u^ڊ$k]z2O欠;0VGL1K#şՄ-;Ӈx~9bRҷCͭ~ 1W'F/YF6 ޫtB$@B\P1NX]igpx^lXGp HJ8vgDYhI/AKzR@eVieOLɴȎBd6AR0z0F^ \EȋFUX4" bߏbo\Lc-: iE; xA/{C{Wt@M0 {&f*3-R9zM)$We͋.iUEw+9MޡgtɀT*jڙɿ I3Mo p 0C/c2X;5 XƮ9Y653td Ρy§=l!c\3؁PTUA?Zȴۺ T/ePxgXeSQ@%̭āz %bO5QT9z?>Xb`1"fQ%31\V.]oM1`>U|W**7 :Hנ !:Vn?0uAgHynS0Dhk9V^{/&7[H$WrgH|oZ[+~wc:pkO7,y"s}.n#llucd33iQaOkPIФv(V?JW"rjeq EpdDٓrx!a,e]JYeɱVq}P60&okwrFXqLN+ e\x#y-ͨ>mP"^Y`CT0 l^3[{{3jv׏/ޭhaN4LP.$] 2H qrlW 0+5*z(KX=\h0Kýk 5引GWzL 3/SǼ:ذT ~ע;$GJB"$r_%۞6EJ ^=16rv앸7Px*?'qR-uy b},~a&C-gHS#sL!2LRg(€ H_^?lVhOkۆ{ ;YZF ^)L`:=gՅo={yFE$þ^aWwCyi"ŭ>v5mfݫ3]˂sɂdTߑK%d%AEQ_×r_dJG +iU-q,}C[y_tnnzsUPhX6l>|w08;2W0:V!mR:SBC-Ha%EU$4m^$q9 k*7vtsM0qm5+= q-j*e8En\s/pxG9)mNIۺliEa.&_Ehah !;/Q04  4Mݞ q"s/v|\lHdC^3eA iFS nIz<τ;&ZӈHqXܮv٣P׻E, I!F6GDǵ"aQ]Ii3e2T /^Q)΢1w9Bb`daL%f QNK #6Uз`+.Ѵ9g$." {@ k@?Ur"`b,jR+?*LkހFR l oJ[U,z-i= nv:FG8hYaTB zČrԣg:|&e4Grq"'7!)A/DV&fb0ZVpNž.3`%E(XWkPЏ+zTi^^&}glBw2H=WWCiña5ӑBQxR-k2*eHJE2VGU~qN:}]`X-Բy~]*=2c)+ZT2x{)#Sg8 ,K>^& 1Q9@M$T}UږΘlʖ}S5ByJmxGߵBI_s,"sf]xtyq@)=FRS|J(Ť<>?<+R:r$C^sI#ǩBwWP]HWW2Y%!}0qj,$6zghur~: 7no:̿~qby7N#Xe';+@;+byE=F08c٭_8/~: 3;qwOknz4N0>DdԷ L~"<l# ~SOO%ȻM0yNرh݁<53>! ˵HOaN8!M ymϱ<7t"$R'CWj FUW1 j˓IbKQ?D [Az kV9|y-H;'ƑEqiXFAD&MϮL3_EVHyݗͺK=/jqs#S۹߼He/ 7 N |d>TJ9( QnqLo2qE#m^6;vwͱ)}įYtBIF% ]G}Gvt }QhjG\F>|9E1pXn<سԠiK`ŏH~vVW}j9j7f#>;E/LSu4 Pu(28I+` Rߨo1Ghӽ ̖;nUek({I8pjX1 elD<=ʠ37xq>}ȊpE+b]=&_23>sq`t;&X P8q TΘڍ-y|/7 #Aq&J*hkL 9^Y:ݩZp+gF\Pf{|3 ܱiʰcA<7+qȧ1OFnfW6r  V'lqrMыYE[$BZ^{ f<k2oP8)b5C٧N*Y%"o|_,&\WK6B}\4!tbc(uEjrH[6 \.k-`' 7{.kYQ#N?7wgls,ԌR؎G}Lb{xmA*1NئXog@pa (YZtC 򄾐 fPm}yy_?,/j-@Z1X|f-&U [m=eYcE/%mD)'9DqOɴS:_q;JL|o&&QuѸl89u/P upJs>Ъ{7+EKc+r3GV7 ɛhƵ%hW2k%bl)ՐM"\E|L3Ŀ5~l-\1*W,2ˈJk%p`ԓ\ !qmd<}A.>EH`x/Ox^uA ˇʂĈvCJtf0zg!{_ E*gZZgpCgٶ4\<[ƂDe~.2k^b[oi; )o𝼥V_9;9/n8_-9^?3T! 3 QJQ8Qhfte+X=H_e1^W!nꮚi=d w;-m[1A.56)J˭ 371InNWC^ʡ&&ydw](Cj#(dhwy@܀e4<31\ >vGڲy~@\Z$~,Af;M at@V_tn vghK OJB=Aq"vW*oوӬL,CaFHc[Z#j4:#)n+8 `38j]>]&5A֗Q0> /Pe 9kBqzKd. ̪\V+g2<')VPʦq8\'՛2@opq d WU OTTj +ﯳIMpuxbnp:׺{ihjkH77 )]MQЧsBۃt[Rkqڂ8V& hK0,ӠP'ѳ|d!F"IMfl܅׬o}XEZހᅡ*K OWf7A -g~WFGPpؗI-rU9ׁr>Z!Yv;I8s )a F{KLIpn:q'0&#i@jϵp@\.ԙ"=r(F#2B9Fl.XAzT %πn^.@ߒÔ\%|HLaéPl8:3r6Q'lO b*iv-B~ N]<p"EX>SGD/*5*R ˠ'KPɈ}cҹ7O'';{7M~";-"3R/bH2B ~xQ:{pJ^^ fOd/Zu̡ΆGӌ2=ZGJ$e{jz&[t~SݟC$2Q[11V4Vn*6u=DCP’2[0@I-BEZc5$Ia1 c:XpT(NfձX/\*voZT6/6Tn ,}h|'iP+zV2~ HyO)Hcr2~W tۼ\%^K,|egR0GhB;;O|l=П8G#Y? >[ > A8'嚑ukY8RͭEw6o'F>@5`3r1 D ݴ)ʐj6t­IK 4+hoFY߭M9Jqt3vSʳ+5:rP J4 p݁8 (lxp:'~!pG@ /la5kacֳ_ Qo9Pf8ϑ˥ò h̯ IZ!-]2&C/Cxwm; } 1dAWI)G8XB6Q/@v&@;W/ /$gYZa7c0c3c6f0198f847f6ee44137e215f27162e90b0f50a8fd984ed9a922d06f59b224a37ab44e72f2 fd8ab938506a6adef84d05e82b2423fed153db7b c628637a3499d28ce3d263cb68d7f9d43c04ca92 b9d72ca1daedf6b90f7fdb11a5d32e0a3b648cf7