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 ^^7v$D< ]/ BytecodeLogicJmlTypes:threads=4elapsed=96.850cpu=235.736gc=4.7527zXZִF! / ]ŗXiɟO}M:; AuՂY溊;݀SCoa% 8 ,?R,7Q̜V2g))4954S?+_Tp]!蜽76(D0wc&YjӟpP-mXI*8ͪ7jj/Rs3]8UL Z~KBb[i <yf{a4<.Sm3)&Um]|F_q1΍WcJ\K򲽂խd-}?ػoǝGcfh7޲)DO(M_,{5DOtfL B]vajs|rQ \ي0Gx$#ةI;Æ# z)a>'e{RVs.q@Me:\U>#4Ȧ0m ncM-!FS+ =|1 2/ؠmp>H;Tcj>tj1#p2VS:HHv g[ \d+ͿC}h㥫)~t䊏ʻb}: ow:RO=i;I 2]{W)p&TT_6̘p z] Id5 'Zu\@w!py\?Ԛ4]A!؍Jfom^(#O~e#d̍3!x~cʰFoG׏ ?9,T\ ԑ·l\"ҸFݙ߸ \&>x68"C*ye{1=[a5 M;ԮZuBee^c67X 5oix] hQw|TQ 3jtZ))A&,5΂u O6a`䏭ήEe}e75x]۔p&J0'5ȶ;+YFvx߳ERuf)*7N07hήGj:\DŽP0imJp2c/ E&ȻÒddrRYhLE ;ki CbK5`R*6у@ETcا⁝UJfD  ν˞J9PD%>BjOFňS'{ba8>9@F@%Ѷx–]WF* d=GDfR/5.rr[s]J-Wׯ nЫAZ&*ŋ {b1H bp^Щͮ${IxLՇ]X3g&ε3 J~Om7Y_j2Gt?VF}07ǜ}&K[:x"O$KcG.V*fuҗ&>} 88,F [c;גa|g;HrgYZ7zXZִF! I]ŗXiɟ/jڢ}n>t;mmB~a^TqovQ s~!i|*"Mr>[~UE[ݵL\%a4sԔ:K/]!Br(;[m:3@S> #A){1-OĆe DTgއJz+3cbEG#Sժ_U0ԓBH"5@ _jyӓgYZ7zXZִF!  7 BytecodeLogicJmlTypes  7M% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.AssocListsdocument.tex7zXZִF! +]A-MՋhvG"uIBm5h^tfiF"F ?3, mXbt)ⵓ]e " d 4&1=i T2} MeZ+uGAr Z4rl5[(B]e+ jFǽ~+cHv+$ qʺWBÔ n++jӐc@i6w[̤'iyHw7) USfpL ـ8 яm٠$t2,+t~Ad"&~sb{CUT)t B:IPl牔[z䠺B f$s  tK2SvžS=kf;zֲǃc(s5SWfP:DMWt$jUrD˫V;Ȋ'M&A F-i",Z/f ]KZ52`Y &^e(vn+H9 5p \JIڍaaaEUF,0d,e&")Qgj?Ϝ]1jZ'U.ߴT|S~~iF$?bmL@'2(Je|lZxؒxbP]ޖNF1<}Ny//X6[VVv^{.B`^[h Y#QX* 0c`!ۤWuxs׉ʐ}۴ ;P .U>ISue]!Җ ݽe"҈ ԕHj6ȿSOIs fT|QD+DmH|&q" qa&9M:!]2>P ;;ы;c37ڢn."[]ZlNU4HwH9L-\r |e>8iSϠ"٨|>$E;]#; 5dK— m)JTZе|>_3kKpj=G̯ejT.ԛ3ӄ*o6KY+}?h9tWb 'Zyb6@x:*Rѩp.T`hyv"o5LSԿ#W;#)rҹ}4g x 6 #C%5e1uck;y{Xs&wxQ6 My5Oc .!C1\Y,csÒǺkn-"CoݮG2KNO7_lr_VO8WU=ɉ+cOAg~\ʫ9ԒUt{joiQKbJa͢t\]6T;[TM.2Ӄjù%#|{6ee-i> Ѓxg bӶ~?PU 14HC`,VD}9ImB!1 ^$=lEPԗbm'ARh7*R@!{1{ l,O<%' W:sgYZ7C% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Logicdocument.tex7zXZִF! |]A-MՋhvG"uIBm5&J bQb?X&BvҨM/0kS2p0Q!` Al4P7"k_mkX}q]}i*qy$Pxu8`$L(2 (.UCe/*`&NeX'd+7-xc 7@bMt;\-lo-[_>KQ,A]A&Ӛ1Gl|DϽg nj znB r;Y/̘[u9' !?BޣIlQEBZsv_Fް )zD(wA~6O`(+-)UV60^@a@Ygf6Z=g7~rdfv`) K-Pב [ݤ{b! jVm.>( utC J}H*MQtD½U%8iGAA%W@;Nh5GXlB_؉hDNnYA&RȠfi`[Ǫ^x`$}fc} lkFK{WsP@]̢@@r^M@4bĦZ:_c$'g9Ӯ9qЙ ]S@k5pDO%#[mm$f,$- DM4͜87N!^.sTrCNe +{4A~jأuM.W>u4j j+s5Uj ;qi k686͂^4 %[pZ`\RNB3Im,2.ΰ^} drYœ+%/8ҏL6,È:~/rBc f0li mt_c㿮:IJ `8+MM;s^0 Z$-/\k QX$Ŭӿ$/CbZ+Cͺ}K&E6|DҹCbĻdK4.8њ9f {~a՘~!-#ZӼN{P5e+Hvc /xn=YϡQ2 Ǘ3l$-@0dxBY[qߊ&G=Ïp(_:"HVvJFO.WAJE=F7Hs$1[<1H׼[\-rl 1\< %ؔ!dLe{  v0\D7G%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Cacheradocument.texB7C%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Sounddocument.texF7K%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.MultiStepdocument.texI7Q%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Reachabilitydocument.texE7I%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Languagedocument.texG7M%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.AssocListsdocument.texA7C% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Logicdocument.texB=rhouҍ1#HrBr_t"gNXۿ+猖^_55i[JU8TgRر%hՉHzG$@*?5Un^;.5ld4PͶqX?+vKcA dA+ |B(%`Ur,wX[#+Ӯ`_Ul^IĸJٜNnt̷|65#[Z4IaQ9R \a#F]8ZVTH+?d&4n-1_栍Dc%s>ޜ0b*iƳLqC]\Å~$Vd1I+_{ߏ "{I+qZ;9q^6TJa5sL0ESe`g[.7nܱgd%&I"ZtT=|ms߿P&V7gr$An2̛ z)z&Ff8I۴½oU2ߗ+؇ DC<9Ž j5su7-)k֮].FZB~PͷR,=%(9$??"^c\;ZpsA9O6BZ:_2S_OcidFXtN@~#DM^\v:UA*4l95@w1Gw.Fh^BDZ2%NL{=5atH|qu~T`H<|⚭>}𰬺@b`mZ+*؛jgڪ(:02s୶ؓ{U2|=p6=+y7̂ k8 yXX.QpHsQe;J[2fSLuzļ{wcPaǸ2Q-ˊ( Qs5-j.g X(4mH( 8P]77 ؇xYWF WL{BA;-0(*y1D\P*C )h#;)߽g$MyX1)AbN 9ec` _^yRMB-7Vcҧz5qHO[ߜq[픎I~b5=IVmc3^ㆵj>DWou.IuP~q܇_VbITa !tc \skCgusܔgdS* D}D&`:ս^}-YpcC|`^lt%xf(n =hۙl>Ȝg"nmf멨|X}_@pgO{trz*8il@0HG5kq(vH;B%MN̻CGEp> azg U҄e: q6s \v_О*[w~/ ?A4-/;;I7Z%TRvy6FRn'QH~@KMY*y^\5[W,\<n/SFi$.^Lzܴ7뿟3Rj-DY7fQWb)CUG3Ԕ3R6]! R"I~a[d*Gd=)C(q*}^3Ymi2#ZF+Rj@G})С sryw0"## pPicƐD/+=,}CBسus@2J}VʺB7;AbGRU&u]ʖ[VFyW)(drC@]Ǐ5!oeVȒD?;FdBvw-Bj13=uX7'_ZM[2> Po[0{o ,<[o.u VK6&@ʮQ,ga3HkBxwW`Hb R**ӛhFq,bxd/uQ?#yZR~hf"Hm2"͜S)ÃiDԞ6u*̖ isqˆT4ؒor:lWR658 gn93 aRz!f8{7=\u~EP8b-< haF{RP эGfs@g&CUMх3n"YF5|©D(z*{JB9!c4-s[qaDZ -l^"C'|~Ra9 \Sb"Q]2(#?{ }lΡ߆/:Zɗ|CZzSi >ڠ<=GEk40«Tu_Z5W8FcWkeLK=}~' ն1 cul1hM`TUԽN휀QtޛHÎPB ?57GVpvOôޠl*Wq߱󕝶Ոܾv!iYzjKn޺ oy=qCZs#y_fkVg$F"E>vvҺbyUx"f?i}[ܪQ^OYc- .J[;Hܤ*Ɇ>L<QtZa.exT*Q!=~QHؿ I,ʖ$zp/x<NLHo('GtRa… ( wp196Z\Oo[WS~=_ aE}AUDFrGc[ +ckRZ#0E̢Q"2^)*vx`femֻR/O?BD10eLOkd &CqFNsפls٫In}ȩD\cT(ufk.Iq a®Y"-1[>̚"3V Pii"#z{F?eElJDeGmk6"s?XҖoi'm/=ڐks rl yO0Ң(?WTE̓aeWDADz6}ĶJaF$([ꜷkZ5W92b{JS6֧11߽^һATӀTŸ+Q+"@.i ?{=/6wJ@#%NһX;=1)K6΋^NT keyO#iEGZC*'d%\-EorP}btVZĽxN7k oyq ͕t`0hTAe Y*u +9<69f;Y9䬠0eN_L?p9{K)NYPC/m$}Gb:@]dfWS e }&2^0s#.|/C&ov I^VL송|1[V UOXd"* .; l_sr>\cF]بvA>]>A|u Cbx{0B;*4Է>ⱛaƬ/@ZKq]d/OvHG3n UMD"{̠%%4ΥL?kFPEgnar2:kWM]RTTD|eUv >zM#W⛲jWQO yy9ej]W`ie1 9OVy_TNؙmd޵o]YmC3n/WE0XSUhn!)t(ⅴ&CIT 4=>U)d( gݍ>pe\ON Uɐ{)s Ѕr"笃 h9V%#}[)Wӎn}ǽjWH$*ݠI "]2 Wˮo*?(^wXw+%`{#W-5j{/ie8cKK+*=7lYh+d"+ 5nX'%3_Oj%YL-*YJꍘ.5 [2;:" PYV%OHΰ( mv%aS=;Qaq:t%2E6֙][#:??_xV6S-'=>U op鑢@*3 @ " cʡY Ҙ&8!y{n}4IU㤮3$Gw 9\#5wxcL^;.tL0~Mj͡NtMx͘Q,\~y ՆƝE60 J"T33SAK*sFsPVV/By)xߪ7cF7\nca-٠%F)X?.^Us"R~M͋cWi7Y#MeDƵ 锭EӚbvi#Ƥ!=б]{U_ 'DYmTd}ђgT3`c ?m=gN_ E^nv1ޢ}YGoNͷ8ܶ.:ro*ivc#"pvݘO E?q#Oޫŵ|0=M[H Mtʱ/A?ELKq;sTWwŤϡmXpLW?nW3ma >&Idj4ȕ$W$IpӤ뒣s=Fjzθ_~z޶Wqצ {dKI"S^MTvv`t\sͤ4 yXlv:@Q +WV H"`UZ{WD"z̢{=[[db^pgR:"0=GQs)<N2lϢWp4k®_;ZPGT$}oЇF+qUH;17k Eiy >K!NFrxOG|aa-+_w!8$h(O]šajf g SNM)rlTlANnJD{j^x#シi7YJ񘪾OyQlM nģLK< x˩R)vJ @+j @g2 @p=._z(<&G3,:JU}ĭ<-\}DPXlYPm':"r3x,Z--&:'gYZ  7M% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.AssocListsdocument.tex7zXZִF! +]A-MՋhvG"uIBm5h^tfiF"F ?3, mXbt)ⵓ]e " d 4&1=i T2} MeZ+uGAr Z4rl5[(B]e+ jFǽ~+cHv+$ qʺWBÔ n++jӐc@i6w[̤'iyHw7) USfpL ـ8 яm٠$t2,+t~Ad"&~sb{CUT)t B:IPl牔[z䠺B f$s  tK2SvžS=kf;zֲǃc(s5SWfP:DMWt$jUrD˫V;Ȋ'M&A F-i",Z/f ]KZ52`Y &^e(vn+H9 5p \JIڍaaaEUF,0d,e&")Qgj?Ϝ]1jZ'U.ߴT|S~~iF$?bmL@'2(Je|lZxؒxbP]ޖNF1<}Ny//X6[VVv^{.B`^[h Y#QX* 0c`!ۤWuxs׉ʐ}۴ ;P .U>ISue]!Җ ݽe"҈ ԕHj6ȿSOIs fT|QD+DmH|&q" qa&9M:!]2>P ;;ы;c37ڢn."[]ZlNU4HwH9L-\r |e>8iSϠ"٨|>$E;]#; 5dK— m)JTZе|>_3kKpj=G̯ejT.ԛ3ӄ*o6KY+}?h9tWb 'Zyb6@x:*Rѩp.T`hyv"o5LSԿ#W;#)rҹ}4g x 6 #C%5e1uck;y{Xs&wxQ6 My5Oc .!C1\Y,csÒǺkn-"CoݮG2KNO7_lr_VO8WU=ɉ+cOAg~\ʫ9ԒUt{joiQKbJa͢t\]6T;[TM.2Ӄjù%#|{6ee-i> Ѓxg bӶ~?PU 14HC`,VD}9ImB!1 ^$=lEPԗbm'ARh7*R@!{1{ l,O<%' W:sgYZ7C% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Logicdocument.tex7zXZִF! |]A-MՋhvG"uIBm5&J bQb?X&BvҨM/0kS2p0Q!` Al4P7"k_mkX}q]}i*qy$Pxu8`$L(2 (.UCe/*`&NeX'd+7-xc 7@bMt;\-lo-[_>KQ,A]A&Ӛ1Gl|DϽg nj znB r;Y/̘[u9' !?BޣIlQEBZsv_Fް )zD(wA~6O`(+-)UV60^@a@Ygf6Z=g7~rdfv`) K-Pב [ݤ{b! jVm.>( utC J}H*MQtD½U%8iGAA%W@;Nh5GXlB_؉hDNnYA&RȠfi`[Ǫ^x`$}fc} lkFK{WsP@]̢@@r^M@4bĦZ:_c$'g9Ӯ9qЙ ]S@k5pDO%#[mm$f,$- DM4͜87N!^.sTrCNe +{4A~jأuM.W>u4j j+s5Uj ;qi k686͂^4 %[pZ`\RNB3Im,2.ΰ^} drYœ+%/8ҏL6,È:~/rBc f0li mt_c㿮:IJ `8+MM;s^0 Z$-/\k QX$Ŭӿ$/CbZ+Cͺ}K&E6|DҹCbĻdK4.8њ9f {~a՘~!-#ZӼN{P5e+Hvc /xn=YϡQ2 Ǘ3l$-@0dxBY[qߊ&G=Ïp(_:"HVvJFO.WAJE=F7Hs$1[<1H׼[\-rl 1\< %ؔ!dLe{" '7Q% DBytecodeLogicJmlTypesBytecodeLogicJmlTypes.Reachabilitydocument.tex7zXZִF! $g]A-MՋhvG"uIBm59EN[~/j֛h)>S'<ʾMmϴO&8fL.zi1N Ixxlf/zX$R~`h'iu5]>x|5Mj{E[3\fVplPZsbhky\xfLDZǥ3C8B׼]Y+/通QXer$CfLoø"e.p&¶R~?ʼnsEwRûּϦ=!4븠c9&m(Q Yjk GGsX1OkmZĀ- #8=5ꁀ5*0mkyBQi(x},m0㈜ӵԆmXa򍾞uUzƊ9Ϟvx8,ɭ+.܊nh E61uN'1M_v&}:痄>RKAf| KXH'JO)9>O'4r,N)PêЃҴ ʟ^jȮ=k*c$mr=3g3,61'b(afE<3mhi8a˹@6r?~1n7~8?W';L~Etb$7|vuv!(f_.[{Z"ӏu 9sl4tzLqs"f1҃dgFLٳhlB (ݕ=7qp(;ei".{"qF:JvVٺ~ fmQbU--G{Hg/f(!G:oBBߎ` "N ;L9\P1z*Z|&xIV ϾZ)߀x8u%Zu\%);4IF|j~qH2CΰX>s!I4vT8]h(2DCJc$T8Bpp"ś7(GCaEZ1#.)]&MI2yhQGS=Mó~ ú(?4Y =5ճ2ȅρV='I|B99DYIYƏoUdLJ#G͜%@u0vײo24$ؒl9E+ɮZ{ZԷ#iF(9Ԁ>d܉Su4IXTY̙!ELj->!:Ѩ ڮG"b< bw[o Qل!wUVZʥ}z⃙[S89c5UMަ@QvQ&%#VKHY7\/U6'.]?S{8N2iG[LtZ3ǭ8ɧJ'#O*ao̬ՇF`[p"5g5>-Ύp4.a2}a5Sy͔GdMc;jf ȽhZ-6%שBά]Mfx%,@v+CES[2qR 6ػhҨ F;.2:0۲IEܟԆ@$)m}Wb,v"=Rd>@>| f`K%OQCkQT3=TyGzF20 *BCEw||?i̛5_("#G Q::0br) "$z[$Pľkt;*uFl8(Ds'Y/4Њ=.f'2OC.-eK 1ї)Qښ?hs10M~\<6U` ?~ (a%J51^ZD(SF)ӓXFwNz÷C!NGfxSE(w?u6Is?dK= sG7Iɫ g fQe44Ջ-<.߄+M+\ d,(4S~- e/6GwŔHgOlX?ؗ-Ŭ9~DOAPY'hq+G-I\AU<}߮AGrp/rQ2Q%j=#Ys/j (-ٞ0Lv/ĵ'## ogd+k_ ܔo4t0rʩ &أ1F?V4p8"$)leqߝ38$%J<~d } 'ֶ2<;(?ӌV{Bۤ_T_1b>wRIRmԄBLDj|[>\Om^3S:m t!u)_-* GHR+槠G%7J5ٕ͐z@!řlql-2 m\l.kz!n~~#ubeεrB* 4Wkw#hh_>QG4 _H>~-a}!Z%.|JjpE A"0#WrY vAY(Z|tkR^t,۰!&zKE'qu򨆋ЛtSMkxf4Ӻq XIޮ̯[H0 $~S-vS6 D!ԥ8!S6RdiH gnt+Ɨ߽-_a2.OIAӌM),֑]UNg"U [DS.F%X9__xW' `k3>A#ՋtNEǶ{&6͌O^Wo0joDM6lg6H <8Jv AiQY5xu#%ԅ= MEd f(ܸ3mۡrm|@i`=Ӳ ?w|@ ]]-_5Vutxgxe`xipQ"ß<9Fγ-KTf7vזxBEBm9gyO1*!N̕"J臩GkA|xH8S">'6?'FF\,4- 6q^<#GfVXIo |,6aob$ uȮTX1pt!-kn2Nd}7gz6Wj׬ܙWB%Ʈ!0O{!%#xr<7{W˸J.uȶӧugW ֠G+Y^ܣJur޶D؄qlYPa)mpnƊ_C϶8f*8 2uL %3@iK Kk!Q Z7Uvbp|"ŘܷK^.(8!f{X%Ob$>ӸE`:/GT)m\bFZ|឵zO5-Ǜj%Q ׏GB>`{ `:~Fພ5 lA GW2~dX MYBQ?5Cݾ98'[N0-G18S-bi}>LRuS^q+yGe,:SAAͶT%LVU7[>z+ec|Qg|LKk)$g5lM˹uMqjca#U^Gm޿;1mT#=#J{ku[e'3I L:P/7hK9i WOgYZbTdɒC'$(~,,KߢSR;g00x&Gx<26E}ZE$zGFCNTc&^L㖎-y6GQ 9'5UDY-P4u3@$ x Hy7η:vu/R5a]㋔.4%\0q:!!9ԞjJF$ǩð"/S3<М!zC@Ϟ&*E"LjN{FJSХQз $nh,V 5d XDDD1|M&ߦc,c-`ZIxz•|<#M*wT>fUv ő-Z&6WH&u⵶K v=s~h v `Ң W@㵽:MP{l[#|kC!k+,Dғ~`y~n\bY0/` X$Mk\{ Pq='>t9l' TH^`fU~SXw\E^/1e0:kZ3Ra6yNXXʛoZKv%ƎyN[X-Q{@dytoZ6RSK eƫ@#3zc-C2UYwg3L9\ȈzFxEߏewW[gIyS2\^Ib/W費Fyωy("׉r5c*fUׇuaԒ-B#^H`EX uZg2x/0U&&2uy [ ,{vt@%/rTpw|ϻ8o,_@%x&MѱATX4f Jo/S2:!7Q tkI&(- oفe$h#DTH9nNh# '~Wy WR[W*񪦗Џ~^OO j'mЦv sȔKpQ-,p~*ظbrMx#Ѯ NK[}'pHU8ZqbҩU}cë٣!P\"#1RPP+GK6Gk׼f'YIeSI ʝ|T^-H6[chSא"_RGX3Yg7jY_cKEa’Րe:{Iԝc6U ԗ͊ӓwAw$?DaN)FKZ\K?1%>[# _0p7$>mIf,zx+^:~SM%afV攼mG5"m۔n\iFbT |lᇞx˅b >˯+)hGnEwTyk )砾z+|Q2vvoZi=5QSgV,c!lD ',$IPe&=Ss/ŇXauRevqP ; W]g F#)F B 4J=,l*߲n~g)#f6m4'2d+`i}7`EعUb87//;-NNӰS+J/֪Ӝa| @6qN;Y>EĂ6^E_BvoJ,=,̰j=i;E^w uJ;0 5p|a| FM8c+-T7. V( yciiмE}RdXHY4Sr܆$!(-39mp &ixv([O8voz5~ h@KntkUPVoN+~yZ*DJv*4bi|5Y~4B P@4c&[VAixB{y uߜҨ'Qv\BH{=w&J{"wUCsITZM5ba]CȀNjj=Sd!UU^H$ͺ!+/ڧOŹ + oψ=ǔ:4 k 2xh 즓U[bz{\Gv4Y)h:LWRniJ4U\V*:\Id�OB 05Ãnc;uEqE*G.5ƮztD-J(Q巀f'і =C迡c{^?hM") ,osJE䚪Ha$Z؝w)S0pvx;L'=Lb`ƈGĔ=hW4Ȁf~Ϧ3*-XE8 "Iqut(P-Ex)o' +v=e=KwoUҋr#/J7sgY}A΅!dA(fV ;*nTe.,%~F 9< ϯVit3Ah`U_~PBz;وhDpaITeu8]3#ױڿ̀;(}Ful]6~uuvaztт1pJG0XG8b61*13=?kyѫ-э`mYz6b㐍P: pKy M݀g+|2kED&i7c܅m͆w=O9˧)iS>^9VKm #4;e y0Ibo(8etҟ1 _GFpGE&ڣ9gYZ F63)rRrGa,E\1e[E +?ډ-E!pePH:-6c߿x}ego#gn_* zùxÒTux`^12a:nnq1cVySw2kئԒخp04 ywq߱LUҒw.X M3,$e}?e|:/ayDr0iE+}T1c#kf=Q݃ DvۣoHZxBO(MeiaQ|<0[v~f v1bm`0UsrEJ-bs\C0A>zXLu]_Z^%8 --F 3ɠ"vh ٞH$2ORXoD|g鮍^Jl&#w+)57-Z%>y<$""{sA7~x|'!ZNuljyviP#^t2Vְrقچ)~~#@<4RStd0p;^>f~ffRMQ%`670y H/L9|}Ks.~),leQ|؟} .cʉO޲T a\tB4 ׬sH*~lRsDtp&R!Q[9O(HCӣ(DI^׽ v7Yߔ[FL(6f_'q~3e-gY2̮&JMhR:#$/@,+7mUfmPȨ Zt*l9BӑA hO^Ol=Dq-F>r7Z/ L턄*6F^7WncXx E 3^/9OjB#XO1jI^qZUsD"v}z_I0Esc~<="`T4ÖvvyTR7rP'6uƺyXݏE8`?4]Q3"Nsm Q=><ߑ.`0C8K <ʞoȅ ZJޕ2hrzFC]S}k6⒥Wf!;MM8qsXQ"P\Dku뉬|q ]"_IB yb U)Di0я(>@Biac0# ;iQU>7ڤG7qj.s% Cb.?: ^h}*=#ݞ !U#ĿsO"IF cmvWj G[At*sMbD &O`׏( a/+;Y SNzmPt9W~q5A?zdYv'euIQ3?6=ͷ `R]p\.(hnB`f1aK>CE>HGPq2Ђ[} !F%lA!RGWMܻYUNg^bëYm+[n%|sᒉP]TG4U1Fdѽn,ܚ57̓9rQK3.އp5 v7Ӧ[ǣ>EF*hҝA JU_ gQX~r13LaKk$Tb:LnO"U vP*~X`DP&k%CAsp6y-1bvat': qcϓbpQu7d<IljEKb]F&=1X_4ާ~=wPcJP:c"D2}9F J;˄t4t?4vZ*"/B)k2M*I KG},H*v7 n--8t74x6ⓝV17ᜲO  +PA}*蓼ͺx'dZGE ݃A5-L.J}((eU`HP;n{>x.y5!Z' 2V'vXQ[EjxV1&Nj B&ma '[b% Ф[&y܅oQp୪d>q7od!6Z`W 8rV>D&9TO:1pRج tngG)"Hֶ-;taq2+d#hz=ȴH{ '}B<ߢ#1#1rÙ jNnT5F7{v;o"(;n` MQ>_^LўC^H !z1WYlI ~DEe /! LuV yIh}/qZ:ISv,au >ڦ+&:FzgS_o@Co^G͗GZ%'™dxL5Xt;wW~:òq4+PovFH~|U.}Ij:u. :~"_i!cIxP.64U#AAaߐ 'f= u*7iwSyfR iEM/dgȗl\&J$O7Y;w`~С7;>(qclyLhK~H/{`e(i~"'=:"^S2Lf0P2؊&UIc[p\P_9J3֏Yׂ l7oVXzl(OPfU|@<3#BW>2஄_u13Nsu$Ky2 NQC ' B%SSd0N )}֧18 T\D^٭z8 Iz9V%a ?&#$9ռ(u}qBa0Y2F/@hNm(gd(eVHGѹI]Ztte~\63 lzgb0Ȳtؠ|!(6ࡈvs7Ld6NO O$s)Eف7XaEwkãNY9 \%6S㊍2ϙbcHd4p̏xAuOkk V5zLT4v.DqXK W z q1YDB0tqy{%(k*&qz8;\b lt}#sXڸWi_fͱi>h,U#.;gsӁ{D" x]'V{]llsX &) X$s2QA(Kc s ta ۏe5,D֞Q^r Uwa@JCLz) W^@S6CrQIPl.j0D~ʔ! ST ce\kxƖؗpl%zUI 5BYLܝgkӋ6 Ȫ ?Ew5 2Ǘamlы Zp<7bvē/d;# &NqR[mem8ȅZƿ] sװV)JYN&)Puэ8C&.:>vP:u 6l3/Eh3-: (1E2Ij%]y$gTgۉ ([HOd!Op/Qs gX,$ݸ3"} g׃-0r,=n:~?G%|fJU86c,/w˂ru*H\ԩoI,ʹ"|;4 }+ >Z`B˟1 $Y%$W , hQIK@HZ mFd vV%ĵ} k0X>@!jJIԱ%LOx"RE#け >4 O!L=!8udF$zuhB>ٰoDdL@/i U*eZp.č\_f-C.b)Wm%/ >>Fg:Q9/ AI8j)?:j`N .͔ߏR3O,+iϖڃ7LQkG#l"jZXiW+߫di}Q&]f1 w'5) M,St֪B*WgѾ=OƬ -S¸`\~BqD}fOSs ɠGK>M 7SncQ ͢^&Ŏf4GuI9zRkEUQ C! vdњ^&I+͒xx V"vOg[g7OOٶWxm8P<=RySiDMiX2Xѡ=1c\+^TfGD2bܷbHjD4wyO`L!1p-aAo8*UڝsҲ%=sH~ϫۏFvKǹ% {׀3?Taצ/޷*h'VY?/U9xO'S=8n[Fo r  ;6]mW/;Q4D5z$i}#zNE]Ub@K'nR:k:I ܤkŚ [c~(M}F&r{ll+SEdϸ>쪁JR& NGRaޔ T i?;ᶰ:81%s7POnB P;HwƳ~nmD$GO(x] 8bG"KO90&y"s2o;/#yKA-+S-T]qɞ>-E[v\%Uȩuzd0+NXԠPVhi:>LVO K1B9%ZR)\jl5Vd=?Ybtpv2+ꪈ䃫)&L 46ܾX9VW{h @9`빞Aj- !qR0RH">Y *) ʘjC1zgYZ6W]ŗXi%L+OcY.H y'[M۸mꚲ7 5g]*[XKL}Se ]ZjX|"uc P䀏`5I'2zZb b;UiKSO^Dk sr]6/;0!0v;Zv0IohqGE!;}.kv]u;j]i$R]G}7>Gҫ[{ˊw<ز3#+-7zּ6HpvL0@ij%m=][hvwvA0(q mB(#ʈD = ){ 78*dO/mC΋4pli>3" "'@,K2k3R>sЉu|!3֩;F .){ %4b >GԁpWƙ'>k=+Z<'o>M?N?%h,'iS/ڐwVlsuN*kJKwXF戾o'Pd. >^bNy38lUCi+;b}*._Ê&G^4[Ӂ_;..:,)̕KGT7JVݱŰy+Pm5?ߗקJBeB}js`sIMViɓ Ĕ]TH -adղ+οK+h-{gΈ4TdSv*ckሓǑM_v"|Iޢ,A(Vήv]7V7G!Bw AyQCHKZf>2,cKes. m7w\v=V>xZ!XyYK_3"n1W Ƽ,q'³X)IUh%鉞شe&.}bk6$Nw藙<'{b!D*NeJ\OB-(q{QzCӈ.}cN9L/-i+*}S\H= fJ^vMD'׽uMJm3eXqb8 < dA3n.]Z5YdEKMĉWhl-z7Ux/4 l35t|u=9ns[&"gZ6W֎b'xaá\b.&7DZyMɮ5#F-/"^B N$CDC0OqY=X*H=Xi-S!>΂%`l T(^yA:P6dro@ʓGPQۉN oi*؎OL mNq5k3ӣAۛ>>!eryHf'f# NPACD__,id{V=l5l;ـ[1Ҭ͘@OT"ic7&.RƆi0X dF%Sɞ,܋y kc:T%@%tTvSWEœLU-:ZYu,gI82Zl=y~8b !{hÉ`4 fZ[ &"Ԭ7k̪ Ic=g1\X6%sEٵ᭪dLZc%|e Aex<^p)9V!rkNZкU +vNKOU-M/uK&"o 7= \ U^v,xX\ϽT6\r:̎R;A ZMBd$@ϋv|pK"ݶkSE '1m w-^TklXk;lZ sz3' wԡg$F秒ZASd zLvbmPkeܾ'`W^s>cB \u,TFx6L@?wHdC7.IF41fg)^_[j!ŏc>ψTuKS-K#8xMVp3&U$Z7޼M7z3ZWϑ@P^gAԯmk2}'!HkSR?YB 1m ëi-ualӛ?)u0 ] ^BEXm6T[X9}v[Cs?2]+\杅T(2F4_ ]FJD} < M3ySfz8&`9}r-Xr1K|9(=we9-,-By+i"މk=׫ .A#&_2((6 fv䨚RP'"2-yƚr;W:ѻ5kYkS]:e6ܩ;T2nu^o+7A#} 3uJ?>6ҩ\nptқQdd3y?.i of>&czx`PZ\ G~N-p'.vPx*6}nV@ghՒ: kmㅁ9-%].Eۓ%il9M}{" ckK2JT`u3qCq!@5vM'60xC4FS?uY&unӁ`| jiOm8SL2Pff9+j91)\[i[z.yЗr"a.Eu_qTzeIJO$nCnTJ ͌.N~ Ffh\5DBw&A?Ki,v}Vrqǐ#ČqJ3?vYQJjB ~ ½m_~ _7?w dz?/| _Y:QS R,l(Jh6+q(kL9; N iК&TҾMIFW,/{m.] Eb7:{޼$wpx!-Ft٥4q@o/s7_iZ(@3k85|H@J-uձ 27Aت Ŝ:p7HZEgћ NB8oq)撃9M+ATt#ì}8ҧDIG*m "֦T-V ,=#4dEݣ7Mu(8q-\3-$K(TQZM5M8G@,`+q$q &tʫ}7%kNJJlj}%2{;#|?Y\DL?ud)f+U"" ٶqw̉{lY3HS&+ɜ:In|bQщ. hC c"ny_oN {֞(q(:$` `b[oN1#]/f ]ҏ2ޯ0dI(TYpZUf'ws׭ѓyJlr1GDb]5,KS ZsvMv#UZjRrxTrVIS/鄢2=h\uaz O []0:Cӗ[:وёmN[JY<'uguDwbF 8yL6Z}C\MwJ sIfcgCRLO6f:Avj ]S:CZ8B31T,xJrarh_!ry H嬖3_DmJXZB{Adߟ.+gl*cd*%7aJ[`+hR4*!FEXyCwzߚ<4 Iq=$\)n8lbbo`E>鷲vTQ74f9S\x PÑRlMrf= OD/-v;?Yw3[QHA=:VLm0e9#t DGV!{X~:6Tn)r5y7llδ^͘M?<;:I;ߍ˱Y,nT,[q 7HlGèi(2:Aqg[]X=E!GM{IZk8\X7Npwl?(0rl@xʖVSҦe-)i㓦UiǙ.i!5<&,i0MUo%oiurW[òV[Vp]W;7&'1+o858FFKd hE`NC]MCǪHp+\qBo73`F CU V=Y_{nRYS4bE }w"t"r\=\st_YŦB3uG>\}?du!nG(Vn ino[$z>nUǣ,Upn贵YLK'i.nA?mh'7K6T2±1?ze7A/ZCvߺi}HuȍF|&#A$7PئxLHIRчl z_:Įc5/dw~:Tdrj&"oms[AeiەV] @CYKMٿ)Z>.CR§_''4a#5dgY` u 648FS~}[>vQ=څ>HQxY_Z 4 `. bᚠL幤Zu}&nE%_ARMU=}ӱ[cu9|<*>T.BVo r#5Rxh}cQ\=uV\B 6u1ha*He##18( Ύ`5E(B?݀_az~ךMJ31⫪!)M]tЃBcy=Iuc' @\GuqbaO%W֔Q"AX-wk_6\ZىA}oWN5usnjH_ws_N;/졯n<+&4+9_cO[X{{~W ,_3{D%ThL}RStd.C"\b:aS'̤sudZaעK/xrhY$ҝݠƴ+ : X[OňRu6|jb﹫T$+k-fQ^[zUr.xW B2=(j[kq3mgퟱېSe 9 Pщ=U KAfT$-}ΆA+l1܄y×cHx[T/,1Cbw `iztwH7Td@}k>[gYZ75b2803ca859f9dc48e882982fda5f29aa562185e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4