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 S=|L$T ] HOL-Quickcheck_Benchmark:threads=6elapsed=288.307cpu=1378.388gc=66.8847zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBdX$-eGE xthH\."$ JKW,) Hx.9O~0MHBv]deNL8ek255~u2n Ĭ|t,Vzs<[H$w0,-S 1"Cf^Ņ6ߜIEdۀM#sCcTky2/ U%r˗-i<Ӧ#{yucH4Зy?eB8e%Vэ $-Œv=M 8km3 CÙψg*EuFh<urjFU2VPthx\pie#F@ew1XX(;s#zݑ+*((p"5ESTc9' EgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdםovȠ" &!awO`_%ftf G*\ig/ [dQT)Ū$4.j3/nTfD_W82>>FU|ԩǀg;qzS#??<8Z,ǢgYZ7zXZִF! |hf]ŗXi%LāhLJSn JbбD9h[ww3Pv~w+ƒ`sCpK$LFc~ӳw Q P$lI,^j(}i' 'C6jWwzXSa) ckIQAvՊ.A*#*"Fۦ!-4Y\mh_r xB7]K|g )rF\ Zp HCA3 ('[qQ6-b3C I3$5@޷3,X8X-t+o D [&G |)prS(ŕ,y]k0L'^% SCz¤ĩyFiRʖX)˄(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     [ 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=yHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.tex= qHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_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 - = 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[(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 //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פ(߽?+)iah Mp7 "s,8& %i?Liۼ^fzM7d*]8,;juAygVlAUpA*oD+} u[Ӎv?}9 ,6(0/|ZVf^M<3{c _^,:HtS)L׻ؠ  hd%6W{'$|Cqޙvw{P?0I€G.^0N9J;+sȌT1GlIm,yzVAw <==1mhw5fOiBuD ayMT;`ˀݾqF+"j kAID6*̲VM7vch]h6Y 'icו? ( )27n&Qsb+hGYu*rYIu. !LM`k+IQoJ % U"{n\&=ea &b ;SA jraI~ZؤpA9A(Ym q{y9bSלgF>P˛XW hs-b5y~F!' ;DZjoFzn;p<`wWHAczH]xHD!".ތ@v.jSg1X;T5-K(A9PT.m>A̕erB9E/EQBX$ZmN~ }_{[ZD8wWtAsI2rQ pS7}jAerǓ̳Uv!rӺ4%^/܋}v!%%F }-7=b 7O)5Y7JR6zz*}vodYJ~7.+S6R-gxe7*1gr|.d' :B4mJ+ŭԏxo}o۞=XMD$mI h z~6P."@P[I dlE- ^\Y+HtUr+38e`cSeR@`tCW%*dch VbNJur\3@zq-R#أ\4\Hx4fp=cqBDD-,wR2)u jS:-Τ@8Pc5|*y vt_E壉vl:A2؍1A9u0 75:сljw9B+&'pA+fo\F7+D]ҿw t:J%iqra9+KKZp޷6ic* n6km=jdОFjbulE (@G(!Rc [ɤ›EZ+l*H^06k 9rAϏf3%gkjw=Ĩ -#v v_}TRZ1iZLMjnRJHy&soDFƭ9UlG+'c+3xgGYCa6pWbsٯ4J762d]"F;%\L'sKvnTt0̠@°9ˉv-:j)zԾl ;BǨf7<Ե<&Qy४J֋(Fk)u hW˳ȫRVKKcc-;w`Lzh'{]JM>lg*%0ìr&oU^ʂIS#pfo9%l5g1c!ZպZ(K<*bNZ|huG$%Z|kHAs݃F5n^;$,BnWzC"9#A4B*]Oe>")5fxcW_P|Q3 KN Fܗw@>ٝBlmvE>w~ Ow gbSǼчS]4OV ·8r~d޳ME* V"5n0O`~ˆcDcΡ>+M-igX xh.ɽqwzA0( o:h>)%kWOD.ȥFJ7%kŎ"|Ӯ%p\& (gy*$7aU9*KBtm?iW%DͿ{􏆘.B1SD}̭O|ZAaEym\mW(ECmX=爨"8I-.@zn-4l;XA-.$THJ0YW^v'â\Y ׺pa8NI&6^B`oC5r-B+WI^*g!mq4"\).ᇇ孥-hCbEfXㄖ( (ͪ؊-pG\FBQsc^AC@bvc >Am QQ͆z+?=[>@t,NZF_>؁j1 t4ī+^7/–bF|]7 )sHq맋Ez(*b"~ WǽWhM,b#6\1~m!MRv ;]7|Mtdē"L?xrJD)|dݾ9[?l0ta:?hq%ifGpdIrlq%zaEښ$̟q$>z|8؄2ݓe'ZPFRp&bޝ{NK5\_FcMգ_(JhȏԞL8c&,94n;ʹ/ Y.y7{VWXnw >P_7eL18h TxhE.ŧ'6LT#cDKInCU*hh {B7k e#Bgڰn_dx}J76C7Oۙ~Xu!V tMZ8Ae1D$;ȉ3Ӷj  N{ro#&nb‹  jəFωxY"/))^F2d[HP*OBF"#w |kl:xKr}J/VLӉ'10~ 6FE" 6˶ŷX3,Ad" v*iK<2bg_?jK;͇yǞB Vy~Dԥa>cҙ5;TͲ,y t(99B0W4o9FC-E"A]yVf k/pls&}SLyNnljnZ5f@ W /gwOo # )٥$5IIts m`ܷi`5_#г-ª4Z.4U;77qG¦O)a/;R j4{;8BL#ne Nt(-bM+OFD38`ęrbW35LضXMYyP%Šx=$h4||:ZX p7 AfŐvdN;FPQ*rhㇾeYU}б`|ȉdqg5tn`q?Be Ft*}h]&Nmpt h2 E122VF+ n_j܅m6Xi.<@K~jqoBs4MP7yHD_O7bT0d[^H9΢KJIѓ]gBjԖ.{gb ^ɟ܈E0:(Rϩ6O+ey_Fb+RHBa"ol ɢ'xHUHUȤfツA+\PaC ,8L+"pMd.h`&vP%=6*n (%z:<"2Nj%Ygs-&;7m$i7 PEU}H2L7T>[CD.5}u,r+g78L_Y@2 w/wɶ㝈]L~ޤE2Epoa{/ybZQHg0)Yux*d7<.VgcOtEd-C{t\z$ bF% u~u }P' [NLA01(ǽxe H|unSPVs z\|EKOFBU7 N]_p{{%,$Fi}e0y=0{5׋w)\q5C/* 7Ȍ7Ii fS"qxr 3WˍV[3cqueⅿW14aܧzbce]1H W(7g+!Ǫ+n I7{d$h|n/dXc"KM/#E)\ZT|唄C4?cU<$ŏ0 /Vl~'yq"z"QиfZ =憴z ŊD蟲9j<+std4{tǪ:1X˙Rmw?:L2P9ċi'!=>:"~]M_0}'qT9 GSlj=ߥ:)&A`qy\VHUG|`eί0[px:K^#c;tQnIۿ~lpiXJ*j坃S2 Jt߳!i/q70=1wJw[Gg|l!-ʴd?Az{̳4 D> WX=W uM1um-6ԍ4S2]$-ҔU~(hgZ/ ;+-fgJ0=1%A# `a}ɉԀ?Pv"&yxt%E) ܪnk+[?r&NW Cځ 7,Vdƞ1T#zb#Vh=aཌྷZz@sWs-7|/F ']8 ww7/!0*PJOe1G@&Kĩ篱9;@"bJ|Q_ܪnW= Z`nD 8 388F!f~=hh¡Q}gYGc {(U )7p- \㒇cdsLl6ٛj#l2XsקXbh;Cd´/W R |(ܭ' 3څ%ʌ&+Pތlhqw+dăFpuG"E]VF|"'1pZU f~OSV,r  ^fN0L0lxEqO9KkP+\2H20DW ~?`x&˧/k?OQ@1?q xKY(0QnR?X-s\*Vx=N&iFWR9,pfe.SݖowRސ|6E:~Uc>`%&-˕Z<1^iŨd}z:':>9hz^hDE+k^oOJrw_$bizx%S^+e4RZSk$>!ai g_:m#7$Q,$3Rjo_|չٰvJ:eTZ'ry{/ӊ]RWȼDG{D$;;rYl8E-Hłΐ6׊ ط~=[c(OAh$"6Vض??t M&]sa#"g}j5SQ.g>᫚doIf$~T#(J;5*wC%UH*{ <-)x.AөZ7F6wiVit +=V.N'"#p)z'YtxYd  wa4O腢H(AGL؂ Cj). may45׼K'HY7 ΐv2QQV/>8#ְ4pq=hIL{K fnztmDT!S,fDˣ[ŴVq I+!$BlZrנRjq.C}CmV;fCG1YB|a'c{2R}(|Z4m {%:)hNzn_Mغ(&MY9rT1s.9P-s~䌯󎡱XRfa|cV= 2=R6~}:y3J#:OO#*1cWRH E}{AxMͩzmMe0J͇ ߷vPюgӇ%&fx+{Fy $fkeW)'RZ Gx#t wDHkX٫ B;c*_] s-NE i{߱w(>")}nG>Ֆ dBJ`npw:gAoG'80v3NB_,| ޯvk) uKnXtFغVϣ~@dzg,ٶr9G*Gr:4Ktt Jzl.)gqث+Hg?.pF*+I1Nͬ%܉?(3Y@k)?"jt*?%Zq$ Ps6F{ҋU{`у{ӮTK Ǟ38=-  Ȥh O]G>o,W$t޿iO샂BjlWOqO|/o|.˔c9-SmOP~BHd=پR  cs%H҅נՂ$KVmuZIvy~x^ߩwzץ|籅 kd[Ҏ,̰thE'jY1DՎqZXx(u i.$H*CH-%1]tߤ5IMr9!,WbzǙIca:iGRrcagq<${iǙSiY:0+l >˟̷L+\=#`jG5Q >T%lb4Qs;RhhZrVW&!o=i"TZ68QD MޒtM" *FoAsRM? @fIE]$t!(=c52ЄD x- $ NA eٌ~7xO`uc;HQ- e}7Mc۞>'W_0e趆_2&咢{/SMPgw*n.9oɀǜ(Y=[fb t,Μ|xG%wvb:iÎ+ir{q+UU"C^& )xޫרD@e08^lEݒi2, H!lhF +s\$D_p>zA^ xUiʆ$SyN-']%4ix\36o}iQ2u/Fv=yJfeIw![+k-yoHɑH#J/b'`t phaz57rP +<}?Ҿ2 3O<&Kmv%Xk 1BǗ!$GDvn^fIW0Eep3Bvg8H@vG-vQ \GC=hZV<5X* <+3sMnvty]P͕hY,T+{>ew0I1 ͻ0ip>[+BxC֖>^i0e,aQ /vI0GMqLl(peV ax|83 ;x+&hXB,lB5bkshNU .hqb8;$THuM]AnFr(/r|i{1 ,k8 AlH1geno^˩bٯ.z I4ؠ;ҰSZ<1?~I@r0SK LUN,(qy(Z7!= ߡY ꞋU!,#!VSY trc&X+IBa<X÷I|:󪟾Xܡ&-ɩ9ΨyfÇUo-b{A~E A8Ii!ɉ6Q}XWհ>43_ nQP !H`?m 5i5)Hƪ2o-Uv^p@6eg_ow ƶRtAO{bҦ]+ X̼;psو?PuװP'#*Z5mm>Dsw ]:ː :CB%{WYn*MF$vYe`I$;mܷKq95l܄7 I jRr"1X'ʓDv%9jpC6p&9duב; K+,?AkΒty iG4Mc8ocV+ UFH.N!`l5%jMhIkTC*M1zPeEJ^L5@٧`¤Am~Tj\/qcqxu QJ",S#/7RZ8,xM3f_ p]=O]>h8aa4;UɌxC;yK|Kc>yp֋jhR`c̱@LQ/9}-K F^~ ip5*|RV!MQ'G|tb%(̍) gEr߃ /oo{kTu.Cfz5 ։]- PjIvF#q^CYd-;"Һ.4<_e/ヾ9QQєrs i娿IK㠑p͸eqv Ce0uGJB748{O#ttx%NTЕA۰z(l;s>v{##Z oJ#QcAN:E䐞:UßT+jk%ux:ʱ fsBe92)!.S|!dV#:*QQ5+(-\ 2fx/ՒŬBD?uͰ5^mg9J$N殰\q ̟G"vPq<^8docRVhD4̊IslY4ehn4M!vkT$G1ݎGeOnV³VȩVDHr(D J" 0 TfܤZ9ke੸]uNw1-٬Div{ZJu{N'j&8oZ:Y*<5εr(+ܚ &О77z\s%:&UNWaPZ NRc3Jv[)&̸Ml[dz޽Lrwh;6ŇWRndm>dD7_iɱ x=!Fg bϦ7(R.ȏMe(g հ* ߓ's>e"|/g<}2dXlm921K)1I!)2ɀe.Y#A>e;d{glu7g::0"e]aNɟbJTaBFm|.\U*zJA&m;J" 3+E|QPd h] A"J B&&FgggpY؍&ku2.?cmPѳ4/k7G kNjL /InhXoibsW:C('1|%;8~o@~p8,Jc  d2?[ﴄ6Q4=˕05:'#yorѽ<ܝ%!.d/~1-btJ,TˬWߴTpL7̋>54Qh+$h 5yVݞQwO!(Iu&2~\^#$~e/{<_P暼i-~Mȇ3c2#ol6t`'#;`Jʶ:6ަmx1sa*{GLB+0c{e:9Ö.՗Hd, 4lgVb47/X!XRS݋, CAX$侳d3}8He_Z6wHMǟ[}9SmpHG>ˀvp!F@9ϤqWSP C[Kpmډ6FXKsE)=Pzި ?Ly1h5,'>c^ءRDܱ Wv^|լlKo>\Q2fylC侌܎qdR,?OVEjK(B@)*mtZ-7lf]viWi =W# G& BK,*Oא 1xC:npjAV!HjAUxLa qF(V06p  s==v`6?Z#pmQ#uGZ9Au!pbi͹5-Ҡe+fr8%;*҇dƭɵqSVӍ֭`+;ڊxXWlD j"N"cWN)ZE5hxПe!-4BY R֝|my%]'FE~+0NT3J1ZmL_CIH]@ͼMajqWoFBԄ2Sa/IboiWSb>;ǔURuNUn { S4T AhR}; [Ӣ&^5H@u YǙEX-=ծcQs,6IMlF=Z$A ;#8tHTq~4~a0yQnܝgjQTEtuxyd.eJ1܉;Y= ~\{HyxGm.k&BaeLqvfNNz‘3"_Pή\D,b`tgt4VT5F *'F y8oqKۢ}Y㈈zQB,Q#v!VAQ0^0řdQA٫Kqs|}ob i= 2';)K(&qNcґ-'L$k [WOJJSA&2ׇgT]5rjm$bv:f1aІ*.݊^.hw^Vr=J6a%\Hrv2U.8DFac!Rk~RqGWz4O :g&jT&u"BTSR (Ǚ6T&wbjZjꟺxhx4pn !;Y+n:nnp m+:x.sŪlO ??j sex;b} /ʸ1 ě!6gkZGnmw͇$M|͑O.H@KںԻ:!MM$O%IA._OC+ М '#7%<6'nB0NĜoz +,};r\J\G'o .m->u$mN2Oy0zܱbƷ:'u'-zM+`)YT4.}_}oBq)4⁦e9NІ*"ugK/QLFA27LRzYF)/ˡIAE:X_fu\30W89CN $T 3L0ŸT,~CyS8k[Dym״>Ƥn֪|C=xl }4XS)A "BזbAT!ؿ = JR7!F m f> H>/Ner;{8?}ʠlJY]Sye`BA0t1z'_`8)"uQsT` Jsq+?];$g xd$f]0x~F\ow ᲆn!DK@V<*?mtw& 3(-ⴂW$ŏ^[;,mkg4UbUC}b eq[xp_mg)$xB=ݢKbRQ>3dXԾ%F|<KZjhOd CCp#  {aGE6]ĕR(Y;Ogk u*]w02`Uu/i õԄϧC2oڙ!ɴBD5UMWxmGE\&wCg3v%T]JGf""JW|6ȄЬ u]=oHE+_?;|75Wa ?kźpePj9I*th6&AFƃ[ȯܡ B/?=cOH8ÕQHd ,Pwz`KQ>*<\еSW$ݹ3rz`>-ExvA}Z& zRֲӐ"Y@VW^S.0/p h:0!u?"pmi=׸ϩBTYJ<%b; rLDnm8Le^!g'9gQDq{g>u6wuA$F 1Lze`b_FnIG4e"FHzդvfyD4 v{˙1/VQ̉$JCqlgsd^㽔7ӟe!X{ -Q2^EdNly~ wP}nⰸ(.RfW/ ̬u-O_uxhm jݭ/K+#;Y[N5p t] ו/ZӍFYg,÷ @OK ށX}J2*W{mÎ{BԈEX%M+bQ) Z9Қ_@7hSqPG *}rO yŬa\,l{kR 3rn-‡T2*F/ g\_le>h 2ի-^l~١0Y~<-~|Xc遯%, 9vQe=E5/$W5v x$s{94H*Bc#"=Vaai\KH$G=7oIBb\<;-%hwrz'ρznBsl GҚlܜLG ʅ-o Qc@ѱ4rϒ-z"2Wb [V5)}/|DD_mȞ(~jFhSQ0DqGZD$kݘu-WZZv+z4@E0?s6s"% Q9[3$(L:݂DҎET.fF!Ut@#a-h_s2C ٚ|VY~TN'RN]!@A8jTZ_Edgh`  D_m~s/6ֿeTG`,9MW~|U#zmL9x}~8Ԍ"QQbCF\!ļ%Qю1WI(uL[Nm.G4?' T_T]?*๔/:vLKI^w}Dvi(ױjZsP%u~녌ud 0y7s:ioԝKּ'.Adžx $`CV^ۊX5W>L9)q77(d0d{H9t+WZLs|!yT26eS]бրz<f<7£6A='hJdF-@y:(,D:y婶aƘh2 urD.yЮU=E\;.P϶P^ tM]h쩣4VƤTjދ,BibJ^HC8]|yuw\ f#,X2UyݗF}.;4PVDaY;>!:iC!jJ7KQ kAZT$*A!JV<߃21㵦[׬&\֗?XO>ܮ7a١8P>UODu.Bz?[)US=!oh6[R< +zLkUz7`=[qEcf3 ۱uvMAeBADKT'ԝJO&}@Qs`=95@LV{~c"[|q-PY]_mlVc;#d\\@f0a^+Yr=C|E{U [^i?!]vG3rzyC{ i?gfZT1qCyf,*W$ۆ#XIێ-TJ =R׃nSO< qbdfԲSRB=oU1>o=-Q\r $d9,C!mzרy Jrd.eD>Ƹ@dH**B&¬GOp|3r[Vr;CZ(xHԛ(MW?YP|FR!ԇ+0nK(=99tFrf< ] &)-z-h2.JHnD]~Cj;xXn3IʏVcUgg@ƧcU8@o?0?[mz#R%|"#Kk Y| T ŹLCDz=KQ-ݼ ùE.m}=9btIbdXaWXp{j5MO5O#E$:Q`(iם#6cµDŽD(V۲;[$}`,%E]$A?)mF}s#,1)`>Ƙ%QY*bG@ ~[XA,5v*m^s-5nXw~]b-jDim7ZU$%kP?,HP* -K7 i\!y,&9d5 b֚#v%]2l_K4GګҤ*|a9mYE+)QT{oqdYމnf@2d\{+72%N[c{8XJ ?}r6Waf"+#*[E)=~\}̐57$l'"X/ߦDIC.7xz} FPM (Q8T|0 Ɲ((4gحq p zc5 81 w)_4 Gk4٤Mxg;JDv Uy;i*$le^iTue;Zl J)3٨5J?Nxn5&$-B|}@4p Kt*<~#4;\귈9;6Q_*b0큤\`pd`@SPg3h;0=iw.Jobngf}\ߺ껦93z*1d]Җ3NgCv=oԆL !|D|;h~;sr:}'OQvW.S jAuPx׺PgA+i> xb}|wwY|泎K1*Wt{7_9{C9޹q>̄RnqxUjXux4Z5gHp)+I9>`,3mZ)RvDD,3^SŷwT1ι\:oPYG;eCD[P{2L][Ab>B]\斞= mKV>@yN0ΆcʋH.q| ci&69Շ599!!;r=SUJQ1tLɸO%Xp;o6=9wT7:Mn'C3˰}oZu=yE㌭df6,ï'J%ov,ZHY'g7HF(G7Lsʴ65_/(wf]T Qor$f83'7Qf;N}(F!Yph[ i=6Z $R7R&裸I;"O-\ճ V= _ ;X3B#b"❛qIW eF:7#o92q0rP,