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 ++Fx\\ ] Corec:threads=4elapsed=137.339cpu=137.148gc=7.3007zXZִF! ]ŗXiɟ,|!ʏ+BS+ c0TsQan@< /ވ(Wd\ c]^bY$×IҝA0^rQzɏyMud-hp/@ l|0G+%d/+i ZhKRߗg<1:{I]KZ?ۅ/dhrn2}PLJʏJ  "iߌw]Ğ6%Ӝ@"c J#FZ|9S 㬠Gs hiEw^ ^14ޔ }Xҭf B.@FC~rٞr`{f;θ ՚p,w03x[ *gbnYEJ=—` qͯ܅13?)wtTp8F5k⇈J-TSp|J56ʟ&$S8{AGzA*"^k.S{C9@`F±gYZ7zXZִF! e]ŗXiɟ1˦rG1)Iu[*8Tzy bοV9&Gȟ4uǸum rzm[gYZ7zXZִF! 6*]ŗXi%D63bw`6dcQIKսi$IT0'-ӷje3$H Pr˞@5>ӄZvOl5i)7Aݛ۠in%MCi΄hRt0pT9~ 󩖅wa:CUV1A"LKFSU]ۖW |*?SH}ͣ|L1F_TGcuhp_dZ;O:imBW0BWq|.K2^{&n`$mj!ڨUbrqu.նT]^1rڡW16 NP~EsFKMGf%ojgf¯$Huq);'B-L'VXN8Ҷn(%0`{«0yuWl|4N/'JpXXo~^WyjY5:(oP]K\kVj4XUO8xoVKB|:|MeL~ k RAF ߼*U6KzJ_'zc8gsw%X 4dCI`TQa͜Y3kZ6h$Au6pa ۞4oUX3,j5>V_?VCէUC+RwUDht[?)w;}FjZvw.ق,x0sAQJ>]-cXc9xadJK%^=b}zV<_@= t'U6V??h2ENc*x3J~)%^g<1Q6|90)VZ"̟f,z1\ YcyvYR<3tq˗*gBmB PGR1=!n=>kd+hJ͜㍈/VILXpѓz o֙w׶35\DsP9pr/Hzr *g6R MW҄ȁ)0*cab%KهPX/iq2wk4*N>%CǀRhIQndPO޵*qr!) ^kΗS7 %ݑD9Gjb0NO/6*WVUۛE'ׂc^SD~(Y!USvl^˧7Q;VЃH坖Gj&6PJSҁ (:dF?ķXcWE-ee ]dϤtVT l0j-p4.ZG2FzޑEI*W@QoDS V] nzTӾ1CK9qWOYXeQÞ~);yߍrGϏPr7Qͼh,h}> rF[l"jl-}|D!Do Э$0]ñ?3Y|\L~C8XKBp1DS4 ~fyr?̴:ld E0.HD.ɡ(~YK=Iޖ"^6؝ƅ;;+*=[ +M|MXP.1>'v$e &vHQ)WI28w\d:6_k[;ح_.zy~Gbo}6x!߾OLbrFa{Wt½h^f1`X|떿{j9 k}k1& *U;!I"OI25 }⡣d1Nkf/_l!̐o+|Z6p>Ukav<>ma1nz!d 3˭S!ׇ.n>ʜ6iڒ aX|HigCfcwP]_Q" vN1&wWWJr/7g ďߵ-@& _Cq1ew?pUnrƚPMSxUzp5`ȕT AHAq֠= r(U[4<;ZRʨ_A׽lU>X~FGq{x6"-yXo Gz 󵺶Bph'#ھPCo7ޗžI5:e(~$_cf]~-wT{w_!ogQ.Z im |'LE&`*b^#'sOYNc tr'([|½'Aēj}w)b1:R=Dyt'y+D$I%Β~',YN7Ҙp B5j7_s2{LlWN +Ѣd6WoJG[]O+{t(Y߀ƒ7_>ʒ2/)9Ȳdt鼺+aKn#Ӝze >kVg(K< ;Ɗ&nIw0r7Ѿݼ?FvNlWh*4b[%iOmGOǨ_yV dnw 'y'-P SUF/ HJn܄"zw@3YRLT F T OZz`zl7  Corec  5 #% ,CorecCorec.Corecdocument.tex7zXZִF! e.5]A-MՋhvG"uIBm5]bGt#'2|7/ EBpQ >qMBa-'@=@ {vTN.8R43/,7Mۖ{!yy/SIW!(VC-r7[F'ۿ~@j{SWzIWt{G`]ځ׊ d>KpcNZQʉ'!-#[v!d-) ԚFpܒ 1ܚEW?wRl;d&Jho(%=ݽyftdv|ІBLё1*R)(*W憠[乂Mb)wsM_Zy<=CFIȆ#HAg7 ew<8\\GxNI|ZnP0\׋U6{7AB0#2t^X#?MρUO!33)H0O \3-Ҟ.4"[SwFx>fyc_2ń2a/ӛ9VÄwJ#:02?.D=S}?qKg::֟υdW~Aubtu9n<3F`kDc*ίg{bāKM )ll"0ЀM& Q jVgC8&ra M Ha.uVgsRKN$M'Y5M!g|RE`N<S[m8BEa3nF8h`ΎC>0VE, -[[EPò*8䆤-\:mj}ת}XTd2οmACՋ)p\؊fh^.Uc*)̲H[S@= U9&Vp!Q>JhFEԘ\Zi:U2>c̅[}/茼]E,w6b[L{zd%SN^\gaGݛyO _`V{vӤ(F>|W*@5 Sme %WSL(ٽ*fBo8eQSvTǵ4Q˟8`).,$7% dCorecHOL-Library.BNF_Corecdocument.tex7zXZִF! ෽]A-MՋhvG"uIBm58Ϡӂ.~M{{ @nst0}Nt.ZMڗEkc?YdBz$QoGG38tU*/@T0o.kP0YV؉q, q`щ" dDό.͵w\b.IصLYoW\=΁a6J}sM0'0MY "s6S6QCg?OyQց2078rΪ}oD\)9V` f4[}Ekr?U&nk-ȵX/p"-q;hKub! "#%CorecCorec.Corecdocument.tex+7% CorecHOL-Library.BNF_Corecdocument.texæ/T%3`KU% sK¥+[?>pMe̓Whf= td/œ;c=5ƹTE qXisC!kFXIC5I3;B^}/Yէ AJD-vr{CS'~~mC9uë7o!Cߓ-t/)m q}+<1q9q&stQh]?iw~iHacEFsF:|$ڥʛҫvNX"t6r~O<dqfL^P3"% _^ΆCWW(]{廃_xL3 YfΓO'B,&v˪mYBҹy[5P;*ٵ\LyGOiQ}BS+xA-]E7'(X-_d>zw:y Ӟ *rF>tv|> VrE4諨?xm6 .dĽ+׌Mª .KXK2 gzJz4\=1+Us:n5L ޾ݯevn$UR:Q[BLYNs1 9o!>T- J`q6VhdD>l%nzDy/ 7eL"yo.jٖmS2}?*$i+4{%^eRHG^7+PÑ 5ݘ4.$eDCf^%oYGYQW 2_Q*hI٫9ԀdR}ddbnE<=6~f zFˀW: ^p _#NͺoΟ_bhiVrnA bgSae+o*g(SKlT#nϟ9C̚Ji( +O"e@gdzf nIYP핮y*wJ4˟{9V y7ySSvw6tD KI9L@O6k9 :F煿==@XNd/k BwqOw-KQh72`m*jav8~ߘX i{Eu_#\E˓O X.`e N'uZ8c4_cZG7Hk{, [謹tYf>x{#au .W qݡ^ ܰ8+o:R"f(3jJBB%k.;1sjFM, _ݵRH{&f0%K$GK6!H.;*m  _j(QrRjc<•l7ְ2hSDȺ}#Mw:,K:U(2?4Q9^+FxPXk+(/ò(Bm*$QZ$zF᠟?A'a#V#se(i̅Ux 'DGGIu r֏k Z6HZG\{$T@F&Zl46'9d͹*!]Fd1o-?%,Zom oDž 4Iԍc-[0~ -,Za}Pri[Ro˲j1lidcs3+vFr[y+'+`ޣ4Qu)UA`![d: ˩I], 4yz<{`C Z"["f #BgmJۈ27\|ANɠ4*_ mR"dKMGѳٞZG a q&_L2; "͢'Mm#5/7ZV~;wLҶ}nCўab_<&n7d AMI] g(ځaXH۝P J,'%a^q\ʄLM il 9?ӀfbufZcۅ<*b _D_Ы'u&<)U?v!:ahZRݰW!*/#1X`I>XJ)Ҹz>DKLܙGlOZE;mbTl6ΠeQt4d\`;{Z[YF:RasL*?oAEZ;V2O^tNTnxEF;QvKvm0uNibP_b`+vk{}#͊,{bf'h("ґmGb7*#Pk PRburȓus ?#fѪձgYZz٬4pAgP:DE}1vTpv1ԤcE&{z!ZP'Y"gg# B>隈GB| s/ Ps%ADJ[ozڀF9 Gްvμ*64y!9͊Ѱ\\h&^[qBO5;D꫞#\ъ܋JӺhƊpۗ4dʡ j`Jk0SFb!Y7T*2@ZϭxsAVب($Ս.+^]IW;.Fn0wջQԅC=bo *,swUsua&wv>N+ۑVJ,|@/t͊jWoܦDvyLYTMfaB"d`Tpb0 GB a?i1U;AkQ#@F /EƜ۫a›C/|" !VD(_{Sv9Sna-5r  zI\$pz 90T;inoA$d[:2܉Z=,s{MAz4ƕXIOy8D>ҥ| vE!Ɋbϳ+Z9ߒY: V@:QLULHCx~gJnL]dB{IA~3)Ubդޯ}Q݈A)@<ٹpTN߈4* gR)$HK^evKXTǂd˽C y)9y ȉ y[KsDxp%kF(pEGX޿OP"oeX%IwY_ q׮Qps]q||1&elYV>ű/L$K7 Fi"ӜY H8Qbu3{?yT}'4WIkz0=] &̅'@)|0z^ D ^{k=вl P3Krh.d >bT)";r 2B[M i~"~zWF\j&̫cҊ;M/s z~@ŸwtD nyA 4h׎Bm.X;l@X2fL5:2}:sPJnԲf2$xIo8Y@{ښB]`X<;_WLZ\@A&/ !ð~j99XiKNͤ:j:pwRʼ]uK-rd)rc5K&=NV@5cî~7Qiݝ,ZYW1-ľ>suBs$C=gt" q?w?ZFQ5ïIE*uAyyWGfF8GdӀ&%A5%z}i-?6 [0)m1Ͱ]KH&bI\6g5ɵ/"R Yrc~6%ڲ4,{v .p@PV«A| HZPZdO^^LۈU0+ qth`P*v\7cWt-P<>>r }j)Jj%8 S&.޵HrpTJddxjW y+{.y׋#uA}LHaLD6;^'ٷmNRߍn2&{ =qfjmqFq iIͮJn)7h@ l0э`Nn[O9i7QTe6E.A:aa12b4AIǕyaQCc/U$c1 䑘<1Tܳ Z UaO[] m|RP5_4ͣ9[u"?_$a!y'rFFߢwQI{@:^иQT ND ۮ9,}v,n=.VAOg(zuH.s43:}3MTJa f2Xs1x۷I\o dFr m%Zc2rRalH,;S:n&Rf(U|,C >LSU'Z`ԏw{,nդ,Ը$\a7dnDa*}#:"6ύ=3sry[Rۥ Xs(?c;<9rIhre+`V+Lv( bЧ`9!bk%oGi2?9ەy[i `<|ա ԄLvbV^;9(ϲ/"!슌N=XWKƛ8ʕ(K݂(n]\/2> Ҟ#o JSVs]CgW>35r Jtフp7a9 m:ԏ8/kb2Xo,u#l/leK~ע?F)eJ7T'Iqпq!wL3hvz8 j[H3wVY5[2)]'Gn6 Uwx{T`Py:BUҶf}&f&kTSTLA$pױ1N_K; ~.V]luM$.GeY!&CPu6W2[Y8s^Y .I/O6XtΓF  gh@ :WN3WBb5]%]^4>gG7 M?'DZ,>y-mۏ/q\C2:bs"LYzUrL6&ANxQqI٪8L ͇zau4Wly݌}V_$(aRoo8)yptЬR;NXF &MBԼlB=ȩeYoS*, ь_^$]L` BxsH\%rx6R͗`'<3Aq_xm,'f?_P.aϝ^E0pXbJP{_iNDV˨Kd#8R:H<^W\M8:"ˏ̥}W;Xm=I?NijtIYpjmR1:(vDXx|z/;ivC]I6IH6pf$|CێF]!/ҔV6u>,Z#ZKNLӚu=,8זmCN-&(qG?,M8B06]lV^"~u e9aSadzs0[xV)?G+ob8>z)\.0UxU<ۜe~8W&۪og!e7GF2\eCV[ {sN_ojӭO%wy,ASW8 K7~?#ǦѮ<\s ?uFUddgAdrfCgg,`FGֹw7016VVm7K<>]ju5.͔7- 19}s-Dwy Xstb|)ѷ"'vg&n+>ghX:Ƿ4,J9PVBD_d1&kd;P8Pt HK;%tWM5]cRD6IYj`>+M|0Hd33h K|1YYu {lfzru2'C%åY;МEY(k;آ@oƆy&&L+ tkm4a\; M;XQXnBzj/y*o,]1LzGr<¶ѫ>غ)TA,KbbŧqH;Y{uqq}_@﵎FFaKd|XݺXsusYI|6STXT;gc(!|;M[bzaуWlC;oԿu"}Ƣ1iXmGK]sǵ #Sk@>ZDǝဝgfsaΚpTtQ!7 u,T͎gOiK'5{'?CGؖpڝԙ=߯q9mmN\ut_iFpi,\Ӯ5àZ'~._:(yLBI6s:A!ŏd.^XXfۣ0<R6Σ[J]pa 'u 6@)#YA- F\U jVvsVCHu==TD,wPTbjo HK39ުYicd,II\V+\R. 1|gMjsZEL9.LC}){IOg"M3"m@{}F |CR/bZc!V k1-#l &S^ߌGFqdY㝿^szN(Hm̝Ax7w@Gmg_ y@`DoJf|/ղGl>l'bF:r;h`"]1N"bb7f{lRo2 X'&gtsHK a?~dbd M7Ξ&fOfi#*C xҽ);()%"NgI]k~Xj-GY~uQ2z\4l}tb16`׷"n+#O~ M:W6Wo <0X*S5hV#a9Dpxϙ7DRltN.v~XȂ̡Y>W3ZB2*]A˦-ZC> 2#2G>6hzYO.KP` Y2╦.*,| =S;6둝hI4ŀi=3M`$cTQ Am+xO-ٞpPwE+Oo̻4E]y]!5'}s9b ϷH왮),\[[eHe0l~=H.eHѼ_8+veDj4G<*;gHvSnκT ;OW|=Gx#%'밇b<הMD;QLlvi6ӺTЍ;|GD+Ĉ#@3v0I?ӫ2^|tcq=+#޺-5ȣQ$ -fFv)w;Q #A"Li-PdiKU|G~=gͼ>W5CUT[΋t ,9"̽dQ+%9pho@oj ( d:_3mġcD/tI8,<'OQ*tI6w.6VF3 }ʁh$Sf^g,ٲ%ũl$B+\V:-pYr\.OK6{Hv[='=n#{aJ%cCm^F" WZ+5E H9ax \*GT8W h*;q#KB $2u9z^XnlAt0ahh%^S,-kZE䣖5NJ6TQ3g=<0|BBE#_MHc $]}Ei"3GnX߮r>]ȅ w'3oKr~KtYHG# fm TxmE`,P]0-(NDv1:JHgŹ- 2"gW>y0ml^-hfs:7K{~eՍ/Ћ!nI7h'qВ'}!_p0?O*=oD ~QDܑB:=I\]jA--UDڝol<n&y3{0htp`@RuۯIzER㭽2 ۻýH1̲j,P. Zjە΂,* [f}S>, [x^>eUW6NlݬCّ7Hڔdc7y=gJ+l.%%È'oLJPq!+ DQOƘ@ 0Y[l=9W83͡)-Ӗ/t#0'#(ZN@|wīa\60QIj  -1/pie5H|ˀL5k\CNծlk[4VHFG^o;du, F&LZvXD/ `2s5 9-Xu׾fLf,Oq1$< n"^!aŒUqzD4=Iq7>feko*Lko( ܱ/bSMyuV2UdYд wHJxV ym!YDѮv.a6CnU#VYXzGiL'C5!šk*I1yMj0ېTI=A<7jx EȤ12"=B4fNO63S|)<{ngi?C*F; l1SryEJq\ UdYՙ8:^+ޒu0Z\Xݥί efʤF@9gv0M Ƨrb[CKOGÁ;IflIB"nNJ]w@LaabV~'B^p4.%/L:q:1 dLmemcfpr1QAI){ԼeX9bL)&;٤ #&WDfl({(RqR7P~gZwd1&]Pߺ"3p>kL ɉG¾Oz&,,Tf)2+NF_n5 g򷐃kخ={2ޤw}x2Xɱ^,Oy('덼6;Msk{J&apM/2"~W/-,co$s,Yd.?T}tR 5f0}' `]Q"F@lBjKHsԔ7Z~6z3Kt`Ҭy`ʩgno /(òޔ5`}/]W͗BWBw  #\6\dZJ2t/]XwM%/LN4͛.͈׼2WE?\0ln,m<$jC"T$f{ǒDϪחsaN?JO # (W4,O?p+:S6ҁg+"lѺ!j%z"Po"pm5*`u =ʁf,+6Z [ω5lmf,.6VXR^kL{{ð&9-oLX"f@%zu:g(O.:|vz)'@HʃQnT|zco}#vt]?$UY= ~8f.R8Ě&̪:j:h7NT-?ky4_GGQ|#/eB_tpR=w^Wƕ'E ZkXi֟6b߫9H)S:"ui:塵5_ F Q[^*@.r\rKYo\TH^/QEk.P.h!d.0`&Q`> Uڙ!mj/g\BT˱\!5Q(8PM{E./J2*tgY6-µ%[%ˍ|$'ӡi{`\YAmr#n=}p8FaZ>myq?lfdVV ψd0*Z5LƕP2mn~+XhB&aAk]N7/v8G6bm"?jM I;F:asν&;^eha0ű}o) 5za֯2&ʫ."aI|GC~%E#{<֣^[KG# <ðo\YV@4y0k_wdr(f;w+ 3M2˧B9lY3fӰkɔբr(g݅_W/99l.s}D 8nlbjqƹ Z-|tF X 䊨 1JBf7ƍ|u>mlpS61bc?2[C]&֙hg""BrGWpkP:G=tFr< 01qYz$FXl\sS23?|%g!`WsS? _3C8?+@V 6#O(vx0@)xXb~)lD.=#@c#L.5s%:i+ : 7\5C . Dc?-t; jɴK-3vOY5DgnYr!1{_{dݷlIۦwj[xD,R?Z'i_8cDgnC,cc_N[( m?RZHyH:k^UIHL;JIFa ;%'*T|$ٸ6u {4RYF_IO+^T!;UDb]CJ1 Թdߨ<9jv:&5,Y}JۓlP ] ѸCҠv (ȸ Q\@g~GMQBo* Zت I)j5\__ ?Z-F*!Gbomڨ,x_"/s$*1Y]Y薉  'E$1k2TPN PvE,dI)߼CB](qnJSCU9;})86+lz~޷yaF맛 i zF@T8ʖ>.Q-Ci,ՐeH<gE|L+Zweu\N%+,@/E|>kuNf} ;87Fqx֖8S\due<ݛ R:y2 ƓX"ԐZHdQwh&p!xV~[k\%!² hWvYAU&wr6P* %IѠ\piuՇٙ h$M@GIG9Ju{dz_nFpDgd[\xTn\ZgjAH5IykNzsm4e!qdcQPE+ Yl0U"u(p[O'A)גtOhc!sZs5q ѽѽ2ҹ`,QλG;;ng:+"qyv:Eus??q}S!fGp\O^k)Q$7u`mo'PW( M >TʌH|rJxO%s#3K'i8Enk̉'"N>#{Ԧ<j yCr-3PAaB}kS щ|É>]fZ |!O %)㔌LO#l$)-A[ya IZ^ϦA]%$!FUu@[ SmYW *Ccx*cwuz߿`bhobu/@HCl7$έJUh9@;2?}AF55hKǖS:8 v0MݥOF, +pU ;Go GピlB45?X6c萯u"vH-+]8G]v<$63 eB? Ve{^rs!@au'6^ݫTd-!":,Z7߹yK)wts{@f,4NQB .z\;=\k.YؚC@OswE9/cQzNǙd>"7ƋŻ k&&x7w RN!(B'kFPwf }6̌fnoOڳcgyZ"@K #h'iEml7g`엵ٌ:ob;sM`vQ]<P4 8 QY)mJCxA.bn&?ojwHD郈ڿ70Ҫ"uˠe~pp~ Z@~CIj14i&1}d N&*cji` Hqppmٱr׾0.`OmP6<*NkB1. Т)A淂p@G-E|kD/ngYZ A@^E4ЧCG;`#1-(J.xͅD$OmE7UN>S|JIsGU2%hh+ ;DHh$/5mO*@S_M};򷭄ԴpgxD9mVN-Ѩ2.1i~ok8HBi*8 f&Pr[Pܹ!%`2pxҳ̯dX mw8;ay+͞ [<-zQ5qNL+fM?,B>ydw|m(7Rhu[&~+D&LsGC8Ց@A^_6bS'VFZl=jН. 1"}ϢHI먨tbjtygxe଑ߪp[S/}qWaV[ aX3+WF@'Ip-)趝wnϟzFפyU<ۍ/!6Ž FS27x- t(]P*7-jƬBoJpzK*"b?w6@-H^W2 ҈:8#CE^ߜtJh+iU?tiKF^exl'wI!Rryn0&cŠn&Q_hG#u!MיrV)5~Ni>XvgXy4׊QT_I|, MNja*;ȑO{qe! ~-SCT粸QbRbC&٨"F%(c;=*RL9&d߁fEMtHtqD/'K~7"TP=]Hfd˘cϢ?_+77qrj/ A,CvqI! u=L]LIwFܠ{WwT4lyG7u򺡓3&GH g ێOKis!t-N],  ː1f`_ô >8,ρ&fuxr6̸t[-tHZkͨczE7t]+yxV4 ڸ2Jdz{[ 0Z r."[H{<-pVUL$XsShY4,MB-NFI$AZAh1+|y.3U=ZbT`z9$BuFʋ?޸":yN9Ju!)lէwk ,{m'8ǝV5O߲@,-E?\y݁.y|h,w Rصe̚ xl$( \G;khǩ4 ܶ Vi~lݨ }9+ Qۿ_7UӸOJt {wv/*r9Z;,Dh_=u(EBdcMjgh#3:uD}Hֿ(P-75 [S4@ Et/6& J#jx !"j*Zgx.֚"jsϤߪ>(Ӌ2R8bHNTq`BxtMOfBJX|0Bt40WS 4$lG1z|djM+̂$jq ib@WRd4W>IJܬFVXYt1>S[ɖZYyxTCE/ ҫTMS3t"mu۶~'lc}tKBKyS*Om"tj~KA/< wVې$씦t!t^ ?(X,dQ̅nՈ&5% ~rJmVʟ,Mp۱Đ%Y[ q Fqd|X2*;n{]܅(#y$]F&+peo3EnTbjFվCtJ2=Nj'<2PSC/~%.YFu^֛׈+s%*#kqTA[aLtq+u* ͦKK%;`2=v9WRZ;R@u=_AZ/S; no(?۳u emH@~9WR[Zr2‰4N \fmQL }^\ۉMT"!syij0q{eanR* wPUdgEt=ⵤLͯR@XysPY4=M>S%U*X"GcPzQ;1uDQMuvdb F@q4 _jyU0*^-[DNgv򊺔,ZYgjG.Q4N1OWEgG!D9hlFr7^m+>47D%s4z'l}ll`p'ʀr p:x5z]Ag.)j|UfS5{bTDk Kz}gkqHV%hVHifi9-7ڟ.tp}zRj[~b.!1 y8&ga$O%jgo*G%=v` BV>AKD@`*%Xaɝ6[V-l0߹ rmaZ؏k{2ySxM}5wqP̄RxP O1@ <y204LMfNk1Q1yv>گw92`eLjv))[wwNEw}TbM1gW=D:rCgR 7pfK{49T$q4`8]+-sEx V(*gZI~b.pMC3!G;j}lfĸ!L*ҷiƹ;f qOG!svxf2|:!Em>AC|F/Nݙ_ `L%#&ȯ1O-ttr\]Cnb&N>R.l'}_MEsf+MYw XICzG:6f e7gV kEjC VR+ v)I+70j{M0/>ZAXfۓ9m G,f|hx c Os䝱MH& ; T~䓸oa#,Uـʽ|3zz ?oNl]/gtM2 &{uQѬH|6KG婴\g9\-ه`B/*T9B:RN]AK(TJ&!F' 0?jϣ!' \u6G:sSֻTGD Ѹ9Mm8v%<;d9VW<K Xh?Ta/ï]EW21aĕ1$Vɼz}xhaw֬t}9 B$R f1,&3jŁf_7D'q5gjCN ("j -_1,akW KqcuqC}@}H Tx:3.&[ //ofo^I.{մUkx h"7qtiUk-5:ؼl~|06 / qIJٺDWTҙwg]ouANY 9Ȇ-!5Tط9q MA&wX+s4V;FtVxMp\ z& R!@[tQԆh`6mhOGؙAX{gu܅OPCȆˀQ@/p@Igk )]P~"薮gRZCBڰ gN;DF^ GXmZ^b]p o ό.Qfŕ?c c^ܦ3}>sי"IF:R]̳:%MKy"?e G߻`N!5kw*һj@_7|u -<sPOyɈ4jqYߝ7 Nb($LgPG soS' ±5VE>0WzTinB6Apo9f}>ɝzE 1IME ?10¢H g<ܼ}ݬ abXIjAknd[/0^Xv{ح%N“yx,*͙'aQ5RY]t`9݂a){8~K0pJĄEcnry xW渶"g#WCDqB { ~%)W åHyqIISX7,:l o:#Dh4s2.2_(m(hjB #$mZfW ֔kN1=y<Nuz:̺{'(jc*~ 8UKKyV90c&9JЭDoK)Zu{ ]Q^1gO"B % 6-Fv:k:ed!#m 8RKM->nY _ ~ „IjpJGRҐ2\[sIѲ8s(E!b&pxɱVדq}ԟ!1fRH| XV(hfn"ռdajm@%!3*DXľrœeDQ@ HſHe)J'\Y-I`J=v1[8B ]:N΂}/r9z7gR5-4ZBQM2!`.|GUb #\11 nWaR^T8o>֤EDƬD_ dZq3g<ޓۚd6ħy^B+!0M>l i[(uA`8.~ܫAɿR)&>.8