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   H!\t4 ]]]HOL-Proofs:threads=6elapsed=544.673cpu=1314.276gc=123.572factor=2.417zXZִF! %]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟu1B.!3} yf_nY6aA{ԁ $a&ۙp(u5xí0n|~W8|<WؕtKE`XM/y;Hurt#l| -ܵRPGME墚@_HL+{;Ҽ郄iqR_d)$6]v pSsYD! @ P:8){A" h[-S4P+@l6у'jb#˟cz8N͔ze4ѫdCZ=j6˗$+配^mPmR%i e~B z˘bo'H$ ~u>15Aq 0=}+GpD rARD9O Ș)?,$6irJ6<s3w3T>e)QBW=XQLXݬRsY;kD}#?|M\:* ArP_ 8yk isˀr8dI=o.M̏e[9zcJ;~WU>!u9AT"c[ h||w=%wOZLb9/IaОz܂ kpH 6:Nߺ܂CaI]&A4LJ/Ӿ,=p]onUaQa HFov(NEA.E(`,   ! HOL-Proofs  + / +!-C HOL-ProofsHOL.Code_Numeralcode/divmod/Product_Type.hs7zXZִF! 8]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.\[T0SE=BrFA@&C M[~Xb@_L#1a4ԛ~^L2kqi!+]]S8[Sܗ+] JC}]w˙):SYcie4>X}6T~nn-#^oo@璁SJV^ͼ7Ʋ} H&vC2=oFo٨`]367mP3kcO,3Gl#/ a%?ڍ gYZ ;!-CHOL-ProofsHOL.Code_Numeralcode/divmod/Product_Type.hs3!-5 HOL-ProofsHOL.Code_Numeralcode/divmod/Arith.hsR84Hϫb%>$`Vz=ŷQ[e)c0aՆx)LuݾnS$VScA+w.7JrԖA3>u@)c^<5G'v2&J u/2(L#M*k3sږbbNW_M%R/h!9]Inj5?YVCP-!I%6JEL?1'nMAixvI|Fs+2ו @5jqv%,2"4gͨj3[KJz$z9>fCO괆m.4t?B'6VʹEbQ|=VdFW *HFsc3x͇ݨET,v;saf 1% ڈ(_Lq17=i; )Nށ>ޢl6ҐGx7ppbxr ΢PT֔(oȄ=wB%`xDgUmE4t]_A:ZٓO]fv``s Gڌ:%y6=n=k."4Y" bugbsݗuJjȻfXژ/}(av&őCܕUBG D։U4k^y C,Nc2;&t.:@=~yXٽn Z AzTB  A>ȭ;-xtBN$s"q0ez0V?LDc/m3 &uD5>m\ ٕ6Z A^-vv{1׆/-Fc8ږbCoPV85bCi*zTP9350F#^)zE}ۑ r42Td,V =P%ZQT;2ɡr-cFD)UӍ6r5_\4収E10dhxJ>ʸT=XQqO¤ΐ4ZciֳTtR=rYv=|pPH6 WS(~X>q$Q1Hiw kpI%$qсp β$A&6 \C$՞l hFRf9Nmuw"pt LpHN"_ߚb",LjrɎvH1PNUTgZe|Z3U>q^ +ӃI ua '0m6#8˟BA§ I9'a pP-[ -rUFuBMTcXGYWIUtD]( +׫!B?-e5xi/D‰eCt 1DswT>śёB0 Qbo|c~Yj|@n|z%G'*r.n A(v@*ӌ)xd- P}nNr-\ 9wd(RE8#С2ujfqgV-)U(B,F)+lj!@C N 䓊Qo-)4ഖD߁&)-jGgduLCnz4mc ZăWޔ^#4Bkfɂ/ք/*! G #YLՌ_k9T 5d "#øasfG{q 4RΙl+yW(fi.J_]$H;8߾Lgr  SD2& m^֮W;H|zjj:0o5{ӌsl5Xwz޸%%!ѰI_iqdV1gc9*Ĺ62ζܺ>Sm"xJG8Ǽ% 1cCbm ma[ɠ,rҕ1;neTA­޸YOvPP ؒ(=>#;_-7eAdK'X[ֺ]w6)$ 6Ey\aGQzcho||~Bu|vڠ à?’FZ=n? "X}P38,jH)K΃J?M !CЩeC[M: znq"-5W#HwXiDfimާp@$)ABFMzue v;'EHڤ岞$4`&vXg+%Ӏ}M1֫W:G7V0j^E>!"’x-kS/؄&y˺ӵX:R*6}iG*roYB2oɈ63kCF jd]I)l:"WՅ2ZAnu}(H&ug-cz iMu?3cs,UtKΘW?b>xUQضm,Ѳw ѮsA?ܨ zJκ(ٚey(:'G.\ce"orbD,jXZL*1ҧvcZ0A9ה[{FP#/KLP JlV](a|?hF @ODfN2}KJ)JqI$csߙTo]<t{&ɉ&"c:y/FM4HJcTR; k niho(^^GU6e%*Em5+%³̂Z$ i/I|蠱aJt,Wg IL~(LHzӦ`y[GҨ)kœfGj>?k}g(ٷ`FYœ^ɐrOq$ }##(s;sH@h2>"&2 LV MccnGHwДSOHWie w..b3<ꤩ1Va'ͯxBx0ڪv͕l\Nu'.gYZ7zXZִF! ]]ŗXiɟ29aoʼz[%U>EM!!*XKacqFW/v9'0xY "y)Dգ2j,r* c{I=v& h'R$ZA:qv ޓ؋ۣ깁`?̵1Ʈߢ<1JиYTAWO&YU+ofj>6ƁI^"wKfxŃ #̐<{ 1=hI%7&+ApLoRjjL=gV]C&P‡[-5Li.;mߪfݬ ^LKU7$RZٜo%p\7d62yh^)87JO/)jrpsHz;,!&& 3^ v4 H$Y.c ojs ,kbY8 V\'5B?cf'=>lWe$BK5%,a Whi ޿+!$Wm^Q/$1g"8UMG5FnxCղd%3/噅ǥv'Stz"FjZYua f~X>A! qn?Bn=z!(*l7}dqD"2$|1_De!f\sUH8(ʱlW=H/ 'y/`'Ɓ!xѦfM| zLTO+]NG}0oL>6:%9=6-O %$Qеohք \ #j!Ul|57gS]DKUn R _'>6q5*FF$t!Re} pxV=V@*A((t)Spྀ/:K&_JhL@Ql/>}[wubA03 *2s*C#Qe[Ga]2@2N'@u.&&~3KQO ]j0>?!1^3RHSϐHuwB34dOXcŃ굶5t;CEvm'H ЉZznx5WT\E!2#ºiqXLIGGl"p,%~T[/$wBG&<ж/8V,em`T5D8pP1.aʎ=:YkPH1C8=ۂـ)Ŏ"raD#9o!~ ER~dF1LZ{{Du'+[#N0cW@ͰGϙaS 1O\VA>m$9`0!z|mF6>h@-]ADP 5 :Hؠ-Ylh`2xQ͛q;%E~ - E?L"7w\5`30/Hz6O~dTWAjd[|^ _{ #:r|R#P! lZg!iz84{Q~ CU嚝ݥY'sGZqUgǤݖM-k7%fe1FA` ckϹ^-Oڪ` dT|#ofXh:y#.%3=>.n+W=;wĪv£LB3;! ͘R4]:sv\nsԈcDJ4PwzᐼquS^pk5Zam@zdnzZ~,Zg*b&=crln‘J*dMUҾ³ |}'Hp]\ P]񵏌f9zҧW$a%BXr+%~ ʶJA5so xcIa`C߬R'vS ! 6ZAQCYk\ћ~#0hB&튱{GyʌDfCIk;'жL:l+IEuݑld8,s!"y)bEg2WC_^HY>DY)ga9+:ǡ" ЪMIƥi0 c&N-nDʘ3 ^tyٞ8N *7#>i3Ee:ܿ薘ud$ b~F01@jο6_c]mC-qmAxq #Ns2g.nJա>*U։ۃ3 >q0*Ml~݆] dȮ) ;0ìwSng{A,Cl͸6P1U0z\úDݧ)o22x^iG{t-q+W<6w- !%IcȷLmmf>I4X i/w3tlp~)$% C.ga[C/3:~D ~t^~%sň<,B#C=0R/p뚆߿eܳDD0`[qnG5׼^8G;WM .PGRqZBFjsV 7 dp { :IZY=MƸ&vg$ݪ\ 68;.9)o蜲(i5mݾW K]JK 5tdMşA}ýI?gSD%Lдf)|3aPT:A,S6}1 >:tHmµ sisk{/u GA_]O}%l@*G@`0B!1f2Zù;ގ  me uU9Ôߜ܉xmu=!Y҂?`ٻ3%-r,vo6/4 \.]q|3M:NxőF!x|;1@8;&a=zEjZ-̑.h{'$兕O;:MQC[MZs<£XjSN9Fyۗta7i>l`ZS]&sw^(vv5:OQhm@wԚʁ)BIC`U׸6 SsJR_~A@$^$}:!}='S e[I!AJ.c}nTXYLfJ B>dnUd(NN|BDWr4J.h-G6W+}cL,[ )pGKTy&gB1*^@|Ssiե>f' vw0D^nWsֻU#w:%zL)[Ag Es jR6w}V ##efփ 7uX:/lY䛃Nfݟ6^->bOa8v\0?:kN~-^!a80 7Kb@:LG4-tdlH?SZe%A ]xȟy_y%CXn^pħ_?O[w_73ٸܑa0WrTp|o e$p85oC@l͐Ȗ; z/ g4?xԮCHAۭI],"RC]b)85WM#(X'Fni |gSŨ-KUP cH\+RRrZR8Ed֊h0`8.ĨT?#_Hۋt.F+0bw. פ=TRރ0{9@yՄ#ijDdF˪ގBE +e/Ї{yt6KGV@(Ud3냥^W՝k@~d:/ b_>F,o /;sUT R12%D^m*=@]c֧iI*'2c:.3d=Z#?w>zVxĵ AC`aCFUI~,‹H >3T~E#e &KߚK Y2 ԀbeF,@pP½K|;δ\AWF?OooV>C]<䡵'{f;.UҀi:RRw+~w:DEPͦmωT\qt`lـJƷ+ђw{_Wel9lT幅-JoEZWPeJݹ ] D"DǞ 8#fm$53XAautdMgM݄bb參B<`sBV@5kIѓçrqzkjl懓na}vKc;}kZv4C3_U%t7_UmzGny. o"NJA됬78WeEa梔d fB6wRJV +_XX9u#dHGk3r3XFoUrrs=[GR!L')AXʂ"Rt;EԳMiRqKRuS-i7 }}oIsedtqcɚf̆g|6v v,"ɍ +B-WEu3EPY Q '~52l1ߑDb a+x M.~(b@ ׇ/&lNNNCE[g.2_$@t֭oG[js6'Z@&!)0GfS8DCem)csO93cHrNiurJڀrպ',tG\lX;{ll*{f-vÑ=rT9@ QrR.9_]t7 x*|KĢ`WyfENUbvCK2rrT`f^G"ImXQuHL`9}xP^1O6Sbz2ppt.{mϟ]YMHp^O(/0 0+}ʇh&2셍YTs<]@A9TqvFqyRa3$6֕"bۃb96:5 }hh87w<&Mvߩ<;6#SV44=&|hU=A!c9g~3+}qy4+@VϨ:'Mw5PcM2FہY ߽l1@\B&8IߢrncgIV#ta;⧈AhdI?]罒BcwK`/rdBJDPfRc9R2>{5 \*֮`wknI3Gv5LPdً^ї/u|?EJҪS,g#0#=5Rzۈn%rx{+-Y² HZLM+U+ТD฾9wLԮaI>Am;VߵP(WiْM`KXa I{SeխjMEC>M%֍E.hEl֡'% Q.&su(?<:7T60`&KX{=Sr%]?=96t+ 7CY~4GR@e.b։әx\qxu<7~ Qi'i">=Ej*oMQ;DrW h|t5Z֏KKud+$XbN! 4 Rö4%y\5.':EM׍@{f0}qT-ɳyr뾤+”a-Fbr/+# |6Yz*,4gb}!Y(&{KPTS T`i<%}}%D4- ^Y0ʝSDQ2PFfQӯɿmJ ta|}.\#> }gue֥ AQR6!.ہ~ T؄1TEqu( ;<3|WI#=.7t%?R5=Fi ʫU)secniv ~ Ҙ()wEv0"=夈̫֨> >2fQClM?*QTTclC{R.jR$ȣ8MYkWSK$#K"0!zdz0_/>fSqAB|*H[{jA|o4-Yx%  l d@J82tօ< -jK8^{EOr Ykfi]eA`vIvYLQ-(0#-ilsTQHؼe-0;MIqYwﻹXD5?`k|R_L S|e{`щ՚쨩Kڝ ѽbF4i{$^AMKõcO?7iLo rn`q?TўDtDWv;@JlIС$pVsfSt_"vbniC'PPa"pLZZo@Li"7A6i6(xMؘ3GaU|K^]*"w3/tIfNIe qu֕AWKe[] ʒIF\ToA5ޗ;A&x÷$ ܮ7*"7;8 Qn9'٠IEQ Ț$\BV4"8Fm( L{pGO3WslV_ oւy"o[npIx$s66fx ك8G!-g!PzoͤeAV.Фc'OfejPGŕ1'wMC%b(f@0ϓool vZ[L!m3@ (z~CLt4.dU z .u3׌6]Y{w$MR(whטZ!%w6je0%޶gJCϟ.ƯP4r( HY^6dt2S-& ez|pٗҒnA.g`;@?]5~ueuZGzZv5KDUOFvy&7HW Qb?fzjqR(-Mn'#n? U^w)ae_?G㩱Πܲxi鯰~%a,y$>e\+H.饊9:fxU8^6psYEM}+r_BJ:b|E'ψG0{. mb ľ|m[MLUqA83cUvkh%>bEz}Q Lb U1JCX5Jy]_SCFg;X5bn98t5>4tEEYT۩'كٓR6j>Ru+Lۭ]^ư̽ Th>pxI'Fb?yz$!:}TrD7*PyaBcC7yKFhj~30%<3f> ;fKJU6Q[ <-yТ,"7^Ẓqo-&5NӺI)?=lDBȀhH;_)N1Op'sSQ)`ͬ/Ƌ?; !P0ptj0HN/*>>0,8&3_CϰP;@eE lke6ʽ*@D a <+:4l )@8{㞠6k4|\5{/ts{ZEIh<%bBB8 FFl] vO$x:R kWys0!OW2j ݱV[]"5t%83#v5X Rfid rO5_ j)pyN#߱Wܶ$6 nʈ]3T߲ň1/ o*?,=} gl̽;B %5֦&xad,s șj2gk/h[%I:dx`d>yȃ/ zPK(_ypDvQ@իBC?zL'/~ 6kI:g*Jk7Tx{AfxUӅE|o{*(Q0V23_-^A."gh^;/IC -GclNFkj";үNFbi*_ lfxv9ieLFk /jR/!I:7 kœuQg)$~oY5­f;QsKK[DGG/aU/_m0SN'Pz7ׇ[N)rU0lreVtoIA F>'' p9OrҞ}z25ia,sxlkr @,cBUjZSM+7F",/um7ɎZEW !} rQ|yn%T7%CTa"p!/YQ`sk遾n:fAQ`/MhcsnJL]"π%/ 7뫰?kz̶F=iKA1@olvWťIP_}h;\ #ɧYg F,g,x\ةfJ|P$- F=DwY. oNSz[PYDBJfIB~L_=HīN(z ǷpxE- 0@|'hh'@`0-oeJwh` '?ԮVu3;K `Z#q:RwE ACOXxm`,\)UDWdžs}*hcjWJ|>]U۲^wuq[d;k4ȱZ =Cfg)(nTwc[|# OT9t7)5ˡWIRj .<1ݤwꂝK^P Y&8~;+1y|#3&.SdV,j 5sJMZ%*"@:ӉZDhU!?_w&Hfc uĈoj.'YKR=KN5mȥYlսkJчll7«B ]Ǟ"7ٵWt:[o~@l׉c N8}p"y堠@FvYm-p l$ts6ܠdaq,.Wa㕎fx!Q(^:乴Xx~<&_e 8dUm?דD*>f3Cy' +cƣac=s+(63s]ܑ|KB9)N 9 4K@{_T}⇁?%e?<:&bkƵanꪦʳ_f9Q~k]YM NMs#5R44bVnESm]|FhJ z "ܑ~QŖ؞.>} k 3.ks0;ogIG}U,֨{ Iw3iʏ*. {f+2jPR F ꇐD 8# _@BU즟MֿVXLwNzN:*XqZ*VMȦ*VMĘW o0%+wCۊEsv"{Oqe_lgq"! "fR:[3K6>(*#c>5F~d+nm@Z=A K8,k0d8ؘåF#uh kDAm^a2H<6zVv;O,mvh(qcr,tD' g{^pĂt?{MIj|0#9 b'P2×; =87#wIAI۴dڱ ڵ|;f$y;x& [!@wEvJ۠/%8{CZWtKiC|?iѠR_7vhHtCHLCrZ!  nI=g]z'pEZ@AB7&{5DsN>O_,@y]M=>'_d9I$xc83\,ֳ\17 {.!nMw6W. w{^ gѢv؄/ n\ rR,VOcl_A\wVgu! gj:KlQgt?I 'ҋ! _ 6<2ˣ7"⹨m=ܥWGl9:k48A& HZ)bD|Ke:E5z-EW]{05I[3ٗ+LNHӟW"nlRj`wGq{| T;Uo  S8h{O)[ӽWrGQa41oלGԉTe@xt҉o.uI|u\$ M+PM @e(МE}̇|k :=!'R(P,S1F*g1N$Zj gtUa)Ft106Ɖ)orPvdMn2#Z1BMwV9ycf}fy,N˓Av2q8:4 N,EiER5NpRݾt$E23`N)\tԁ#-εXTA~a{_مXIv1hfփy/n1ug'GYpCF B> Iz:W+OVwWq*&`;/ϕ!mWޕbHz3"i`@~f^7%R/{>.PqȾku' 0zE39q{TP)0WJU>ȕ&jCŊW7;:$J c|Ӻ%kX9:DWfAF.OŊWsSOq0BP|T?QY9<^XeSfǟ!n#$+<.-jT*&z#椟(fwM@VpJQ˓QS,&}0DIpq)Pgngr ك+Tgy BvjRDʷ#' L.5ԉBIژNva]VQSsKgPoβM?Sǂ6 ݴq$W\IJ/o%2ze  *6 itS~ GGN[4g?d)s$ȝ~sp04WoZT+#Ղю5fZ b`Msdpzf̭; -ZYTqRI@8XZ1]$ᒧßrҸҪ>O ٣Zɋpx`ӟ J'V \jm~ EY#&d c0ҩE)i ѕBs錄zF#Zs;f\/ԶH .c!^v"Fٖ_!MEѐ@ʴvY8HN֗&f^k(rԁ6G?'c@0 ՛8c9a;Pt)uLz\GU_.n JIϓ£Jg_apQ82%1("#<`l3l#/hgp0;ƖQυ@efIAɬk@XP:2sLE42gܡY&25Ƌl^K.O쫖ޭN7 .*Ѳ1ONQyoD]zknǴnv1LGq5/+D6T;D;Ў$%rkHvjط4$N8Hb(NКIF{߽V ueXt~iplf-ԇiܟc4n*5Y;W5l.$GI2uԙ ~ק uAH5|.;^₝P/l)c3ୖSBN׮āQ&Ω 3edS`D~#4t%  ]_wpR_"85[QhiSG`=2z3:7`0l!2yNwo$or$E0OTLW[ 63ZP'ƒ`@ٿ;(.H`MBOKH{Zo_w4ݛOMI7H#n{oMV@ʭedݺMܳK;T<_ -vM{^Pzwa4nU. [o*},ԢkhEG/\97nMCm[ft= nscfsM 9*0;;UY|i@^WӒ˘;/CcKix!NZ-(Zp:٠ezf?zϊ7anv_{ ,XH͟BߔӱqQ^. nc8JJ]ixJJxs^>{AmYIUO}qz.0Cah vUہZ+?zVԷ̋mS`Rahֺbb5e: #:sJFtsVy0]۾l@+Kv'cX)AW6&4V9Zaɘ56ˀ8jpOXx|_r$uJآeG{i?32 Hݔ]8[ec289T 1!5Hk"]Qrz.{~! gsG$x 9t>%q'P9bfNK42j`Er8S nmoz$8'IF,SN?Mn"[rzڗ3xIG[>Z4{^'OC{FEYD!yb+,v\S K!_$95`/T{ 놵G`|5?U*cVԺqM0u-<5wH(Tyvϱ=QYhA3!fvkeDKw=aӶ#8gVu :}S=d>2)%H&i$Ďm$*BP`n}bpZ4Y#ƻHh˂gK6Y+/~ qֱ.e;%v (7, m 14zPt#=n?ozU˟M3G{9^!pv&F5JrnX$bW@2_ѧ.';:̡!u8wBs+hFjxEPDsIM+`ÜJN*K{T w[ Uqss7t=0PƇLRTwJ _uv匢.Y>)Al#'_ 2rz0JyGycW2A~Dߖ;$b9p6fz#(y[{Wh?%V"ztQbd;iZlaT]Q| ck9/Ҵ@̛s],g<(ˁq̗av]ia~)t*Y 5w}\#@ȌO. y7ޑ7,{R_JŔ ÉJib߲}q< }Ph뮜QN  98mtv.NI.$ӇE+DT;WY== d 6\,QBg-O~a\8_mePc_AXSTr:}J)>O@~D@iL<@`aoÃŽ3yBԟ} ݑ4o A ޸f݆w$ĮRX?@èėww7% .#y"6*3M\OāJ =BSRuj'b u(Z֩f0%^cN[W@9I$@r&jyjZO={oż{O-הoV=nzDIDw,O%&>CTX•tw'In#E#A>X=8ќTN=pޛK,da,G!F!$#O=]\ &o&\VL%7/=8_1cGBQz(E:HX0aҡajdZ?ֱ!k`Zad)&tSBDWhfa14#nW7[=9'Љf[Nn?wդ6V̤Ô}&'Y!|(y Y OpOB~?g/2m~Ή<#e,:ǔvBHp&>:gGW NdG Թ Ò޿2 hv(1] f=>8k+Zg#ʊnG!eP/ 7euYLG u+hQEJ?pF˱^GJ')zGfe|Dϱka grA(EMG^5B+*'?R6q"5R61|:hG*yytYGGm>.3$J-UK8tb|Nx;?n|BGR>M'4>)xOs>Ηwd]>|V_FLőU];&\^TxۨU)|] =O-/8R^)J-uAt쯘M(2I9L9܎0 ߿6#^@3<6Lr۠k ^#2.+v|R:$Tά+k6X*\9`%LAtf&V]JQi6؆]1#ߜ~(]Z2 b.'DP'NTs>՗JƲ_r}gy[#>di W*6=Plr4 ;AtW-4"&Mpm90Vǹ"/#u Ɠ/ Xv\ Fpofxu!|רW+'Zś}Ls dunxV"@pt`:W ã?y|t-,9sHᷧ55Nk:Q6(N 6=56ht*vƁ5-S3r)RF[~|[l_O?Y)"paLnֻ9vj j ,A}eP׾]BO'&W!{M RK#g6F ?Z8hv'hj/sIR X޹HyD ƐZ-aaoEh{^"K:oJA #Q9aoA㇣؄;s8# `Sq\|6޲kORUֲ0φɈF~%DL_ B1wFuסĺTxC$kZDcPSJ{R@XECu{狦b@R&~@s/3>KoW24^ B8uH'I|/dR53˫>yj+l!c޺n(mtjzxpҕ^oi6ydBfX ={-" bޣT]Bk>=l SaЂ#UwaF X*XWfl=2&IpySa6q>Co@;vJO1˔ps/-dTm -vC *S^ _VKEAK&"6A%kM5Ǿ$8dRA@K[8lav spZ7Y7K(CfZ~/Q,VfGVDUy.d.c-m&aKׯ6-]q=שIg Ʉ 7?#2T+H<I [P,ʟq}a>p%05)c+uݘXpX AS̉GbInFz=u* #~I /¾,i>K$< _/g W]A6w2 qj9'ԣWěFQKf4#Iɚ9  fK/ 37 ;[j%;#^|W m';%'F5JHmb*8r!l3':]5vx*])Xuㆂ1L!9)O~NrvХ>Νܭ"aêĺ @Ȟ W`!H97r1#P{Ys0$􈯡RJdE@˞u{=<-a,i9u߹QtIyɼeߴKg.ۈA#s3n={0=\DdK86|Qiޭ*ߦm[9z(x!5l8%H@ z\H'O o}KuX [7xwIV*dI) ]N'ö-GIvO ,BKP'ܼK Ø c|e i/ Qjv ^1w&_e?`t8㠠Z,N/kW^%?Ϯ;r< >J\A0R:TsO)uR5V:#lDټɴ',+wY5[fLujw, ɺ% P:Tp]jQW_S К]k c6Ouɥtp>57:k.FߚNbYJ(>JEV/1'.sA] ,h˥'Gẓ%٨q\#xv.٤"3sf"+K ԗPܭ$78#n=@V~g~P\J@*b|NZ iOM>3vgl{CpzKl uI*~ri#b^ê#V&7>{Yƪ%\nm9C'ŇOѨ@xڐW~]|\HTkYy13c8B#yV|=\[Ze\o]@lt65 SM8+{!&#ݶ.s6.KѱBf:"024,-}"Y Wv׎鎺MiG")iYl%GT3#?բzhp/Kp@Z9|C.Cr KZrkz*< 7ʘ6\' ϒ a|څT tn؝jW; Ga1P~].D ҴZѧ=ʩp5e-zn! d?^j_X<`Ĭ L /‘[JV}OC0!ݏAŋx: \l9<ܓܚBDNk6i7`H蹕؀ {@>/Eܞ~4Y!jtWRH35@fPk_J!`\d–K.slqKN^7;l}Ϲ??Pnnmo4~_a/Uvb}=)'tj80 AJ= ~}VdoLA :~Z(Q&zXs Oc:ptR"wjܕ$=Mӡs@x, rkO{o^dVź0VsͶMgn}ػ8@U^ 2~.am%Jg襟 Ī /%tC'F39ϋ=)KJ] mR ΊP1w/'B*t|FR{V: O싄.xP赛 /.YjY?<gD z.yvOm_CY @꜉#6ɋE-Y٪y.V%AlQd # ɬǾcLF`_Mͳ\)2o&*ggtuKHfg]nL3c+S {mmxbwg+տJvf>8xB [C =HȈC9e.'QUgА\v{j@ܖ\[G歾|h #ݞb䬲8AOu%kQ*)rߺ)|n̏{P^Έg0wc (v<7[ <_E1N_[ѳTr@,2߭ڀ0bh(1-@zWKGr j#:W/=*BH iSwݷLh}` hX"YNsU קX6qU&=ė+ZT hXP\o MyUkIzy@l;K?%~A_Q~s˷,yjS'H~ež tmBՎ ΅O*ɥ'c\[ڤ ے ܽ#"ii1hwa90e]!JõXճr#|yG@q#qhu'сՃHxK'}d5Qะxs89ˌxL2dR7 :/t/~K%VΞɵ!"=n~L ZZ '\k=#ÉoZrFe P 8PeW)?\{t].iTV7AaÐS}MTP/X0 YדlqhQhۺdv0A TM18\ rOthi F7 M)326QgGebBQ>ٰjnL 2#HvSӶh6:"~Sꀝq[(jȞ]vuDIǨA1qR[a*-Z6ٵouDZ: ~BᖱVݓm7?41gi9(;\ܘ5P<|Pj婘RJyosP'//dp, <_-\S=H=g" /zIY4eCYot`T*qcV䨈,Q@6sL^+R /_,{'`uW:$f7icAJ { L2zm2ZjK2V" !TaLh1IJ>{IR]%>rKvmY5Ҿ-GV|PG6t"w3 1<үƥs-yWgiG% @|؜F{V]3Fh,Ł—Z2t p(UÔYwzgfu%'Moۗ٫v|4TbGX ,g O3;j]u: ݂yb(anO+3.xwR 9_2Z_1`0Qcϼ \%-C>ON3*A,Vk۳  8.t 9-L[DzGE7Rⓩ翨)SQ>=LB,l@%x*׾h+q{mMx-(!{hmJ%E*(m29(1a)4ra7\@/p"y ]A y` j?̬1Kfn4)Bh !sb3}kW2>[-|2-4L`ʶpԪUojV|ltV\ Ca+zJ $;֐H8TU pcee?DD:E#,A5tcHɬAPhL wau^j Ŕ$%pjlQ/:?9ff' \qoVwOvCϭ?FLS t1,0|\nG`U@qə5'©9|AXt'f.wgꄝՀ$Rp9Ń ' l 6@0Ztj层? { T5iwfuJ%{]8c$?Ff=:;}, >k ]MHrAk]yU͹/KT⭳ ^?3&?{a8t"auκlBojU 1އñxRo鹦گ>8cE;t9>gp2)`= 6-@T.DP<jqhejNUOŗP:Z),5ؗ*~eѕ 'Ao[ʶ-ʌU([lNߒJĕTɫ9#ޗ6|S )y34*D-SrUyzkm]|*gASxqJ-w K+)\LC{qΧ;2۞y|D6(<1i$잏*"E4_r eCtDzYGj4p%)8~d6% SWlWN,*h_8+zf^jH.HgK_kIʵ4 ) X&4m +)u}:x%UҾiL'!S[TR֮̂yU#3#1#8vG #e/68;Q#2>,%W϶A(N(|QYIɔQ4NGJì,S8(#*Ag .D<:%~哙۳JӢCG*QdJ6(q1)|D*,tǏ|Jizn9Iu~suNb4ҁoL;W0[N{*K8θ0L.Gpig) r?ʚo3g+A0yb@F:-xu F}jϕN3( W}r-TTs{KmSL[{ =D,p_U(5cG+ luvKq?KU&_\ͅ0#Q@?hs$z)DE)#Y, /@6^Cl2W 3s;Tf 0yjWmsz@B'5yq=Sm3jIe=դ'C\rJւAP!Ruws}4s.hϟ.hE`7tSr̮$GF 8n(š>;wARXc^II3Z6jCsiƝKD2Pt0B\BBCbŕ &HzʣA̷\Tf$EMuSr$ųV3> KUUhd\gx\mPYg !|mioFJ'FFpn}mloPzo'p (uuRtA 3]_8s{x87\z6`Ud%9C B)b6+o]y>bXK>ڈ'sjji'QO898uGվe@)8aN[r@)<*s el)3-X_ NURό 1m1?6f&K-8vD _V3}ŢEY]OȉM},dY>_&V?ZL$aB?xADs`p5)%xfsg] fz'/ hG`zePs5/O>Ķ;vfV#"aUCa1>?%ܖ/ /_e!)G =eLkPo8?{3XzјOzԗφN1ד%0U4꓎H||5cKOT58* $U:838E2Ԝ'ۛ3 yV~t<@W)Eґ(P(Rkj^V}9m cJ<-?ͬflk`ԏxPީ+ v.լ+Y T>y?*t V/U*n@4ItqbHO0A$!WEcU/ r3}'hc.iPry.+[jFi,Sp6 |&Ufrցگ+ٟ SpWzj)&0Z72ȜeނB tb/:*.* ~ͻ8= d cv2_dįݸyyOp]=.1M,yGoEo8( HDBՙ:tS; Euƶ H˄/o;u\Urf֐H֓LL4N ď}Uc%`aq]1fl]NK :,;U,*1җsOHkmw v)`<br ob%2,X \mnxAҝُf2d fItImsW\Km9~jE(ZiiR]&J1ٯ\rms ְHL Ente"h-)`_J,nŽ ncèpZ\D V1q5hkM4vf)]?[9>gD* Y8hp;tLf"i 5ye0 p_=Jۯ#!y36EK׈GeZbѡ ܸ-H2ɏB2^6ȥu:Z%BWwt})xB\$٠"O_z.e`8lV#-P]A&RBVojIWLR+6]D p/Ƒ.ueZ7ͺ$N<קG,mե.d.~s"KBIT[oh\mY}3ʫXR@-bT<|tm:VcQ{\=$>ln{au%{++ѣrfC٣Hjf3$Ύ֐+hRiP$1LRDP-f譸&kHxN%Q~J!&W3#Iw˫zjO~;*%FmJl>Xs'~IZ3{ޯ)Ȏ,å)U3a / CŌ B"iYeYpޭvNs4f'%+ÁM-c6+YQ NؾuiXQG[c5>ܢ 4y)]8Qffsn%7r.,Ѩ!v'ǕP ޥ3ME[7;] bAQX꽐7|"h5{<֠@Bp=z{,P41! e@м8h/vz!Z0~&sMb\xHَ#e8=71XY5d?]Ȑ(s~o.#aoBJwQ;vrqo'mQշ>_~,}3iO$v?6O|Pdzy$#c?wK!r+FShHJ ZU( \1l.MMn&˭)f_FgqL6O2$sjwvPOL\-*8_rT:l!⋚-(B?aY R$ ty^Fzslt{0&{D 6tl,i༓Kߜ`oN)2|_":,"F 0)%R a&>8#2M]gH[ИD1PG`@&D=wfV^izl%.$&`(;O[7 % W1pugl\J.bc 7˔ŏ?aǠIܼeG 5["+ CXM1>ѽE,;ŀ VvO=/^Oa0fXׅ4Z%CbQGYrRdbBK9" ԎcÌp85ɠ7*ڹ׎2HNⅶ禫#嚰>PFY89T<#GYuW%c].07V$f/ (r2dD9jEFϡ #M^YO.|"'UjņW/˺˘CɬN +]`xR={k Ɖ#21Ħ4ұAO SͦYD6KųdZc^^&4[OW0@)aj)$؈H $ /}̯Ҭ0BR Ds1,Ofp.lZavZ mt=9-yyPsu}Z!RCEUQU+LNbQIw3QFlJ lU>>6ePa4kx'wy NydkCbwF) 1am[mOV>d]PMPW&UO2Ϩ*A^v҆4)zjk|&Eܠxr%؄7֤8pR&7req\P$0^#ݞ#p y/Τ/›AM>^K u8biՊ*8[8ٓ'"$`[f±ٳ-.띡،eTWѣ@D3`wl$:@Y"9{~UES/B2wۨ;Rj`|)8zA|#2׉V3CiKt|]ߧxaWKL0%`EN m IL<4ȉ3xGC_P#u|Z/rP^o>\_TUU.p22f(NB]y]e7ȱZNc\%NL)  Jzc+u\'3-Q:CÎoFoaأ}nMJ8)@y:"v_fk`dq)~t9yK2ۗ16ewA/H{Kj1I?(3]`D:V<"彳֜?[8E%1,<1x6=GaӍY3nr"TrRX[Ew.v㑢M 3b&W±qY-4!eu\0X4^$bGϱ%cs\lfp@HqL'RT]%3UlBd+9up' dv0P[OPf~St;a//v;aӂ Ĩj6F=$Nl,dmOfR"CjPj̹Rr)] _ ]xٷd3HZЁ(ˈ޼-#gYZ25948764266cdfa4238df7519fae19c7c5bd620e1f65d912f4f4034c3d90f597604aaec582095f4a119cdb668092f35dba31cea9c937bbfea9e214d9