SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 {{a5T ]S HOL-Nominal-Examples:threads=6elapsed=382.655cpu=1408.916gc=137.940factor=3.687zXZִF! !]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=h6 %J,$"K V\Ux>z&Cf ՖW&sD¶A1J@ X{(gxxRsQ980X<\ ?#sW%5IBr j_ >|Իm_OSV4)wD2GE SɘÒIR%q!vA?;2-[d \)Ct{(pw! y=2 \_TLôRjA?%R>M 1U[WJTonUTQ bcR gIR /+]؝ $-pw9kwg7Xx /Fg:"^[d ס덨ȟohkLxp4=,Cߔ&Ց&9#]{n[.= Q[2mFGwFSKW699)G$CTԈ+5>kW. 8x뷄h'_8Kсl4h"cޖ# ezVtFY>+{ULCe˾' g{5,+7%͞-A働/X l4I5)ubPE)#].nBfb$xZxˁ±̶9J˹jq1YTngeFbt#h&Ey~AckM\J+I,b$% l/+[-%sSYL #5S3@NZꑨr~ 8S["_ ްճkH6IзGԤ"%j:qQF dR&$ZQ4LDD[d'!7o)r.- %# gˁkWUә?ޭO"7}1!kdm<hapl5$ݞ!=v}_KfU H`o&7b쪸(p_:e%߻QHD[Jp-bY*Y`v)_W\-J8Ek\@;}C_D 3VzRRL3\ NEŠ$3;IG XϨTb-"]Aĥ2`K0%9pe Eh_z~d v&/̗JۅV@l`NA8M)a.' ^ RB RɩJOjK+Q Or/ǚ}]qTwg&qbpZ 6dlqrP\T} *J9{vPQJkbu Qz'KkZQNs .psB|lKR l#V3bMYNb4Cd\ -DKW bc6%O1.ӋsKp!FhZUg'' y|0asoS5ic|M+WݡzA(ێW}Dj76>¯a5#")`G1Ȑmu0)Цd[c:j[6Wħ]u8dk5SWi 꽋,F E.IX)LV݃eŇ 5 HOL-Nominal-Examples{sY6 mk׼Nuh;Bσ=BT;]- ;ggy&˽"%dcJ, |jP8 Rihid@jen Tafa6i*+f4L1}" q38@30Šl{5m}[q]F.ۜ'U\J{Y KzMeOm]: 1 c :GဪebgӋU䜓},2X+&@(A£Bw =~T'=ho"5X;v\wf˜1_l`&=?``Oa4`~̈́r|R+Jdv$vz$B?eAAUiϜգ 區  &e]gsPaQY BPqDV=譖KВLM7mx0/6NblBm顝x@3I=7W8Z.3ӅԹs&DL.p DEβהv5W蜱kPbtdwJr!'lN`Jtպ@[aS5/3\=K'\-}+2N KAtqln>+.%Zd̙LXK%J4##,U#0UYyX% QJສAԊKet)uLhg.VDB1 L@QOp5?P |^GY[?=" gkݮ67se~02 iŃ{1a*qvvIE8%ig @[ *^'(92!^Q@wPSfY4j; !ʍN|K<9ܳ+&猵ܒ3 " r]%$%\)AoTV<+}2PkiYF͠Ҟ)-JrMAt EPX^Rtà4 <v}S?FNDN0rnL H&m'kDPDl(=:/9U3e'1^h5=+[ DN+ e+?{qbJ|#(b.ұ0 Pj(P'8E4֚e4%7yJ<:׷ʅغ}#ۇuZЖ1>KaA 0qvH5Wdrj [ rlISoSZj LխSX2 xI [ixN@Rˮ_Ip_Dd>ivvujÚiBx[BaU6 % %%,CXPN^xBJ'Ӯ*4vgbvB7Jk"1hx{|?)$1N|J+˄ZB.7w,?z.*W̪8َ tu4~(蟏CBpVgm 3 LSѬeβSJ=;A l -qCǴ!kIsv\?-Q9ش.Uz@cM0P"立2Ѓ[Md;xc~k> Eik\4ሹ'V0*J:F핪8bL(bTmZˌi\եݝ`Z6/l0 F2.61ܡ8 ŽAtF Pf\g=Sw ewNPjdfP@PXX9wK M0/T^s|*L+MtzX*XX&jX*~帖lyܓ:1B '9!\zG K]T([)έuCD*,Ρ:r< u ߀]kdȒ-8dp`Y?RӔmKЍdwCR,ˆ{#ԧ_fu.#ԙ<]oّ64Pu^ uӂ=RB(a>q  D?R9"rImDWPOS+oInAAXr7ɦ~֬ѩ ⴯[L\o%_Z&cK,5,.0ct)"۲\v-kU$>N)ϦKb/<}bS@@'b.L)̜I 9v]${;3W~J1[f+ +"'VJmGNIiRV(cghB^k`{M5˘._"CETr @!;'YQ4h}/ӼvS |5\BP*ZI)YFǣsh;ͫl`\ntt_ZRis~$_gwC3($Z|mfmdʐi ^#i@$YĬርB$X^h=ŵV\.{5GF༅LZ> "++K#4jX$ؕPu,]i YWowGzg@dIbU0"}yUL vjA֮u`h`2!;uz)c9;y%i}]f3n O4 WO:X2\Yz7_P~[tVu)W^S( oƄ/IY|4ӕ)Zqxd.@Pi$/AN{ȰkApmcӴ 7oU&KjcE#+._S|LIt bV`\'MQ{JY K\VGj+dvcf؆Zd 雀g`6eǂhP?󹅡jex0NѨQCb>Ӵk鹺TM۲CpH ro)Yfm,W ^ei  55YLo=V΋y_ZtUC2ЎɈ:(r1PA;1U/dIJζk0x?1ıý5`)UrXB7aDJ{^7XcB. aEy#y"#b!w4ȩBobCyZnŠi$?4θ-T溗GirLXؗ^!IsF݈m4+C^@8nvpCkqm;IwPxvP"S`#UvOۭX4UbP=9d XKdXEWլΘ^SGuC75OqCcng!`ll!=KA24PA;MD"؁b;]A@?7 xW!,7Rdkfef>;I5{}4b區KϗlբݓFӿ?\~O(?HJf$"&3@4V{!#u9EN*2 56UNG|<7V~Zϵ"Pivq?)݁&TB) voNCvTT 6ӈsVAA #ִdW2tho<:?,Z륺]ҩ  %tQwPa=BJH`: G6Sb"8A]YDvPjH!#V$iFar3vָ+ I>Siʤp4x${tJ5D\k/B^9V=G]*&?u3!9bJ 0Эf+`He+P_RyVٲ<] v|iULۆDzެtZ@rHv9O٨ 9M\SViOWWન%0x_j!l\b0<. Zt+cj"*]e<1-ȋ2!| {S=Gܮ:}WVPQlf}v2BmEO^؛\,TEY!\Z83fm\)}22%}%x1TD*61=b~tl-MGwUp0& 8LVRϪT_W͚B[-)!TE޽fuŦ$"=I)9[zz,cK3"sH-UD?8, pL3a̠#r!ɞ{FjG6cՁCuywj݇;B뀥l-2Ȏp9e_SJ p4XЍ(73P]iXcW3m춮.W~:yjhTZ^{Za[\dPtUq kZ_ÂjN:OdEO: i:- )EBH0Z?^'hmR&a\` HX_q|61ߑPJG^WS j!c}wZ lHETr)u$;x4Wq%%jOcg6X9=S#Ʊ*,ifHz).PΎ۫rqӮiS-)CRYǸɥW/ u2u{%BL4hc GqIkD۪N_UJp vhZΞR!v"RI ,Zr0΀;eq2J4Ec^ H.k-?&?F55Xy:$==M/hiyϪq_o}::A6JHEmXٍz Fj?#vd$;rP9ݡUJ6@IX|\Tbws:┤5`ocb8&`(jkecW*Hx/Z遲y4vwX M-{q*mI`ψNKl9#p8e,0S˰}I^>hXr#^YXq0.!EYvFb+uBZj51_n撯%e=+-*.9k k(9Լ]ohù'ҦHŀr8B3Y_0vcphC>wthE׫5%+r|T+IFDLo&üHP*A8d D壜$`tib"غiAɪ4Am3M2<_Wpک#,Y;*"yNBOKKfӱ wJ ؒ&u?Ll↑֏Dke'm$y>)SFQ? H|;l$Gh呰N͏ZPҒi*ZvgtAI/ HblʁܯF_LQڇ/{6Lw 56^A1:Le9I`+mЭh~YQ:5]y&y_b0#7T{ع es.t/|{B7ȴji ,5;}OڱE͊KrmgZ=UshnFn <6{؍mzOyXE u7{}]ڍ~i%3F< >˸J'#@:T[7 L]+H։ |ެ:/84g'm3sIkp^M뎛ys,)QsZ6Ny22]>.7f#PXcP1ȯjXdW |'mAC2a_^_^V3֧n[Zaԭ=C!r{hmk0x /$)%u䮚ͨ\J #$00N e `J+R58>K։6(rL@έ`#i TeءWHo<{\4юxۋC.a]Wkb'm*oWHX ]FFٚj 3%G e0>ݍ|thJC77w[#b9^{GJLpG n/R+)@U0%Bh "a,; ނ;u˝\I^I!uVJ|;w1 F?t^u̇My8L.tda 7`Y8Փj%bB XɜBp [yh4ݟV: Bfm8MΰUKwP뛩=? kvHF1m/F]R`)F;Ah\YVq⌝аȢ(GƸdBOų\*ĸ^Xmk~I}_k?h&Q%ga{V4.UTND.!$Ǝa@D"6OIr^텂!Qi瓜ƻ#MʿXrNid" Q2-}Bl/2@V"{reeTIv;AζA%)4wG!FV ?$θ@ gh\7r HL0t>fCR 9su M̕ GM&#B F_+5-z{ W\Mc_O*ɳx3 T(X1@E$Ǫ MGsٹkgXp9Uqd&LZ_뎨[ "iV7uqNّg jC`a>ޮa;3O3UI}q7+^ X۫ZJ˓%8T$0ZXⲙLzNEK5g|知V^,% Z_KJ~=F 9UM+DEܱ> NC.6mqlyo.jțf%É85(#+x56z|.}EdbZgʤPf}zMh~ͮ7hAS0/ɉ:'>0t ANMrC*IVK]7^#ϭ8[k-΀g ܔe嗍6nAD1-Bn#EL*g?DECJMfmJGyn?jzTS[}s0.3PK,Ճ'ĨDP3[ fÎy9y#P)aԔ1QWan\7E"ȊW,c w7$2xq![GP [e87#I,P C`w8|}a2ԲaDaؓ"b &yɾtK gx$;~-9s5B9 0Y{ȧ>I`)wSG7]3V< Do?oTQv>7WD]=ŸnZF̠ݡ3rt2(6uʒb3g3b 0Dh{uըiT/eܹ#1W4X::k+Ā c^h\oMnϧ\)Y뽽q+VG;{+3A]QӀI $'2 yIXz<0, GwN H1#(3PoY{*WeR+yہ'ڻJQ.Kq+-5J{3 B 5ĭf6J9B#4V"Z93%:LThT.l6TEaeesA)Ӧpj vK fXz!#f \$~5 uprBo7`x/0`2,dBDd`bA77+f*1l}}Z2eB K&GWhzWz@ Pjv&;mf?O3U䴄x2Od2/R Jzu8?}SG1g9)s9$a/ܖXvU5@szErh.iV<[3*PyƣA3Of=ˈ8>\Cm)4 gmyz,QNfby4Eă ' !/oAVyӤ1pL îr`E,uM\OmPKc.>f:HW䀣ϧg.PMu_C~#QbXȄt@?!g / H%\hk/"榟Udٵ(V,WEn1Iş 7!%/:JW,IIjn'hc݈Mv=WuvHƁY98Wa@vK8w GYؠӊ,hBm#st]MPwriK=`p"n/*Ic*V7`x{\ %ĎM7^Q ?̼"lO?ɷ+^ Ջ'Xv*4'R{f~4c$ Vh~'{s qoަ3hoGK KLQ ض>M J |[y/g}vve=Encrk9{*CR+9i 9<`YFdLh:|qCCtɆfGU}'jtxx!iT1j\ovu,E(6 1կ|ePnݘA#mC<8P:nOsݼ6  Ap+|\djETHḒ!('ʥ'`:0'oc=1pEL̇瓽Mq#YiQy("> g@5›6 hr S%ޮVEEܸ؆:*[K!3EcTǏ KWd\ a ƈ>;;8'gfټK^!.BTzyJ'rK3:@3Ͷ@z+qW24ԓb*u@FI&NV ks/c@_Fib׺bۿި,s'φ'@ja[pX,ȨX\0OE; DmdaAaqdI8 _d0!,$v6]vX}cAb>JiUܑ+CZP+vۓnRF(tbљCs/Sm@eN"Ah==yѽOBklX"q~;f ƺ 57ү1/ ԝ6N/ۅ+(w.Z'd`daI:|7,{+<VTu)L<(VM׍D5)]ml ݗq,OI3%ӝeL^0uUP2A~sn[{l4>4m4*>ئQði.L@[HnmFQ͖,F5[߀4cv2GiK*E熯i=e3@s*^|*n"`MIKoFs%q)hOZ8gs%‰)PWCZ+aP{5'k[-*SZBj摐k4<WU N8݌}uͨ-!Sh FHa9cwĞG3\SamNCܝb&܏UE;cs!Uv9Flf?-TOwU/$Bk9LݥZ_] Ӱ;v,E;3ENp;)KgDB1bAY}[,bRv)42Q*h2niJlH-Xd=5@T Cl -rww@*u)6p]3a+a@;‹\2/ux-8eWnʈk|fm .MoUy9Zeddcp2Fa$kң^qnnk ai ɃeJC}TyTQ+Ok߹VHj2Zt:>'0)l8;ŠXu͵ƕK_G0Eڬ+k2E!0sfN˛'S'@|4r7hW,K;.| p㙤H"UH O*Uzeg(X[^wÒs^)XEV[ev'!ʮLܽjnR GqS\Nx9>=,y=rJ=YcnLThG-#ĩRjp*M /}IΛޫg 3R 5i<)pRH|ڗcqMFE_(>1C[k3!Qm=D|KߪUƪ:y2Ӳ0,/ !։0$z|HІ6qgŤP+~4_Sב4!5w&TqSz à(tu '{Rbji0c0Z@)JKB36d,O a5sYTlfHJ0njumY&G(3t/ k()b|5d)i6̌klP&90 YnYέ,0!ҠNۓ/vJFcjJ꒶$9 r;$iaq-`z\ZȰ1k,!cuk]J: `!RQ7 =\Ÿ$?A SCW^awYڲجG pD:bV@OH-'6VZ֑;RTO=+.p:"7),PygD4$\7Y<(iECܚYa{6mI1?gUC7mj`6G@^~"x'Huj*ы=0@|Ix팍z{Q&/kn``af ˖Xm!r[}iʱ&#Ai s=R8vD{NH_7,* ր(c&-G%u6'rWl+gval3~a8ٹa@1Du]Zt҅.Bx\x>3gCJQn6Tjnk=( 4{[Su[$b<DZ*R^3\mFI(" }#Xmw~Ӈ=&`jqh| K;ODƢ%%PeHַRj{МD^$/dn~Y`F9ް0r垲EI b$-"0|C8Oo?R`ivnjMّ,ԳG )t9fLw$ \;YJ2p(qBLy%S4'EM %%C릋˱ _<!*Q§H+>R3_Qdh0GƾA^=NQIOiSU)2Ë0Lǧ_fN}U/hun*y!^.Kӭl`Il v׭d%ߩɜe/bw3k:vsqwOt\5n9=yL)OVDn]}‹My]#V]kMqnm5#,v9]t_6u^#6**~Ƣi?D&+諆e3OT?Ż U݈$t$N|x!w&u-а״;x9Jez+/yQDa52"ÚB U WeF9aQCD(f`Ĕ NS 2|6eK}3,J.VU;(,3 Ӟ#s P't( Z &LzǰJ &?7ܤ3-|6? 6@ [awxӪ/ax5ݰit~:Sw͞l&߸ɤ"q)NpxlXGEȥVN +aͷMk-db.=CapfK$.GoKHǤ!0f%/= /kmҳn'7_d]V{ ##$ȉjY%J5CpV\*yII"髄ED xI\3!wk._XԙS<6*Wo,SBbEd^9Q匩=<1 D7@ 1?t%!F&=}M){UCցUAwT5v@ $NWLFjZċ끴v=~Vm_R$mmi涧kדR ]4FX]۴+.[gG+Ձ6{kF톘'#wяvoosA wldl)_)`"Zm ub)?C @OD aTtoN;v0DU[ Їcmw>F#eʕLt>UZ*mhRz ˞s2*h 4J^G"l.Q64 A `QݕJd\۵!fG:UC Ps5@ZЯؔb.i!e;nJfe5燳2Ac$9ȤG8 H7҄2+U!C =-b}Vޤcb:+-U a:# :aGЯa6`Qao 2y{qv22iw> $rbe=- ly٥ k+%8/k`.xEWVQ !)bw͆,q4mZ]ь2Np4Y>$C|P04T,mTF,mKE՜Jh.SM-J6(nF! t[ -_>V ÓC{Yɷ%Q,!v5dS+e i@ Hʏ޷yQb0h[͢;U`_Q@rI,xv6"SSۮ+3mMbg5"$hoVp%e`t $ ~0L"r;B櫑 f>/8Kf1,J>'>_C9IdRYzowdjbj/)k\00GrT!tCRCڎ>j~ ~ hb"eI )B&0 Bڦ<&)(de}_k{IL~aN=fI8f,x^t|6=[˾=8g/-,jq 1s._9L z>uIWuѼtiȭHZ;tտwir0 V{qqMc> ٣@럣zƍDo\I͏Pt RkNڠ(RHrQfrb΅lp6l1;~y@μx.tÚꤧÛ"lLby 2'e ;[F@O7PR*h;y48gE'"iv !&$vKqGgǙiMW0VF#f==E4UD͆J{ mih: N@&eU55c6vi0Ei<љ)} e`ԟ'#v{}!n|Y0Q]9\_fO1X+rGAsHαw(K·XAE v|ZgJnq_D$BZͲw_PIpҶ|T,~"=EgI})t!ó:_mT>!u,G(bj)Vu}}[*&NUMxX]߯NgLma, ' QiG&yUO' T b14Bs5BT3!%TUsZ"[ZŽĜgEqH#[I}lP".5&";3&5K= r`9[65AR&9&? TY#-]?p;ZoH40x#Đ)H[hUDYq\:?شbGP{OX3qk1etv<77^$ӄGmB!}eOKd0 )Nq{* xKiv( 0@֤`jACjOt^e)2]ZFs? qhKةn^wSɼxos[ۑմ\g]bc%&~x#(s`ҵLahYOiHSlJXn[ө 8̔_ mI}IY,3< Malh?*Õh i"PXהF;w{!X#2 @Bd3J/nqz%]J Djwl馼L RTExJ JPfU.t9!fLIے)1gM}?!|ȱ3t^]Г%"{-%LZoxWVn/GwJk6{& ҨO*F:t$}b=JE)e~,8+dk;Z'+ Է@'OTlPSM+ҦݍA<SU;/Mt|$t3KAc@R_2!Q 7J>ؠK( '*X~DmwhMU+'++[K|n1U6AI 4%vy4y?(lDb79^銴25Hʂ_?=`d8G&؃n X#CH'>jV6AivāocS_8ٚ*yuZQF|HP`4jߒkZe#n]AmN4z3k$Ȇ}2wa >Yh}|%.jxh?4#O7? UNz~~TU*0p={u,T|bMUwchJBWm5pv1Ɍݙk;3ܕwDpԋM$DgA{sߒPB )+M%b^ʏ+C>_Aw π}&8 \8p3]3x|Jyj}9hIV=\.!V@uk5Ta˂r?Sk:|ɝaAMC^U={C.t߰}@/>ڢI1T.xvo&~Hfh>x/_#4| e\[AeQVö.-:Ɲ+Oz:C[2D,cA::_n%5[=z(hVgܟҶ"rxrexa]w Q-5 X/k뙨ZAe#-$˪=Z"~l n<%6CN!M-;`tnuE-K}B~ۍ]ZiiŒ;_91GK_e_N1@y\0NТMiRXW!Q};h}C(U3^0l.S% }&H'GQ g& vy@#x-i# oǹW|dcbp, x]Z$BaPY{C6u}.oN-E 1{E0P곳= nB0BQ f#uX>sbyD9KQK E$UO}`|*4 81̑?d{WHnb~153_ /a) Lt%J lT'}D|}HER"Icn u&"Jp^@!;?rE ";8bB(.xX@|6DW(K@3&Ey 4Aks#9AP:eWEn)ӫВ{J%^EՔV7Sk<`" 3s' kݓϑo;h%ŽtU%4h]R hm}|5$M:Õ9&/H n2A*X@g.›wUFV$gJLw_`p7iWۨV{ r w7_=gbIDKs!3tݣ4`&Hx=z)I-nS- ^QԑլX|z?6S yr#mF"Pwb34Y޷;'mol8k:\4`~0dOY)A+Ho3vY\̔ЈՏ7V~w]U+f4ϹÝ-oճ#BJ8N"Y=Hf#U@KMGPujȍ4[ Nqe%zPJy=,E*;ePݼ>0F<m .r&PkAΒ 'LS)a4eD| c% bҊ=dy77ݹC.}iuۼц&oAa0Ď{'[aiyO "iXXo5Cԛ3(8P#ͦ]ZSa6d5 I@*3(}%3çI56$)Y3%tMz8M@>‡]$[Gd^Vi] u^r`lPפw k2sex38K# vjOcTv83 f}`%v qί% .ZC+ޯ"}[X`kJw1qSzI~me}3-0" a+3A W@׼,2&|&EjV~Cfd -?B;-~H>DH$g4ǥ3kwGJFV'`9o0f}]P/CY+vz1PV>]em9P)Ѡ{5RXsڠ$"#t&>Q 80~ƥ8)mcڕU25[a{>rIJ=Uyer @WbRz뱝^_ju-h45[!kP۶<ɯBP+ø!|Zccbu4ҥ*Uf0w3?* ͂<7iRFDQTuLL (~Ff:L#&)^K9crRl&$HD\=5h숓.Pi >&#s /t9ձ6p 5CS;a( ݱr ?;xt{8yCJC޵1Xeq<~EtXǾ$\iS]xlC1ulu᪞-hu,CNWH|;s,3֏ACF87ZKR)˂zx9^]GE!`É78LЁ6EƐ]_YURS/Zgf ݛ ZkGSG*UTdo>*8 BH^K0&T& fSONV*89ftWMl =ب 'QYclOR3:9}zeֳh5қ:'ZA_ԿtzrƦ=:kpA }G)C48ޓ]n|巧Bae aB#n=CxQz`#ڇj:CiI?&i˿R?HW$||(C QDXV+Hؓ ‡eGQ1EvZ)V ol;QQZ/Yğٵw '}J"dsyW"<=QnzʄBF=sŽ/NL.}^n ~C@7)/ qRɀeZ,2fzgϊERˇZ^Vïce|QH=_|ղqn4L֝IPs<PEH,/C1GfY+p(Sv}g|BG/"إg|Vjm+9XE&dwwVL3q}V@;۾|r7:Ksjx pإoGYURt@ t!:y˿!|Cn>=S3͘2?lɧlB|Z*︉4 oYe\ sr"1,,!-pH3N-Pl`+o!2Ԋڢ0IPvxQVxwOE˴3 GrҎ;`wsP]bz537qkVʻlNZY-es? PK\*&=4pNl\;_,QE+ZNIQoF3\WC8ZW~TCɠPwή=fRn&aRzܑ %%@PDǶ ;,*H=R_Q OkU/O, LU W!fjtPlK4Yc^W1bm_Nw1,hw<B#ΒFKGT+RxU_0h F1n{B:ʟZ&/پ܀2RV@|dkS^kL yer?;.p?[GᎱXGo0uJxV~3oKBsNGsehfQSV8!2)7\ XV4cT& $(xd@x,&Q,vx P@${o|F{}.S>hoYVQ1+:%Cj'+rr8t0& Tn"Ônʖn$dMe' dۄGrЊJ!\jC3J)2$Oa5`'-w*lc iHq7!~v;z]ތ4nj##l*oek@$SjD$~"y=^xcPK|> `&>|Q{rCv/ >Jvpb!rSh rIykeq ~_!r7V39K+cK!`eEluuӄ2B1L(LDS M. VeHɫ\}%  t~^y35^l {p`x8yc @Kjd0oaW |Z,3h]5ĕRwkܐDu{7Y Q`MuDEZ‹^n1!2k2֨17Xr߀fFW@Sprz!nyBIC:s3v=&>m]+wjgYZ0d05263bcb5e47cc93a165f8a47609165d8ee94353f1d67548a50d94a90baccfd7c8ce511a3e1b4a f6118ffad2997e518d2c1b8be12985c8c95a4176 2a8703cad3af920728df8d76be477f3244bc91ca 18c6313faf2187c2a114f1ae3ad0f2da3ce0895a