SQLite format 3@  .0:  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 'lt ]S Deep_Learning:threads=4elapsed=214.965cpu=713.644gc=28.940factor=3.327zXZִF! /#]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYl/gyoгo\ysV;{`ixGxմ`ÎwtUdTmw Ec+QK'3u)܇(bh)`ѳTttⳁ2αNӋ!&W0l[ƆƚUyd"hrCcVra 4XPw◎h52*EDW$uO#Mt"ͭ5B<&X%{YY  ' Deep_Learning  "7vD~E:g[ %}j=<(޲)bt Q54L}E2iťMiZԁS٬9 ck}n<&a6|&.Gjp_9ZעJtfhys=YZ4ami{*%QGyrfm#qIuQ(mȵPsRg4)Y<`8={LbR6hKg3v,+u1VCa4w'L*U{,:Rr "$dQ;lcߕsѫ&ͧU}iz6B4g++_6ao2AeytOSZq&Yi@09m>3XgV3QSiTxu;l5˭l{<}xzg0җ g['PXC/b@gL)%Z=.kVuc/Q!`? vSQ.o$4yde$ k97A[{/C["]rE#e6Vj%yja29>NpX=X۽Stt]쓾sm  fƖ5 k y/c_d`,Ln'Fk\e;_q>j-/ˡ+z:.XITnMkq9ҟ@8dDSn18OWk27 Hʜb _5l)5EBQakQuQzdF'-/0 Bx󈠊G:!i'zcHpW 8H f xEQ z}*M"k{47L\j'v܀4o=J?{!2UZ/rč)l= 6ݼvDh:ٿr봷oUDIV߽XA65jꮥ{ !3'#̄h?m!tm+,|性yc٠~/a/.\up,Mas.!UI!zN;wIipE-PVҼ,(1!EӀV4G;)Wh| #eu^;{MwIW Ѕ_¸ǽ^NFzX*TzOKCEV`38Ss_!s(R`@!#vDR\7rڢyw:1 ٭jI>@|_5k흩w #-[J@j24@6A9~z%vLՒ7z11Bhʥ{*ɔxCd$3j{r뉳lFjS?>%.4hRk:i @:e -q~0w݊0(R2ewŬ1v!H?l)&CFZ!_Dlz]z}xw(Zu1U`K+h[>)^-YJt˂w =P淮KV7мeO#ѡ# S/K` A̘d~K)O<y@|EYIwd4Z{S}8e6\ 6 :_jǧs2+SC/s`L 43 ),0)fqqhhtT׊pWFn$ C-FPr%*sClb>cšxxo򉜆ؓO^ z40!SuhjOۣtPY [Ԕw$x" ikvФ;Tj舴-=ظwFjhHmF6$P[$eS@ #\j;x C/a/_}C34TG+n10/RM; dqeEt͊!jF$}Q]Nc0Kq0F}iu;}Ož1Nt!B55,NGl CB3lOFgEڐjx0`)\ B y$CЕawS*:S)zө 얃T^y(H#g={_Wi3P)AOL|z6Fܟx5!yŖH9ccOmonrvi0S[xmᤤ/lN՛? :sL=n# p̡,d+~#B_#-ovM?gf{j#4(-񞂵&#. En0^v2 *r}`,;e%c+Ԍ7reyrLİ$P$$h7*7IGQ(d#Im )N#?܇2d6a\TAEPr)d܏I\F&1ЇUUMX%J)4&$ '#0*hQ}Kϗs(k._lq;44yZ?' 25)=\R+4WLͳF{s]wB/wQXs |fi>$QUH1D }*5ؗEUIC~2ߔEE޺")%|*Ң4s535fih4k0G8peo3+ی"3]Aa/]*~zu5!-\\JO7dkhL4@hȢC`Ti]Za73J1g+% rmiY ͞i]ֻ`5EĘLhF؅|@֟5YLu2ͧwt:ҟk8 m'fm^ (/JŇC OW 4!x7e$yʩFk<\zZ|߱ooQYj9’2l*;&Cea+ha02q!^ʣ>z1S&tIxyzbHż Z•&&6o& k0\BWu"F';] bNE&白'MDYMQFS?in7qIiIqǼ>iq="pC}uPDz#߫AoL3ښ+D2A4?󅶄VBQt/|do #t.&Z RHj*x, V́Ý) 꾄pC`&2jfܕ$YsSM4ҕWۃ޳܆ψY 4"6%pv5ʵ3/m:pH Tl0l??t"^nŭiu* 5pYQɩ#Tz88@17fuXChטh8b+ lڵ^Ȃn^2d EȲߜB]XuHCF^1OϞUCv#\k4%BjFƏ;_b5`hPNT.9+pb6uD]1leؽUiN ZFE<\.K+ t۞?@ &b.R y9wwb7䨿#leu3hC& _%ː*b @ѥ w,Z!,%IcCڛz^>#QuWy{$T"j͡99QX>B$M<]oV#,v^Z"hCJxr*7d~+ J,NlvB Qf`B`I=Gq%8/w|36aug3ΏO1A+noRiY&~BzlIֳ5\H$ uy jޟHrEWV=UL6P!9ۄaz~'-GK%Plr9lc*u;d "6ǥ T^O;^ѡiνF6 s^FݍHׇ,]VvM0( <ޙYih'DS'']{)&2>:L]DM?J,d^+,jR$]cT :|s"mO2ɬ&,-IL^y(sбN ɾehs RL:XRTLrod<0f磜"YkI9٘p~vL;Ewpf"VBm e[8lf" }VR9x(]!+S&A"#bt ߪ<1RYv>r\rK 0,?@<JadLz$}R>DBGzR*(9FnWj 2,| <mƼ `*zo`ҡɔZ{fwGF•'X>@B=#{G? sm;u+2QK8Y//:VfV+H55/'K}6&d8sj`/GE@Ǝxk;`bqyB$tUSEH( p%ٌ*J_q$/2#1G0ʎ *!8evz\}2fo3;K9/+ $ǰN7&HkN 0H ,ߕ~ <q%a9qˋ Ig,N|҅+ 68?.GZ'[,,Ps8!WVϘRORJ!|sB_k۟gw ?ef:_HIxW3^P~@6-߀l*V7xO^ST]h~Ȟa&[IPŔٙNC= &uc˦uŶ#B ٍH{nQ)ܒ)b4U"s8<Dۣ2vtf+i6J2k4VfYliQ^t̶C?Σs4_/%-q.sWm佄Z]Y(?;Ǔ5RobD#$̊U׼r͕xE9KDYa Lj@,cbaoo@Hr)^ Q?:Pܺ'Su95DFA֎g&-+*x?TSn:N:yP͔rBMΟ.N삔nR#4SH1 IMnWs#fo=7Q7uPb'# ͿB|db xW%0l`G6x13rQ)U{_d|[{{'řu[n|q]v]:2gGܪ ]~aGk U@$Hg{~1te 1.B1\j-m N7zi/$w}kҌqL{C#xܬY;${S ,w'=>lɾq;K-+62SS|C.8RGcU3FLf؍6F](+oڦ/_KGNs!<s'V|1ї$B! aZ0_ѹxsOJʶQA]AA~:I(w$ .o:_n'Ґ5%ֆ+ ݎi@O1O͙HrDLw) ąiێF\g o+b@r1+t_= 0i=L(ȎB"\B蠔A+au|чyԳW$q-#g`TnsFV|tw-q(9l&dҘpV=+dT &bbmYѩMAzsdF.xevG GZ2 0:HSawܰ=B?Wf9cܥ[k@;KtM1wA~mE8g2SSi: (oc/h(,ooD{ ά|)=#TqsE,4L “HY;y`04$D^oT= b2൏gP_uI} xwguXi UH1tg&@ ^oYY0P6K\rZ  U* YB ?n -AY,o~ 4(Qe& cZ3_Q8-ƃ|qfÅϤyW=C8ú(2H-iĶ`QQlwmHԖo.[M[8D1+U~k70vJ3$ثeW8iH>ĪѰ42-AiCԆZyb pr(E{Pvljm9?1(XUG:fP‚Pl?<0JWxZ [B-~AsS5N͸`@'r uR5&Uh3aoY$R-lUnR˴ٖGe>b^hvUPqJ{} LOK1GW;AރF߫ghڕu jNކP|7mԷ1޵w}T+tm/h֐,c0y*&vdc `^>n0YB r7!ՙ@'.WbA(ZC0@cg\LI.p?|—q2?%8vbHpLDXq{EJEd2>W:m\Iūl[dWڸ rJ5䄜du)-:WRj}_.,AZ҂<BGLj6Mw@ ye3jOGXz;YK_M%ϡRM$ҧ#tce#68ŋiT&9 lqȜ)ŀȜDej3fgtF=Rl0I؞/[#kbg[yU:pL.|MC?R].Gځ?o]ӏZsvl~|q1tVՐjbSK俧yY,e{z&F/g8 1!f{4X(ΡQ H\2e4W؊nVQo'@F8WfH$\&WDGD,4`VUuP$zJk/F\-.UiNO=grp>&+Gi\u$FBHRx|EKk ;]@.Ŵ:RHӯ RD>?[|&iy&R/~`Z'%%RX_h6MnWtx1SYyJe;;L֕5YglE3\M 9#2ϛYaA '"gYZ7zXZִF! 亨F]ŗXi%GЖxmũݒ||=q6zBl(&?E2qd԰!{e%I~t}PS-s679j.%Ȃ"H ĺ);>>S4OS|P@6{ӝ?Wvr-F]a#=Z-[Rp},_q!bl[I{ng`:B(r( C=!`iyɂ`y;r8p$OA.ϖ؜jvr@ƣ !<4.L)x:wtrRn [" ͮ{ԡ$x`g-6T,h.k m`pOʴ|C,Odz峸&Dԇe;ĈpI>Y#*UZCRRX((™[ϧ/a$IiFPҝ?"#+~e]f{eOL Rms-gЏ!lZI/h$≿_S\,|uF-Sy݄7eԂI!ѭK-' KHT e;ӳ 9\;7 mg$].<L>fpr1)r/* J f%sBl''S L<b*ΙfDG}{|KksG{X סog\M?(_Ϙ.Ujxۋ&( $h+ˋI'm6?Ƅ 7n3pv*L+ϠXh!y:p$B̆(ɡ߿Dvf;(hz}Z7>3fikzo/RB JiR VvR,B$*r. 7d͙PM#c<8U$֢nԩKk%#&#{'_LKK 3]#Σ1#^>|MrCt̗bU=h*}.F%tݭ7ט.zY+EO,|aSdh!;$>gR%r@:Z{!Su25eZ?#~A.گLB*z@[ULǬ~JcfMYLp1w(S<3b?Sk*N~0] }_RavY&k>գگQKNjaVW湈- ɉrYV.(< \Pl]sBa:IDB%JU1QUy{.]63=(GU0vmڤ4-Ϧ L ̤ ]oDW43ڇL?ҺdMud%˜XVǤm%]/gqV*䒷ܨƙ m{BM4VNb{pG҄W1WKtD]dR1o~!6zb䶡BF'?>"k1cGIHE򽋗C^"̧㞺#A)>IK/S]zޓHՐ3:YZ;hZjiQ)wjefYMh_RaYo.kɓX^x4TZmm 9UkwPt{x7t˵SؿV! @Pd.>b7&_e~C;AqŴD׫+@s{]wb,˃dYdEh-I;{umϽI.!(WZ2 K< 1ٟcceVH'bϧ<+pENlQewy/R*>3{#OU 4/qaN3Dwѯ nV_)f(jL7O{3 עq7͞PЍLC=` h;h3X(M积K=?;W.'i2QgvhTi]`^11РtgIXRę~C)Zz> jRR`{J0ZKSV 4d2j ` M Na!*d0"nq#O$#>X|ܲR_?bMK P(OXWX5[eǞyB",{jr8ڏ%#Py>KĀ 87NT#c>wQjnR 7]7q7,!X.QTD;Ɉܴ\QGbl@k`Uxb$a}UiSjγpȉњuRHm+}sT8rBqyA~;MHmWFU[~;Ufki3ϕ9ͯ@VIV{$s$HZ{RpHކ)!H9'pT՜(Z"!@K29u,pRc3}yƵ.Cq)KcXy{.юf~ƥoM\~7㹾Y}@ V>YmaOD 3!̐nfVw)Е磂`yh6Slz"ʇok#H?DW(&LbH '3eD:'inZE {+1-9ʼn0A[ˑimī=vE*O,*)>"<i  KՉ{1GcA;6`+$|)<اr .>)052Ob6fvNl 7;+ 0J6)$Jۺ{bNm>0FL|5qOMLK\Xar #:^ԈJS1xFThbעݩ< S\ٓ`ՊnN2_SEg])H)KX1: -}YPș˽Vf{݉` tJGsPDTqXcF+`r&w|7 e ~y-|UGE0iO.w)\w76GTMxVPUӻDoӺP6d,~Ceu?;D>?aɡ?h _ 1rV}}nGB-T qwa&L_CM_39ɇ:l7o hOp{11xMf5W2M<^Ev K3%0e68r(̏B%vomցayvA(cέ늄U#l%ll CHOϜ)lvCu$\W[6^)bwd?D)YB )xOHQ .g1Ě#\MB\cQ1-~"5nًʴ1u-뵮oR0sq%)0uߍC=kV80->}B!54[CF⧵D?o GIDhRy[g+7>""hBJ'ykYJ|0b)4J7DFZplY'7:xmqY! {(є kl+".-d#`5AE^X;S qTDo펣&y n ߩ1=9R0': _:L&^kL)|hJ1ɘ[Q2φb4.uCP: \!q"-?U nT-$wCz6]ÔN4B a~bXV~?'}o5 NՐy^T8No']Dii>" Ϙr{zÔ_bGYN{EǘF3oX1/hM|aKb6'ֺw~)e!ε4.`^N=3sɐP: i- 9QDPӉQIפ]' U_b |CW֎y"NsvU|Ӳ~c!뱫/C Vj)ÆaoGЍ9=9X44}p̜!/< AVhrV'uB+e=_% 6]*iws2NvnVqI0XPTr3@EYQ:s:9a\e-x*ֵO'-  [yw}8Ѡqu 4HXt:k$"N,6~p<_pkءY,G,fj.!Wdsςz-sBӐ,ǐo`4`%QEyD0&Id!޶[RkVܽNA [W3 ;^^6 َ>2BVb xt< PlGp _a|hu<~fXaVo1aI)X+EҚ% FfM'{ߏE-IT0'<'lqa^x'gyLI+QmGu u 8F ]| #Z|3wє>KtʸSTՃ ']IsMŵ'}]1FЪ_\d>Q*7Z٢.|a Z @ݝ_,J 3R_GiW12JU eb(ݑ9-?cC?U94Miürǧ;X,^#[i4X>OҪJ[3I%:G\E͠F^1KG46ݎT.Uj)7$RRAd`-! -GEE3ƃ?kel lv7nl_=N H߃=4jVZ1OϢVLWi=d٣q*:SNs np u-hKڰavE(A_xsj;^LP&r9 gՒ^tR)ų"-j}6:ZVrʒKlrmv<̛'xh8X+=d5**;̳2L"cdׇ&h^ oB]*}qple|<X|-FܫS5?l✻)^o@EGPLBV-nH% t gl N/e4_)#VrRMZ-KN @Vo]OOy H `.C &_H9\ M3e h(ZP9{.ZR6 Ֆ8C&kֱ ~rI+i6(˪ L8_WxZBxL"ww[D= V%F St/xQʍ: e,Ll)I``$q$ ?iq|ʩdZ<ܤL20RL ki.%h鳑|z,-o(ջ5TPkqaޥ3gAM܁d)}ʢz߃g~-oτtB$=fXBM1BUY]"~|mI:Bk b}ogDD+#;Y ~&^콒cv%%Jt x`)V6p1p`yeXar\sc){@PIX! bŒ|f]ɘAn&5KMӡۅ۹ּ^ d\Yhx=c\v 3p]W!gy쪷A lgR+b|2|Wi#gnS$3k#9ЫպxTN 7hOsW,6q#<0?QuNi}|ʣGmGTF|u "OK8I6 V"iXN\.4vt7X/|Q{L}Ѐutczs`j}rns %vQ^~:աnӝGh/_(),ӂş^: RJrblcԏP`BqS$[4~A1HxS˫ݏ7>eرItV 0c\WBʆl*n_Q 8I&/_}b{]WI0a2r.ت_&m℺BAX͸Qn Ŀ*}k,5IP؈e( 1mp*xħ\&2X6"蜶b{鬋IcK3ja\4Bbܛ_m%`H+uXXX[]YOД4;*)@QJ͈Fa7L8ߗga4'zRt}e=3"\ RY9I0ԻFiF=c.ǀ$ב&͕t6_ޗ慄=: 'իNR=<:[Ԁ߹6px߹~wX0H) -b>㟾אlj:UYUĭK^Mk %xL 1p̾Wsb >c߮ľ>8Xgθ g*y3$T)#}I8Hu/me2?E1c?j8Zέ"ql-#~Q}Sy3ڔ9Y GW~2e-5zaʇ ދzgz vJ,<3Bnn} /ުQvDQ.fM.HpЀ<?9w3lD=&n ^G-a iŝS]QC+Z Mɲw{kHn8*1AWG~ke5y@B@0E2j[ K"S>5}lC W\a#ZL>-)#5u-[Fq##d7/Aau'A)x]EщDe-\--p!2+٬>e:{2nCw"3x~6?U["'k!Νzp1#CbKP"7O,!ib:/,>nKҨ+=qՁ:u#V-3u%4U?csO) @"C$8orbFU Um+b/ dhNw~V *,o:"쭪^#yDpR=:_a.ummg{)3m8P~T(3`pS7 9. RK!A a4?&Bu0<Hϱ4飥; MJO^*Q]a;AH kO=nc\QH_5,}78@7J>U.9L}#;-h'q& 3xh~liM2*!d[`^և"e=-C5oɁ ף !o \`jRDžt>9ٽ9ʡr1]Jtwu|U,.n$22 =[{8cqra<1kW 1y jc'2o7ߝeYkIbՁ,|:kD aK vwxK!%dɈM  Jy4㩤bxelH_Fy-gv%k3X:Mn?N@5aؓQb+OHnAuC $D1[:/{"6=qTŰ0^ gAqeogcyK>e I’ENNEub_(Tmc*"( n+&CObSXy/1֗hD0w&R8R+^E~b6?V-*! #PsNϿ;ţ](q1? D9{WP%?М /S #!I}Q ߉gx/ $b5`Uwb_KnuoJgv2\ufAY- ?f*k7 N$3~}+|ZC:{1j9Lg |e<6̩hOآGݬO<ۢCx2oY"!Eugϓt<&pl5Am JJkt݁*AT@DX!~' yUf1LLg9]ҿ-ʘK ֩S8]p :( 9Rw3-)5ҕ׶ë>n;D5:sPl\/eV+xhU\޻C1_ɲkKؚPX-Xhi*7Z>GnB)paL-rkأy@fǖU̧Z|f[MXYĖ.d:'*457Z$Cܷ-}wc;S']m07(G nNۛ֓a: ː/%Πu3̨ohbUh=Do㥉*kf=^o{kle5~km[,tPd`ClT]U{Q bsK}9ܖt-{o~¿$ֱ OƳ AWEQ3Պ˨Ajkj+E+?_#:LBI_I%qbB.Uxj:;e\Wþv3E!>F%9:.0yt*lj7s)8 18<^cP3ي/%ig@B`QuA篡ukxҒ;|XD7X!žLjpҨeµ@o)`clĉR WUe%3t7:kV%#KX!BjդZFɗna,_A*k4\.b>ף{SDOoO{Tt|PllLп-]ĄUOؤw|*IN؜0e]3` ?w ,>E)4eMNGkeUq`  ^>?4Ě1&MOU#H(S7 e&3!?-R쎦lqAf.G*|竡\Oj*kÙ>K&|GAqQl@h''A˴?r`jVt/Z|`jUG 8$9ɔäu)+fXnv/ eI Ê $2[؍`J46O:*I~Y7UHοJV UcE JZQMQ)b:)D{3N 37>0Qi:KX_bٯ7k\!B<%,A+qV w&FOCeX"_|{կZ DџMW/a9~7ٶQ^O%:ThUDp.|tu iNІ74.Xո+I0249hf,(C00@h9Mfp$JC%M+R}:6_V.%{LtŚ'LY\Ek KokQ )Ge 4$sܛ-'aԶGW= qmrBH5 k;0Zb`;`yJOE0C.1|c{O܊L3+2פdԾ\> ,CI)؉K[5*g(/eL 4 ߻I/}61yc,W~t/COC@ҟ.,c+o9ƄΓQ}cH܍BH4P.O6%|Ym\]]U0= ×:G</* pKԬzYx0-(/םҠ:o9d=-!;8CNJ8C~J蜜wc!_2) L)8=cᇫ)Rg+\.DZq,i[l}C˺5#0- jsɮ@d9V1*tVbnP忁io/7 Ps3/e&KŐAK')TIgIu#&stQ$+)wH P jN1eXw3O`U J xwhVQLt!gqJ*W?NӾ:٩st 9Seh#`KmvnuХ3rb;2#&рMi HGQBۣޛ"xcITQQLnڜ Ct( >?' EH 7I. 'wgTM.Y01!lB] PQIojq{2g$S4%RI#^Fk2Qxҡ%l $4`6}F9/f{3ځI șXo(CP= ɫ}-3{f3:iDS/̡s3u[> '&!ajOu#.PZbMq(i g!ճ'75 #שB2/ 4TF-ь)(r9;+Z T:]ʶty%PgW@Ns$6,0dAbN8_B_x|pXՃ7/v`ExKq%ȀXFF'Ax/Î_tjMcS+m*؛:j0&/fu+=NP5 !Ѝh󀅈xUG2ԈC2dtR"DR͠1&YIj}쪲0,ݩ:{ ii2<}K+^q.I?+[?в1ua-\ˌDWN/[I@@5f|Z ) P<(?~p0 LJHzyIwRZފħ1,aǰ|3*ȴAfs^'4(1Һ$FNuR,Dy)8һ@'s9_lSV~LgvIX.*h=k)a"d/C,09pѳr)G{9Hbu3B o5R5k~%m ŒtV ^uսEv)d 2 "-<LO"jLa;s%Fxy)R/ >d& Op1Td>g(3,N8H]rFY* Fr "V/gpp̌KAZCJ)rvwn;sDj9MX,V`'a!6܁z61;Ƭb#?XnYP_ B Ulk Hhޑ5>[Q m)GdJ&`&G{TQ/VroPM(z \\̃myBG_in B/bda7**r7XMH%T Spm!H8>CP(be)fZc~ Ո`Yœᄈ. 1w" \3}  1m HC}$T6iD8',(=MX& C7w=YZ&bCB@ ox'+ؤgf$ãg^qnYZBZP K)3`YZqm"P)hH5KERC"axp :v>y5+phxʪpќd~<,^J}>(rF S,aIh@TBo~! $5hA ٶ+6߻7]%Z̍bJ0 Yt^$$"3\-@-FB*._IxzhP Ծa4 2೘Hl(ޯCS0gP Ѥ7mH>/0D\UO"5acʼ"vN=)D X/_E6Ȕy#fu /I0Jkif_`DXb,5_~mPw%[W(3U40LoxT~]v*ӄS äss]XQ:b'xtlzU͔0$c[ܨspcVAU׻RF%HQi@U.8fkZzꪩ$]¸6}PW~UnI߁}TQ0\_J_^v.lN>l3lZXUҢ؟|X\Sײ/zЉ.p`lj)?WKkts ^yghR ƤWDJXTl`@ڏ| MPܶ/zOEҳy1ܿs6;Hxq #<2CN%ͩ멱Pg'jvɦd)|| Pύxf[n,]1o%ޤKqni lΌ1LU1\ڗBa ڍJ0J 4jV;vYVr \b;hk^A?4| ONe}&2&W,~4/z r*IFD1c{‰K$'Vw~/*\;Xhwՠ%D`T/ ZbI 0;ۋGkixzua3b0J)A}/ڡab '<.H t.7 $ݬ;FշUEIsThT[m|q*;SXAݜRv:;x4foWrii|"_<͑CqkPW=ɝ_a9KpyZZ)xaoifnl|OVѱ^*O%uҹٓ>L%'(R@ꮮ #|VWԷȘt6zhre%gQoPN7|Q؜g[T͵fr'bPI(OրC5nECbJ9s,cQXo^,~#<%%8Vk M![Ed C*YYsKAZLxg=IDZk {#MUֱ9i<ٶpZU.J'{wl]{%"`X%w!7oV*7~I km|MzX>06`84F;c3 V!3H_^q!5 >+M$|y=[Dۑ/!qq=tbϑMs$xѵ-v*DI^rŵ.gl< D1* S\H6D87Jc<zi|Äs.`H~pqotߴ]W˔b<UVJFeϽcDlrN %jb}\4+4 ®wd Yp2֕ԬCώwBЮ v3>G/U/Ok\>L^3Rûb.$No3`,!sB] E#>0ۛh/1HA_ny|k \t%8PaG |ulS('PZ,Hf۔byWPiU)ΰ/p<aπrf=lZU͞ /¨-jz _ wa&&NSZ&Z?Ih~ү 3|̏d<0̡:h`R;u)D\ 7Or-Og O!1kK (n"\/.`C'/ ZAA*/2-١p2B_=Zc(3+T9'} R{]@%;sj؈S{EXo*ș;_&כMXacBY";Y&.nA;oHn;Obnad֝eV y*HJ' Pkn5#יOX]Q™.T8L)'Za4~G"x(B$y'2ܝ²^q {zl{jóC\S :ߝmaEjL8"-`:/TV]s[U¢t(h/O.:KiҾ^= B5α jB ,< u7[@ f7vU9x9IH Rnj?uiOGńaI/FlXm(N dA|O")+o{i)5$OЍzlgYZa5bc39b065520f34f7bcaf1e9d5711151bab5172a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 2f1df30b59f380b2c8c2f73b1e93b179f1f922db 4a219c476b3dd3ba9984eaa7118699c8c1d76186