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 HH #4 ]S Psi_Calculi:threads=4elapsed=364.860cpu=1218.784gc=48.976factor=3.347zXZִF! ZA]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט){۞ Ǫ9vlY^] ;LB;X&Ҥasj{֨Nf'm^̦ ^ÿwYZbS珀}#!,H^hm4Qwn>>fE sj]lg_)]_2 Hg<%LAĆ{R7Ĭ|"ɊWRmd"|++22wӗgb+.Jt^urM΢B|dOBIςI֢BrwG1iY=B{;; PrP)e3usxXnԬH3ŒPlxxO~BYzӗXg`yǽ> b Ò!mV4A+w$}QPg4$K>qs[N< FÛ7Fo!)Bflh"pBA% naxJ>Krf}2A֛%@ )ڈ^nCFl ,hna"LDxXdS+-Bze1ցHg5ϰ rsQ5}n33Nܑe?ZK'TcTWdEO#A-,߰!82\)b$Ӆj$ke25meSh9A~/ji[QBO# R9,N1U cQ}x_ԅtZT-ѵ?+-'Cb #]|vd@nƤóDRRGddC.)Aw 0Y6s9=q{`zO:٧Zʒı0, 1z9&V2hMaтr!*r~L'\!gx s,! {vW{3S{G93P(aOyjn (۝"[I0M;‡V%@$7!5dՋS{w`6']`ǴȠlӉL 6ʤ4K]!-_?¹PqL_ses t8Z?(K$58lt\qqd>$+-"˭a5]ԧC+2zij(_Ѡ_u:@_tTMԎ-(< ؜'yrMgx6Dx.g{YVzG_B@4=^"}uT UFC]pҤ^s9d|~4ê ¶1^/4~4 a +?`=E]L]Hۦ^؅T5x`f)%8G75BUc0p!Ư#+Cʞ2=r:8S&0<HN=da-mQbKY//wfk`D Wz`3"P|w@n!Oݲ]>ij&=:M}Kjqaikz[[Iw nw-Wdak<&BHe 5*3:*+]Mp2@q( 秺U_[̌1!VJyk)6fE^3{#d0qBL^_|h]ַ0}?x b['9M@kGdfxf'L-p 6P㺙B4f/_1H|1VNL 2‹|I=P =nD#iX]qRd%qRJ٘Q̒w.^WNg,u>~E : 4eY4jek. *!"; +g ɱ"^ ñq/cCO~qơ ,5\eL MY2qqѹ LCg&??QSeµS$ڤZ/ # Psi_Calculi  #{$+"7/x^y@ `PiBͰɈ5М}c͕P@G@>:&t դq^KԈn{tMIÇmGO%RifP4&|fUrM[[NyBJu qvQ.dHS>0B I0XN.+ܕmp1s$rIo`Pfb+Rql'km^_]cDY)OJ0g}iފb z?>ee[*ʖ>>qۋscth^#N;zquEh6qrGWg7YzɇEҾLT2:<#P7XH|9]Pfv!LҘ#7W~kW1.Z8DSO#J4fT ^[vTĥ2ݬ-0pZ|;]_Kch/)oQ|aO ED卦@XbOYo|'C))=kϪ7(e_׆^06xgfcK쓄>,RU9lYBe}Ut^(mt)F`qup[qnA6z+:Ӱբ>^ҳ5?JѨ^+K%̎H,ZNӗص$9z;ZSe4:nclX^͛zq]3O/WV":/!A՛>f+C3kr:%3Y ]X;t*4OhmP{|6ŢJ0cbwYaJA\etqAQn͙R9y{l0X$2V[*-0)/el31gȻ(v|hֆvhˑ#FevB#xhXk>yfgXЇ'\R @\B1 OV??5`;M7BX:~(͓z6l1 GIJ ZXc^A~æ|l:#LJ1'g t 5)̰ y -7O H/%Ѩ?y-dU'( #yjYcLϨA0bB(Z`p$LRîCeoY1hT.j6\餽'H+2;6w[H,u @SmBbP]k)[v{ypZAUkmB'vo s?.I[Y E]%1NO?rҒZU+ ]w ?ݸU4UDvsۯ!65F;M`\x:Ve$0dzpd#媯a׹Zr{Tbwcm F,2HTvjjJEP}P⯘b[23 0si VTmt*5:k<b!0#]e8 PwU-m+>kŶ-:a`7&*ע]=^ԫ5Pg 7t`5kjSfA@ɶZ&tQ6U*Z|_J/FC%wWZ8wnWl;|<:mNbSC M)WLXppG`ZЇۑU ¹O O`7ժv ߮6Rj f!ozݢa/3<7,n͈H3ys&>ƅ9E%N"㲳U}o5ӹg(@PJ=ή<-ј¶dobGbӶD Q[ |eq)' PPQ͏`HKuVa8o6c> |Ji5xb:+#(MAnMf&6z&eE/:_v?v쌌 -'bc2퇦Z>!zfjo -cf\U賘ac`ޣK`7Rf,T,g\;7Vr~q__iq'-$YO XkŜ浧!8鮇`j^: O<2v:b|DMfQ^hƏgf!Z4yvkvIp3i`h'G+ Cee~Ea/Ho|z<n9`qx24/1o/X}?~#`Еu)E6tpO{QzYlSO%9#_o.jQHD#(8Ug%7SA-1 B4`((fv~1i?T +N;L`[lOON0BÓ{U&2.! z5-CTyK?,{f!]\x9'tXѺV-k=`7ZL|rFU"D: rꛇnp;*9rIi "/u$~FuĹή@:*9/0{gwHX2u0Bhm҇;|i 8t<(z-㳻=οC"D{)ww2 K&<~5P>M*ؓZ|3a*rDœ9)BvEhŦ"#;< )Q}W5SM E,l o&b[3SqbTLBO@N%%I$>p4DN STR$li,+0Td1c'y}A SjHGl>!MȞ+ BBEoYߟlQUwQ+V 07cI{'^̮@hf9fc`vK0^ia'Ģ.$n>&vB 5[l.Ѽ>U=61@8V~0$p)?]OMrUi.?&s첥>PԀp 7Us7Rf#f!bD/ج7 ID ),[|J~`xJɭȩ,qn+ջT9'@^("o"N8q<2/׺ !4%[:{˼twڄUHk/ͽ{(K2wlpLRrdsEK r+ɎAwwTNfQFԊ$/+u"S\gnJ'ufs2iĽ zc .}$|Aah?&kCT~ ̀t3F1JG~߸ƛ~a!QD(qvBdъ9v.oW{ޮ;\{1"˛'у8g[Uk롎Su7,? xAZAt/MW:bޢv_F.@0r;]>Dӹk〱pFk= %ʗjϹۗЙU9-Cק -Xa4zOB+4XZZIk&R cJ /g.t{uf;=ڃ܌K *|ڊ,Vn0TEa9QۣdZ V 䅊P]>nr imElbgRxўҁ7N}A$`la,d9IbW_ Y]baW&Vӌa_cpP}CJJHP͙8qJqL"q* r]P{EZ^[E:jq)u;PEidK TC]̯}JEVKR_}J4%Gs6i.cU>Nhp/] d> >gYZ7zXZִF! K]ŗXiɟ˗̵w'Sɺl!\d'GsUs$SLrQZ RJc"b}NͿLS'\ˮF8YF?r۠GW@sշ[rN2](]L܆Taf>M@2v"!IsdT<@L/V2kOjBo2^m' xBoPK+ .]T~|~,԰z؇\}ȫA`䭆yЫZb%F(ڤ b8&f바>!8M ̄*RŽ#l8A-?E?!D'ѐɕ*NEϜ,g!ތkK9/O]ɕ\ow(F}BMOFtJ^i #}7@ڷ/KQWUL!Mnwn[ѭDTW?ɭ*>E0%V}cA!*$:al9R]U G1 j\yяež;B[1=ݵ@]=P_1]Cq@r%"4К)86wG(pG)U gYZ7zXZִF! e9t]ŗXi%G̉Nҙʣ'UCwPUFqq`bKk`묅6Jׇ}JNZk&#լE}des|))wvgT!˅76ŋ}֭UxNg{BtU^ᘎriY9\ ؗoۭ1ɸ :1Fw&^ɍ.X._ȭUȽ套 k҃K(1mG4LhT:9>qrcbSh*K{$ duNA6Hcq=9N {GIbDykeaBZ. je yZ.RVstLu nW893lmxj`6M_a&wR:YS&1W޽gy&[gisB3mEҿ`D5c5/?h{،o/4^C<_hC_֛u1)[_)LsUHa{?y=M J[j5&ueQ; $Vn~URn٥B姌B y4IACEE7h< щ#hTivϔSG+[˗^: iD]nXi0]4:gajxQn=P⟱!pt1QɅI ٭ -4GnhCߗ65)Yæ8{G%'$~4b+qnSn_ZtZq5sM23Lž6/-Gļۇ3rDY6yХe>Y3 qaPW885OHJca@MLI܌ƧIS cyHeK$u ȟ5.D@K7f@J;_gsq~ hX4l .Buon^s]I P(]%pTu{Rb/&jvPy&qeI8TmZ9Bkl|9JUI0PB+,ʩNנ[XB* +?rI1Eⁱ&"E:)X[vx遇ҳPˍXy LiQ`~E 68XJ}Zg/QdJqJۃbg=~@*DmR0>cXW^Հʪ*ۉJo0i\Z糺ܞY"@]3y6(F p!PYqbSh<& 9L 4]ez6}T뵤Np@7g!Fv0@D젼w{_o|L3UuoR}"v]@^B 0 qk"I k"Mz5|KhG灘93.H{_ l2jߚwyfw$|^LLnlH}e4ELb+ǗZ!ʔ%185X`(ONSn^&ʈ{g(ݎ+| Jge,e~C0MS(i$cUHF:{@2hӔ.}xXs?eENq Rt%Q#[Є"HS4)~F Z G#{3}s!K/Q[-O}I9g넖'{R75Cx+,MXԸj^~ԕ%<ڭpͱ0ʒ8 A MwfVr+eiڿAj;c%S<ˮT2%c_ܹ=> .ilp{/B!򫸫 P{ k:YGL`iO*'a7mn2ؘr8d$ q%71iqTsOK+37%&O&t"{N ^Ikb0!CdKղEaZ,#QL,x]`Z?S ~!YWK~*dJG)KoF46qahO-mܘiP4< !vA^Bn-ht=bkFEDVJ EL" Հ˨Rk4r7 ',X c˓9b]ᅙGٽSXĖ.|ɂ0:~xT1>6e0:|Q8!)?~9XKn 8װgJ,Nv(~ƘjMąWߎuU6ۗ@K'|=\b8$~=cE6n4x\D?.V sN~N DeR^)d9(G$Q0dFc'͟ŖÛ r4=%3Ś6RfןؚK@fVMZ(W9s l2EC'և!@`6i~ePTw`jH-s,gT''It|R+s@y -ګ#+7|wai^}P*4n3]k$YogWf)`ՋT<=̩,4@} ܀BG bQ͚)˜4]R&.Z zQKQlKLT\ Z)j\)1؊N$&ZlN(d)ɫBgG~*R#:yh7Q"yun[ 堒Aa'ߨLdƜD#VoH9;2vLh!4.~=ͽU{"nloRs=d"?Fso֠z8X~ǖ%Z|g~=/>x9?mIqE4ۣMbd ˲5[b >x9 <گaaʳpSV*М/+Ѣ' ei{t_E9ØoF]E sM>ڹ|_Z\.M-ɯDOL"Ԕ )$.v7Zkrg%ۑRoFIacGE qܯ ﰾ#aAjg}{rdN6㒬$ j`+ZRSzl 9퇶ҠtP]rmf[;IB1ՔqD|#]E{1FpkOw˓|g?d/ 8:)aN3Wj8| kCdE'm+"҆× }z Hn(?+H^{e¾ F\{zmc 7id^6+;i55ഩV=4FEԻt@Ϊ]-HYyw`󥔍άzء5dF(&\_ؔ1~,dsG,S('V17~b?TFo91*$9NCLʸ`fusQkYt'$K蒟1 uB!cVfD9<}=Vyd Fi 08CzO`K#p( BqT"Ҽ`2#`9zlj4lw&I e<.v1er4@qG첛Z'$M.9'Ɖ̄[uj2&$.~_G؋^ 'VZ[9M[2ێxPcWFKS(%`U*nV F/'/뉈ѽZm; mW`.+D\$(L[eerI-i/DpһnfĤIex$H&]`+G8O*Yr+3;$ܢ #w^3Z)вbz7W|dms9=PQn3SV>_Rzj;O Ӈ x@ĥm 0=6+{W+yHB$Ӏm+Pӎ62,2ɅkaZw(F*2}RN r;b! rn^W}(8/RRTgnRhZP҉kTx r9S2q{5r&#^衭IY':D85Y_.Pƕb|'t u8#NCHVc >*%0qy,*1x^:<5|+2uV2xOT?Ҟ)+'QpM,Y2.c$6Z,LPJ,|b1kYbn$-5ؑ=ύL 9Q˅utԌLLlPul2^78J=rQ,\ƧO84A4AqE acth6RRcՄ/Eq'#%(r2D }-ގ\$i!4xu]d Lv?%}pw]GIgR 1Qr5otZ*t?ތ"]UVjeUv*FgN'X=W2zGXZ }fդĽ^,LբJD?kr/*͎MH{P+!\ϫ#^~L!lGGy2.iz馫*L~B-~A5׃;(FX+|gIg 5n?4^ )tqBݼ[ k H L/X^-в gĕD==M]6A╢uh#UUϡ\uQ\j?c yiEm*L:ae(t݈۟ 오ͨ }Ô<"sh.ҍXQY #^g3 7j m>$' kCl[]C1 Y_~g [J֊l42'ANF?qh' af+bPQ^a{y.8X0*(M R E \cfZU.=n# g4K\eEY)"na1e˴e+zЗ _J˸їh7_tn}8]ph,FboX1{B' 9 .'CGgWFtmL5* zO][l^~hZ;I)+WY;С0QN!M6"a>p { En1xHۣlm{n5T 6SN(M[3K:7xZJ7OK,;. ߌoCZ2i5# B3x\.?qyB y9*1E">c ~UZՅU!ng ő&1$7_C'gPrn S6ҞyWr$,['Y_sj:'䈜OGG#J f/BXd:h8" :6Ӯ۞&P,{Mr`IK-nL:Pqř8dV~gi /6Aa4pbcM&3&,< ~)8}m(tGeVgX3 ZaZ[_yJ7ãݴ%V>6F lֵ9٢"XZ/ي>pgatO,8 x+Wqؗg|m3E9Lփ`ÊL~qc-1J8aBnG4ggel)#RelZH1R&d 8ĤIӷr3$m  1*Fsہ{\ s̆eR/98`=ZF|KT$_R&Rux+^"BR\pͫT?,ߛр?mfdL0*܉[?$Þ9r"H\tcwP/u7q ,wa:lvM(]6`  /$}}c <3oJ{L}ڳ[ e׻h j^*<\/?>hjK,Ԍ(QVxbu]p`v)à9; B]M0 n~)G97dSmփ*OT?'>G,;Z[SQ"^B3a)y >t#q}\3{L+tt֙tW3Lڇ٥R9wt:bjj =06.̘UJپ~qsA%)+@#p˖_bdzp>}E:r%C¤cx,<~^gRgjh, N%g0 mARWzլgw70Yr]vb iW92X.GnH:zO<1HN1I1~R=?WA[,KKcjgX S2iURlv$ IILj=MqlAUá4;,w|=do}ڍ>P15Zpi=`rhңcyJu&!Wp{E 8y3hwWdk"cvf'.굢?i_ nT:L’'˴t]jM? 뽛AOb&^ӟ3+WM|Ja"^1,VBF6 *nݞn7ۉ$HJ$a\]r%F`ѱZAppffCMYupfM FwOS{0K?y>~JStⴾXYG;IUfH6b7OL*GL?.DIӲPJII\oikq) -T}id;ou" 5,V0k.O;#7#OL[+9.iLlj ͬ߳Δiq#r]~_a\"P MM=`AҧI3vKħ[=-B/f+)ƯV^AKn 7My0Vu#{n]оSGV0sMcan@cDbQC<ɠ6ꢴy:_X|OE֭gb \o$M,`į^pUц^~1~bq(Iv- >NX D4UM 3^7ɂ'kc h*øwT~6Rp,4sfevJoP8N oܑ,W$aD`Uqo] Dh~i8yEm=|+v@g}.يJ2r5S[4P36;&~xL̴ ?osUp> O-45q͙~w&–:BwWsl51a_7ސCYn%JQS3 oh1- ꮝ >4 ᵌ z1Ds4@LNe(n1yvtW,IM{bКv Ѐ}RtvFG5F8xJ4E nlK]p4h:TZO]ؼm!Êu@ywӭʯhjZ$pGt'k$N6}PL,dSDYzY09gZԦZqPJ˜0q֩N q1XL$[Zi`.-W\ ŘBN< DZɜOzZMs(&?٭z&:ě8J,[oD\qbBαODgc;ۮu&ú:ϟx~:;^?ps%k;/K ]q?d qGy%(ٶxYX^lzjtL8d |Վn[bI,O P`ay2Khp|ьwsKQvTV"qZTGA.dō5% MffN_`sM=d`tۺUB.YD\ 1T#cL0fskoL&đO"+[4vȔlyݬ&d 7 EYQTQaVTf8*V )d~ȶ)0h:)_d%IkV;MRFmd&QGWF8Ihў^\:Ojtv ֫BWPaYY%٧8ȱEb5 ,/|&-t-q,~Vem#瞩Ta716_on>鼚0gS[/yb`# NF7Wl(,.TخFE+>0VmXu?hn 64En#( nYƻ% ɣv=h{vqMu7bPuuI0$S FC 5q> pE] lPz>ÔɠԬR״?{<ջ>7v}˃I2鼗LPj) #e.KwSd'޿jяslx JG/4(.0}`Ox'ssHUHwŤ1ߎp5kk_kYE6\%- 1j7+ћx43Wң4EpM7aG;s; N2sEѿ|5s3.詁,Gue n]$A?GYkty ޒtOU/=v OZQ($ɕ69vlZ@av$!qqZg4=Y6׊bFxPB1N:`DkOpta9T{y:?{<O,^. +JQ`u&hJ>*lȨc%Alwo% KhciClc%~\$9! raZtf՜ ;jAw{MJ>\Գm'b<+$")uA<{ϸCQQ{Y$Qۡ@w(sѓeHzye^A/R\kIQ)TV2<yB*:zF(H  +L n;V^8ڟ$6h'msuWwLٍvEygd>٤yn]MI+(02#-*:2RɄt+cg;hee@vU__DQ霆0laLιસMHOq>o+͝ Ē;OI nǘ%1jb4EF(䟢#քީk<%r[zK- m |i.]u$, fK V.)xzƞ̭ћ1ox(4 oL94nC?O7qٸ%+B zrMܖbRm] .d$̀SBFO/rH78;.򿪟T_Iܶc]]K~b]Y5|$Blc"{O4#ѧ0esc, ICL:w,06ZFǖo FCTܟ=Z6Y+r6oHW"r uGJw]>sp<w ř@IܱcW  muqf=@jvA/@Rew6]űRA `!zel*P3#[Pc\C ;V]qLB!ppta" aR'W߁ZQkuOH# }ed86xYϩT=1>_mQ D:r gޢ;O>+N$-BPx"j@5Rd--| xDR>ovavLfx%zZn]-]pkB EwYr`9؁Z#{Msj,4 A5u -|Aߙwjv`T_%.tŚ):9߽ȋ14N&I wH.XbBI#nǎɏn#&a`%2HLwFj|V$$ n/a4-ttntThCJ+/ wq_.f;<;*T%W̩3q?pT!YSd:-4*" r[VF-lƎ\t^_L~<ɱmTg܏T#ơٔzj@/'P, `.2-M̖d̰nkKX>|Րc=;&h<'GGeSS,pų ЅS֚7?c}Z="EBs|Q}/b9LXyan9mQ ԿjVIN<3f^MYbc6pb3'&NⲹNڗиKMe]Q0^e@i@:IBtȆ::JDAÈK!S3^{G"ub}rߦkp\CóV}i_t b;:=D4./ GO7y?0UnTN&quec5ZJ?_cZn# Á[: ҊIJZ`YR~9.s"PHiPvQbفTFZ qm̧ W; Ƭ5Rq_#lF 6;nңɶRȻ xE 25n?$޺A(y?֦0n3MٰEgA'&apGxHvYOGf=hFd댅,ҽrc`y d%v?;og$@MBqyFyޔaxJ;?o,ՁoYWV)IIm/II?|ʇ[̰/)d g!Re@]5F2un]9kj I7;,AqFUbG kirnB26;kRYYmJfyҨ] eAX)4R?ڊ]17Gm7~+y"j`eGĊ+Wa)!wLsqN%5yb$D㒌AھqRf- g57Ӧj:LH~}jMR<-;qDH(|?Oy)m "&LtUd!4)N7ӂ(+Z̠Nh6nu90W`_MDiQmwJ/ڟyG"M<Q9u?t/l]VT[vA/OߑPc{/Է mNM^W= \(_SAdZ “3G,x-[ga_j҃P;D!-调= m=Dk4`O$C aeWU= > x'걧G QB5.%švdhQ4Y_H/'S0R1N3#ie=%= V(n(}v1c{T_)IEYmq UV"CKG݁y9 9z A_gu!Rx{5d<S}G?у:m3tOF^cZyt)'zw/ZXrOoopZCD"7[ O}M&mdJ\4ȔrEovs lb &ujPh=k_< y*ő]Tc qeߊޮ} `/L5X4lJIS޹v@aJ^=n]"@>=J zi+w>kL+D4_JzǓR!$v<(3&ک{5jl !Q c@}sGޝI&7RT's\ א! u:#ݷ؀AF~H^cҠdA_?Y7+.ګ)ee2jK}EEJI$sQ^1XIDXe+éUa4H[eخ[c+C Y߫\KvGgcy4uǏc+,&ad5y]a^^ԇK eGBT `w<8,wSXX }0cVCEۜz70Sn)<%\9/P %kvebG7T<. GC3Qf-_FW``vˁO? RqK1# "7 va%ML5T;=g|v\FD(b31ݒ8`6fU2A[0?d ]ߎ) 7E0dw:Z9$wL NpȐlm )X"{d* %+֩9K"YrF)?n.4Ws^6KgO3|6zUD>Qǥ]%7H0 ^Y]s2jqIv1*gh.KηQ߾sP|2^Gr }l)$gа?e%W~aG) Hk5RݔM xq-+Z^jdh'tlBnߢ(4{}юP%!f&㘏~aeN^JXyl֘q0\(4<-"K)+`v?hDggг6Ս~/yH0P[:trYc;qjب,!w$9Hخ"Wo0HphlB`n84=^Teձ]߯, RK m'pN=-P -m <-+{#"pU{wuV:sM Iџ*RyGPfOp'GiREq^ƫ4 .QyS,];G0LEpVڸq^2#RG:l/rz\n#:uGrpbo :z8yIGd@AbLVלgBdDZk=QfQ}xU3qEҞM.E"a:8 ` b."^Vl,F C`?q2f} (Kdką~]>Օ+/zyÄfR6v}mkfE2S un TPYSJ( xƎ+DzGKt5 RO4ا$ijw߉`Z >W ]R6 --s$;&}uu/U@91s~ DE-6<)}@cKmj&\V3^e|U憹X 3-ejL.1Lq-:wap8r~a5dC/KoxʔI$,6$6;˶sUi@ hv҅Aw.?O^eu'D\w|{2uk qHZt^^ӰzR04y,DX >T# W鍣̓Y]o̾@F5*Ia'.ԋ)h f{:Zx@T1ib~+Co`nW]UIy'F^uYC$U}C)Aϖj_6 R۰Jk_"_ mH )q'!qrPf ɓg00ݠzH& 5(bMmbp=kȐ#N* ]`w a7<_oeb8_]ڂX׆ÂG{-*?G FdH\\YjKNXr4.X'|[x-~NƐoԞt-Esz|Kxbހk4fe KF,Y Þ<QM*ጮ# mr-]S~zBǺ&NEd9, 7bCkԶ`hl"h⯵\ϩ`Lʯd Ѝ^`y4KjĦ">np_5BJ&쿐DlRΔ?#Y'lTŽ**D<1[.:c2$ISSq GP-:9k;f8zZnS{Uuǩ巫 1CO g,+D C1Tg] sf:ǸP%-RIm [g=!H-qN0rN~[1춓$Q|hF(q%6bhXSw{4q]"{F7"JIx6$, hWBDrK)}]RԏW+1d=dH)pUԏ*\( ==zAK{ B0Gi֯7eTxKv%y|sn~oN9jYp %:"6*:Vf<$U?cl=o#r,٢IZ-H&يJ[wEv^3}0Tڠc]W=(NzD~ea-‡Hi,yV|OE@CP ES+"D7zʝN,Pns3s5lnwDL46}BgtD_` "灁^cwg<ڍddXI. *T<eQR4ZLO*k$5ʋåpG@RqxX_)^(2ޮǂa-PQfsY^㲅-ESkk\X<Ƣ)蔢 V}bn[G)[I{|[9)忤&jIV͉йj٫Ѓyχd&#G4*9w 4ڃsW]6qsƼ4vo瞓B/φx닽(g;lʱ*\ܞ2*~$D^ 0!a{R:X =͝pθ o~duHp9p@dm y} $#ċsA:9Ps I>$ =zmo`ls S49ەl&zC`0]i+L|EQP'=xP-CN@قdAr+~"ʟo 4pBP;+}@T2S~ hs90 k1K4ckFس0h-'*W8z꼑J5Qr>}ܛh*x!Znƃ wr ϦCYv]0Zb; cGIse.uGӤn‘g·&Gw!UظX:u8C7&p1lYuߘܻ`mC\Y>g Td6@OI|&2Qxו0Z0hIfDp;2Y^_[ʭdNyk},$I|[JALܝ L9[LXt8_z3w&}=l+ |χ 4"y쭅>) # j$'Z@Dta9,ZFPUZpYwT7o7˽[L 9r&>a~gY¿1ͭɴ_a'dV^ČE#.Ө[xwN/,z'fo;%tO^*%k lX-`΃^JcLՙVӹC` =!;ȤhRo!tY%\R ?|UݕwL>sEy9?6e(ϟ{$tI%9肽?}19ZT 煮iɾex5xfDԸů&c)J9-% +\ PD_↦D/ e |4IRڲRS0%/^ ?2U+߰BrO[t;AY, ɪ+kR-s1 -] nOiʬeE2OS8cw[?.A 4.UU{|[H65ه%o(8mJڦKLwv{2rJϺИz^3;Yɸ𐳇d8O֟nxGVXѼ[G0XG)%7өUMx,XH {.䝳 MbFJbLT(LUlba!]\ f[9"ΕA\% F heOL29N Iew yò>`6Wm[:o[Sܷ9l0K 2aSQ GNwR"VR< 7Pq!#C~Bsr%"P(7( Xq`ߺe:/z.$<ol`!o@M#ϸA"A=t}/%O?Bxv3`/@ ŪyY}=|)TW0D&8`1Z`oVp]WabFQ"xC)~ SDκSMGʝ4)KXE|/ \$c0E)8n&?fb&qh2V̓5%+o醬N>@1'=9>Ph]ղϘA &g'&c~j*noi@6e_%h;ABJMefs+x3?>_oL @ڽټn*,6]}:gQ ?Bq vyN- +@'UW H޲RfO ;JQgHr$\D&iZl`Ş?4/$ _2:dw6߳aJ"S0<2D$@gDʇ=՘T&alf!"D3XW%~(~j['󂊐U#NCtym< xS<"[$͕ܲ zʣ$5][!0Vm #dh0ӸMi|JY ֺ,0vY6l Wp;c]O8! !tgYZ42176fb7c8f19da176f8ecb5e5f550add2bc895078a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 0d2d42975c6d25530e026972cb8c1688c0b42174