SQLite format 3@  .C  B  R11Otableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "tags" TEXT, "sources" TEXT, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 =|< ] HOL-Quickcheck_Benchmark:threads=6elapsed=283.211cpu=1351.656gc=68.1687zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjԷ{D#lሷ@\~N JLmdG*] h9,-嬻ˇ4k_nOg(skMk}~8R_k}yβ` )}t,;?|bfSԐk咠gssN }eqbFC}\fK!g+ Iפ=nKYw3W\x~fI~w )QBk&D:8]6H9t4v]!Xh 'brRB%gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0a4FEَflC&2_aHqrjh w3ʹ7r:wPp׷QEԂ˽FxF\u8O rЈ^6m;?a{)B9 -^O!3&N",'P~JJBigYZ7zXZִF! ]f|]ŗXi%L#t, Fr(>S/6*-};s=NFb$uga95$^#= +Ӿ>@NbͿ U"gJG# ~MU6gGR[3(LFҾEc~\mN(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@`=ձgYZK=s] ,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.html7zXZִF! t ]ˇ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ʸRAcѽ^/+FB&%XaXlX19)IZY5̍:suLSaq=&hhxZLF6̹S#+ zI      9  [ 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 = qHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.texq=kUHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.html=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    2 " ={ 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@`=ձgYZK=s] ,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.html7zXZִF! t ]ˇ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ʸRAcѽ^/+FB&%XaXlX19)IZY5̍:suLSaq=&hhxZLF6̹S#+ zI Wө׆*DdgYZ ^ ^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+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 JJ3=kU HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.html7zXZִF! nh ]ˇ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)MelwAh6+W 5S cq*:X-V9 (ϒ Hk$qCaЭ?IZÁ̈sU'4k1lʐ Wrٮ^,.ߞPe\a0jcf]6;`Ovn~.4~Ǽg<ɺh jk!!_pޏA<‰.k{bWW>2[-uUMcOWPe DSɗ9Qѻ[i5_kxgJpCxN0tn0SϚ8;OeVLej R&tK~0ݽGG0٩=Z΅ep*=H؂fAiix(kv>bj^8uL3WH\YKZ1;! +|m;>Zt*uCQ{:+ĪY|U!kP%-g `HDLԖݔa?BSZt_ |5%Is)Q޾r| 80{_ l"Ƃ,܎뮲CyC#OL##~kQϮ"nT(_KZ ?6G36/J-R+:V6ިGY?i)9l;΄+č @2F qT/ {Q/.aQdD6qKާSM^>"|`6k ^dwm9c* ".mxlV 2!]s({[wtuEEZWO-Tّ\GqY,!>vB\14sGݭ*H],2䆌'P) mJjVh^]gkcaa' :+iL +: Oi7-Q5sh kr֢"!|'ioT]T@ʉ#/k4ns {gO̒D"᝟:Mc̐9@R2|$4tj05w;w;^ׯ`<47~e ,h8@a"nVN=>uFFUBփ풹j_Q.鏶^Z:A p: cۼ^[ AWͯ8x!'Kb o Pu䊣 [K>fMykpvW_,/q/WbR~^Ma9PpGҙmp!` A-71 _# ԩԡ3lk ):3WVw~IACY5(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- = q DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.tex7zXZִF! $]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM6{;*a fZ.Ŋj_VƓ>-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[!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פ(߽dnh&i݋Cy:|j"4{#Aqf D%"D]W$cO5P4cNtc3a"r $ Ϙ.;'S [%R 1mLH|Nj`md aVica 58hlMNt{+g4=\ٷbY锽Mw;+-;2-fJ3 AH&p)bUæ>N;IUC)SC7|toj}4]Yp_!Z#,%Gis#R"̆x *MYPQs槺Aq*8{?iX(4.^`ls\P/=x5Ҿe9HG_kckUR!3J#J@5e{ig,G謻U@#WuM6kezyiƛZJpp#LUBlb9"/q&ʈ>ѭKAU4āϮN,bZnF=<*` p'a/9w&,'`v>EQdMBuATD~jhsB> ~K$4Q,9  `<-"`Bx_#DzE;c$;Z,|\?OD>L9߄III|MœYi>DvZ4EtUb'́{nj 4=Di,Iw.ǝղAE!-64 @kT} 0̩_~YC ؃m㇢-%o4q t-ۯhcN$*tM즕")h>csJ32yTzOJ1hG\Gvr ->l9:c| q7 a()쯲8lotmKQB>f\-?5@뼘NMHCa (|#?&&*V%čp,2! d~vMurSQ#HJQҨ!Gy"PwuH0H#s1H<ksfL+yBIԕQi]be[5Y&UPx}ym6:%A6ĵgi!ЌZg 7P>N._}FFZg^K NqIca눼5rܩ۔ W⶷l9EJ!f/Sڽ&: ei5#_ KZHCk}hă}n͟i:U{\ewr۔7s%mL"ViRigivJGk!'^~oԴܗI%/6H)؄ū:CDy&0^`9vRmc0.|H JlgB[#:GO;S)OI Z,*^GuoVk pDc',s#f8, aÛc&RV9_;&UTOŚ k6gc*19jd3|8JIBX<Z.?quݰAU2c/!Qj\q9&t4LJ@aj!h:%ь TI}ҥrrܶ8kZr$'.yI44 QM#+5 *e%+ŕa[J'}N\D- St12w5i¸r p/&L*SJrqb(dN +57ɢq#FbHm6FZL/GB_mj4Cf=zY*FRGIظ6臱FWCkGWpxD[zھey$*\#Eۊ?kuFzX#};ݙ Ӳ_njklf@b7lׅRV˜=` 䚁tifpr=t'|NbZ%S*|)$^Y F^,.ȆPYaәܣ!~<,Ơ5D.IVڶFMՐѧG@C̘d"P  Rx'wig/bDU<7Ićͪkj\&w1$Id*ކ : 0)-^OLL6mG? )0{@(h-ۦXMU!C29]׭6v0 6A?˦oպ!8tL ^u1EG_V;ȵAK'qZy 澾y]d<[$5.ST,ݶa׽81y?*4߾2gR'_ $F@ 116Xd{PW'7I:%;|S 9csKprzRx/͚Ax/>M>;kW6,r`Ncj@v8w P5v]0 YCN= Xpp/0 ͇_Y1wti df?bE6c#pD DkJFs#Hoǻ'1X?WxwK" c}L:=EBm8^C/ QDg*5%Ox;r>Qcbӎ= "ZUW2SPtCa76H5}RGϸ:%; t~x kUJ䇭h^ %ܚ=/Cr!tΈпi1s ]@gLvQwU Y#2w$XRݮ#юдӭXs ^(<4&LIv &$u 2O&H =tQ #;߮x2bŷ"~rkߏʭE/tޘC灷x0#bp$3qiD>zDoR&L 0 tʄDf]6RiW}[E.];t 8K=Ŗ eu+Xr2|[58pj_fӽ\"L>N\}'&{ 7.-A5*/NCV3o+ЁPӗNBM}஄|Lcerwy&ŧMxd:Qw &EFBo,,EV >}/:EbQ@^>|q;jꟁ!1Vs"UNl1z H^ſ'h" .UJqsXdv'Du;esT4Rs>&.6YR;&FWhu=:󜷅b ;#ͧ3 j[/lS 5ZbXI3ai@ݗ@E dkUUmI)3~7PX'"WJ3xhpGؕ>YO-!:Cw/V5SQcw[&A_l>g} cc{WeQ쑳Du% l.ElػVVL|\p{K'>1 :dE,š i #cY}C@ۡ 'PM޸S2'us|$oz(In,mn'fM]i1PCu | ]wYr58. 9+EBj_yE}XɆ(>Mȑ<ڂ&UItniJ!dhl|ZCRZ(ZIqF Aq]g(g^O\U|֪ZQxGwVkSIUk;5r:DNQX*ƫ\ј[9}C& ΅:Hh-Yt'p}9S}ɤ[QE$旘/I_m-g}qH acmSnX% Έ|3E`Nx* R qFw,?$ O-V*%T'9% {^\ UyPlW. "Ot=Kϕ7ֲr38 ٖ ٻPᴴ@M"F9<lT_Ik/s cԢH*.mjt\og"<(ƽ-ZyvXA3sΆx[S)${׮}:7" 2/^)޻D1 a2+'^{.J_vjCHn!l+tL rM8\eD^EzӧǍ% :\&jl{ΡcR:D,OKu+B}#oa40ڳZg`{^{Fjo䰤w$ ̏ژ 3~D2tEC1| %4n2vGF!;!SPfBj_h.`ż,`L``o //ݦµ6IB♩[C3Q8z(/rudhjFruO,*Z)/?s1y] Dy"Ol3.!G!oB1B/ r M=kp~n˥> x:-hD`9q]"ȷ_n׬/jvgvǂ|nֽP smFKɊ^`tɇfHVę $tX/81ƒj. n 2}EyքAYQ=atqoK;y@XWNjǝL&lJ݌`VxiYd2 mj d{m Z9>}MƊ/u!6a)P9|0m3,;աm H89Dw$)Y_&dbF1Fjӹ̣MH | ~p7[vQ7;MjEO* 3a\hZqIk%UjbE!dU`1eeLC#_҉71.ZxnGV4θO#3ӦEb XbmDK-&i+itnqUֻb/t}x٫\8%ɘk0[I?P&{mDrMH5?(+׀}IVIAXRO<-1a7f#M:DQjtHצՄ(3k- Tn@[We ĺH2'f$߀RxdM8lѓ$,< ys@4 IiۜnC0IV.[n99ޅFW_N)J6:;~XnET5y`,iYc*Ih$`wevYw3SZERS&Mcew7UȈp:z'$܇v"Х)%2K{Cz9"|%+g|5aǷFe rzxH.2cyU?:'gηS`m?:X pnQ2,F/cw3h<ڢ@}mPR+dvaJ/Y-@R/YvEn(\5Rni{jľ;Q8qE;ںô25]p`dW܄ܕ-%AbZJ1*(Rfp +Jo^RZbPdiAa:1EDb)Uă76Pfs="+KGb ;ZuzhuXaF45#d]N(2wL Y6kN[>~93[ePW؋~P`OG^_v${ˣS {;dt&W%;Ϫ)=ߵ$$68̆`)n÷f#цΘBb GP6lLT!?= c5T0_]UA)%Ǘ?D泠, 88S/|M8>/)_>*ϣd^24QUTQ:-ow?c X#6z14+7VwrA^4zb^~^[7+*zPπ Z"~R\":qB^]Դc(vwg>9}ރWs~td]ËMhF%D'B"mp}El5M pB 6aZECE6[nUڙ1'u]ǁf$)_yu$Q0I]"xc]ajBWxVo:?|lϑ 첸5zp˞_AN5Dfrr5@g0JQwY0JP(ДIf=rcjlO Ǵ>^B&gJOӦRŰмdMJUhb9OhMßO}BDhgw#-"% F=l?`2E:0gJ^(AE>c,u΍!Cs|j`W$ۭ" jӀΦ~?@rak.țp@ !&3C/i1i|2j]w/iS`XϏ8i,Uo ƈƓ: 7XII\pN>Lw=їTʻ "VF%R' 0-d-qUc20&avx)[YjX[o9f|9#l}UJ %Ҟ1oR_^ZEO>E"R+u'%≨ˉYnEM8DDU dkzMd{0A5J[iҲ`DߥKYȊtE I#AMo#'m.2%l ߼}-"Ae%(?K ˈgWY%rmFeOM d ŊBE/s!{O.4UxR]!G DKpjah?X~WXn'-I=y䬻MJSgvp[Y$(i N3ݨfc_aUU]S0sឰks1 z-ɒAZT_VHٸ? Qgc[.JE"sQHS 9_>'v;wqbxQJiPο(Ėg3կuNI [(3`s#A0>v~1yT%u;M&Z)EA,!BSֶ gqf|R&1df_ *tiMu\QcQt1+W\#Ҭw3٥ ̮+! !JH&@!D=G,>)u'_h+ܙ^邞#>AUGI<`%̵NQ;;~ܦ`-L`w?qS[HK, mxb"I17`!;]H|.2Xڨ"Y 1u+vpXÄM~>Y1LVV͗@~=TK峚H%k,/M(8=Q Ulں.I[uSR-/!UV]!ŝ4iG0GDnp6]"~Kl׻<{^eVO46˻h-C~fT\8ھW$5nhՖ]X׳ZBymc;Gt'=fe g2Ҩ:s#-ȽѨƀ62Dm?{C@NΈ)g|í@]ٵPHU\F6ۀ=ojamǴ.z3֛&| r%c=N",( .H fJ fS&nc8{W~A2VYL"?r +9< ҡa,^ tݧQcTwmu(S+W/c֯zfNdL%#< o9zr˜y*+@_)D~e*:EVT[HlB3lwsPO^ֿF0Oj;0uũ\}o5phӑr37/Eq,| U@_gx؜#rt1$̷qܞ O&i!X >=bKFgMFo^uґ0pi]?u6Ҧ8q|R."waC8/pc~*uC[Ţ⪣R2 ?Cґj(BNFjuCAL T<4 {b-51"0[]]JK724h2Ғ\@ar3*6q=^bY Ih'Лsƒh;$|L`hi[;CN)mpR&Z_eۊ;.]paM OuZ3n&" #6vW >8ui6|g~Si%6ߚ^%<m#IDUVY{ԧUF0+ϟZhXh:Bќ#Q-PƲ3]*SpGJsoqfs'D۫0\E90)&hh~I2BZm@'&<KwsgexFwcaV~ 05S2*ƻ3\Ϩ.2-/R´9Z+~0{!⥿X?0;³Ĝ<5{-V|_a2M?OʤbJq"b2Crp Z;ɤ 6޿QaRiB!+bFG]+҇9d,!ēd~CX$Vќ{krU ?F {ʂۋ2elߟ >$^.Wkg8 O2}W7wk=fJA%ҁ;,zޛ-C ,V#U(UXޮ)JCz_*l)!(xrvbG Q ǽ/dapjnCQ;= r724&~1&}3:~K}zjH[{ J$䥪O++ ZǁeL&{ yw?61>oֈG0.5[Q>i9Ko>xש8s¬Jx(ej1 -;%f&n~(T=lH8(;{x$NzsB0zRzgmB)g6J4T6]]e3/y,Gv`]u9LӇ kn. #6$UQ8ٕ^'M5p>gsPOB&{RMxh @55ċ"RgZj)QP<l:jсHT>\M$0a2b-< dZ+-(бN0!5-P`xd&ȉ4mS&bW9P.:? ekma m4iE]^_*$O 0Fw |ġ݈뵄c;G|ʆiPy[6´op_6dxؾLSB2o- T5Ru/_&3ðIB4#s@+fၜ­i%#fIQƽВ5CP&|@kJ֦AN (,/C!z*/KL 4,~Y>J֚Z\BK!6I@qtQ $_(7c By,DZ]-Ii2z]uD]nJ&?z QxQIMm:p@CVy{A5IOBOjжH¦`9x.&DQwA@үI^Fȥ!w%&`j}|ӈ*3F}`P)&dA>/61bc' 4Ym3Q .uʢ/~) w`}=t` H8FnKnk[wegCHq:*{8 _ ^D&F^yp=I6o/^ںKEG B;pd&p)~ oUrdb,;4wH .LPDݡi_EOGCp4yCjR'`y-L !÷ :/Y=yNs욂Ce5Ɇ{zH} -u$>=TM?Э+ɕfP*qe0ġr+?CB"xє\ 2a,SU1莠&AՉ\EAK3 ԞupO&;k0+˕=l9)r63:ֺH*csKՇ +Topp m:OMLyS'"%/4jr~-N7 Y1w]w`Sl7*, /8r 䰖>h(Tc,Hcא8}5L~KG+;q[tpNEO?*3fG0^QjBG :<Ӂprې$%IR-uM"ĭSK>Ҹ=lk޸F$U(Sɟ]KU '?Sg@]'/~yĭL|e4LK"F3 K@#@ /P3gj'5kƪXVO$)8 +)/-;i%CJq8kB)γCT}sVT\66? "T6 @r5J WZdXҀ;Ƕe诲5nMMn~66ܶ/\մ*D54_}OW bgygXG aHn>J쐬0˱$5YCCL ,LF ̘F"%s%pGpzH*Gn jb` F8;t@+l#?:Mq.@X5bS [v.䔥_ 4/GP?G~/$:ϾwR?@zi&쐊 ]-8Au`$3Tzi+H' ik̛#7ΐ 'hd,39c6O+`-|;3ռ'_Y|旺lMeD'} (5{Dh:~Jǽz/@`/- \ h:tW'V 󏅙|vWdiC\!6ĐYgjHDŽ$|ђǢ'Mm,ᨰH4fH1j/Ն656Om/[A#$Ɂ?OBePHDf7|^sYY Q {<_"koX9eOІ.t7h+##/u9A$<6Ee7Ed+V=ʦp;8 vWTSի[+c.I-0m/3KG~2Yu@qJ2 Jh!퓨C{[[ .1Sja8Q I!#lC DնX">U@Mcf؜RCZF?P48'a 1Z%?(kV2#0jCyp|AUkR?FΘdvk@6"Fh/U=jy-'aD3G'v|gIMy-lD g5ȓV6c((4gפ& |&_ m1W9[e Ay^j}Yػ0"_$wrT'y%1w^?4|o3f'e7jkzk%mj-}6r׶rXڃ'Sx\lGJKcl73Mo2SmBvױ_ nݸ 8Gy },v*̆ɻlؚvQZAS%t/ń$cQP}31d1gx% (pz)?v1W*@^:`ڧ6^_3^<^!m4]2L 51Ǎz`#smňp! TP'Ʊ+v )jD }|<(&@jFܫB"߾W+#?]ȴ,k{^|\A}Ȗc]c*_[d>߇>=:#@V.^,0  /K,/ 黊gK7Xrb}/ʆHWg:n@Ћ{Ur!<9U.G[1ȠOQ)H8"kĪ7ө\y)G6KS SڄS`dڞ= QNवuPޤzqV򖝃"<(4Q߅ifmaZ,8'"vS>]9#x]DRovSÛICdbf[BY ܡ40’ BD$j T{nՒ̊nBBozGm2*n_;` ķ(OaMWV#Eo*J8WTKneiHErnwF`*+-ǤpQt+bO)<{nY__Pf*bgHk:vf(ロE0_*Yd{ dE6i.j 1\is)|I8/uS l9GUyw[<@M]و;ɃAےI>ec7;Wc.fHhxQsX<5 WfG]_f8}73R .Un~\2 x> q#̡~u-֒DUaJ91{Bjo D&w6.lv p eɞ!#8rT zߩj/D3gR՛5F󛄃CJWϡ`REV@V{ٿN266rXvw!붕USJ@uxKJCUo1kB r)<`QSԼ1Xnʂ #޹L<)FnVh zELh_$D Oyg#v sj{8|uB/*!Mi;-.uQ'0<+Ne`_A\لVhWƀMkhO{-1U:d8"}ҾViT*IOc vqAFrq?J|GJZtLEPJJ̞WPA0! 6E@^\0/jZ+sGhjkAwUrΔO+34pոzpB.Lsp&SX!nW9u貽ZAH@yDng<\霢ɔ#7,PV.S%!E@~h%?=79vd͍) ]q+6JKz7wV;*G+9[7ڽYQKSIESš]!!q.!?1E]`{훚N+L+p;CEǢkRE,/$P9b\>?;v6 荩Y6k IqIQҤZFWH:Q<^pRk`usr>FuێYIn^|"g&zO+5nr