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 =|lD ] HOL-Quickcheck_Benchmark:threads=6elapsed=291.565cpu=1390.436gc=67.5367zXZִF!  .]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[iJ5i4^03No"(j'^e@nL .1{; v-Lr?DaQR(c3n sqȹEbhz&bߐMY^~2qtSgDH-i;E, z[)2`vչkll9Bb G\ᗮm0 3/]P85_D]'y v?U1mW ̢/rGd-"7[[lTEFC|7PK L .};$7Qz zbR^ћWt!l7Uf8(0{<ӵCqJDڒ=,5=AWohdl/6Sl&#zl:؍\lmؿ1Yl+u㵗A Rj 5P[ .~*zgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdםovȠ" &!awO`_%ftf}*ƽqp$V(%!Be-M{0.Q{I+R^++ :]3-B*΂)7) V9gYZ7zXZִF! Bg\]ŗXi%LIDr'Fizs7+ ԵwQVx0è XԞΕwj;$#]뢰*If8icѷg>iQJP KBTgUi`s_Q/}( Xk8)*~H?fxztRq{P@}?匝|jJOyZIݻPvm' RI|i 3S{On)7r6X}t%#A `dG=h!k MKB:ˋ#(t*Z䈝p]kҏHw)\4^^'&ʅTO\;vd]M;8S_n§6RUMui3{BztuE{.W%BL)r'9e+(F8 65$NW\7qKeBqg&$͌C| =Z@zwM]PI2\)*E:PH:O&wOe.T%' ElwŠ@JDncy}\Lq:gW㴒s]FÚ@,Ԗ$0P f" r_Fxܮ^_Ws L'Mř!UM-R&Ju})|Eڱ_3KwZWB_<\xyxOjnӗ SҪmit3i~n=P-qv[:TIYRQD?^GdYK}̘ʯ7! qmCA>) <1 #lt V\Lj.kEw\`S-zxL"FA}vmT:MRI(;/#~utw4/¢ű 6m{ҁJ]lIlyiBQTm(j(5d}Y͆%j"ki[ұ&a^J`HI/XYoO}L\(MPyu+lbhu˜= 0*6oIܞ2;34y] 8MP cK_|,eG I(مsI`.].2rmr(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פ(߽QK !<{,_W-l5&m,%# dM:G]8k;[Y.E# 曚gˆ y:ڡUH|! WOuս'qoU`VѴG{Dǘp\>q CW>Z94P)~XލNoEE@P,,H*8Y8f}2?-Z1~H~AI/Մ뤪 Z /-y\y#;̙Co:~Z+f.YvKC[]x-w􎾙.'WJ_[i?qy|cN-eQ3w_Чz+6^oJ)&>|e;)Gve6.@HWzΑ?PpŮ4ywY@LK7ϚG1Qr\LvH-y'pɴxwTp6ko T&o4B,XU YIxEOQ'y߬]Ez7.tt kLtPc6f+ь ;aq؄x6I@ :ًsd3U4V.IAj=t6Kr";pV>w6z#OÈMiM\CIW1b$7<.[ }zl5k_ Qr%$}ͱ2=%\{qش2mIsU3SЎTO"܄p.D4L4a#Vyd4pT5~޿FGC Q ś}Vi\ڞʑ$OArV+4Ťp=iZش*S]ӕ69Y@["}κ6L LĖܕQ1(/FIQ?53!9?>W/!S%OQ7I}(Eh^eQ)Lu|`JO9[ GKD&s  9Ž^׶A*YukIaAbl*}CH+ *he=7#yq5`.L{zQ!H 7ՅCE-)ф vbՅ`k;cH$Eӄ-*7$;n:b#&ގffe,Zm=fnH_qT>Sx"2z6_`=N(u34\wCxyѹ,m#HB^\$E7,Ox8NRɆϖ yhV3Gɘ/ eejϗ;W*uk@B"̧.&#:S0p^7-[fÐ\# 2P_rE␄?ݮ OF)ti&Th! DP)P].!6eɓd>a`OEg9WjD-Iꇴ/[hCaֽ^4$ckbxYO;(ksҹ^3-MaW{P)} oSZ ;Ґ^ #óm[l4  R]&_ësTa0Ϩ f%Xg ǹC$e>$䦘}QHcOIjuBuu-,kPeKmcgjyjJ)vMKc*[PE 83Ao1&z}^4,_ʪ؝^s;.C`ih[ڶ6uV6$s39ﺆTTpO?`<%A2oDzBvMVz͝h7"%8=1+oυ|/0SW71Cג"8LKٕF9mYd ѭ .2e>8mhMAb|b`D$^+.$nMd>Ex7^!㲫W=@c|gJP f2rK=Ψw Jӑ:Ȟ&1dkk;p" nlx _mPpE鞡ez_W`[LMb_a9'FbC{*fk`pFP 3Rpab&|M2YοoCa9@}txOZ:;1[mX,/ r`مrџiP΅|ȵ'kb!X@yƊX OQ3=)^|;2H;*I/&(1DrKToE+]*6gw~tko`WErW[ݪڋ?.@6."#b ӁSc8+,H܊|zycilWe b#\С.\#ח3h$҇!P||_zV'#NVgɚ.KQ_]Y8>SOU2 >ږh0V X e6=.S>?-(}e1`v/mL+_,Zx v13!a,I]LR1zokZTY&%8>%L~EABV5-fu.FK "礉2?釽9_kfEAp_y2[N B9oá -ÐK q*Ld|yݙ3hH1_W 5m'))tUIhLE(\qyiNGF OZ\.x-Sx*|9 *HJ^HF>Ing/Q7'n6m+tf(nT8[=CjTچPEby>Ѵ+LI&&w|_n|k{<ϓ(j BZRNTڌDy-_$O|:?b F4\7w߸ɑ6,?_ʼn!K {A}8x])t!%<ю ) I8xz#~z @Bt =%YC" GV۾~ja?;+Y.N;,dۣܗa (\/iXCO^7Ku;>'dr/Q @5os mG8idcy!nL&0],?cII`* +NNmXDUɕK}e{2vW*UqiJ:&Ѱ(zXQ~[ZQɇj{%/uL z@vw AbW#+UrϠm=H* cūq~3BQ 栍(V! {v!][yw=p=T?㍝\n և*͎ja;TM 4s`j=TLY/ΰ9WNw{0g̥GU uO[f\Â2"R;rkyD\|C(Uzjx\SuEs[D=~=+#d4S_d@A&4){{-'aXb〿@}ؿ RE͢nCRs)z_M{g:4t}XZ:4 ﰻͪ*I2]"ItfZʊ|~EUx R:CJ n._^}SE%ωL~?GЇaIĽNʒԚzc@dK}߽;f$YT玸n>RLі cǦ6pvg 50@ bێ+-L4*Bun.D*1$TfS+%,<ƫTI~qԃ`L^*)=GlEXRA<չgF1D44P?dwiY0c`/ZNd MT1MZe{y z e6y#}uFtŘ ԩ}^)=?[N8{vӿ}d ,e+Z_+Ж~`MI*ދ7X̫pT*qK̄+l4qHT8jX`p`Efcj"@.O)]=w%cTgZ\!c'bT+ [/;MOIZBҿR>WM)} m:9q5 `RJ " Pqv (3'ay]n06YW`(鲽NLfnlaHfB ׅ9@#n7^yPoV4x sU%ڄ֕s/)Z51x$\$Vv_Z9!_&Ms9HېoڢX68{E''mN=ObRեOG/E f /flѱBh=i:WBv)˛JY+IHC};nEqZ|{ eMԖ@:p+-) އ פh~J0o`3Qnq^,lJNz0pOGH`0"©|zWZ9g!)7㐰ש5Yڊ4;a ^AwE9}!P]F&1aYG{Pؗ/xHHy0 BS}Actf` e UtG~ c4TKG1"?|g_4!!`6WbZļ$^m_hP8>]wgX?S:RI'F;pi 2 %[7sUu1o5Q$2× )sS. "7eN7Q7syDÈ̄"G`T_ߐ$(ɑpFAB]%&J$PBbh_;;,[1軯@O3%zu9Jc7y}lsԔR4[cc>m 'R߾buC>,Yy ݭr800Fz (>RcvG!`j㘗ؽ̚[Kxڧ$y@' Q`!΁I%\Y[,OX C')X!ܢiփFY2HϬAf1Ҳ-Wu"; ~N=/沼t-;gy,9 Y-5 /ۘ^O]{7`'RA WgJjq|+.퓦QJ(Mn6S=j#ry#Zۭ僳݈&,T2/ !U 'y"8=FA!Yh2c**Ԁ__! 4_x~x)]kayRz"{ZQaKu7}+J< eZ`zqb6ՠs"we-J0Ji&2͟H\i! +׿lȠRoM?c Zbom'ᛰ7u)nSHҊm w6֤|XfOWx'`r1P^2Քf;>yd!/`T@]Fs[ڭVDn2@ R7Mu|) ջ%ʷ9ȴ[݁IuP zw֋l.*6iHj1zMOQ?]nldP_AY'i AUTi ԾMv G8?L7b 4y6c X<^^ʎf~U J3j C93;αvMKpc6;^.\1T3/-(wQ̐H EeQ񅜉pAt$NafNvՅo"H.YLvzy$lQ(e7s ĦBJAkaIb 5w >qbXEJRFCdPk oڧ YK^u;Y6D=U` )a! `,y?8 P2kc+@@ҩH!V NjaUAb^ū_+5X,IxYtA1o΄ҡ>֓QڗSg%a8@y4&CxATN~F<01{G@A].w ==#Մza\yW/C>|ʺ{ݲļtsA@ҾJPfԠ&|/A/h{׋E3_J ױϟD+^EEDZIF27=r#)JJ| 7c;ҹ7A+ya4L"dMov]Kӻ\#Fӧ.LJM;v36/sۙD4ũ6wKdQg캾>TdicS4$?㲖=H7 5G viqaS{@:94~Wňfd9HUb3Sʛ047~b&FP~UJZY`=I-NO^Eq{ra*^slףdI7/<1&g9t<#$Z!/Xl4%9*~SJ+MO*VQEl`y$(+U{i7 DvBNJz4xm "iM5F'd=qȤ>ۍ#v_w d"5§c`.w*f n\g+Ȭe+& l$gE[9'QSd-zOv)}kpGoՆ>jHS,nwL Z:Erjэ.)ך K/um xt2*}#q>{ ٍ:#NXCq6UM<5^i1i/wQIΛ0f{|783>և(Jޫ!QQ52Se&Β:jCA)ɚɆj3!l{zIЗ}dAM?!픟cEGv܏ڬ ̧ß#}H'WYR@L$AHk!w^ɄV2 /qSejfCs3l0uP3nlYS7A*Qɗ7wŐTyB'U2bj곔${*'wwp bB1yae̓Z<VMvB[iBr`4}wD[DC^,`[iW#ĕY r+V-AH!\NF6t]iRp!  dveqS˂W$8,V7 2Fd(vTyz)26Th!\[z8Qst:1Hl&>0^qEm׍ͳ5뾾^!utrw'tRm<4xZS}!o7eK-F#a͖(jY7&VEa$8`HAB(l22Ɨ 0eHQ$x3F=~B Rj~KTu({]Ih* kѻO;nT;z8R|~BA(z/E$>1oJbGYL3=F捫]@?뺮ґa<)$Hq.܃ @`DmR~;Q Aey]I{q̕S/^"cṛ݋DepBʩhLkKlߓ`&'Mvٗ +9Q>w q:R5$ŴznM$dH?Ryتe SOP伄5D nr1Ik:GK&0K7je0f RFxE<礵x7} gk̦~ ҽ^#սx o2b:A̯%펋Ȳl]2gh9`Fտ"ٶv+&eÖM# UsӶ@yDmo?4,~YL](̖Tj0W uY]t?X4X,{,4Yڒ K"6BrE=T!:Ƒ%_غ}3-&,=ׅǖYMZdv@;18 iqݹ9"w!0W!̸R,3I84՜\J,涪9ڮVBA۱%^lޓ{#|@DSF=!ue RѶbm4*! K{>ax!>ty~ɷa/]Hl]b&N˲e$^UǍ7Nw%ij;V.|nՇ)HVɝHž:/\#GzEksp/);S/ Bk@>%״)% S a)dxIq0/b/UϚtqnub g 7:#O n *C\mqڢ?>(Q-wWHhiIߋ )t,!uD4ңOv]~yQmBL,)-:T)nF;.0is|㹚aO)5Il#m3|f+ 0o>6.N{*5UEGVQM7OanL=u|rj&A W=DFH4h<Jrw݇@ Y^,_:饄FP3 ؑ4I#C~qcEXccYF )~H\BkVƾ,qـ{06ZΝB=m{pK ҫ9j19# L}v*S$ t?@oûMH}\*?5[47 {ف TC7ߺ;M0u2ZK o2նX7 %Ьbz<vQ2D;ŝWm v0 @Bx}_y#>g5+;!~*Z(L%SΛ]߹YYfaF V/:j(PYp0I6;5Hv_Ք"ĩU_hߔ p{s8xx؋QFk^2,ys4P2D.7"Шiɧ-5|cp ufb|1 5EB5lg$K.{QhUZTȁ7e,<ϼJci`E9+5:}x}X?iم6Xz+O!]BAE>)^K4y^wn\d1pAލ$çִ7sR&P#wpl)CKD|8g6 ՚EN!٥uUEh騛{ȉ;h;'q2dN3VF:{3'-Jg=!pۉJ!X6Bk9 - |wVUZ@켩Ή"C곑 ¢jk;:м3t zJ` ǿYn|8˂`/M'驙GXwĢ:o&y#zJpB95vtnI o!AD &_Qby*6݈֮YgTx4[ kM=W^Pr(k1j`ɀJa)ӟ*'kѓ* ܮ,]1Sat;_(In VXC02tZ̚=n^doRC4,r(V$Pj㇢FѤd*/?3|yI Ii4 @j^ <"eXDuXuF=2 ݤ6`"2or{,ܯP|I\|ĕ/`Ѷ(ّf@5i( MGzi# p}o t'_A.ʵGIX MS?Aؑ_mՊu&SK=B+/ c z桘-oI$ amB~h sb[l% 3 4lçC (] Iuf'{{~X[22e1EqWQlz x"O8S z$ǽq:fUNLy{6M{@Y5w⟕NCS;NX@P`M8h@n8WtKJ/SnF+6(: UG@+OK,[W6 HISfrNavX$aGβ[&XyqR>HwQ)nw->:3}ϩ.a\xy.3 '\dB$FBTɰ ;*{İg ~ͪb`B|Ӓ~UNB{lH:=a bPL;pEgvK$B6 ܭ.L+xClJnek49V\L2@7yioͅ3b΄GV.; R&; Hv< M--_ հ;ӣa9"q]90x&uW K^8rٲrCqPaƳ ojڈQGB {@j\_޺ xu_3Ru)6]KxN Z}]mTl{LH>F%J >Z4ƱNHiD  eYƺ3L@㈮2b0>x ]Xlpsz/dI'Ɲ?6n `T-WqB/Nʌ7海7116X`slKs&GmE*ŋL&趖FL#Q))u 7qoLZ;ԚwA*"-(!&.I=P<u < @jP~V wAx{:ʝfM@>b܌`Iڽ4gFPAG:GmmA/?k^#x'>X:yѫ[m12#iʗ&ƠI.4m IX>;a0Z0`p'ڍ{VD#h):=fZJ'r%)VTFBqcI=- ,Z˭H1*72KkM a1:b$3AJIKM9"cR4vjJ|o#x2 6݀COEV g~6)r\44Fgo[IA*tκIfq__V2I@aZc}H`@X.q&s.'J,Xv:q XP8 7YS*6VrQHYbO-˯kBGɣc׊,E*Ǹ뾧C :rS:'}6iQKqi[/W]Yy"⥜Y>ԶB6r^1nW 4rJUWʓ$'<|6X/:+Q;B-23% X*7nJ8vѯw[@%hb Q U*~Jb>SW3:kϻr 03MrkY^2n{ FPu +u2XsR30w?1u9SsXA{q{8,zz`Jn NLt=F6LD?IpŝhdVNPzMc:cScωV ~m[@e!^}EݠjiHR_WWg&Hiǎ{e{(J15 d2}ۚByG#OB2̺7MXx`ohґ!xa'8"/*ýArm%2Ksz~ztfp{K7GAe>lO+OQP CoC?/&->q?pe!s]4WmjGߡp&AXVci[>HhٷsU.Su)q3<-$}s=:gWNs&N֧d?mn\FW5g$V!5T[XL('F@.̹r,sH /:q (F˾vy-?tdkܤONfCkuV + tEҦ z9=ȼAaOz9Jk9sUbq 9$QNάޖ9}<U+[.2 Yڦ&Ɋ|~yu-&tL΁°\|aG}D(XgiCGt˕tPj,ok,y1;MDVK1r _iꐄ=F?Xk꣕X1 !UFoH d,cfUk; >Ko|3T.\˖ӌ_\ems+1 PRڊH"7o9YjNXbͶ-nxq+`dE n w1).:M%Kd˵I@R+@脚ÿZ JZ5ꒆVxn_п 0WM<ҿIj<c2N~DRZbca_YgskuCuЊK\0HM)ڈ]WH/yfy0LSOi0FzvB'%.;p 1oZ Y,{I=\O)`rN}X~)aR6w71;uaVDa/o=-*.)p$`m@0\NL]җqg?U~~~;EoXfe92 1|焁1;3 qr 4dž<*ڞ}:d bċNϯyNpu`SdnϢzx`Y7$[pB^4Ʊd%sKwOfrj1l]+p"ݍ.MK2 Ұi3:.tfr>BFb{SNiĐFp}fS%]irkTQ7|s4}&5ctS ̸d2b=Sc'A _9ʖ~(MȞ?wX)˸5uzmQDnq_bo5ך˫62/FGRxdӀ8w>BN`ojg:j JayYh.WU].8 TthS'Q0*zmx9`S7h0 Fcd7W19`؆ -=J\f~!`=4ńHn|rM .K[Ĺ:v]Kh;e,I8wlZ(y̭~Mx׻[㟛 ĩnΐg Ba&z *>D&ńء2 5txo1ILP۪ fywt~WтVIz]UDؼHBK%@\-d{T!^fh=Fw BC\5B$X/}R}Uӑb2,OZI/(Ae`C诿Y$4=iKO-Z K9TB)`~/CYWZ 9wٚ}65X8ǶM.@ʼ@sâ!\ׯ&#QpE$?@ߐMY6jAFs[-%7^ B'h= D3ȇ%~fG_utZpX@_g>%ٓD[gH(b~BTn _7YRs 9-kn.AxrE]L }AnPXQ3fL/Ҧfd/Cf G) ;3Q̾`R;lPU̡gRR(s%ٱM*\ Tpސ$^U+- d`oIOL= Py@z(Jw("/2b>dI͹8nB膱wUMc<:ARܥZL9R.ȊNCPHѷfi@̊v6랑&9jѐpSlY,E,adF@kt藺L vZEE;OSƯG[e󙄸l7{cӴ0 Xv5L:&O@Rh-x[>[:4mi0HRt暆 +ތ#l0wGG[wx+%R5Ǒ 崙mlStit69`F{M0afpNBsNFPWEfs$Iɖ'gkhsa4ƞxK] !:u]ts s[P_K~['+V_ܔȁ7q9cKB|D=&՞=Ǽc"VYl[g$NEz8 닟U9zzSǦj}8_ :tg#$d[4(~ Ymt.ŁаLVw(,tTrYjZg3S<ƱzXgwĻFEإbU z(('75 Y&҉)JZ!0![j,t?$4Joў a@4QKmkFzx2`n"\vk˷αí[Á)BLccYjJUwo.y)2,s + > U/F#  %$\E1g:S **,זj ޸pub"1c:SȮ k=B`* ]@\p'N p2p)Tw4+@K, )y{t{+{N-.}rIJx\)}(-3.H\sF(4XL)Hω<Ý:PbRh?_°\h? PQWrjcO9'r FF(#,@h&'l^:݊ˏoZJ|S#.[ 5'H5{.D`;1͐M0$߲au^BJsIxl&1f7 ]qa.EfSBE? URv5W#UddNH<<;:4)04Z\*A a7r&ֱ;#OƯIV *(78/j٨]E9 Fs \P;Qb Z/7 DCлy?3sL R A^{ FjolI)]D `Y3Ѧ--ÜjrggYZ02507894dc40d4743ba7dbec7e7548006269131a7d19cb1bdc7d0c9728aa6789ebe077e650534e03 04c4981d19dd71a790541c21d8984c7c9f4e9558 524a5819ae72b6396120725fea72a837f54d2ebd