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 4!<,t ]]]HOL-Proofs:threads=4elapsed=743.915cpu=1636.968gc=114.976factor=2.207zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3Ǟx)<7l86kIz+WV,5!O$850S'EέB)'ry_[B4f,霠CzrjjTד.TjTRWHÊ󓅈]\|_V#0m.=#ߗ+7 ;,"$CU -`13aF$46׈dXg I@h$睞SѨ/D_O@5.&Rzt7إ;*tVEAIl)m@ղ9U8 #M GM#h| Q?un*)}[2͖FYIra tN{d0_i0鿍yg<-{GO%XQO=hh%=]ݯ%Jן$CEiV`Kp~稇Yk@} L_p|'3'o"b%^ۏud?,kSƜЎ6AXᘤk`q1oBla'-|W`hl5L{S&8ۣ5E7w_6;vm/!~S.T0!!!B0W<` 9^K|Qk-=_>p€xh0TP!q|뒎Շ"\dljˉ nGת?CUA Wՠxa P\ߓ`_;e:=aSscrvzApdXΡѺdsX_~VJ QbޣhX5-hH.V ĝX[CFQ%,A?dUoDsBBs?m~r}Y#. /tF1hUx-wVSљɾr)Rv` >^'יFoV+OێSc'S93h(@ܛj!UZ|^ 5IW3ѪU>+^Cn؍Jh}W WxdFMxy k7L pEy"SwG+_n$9C艔+m8Z!z$|0ɩ.Gv.9D^O9iT[oQc. `ܞKMZhoJjoW/*moGz,{v{T_gԌu(b^o N?16@3R 2 $ s>P6"isB42p ݝ`rqbڲj| 'ΈN e`Vgo)Ӳ ^6:#Niw[:}h2X5pYC(ٷT&+)U7htQ v^vznLxq;3zO2X? 5D183Ǭp?]ܿ-\TS*:(i@N4Z dp ,'M 8+$&5ƪss%4AJE`2km4TF:m]}"D9rX譲_Gk:=/ XiV-YbC PzS  ! HOL-Proofs  8zI%{Q {a+L_T Xǽ .֟(-SL^y5z_Ց]+ 2ۥ㭍lq sdcm1uung|D ZӥaE1ʫlA>vA?Pq~U}!Pz\=}UY6jJh^YfL"h6]#B{};ؽN2RG;4vhPD؊u@P.){ԟm_1<#q}3*B2stI*B٢͘-:>6ImAt]_{QdCtƱBˑ^l=8dJP|ϑՙLW/}]>z> ſ cw4] 9[|mdKPr*)Ο< e; 8d+M _6Dz[3/ QrbC$<ߠP$('uVaYׁW! hg֯~!PV9tkmG׏"/b{8$.a`"3Іcl_UYTL^Mdz+ DL8 %? \񙚈Q,$HoudNq&V! .^-L{d ^Ji |ж͋΁[@NgY&G)Q {* VgS7_1d"c2j 24ᯜ~< c~w=7U7-D {9OaN!i2FlX*krb00u'B"OFRQXG~WlίŸk},幣9־zAγ_?,!\uEu89q7 W㘓E d43JĚ9!^fLFC~Izr(n͛郓tfJ0ؘU+.h^23WyzbI}"J.rS/ZIG8LߟE o Fi(}}q/QI-.n|$YRGޝKF'>')3$"| JByW4ڒ=C㖌wwj?w#chu¿SDL+PHX.OP sz8ھ,:[NR lp ]Y'K|@onˤbGaESY֝uL.#JFQ[n =P<` <ר`bhث})͂6{x=$d;ɑy: v];چuoc( ZDP@7斏 wwrʜGzߐ~Z*Bh08҉qbv}v%N;\RP|y3Q7kwL(]+V=9yxzZЭXA㨖0AQ@HC.0rBαUP͍GR@X@^4m]x^gZԆ.qNvm)VmY"Uf{O[ԲQ-@=re?drYאTn39 h0l< G]]gd?J߀|3_ o{<Q ^U~:lhƆ-<,{.ޚRM`@J3Pᴏ[3vܤt C}|:O gqkSׄw]!v7%5̃HK,mw黾 ]w[$&ݳ<*49ʤ+@L:8CxT'VnƵ3GͯD֍S&*z gH4DQi 4њTJgOn?U$2!C#`|d(X`Vo]5KQ9DqZvsr(}lf"9[u@fe{laS"H}B%j\6չ)n#Z#wmTWj9nPȏ @尣zgJۖF_5j }P#ÀF B#VѹWPO85F$ 1,rKg2?~|U-UXF*gC) nopZܻ9|TC57x,VA4ʵUGPI][*ƻդɎt/o)%0wB@esyIh[<\sރ7f_%rڷ.ʆsywiqwvOim3+j49VK' f{@v_!FIf0! 1'HD dwpr 5hI[Lf(WQ}R[s1;/*O ɿڦ^TJD"T@Tէu'lẇ ~E*ʗtYzDnf@C5@lHUpN U-aBX"KTYF Գ0(N nx~7'xXSA}O 6 ~Ԑͳ#Y/b{CM߾M>.srGdQtB)g:ͽ/ n=]weTI;9]:o{XY'C 8I~( CwxΞYȐ>qv9dI퀕# Ca(8z*$&4:Cz}iɭid3<莏c. 'dYVI:RZ~[*leZxwoVũ|=[j%vK'Vm v@I?h#vVW  Z|$Vٛth/> lR`0'=y'\ A=|'@9I+d;p< r ;-X; #+|Hf͕B gƓǜ,o)bjB{5[GH%D ѥeyc=DSNUMv@S̉ *qmh>](9L$g3Uw O18$* Kcf *qGXZ/ρ{"2*#oBz; L\6Ԏuoؔ]RzB&lo0 N&G5z.D^+H]Y/,m}X&mlB5 BֱgYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!*X`2^Nߟet:][eƚy 50R;Wb,3 PCHftP+><-l'P/;m)s*ɲ~ #U;axόp.i*oV$DF40,ֶ -&nXC7?Aw |ܞbKQ2Aѳ:_)B3х3qk Pa]MQE<*̸K kWSC;Fhճf8AUϜq}UhH#N>YX򆳎$OR05=i jڴa֫b:RZbfj<'lݼ[)6ojESv_p-HP>)7u5ƍ6|ɏ6$::_% t4&vZ6f YN,?=1lN[ 9Q]q!l7 vtZ `5'FPټl:X;mZO%H"Wk=뢵q$`0 2+79 %5͊Cy3NGĭn"" Jz4T'/h(5s֢ͭ8/#N`℟ c=9*PZhrSÃ_VW1^G>f>4/"I%|W̒qL?z8,CD'u1VUU Fa+T1>w z<7<_&Pʷ*zWHJAi9W#{+"aȲ0Dʹ\7{j_rMH հ nsro"/i5WoHi̔ qT4fvOw6Kyoc9 쾘%dvf^,?"!m8`o<&Ĕ;'@AZx,hhv"i鹧7&Ž.~ux_q cI-N-r!Jz (gGѰ4Jjk=in?jX6 ռфv@cae?Zy 2gYZ7zXZִF! 4]ŗXi%ES3 TG8 hy%-G կ$>||;6S#S݌i&la&khu1V6\GYҤj٪ĶW]O&NWaSO[5}WrJArs"^QIESDˮS?:J q lT DQ:ymuv->q+[[D֦m`emH= W1h wۖ207^TT2zK3-.qF6nOvL/6[._c `FlYL\J^tJIe6K(:WRAy7!5V '>G}C%qI0dwR̀1,o8P9å+ڪ(a|_h_8ńxH Gp~dzb覈!2o_"B4M[Mblj54Tvju\0<fu.<2 S0ϫ)`eK&ře#-i xzO J= ̕/mmWqN-1:) LG- tH[\r䱔B,rl[&!Y lrr<-ID>(JtdLz_[M.)>L1]d,{a{=wݕ9j,WEi@ l}q(pժ%kx&ͻ}ѱ\T\}. D$_~o7M ئBJ' ultrHr-!KР3lՈϮqvc$PiTWH5dV G= x5\7m)aX8^CK1$k [c#H?= c')xmF]$RZnx*4%x6yoBG(*&$s9>5:duO>޽3y cNP1Po:-*Os5M,0J(@1\ߴ7LI7 ĕG]m,w# WuMLdq|4nm2D $69}RVq㶟ѲVgI#tX '`axHo0«(a$F# NB+\ !\]1J8 mk"qYEpzg/U9$[l2 (XCQ~@'$<]j}/ʦ]St#QԿU`AuEpCZ (І&{bLl7hL%GZJ*hL9hI8-U֤j:)5"W G-ޤ<2T.@\);*oY2aM#\C-`ı ϩhVqBw%X܇wN'v tTox2=:ޒr@0+w [,JUH$aQVU2C[ϾϥFnx:Xa`ߊb'VzyJХVd^ꜟHc~nܿqSI\WVRGڪ]n\&{p8b5K{UI 3l+Nt= 2L;4yHG` )[%”.Y?@nlbu#71skC-c\yp@87%1ePh2>qcTCb0v_T@ժ4r)Ia/vFlfԑW~y$ؿv@G; {sʶ 1pS"͓l߻ }T&;y.Μ}H@#KxB3;P{ /PbĥLT&S )r&fF]zd>j PCn!oNq&5 `“ާYX"'iyiwJ,:Ȉ,Қk];Tp( 6F/7r|w %؉gJhow=mA2J'¹霬1.ĀT67> M>s{ 'W,?夿O@A: "ϡ?捻F;o279=F#;1iË@FZv1Qf6i0] dw9dg8I9pA0é}'smDz`=IGD*Mh{R[ZTpd۽qFAYGo |twO`*AK#6 9b򃔠7^+i)=C= U# *R)@wQnk3 mq*9ud7w\ IK%Na"jӘiute0j!S>-' ZR5cF/o֞8&ʈ@Յ|~saQEd XN1 yլBYUo' +X7Ou?;#7h]q>>xxv|a$!qb_os-T6' # NږxϧƨKQ\H{æNk2B )! @ܜg95XhH8ڕ݌&p`!uhaOfu(K0log\i٨_}p%| .s*bz"\㍂*Q˄*[uNB U5u4v˜+y oy߇*؞2-^GRj7#g=Ԥ<1H&TNh GM>jkg혨0_t7BM/8.[3IYH.J|+ FKy)/"38QYȀz Wi"ޝ`p%k|~߂ŏ=-;.>;-'YI t`iPMDA'OPbJV|lN4qNwޗS*iK(Jȁl֌F3AM|_6]-+&/wWPܠC pmߡïyH-Nx%'hg4rM9Dq&N.ǒ 7{ՁL0cNKmSr(5▅P]e]TDQ =!D0yS7NXoRW Alϕm|`@rRCɘpcv BF9kׅw=@,_NCf{Q*f oi?H;$6S^8R Zk'4TG;3nhS^e/|{VFQw7("-! Lu([,4lfb29#Dˀjn݈* |Pn%:{5XZq$I9+UܴڻY,BҪ[r* pj^ΈåE' ,\hMj~ "Xs;o F!̗aNT%3.xX6*.,dt{ݷ/lgC %EaV2 vPivWG|Ii.]f,'ggf 1rB -Se2XF&WRd-LϿ&u–"=ꅙj &g #S۾LLJcP˱B=%  ,aPy:$;!?XM_ B=vt:;C.;A#1gkuQjRi(:Ez[ 8cB`ޓZC y4+I?&=^m^4фM?Կyw~2ʬ/57tr4ؑKsrD5U ꟹ2Bw(j3hWHzxq6#ŤtjjOTWd$∁ 0(6{Tx?"+պj= nEnW o#>џN_e^+ljW$ǐpp;V>w]Aj=&]ѕҶ)ubۚŀTf5ڣ̫ q!!<#O+ rݝd̺nEJ߱0*,,rȨoЎ|]7 -F]½-g)._K8dxsRkN2ktPz %qH.r#| FG An" EW ф!vPP}Be|Tҥ=\QBj^"Li` irIOŠ.skXDKH l`OG\! =$=|6]fF6{Rbߔ.Ԉ+qn6tZZ`x'ףj#s&_^`˪Chw"mAmH DDk[`q{T6368$*,w:EbeݱM|j1M2wQ5__.{ se޺P,I;ϖ^g`vx}!3U5 9Aca$o F 2G(_z^ZFj6F1A2~EKK 3rF}zw 8(xHNxQs۶5p{n;+O銰?!u'n!Ҿp\uE gIl\ j9­,ASxHArjl֊:`ҖqE1~uk!DkH䁧D?1`*aA݅t8yx + £B"ڮxuY`{ﶨf82A{@ti'7>['0@.RyA;vv,TKtT^;wZV[N`I 1zw$M[a]p 8.ߒnz =_X0:-d+Mo'"+7ټZ,uN#;s53!6?MT_V5Jkϊtp c־ ֔M+}UoDkI;.sDfmJBXԠIuoq(&W%>vecCD͔ExVUKXK~oTƘO^C<]tQZ:Da׮i=Z\rN'wb`^2d{ՖK^R"@\N4]#{yUf')GSu%=o72>^y[ JI/̰Կ/vS>=!\Jxc{.E0d7G",e/CaڎhWV\2 4|"UV%V ={D8/doƠV:!J0b7e0ev s.fYo~~@;4nߦ>jyJA"=38,ؐ^ W. %ˏ:V-ݥJ wkASrrFiLNv4^]@h卦sWy?. 5rLՊІUֶ\2P#r5Ͱrj|?)ۆ>*ƘGݝ0o_r4 ˥YdlR<#jvw,Fx_"H(~Tc;19}ħhX(7b*݋Lgͫjy>`%k.fxgTN_^d /)uJ+Gxr?!֓ w Ԙ̅"7{zRq"hCϕGÐ'KRq WwM$g+-ΟظMܫΗ!eq9}|Ϙ{n7{hZ/} .hwnpeiϠ+t?;X4MUz]UPq:#o<* ľ,sL蜔s@תuo8TS 5gk/J6oFiRVPk,+꛼2e:.E@93m5Z{5Zi㠘W+3AxC[1r AѨ/lڅ4yf*ӡU :#pHY=X_EQ55{RhrQpx|}XJٰ h't`8ɜXo( ( q˰Ӷ郒ΥWe w`EdK[E{kT urCC=(i6u&}b"{7_)YqyxW{w핁fk8l>:C yA Ҁ@z&43)ШJ5}wt~H)!톮O`/xye NVm1icHKI.205%@ B<!{\iPX7wqc#}Mu5)7+I3$5-)l-QU @C;QcAEpFL/k kՌ<3>$8ajCtsusvcD8ayK q;zY|m{?R,6}u3*OASU_fJqb%$:/STiZ;j|"ڈ)ƍ㥪e4. di8H=7uHjY V4D ⮂lq; 9@N___7Wi!uQ-#[}:7 6᫞Ӻ?&j,PQ43 P`-PT\Hb8T9]J@6)(GƖå$BvMYied mvrRvl6*/TomA.yp$@5K:NUW'R餩T.T>Ht[Gߚ`uV:ȴ8cU.g#g$z@#֘=tWmbP טVIF];#-A:&>+M9J."=Z68M\vTyEU\F8%YX􂅮[Wm (7 ;3wN(9U yNUHFp7ʈje5lnWg}y4Wt$,}`{R? b^m^'﫴hrWGiH[$P{+5@ݿ~1hʶehQV[j^(Lr}%g[ HZ'Tan@[1 OHK_uD+ЭZuvfOZgBN>|5>rJ-(szl:̝Grܣ.]&,>TWS#@ys& lm-gq1Ѿ% p:7Uǁby}~Wc7fa NCS| p@:.BX:]k^։}gHs˟ E=*`tWOP~bf%;ebI-Rk9\.!Gb۔_]L%wE$?SqZ\9fK_I Uxiũ%ܤj @Go zMeda2,hm [L03v&<ړ4q+Dg٤T'hDu.'r|V{Dw$)"U[Yu"'tᥳ;U?e+`}O&[O!{T5C9zCk$*(|K{b-QB. !K?iiI!Хy`'s=+ZGup 0޿YpjUfqr<BN~E?JHaq0={Vh^[[F)sVVTWnw=&Ca`M z[h5B<с_(-خ?P:1"Wt>xE59 ʀluVTrbӼۤf#u0}8ֻr`uc9qyHjmqa㢀 c"{&xb_1'n>܌oSUFi. M*ST&"5~hx82 >/NDZx?;2C0m{$oaӢ+ 8f/-hk# =c12L}_K _{zl#ųcz0oEʇaO@f&pT_i~$.D&zCibK4f\>=$S$US `E%V*D~^,vw̕lţWT6Szk<"}h#%ԝt͆Yg(:Qwe}457z"S,g8;SD(9 2a$vPV^ ooU90E93͊K Қl5lSׄI}CXo'oyR:u92p =􂿨HlNETsÎઅH$ L%BN9MRpOo'Ҥ(䨊E:lQv!~f ,⡋0ٵሤ&\\ S5b}qߝY?{=vC; 2r}dQҋkX?&`d WSnkYT/臎9{2mqӵ,Qyso֤9i%0Z tY9n4|Kp{63xti0$hxk<@1eVE(PK -Oj MV[F/pm4'8 /ƶ1 <+Idؖf)&E~__*1O1 `kM^DOl礖[ `zuԥn-V̤ހBLE8]z|b`5I{{(\n/ ^ mk8씑[^Hy6BbZ{چ)N&[d;tˎmcC uWVk,Yw` Emd-O#$&XKN%IE2aƍke۰<^J-P[$dR@~T 1PEKea/n7b!T"3N4wvc=wjLayLaxKxeS,l th?NLc;#&(Up EɆexC9&`qրwSјC-i)92D%ixn)}e-/ 3ohܹ|ui ܦV +؂\ !om|j=a1L $ wԈWF`n:alxK2 Ӫ65iheh*(-ƥkWZ͞ܐpNʄnĖ? 2 k%?Fz))؆ 7(]wBP-,~Ijl}KY/AlSѲqɢS{o}%Hh;/zdP>jr_3"HqͭcvxmЊh!|,v2j\kLx^?rџ3+W;EJX"ڋPG,OtR[R!?KpL*Rveal'StZha.N5*:_X;Jx@hа`Z?ZmŠ24 A^\{$y 9W͙Ψnu1o\H tZ\ zQ#Na<6][щv"}/3=d#':ҔyuęxdGd2*tXGJ02`zI 0Ph/͘*-I3fsl!,0EB7rQ \wPg1]hx*`GʀQ۟I%ϵYWobHBQg9Oj)wM*mݾvVGj=:4)g bҏFy_">Uag nUT_+B;m|)v7~Ph7rr{FtD.Rm?J)x$!{ I,ˑ֡H噼l+iV9h~][1D)XÚex.}88 @â%6!#Iv ,ܷD>+sqNXa_P2 x_(Y WR`ޚ 4 d*EE6N 2ak  RwFNe޿4}j%ߑ [O5rsz|[XP>|p+Hd8CI> DB꜊D#bGy1PEˣ\N~Λ5y\'{x T DO[r-ݥGBB\]):H?Ƽbbt)5`+kY-/5Z]f[i6nRjZd峴nXu yM 7] ҆Mi!'c75W-w>v]W TԾąwH\A7E.hqV)G,:4WU"WBe/}.)ׄg5q7#Gw*#p4q"+ch#y~X&{K&TZ1q, y)ɕb6x'i, ;c ^LpW>9CyՏ\&:am ɭJ/3.gOt}ㆉ eI]Q|9sZ¡nɩMs[|)k"tkSlv%Ӧ;S\7e Py/(c+yg\*BMutG[&#7"@b.]>z&R&4yC.^>Ei jG1lWl7޻%Z$^[{oFvD.a:ꎙs:T5ʵ )wڶ\1*"gg&Q"?yiag aq.FJ ֤TSB6I:ћCcy+p'8>5 n\Ŋ]E'rtW$zLsu }|sMRi [*lo3R;wt(/;$|hz0'^0C.YV8h 8}(16Fr|f, 1@ ! G;r,p3fG:(/_LLeSgS=!2}ږ)qa 2Q&*nbZfr0?'MMߕIG 5Ƭ?[H} Ih+.Yd'sR2֏$Kx"xJcb96q*vaǖRSń5';@sF#`{t^ك攸]K,JQ/%ь|S WUk)Am`+Tz@J־3t=Q}M.5p5{&F[x⠠x/}=\>zMǜ7o8fOq&ڇcu~*$؀I9>sCB0Z..Y-iᮎ ! :@jX)”w!^gC2eU}lߘ")ay!a^D0FqF1R}waM`ѶSp3caR+}Ggxr8m,IlC-nngDgvD ^ܢ|7Y(pvOZ8}R~EQ^y%XDb+1' +Z%+&<)bU)/\FZ ?W]Tvï@ML(!QLXbx-/ 4-Q˻=+91†yԡ{Rq`Åޮ:(!նm.c.aJv! F1DSke:x2HH aFgd?К~X'z}-z`4E:6zV=Q$NPqc%̑ :Q0[2ZD!wH*># Ԙz`5hNVB ^I G&y 7Q2x='Kc^.nى2!ƾά*J/QHm4+t}[>uڦYNx{i}\0k&w'O9: %~1&~Qe]aeF ]gt~pnG7jgv2'c# =xCiS˓BpkɝKFIP ?Ig,9qxW(:{oMȝ'~Q2*_lͅ3T9㪽{|3=1i-Z3,6G /TcuzDr^wN_pފ/wSACv`wT n!f: jc1 m{d1ߍ*дn5J9`؂>,,SX2zQeV$wY50r(@YGʟ1laDcI;vmLJ\\7r\/֦iU4i{pjzMR-Y&D[qkE#VDaz^Ulrʹz5"b r^Gz_-K" $9yPJٍ:ӉKiW+C8alH=v 7bxt襤E"@%rj Bב9_F=FF:sL\: Mr(ԖGrt78{yy,.9(pG#<\6F2th_}$Y$"7PAG) mla dO†UaSƦ5r jZq774"^@_!yHX7e?Ɏ@oHc:u=$ށ< ,B7yeeZ%uBņ7=B)2#[n6vpk0dKg+z VV^jN`.B`7d,tH@[;A徠=.HKU}2d~t<C6W2p MRVWnc 0$k biS{!HFO%5[#90]b3޻LHzԁp< -5jNɆ֫MiMI=wO;F| i`6/wKw/^q"4[x}Rs-#&x5%/め}[!P4Vꡥ@M8N4{jP,9(Zl?7]":Navrx tU7QYjz$JCO8E9 Ŝu1:՚*^2lJfd?ȪNjjze~ϙbAma*{ ]15п:[8]IưhH#E e*c6ϊƸ"3Dцw_Q .I[Y=.umv: fK!NLx2˪-=Hݼ%SdL]69PkH2ގfG> D,Kțq2xߖKp 7-A<^&RbCV,nj3OWr-͋:F(ʃ IJg1)[6%XҰ_+P Hd[78`</b[rc#Q`c>:c5x/HI1=>5@3Y]c5Ţ>N]40q2I]JrH HTSN vKYmOzO{9I?6y$= 1dqEbB$!Ծ73\V-T_f?|{11̠{=T^͐X(lV~liğzB̬;Dd˺s hI{HZ&?s ~/Ipg woY)FyVR$//D GNf  B܅#0 sy7-B9(% ( p.=4VBEyOORUj z\FGtHIRtoI奢Hu,RYK|04;ԽKNz딗cu;`XmgP(gɆkTIV2F}/NTXGޮ;@xhqx Q4yو_j wH^t7؞u~9t]PR4&jκLH˚Yx@Q$V G o]0`%X-s{PAcjgz 0Ohи&6y5iS8u݇'/^Tii WF ipnpu3PydoȞdEyGkV|1LX1ܾ8F&+a&tQ؈V1.U==tN9)#mrHO7 Z5YIۣU. 1aK&!=k#J+`?ys \oCFҿhflEqQ]hn&sbm`:vԠ݈Ň6Xi V[}mNƒnq1Su;xa`&k*ŋ$k{sey!U-H%M@{ԍ[#z?cz3.UCܴr!tuЙjYwV-K+yQ8"ϑY7{Tndl;c/r4L%Ε,Ox]dJwwa:̲"LT~Mn8%<]/Xqx Ya7 it2bBLzN>$#9Ҭ⏫F2>IH66'֧`巇\R͵<׻b }u?]25/nw4XnΎhbn718kj9w"vNw.Y1j/@\+g;YX>:;g>Zc>Y ,XfI{#[L!-XZ"3-!!zIrpˇxlߌw&D|6?Oc ji8KK;!/+9Zaчu+BNu T:!xPYX:H! Wue[-$jD-zNh!V:@4HY/i95}f8\UZ@{ΕR 5~MVPu~##A2D*0T 1pFcPZh}UqƦ>Ƭe\?Wyq| 4'SU iPBMSD*:Lz[h\ AM$Z 8k'(2GU_v%-H0Vp\@<)Ζ Rxh/2Za7ܧ8ZGԦwHME0j> D&^iS%vK#il]bAԮ#b|h;IqakUĔy+E7;w Jb- eIT:VEQT2+G GHߞk cj]$O{.jtchzo䇕}"FJ\A޼Ԉ ``x' v1WwUl.ra q.S?>s[GcP^z@ 뾪+586Uy1&noEͪ,h8asN1b4wE˶ FMn1 *g$]kX^;H1Fx RW&7߁lp@>{mNeR^/*EhB}Z\T_e`GGN_-#ʱ;&;<]ߘߤsv H&TfK^,m{}`S9p#3sfѦ=K\y*v*-4R\].·ع*$4wx:מjx 46ѳ ثx2W/.bM =op}=%V`|*60;@׫m!V\ԛ Y%h[}c]vm[[n e-6*W8)+ Q%uI' @A`["95Y DW`]6Jn fn˺vUSh@3h*>ʿ61r0ۙ 5Bڗ]Q\-ţYATFz?&$Z3C*\ê^>^T!(+0vcrIAYhuMi{ZwIn135M~t'Y 59=˗qi+gcay+{p]*כIC?kι$8M8Ww.,OtGWLfDWzdn3&=<!g0ן+VrWOj%2z,.Ks X"'Ɔ7LLo4kqtZQʜ讫a>Y7+`vfF m:,F!ڽN$y[zMIl|b;}mSw%?u=4w)9aAbL䅵ޠ2~zѺb+3@hLW-+%35 Ca ~ **o$YգWZd2Z (UOwB 5 IVcg<+i!Qn3ʈم2$m~J}F o=k\]fcu⦈AGǝ_1:SctWjumߟSC)ZpCWa6-1H)u䐪4lmwOVG_}`5iTudzt֛8!!(3 Yon}~6:c_4r]`]U ,ZnCu0W_]&q#d}*:H`Iy' ֤(u۶O}UMa+Z/0mh)Aڍpc:YJ0.SAGB_Ϩ2W8hNn$Ah˴(,)UL-n"v9+1ƅl08~4Z/"LO̘:rh;~DWcgYk}p7ጀ! bh.G<;:m:ŌkMG`?P <|&9%-8y6z裳6QbkYbTAk+eOUP(9 M +{z8OΧFѰO0nMB 5(\7{a9#y?R.Ήun$shdFoL{9I6όmj@Z/1}0qput0{Ji>S>ȕbrI[ੳ󰹖SPlu`MM)څws+{r?jy PI:HbK8gE2NX'UJ!,U8`` O/6u0"p툫#!x&"GJ*ŞqugVrkYK dGG G11HŰB|0"Ĝt.+l=dW-K1yN/nH2ٯsv~hP6> PΎyaNu%(rjVJ*/sm^Z2O}QtH,6'gZ03C'T=7lq e7%qK,}lVa Н qGNT]hU"58RP׋)18͝c.ub94;$ai~5._'#/ 5qOoqtjAhY{T #(*r%o^lXQlnfd0`T8Bf#b. h@(:U*x6 tuɣ-@Cz:Ul@G]-ջ=qTt9ˣ@O%ȣ@Iɗ gW'm}*=.If.ΟF+jlȰ&;2mO>2S`G+ P1Y\qVbJ8 lI)q XzfL^LRmd[;9c ;=k.4+W68԰ @9\JCR.5^3زY#mG#Q6Mgv'۠/°\ YZ;OsQJ6!_xQo˚lT]$:aR:*y#@s$i (Z::O9B!;\ $7UGYW.˷T8=у~+4-N߳9E=A;0f&[LC K.SWtig@ҩ෹iAòV^'%(û)U2+>tU>'&2i^BwA›)cԶxpp;$t0/ZW#D&!0Yk2Վ!gtZ1rSYmnT. JLqpGijajX\+-^AI[pvT4,PDx&g2چ@S[Ue.CNaVhKSʎ<جĐ8fVvK!W7Yb+Tq:ϗi]G)SИ>v?aAX=8!i\=]w- 6Ȧ:y_$^zՏ[0zBm݄t-qKӅLx_lySwƕcB!q( Cbuqwjs$rQs-<}q(ԙW?8iה~aEn++|bб+- jBk~=l*{걅L)ֻBEAkġ(-2  [!q`o;'@@8c&6Թc򏌾s駟t};,n<!Rܵk5"wXrmKk92*!(dB =] o8rZAcZ!v8߭ŌK\ߟ{-6ɢ}@rgFQKKeAf6Oʮ1ipSb!K7-|9,F)ܲLmF;Wc: $"ZG.R@#1)#!S/^,]JsɤɭD B,~a}N%K5KXzsG8P׬RƂ0ed57H'< ?AbaDLYaR4Hϵ9Q~Ť=x%[`b^1 | 3i#5w~mWi&␉F=;P.#牿kiD^ +M浱8g0UaZRtN?3Z7-WsȃUb_3ăg,agIOb: 8BB{,NfӦo^ͮЂ ;N1_yOpRhdD[cD5bt܈x.#`y$|7`!xz7 9(QN)(Z'[Saܜ % %_1Iĝo8ңTt4 ;LԸ; cyT T9t\RPv-Δcvi 5,l@I3ƲxrG[ώӓB=d:LF[z tX{~oT~ 솔@ W7PVS˼:porFdʵ/sXY|2D=k7sh'Vt5:vQc+w* 33Be@0|m6q8u@E&9Yp5%.ln7q0=ۼ7mp }iPsW:8M}fu'(cKFggIJtӽqTrܩ+o:ت`ѬBG.0Fђ8]V]@s`* F۶'_p>>&1O)`8aM@7k7˷<ط:!Q_)_16Ų۪1*Að-3< s:W)ݫbв[9=E X80|hWq[rd\[? iOW4JݢD yd4r M6"l6!{TM{ka9M l-D|",xG d~H}=yV݃I'N9OL]S ~k{|xGFDƲ_־V#}mPP (#rF\Wݤ[T] WF: } R*Ʈ(ԑvP5G"\,kRQ|Pvι{UVoZK$Q"[y@):4*]HvBGgq[)^VeNotL5uZd󭐓lfȱ)J7aRE댕 4gUW 0)TP)J2|N?.bSjDo>cYxۑwk[`29irV#NubMgtwSށ&a{nwC0b~d'V|Frfi]-ߘC'!A&ἰ]CA@+&ZןsdB5(6>?ͮfOsu97|/Y1Uq*h:&֩_ *x(枏Gr-:m*B s5=?n#yifDx ˟A21 h*o⤿;UN!Թ,!gl$ˮLk#ȾȐ L/IsǤѳi?g'h,p7VJIPt:?m(e)B28ZT?BT()ױhf7J4^,)z,}7En8Rz;M!oj7y9UAEC.Y3ғz 4O4~#iȜм粻D_yPIYKu2?É2-ݣM1)N>?ݍ-JOaF ~d0 Z˜B}]7T5o2wj%s/Zb$}-wЈi2 v.5+-| .UH, x03iC8*)q9(.wyЅvug2@ Ӧdb[z#왊m;)#`cZ2D.|iX*]3HHD7w7e=58!_eZ({%cG\ɉs%Z*S[~gP;+]67>M9j{?iCڞ 'nʐrn}&~y1̌ZsrEB|C|eǝmIS|6ӈnH@s{43Rkc>>1@RW Z}u~AHϫ351O<3w8'+H%[]cjB'wV\.B{}MYS#t9Dqy h*Ǐ&7:3^ 5ZěÊeެl-:Q@|4zEN_wnj+6J[DA=ČOα،Wy#[F^0(GkpZcmB |tb9j7HٗCJ:iBȅ]v\ʼnC7|ne^ـ7!Zp:(Q,ޔaOMQM-ń;-ĢZϪml]Q XAgZ^/[Vl2EZe0%=s姇K>U&bJh"(ٛ>4dfENZd T,g%sͯJ&%7H O gO{| [ߨ(gKHW4IϜFbvǦML?"FqMUg8ev1+mI Co\[O$`*rLڜc )yMiݠSö/lwP5cO*#n !uޔs.D@=V *^TMGab Bڄr.;b0fKĕxZ&mb\ĽZ$|bQ =y! '$^椞?+l12-;$( |]??z~9}^'M(!`wDB=o';{L'܆x:=Elq㾣3[z *7]NʬnXtIE҆jki0}!$FN_hd[d+މ;5w~JNq7bc7{8v\l|LF+{x>wOtn.J#/{ #Z9A>FNH)LhX} 1a@^pȅH2|ea ->WS^M?7ڧi>O6Ϳ#ӹŮ8yya w*qz=N}R?uαmxY:6Pv'Fo37z WQϻb1̆v`goMTnxn,!AT7~%pK/ "2.3`\@K|眶{rI?nSaWFe.Flo~i@Nnꥸ C2ZlO@R7'O2(UGcǚAM[Vۯa#g?{m/0UJAY| :uqk=)Iȭ>bբ; :Qʂ U3|a~ &UJJBoeۂ پɾ&vJIFTFT@:߶b'!JF XDQM"םw.)!V÷pcȺqd^6|b]r }q1PkzlЭk/gR@"?"i>-zu%"@ pܰm="G9z o?xzjwܲI7\o8߶?iX5$ 7y~v]dfPFcvÒNL鹾#@9>?<ߦ;׈cS&.dA'$&~(U,iފX̣tdAG 7Ґ&.=Z˷RN[>#w}"V( 2UsXp/_fkd7jJ $@z6+))f? ,sN0߮Ǵj]-~XŝJ$&mrCs"R֢r*+: ] JBAq|U^["9k@a3j|,{/5&Lݛo%&:%3! Ƴ17>jo-wC{_- ĵzNF\CS8>YOULCX<|N OCB.ʋWfoqdU";腣gbXs/a6eaPV-C.!ӯ %%gRry- #r?M0b2N7 *YoL5mY"kB@fJ>na!2PT F.h>2Bvfbt!cZ;}} \Rp5W(-4RC?P x1>4TOHʊ  !€cerZYYA0PxշT٠UEC=*tB?KߕŬ˗F4Mka}t]BɪbV1ȱD%گɐ^G142Ru 9&sC¿ ,kfSZDV=lɞNbJ =T0:QH܋F HWpQd,cR(<Ђ8A_ȦʵIWS_ &-i Ǝ$g4jtwmȳ_tS & Ȓ$ҭ51JTY+(vL>gg t$h.("£ woD>< 8&ϧR+NcH~eB WiiN?l AHn wecԅX~ [K&y&'`JykuX42KN6 +2gBHB ma̖ʋun?0Fc{wc]a\\aA~FS.wv|aE+ H$ aZÓ"/Mn { b}u#T/`k1!薫J7l ⣼n~qtIbAWC>-R# +2"jU>ƫ@>rܜQϔe&>C@Ra5qB0X6kF˅854B5^qlT׆yz ;S8O q-Ttv6Bz%-Dio)q&iG~PQA\SzSغ{{AR@Sy?絮;;?>qj_}pǼNx0 ;&`8&m\h4{ߕ BzS=P8WNP䬖Qz?)܁Yp*Ѻv~10C"ӂ6cRM16QogʝBzw>65ZkgTb,dM̱o )D_ӏl R'1*xIyx숮k.g209Z8B`zd)3 #5_׆ϒl@.Sw̳4vZ>-bՕČأP 6ԎFԵw#fY,/qS-Bu7v}R3E?D]@bWpSj\PiUJR3'bwL/q@hE)3}ȉ qLOʤyߺJURUrhם3^dVf_0N!=|3.A"1:$PU8~s 3|0qato*fLs lƅW($7O/CL5;g RD;o[T)`1*Rfcs4oT$0Ǩd^Q dG8Xj1ZJfт=J R!rh3ߪ(PdJ8P֙~C҄3O-yPr&gES 9y(Ju_&IFǣq;覎]P>9%l+:cт\1BN]:Tc܌9:[H۸K}6S"42l7q9^y)rђ,5~+:.z:'W'U:sVHH0 *6Tp$3zQHOdN SSAjEO Z)hhF 47NT(F>1mZ wbӷ+ u|lB䖀cފ&D)F,>ݩg~q/C doYK_eQf .VGb,[ڔ ;?9 rC\FAܯ~ܭȌ¦ۅTrmzl׳΢AYV]\wh\eT^| @ 5m噼轍VdE_0=:[7>˄ϕ%;Q' [QLR{ɯT+,^d 5\|vU,Fԗ.^Mɿ}kq":U2cFG\*a]_1|iWGZ䢋 ә^|1d}uԿsVtC![q=j$a8ǣ]cзC2?k ٙPs98#$vPp>~ȀF26t;bw׊ѡ6*S+E#R2rg{Ö–~mj@Δ#1>2Y񁪑d`D{pSܶPG-N&V;@!E[׌G%e&',\"dl(Vd,dž&t?C_EkoABG4 !TEBv.6U{*ҹi۞$n8[ܚ/j4 Ϯ6$⡿13;DXᴃEtrKuk@HJwK{Br[eyvX3!m{x ۜϩYlA/tɧH*+6wL]AtP%WDi`=N&uM.,I]^~_ C <~#7sʔ,#cZVPN!ݻq/A:ȂE#F K"1%!$TM\'[5*ȿH(Dn,U!];2^tHCI0؇H]sVD!R2 fjf/I2v,خ hm3}2'E,.f`Q2yl{#%L56n%ٻol:=_?U;ZE a'T5 X(jU) ؘsT 7YRW~|T*x짵p >XSLz1%uOlgj1DꐔP,vdE=GA|+5sN4!,>>m{' ЏKIgypP,uWjeڭ\KdF-zԡ!BQ1Y[=J;&ѽ6a06 {V8M&-  =4 T&*{h¢uaS*"Cb\f.1UT^Jk0r{ 0ښyD OĮ$cvڄe7LzNaVeUdA-(!TC-d GyKysol(](Y?Y' GH_\p'} ;.r~B0[=8A&@lM5:$P“jt%{$QEPY m4l[WjŔ ԷLz{up!sw W;@?T NKOrWkR1@\+;GPG'%#EHӆSٴHu@LF~>^'T9Aqb`M' ẃR*;0c(ƑOhɨ %uXS¶gDbF[y1UϞNH\F Fļ4/ס8'̦x&4_ TAe'>3i=ZϢg1>v԰P9)|܅K-6e8VJղlA}!K, Cվ21 ⸋ZpCLRs;k)N3܍OR~ $d$:i3]n<4* '~A E٪T+&L^bJG^ex %h+Hg>by  l<.[98>*OsXXKχ-õk ``CmC^.ێ=s $w.Z>\.r݆8~pЈwWe@GUw `b7<\ƣ|X 8a^C*[qr!T2rěJr+L}%Cٸq+E' FZ6ƕ#frkdKELPq >xljq_<qT֟|шF5y"9p\41,nkra^IЄ!>؇n#.k=l%>_3 llnXP_~DWy}h'LfV+Rg!cw> ޻]cfz|I eXE{u@Ly<ۚh5\tdc8dၕU9\3|m<` MOvhC%bIEDS.OߠJQ^͚h.@?}cﻬ駡ףrgnl,9}?8sF- NXT!cGkބ9H~2nCZA{T3]n9AUFOWPE'poV1ӞL oG~p97~, ^xVl:SHKq^(ή|N=]h,eGʼ5{ RxBް- C foQgs`7f'tɅF%e,6F-!EeH\'gzR[[ݷzg C-^V_z㡟.DtPA64~8)ssHOʛ}\AuKkoFui;3Xh )/iüzAȧa;nHI;7Ǔf{!Knz֒u33ƎckÍg)VhFbS_@ڌ2KJ:XL[E493 j}؛Մ+)! OF2b%M6N:3K:Pf:j 'Tm}>#/3@pOubg1L#]Kh9r=NgEjBd`u^*K&|S~LsZӚ5[3z j3XD,O N~x$npYUj/VBfEv(8 rLj ErịB'mze R:F0W|M0g},Y%$W;~ N˺'+SDd $x2" eXV3F^*oFb.mth19 4>v2!>{(w!T򤐒S4Y7Czi(Pe_GXW:X>Cxw} :"EYf _ 1֪G΀}Uä/1hDLsL;Uqv6 MT79C.)jy;%>w|19{lr`?^wy9.QyrlCw`~&]|^[P2 YtTt8)[ h=gE>A*mdd }K,D7bA۠v|V!O2PB bx&JܖKu'f'Α2knҮTF9mUB ORk[B|K9 [NxS1Q)kAY|ݺ.tJpm`B vtra2EZu/2# [Xw~E/]6䭸h FyPorgYG7ځbIQiKET(ʢ#1=fuR88ubm]ϱňI߇ӦsIUӏ^aĭR4K uu#Q qk4p`] 8Ot;e 6kUV,`ޟP:GBt&a4q}` GzY Zݵh Ȭ3'Va HVN?拋vĥj7'^h#5Y ׷<,0}&(H7 w(OGݰ‰p+wRz!'B'XЧvu>gri>q~_`}'-F z%5::A/@$AW,ERôØWG"lkvħ6C.mU367h@L ߧuR80G : y ]03h)V8 Ιa239b)L-=vОj۶`;L9U!C]U.Pn=K'hk|,oI9*Wn~ :#A"QH*ܨ HUIݓL~KTTٮf/lQt#:埯`v0/b$ξ7?x/k=N^~^PF݈uEjD0g]+ȝo8&{NZZsAauG? rȆS7,ʾ7 >OuK!C1_7]774Fkyv| ?l?$÷Ej~b1]QI^ET,-Wy='`g/պ]ѹt qy, avGLI@.!S]"Bn HFMHB/K>Ꚅ&J! d^e>p9z4[+]F/=ಬ =|kY5ÐaN@{H*EKJ p(2 [g|" tk؜QolE4!a_cbtg1]":&QF{k@bK.Z0[}M\2,ўxF#T#<0]+C'NYm1r3S6ky2ZG֡At j,:EX 䡩ƪi;ip$"UeYZ+Cf[b?DYY/Gk0vQu^-2차y}|.%q˚Xfy 4Aca-?_ ~11/HY3?ݒE8Gna6 Di 8WFạEm \o7~ M 4Ly%WR<$wDz]@tlYZjw}˟w^XV֜R0ڣ1h-׽Iwdo.km$Y=BXYHgqO;QBUc DaerG* /vb["p& B! Y>A:b_iLvM)T,r)pKSumq K2Zdu& kE˺(|?ye=a[ZX&3bz87`D: %9R|WM$RT!î2E2CM4|Tg1C ,X}gZ3-L V5QmEݎ=us,F,qYQX0SU[.;芠37V0mES@"l ` yjBAfYyVN羳ux q(Le!\ۯ!:~yoAx@HYms00fҡ{/-KM Xk%..ʾKqikYfF. !҉J"C65Ϛ1z3LQgʝke%vUcfֱ&% 쮕  ރ^8w`YЍN Zٕ02Z&>Կs ZM5QOK_Wh@tq-r-Mr57n²">ׂ${]ޡAewwPO0B~2\LvPTZ)`\- =u4mFqdfj$-+Qհ(U0쬰=65 H-W'w _#tN~8 "Y͚td]@4~z.mYD˲*#v{i-NsL2TMșVWk)۵ָwdd#fj9`RvY(5_X3ķ >sݯe=I gi@U.\} N2#fX>mXP6EF 6x8v2/n7}>g\CfIOĘ+xq6U)bGDRz:ƖŚ'yr/bێCpFKD`& FX%xdy`