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 FFEtLDl ]/ Name_Carrying_Type_Inference:threads=4elapsed=15.476cpu=50.836gc=2.0807zXZִF! w]ŗXiɟH)0%oq_I ;;Ƨ6: 96.b'w4fR_-HŻ)YYh_!'BhRK`A P6J%rp t']6=ʉ wQ2 eLd4YT /Ꮵ\Z 33 iysU{ۖ)Ҕ8sQfk9^m+r*d3ȀvP~K[&TjTrZwW5@uDQ2bRt|*ɞe3\ `Lk)g)r ;>6@3R[PGiջ.-f O+"saZHDQSl*լxS%{M/a>Oz݄f2Qv'إ r\q tXKAQ=DgCцs SX G9^)n&RxPUB!++~l"ZC3\5]Dd } yœ%8{Ih{S%f( ~pO':Ls(+;;!cдV$D>nr_N^5T'(Xw]'<6Q9KLЬA?qLsAo~V '="(aD`(DU>I .^3*,;F .%$ݬ|ϢXt z9C쌐9{q>oUG|%q#0q"AngZmڽ3܊[;j>b@\y)ۤBLtq:gw},ǔ YJ̊\>UIFXB7ZARo15]ǃoTRΫ)؍V'2UI<镍Ĥix/~yf UL Tx~ ;`u=2lGqdR(6~LGJhlڊQ~vXz|#.|C:TMU6xU%e)5j+NQF(q8TxoZ?PUЏ`)XmYD`BϮ Cِ(U}_{H꼑YO=N324`=9Ƚ/&&QVZo`nϵڹ1޻}jnm".otĀZ hef+TBO=)FS C{w;:~jk1k12od auflJ;,ӯ&v'o%>mĥ/R}Fd$.R xj•LZ'/6~@k]22):7EZ(zaF%s/)tLv})q#hݼ^8\NkQĎ i5XJOwl2 q5?`B+(\o\%`d,%ӈ]C|k<4m۵8F)^\J@ڙF\X>T 2E+bl" J=@H3;FG)2ig #E "t},J{awh5F\ HD2mh2sx%G猝ehWb^ h-CBU;U}e8_tRf(40ڢ,:>,l0ep^!n aT $B@|=GuL ؀# WKcr_Zχ0cc7ȞbvP3 א2YnގXJxqNW:jB) oҴY!Cч)2=FXOnjտ[?Fm~Jprd[]d fq(hx0]n|]Z }rGlNjZȅ)mVR(Wۀ9V#ю:ýgN?Yy(+;  M˙&) E Name_Carrying_Type_Inference nE]9 $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($CIHD+d/&UflPfAxEPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~d;PC-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7 Zw0AHj-tx?gYZyE]7 WR$t7ӗ%.y. L9Jbyi"o$_hGE"iDlёI#QΚ4H^(E ~_6լLBy~|ދMHj읞^Ӏ<(~Ԁ5CF2iv.F@vw,p5hmvlwʜ߰-W-P>{v_.{r}K[gYZ3E]3 4Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmZ?Urf< to2M1"T͑վd:{ 99H yCwJ-;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\RP]QxNo~TC&0G:3tI]y8EY+swmҊ7oaX&͖"d"g &  a -E hE]IName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/PreSimplyTyped.hs fE]EName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Product_Type.hs fE]EName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Lattices_Big.hs eE]CName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/SimplyTyped.hscE]?Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Orderings.hs`E]9Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs_E]7Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fresh.hs_E]7Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Arith.hs^E]5Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/List.hs]E]3Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Set.hs\E]3 Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs  m nE]9 $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($CIHD+d/&UflPfAxEPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~d;PC-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7 Zw0AHj-tx?gYZyE]7 WR$t7ӗ%.y. L9Jbyi"o$_hGE"iDlёI#QΚ4H^(E ~_6լLBy~|ދMHj읞^Ӏ<(~Ԁ5CF2iv.F@vw,p5hmvlwʜ߰-W-P>{v_.{r}K[gYZ3E]3 4Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmZ?Urf< to2M1"T͑վd:{ 99H yCwJ-;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\RP]QxNo~TC&0G:3tI]y8EY+swmҊ7oaX&͖"d"gYZ k kV E]I dName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/PreSimplyTyped.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrKЯ\.݋ťO!| E; 1!GR5@lt65iNH齗|k/1-41S!0ҵ ju5 LWĐ^@cffDdA4[)Mr]%\g,ۅn‡dq<. X_ Q*z+v>;j%LkM./+,eqwD];:TB83Ϫuo`Na]S A }4&^#7d zllCbY唦{L9u]w?n0Q9 _H"43stoІ3V9ÇdT#8/%h \Ƀ)6ޢ@'CW@I#M~XA?C5G ʞ%6Br0U,X;n ׫s_X%sHt]63얂/=Ԅpvv3(ǁqtrWpvPvs:XHi:|_S9|]`sTy}E'msEj[@-A^\VF̕mH3lF0IbA1+7ԇdJqH9'IBK:v:#޴BVhJ̎_i~𼯁^uW=R>Ci`2|\~VK,w>P5 xk`*3a=GR ^؞H`&<*; cm+uT /wYLSjٶxXQ+g%@TNŹO.xLxY(:FL@=m}!]@vZ1ljnsgYZt E]E $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Product_Type.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C/߉u!QdUT3\de8OV7}`UuڣL *f΍y-b]hkMHV4J{AG&]t/f("z6E_V^ ~Js(@E7 Ԩ^GJ|{zY,q^S SG eњ@Op&s=ۋy=v?8nᲴ9w "~0!p Cҳuy^Mv5ں?+ qY,Qc,epʰr,-Aɶ\NM bSFZM"]q )|c@xLg}A=806HQƳ]hٌW{Xʰ:e3d\ /\GN='XܷFnfi$G|q3V W7;Fg࿁7,oC;d$!GxZj k'K"F0ϲF~QG([aH y)9@HV::^v1e`?N!6_0f..#d.fhyBG,gYZqE]? $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Orderings.hs7zXZִF! %]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcnffw=ch('V|ߌzn/V[ى 'U0BVN&q\ݤcl0Aco5@w\0 }/TzKi{, K} .I"-멦9oOnG20yXCC=vDUDbC8υaH5B_65cμ&X_4,Z"3WIe5bW=}ES3:w_'VՃ o9A-@Ĩ1le(gYZ MD[ 1F tipX}}p){JЏ-~ ƾz>hPi Iw_TIm}Nt|uO>͖؁%X\A$1ۜ Ki;GormgC5MN:]/vtgϕҒȔHVMt&g_di=X>(v)+_Tdwx#0z y4Y)EonAfR;CFVankN?ZxmfR,Br׳vљINƜ ǹTe~xKyHG'wߩ=&h'}uH&m[Xt8X܋Js0?*uO.[9GϲSYpyǴv^NEnzvT8ԎmxZɮ.N-60}N.X&׮9逅< KhP_f9w9,9FXSHE vU-uщOŬ83/̣BUi`e\dbEó^Ya3dSF5Liam()VVk[0w[ =+l]pP?{NMUtB}`e&V:ABZʔܓySt!$y+kaa&ZKO>!J^p |i"٧`]n魓;^H<(x/!P8".LN4\6S1GSe6{vl[Q4:ip^A2!ʄ|ԟ"A49%mBr cx=@ 0aG -}JA0i-kMf eK[UM;>?O~7_;GRhGа9 <֩2$umEb6bLRQXks%M /{Qe2R:Rh[tam0#=jNkגbuޑ(@y#uX.QA;pU3VkƄxw}-*EhĞ15Ѓr'1uMw.o UqOx_ 6p-"*9kEV4tE[3qd$'Olߓw] b~r9|CmFݑ|:owMKQ~>@]%)h%A]s<=bD"C kEmWQ2Fc|*էj]ĿI<$Pr:Ng~WGϟğȈE Oֳ0/Z9?ť[}RA>}߾lд\zL~yξn\VA7h-{EBU[?5̭@jCp>iҡp'W<0<ævNF[Mh6H>Ruc^AV($|&i!jhZz}Mo=8 F?[C$+o+ ȖV'cD30"'6Y%?_DVKr~Y*&= ]̬GU5Ɇbj\V d*\;Oz#",no,F :Nff/ڢF" ܯpc@J4URqP=?<6`"`p&^"$qxi*VBrNuOQEM8;Ly8ΪpUb# ;)=~YARgls3=qH yeJzm42ދS^<3^N}ۅ*h^1έXHDLȑUMY>X@(%)ڊ֙^,jT/VF@T.9Y^(HvZRD-r .>Q=8E}dfp/ع.e u"!c_"M5=8;w " Q66[FpީbG]D<:\ib JqQ׺AYU,O\`K V/n3T#dzY?[= tqŀFoKa8%_UMcJ{j;2M5:hI9\ۚp4o")}^FF VBv=|ܘk '"{j_X41:C9@?ۜnp'NOum+sj_Sm@R.p"Z/F8~C>aߏE^:uo]+cr\Z+&?<"C[A׿ӹΦA1׌3--zeMT[N]nۈ>iVI|a:9R> Oٗ z"ˉnqOݳLRc?[GS3fb<b6HG6xVPBY3y7~\ pЮFܘ1\T3pYicʶ kv9;J%)bsN=4fxnu`Zދ"ڨ>ؠK ]@a#o#V[NF s _]Ҋ! rCOhGCq]<tGQz\>c5\y2ZNevNxNEH۳߿ "H8NqPis\Ô ?}6,ZD'S$&މ;wd'+S-wc G⪝v`iEjťKϚBN}˃䚸KL褴&nI_amP`zg4j{:V *TRϹCS?z y>Ԅ,dun`Ҡ ]&85[#lgg5be*af FAy ]K xY̳w捷3IOU&mpom]qBD9KָPL\{iSznFW 4& j *K)86H\~Ŏ|U):W=Q.79 %W KK{=bvuY4x ?V@4R807T0Yy*~,ɋ>~)_ס=YM!7|S\FM~vWYm Xؤ6p\pU0 fiT2mEIiCn%~I.K6N)?Sҥ)WlmڰvJ\%&vazEN,{VuxI*jM@7 rxDbb))˟+|,9f5w41bF.W5!̿eڟq`@gxB{)S%/ی|N(1sp6E{ n"jX)eDzUۡ9$= A+=_ρVa㶢[BtZYx3ARɓF7w%uy| [7χ3V'*[Qd,WCs*n]ў*g\a \8]tqx\;mɸm4¸gqAdB͓Lz%V(k-?27#M sǟs!cQf5Գ1bF*@.Jx:wҮ_Y}?Ze gV1fzoB&4?0~/6 !KaO{mhҤ7})Eh 9b錛UI75HW5CU5dl>~ qhcm9]b^1Ct e HϿK`~a{O'l?]4Ecܵ@_>s7S]k?Xf- :j{^qjwd'6cb%]<~7%{:i}[&6vНFa4މuF_(#.LBN|lMSA3de pͶMEĂ =7ґdQdmBe$R6P7K4, 3h0#O\}6ő_U &geicϥ/-G;0wNP;/$g0 >&R)|XNU`g~xENzWgJ4<z7N<ӣ"0>,2푪z?W!\i7p~_eaW5VwH0DܮiN}[;5쁳?pȋ -=Wiuednf5+G=nY$sR Պ/%KG'f{z`ܝ $B6"o%|bwl*:aohO6Xg\ar/6nxޣBG_k@L9{De vg\o@s&5D"@@sq]6Apm%C"o0wYpו+c ;ȄU"uU +/r^ȁuVy+HMү& /(G s"Q3uT ٯ֝r+Qg m'̲_ʤMu[:ڝAY )S[ hef"bysi%& wPёB&b㽫1RM:~>63S2*|'Ji  9V..W'pUɯ-v VB(e#5.a_("ODiVIGUTJ>5BNGܼQ }?qaWP߀?x,RNkqAh~ ^\/vQQө!45 YMs]0їYK5Xpp:j9mLBH B7NP*^oʿxxPїbH6d]" 0M%Qj[FVO_t҉Z 6ت[z6tMeFO϶;m/>]8\7.UluS'{1vzyqdZ)Oc@5X!8cX孧fq^5*nOLzu+k7kWV 9zH/%_Lp<|'6ZO8#35WV# BҳQOx|^e,}1|ҏfҠG \ډO~PϨ㸫[veC Pe_G 1 b7upVޞŗ֍I<X_>$fCCI{mK(YɹK]9i Zo"IBsش6YpGz a11(OƸ0I2+.f]ܡA l5.Dw"u|caz=}HB *`*xQT^N8%w!O `5kup u^SJb㣥Rx"ս/ MuۻVOY| aw"/lZ#QlSïBTAe8tTQLsܡ`0skS: UgużjP/b<;z,W-dOk`c߀IN X޾'r0bEY:ܡ^[e:FW˚"irK5I3f(%Ra ƃ0?}9rhWZwAnE+} CHQ9j|Gg4vftV/H+ \Mׁf XqUL+r~xqoN9"eLLTnwR^BE/-,,ا+x8^XAQKD`KK:oݟ4( %_h#FziN`#/NhiuLqy6CߌF]~&0Pf =RTF͐5v՚$85๢'bI.m@ \LFa ɟ0)A Vr ]s |i>b=}ЈwJQ0l !N@J1Ϯ`k{f$y 7<˅ WrÌP[]fylk׋eHB:ny\^ TMCoXe#Bݿ߮ţt,w,!"CwuQK$2/r!<|/K4Вer.wP `߫n%W㟩cwL,M;&m򰿁?SY(@#-2>_e[39d I-NhQP,~}iP, ތVX,ڜt (( `#Womӆ!%_#%lo"B#'i|c9Y#Y`Aٹ`O?e0\ȫ)_P >9ϫ%(?HcncTQ./';&vuyQp pD(Yg:CBc,9˭Z#D@ zvFD}dC.6[z䮜}-vB|p!zJ<9D'ǹ;هt|~C.ػ^b To`j^6y2pFj,q@ݚ`ȥP9cmøbSol>k_EYG/wNMfq㫍QF,U{֮gえFΛ<[v56-c#PcצrfB( wBt%DXo1;vC.Cm\!U?!LJ3.%sPߊDmہN vsEbvlί ZmR h>4, J @is؄o*5m'?s笖/7W)jb}ڠ4i4vd-e'd5,u;;צ_3 &UPbpӵ >S4H/sw^n0E$r/00xwnUq3 Ck4oy16d4R{kS>0iu]xuʦBH<ɏ붻;C?&j(nYh?c?U&%/GB'm`J-!]/L鮰T(VFbc969֖LAVz6+!/T(q {la`OaŭxNB㪠01bks_w=CDb@pYB]:tv1Z80n=x|xr2z~*|cI;=a&j">;M'{q. ۍUe>cj<<ⷕ sA9dWSX^$PGe8Q>r͹etuG_Oxf`_S5[*[] C&"ϮcD-Sc#CLDy%;(PtHB:JUeG`68s7և쯤T&\3s0Q h @#)wFWwCt%FmSG\ OZ] EMٝ q,kTݫEnOF߿G =)2[?B^,aq2I02gBci#,RZԩL!PN 7U'W'˝}F8QiXSFe(Uh1:hP%빘Y G'۪ ?y=Σ~/:wj+PQ:oPVh}El][h IP ,YNMZ*q\ ph!! ]GR2^grNŸCu?b<}" ^j].8 R0spG0KeJM着Lm#VZu9+Dt::-9-e' f!u@W\R]*LY 6 {iccXiل8IdGV>4J\68 d@F;GN.0$}<.3= nؒ6Ӓ0Dݽ#F K<[˂ o?,9 !2j'!-2Ru5hH Å[n.(TiV⡉`- |g\;)5W&|IFMQD6#eߞti(HuJ֦[p(v8Clyb|S&NpvIBu",i*^QaeCM)lrC>C:)~j(KMS@V~'ڮHʪ2xbE83}rN!s.{ zq8ϑT#YX1]jZ;@󒉒v}iWPU<,|A9R!˵M{.}K!j;ܐ.fsʼ2@a6%FLG&W${lQ[p4-9`1 Ry 궤o^t↥ VPADl&9؍~ s7t\LVbΒ`}Ho\;"A DN9Wl >hT0mj"D@!a0N*>CDqXIk侸[RWݍ/Fو&) c?'Ey_^vYZUecgUչ QZWc^k_Gm1'BPuolBz$imMUe2"BقѮ Obaq6 :GwC$ ):Y/vZN,Y'䲱K_22MV2O5Ҏ>zwM8^5Xd 0>x:EDCy쩃;Yޖ1Ua3&sDJ*{ U*ҷtWKLR|n/=ݾMfs;-kF^^Ĭ4 ~r^f'5{nv_' jr3{|QdX"Z II2-Wo.lrz NsɢV*ZLŻN`HINW̽) Mu"+"KbU$9صsW=;N{Rvj?iR~KJL×$MAonFPTVy|\EI1H؁*Ğ63x, <@Ȇ]=' +ްPJW&~j(I<iB*L(-wA_\$C [#8tN$)S~PDIc6TF"[g6Leb)?Y >?<6Ÿ\ܨ EP2~:o=X Lwߢtyx&@ZZ}&&gq(yـ 6%`3>%.&Hur6Uӽh]ҿMr'\\abtH'|HDN35xx5|h'Sa T@<(}"۫{$/qd pd8jUQ/{J#gJbd)y>k3ݝ&#y5[HL%Eđ4HfN f`oI^Q2<ܤ٤j Y ^^5y^wvE O SF2,`nrׇ-z*,Ȼk 3nkf8?zw٨`kK%R65xQ]{>#=B=X`0cf V[KIx|T9le`ZVUy_d2l*/4zZ0V(B@@' wqM~?ֽ#bVz|2=ׄBtʼWOY rB|s+ɐ9l㰯RR_ܦe, zGCbok_ q:3`ct7 *ꔡ͚=i%^zNP&*^,K>zZfHEK/| K>Cjl`cNQ{_Ӏ"hn ȝvv hޚ@nUjh-hl[5.0n;#5z#7ǕBXOǘ#|f4v.Lތ%h>!ʩFN8w@C7za/"wu@]6]A:4YUwѳ/Sd",4f^`#Luj@XtדbͿj<^-N.ҹM%o},FC]tBzKQj8N`(?~rc8уf YA-Ngz*swEY쿫MTet.֝J.:J34G>JWÉnȨqmY d 2,NQ.!K\)0 "^K93|lڬňf+5h?m*#  \=u!8#^e[;ߗf9?ߜ[ahP.Jha KyzCɷ[Qe$A!d\HJ!>xJj YZf VOј bl|:B pNX*/ۯgHk[ (`KQ2Ձ#ȐY"@HW-6-2f US-Z/3i]as?6UL5y(sRA,^FS\J@PW>A $7o[@m~@cǬEt@6"Cp4c7S=@g1ӵ `l IXnAσ= @tyo]40%aDU)s ;%^`sp";(7mqJÊ\ѤjLho o"2ԷY#mpZB%/JXb;X_kAG_v(ݎ}8# t7KFNHOY?=HFضLE>cn͏oUo#͹M^8;'ɪQ&˫_jnw--^6\ )mN)z "WO0SGsU'C1ͶmiZʃA.ι7Z#\oZwC?OEq}-> `)q cF{i#mPm; ݱ]W~2A:x_ d 4 l$+CW4NFacǨ<؄˨H<Ŝ>Wx`:Ws0gbh%]8mB8A㘪Rd!\y~^vqPچQm~3LUcHty)U¦wdCns'v$9YqnZ`C}H og!AJZ&z~TѶ\OHCdBqdn@X-LO)}ÿJxv`Ljwv7`ſ!xų^K-md#FR#q͝MBnRQG|\W%2hvH~NbeH Ia(>(;χy9X0enǜԁo58XXr2`&Kuw~|z9PO}섢Eߵ~2`N , (Ɔly]|XԞ+e/$GdխIw˗o߫ܰ%T/z1/ @[ {Pܒ =Ykٚ@ dtp% >ʼnv&|!`^3zJӜd55g^AZw|2ʽࠦ<3;BQDg=l`C..kGQ)x51h&?-ɶnBo`,MwNe^g"^ TaoNG 5fɦ3e,]˼'C?9^"3 gn7_.z#GSr:#4ɋU?]"JS΁gqHW}<N׽X0iֺ̓kVuw yf9RP GHae4m[x~:k# ;vLD,^QֈK=? E {X~g0!!E8+Ō B,ڙ VBxH߂tA[|BڃfT09Wyoڵ+CŬK6¦CPUH7|ȵ;$6?;1؎zJHلy3i2_xR„k@(w@]\oT0!}K} ,'e`W|PsԈeR%UU2TPFJÈ7{Wgrn'oV:k!ljdG&_rF2&O$!lט!o{vEd%?Xs\ko8P b)>A pf4װ>,`끺{zt+ص eb4yZihy%(q:Cz.Īץ:,q[Z C9u[;a]PHeb@t"$Y>N 1VBrz,йaq,_%@\ 1[ڄ> %r ꟞ihwO˫J" kadelw$h$)萈 '8f cI(U_5q=_90Akš*+!Ժ ȅ`Eغ;>h ^Z}ļ}O LQv[s ?sɲ >7ɾS408^{(X@zz4 $ϹTz4C"DԶx%^I䪠,8VTq_k%jOφ=Ss'+t$E^gLJOtktl—Pmc]/0k 1Uӥ~x6 #Z &FJ( ,42 OQR|r k+&Ng)5Gs3Y{1[\l;28x?Xȉr$~4f=ໟyLz7 ٿJw j)sgMM6cEz+d/GrdiO9R26t/ⴣn"HEӵ<9povR3iF ANc%ɀ,?Q1/eSC\zbG5ФʃӗI zI_ 8ׁ^$BuH.tK?efb@Ѽ|Nkcn;t Ѱ^[fCuH}؊~{L>Sl JTm)L?KAFoeg}J5ejWch|diw}:ż^?͊ 6VQ^rfnKIy9[KִU>p|/ 9#T+aiΞIU>c>bM,i42)Tom3$c]wy9 R3,/l\XaQyYLN NJ,qK[ _h3)쵿_ 2ruHQn֎+Ge2j!}xcM~((ԃ-ƊZ*μS:(M8Cb7qRœ?# A02[2|xY{jZN"E=Z$&E°nDw7籘mF{p8b@XH^3W՛_@9! gE5q,թ`OΆ'v SMUM1$p0E7m @oc_ZجJ-Uh '' 5ڧ˚m$-ASR}~ͺSc+K/Κ*FB%6P3&VZC_i:M.,||MŖbbjEFn4@ȧ6_)T^H,פ$ lEM<@WE8CZ|dHXǐ>Pqkpq9rA b9=|Tz'(={oN,,Qg]Ys&UJgGZt ksyLEi*NBrýs}~ΑxX SW9e+uo oCoOPhͲw>B\~ 7XI(i _/骵Gg-ZB+͐ -w U]#=I|0$sjq v`³nHo4m,URГxuyg_M6>w󁴐v6tep7T%h/W6DyGvTc%ԑQZv}VP^ ަ4G kE$`>(p\@"V'PM:::yD| |ӠrӬZ崎s˙ZHT`O43/V(]74XE{C)<S&y I %-f3_Z,ȍ~ B@>/o22;MKnKm!Zlfdj ;Du."&@&6C:u vszAvjiൃx SVCq沵4^98Ҁz(p' x.FX39XPVp$#d}cLĞ+@w1ۦ\$="܉F{#z(X}p +ظRzu<`UBE9m`_MKbʤʑ) O ΂ԩS"R.N qEI.;5bC/:.1@*ۜ :E١uySPYiMdh(NKYg_/%$ė]QL}JA͎`s"5s. Qd7$ֶUыh,WY?h(vhYV,MfՃ PK+ vN K۱[\<24l׃˘ەw*"聙풇M=QV%aA=k\}IEeh) Yc eP_KyLj>+?KAbRkB7,_\ ),mw>@7 Db†Ral-2^\ J]Vm;MXb1Y 0|?,q_F n@ӂ(ˑD hD?^ =HL-+G7ʅHP>б: ŨO@꟯%./,lwDR_wCZPvv!ER ~j:p O-_q}M Pfu*jϚk 54ISM-Ȉ "MAK7RH\4~Qs3~m- .))#uA)br01xo MzPڸ6T~s\?N01 nƽX՝=}lb}o{4'BCk{Lk s$e0NCC~-d{_Q.:R"Ӝ~ 20C X+%[A&M-~-؈5_;ȭ?$9˝fNeHZyh :7/9kH.MBn#,6 8\ϼ$j"{Kl89Q쾝tW{oP8ZCCAfNԁsߌ|4_I hbacSKge4 mf1le2SI} m]M˒~=9 (YG9p'ceLz4ϔu3㨟@=V|~41:Bzhx+$掠 hg*=0 4ϥ95gU8|v9^:6ySci`i39σmŀA /SDodF494- H))5@/^6Kb}-@!!b~z{RB68}Kn/SNTT͹ FdcVw5$y2Zmp3Ѹ`k6jvLNJNgEV;HMNd7) +^fON+^f*6fU |?Yg\_9Ц%G,֐Iɵ+!nhAgl aM\רz Uusօ!RUV= W>މGw<bNH_u"191"@SM HiG7%CNқ`+JT[>]"dy1Vp?7 ~ CQUve d oyQ2װX-S3?Lq]\&I̖_PwVI_$6zj,ͧMԓleDsҝN[nY粵M#XMY3;Z??}d"JZ2_YCշhYčd,1,8$N,-"YϢ R4(<*`E@Q({ 7DϷ#=\.\%NK?44-sE_ jBkh4xLM/&Y6ݕ %n=F,=n3&,+*sVm%e#x1I#W{I]Yll]`3z6+?_JD5%KS&lmNj "+~`AIO>֞ fwipd Zr\\ M_Q!(+G[gy<{hװπ'& 8y\Olv}O\R]{pIZ4bP(f NLH9k߬8<!> hI`R_2;e[v,e'-9hHS}Ybh~YBHFJt}?=U|Kp TZDeU9܍G6EC̥3mfDu?3^HFÁ^ݓ#QiEdv"֘3{ܲ/?/mӁeI)TiTd-wߵW?ynOz@;I):S4]չ?b'+nsAIQSGLW\utTy !ArU"$ c}Yv FS g=SWYG^)+Qg!'܄ G~'./EepWP8fxA+S\wJL6-S4q;d`=a?'?/n.؞Y >dR8eK!ho.Ҡْ'c,Q7$/ӎQ/6Ytӓt?"L$H]gҶZl`#MEx tݢ*uz5H]5&⑔u 54; ( CB㗣lStV7a ɸPMnT|CxO4ָw \ x\uLɷ.&nQHZ'dc:?i/`2*x{TݗxW\oq C2VR-{|KKJ[竛w`>ݑFOF/Kc6t&hIEl4r}{xp#P @x{EkBEkYx.t9#PPe5]ڻ!0tz49rE>& )q`h$Yi ࡳH6c/E"f,S?G"ڶxy25 KucWs+a?YrISfhWs.oOOe]ߏE";VGx^j̬VƅMxzـh> l2b{[ UHC 10 CnFZ(1ZKw{<_:aB~={tvF$$nt>~R؛:3w$ ]4ѿի!^pE3%[<D$L&FX9"+Qn 6?\xl;UXR?I 8qPD'<՟c{tL>^2piULb8sgev!&$qʯƺX_ϛ !AЧN4 &,Kjx]GQ)1ăuYP=T8ѫj&X,I6E|aZtV5im\qA° ,acv\n3v `g"o{FFÒ%cuKvsΓ}xh.~zۘI/񘙙x]waE{j=[Ek^8*Xsj_E:'md_W_ :RU2 dg5fq@rc4N;BL烢$ Nulפ,0d#G-RHm = \C%ٮLyto T ZVWכ#5&HRGj[o6Pl*cA 識cY;Mr$~=V g_w2/aV>F!z͉8><p\6Uy[NMG D4(c TR;he4-ڴ$q%F>b|.Ț㿐m5g&8,Gb*CCwL*L?M^L6!9sth oo΋}Z *-0:=Ɯf8|ewH]7T D064m".QѺL)A1` NՀT͘՚`z=2Xg8I΃0v Q(SD܌ҝ,=Sʾ [8ZT(w_Q0I mZ܀ݝr n\e-c"#֗ Fk:/ފs`0Vޠz i.M +||fubM9{Gd W 7:Oi6W` j -DokdKS 1ڈMWs`04$x ŁVՔ{pǴ^( USSm2'Nwc2,ٛc?{W(`ץB/M7Kbn8~s`ߟVyK ǭT;)J:[͵a 7ߛ!~Vgy崭m+c>h Pk/kGRa}yY2 Nx*%:Jhq=#ɚ%oYU5=ݦ U79gUiG#@Oή? \J !ّ鸊4\L}ȏ`eͮ~>u$d V;0l2('G;uEb3c [,D :Q(ʀ 0gءz[4 `ZHYvETVmB6/u ˼)B)mnƥYu_#)~bXL/C<@<#{{Q8h#Y, ;`x|X?VHE!  %Rt'c;5]v]8 xAf)k ef#vm]gŁ+ mg[(@VeA ䷾.:?ҹ]w0q6FَLfsC "ENAR{%b!6 }wRw ǜ(FGx4YD%F%CnG<8V#YS~ԑ渑_溬~OԼ~D*iTKXz;SʡJTde>BafRNb #n7 TiuTTWC򐥷 6bj/k"v7픾Wb`OM Ͱ$BTth)  #%>RLlGF6:Zh'AJ25&b/ %:+E`(%$V] e>VH>6S Oޘ&_KBf\oߢb􋇴6E|[Uic(B-/@`vB;f;g_!Uq=q^$6 GfTDp9X40rT,@[SY>)2sL4jnË 퀚 {LI{^]{ RNݣ77FYg.OfEw෍QEI_DpLWtQfԇ[ EoqAGf$$QHq{fo6'4Y C;`6 LV:0\O ^*1T[߻'1ɮ)tϜk+_Aᵦ_fťaD^B\H(yFFCc%~v9Ts\0-[T& ɡ+m 46w%XT; 98Εxbtjj^Mmmy[dƝhF)b2Q MGޢ5XS`5Ne/K=l_&iK€Ӏ"7{788(0<5X^DR#f*EF7'tI*sp.ƎNCx",p:'Π.BSP(&fz,H|\ikOz,rFt xTL7y77AS˟b{nm]zSwax!n?uDe=T-u@ܑDP-ƟHif ƘuXވR@L@;tv-z&v ry73q!Q9C*Q 8S$ETz6yW픴#>vY:?>i1ƈĊs+3$zՠ+Y>#J:#wiUWCvcA1B=\ڼX޻y}:Mosp' ǚn$mfЫLk\"X2ZkHP/ĪG)_$7K(metW(22 萰I7ӭ. EYdmنaPSZxX9Nh? TJv"m燦A9U,w\t 9v䈓;w[!LL EUM BEx[@O@5f0`1 A,2Yw"AY{Hls$ LC3l{Y&}k)\%2`dĹQB9 ;ʟ%ѥ)pB,fIاoBo٦m+nF~1uHexW~P]'ʃ-pU~1M~>@}n`\)<郪lo!/;J5(rx[zog}`(EYl^[Z48BAjUhZB]'3~U iQBv #eF?Cdґ’R o`"JD m2V:":EהV{"tͰV(W!i+fTBvSYNA^#t&jʠ2<;H BBx$)u{oYt bm𬯣Uf4RlC (c/TVV.6_p D7Sv1`^ᙎ!N3!,aUi{&R5 XFB6(u "6ȣY5i+ڃ#HgF0~.zi@SHpO:jgYֈSFgȧ~6羖p?GGbA>(pI}8VwGJ0AҰLhd$`Cm>"ZٮW)J+8f+;K z &[6e2@nՂ]2y~Ҳc#oG/%`6yf]Ӌ˛0Əv@:hH!y1qz10`~q:e臂IqG| kS1?E*?ѕH$69n^ VDԿv;ߴmߕAiw͌{~iѽD7eW})nC qR#$}Q{BauiډeSr~UrI_XJ *Rzw0ۑ`2#0i4+#@bD{ڣ8Ό+weAXh?GRJkeo0>6-qU{iQuQd,O`9v<+a)Ok$/4uȎG/bd\*[ڬPsM[^8ݙ#63 t ݫ>By֎#ǭ#!&W'KTS{RvT(^4$hWa<"|Nd9ƟWT+>Մa}@5Vkى d22AXH`Y3XhY/zؤlu*k]?'2Ut/nŕmC- G4YRntf, tl hU Fc r1PLn|VԆ50yh-_ y=AB SxL?71 F":ZlSTZ4%.V 4zjtg'gPטݔF^L`2ϲ<0:2/&AO { #^ 2hό+ٜdeeZ7=,[ bj,,voZD6x/$h?S&cͥExg,½O;/|RkTMcdy`uI-k#Lj;aN\t9#~5d/'h"(iI*wRЛ}A  )8zk)w@jw'{4!{T3 `Ice>H=#dobٵKc=oԎyaj6*r@x<?[mw<%!GvkA6HKOFݦu`U; M f ǖ-Q4hh12/i#ekK"˃N .jP=7|fXW;9X<$#y,g%Pzl*sr)3QM,_j !ynQ*)Ѷ0ut^ '^o,j7kbPw.CrƵȎ%Q~a c1&XQMr'CمI"*8`)c|q_1y2:KKy⼣3&C\1R_ x>zWDI͟#3"`ې~4a)ъc81ZKž'ug-1["B񃛉6\hArZqՕ9Hx-&e1N0W$ʻ--I#XO+wp{ïJ2XĦeEY|=S1CB8s uhw4þBJ5Ef"S[=ŞͶG!<Sw< BFDu9a D +)E}νA :B*(?" /*C-ԃg6+py(PA$a}V E 8!Rf1OlDeG!4s^=$l33A4p(3NJ[o;#]>T]\%0:aiu |[Qq%w,DoԨn+N[帇%'qW1jH>hd[ֳY+`Dk^53E6~*Ax(Cˆb3"XcсPH``p M>N|R޳hyNt/tyuFfgt.b,6m &͈7Z:h|fP"9\{09mٓGN}7փ#s @ P_E+$z%z5hj#_@ƅ&ct32%w& XieKgK̞GtYDq4 ئ)3;횜ACy~(v=kok~kH0{qԶ:KpM&D5$w4{鲖昀?E{z{&m/i[f 0 "IjܺgDuA[ ~K&S>dE.@]|vuI]Ǹaٽa sظs`j,p@$k}%n?.COQUFL0[%<^]^K]QJz#H>Rm`ϐ6/<[Fuj Fj;&勐opwl $R:H iH0Il>.{7pG8_E˿Ljf{/SO;єr=^Hl:L "&FWԫVI1}}VeEz`8aZ"9M0Ii d)zGIڙW [.{:j?NnAܟ?b^=sK $dQ811;G0>׎HfiUFv/bu> Y-@ۮ&8vmX6}X?[Y}p>a՞WbFWLl^碴 } D+Q.h=RH(m GQSB%IjR}1pPШ1^ ? y8.sUi.i i_'ɍV Aa%F'D+wԛ JͳߦX4#cCԜƤ ΍E wX7ꨑuuk8JhQ!؍䦏jιfnN-oclǀ"'Hz pl6 5)$3%'*['B/ݎ <;r4X-V){MF5dw,`9CZpɊ٣M g&8qxf(a9͔bZͻ"f0͐X&̠ma\zZ- MDL>!KKngs!QFMGIwI crR-tba4HGVZ/up4vn$p.Aobay"uI-y\[9{ i|_;*튌Qv~a 63~*,V3QG+ܶx+u8"5\zcTgdBR̃!u"%X*yBtxAM?3m"od.~>)-90촄fjFp{$t%;|eX]Vl$7±_(sϹH`('T VU *LI'Fo˟ Wz֩΋*#ؘ93L,496HM5EXTuC 4IK.3y<.F~#Â㧞C@Ng,G* @deEe`(4͙1':'GoZ^j'b^ 8 7' +̇f1+#q(ߖh_!FǷ j8f̘\y(~-_WGz1ENc'?xZnly~ 0:P!wiv[oϪP!m.f>Tqiu8s"iw^[Ӭt4\~k8h "ia?_%EH^$w`;FGx\3^tH{oZN# )m-=ȀcK tvDp7c MU#fm}fc/=ISZ9(U;_Q[7eQP&P᝷7lH鍰E$X<6>d xݬG}t2^sjN"0ytSRú?ğb_Jx$'H"[*e1l?!]n|jBK]*lf*/ԐK[rUQ{鄢/[/^IKba 2Q0Oz34ţƝ#ǚ>r, }[y&܃L*6ڍϯ۲Y=`Ĕ"Q#J䦴T">)j?2Vw]W I^t B va %=zFzLRr4 d9 qŚwR⒡ͳt@܎JE겚Xbh"#!$ëB"&mw`TnB#g]SZ clGDކ?q(${: 2к=8sɾV%YǎB3~ ô0}W :[Y$>B,e9{@p(4q'd({-P'5A#0|fE$yW7s/|/ bgiClҧ5$s$$T$c$$KϏ?ZUtk/ ^6hXXm?:Pmy~8JmA 峦 `'dgYЦWH!/*Hj+a16LNY%&)\*BJ6=L%v~U|ޤ 4F_ f ѤrE6̮j PYN*bԅx|K$Xp,M`)Vwx⋪6k;ZLž]o/.<1,]ZloOܛqAu'`rS:9Y|T{MևxemIFZzLOsȋS11g*AsFgmD{՜>'J00&uMjc`jG'w"2礐)Ѩmnu#71U]Q¯"Sx|K_׏-򏛙#(7ȝd%Y_|?ն+nz뽴ru`_?w>/]V#_v ]IBcohٶZ5U3%^szR ]7C-_9O$<>2RU4/`Ćڸ\)>_r]2*yI؝ӥ[{iiF ˟(4\)!ɩڊ<3qi6{+&'GXhCƊ:3{գPX6o?ЉUmp%PvxرCBfhc ;Z|'qSaP&XCŒ 8܍j Ε ~Q1ThLV*@:GIn ' ξIJiuGnu(մʠU\lW|a}=[mAR^vNjINEPAIU 55rRvnoiTƸ d{Ҁj辈帇@3.ސ<'l:eڽo@ SV\ i~GZ 3ٺ6S'ixz:{Qmt4jr!}K/MpI5b&lփnܔ @zO+~I= tTv3#4bbi 3Ai(SiYe6lfcOQB qM>𶫐rCsk6-|mI XeK7pQ-& VA%s *.qD!`2bDKp8` _>XZ }?>)^JEQɤQ )=OKj\D 1mxDX&1i j`+Ϗ4`7uTԑP"1%ZBCEp\ X!JuQoN K&GcvO5 $?i,l k t<|Yaa2u||aƠi e ֟+_ ӋmR>=t?)SpM "Wr>&Ӻh\ 0 !^TU4AvlOwݲOo4Ro$:qm-ְB1Qy%rXo_uDe]ES̖`ڇ9+̚Yù`A>@_X}ߘ ř Alo5CKVl1 RVp] źĩ/kz+l`]2uW.%(b&zA>QZ0\gveT9LBIgr ϋGnF6Qq$0b l@LW{ΫG ,{CNN 0:p V X"A$pIt׻7Yj%B36yNpl5zha.; %p{X!+S8y& ^S\cyTXN~K?H0ZuhzbC,B>o4MǼ] }̾C$Ȍa`xWu*P^Wٰc?ݺC]AdMkVX[;%2@&'&– %6 eA[dJ@wFfnx]Ԕ:N}xsYӠ;\ 5Hs6vgUΌrHDW 76[TC-7M&bm4c/VdN/O;=C Ms5!~N:jsiK-b􊮎7kRٜ'o}Ų_YJԧ%VWq(E"Qf;ڰ&ŀ$hϪ*\d!_~洘LP4 4l-d²&=:%\3\s& s03#~jrʬF+kxnίT#}@SJH:<moŹSՇ1\&X ]7h1bkko%hu=+K,`ћ[#&3`mPs`D&_Φmԯ[,hQ4F+!Bc aꡮSNq2~ jV8\xp[~xaˊ30o b\GqDr!xNR:4UWo,gh4uھF x s+\H bdMlEiz0fbԛqa~'-dgoMt+=paо gt.=.::9Z_^sإGi7P+Z>\b%,5_#Kξ2f_"$SI\Π2k˹`Zww<Mu 'RRw?6TȖlD9c%9ŽAAAQ+|Ѐt|x.@$P؟ ,_1?/:kUU_Lۚ{,PW>N;㉠zJΟR pi\RKe#G*~v7Ǵ` G?ïsQԨ6Q L$T܌l]Uεښ J}L5Q㠈$4{:ȶ9/bq=)MiOwWWŔTr69]"h埫9]bZ_hBvu r Yp'%@}E75cBq:_ A{ y>}椁(?E$4Ef4ᛉG T(YOt2JYǍ M:Xi'/ieǑAyH4JOfLG![ROu A ٠ѽ)sngӫn}|`8+j$;dЊtgn1(3 8br '9h4 Aںra9RBEGgj~׈ʥIF UGMyq¯Nu@g:?oH񽠛`w꜆U8*,[ME74:$BplܡI{}ǀǼ7lo lB~]D֢am:Pمt\9#FG9qrNj*91MDk{&gV䩒2Fa%UI4P$]Pl|Mб擧gqr|.V]V\ u[.Q(S,">An|݀m?ӻ3Eg(ܘG Z^{1ׇ6_+'#L X d6|Zrrk2GN-|s#}">Ka" :&}B]%}2叫Wie8Fp,6!E'h40[!Ѡ o@Dy@]yK[Ѱџ11ۉPV#W0gu+ U>-)n-+ gbK n$!séa+ .i.{jFr~h!{hEˤmӭ%2 pܥ|$ۦd*߬٤ܴgf8qk#5GK}fMEl֍QcQü] R{I_-@)~?_Wc9Y_eK|-&yېh@¼$MKm,9e'AjR.(ep,oTֺMW؇ `_;J NGbԂ׸FڹR,MU g+[jvm|G˻< <7Bt*)[ode W95Ex٤!6-]0[-'i nթ}E #U2pF~mE~5v#h(86)*U$=7o7[^W,$He˲K 𵠉[gVf7dn^\J[k< xxȖ%T5=,]f m;ͤ{WUTblƉƔ^<|`ĈXp&eTՇTtU"ߊ,M&=x7V 3OI{u| bT&7Hsmx }^<Ҁp6% :¯#:7»ozUg#zclΓ}9S`JTzW⍗~Sz#Ý0i?vx/JGmG,ezlqd Z^\7劉"zdF 5 cr^֊x^%ݢHLk?K M8t*̚qN+ Q<D7NNg؉L&ȇ.TI8}@1ݡ#do7F?O[a`Ǎ97h/Z))/n+ ik/0 L!1nex ]`?,ɐs> ti GvqOy`[O}Ӡ[͟!?Ǵ(0+f\Y)/,p5}T;#^H2qv;{/xwF-o'#M}}7?A^C|Ms!LprliMj#*| ti#yCPD}`kh*qŨi5 Ak}â¡sV͛${ۖI%`JRBs÷CgYZ4635844d4baf2456a2377c280b30b0038b367c229aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535