SQLite format 3@  .C  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 ] HOL-Quickcheck_Benchmark:threads=6elapsed=287.397cpu=1371.892gc=64.0647zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[{Mp4Y`Tmnh)uM,UY[]yDq*{>ӞR\tW"+ޟNf8b&dtlA!֭0!ݦ`#_^FK/)Q],乕q-cKqÙw] 79{AYjLoIiЕC p"bioLIH|UHMpRK7D+ "ao+ J5m$(nrZ\a XS#h`*D 7y(%D,85rtoP4rxF"GJ 92~Vޘw(pf&sɇ7?S)զ YZ R>VI5l"iBrG(Ah7s|dJ3&8UIF0zٟgv' EgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0a|9i%u6by2LOLP^ Dy=TY%9I@e}z3FZyZƼkIn"<yJ CɲpІc%%caΠi}h~ʸ|;¿gYZ7zXZִF! yf]ŗXi%L³f*JRB0;-5$&+<KՑȁ$;b}3 A ضOP8Ôg2$A{ AMXlO1DCkn; w96a#V-f쫃ӥؓao䊦{RFI_HuɈl@Ueݯt eü/ 7pulHV{kxNFd3^?щVCY%IY+I*viiO35lmk+Ŷ[֓<[(ڝ/ #S;ⶔAI^=K"({7EF/q72(>$' H69"8z iʿٓe`@CG`mT)) j%{1.}95aPe9^t6GUo"ٲH|_aeVû ryO-˹j=Ҋ$DsmfVRː dw9[];cACa26aC4 27xV*KaS;KW HPNrTzl%Xt`C[i(R2i&E t8Ef`LCL ;[ etנn<_ow/p㢗ݪؚyx&:7Ǫ"K6v*؍f+\Υ,Ih/B3-1$ƄUHY@6p?yA\ˋ8!$JCBWc&@b~ c(fLO:5x IүN4ҙGcݗ-XWЊVWmڈzȋN궛d:U*:?gsZRКu[@/Ȅxߋ q>:&nq%D#RдY}3j j/1xyP5 K!D)֦ _ٷmSWc{tk?䉳u_[Uy(h:[A+[/^󐏰8?SG,u]O^?w"0Fb?^x\ԃ+*חV畽)*ӃÌ}upZlpHp"t[Rq'RcK 7^w3oŲYyFTڹl*eJ?C_`o.`CAyU.aOoQ r=tdjnyA/dx3PWuv>rJl88#jξkqb Ʊ#L/!d08HB|ʅ_fנˡ䔊"^oor]{mm `f?AVC숆l PK1'GLr_UK]uDfe]܄Z(HC:ltk'M 6zxԹ%$Ia_,' .H = HOL-Quickcheck_Benchmark " ={ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.html7zXZִF! M2G]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*P4de)f""Uվ5sN,)!T G@ysN6.y~FMJcS;`y;5wu#t'M&4=NʓXXRwy7ӛY]cYe_]'i.Kfh;W;=Aٶ>G+i,iIJbs(V)uF,WO 3^YOeg#u`O;*PD-+:kLvĶ $@o>LD%.4Or!ئJTx.y~R0C%}+6N<.["Zr~DU>hnBX"XdSf<-_LJKxNwZ+@Vģj!μvC1UwT4nezD acUsE=wq'. -yrgWճsdjPBqL!"tL*ʛnK7YKj@=B&n&y9@aqg,IOBÑQ!0WpIqyQŻA/ e$_7Qh~F7Nͱlb̘F"k3ӱbw6Q-l7v";_a֚҇sq X.3޽*W+(*T50 2eix #;C 1L: *Ś2MO+p72}Y>`dTzD ۥ3K1  6[xNUEIG 25+Wv 9D-I ,%2NSr6o ᎔`,ZTEQJE )2tB7Iw^k,,(}gcs @udCwY?>:UV;p R SJOd]7 8 9|Lܑ?OvdTةoMVtr6rHcc W'TfbW9P@6=wC9Pb4`Ȍ/*<"1p4;~\HhY}skJt_2j B0 RY[3χݪ>lBc/ SpTnaKKL/@:2[]8htʩ9F Ǯ[3Wݾ|v'LWNHK{fdNE +tI5[mirj&&Oc-=k|-VEw8J>x+fV9BT_bGSz<iifJdp# ]>(qKowWn5{?ξopmﱩ!G}^> Ν`gW91ЗP|lU&ALqۚZk<3VE[W,6ҧ\TA0_8uS 6?fašW3_N#;3)D`ZÜQa١вѸN`DmsļU%B !/T!b$d7*C3@`=ձgYZW=s] DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)o }+#DgT؍ns0@y`ŏM<0b$$ ;` )̛> 03YgF1+ӗŶ9!Z}G~|wޛŴlǸ΍/tH7j@ ?f2@XL9YnߔxKÃ5ʷoyHm-oi_YL?jRd#^%}aq&^#ᎤN*k(ٽ&ĻY$6,qJ> 1uߪyXpJe6Y}O߲ERV()savI2q<6KlZ_dvwĩP %/ޣ}c}KFX|t>|*hYӦ_.YBh pcyCaxBf'8#v޳soN"o(*#icC.e)] )se@;`< Q;}$7@*<31tN*pxgv ;IWCw0Bgt7pa     [  D p=kSHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.tex =}HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.tex q=kUHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.html= qHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.tex=yHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.tex=HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.htmlx=s[HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex= sHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.html={HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.htmlx=s] HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.html  &" ={ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.html7zXZִF! M2G]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*P4de)f""Uվ5sN,)!T G@ysN6.y~FMJcS;`y;5wu#t'M&4=NʓXXRwy7ӛY]cYe_]'i.Kfh;W;=Aٶ>G+i,iIJbs(V)uF,WO 3^YOeg#u`O;*PD-+:kLvĶ $@o>LD%.4Or!ئJTx.y~R0C%}+6N<.["Zr~DU>hnBX"XdSf<-_LJKxNwZ+@Vģj!μvC1UwT4nezD acUsE=wq'. -yrgWճsdjPBqL!"tL*ʛnK7YKj@=B&n&y9@aqg,IOBÑQ!0WpIqyQŻA/ e$_7Qh~F7Nͱlb̘F"k3ӱbw6Q-l7v";_a֚҇sq X.3޽*W+(*T50 2eix #;C 1L: *Ś2MO+p72}Y>`dTzD ۥ3K1  6[xNUEIG 25+Wv 9D-I ,%2NSr6o ᎔`,ZTEQJE )2tB7Iw^k,,(}gcs @udCwY?>:UV;p R SJOd]7 8 9|Lܑ?OvdTةoMVtr6rHcc W'TfbW9P@6=wC9Pb4`Ȍ/*<"1p4;~\HhY}skJt_2j B0 RY[3χݪ>lBc/ SpTnaKKL/@:2[]8htʩ9F Ǯ[3Wݾ|v'LWNHK{fdNE +tI5[mirj&&Oc-=k|-VEw8J>x+fV9BT_bGSz<iifJdp# ]>(qKowWn5{?ξopmﱩ!G}^> Ν`gW91ЗP|lU&ALqۚZk<3VE[W,6ҧ\TA0_8uS 6?fašW3_N#;3)D`ZÜQa١вѸN`DmsļU%B !/T!b$d7*C3@`=ձgYZW=s] DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)o }+#DgT؍ns0@y`ŏM<0b$$ ;` )̛> 03YgF1+ӗŶ9!Z}G~|wޛŴlǸ΍/tH7j@ ?f2@XL9YnߔxKÃ5ʷoyHm-oi_YL?jRd#^%}aq&^#ᎤN*k(ٽ&ĻY$6,qJ> 1uߪyXpJe6Y}O߲ERV()savI2q<6KlZ_dvwĩP %/ޣ}c}KFX|t>|*hYӦ_.YBh pcyCaxBf'8#v޳soN"o(*#icC.e)] )se@;`< Q;}$7@*<31tN*pxgv ;IWCw0Bgt7paT.4Ӓ+\gYZ ^ ^v=s[ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! 3]A-MՋhvG"uIBm54%?э~~`ٟ vaWqwRZW^me}@wr 6x̿ThI~B=j':lxV LWH~ܜS)lʙXu}rMpPF#j%{'NȄվـ]suDᢢc(UIÛbщ'OobC;|XL_ger MB2E|k@;&ZG1dWUa_ard!N]]o;O6;Ĺ< XpV`xU>$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*P4de)f%3%GPR=2^JhNKHΣB$TFZo}D&Ek*Y]>/Y7RʔZ5{8 ,xS?5$(])( x=4q b .xqOkW/@)467hqI;9}D7p9.qdG)3G3``&J-^:X!-i/ *x,H(fMlu,ֹ1ºxR :YWp"%c璇HYS^#+`gfR&= YCzxÏoɌAR0g 37(7kÓ*hNUNSp(T#>|vwH[T?!/H6r}#@2b1j?iϏTrѪsͦj$U4T9@-km#/lJr|e=# A!kw!˞*AR&5ק:|ҁ@_x%_WqZf}Qrf\ܐI.Ӿ nS+YQNx Xb"*<7NYWicE(mq>r­ޣJжӪJ& ,JImM|?%w@9׵jOMB$Q ϻjze%+ѻ}9GvnO Y/o/i9RSES[1&HNHYeL}ϧvd+ۇKdeљ43~wu\L4@gPrznǠZ/r?AxZm*6gMB 5{n#dhSCUZ=C,P4<Ù!#έv~ @2ו8mYȧʭ'SZ>mPt:*gsɑjn&`0nMzTRJiZ?ȈmEX8`*܆q/'$kRK6usodu;a78w\H9DQF"gYZ F = \HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.html7zXZִF! Ng]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*P4de)f(REl@oR/@^Ճ1ZszvLCsD@t1]ޞ%9\X$KVD`C /pMݓ~[1 \,8Sf U/B*9CͽO~_`q73w["y0{|Ye [RzoJb61J^SsxU{:e@l+rNRY]4ay^$7[qO}Ik W .oaBDސsJD 89F\v坒 oAUY?%7} 5n^;CwNt }] JVX/zqy0⬸Y4[$`MʕoaB=oۘ^WL7iN-py{Qy-4Aqi^a JN(; b*4TKKI-QɴV 2GO r> I'3nVdj;8 /NpAE`4 QjQ>Yw'ɴOμtUw)ѓDkn-zg;_D9[Q6 0rd+Tqű锤fqpt 7buo /|"eukJuY~#`Wo}V-*4XotnA"6J_s)Ljqf00$-_h> k @޼=|^&DҴֶ$ʦ?IgKB@C7RzlO.)+{f뽥8tm8){gj^- T|2x.].&$RBYzKeɝނl8DHνA'8S5,{*$)T"y `_Sh Ny]Q瑩M@ܗds$"%4j><\^Uҙ\Wsh'sO!]#q҃.PK;sǐ-SX"'ɑIksHT[ f<ʧMs$֔pi+?+'@g}+(XtÌq,!kn7)47_L&מ_O kuT9&; g&Zĉ`꽲+O:)@`B p?Z.5K-kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[+Fz,+ HK2-GF \K\/HuX$roL̮_ nHм<40GwZsG 96s"af]J~$~fɆJF:j-qJ^SLIu7}_7Bk7B$>$ET%E 2ω>=(HcC1w܋jzǟ`hR;/Z]N7 ]*N1Nme:t H ^R\K3}x"khwOhϬ4- ?o`.I[(Ug3w6̭msEv@InOZ'muqOlUݢ\|(,m k} UF'rǟ8j&LAtN$rq )G#˄pM7d !|_LʅT@ >zּm1I]-17CiM2U=S:Brd_cn)h1 zCXG|@A.ARۏo 7e/ˌ~vLdp)'LG'+i-Ym?*!Hʱ́>κlg߃f1d!BW(NJ:+n6h@mE4\rR%Q_{|K jwt7UmhAdO x9K"vzrwQCJD:4L$hp&S'4|ݬ|ĆV21_cZ?,VF%MUhob> DAhaf=m`玅qM?s-BpQwOǤ`#)'P~>'LF'÷iR]-ّsNg_D׷IT'"<B=(Gn1,s}OT6Dh8\&[}M3 ]۔JsֲGx䀉V2~[uFGHWPBi {=n'5qx"F9Q͑3;sC_7?QT5[oԦ9[D'9(XBHmz&[NMhP'%`4wOpINz."B_AV4t:F)F^ģo hvPf]1)m0TO LgChANXuyD]@VoQy7ޜ˵8<: pdϣ8WLQ8)FS9y"]^t&[l8~-'6e[b`*DIy=[/܅p+4p)GB $ zprwS?zبy31#,O 0Gx4yfRCI$D_; ̯w]@ #2ĐDKmX8ۡPaC|*{W>@[V̔N!>;T:FrDgYZ >>?=kU $HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.html7zXZִF! nu ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*P4de)fH0QA\3Sϐ/{s}#f pe2sÝb]fjKlbuҡ5C uӅVyno'}՜2)[$$;Wra'sSWϖv!7)MelwAhMٖ pw" ,ZM0uHA %T&֖BctQj1w%IJ MpSƶ5'T&Lzu ^LʜIģ')f~ [nAT'#rVw|ŦT4Q !Y?bY}TU%U s35s5x 7@љ0d8oNAK+X{wR Η('WZ֌LǽtC, DCj˰ʣBjkeVz9p5 h#\M:# yRf|O8"$&ʡ+_tF ,idɊm>ΏIq< `oFsdL.q q< W=Q8f*m%+Z򊬳=*bUىcـ}%_A n 2&Ak UR=lHAlB%X CtLӣ6wUCw8pZAG_b%<†({m}raG3Tp! TNɽ*w7/;GQ>`&Lr鯐7)ki|>2m]x <" g̃rp-=cpV{#9fFE z_C@ +VƧ@/0 -lU81E*'Y хqΛ+'Å@Qfb0; Nx'i1a77IPӠuq5bI@n\RU{`-0pa' Ϫ5Mc|Qp2' MO`_kGU*y94p%I+7ȣ@F+ Am?MNUu<(X<$hC zm8,ma8j4koBT>bҀ(eHv-22NҹaՆaԲfۃx~ˇ;iߤK}9 KQD0A. I\ށΙl\ϋ$#cߠa?~x][Lv*^\9餆+T;TjG<8^ID5U&oubДQ_$~Kq% #_6Oyղlȅ0ؓ{|nF"n$})ӄQ9JH_.(h/F5 <_C* t i\TeyePٙwOl #Hzph\9Vk)I8bg׎vEHeP\Yrygmͬ¶bwSyLSQi ueϖJT@Rp I82aޯ/34{Z}ob;A&0 n6k/xĬfaʾL5*ݺRs-i(*!;+{fE&đ&G)>NCjܦ^WЖRb[hzkrvZT [r}k|cg)RߣPuIEȃPEhH, D dP3>:f!W-lsecN]A]G5H2of̶F{FWxO??eF~ocۡtfZ_m1 %ʼne) :?|0iqDj)y/u/WHX74J^AR+Dz!ޖRŽ[݀[zfHڸgFGMR]F>UkKc-˶p4y)a͈i0зL{ۈzBٌl}Qw ԚsZcb>݀#-\Yo7)6RWξx2Us^ޠUUUt}5i17#)*tq$HP пGzFJOVnnգq>Nf9xVT"gыBxYѸr49Kn{8xy-&+轀q9]MZxX"B=ewī-qjwn}7v? 1w8>G8.gYZ //N =kS DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.tex7zXZִF! ]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpMM#D 8L<2\䑧*@B-]o!qܖ'yUGhϸD1ڵ^)*$~Ao N3=_^}rwpScAl819J*U0UThQ[9c' x9K(cI4D0Ty[܅ MlS;=_𶥈e_´k/g%>.!A%נl>#~Hڃ]Y]=!Ӌ>75c7Lp?z@W=e, ׳me>K1Ǘp)ؘk]ݍMs(t!?jm2 P{h#T&2/Ixf^e"Ry02׌KTwQS}f|n H),*qðGlȆć-\̜uwWc1j{P4bp@_O+* 'Vr0?7;H<놿!nBo ICW0UcnpA|'eU/,+[ҏjFVqI L6_V٠Ai[>,  t'NkޙӚW/DS7Z9@LL$f_y1(u$>aF? ?QȄ#=x 13GҜi@$(yje;hN'vلRǹJʓ?%ѐȵg ܽe*Z#׃WX`y\ǩ%f=I6ԌE >;k$T!X?MD {̀A-k΢:#r`3qj94|?KF6d 4R2c920.Tu4jdM ,[{^2jjҤ^VFj~~Vs#aHh{)e.uvnGpU> `^"d͓>L9.qh QTlVs??xr;pe^(y8ׂ8 ͻm }/hXKA @Ě؂ڏtC%Sx'ܿ{^c7$n*Ь GOOԕ=I 3{' xlPGEZi4u Ii xEy8 &i_PCa|ta[eτ$j vkF]:e3v9ЉuRԣվ+v~†8r^Bx%T8\HLTv,i(W8MhDńo=j7YtzD`>heڴ 9q VN}QBv]b]5dM]aM($ɞn9oQ0C.HbLg!2q|0ac:sx>Bc/~jkx'աCnx8xYk*;y bY}%m+R$epA P,SI\p/CA!GIy3cup@An @f{Z#S/pwN^"]@`N#HsP3,D喩{e&/[F?L& KEhhoБSD<(q,}y+_od,~Vؠ7ic|c3=40Wm7F8f) ~h6יL[OؼNW5)ZV|H*Dt @$4 4c7k-<䃬ء x|^MkSJæ X 9ȢDًX2 FWMi/tKxd,R EMp)W".0+WQ*g%h1yrں(PueQ٩Q'e[i~K<~ !v:BRrKW-|fe,i4CZq|\ŕKr![ Eo3+90|Wxa9l^6(c1|{%\=6k }׭qlOlm-$ " U#zC璖6p_+s*ŠޣKMKt1{ `!dcLWр%$d@z.)Hoȉʌ S(&;||?ţBAe-+$m$W ^{Dl+MvUzQ[*b r-9v,+1eθg!y .\g Sިݾ {p_R1_zk ʙ:ke;VBF)%}<#Sa$ض+2-K ӓ/Kdw8w,BN _ ҂Yc;SM?POS@#z8UΧ _b(QRY?~Y_(OE&Ovs~6=_ G'FE|AjzA4uED=e .0nݚ04ΚG)}\=OȆaP#vWPD[؟K=.,F㐹bҺ t阼G*s0㈢/UcF Y:%&F{\3,6zּKC!j;Z"=b*3zi7RVվJ9a sMwX\Ш.X:̔ReNQ;lZ{#  +c0 Ҽg^xr$Jɱh54c0fIZgs2Jp5%O `ƒ!(Z8h+Z .h6P,>~N6~3-Na-MHNoԺ鐌vW pkۿ ɹIHa'*Zy]%ш8 ݣ:LHKZ,RV3vPC.Y~iu;g :I{Wy˯"P*%wD2 (GF9/pv4z٩ȕ yo{Oy~FBf"vפ(߽FH_u]CW#84(?D (-l:D"$׵y\%ۃ1::;a+ߤn וp} Y|Zb ~ұ% .h{!sr@wd N[{{Bw~e.c3X["rAM4㑇*w?$OBH楬 8ϼ',ШCKn3'ʆChy^nWe5v*^[WATrGW 6O<*!kq?O_A)ai ΕcB4jV#kN*G(cƅ:5q(Mx+OoӍ]3\"}qv:8)Ơ$X(e,Dۧ" F fá-M@/P/&Mk#_,){NA3ZN>Վ/x*HyP<8ZXFǰ1˅0nGm.N=Wtu }T )%r375!Ŧ94 URR*햍^#a|nr5=g'= P&ތvsnɕ{ufQM.Tx Lԉ47mN*aً@+aQ==gk41zۢ AXSҘz脨ױH|{9al Uʶ0MwB҉݁s} ұd.TaϜY 87֥Cw0Hd@bW+PNj=!a^Ec~N噠J --d#}[~Dq̗_F-%qWᄓǀ >@ f:Yݯs ̗/A#sxc CW*IPMduQ7v7}Ҏf?f2qp׏Be.|Tj zatϭ}k70%6@u=5_UvƢHfMw1$&eBڍ*&Dcol~{ō½Dn^+uC͇OƦ43eU W}5ZP̆Pkv?3IU|ͭQbmf̴T hSozǞ~/X9l2UڟU)b' xB \'<>5Ӭ$L_\TTQK, 全r1aJ۴w½/M.& IdW7cz:c{)`D)C?g g-:3QSwrި4q&S ˁ>Ƭؙ9Cq"N#m:vN-qk;K"F00i" b0gG ?uKg xf53&/VI4DWp2G  lAÀtRwzn~*p:fZӸ~nz7A6D_N4'wt(zL}+zAY=?gO3<@iE=j@deho #/_ҊȈĜv*)6oa/Rvv #㿫.lZ!700|9/_Y.=jƦ<_buUPnd 3ݘKN4 2 {F8]~aB V #d0'I7TW ,`ة(.XݫBm/ZR׊@|2)sO iq.tFcW6ذ2Pc k#WkcWOu5ÿnwW`&씚Iٴ{6 (5#v["MgY ؓ)?nA!&~S# DuO,>dl^;ߠnmb;Yvq%62>lrq;f22x$дQ5;x㐗ePnGO{8SASk?U_w\~e#kFGDG+ܙQ6+OV(h}#ϑ$( ϥ;VȚdBC[ܯo,ӾPh.:emwm@>r;fFN4A`;%bZR2CJ  (G3\bm 9IٹD<"?[5_:vɻ \F#9:DŧIaClcXn=}K$6LTcs'̇ ]_r`Q 0 4d_s%lVd #S›zPHRdWSΌ5l'1f)pc+KI;R5q`sQ)> h!γZWK gcRR3P"wqNִ_;FQ{|sxue\ d[7(idpfWcb| IAR T r-}_$ȳ&,ȅ&=gęO_)财b- +PsW9S[L;p!53LS<YHe D Drm]RXoxeeV4fJjbb:b [ݶi?X,+Ldt9Kq"'$ՉI5h\RK -[=;sMn=?9PKIBX CuX>zmhU` k#D0>|zE.łh?=8V@NQ!JN\G_rG}t^IΜ/$ZY@g~ZU= >)/;^зQArs`X\\@sE'm2jnQWR> QTž`ހq. N>8@#ï`Aok`lWXO?wܠZޣBv/CwyߌWŌ%z5R|g=ۛlB;W^r! !E(wLG ~M'5=PhEGV w63NeOPa0_!WV *VŽ4scIiox6#J24*^|oT-'iW:~NٞZqy[p$x,ssĸMQPrb9ד @UtASMkz)Nc=kjK*Z ϯurnfc=hk"-zAeYaMx$Vس'*0M [كwR',#ozMsU%ĉv'gҾ1 V>rMM}:5w'G80'ΐ,::%K!P=Aml s1Pitu4i*ĎX lOL8zm{c^Q̩[N+PYxyM}f/]A\@bz(Z&sSQA/JӃaK\Imʮ rܭ ?GxuUId~ ɁSф\F dҤn•xu~!2ނ~<QBsa,xuYyg jɫMoT{]sw+7q9$lt )a*yTcBud$gEk¶ǛpQJgtF=V8q^q( EQxm,jA5?TJ%wtٙc5q^R#oMnM/:R7< ^"7zzMRxaR#:_ y^1;쥼וGw=[))1Gx7_:GW8je Yݨ8/QFa/聼\F//tI vp<4{_cLD6gj襢/#mPDcc+0f>f/ c> oJRA#ele橽Qo0 ô#E096\R1>iz^,;GGwՂAgcibP2)9;Mh-QSo?K)qoW 5.g2.}gC\HgbHD`D޾X,N6y}ҁNW5uz?5gՌ݆҅5YhjQM#`ב&.{ [bU#{? Z\{gC`PErI,vH!4 >ۑIMR͌PhQ\9f{C0c*DL!q@j tDN]yb;g|A6SbP{i$QzG͞?q}e! &L]GX_d(=MCizL-N"0iA[MpyZD܉2s"b'M8CN:gK{Ίi@iTL`$ G%mD-nax*DžfeS?C7[bra\ /ǍK'2O(I9<>Dʩ-Sn<3BhNJE}=7%5Fd Wj@cBOYM"U%?y7Fs@jIp&0'N钜zҿ'#ED؝Xx#Us -7[oJ).GJ#ﰜ0dwAobTR#%lsJ-QEbǿBIrӠ% 9ܻɺ#z_G\gB5B 8zGiBrֻV:*}"cvi?WV͖5C?_J>o1Z-b$".%,wVJ?ZEw/f=<[,=4MLms{rCz}Mue%m{@ឬ>X0wZsMШ9 ݮ /yY[aQw^f<"*DB?jw _/WdTUܷCZ:Lkj^99o- hYZ?uJ|U.} $z AW*bS:Esb3S 0m"ߩp$YҖ8U [# /pMP +W\d;N&N#(!^a-}LZJ5hOTTíhǡmB.8i3Hrf؝qz*+@[ /8f}nE6VmG$鈗dCr~S)q۳˯j)a kj=E` Ë {B3jU^/`yB!&y ELZ:qX$7Up/ Q<{s|M ɱ Ϭ6-N**{'dC;o 3ii]{p#8"@>ZE4^K>\'ZĪqXu~9=j VO#_Ѝ崚8^z HL>TĬt862ZYvsF$jM^{8IuW\ Q;%5"E #gIU &Tv(3-?8b0P;1aHDRr!|f ir9-[ HN6昊:MZsE2Qe붰Gx6ԧ!kr.z!+dO"]/>AWϔ_=JEŹ!!c>MR?l|4KQBW\C{ۮ^ŶXb/Uo%k}V}wS9?4+ U#cϘ1)`zQ5wmtM| A_;_Y-1)"49jGr?ABW ZY/2y&?Ǥo>r$A؛GAI߱4^Jp\l>{9J=DXY ֙,RT%aώ/wRr GTt 亂VO%@{Q or9͎9ay6RXzSqCy/$*™2 _&ijy35C1դ9_r@c~Tp"3!+`@nR$Ę8p_rOVDl~z8B19\M@_!#T֩^ov:ƈ_!r˧ u `f3'$V6ʬ[ 8|-m\n \KE%FVwE(e=d͊Uۙ5k/W'D!D:dزfXM K7BpAwM\VpK']*|:=F.0B$R)F"'&K.yEP>xwJwqk)l,"0Y2M]nEMb -yA|.@SH|Ļfmt캊&A;?J X25j&wM^CuDp)4T֒6ڦ2~v(o*Jx| PԒ`lAY'-vt<1 ?@GH E^fdGWRF!r7f5C 4m"_b_ob;w>* ?|b 73$ sIC1Sl,H֦\ж=KK)2W-/Ǚ8c-͇, pT惻:jx=qA8!yܙSw!hja(-8v^IGѽ}ו-elK^|: MU: tA|.\][}@y; }Pe1%i@:&R\gKhU2Pɉ]7/W628쇉¶* o`uXTc$Ͼ݀U(~DFd} %0WoIJp_G3-2BݽF(sa$V)dSed$h4DVoB`Ґ:zOi俵-٦g@H9w痞GCAqWzy[Py.}|gel&Ii߁U (N!Y A cȿE:84$7^1 >ZHP:EFV" _wƈSW3#U۴8M%/ mpbHϕ[z)ϒ)TK!`Hw{&fdqEXQ˯\1%,{;OJxU=?ι: ~0Yc B2_^I G|/+a!4fzC̼ZrCb>Jpm/6J*knU.]9zo}PKj$bH-/!rB1+?%OoTLnpƜ<Xv壓5cL@P=쯳Rnq9ޖk `A qZp)/,]CȲI]xd5`R6\ bS HNƉGSG[8u3]z)-%Vll0[~fCK(`cާ%L!=-w"h3gI\^F# 0x2C_?(2X^б1U{U<(94A)sϡY5R7(2.,\24HߧWw5R8"Զ En }. jOYv{mW(f_v^jnC5о^9~gs!2mLLۅt"iR/꫎9Jߧ4"S xƑVlx:e!1 N vd'$IC\dOa' 5VODiGpqӶg8z$"?'Յ %nAE)K<s0 sDΙ*cC4m,W!2A}O=D- uٯC,^/) @On(GWT Xsdޮ~k? gWopmS*4O+2"QtopƘ1gCAzt!^ӈ94vSC?E~lV 5Kh5:mZ<\ku|֛R_N`WJ ^?=[,3ܾ G;((&PNc dAfib5414q gai39hgdX;Eb^9wƠ( B?+!yQS,!{fFY@z]ajlM QKq >0HFq#5:]]|Ǐ#gkwi:\2uOӯG^7,+qύGsN1C >FcqZ+ vs7K̡.&yNjMաĜg>Ez/?P;fXr҇Y.r}[\ɯc=OB>#7xxyPՄOU`2nQD>\)zK*9]% 3Ci(Wktg/mBPcO[1<> G\*/2:nlNcX 8k&Clr0a$%f cOF/T[BXcEA|bIh-L{Ysx2 j뮒D`W޾m#v,C~譕xeWxO׃"Vlb{b k@U yC[B!N[X{72X DZ߫]0M\zTKsޮM=nrCgpRGhuMf*ݰ5`n')@@taS>OEB6Y_c&1gt⪉k",,PyգV;*Bv|Y@ i^ `׻d^Id޽ǁt&ÙW8!Mț4`dlf"Q{dJwNxLzOUgN~,P`g#.o5xzH8N%;0~kF2-Ocb3v$,z$ N!+:Q;nx?*\~*>"87B)GM-N6O&X՝p'F,x#h 3mv7Q36cAq'*V]i6 _CgGA#ш"~8pg+LQ8 6g`&<8.- 33K"< U+\8'H}ZO85Bx<0zADWrH}l?^YX .egj5> &p Hrao[l8PD+t† ?b-E8NMaN-{ߢ3 M;L/2ZGю:3C*zeڭ.[Ա }R@GChr(( KXWVb$Q'*1-E=+>Ux%JD5su#h@rʟ[d_lѠ)WTIBݫ _߹%^ V,)x%$ᩳٞ4_q`SU=uV6ceL;Eku,N=!b(/ QpL҉]Q2Is8P]L:ِ˭H7 j 5qI V VzBJ֜`BQFA%CYuArd*i 59fݏZ y/F2[j<ǘ^΀&VճZgv2>vp}-=t.͑EZΟjs-!M j%qAbƗsyj Oa˥q^U-$2B*;:>3*#GS,iؕ3W2h+Z /ĸ}:.pINI_Dn OZtwrYi"Oj)PuC&끠ȹdς,nDF-+OԖ{69jo n*$ˬ/grЅ2Y.L`XZ<5E`?"H$ EjuXk_qGF\xmi[6qt߷{ɚY:|qH?~ 'eټX&`Ww\$Z=S!Q X*I*$`U_߿|cdq)sC 3*/0zG/IAl pJe9d=Aw%}tgf]6`}}JoݡD_ƨ'~(.; #U R'8WE -^jkvxKKYfw咉:q*Ncy,pY\Ik@L$zhܣ? ,!j7𰝥_\[\-CL1|#M;]͡9]xt*5/Yy:"ձJC y=M-Z?%&cpÛŨ eShԼ%c8ijG֏M1dNr>+:dD\͎ !3VCp-F'ב#uJ}P4eŋ6(q%ҋm4^ns\>qOgz{SϾ)\2"S\/lv/oA ۫H^'v~~l9u9fY݉`-w}5q7sOy?lǝ:f#0/ODP]dx iM?T55f,#ٚ63mx'|Z(0adăk ="<ъL?+a+0J,Hyb7%s1KMPUkէ_u1gQEll5IG}M3]t˸Q&uQ*2:KปK0T2;GCȓEtn'Ppmi$<#BU~w&e(}8B%v TI8T˴IijXv"4XdQ{>Ip9Ol`Y_ KU8(`S:"uKU%i::g# w&M4=8/-pJK=.H7D/<>V#WSIХHVW^=hpj59φrq:rGX*LkR>~Lcm2_j ѭ;h$ lqZy6bet31Rg>щT~$,oД]dzuãKw`Oq!5asV撈mt{3,(Mnjfa:;5]S? U+y =WLFfcyվo(_6m* d89&唶fil[N_ e hC*5lOzqHMStJqfHqJ6,%/YSX5@ŤɰngpDUNL K5jujx5w&Tqw:Q }&FFN2)֭!/HTђGHiH3Yтg88 Ejc/tIEN}8ERPj-x@ IŦ~Q֧nHǚDݖWT9s\ͭ}{$WXSבYT1vBN4:Ǭ/Y8Z{&udQ 7UVIeOj.85kb}0M/9IwsvbB 9v.ˋ|UYP; 3dͯL#!1h%(C,4[}2[x g+cơ|}tպh{< S2| 8Ph0!\?2H[yw2X4a&\-k˻g* Tc{ub[`Tر;l+dSS+_G8?DVj#*@Re ˚՘,]Z XU5I- v %cG/Lڈo es1 i" M5U +{#UK_[Ud#x6|8sӨ)YLcc6~1k@wjF p_NMc@nU3hQqܞf~ڭ'4T iظ_(5Cܛip_C~B&BG>4m*>L~[Yb`*`xbwZ S7>wd]#[*i4LR=j˜M&GHz{-fSwqpP]Xl«k2s5$D؉,QK x'/'`=R.f@ I%vM O]+²8G[Ev&vd(nP""^WVg5,);"&AY^hË:~'U-o)̫(#ΰ~*U" L B*rn/1 9Ou(1b 5Ok5T+=_n-ZR\o>ZLr)vE`f,}x!*wqVЎ]3b(1|a'hۤJbL)X%k1 ׉EJ.hwȷ$b%|T]CaޒHIKGYN<k[]Ɉ2;9ifodflb3iP_o`W9"YoR2Z&,}*iho'wIDwlu dIv!r%/ś#$j5`zA)2PvМҫq)X&x #i@2A ,l7ɵ/GVpK/su4/(Q=lcT*&?J7<,(5<& pnxT7#q8f A4d"36veGbDN 7>g혭2D ) k lX"HQF8sNGh wCk KcSI2QMeDZJvwɵ4b)-_~亲@>O* KwER~Uc-DѠ>O{!7}>DcPg#AoN_11- 2)t;KD`g/f#q X fD8ۨbrȿs;"Or`In[C*g񘤮69UfI]N /OaY"Hi 1K΢fN ;Cnoj"Iz6y Y,wc %jiry;ӛY({fLV.;ջ9¢D[[v//b.ѱ K?Ӷ@-[3,8`WkT\hC1b+K~newLggAlhԭr%KY~F30krTyy;a)aΥ}G!d%A]Ȭd8u׳o{y p2\ύe ݬ5pOCɚX%s=H䃃F I$!/Pj&Em˞0iRֿk\V6@J =zı[b PY vnȏeR#jp35FC)Lu.Q DDU aEbZ+cMM}vHOhqF^E}BWuOF' ^{$CsJ<4U$ԊNvP5HXh}!}w{5:pTb5u7* S{x^~q7,,mcB̛ ,BqTLyӼjLsT(0UDW>$IgP\&p )(A鼐;h7U?s_\ +ą˗xūxd d4[94.CD_F0!_ L.PUrLK$D:YK7_k1{=Ѩ|X UN$slU,yQym1j ^9h:CJq6w fymd YY iDG_.{_[ƈჶ:yd1$e3g>ѹ.2=54hQ(FR c>lBJ\Z)opsk#bk Lq:TZŬ0mtb#JGe mZЍGJ,H A. s4+/5v*Up9DnFdۂ{H Y_m83"*w$JܠW jn_ۅUy5ʃV_(+S.EJ%]~aPY鮶f SC2Jat}GT]f7 fQ1TVH{'^ DZ [h7 +MEw~]-~7j>jO\y2=D1_GyA>T4l] a!P8,8[^"dGjiɭkNΈ倩xѨU#Ħ*㬕ucJC\2Q(Xg7l`EmGw{~/SMw3{ yj/Qw3?d6^"?r73Hzׁg/1ǎQd'! 9C cqu#筹1 qK`S 3X#>C!Kb #kҺ}Muzt .,6$zu",R)Z f C}N>2*V-:zL,O}xǀÖ0(17w 1?ѻ1c}u 95\Q/X$5]:X$@U%P (sYV$xg#M(_U (sЖ {uc(J ee_+k9A+&7J_Ce{9m8yyEl C5~. ~*nTl]T/_2{ma 罽ttDz&cDp?ϟFD<b C6gd"x_j||PL$15i;xn>d᪖ f ^)H;!aa>S5nѥ ׼#qun/ը0CJx9,1jw#Ǜ}@r.Y *mK 2Ck(*k"nĤp<&AZMCf^`25A#5w铈I,@5xT}̋_kKTy HT;aUZDƲ7(ju*[;4 1R *Eނ PB7LP Q|Cr><kpְh<?SBSE d 2ϛճ\m0suj-[˿(-r&"IWgXxZ:S@P[rz==P5qXӥsCDm5qD~>sԩmO ńsN\,>^VRIMkGfs%էK[+Q(ҩibk//Um"0(Y^L4A8Q &7\ò ϒW +8hm\1#/Rt}1ePI"U@+P[Y?+gq' >\b\I*B>sUO}g}$N] ak䧲5u~NTa`VZԷ t64R0"F9oq!k-OŶCTLi hhK,l_ ,:UKI2eBDg.Q`>P179{.y|B7rڦfV@Wd#`8K@kM|/7@3ӍMVܝ%>2Xg-΂bޚn)πZ%/;M9EJi&7>tBFʨF(tr=+18⣛Z_b33~@&O0owU-Hќm$JUvO To & |MXl3L T⯀w*˦Q́Bh!*_7])`pxds0T?oA$Z^ *Tw3b