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  Nrdl ] ZF-UNITY:threads=4elapsed=8.251cpu=30.016gc=1.0647zXZִF! ]ŗXiɟH)0%ofoh9[B>ppLs2:Rpuy pCzMi*#IXmTG "}-,6U噃eL mRO4.P 0GG'EmnT.H{jdE7(:%|r? PpN4=w8=Uy "Ss_MI }[5y儂Z/ςSC2\'bt.A9\D6ףL=.JbM;)qs[pR1wL0=-R*?!oURp+oSٚ!R+ˡZ$MFVfhHQ'1e_5zΚu<DZZN`K(_T1FX7X}Y5 X!-HգPLӐHnx2xO(cC;^ SUv4glMt9LU٤˖EX|DE!@ 4׼=^2N4ҭD!) ѯC=`8_dhLD6q~* (֩,Y ?^ .pV_.e_nV)FT}==XlɩA- w1y@v_ % ޲Z=1XkgtPQP"0T(@U}   ZF-UNITY  wr_e9U,JD7] Pzx {ž)s !SSfo7aI S_PuRxVNjaQ~S#Nŷ@F*~>QP2^,rk- rO;PQoۏH;}gf$",ؚ醠Ç4ijYp iOK<'7jfm%E2SVw6S\YH6xc8JH-65S Lod H?zsedqKq3+$ny 0ٟ -%:'GvI զ@6.~!9X 921ǺKN،e1ZP~L"Pfa`}%MW"k}mjP5D vxh5pp>ojNt&k6#ws'Pf `֒6a\N Jmƛ(|-"i.3rBgi=! cQh\:3Z[rtjvm xuw],@Ճ4G( څHJQ =t4ԙ5=Ds&%'_VDdꦵC)LNۏ5jJC:Pl}Io:24X,->a܎ +tً>T3]|F}uޗ%4o S"3J;kkMoc:L{@*uKy%IS_"I|&ӆr`G)`w# kL7nDES HF.VUWjTR5Mup^1@pYC/kh̸ EU, JRU\XWc ޙE!,H:V :Y$w_Ej;\6gJ@ `X"wX`w#\a7yZ{,\ҴùGdO.`#7ӿ>N]!W$1EH3W\owΖ7 ,#_֍}u|m8{B{0CL(5~ʜ*:~#Uv`i5+M9 ]gd]"uDI.Q=O&3|CAȐ.pKTN󵮓ozS|+ǼT2>WGX倐FrE0ݓ]ȷ,97P jT Fب̡$oѩuB P]NPc߯akQ=K{WP@wRhhqt6F-I RJ7%T&ϼ q+|߸Kg E/jB^jyϏR2 $RVuzWt;*m"()+e1{17'vMJˆĞ5~uL㍜ xzο8Ad$+^s|NFkyCpeASux`ciG%9IA.9SU_9ogfiQ  M7VT ϺӒP$MOұy?,QyPGw%%na[Y3IQzAF`!ISR 7(.T%`78bM9Ot~UQSt'jk\5S(ҕ,C4, -Tvc'Oh'7ڔ@w]5H&z*pjHz ꅾ.p}S"-)g'56c#tG@$2=oeu EH, $2ͪYBX7OgUmU**۔*(GJV5k+p5t aX%)i xgېOL'~A!fr~W oGTZElw։=?!.UrDTBkYX`IKF'(Q ,nH&jyNh9 :X8őtE%_?RR@m:V8驫B_QZwΞUuSlnޤ,oht2e㳓&kvKx@oiP[PAU\mK,w[wt;vbBa嬡lmyw1z+g[f럯)wX`OUz20K/0@_jg*Z&BX =V]^ϻ5o6be#> a6p44%&OCDH+D^/95t{ζZk[>sCZ?j=~+"' b5NX Cl&1xg֢u 0hz״Yi3Tc( *:`~;3tȣQ%5m~&H45tO\6D\aKWN,h4!YgBzբ?@0oۿ:zk$u<[Ɩ'AJXMpI'#mzℏ +P'{ +΢ͼm[~tg13.-}}{`*CGϕ^R&wGt"%^D u@<7 온Z;Vg^ 0Յos5X=,&6e0ԛo&rS7$ڲAx2˭]i>R =Ŋs?+xy:|sdبwϳ Iwn^3DljkTaܝ F܀PH׆(sTs!oR`4YEd˄I%LAO-RagabPFǃI+!iGbZn_+y? X佔7> jmXмfٶ!hqjlύt=kX)=c 0+1(rO9܄slNf6B=(tIވcYV%ӻg~yOX= Z~5R&U:f;Bi%+׾\{`[L~].gSq2=WԉTᝯ(2t37 Vri5鐲bAFTl^r&URu8cNϵgÂkCqw{yD7q[?e]|?' In/)ӧ S?'e_XfBXy|rBF(v'NjWbhLc` o&q( r${Q~; H%ՐhRFϣ~oJ1"t{]C v||0K=TfK-1Q=ׄc+kJ?ۢܶc-Sl3)0;G;}SU9 gSvLm@KZ,}焿hnNc~wNFܕ) pG#R_&Q4)XiA'}&ϏgsM]Z3~E3N^OL`ޟ,|G/l?AP9|H~x`3*l]L~柤[mdŀؑ>| |Q9 Xh;ѝH7)23Sv"B.y /%>s5'IP2'tj# 2`-tcuzJUb8r_1@<A *,Cv&,n)y7f;gyu?k 'Lo/Զ%#eD}uYNAC]h]/-VX_w1w4{WbDa%y% [BBdgnJdyT38eْ[?+E-vIt%yHζad}uy +H6匮FVkyң+.CS)#"َ׀3> $يj+@زY$i^W\}+6;7qdM>`*γۃez)|QY~. HA. J6cO!yxX5F8\%+;P?+ ⡺_+ d258B-z3ٴ]qhKLS5.B,"TbȤ63\ lۗI+4@crYV*ӯXc5v$Qu5{%0''+ۓ̃6Sv)e'rq#ל~0XESuXP"_9ep2/!>܅;/(GS{ E,.{'d;}&"*Pz.⢓4rvf}]opTVU!/ 6v-6{i}H6 GS!y'YxD˫ !_]ba٣jPUFEø1=L!07b<IM= >^ fAXFvOz-P 7٫kFţ#nHݜ#:abzQ^d): sJ"#cmiN?_>⧺A"FXPœ&QjPbR:)ޒ)\ӑ{`|,ǟIubDtSThe¾o#`J=Dn?41mf=?08n:,Bs!,0s j!l1r2`vԭUyIKU44QT!?;˟%gu NO"tOaQ$B]11S3D[-b 0@4J+$ A@v1ݒ<2 wSSM 2EE2>SA}\SYCi8.!*o_1}Gƭ1E@нJV>%u Q7̲>0ݨfpu[̯#Q\vzޅjqQϞUXKH,ia踽T׏FMnZ@ҧ~ÔAL' I:%>5ddxT9CgҚKzX9lQQv͔D)Up\? jw k(SS,@`',Մ0A cC\/&Mv0{Cvb'A+?A!eHkV# $J`ʚ[u1'*EޅL2C|na堂 nR;03J˷{G̝Eb5<r6E,Y>o~ |/8ڋ:Tr^`B^u>1Ao*=.&{}+f0& ?orNо,683=fl%,"e-F, gr҅F8{nczgS;H󖡹iI0,@ 궊GcAaa]cFP!&z$ 5}OXjgC|ONTy>}G%ֳ{xĕc"ŚZfɿæI.Hpw* l[C">*}7slħRN_>'*W X],\َ.*cHo+q||8aIXwt-kY6Y#:Db эg`Z`6{I $rXy.e3|"11ʪD 9e nQS&ȤAhqx;}҃5>v-g4 ~؄ymK$Zxl#Hi{B7>>0te'UZ'=cF ?&VivVn$VzX~I!ː=߱DPcϥ2|5Ty #WkH7$Κ{yۀn MUdU>Xq]UF(HBʝAr ~'hefaE 9qNǵsq"@ (/pD(!ۥ gZ=E4y}o~~QO䋍b'7WOqA( ~bHT@&rɒ|@T}!tcvsO(ˁ8 -.l3mP{[. Y1D:Մ4ixKe<;%Lj/6WCbh(ּZvAJX%hsme](G=`<{ycbLP]6>{S3L1>M2vQ^(6V+FVdz!L|)w9?%<up|7Za%oTF-L C-1TT6VzI=ZKU&bh(>]QSjmM|]vn3 ߘc~s.W$LnIFyD^%`=/4A=<.F#68۵QiK_Ps^/mNlYB@.nN-=3$4QԼnU[vb [F<8_[L Km*bQHQ@w*ЩO*!Tuaҩ}u]@)+ryPr#FgKE“g#y1B(#ՉmDi]JD+y:5ZdOwn,|˜$^:Qf1 {qsAJA>? 7O+2rvdwe֧ss4/Árvd)GO8FFgBhFQtַ BDy|2O;`j pNr=> .L|b^owldٞCO7Su(iA[Pܝ W=3fhv!2|3Q&(zWga׎ E@n`8Եhy@$U+#yVq3w2(ݡIpwp鑅uݞeCI_Z>7QlJu1yʕh1)/OYo{*x]Ȑ,{.Gt3Ϲn-籏 3ЭXau=rwBͷXJ4ĩaw,t)WkWic0;qgOV jk #ͮ+o K]r=tUG:֐䩫=vsۤLC(3zt8ϾZk3}KBFW[LHaƸ<+%d3'*p!y]GGD0UfPUd˩T=8|GlWM2C߮mtEwdy9fG?@B*O\"[9ȳU˂)v( :sܾkBƖpal˙gGE)$-ȨKʥ_ [c 7L$;J3|‚pmTDg$cb:oǦ?횉7_d jW??U[Yn`Z*j)JMTKA'xC݁JK-@uԠIngXcN?11HRGF"9'ɪ: X:`ġ&Q t̎8v^Sdo܁/"ێ+4ٲw:N"kuz[:HX="iSv](?b)ʨAv }"T8F1w""DbD,!`p &u$:r})\Rv@dڎ.H=n Fkv8>J6Zc!XK sE%n%+楳Hs zC#8Yydޕ;o1lȺKu/ ڝjIWl=ᓊ!ݩE:C=fsw:vd`M チ2%?Z NP -.82_5Bbcn `\7;aтssto֎]r"ܒH#;-ne;Pȟ4"54Us<P9%bo瓁^uD-j-y Pb%@>8 Qjyqbþj*f(/)\_6uPG &0F_RRi$@-gDۥP4QUKCT2ZB~ZBW1U6q䴭382 X I-q/*L!KѱQ/G;,D6mIyI!R6iUZri,u|I\.>Gʦ2BtH|.xypo/{("7;G\NH_ *!U^eZGGH?#0D iXXN{y ͞# uo*-/gSn.jsu拴.;S[EDnl='_M܃t)AUx˗>$k:֑dEjsm3o;1[B3'zIJ,o&6?!Tbqj&\e&yOuވS~?g?oDwݼXK;bR)MOFנÃ힨hVSJJ ͑Ҭ"cjw@2:^pb[Qcy0%`*7e̅pzَ g>Cm);,Jᖪv[s`Le4>=ҷG4WM'VqA¢ϣj}`)8qALx*uA |+ ^Hl!xQ[v["JhxL)Qbv,9NQT M%|NW:zo.ᜋDWM=GdŸ ܟ lWEZ&N2ԕQ/*fY`rM{8ְw g7'Žw+8dߕn&厄ُ,@;t e{1OmT}p6dQ;KF`~^Ƣ&o.GۆtMVQ@RmW&,/"߻ݘ جLR>Q}#0DY% cqؚBv,T9/Xq (A{!J b/l .}=q`΁ΐC_>?Ou`qɚ*R\Xo VITDRi]ds6M [g$̌~FFo{ Qۭ0 $ ?ltm`811o+B0t?n$:c}㶨+rM  |QbzIY~ wL(["w3/ 0.&iAnq%A8#G#1r>sB֚6ؐB!i`S $4YIֲ>Ҿ{0 "O(ΫOnzk >DTtq@O4 ;j:bQA>5H R-?5X+ƓM,%Y!p۔]-(èۗZ9 = iGlW! HےSS{7һ\XʵiĭWlhkbT}Q;jPJXdOZ DgJgu{z>6>{1f |$LrSxHAʝ×8Em3uۨõ;fw uHQż| ,ÃNKkCn詇;x0' CMqj$G}sAMl0!}Q)͈+Zsn߯Jn$۳]a y߈^(`ѧP,aٶÖNvq$:)!i>Wn.&je91yUf _jᗨ[Zw. "՛%"s` 9IZ95 ۓ4ZPFt _S- z:(<=X܁`lbtmIT+I ^$.Ne(5[|8 dNkK cPB5]6%HJqItC( W̐&CBpAW/jD=@ O1tT dR^u!G?r@17kBA3.C{_6gvl VLOs{8M1 ݲδth< i”Bl~YǮ ѨH4w.M#l&G(zs_d#҂Tt2JpvɇmY+EC$ ʱ~ߊAarn.فw@:]4o$g@Nc7Y Ih$I25)$o[UI8c%K=/-K'gӡG'~@:#=*䯞LkX۽jvN_%[j稒RA]0- ҟh#d 0!>OP㈅1:.1}x,-Y\76窱} s2UyK b66gefZsjSGY^t7Ӳv`;dETqbv}ٝa{dә{/頡8/K?MćE8eu V'Q]O;&l@/<׉O:ɮݽGACU Agˑsr #r"}iY]ڥ{'^a:j!Wi1FHF QK%7("fl|cEW7utcyj ; S<@N,+w³%=?`pV0Kb#g=7wr2sbY)_l%<=hzM 7x`@?b!l@0Fh\,/YBBG(s5 Kv ^g5xWc}tuNkMxSÇ( 7?;VHu Pʚh\\؀xJ:lEzZ^ލc|=nA6rCڍYL zell5k!d@^GP)scj b袷NR᫹ ƓVsO:jk>4*0_K b8ُ0w{QXCZmGo&,ys) q CDQr@F3 1x%qih4TcZ9Z ٦_Tbd]u xU Z[m[u}ċ5W9{JYe&!yڰIAbMktDq5\Ӈ$g둧G; Kзh Ǒ C#6ʍpJ3*~^OY6s*[upGyZVA R`E}6MvuXn4#bG"f_? :ً)dN I^uc'[LoNO}5B$? 4WezȒ 5s}҂Q<ł#> 9 *m/{>iGƺ~>8fPBCsg8F},7]T%[H1tcˬ;y#cv}]`k%U \A -/hUA\ĥıؐ7WqZҚ7ʶIMU* 3A3tA'OpP$ ;^:!}ۦD l{/r9^YJJ٩ FUGK*AWk1EmD#϶ZέZ]]v1?r Љ|ԍ3%Tl&(^g[}.hLgT WkQfbBޢ6PrwGEnM]T:B2'}M 646t@@q[=վ7+,v7T ֖&/<㓣>K9iUDf A RPCclv?ɑX DtZ1EnyL-I hVhY-AR"Hy~7]S {ht{U)?j>%/[z4ژT6]:a{t3`$T*R܃9`d:"2z"قn;kvLSsUe+NΑJ\U雓1Nӭt56 j3@}u\P\+&"[ b>wOLJyo/ :@"%3;y彆_a(J ?o1.6y o1p+hIR+jșBhg`~%ZN~!5YQ;7gyk6*86O229aY̷VH.K;se~ѳv_RSY@('7SN2v)]Iv1IȤޗVboMkpKߓN|UdLFRprY7X*;vIH"ψQj0=r]n uEѺ4>@ {p@#݁%<qH9<ڵwLf3 zan"Ұ7ZF`ad!`q;cRi}Jjyc#g?/pe\j-p]Fؖn)JN9yXm--M9Fv_Bj-K:.|3y$<\et؂'W\loir0h_K ["5 OXj6`Mdy G_ pSB\Bw%~v_RgZC_P5XհC j;jmC.6o ;WB*zвiʎ\.?DX쎎Ac1FOa@-JӚ%vϽ =Z`)M;9`e In*{:8) + vJ!+9 nx AcQҥ9-KjJMs%^cc"Њ5G?&UUT,ətUP5 dL_N蟸-; =؞M9`Zv4y̩]y7XϒCù4j}Uº`W2r\4꬯2ֶK+ӆ3)10ߋs)SleJc;i0vB tpP~O30!%wc !1("3(AJBu tF $^yoi웋Sg]`.LGl5汄{%v p4ׁ>p"NƔk1G }<TW8@O/ImAlr9Ě7As!#\Бx[0=E/C: }A< 0I%9`ԓ b:yJkPP}@ ʹ_%(kCHI S~S'°6]+eSǼIZȧK% vAK%f` s3Zoí*e}} B#4иp^&lb \>m:8x_)h]lȜ:ZܘV,k~!$tD-7II$ldND W+S[&X"`$} .r)v6gXpKgMn*Z4 GW5ۂfS^uO%\ G՘raR:ʽ:Q@ԅUC7@u<^ilBdʵ@o/CdVO/ 2& Kln9W$xv٭3C`9):J.|'p|NA*$|9 zׁhV _7>NjS.WbUU'VHR(Ӏoh]&?LvR0< {:K<Ͷ Yu֌$ScIhAk'<3AwSs7C`fzZ)D/1`Ҽ%L~v/'ƿ ru-bCoJ's5q|~x)&L32 2irae i!m؃8S]n*6r0< E2W]A͒B9CO(v0GKv?Z[y2J1e~Sv)Y[!-pݼݛvAJzorb˴X_7F7Vxq e 6&Τe@l g\45 jcw'qvֈ-A%.,ioc vVZnڌ_oOOfxi[nfE/`(Ph DaR( yW[HzV}|V5Zq'ڊ XCbvuЅ*7\L+o Zws ywawY.u ,mZ.W ^t )'u{k*]MmP=@p27(!"J AKiͧ9oK}8Bv(Pc,/ C¥='h(262̏߅"O\Ak:&\0dLUZ+s'- ͦ@.z#|W[LbEbwfUж_B'>Zx'c$FQ\^:_r R0ᐴhpWWNUb,/0H{4ˉSmN[1ޯ նdlR`QtLP-4X"dN1Oˌ"y5TK a 5f5T2GPɗ7c. \òE >e9Ő8'?V)9APeN;`\5pM FaMCiQkY1\N;-/w\XYqP_.?`߷/Yvfc6stIso}q!WbʌG=L{& U|QFD9öF0\$qQjyv2a/%瀳T\B oL61DtWdjzk.nDQE=0f*\]3CA10&Zm)x713cZJ&h22 lDs_`uᙸwb%gۣ ˈy(%3Z]-:1q,~0|Lcq^qͣ|F=aEܥdX]&Vo,z%ǃ(W:'KN*B~i%%Hќe__:z-hOJVO/ kSBqEU0x}dpNb1'd.~π X.2eBqv#7ϛdՖQj6-}Y#6 dg1T^2y_xce%gULýl6=W!S3WBYFeOYI͸]O0+e,=+8DWXoف"[C(̏I~W> _Dm%&ڳs1rwX ]=wrEޖ0֬:B.Ͱ% [(i 8ЕiBX59KoĜTVԡ^!浟IQ(Fgz6Y[E|v]n0QcKׯm"S8”?UִJUICmE>@,`~DYh(,E?LEںzUR n V,$h11̌|CJ%5x9tn(0;AC 6= t3yё?UU2HNeT:}d1rxſ9<*QWZ3m5kRPUed?CZ#7"v]7 mȒ۹" ICcN%2_*vrBO^3P߉3d/ I8)#K= K,S[<t r-/o+sܳ7-7|Kq9*cˀ; ,xmxXQ媀i8YH  ^HQFAĹNs9'OáM9Rrs N}㦄 kFPyS"2IPG &#эւ 5z`e\N3 ig9-RiEq?}1 2/|!R ( ZWc6̓tqlY+Dxv8,?{5UT>ңj0As=@d }g*l}G=_Bl e0;I5H׆A@q %gRC\L$O:G`c J|v?%XBڸh Թ4 w DHʟ`b +Dїbk x /긲dvpeCReOFWγWI *F ):RAW#DteqTF^ryuTj:ׂ7 gK|FM:4$WOJ^|s*NDW.K#Xz| Ӊ t3Me~~R}f8]c|Yދڨȴ;c752>9Q|NB Y=!(ZB,1a*QJ/'v?);RKn=TnVE !' 0VGj23"XiJS@ri3~FHٶ>7AaG $^<1pQwl^iZs ~`H @a$6(Mk $RdfXXP*扆L+aK?5b0KJ$IBa %5;$?ھ䓍$B A=ަX:-E`)7 i^^j G-D ><}j,( 6C.F)6z5d/uȔa)&;PdU2ZsNB$dZ'Q fPGk2N9m1L6$C1 jIfKX?%ڬ#߅yJxQڡjMlMثJDND}(\%{3L# @D @T>#F q3-rqdeDh}!KPt\J d(4rauKD܊=]y=9i)|[#'Ԍf}}Noc3'Cnɟ3g7ժ ,隸;@b 5p3osٷ æm B᜻S&1:f4ߌ9}nа%lh2eG=yY;cG 3WsA]GTv,ܭ}LKSj1P*'e 8xfĔ33ʊLʶܽ:E@QSgFd$)MDܶA.=!џ$}c?d)Ţ~6 ݑYS)/L~eגCr^w0-1=AzM܎>'5Tn瀥N uMC}W k)׭>$$X`~#XlT@tɛ)!}TqI>;S,YTa|,لK(T%>ͭƈ*ZW$&䮯ON-﯃Ps2C[SqLudڈZ1g ~]担Y{EOzIk_7pwObXd]m |KMvh5A W%_ s-_Y)z^Fyf+UAe|L| |d3S){oZy-Uxi6OyL˜>Z4t@7] kE#H/;㶈qn珯;$cuy x)C,;[ԛ'?*!$`Y|-I@M+z.TNv$ 5iy8\aTuMg)SZk:5N  '#Fi^AOz;b4v85^#tnu"̈́6ACwI]۔V wWSL6mG̴/~v"rbR%HCQh4vI>Gc ZV9tL,1@\eDPSOoec7k85'EZsDiszUfx`&NP# 3!3H4S&)% h ڴ'|KnLOnyG,%?6p@ؒաιU(Grʚw$H~4{ŜU7p\H 1ap:Gt aд&KIsY7&+2FEϏŽ0zE#/㤥%VQ D!wHZE_hVn7/`WXs[SzE$.Z"uIuQ`di*j"껶@FO9zP8/˴S˖ڔ&["6HVJp LLY,C(:/o+K8.k^Z.d;}i<0GDj.J8?N֛{%4Qu8UCWpyN)+h7Ny$h˫W+ n<|3c.}'D+/ oH*MY(i+5Qq+:jmFm'N߫=lcK7672I.Ri,pE[G'ej!Y߈ݏJaBMi֙.l/mĈ}J|`v\-@ZL^xpѴ =6=]PFx-$tPeT$.ɓRlآb)vRTP>h\'ܶ@ۭ#Q)zЯmytAGcC09A-[wDccL87XхUE_8R/5Upʏ^A;AWnڀV#| )o-,z>,Ɏfcԁq(V!)hG-:2 ySHsO[ч9[aJV%CΟ͡)mFg.$I-UU#O'kwyq;pn'aqL'a-"895r#;!Fu_"5M2a} dxfA9nk|C6ܮqK5&FL 9үyT1StJ 遳0'9j83ƙaҔhPה+J\ɪƛ!N5H_jBCe!Ps:%taŸ1sJ.Nf$ oM79QRk숦@axI5xAC"YD V!qW|[cdlQztKRDV賌Cg\:cWBF,^lY@{}z.\=#Au a2ՇnDGH;=7eISMdPr7 (Sմ`3 4Sz_ExfIsZ7: Q\0ޝnKD_|7fr\ݷPۚv|e5N&cg002O <m.kXJ #;RCc5EX32Óg2($wh~?i!^p7ίiHQvG^a0-Ȅ!ҩk)Ƈ8-VY+tWnGW݄={}G ш[fPb$[7ۃFP*<ХtM 0w8:6-lGAh%ҙC2M hii0.3ٽcW ?-|UCA6*[axDhFMfɶZMKFD9GoV0^CCsTX%܄~!g 03KUP + GiG 3 EHkI=P*fԩNڑ~%1%xu@y.Y?KJvz$eNj&${^0ݚI(IDt@'[E|I quf"Q j 3B.'c< +"Us+AˈBSI8iBx޴Tiٯ:{؟.uy.Ȼ"L_l' r+^w3|޹3Jm փʶ)`W6VgA/7{DN"oKęMK-'e?lQ1b<8띊.r!zfwJB{G;:GOpA}H잓şr(24e5RhҪ ZMUX04e#G%8J8k"Ԑʲ=ʀUƔ-c?9F ^AkCX/_TT J^i׬?'>HFS 38/y }%NxGs+{xEgӎU8{>hU`NOV/\^PcF M |"y.\^`%OAv(? _^zOA-kMQzt.vq`}^.+)]@0q~&E2\,1>1޺?GW<qdӘ2~@A{I@` d'i@2& { ^<aЇ1/ⰡZCDtAõ %zx9ǣ@P; U$*גg^RF5F_1u iNc H 7o*#\Tw'Cf,ȃB/dS-}@ s?}-dgӆOUk}3+=x?JcX}ɢ7?ņ~Y: Eەdan1Q o2X=*a.`[aAX:ըջ* xnp2@p\ VP3dU=x^d]uu(ky PG",Uq&4K$Q:SU~ƞꄵ _m-Q-CL JMSURAگ^kM|5h6c2c[tonR\&H@ b'jk L^Zנ0D]4 ӫ?Rƒ9R\KݦԦo\rD,:m`GΩa9Cǣrυ*u{ FTOKUn23Ӆ 2YU>?7#&-gJK>p@R ctnwYpl>}w= Ap']N?'$<O6/]/$k{BSc:6ǵq@9vfiяF woA7.1sͶ h*{^ *c͸^jPL֋O<0xe2im Ѻ|E6M O#loQG!\FumU]ϩlx3a8ù0;\EDbQkjqKCKQ &ۂ~PoR7 ~":~^#IC\0@b+_[k#/~/KI,1y[J[ڞ+r.,ۖ/ 75Cf<͞^ f.$|ͳ4 s8Ki. Qdfv3'w%GcɹyV#\uOfN ֱًZHK p{Ox73~+,!~{J;՘iAH$|Vft=ӄC!RlW>q"vU<#AGgxƒ;1>u <} C bʓMJ4mbj^<{=JW/--QP]?ԫ Zqރ &o Tm#-+ t=bY6?Ңu2[d| / ? =Uu/lK4 bI"&v&_h B{s"z"ge8v$oIp,HDWӾ'ǡ<(Oj3ɺŘȆJ_^D"CB >qezJq4{ ݖ{"6Vu` O~[!Fkw4qSNݲR#> ur޵t~7GE=/a򉚮UBl&NX. p^G Kv6&RdhU0t})ӭj35(?бd3mLt9B0.ㄾAP#f|MK-(WBP8旇غ=8gsE\)) =)>Ѷ;Hk*e35Ag-hBsP͹aG^m?yɧ2Czڹlyԯ1 %.C\һ.oWRlOΚct׀1miN^r>|y?prYEl*+1>ƙ$Q2!=H,69Bϥ[۪}NI;_Ա6*W{0C^KU~6d9<Ƨ#~38/H E29EޢOَV> z;u3LjA]9P8J6uN'UPðx:BV~P&q sQ*Q90񮪰HWՠsE?E1_zlՅIԂE L%C/\nx^^?@ bEbƳwahJc b( ,|7+ cѽ7aB3&IR3Gjh{~ H LyVI'ۼ<>ۚO_>ZO3qDX>3 4@íO%W;/ױRO0(:t2e^v ]^YZW3_<[>[ oRƌHkYL 2@ 977@-H8xv+8qmšא\;miDYDBsn ;xE/NT);r' eOj~:nNKYkqMh`4筭Lw#7a3" BhA=IzY,lXo6M7~k(H }$0^ebm!r3oM3<vh>)YpsަyڔUvI0tI-gP?<|S(Z?j"Խ-lf.o-ec֋۟)!Eaf7_\P=Z0eC1\uT X@w DO PǍ?͝aQJ~Kr(LJ.DjP8~<;o&1IsǦ"z_An%J]:Z苁7 ә6,coOh..§'OiunR϶(r0AJpV̜=`'O~C̹ԥR3Mϻy]4<c,m|^O%d7gIf R{qp,w5 }Ș)?P" ֔2*4ll ۸'QΏR-yScJڭh[uJ}T+Ϥ,ʸ1-NSCRF_s]Uu65 `G%b?Qz V[CAТ-kKF]|{*r XEnvB6&RO Do 5"8hasѽ 9fbU &z44yޙ}gYZ7zXZִF! hi]ŗXiɟ9 i:4V;}A<<ګMP77~)@{гk ;Q0{Fa9 `Uw{I&dƹØ~gZOaf^t,tM$&5x:5IK5./vr5BrxӍXھ^sl ?@^Ʀ#+ohg"i{A(Yz{gǀ WQaϋ4IASp܇NC ^8/H*89u(sz$#>挃 hlgYZ7zXZִF! &o]ŗXi%L&óm+u{ǡwc92>*x#n\8t<ǖevk!oF m}ZR4[śeM/8Er/yI _.儡Yc1zqR~[X&$Ε:~gKLGJEj5lu#)#Y?FK255O7+oͧ? Tؤ_e\[M9ATǸҦb:iHso:w q3U^2L& Ң\&߸iHr{]WIRRMJU&ᓜw\6L~j=@Bp`fR HwՐC8Gqg BG]l߄x?5l׊2Av$bXGF}@ eAWݨs`q;tr.k#R~\LYyScWMʢ vw^}٬ 9~1x}J ֪`Bs0ѩGϣu 1K_AECya/+ i̔liBBKi,5*tڏg iAA FS\BJF~,׳eHX:b[/-x :olcSN_Nu*ZM&S5rީJsg0 noQ-ĩG/ <8i'H6!I] u)ǔZr.8jgPXW #Z f7zA/zʽ5ajN,EZ}~Z'q[[AZDr蹠Hg=;F\`km( 8Y~sՄzH֎CNiXƚ&oev^\91(n ='JW50~L6ImF=GztIP4} &{! MlrgYZ25546d77655e85e0fafdd26448c75155a01495e99aadd396dde0a279b6a4eb62f8f2ff37640b410b 5de21a2456c70621178ce8a9e0a825faecf02866 24a1126a587f04062a77aee71a0c4871d71f92f6