SQLite format 3@ .;  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   p!r,TT ]S Skip_Lists:threads=4elapsed=8.401cpu=29.872gc=0.4047zXZִF! M]ŗXiɟH)0!h]FLU}3Uweɟ{{jĒ<8r icɫOoYv&kpIѾS'{Rd |wNҙҔ["Ku`JY㿵5Orfpv JjD|b5tnUө@Q%|X35(gkFE Xy?^3:7Dͪ:D/07a}vcq9H Nш2sG*k{}CzUu|}յy =[hZkn QcM!@r>pN~`̶Zq 3ʹAEBH(cI11ʸc>b:LLʙ?x4lzvM/ͮWf辟Kuefc64f]Ĕv8;S,s$" *#@15‘ݡ_TáЏڐK`)R$gYZ7zXZִF! H$]ŗXi%D4o/ &H \kd"Qi*4v?Ҩf O! 2Fŋ_:p_)gS@}oEȦfI?vrV{n!}@ݝIzPS/aԉ:=/ VU)$)s;9M>QV&\q<>'Ĵot/IQsFHkCӻbȫ#YF1`fDJ,v ^YwƱ) omG4&uy`TgOD2aq}*A(yLt#DLD)/QDQp:KQ$t?h,ژ&&^tbN" |}hsj#鹘cL_'~Β6N})H"i& E\0HR+i>4;SI*o @WRV&x,xGJKW6SSn5cpFn<]QE,+?GbOU;[6n㘂5a#*m~]Y8aaj0kuC| `$uucq$kqIЧ "LNn$32q\!F&UL[3|Ь`")3V+~ض=s| ;Pݭ Nʹ$tNM^,}U\jek^F']TYT#^7Ecd_5ׅ:OP0لGW_tdzoTKJ1Wh) ,<MءN鞎lo, ׃2VΝ&֢: %q?~"#4 .bhDUbas挽>;bxCIĤ^k[٢7ad,v!&OV>%R? _r5[q1mK7^BZ83ΪKzp)O`TœOiʆPyi WCU5G&8,N"Mv0 i0*-X ёolgYZ27099d71d36d143b97a948b615c50e7b975a0499c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6 a03c8faff223c0aa6a1a6dd5212eb07ed2f06d09  ! Skip_Lists v!=% Skip_ListsSkip_Lists.Geometric_PMFdocument.tex7zXZִF! Q]A-MՋhvG"uIBm52APf#P#d Fm#4M ZYh2<n/6T+q>PtZJ,%Q>!Np4nV$h0l)H{xLF1P%$.Qsr25{7&T:ދ9a7nK9 f@4D9(>֩.=3,jI˽Ϣ[7s]g((xRa:[z[ŌWk7 _O[UpP-Gm.v^?k|B|{mze a䞆1T#'P 7k{U7|lp:p$=>>nGNj3:;ī POmk{!l@?A4yĶRz@z`ݭuqK9}Q:5hPf Tj (1Wɔ<ݎcF&AX וڗV=B1|uiGƒ!D a!o::1DKW4*zv~oboi1zEs}x Io6wR%FFC`c'*x *p05k {<muoΈι=eH׼0 lH -쒻ߎq,h>Srt$Q]Ct@j"U`4#d,hLo?rfxvsgMlUF GvHjC:C͑H?f!KL 0`ƇSa!+% tSkip_ListsSkip_Lists.Miscdocument.tex7zXZִF! t]A-MՋhvG"uIBm51Fc aӽe\PS =DnPn)fe]O\aٙo~EWZ{5}eD$H"٩aE]Iw |UPhahUi80 oI tc_yRQ'us);ŰӍ,1Z p&m[-!36CgQ3+WhG J5R($/flŅ⵶fk+T ~'P\C4yÀ=#_}Frq*ikӔzQ37aG{[i#MPOPjn˴5*'3W8B̝SE#kSWDF,9-j}23PE[ٛQ7Ln{7N`  \.0!5%Skip_ListsSkip_Lists.Skip_Listdocument.tex-!/%Skip_ListsSkip_Lists.Pi_pmfdocument.texC![%Skip_ListsMonad_Normalisation.Monad_Normalisationdocument.tex4!=%Skip_ListsSkip_Lists.Geometric_PMFdocument.tex*!+% Skip_ListsSkip_Lists.Miscdocument.texrcO8N]d'Gɖ^t׾"EI8+@}ƁI;i(%zAx+U$zֵxpKE {V7>)0[zwq/9J, d(,̜1n>y854^kb6ר8UbIV,'EsXc7?EO}ITԔ" QE*` @;(~ '^ (ݓN~p(NRDqFϝs$mnSJ; :@ns~;82m7勞4U{5G _uQS~T447;9jAQ3Yi%wĖ%AMZ>M-k b)|ꄄJU3VAl+cޚ3W< ;ZлZrjF=J_uY[~OENC1.8+ʆ3HUҧrzZ>/qwvGb5 ucʫ?r|TM2|P8ܱ.xnɁ?9R%nzCe=%h[2O.2vC|~աm/]2a8mѱJ97 #ȄIjpBʅkɬS# ށЇXRe@?IEI[$y炪[/O=lr Xpd%A ,}bZG}niXʞUv]&9@p)"ñn"6+yYP4U)7ȓM@J(@)&VfWUScRiV@{hNp_>F3|DBN^u %NɤFmGzlDAQCׅUq/PH?``|z>N4B98e4ېrJr=Do y~6l _'RTGKYQx5fs "6)NFh^8152:qj9frY$brG=Σk|ǧ'oG[3ܦC6UBh}"Pzޒ6 'X?٬rW})Yx輓!XWy9uVYt3~ j=89ȕq׊o*=3$ `HٴOܫ&P"v'z/h'y|1GpTz]J͇VvIz)u벌kau='H>sX2rg\=)l%ڹaڿ/ nN$?e5d$C{^x <_~))o\ٽ.FT<, }G J?Ë3"\r-9LJê;jX?ƧY |g Bs?4.UaӼy{U!nIrIc3p~ao]ݪą1M,*Y2S? myG:kʫY]o_?+K&CG|oܑ3Pl[wh CRc{@@(GbC)  T =.}\IBĠ`Q Vfjslb&coHX,ɞ}cL%+0dw;W &}EǮM:9r)I;>!"\g z0M*nR 5V>K\vD;az l&=phr(ʶHc@Ds[xaOyPY"o wLBc!]Î3BcnPmkO#ekn%8.k#r5.~k@9ўv% WXxKN"yDV:JTK;ukkx,(U]wW/ln2/@0&~F&(I\9]܌:Y`'z\OY*O5ࢣ7w)g鼴XQu~l`Us;ڄ)6cMl54Pdv]}ZI@KK\IaA@cKNi J͸nկ۞1īi\'vAտ;ȩ?&PછG[M%AjաG\[:RM2ʘLU8B"ho.)&f?0*O@Uc-aB@̨iEOR`Ɯ)]8Gۙ1,]BfWFwfH?WJ ӗ%u|uf&2lX@jH,Lˉ Vo8\ȴ,nb+6?] 6ߵ7MXP!&f_ΔGrj |HN"*،$Z;< {lj85)Oiz)*pvoIQ&h%DwQ@hRM[j <|>m1GE>ˇq?ܸ'Tc=޸;9 1.vIdηw[Ph4$ģ=`\H/35#Up);M`.µfAHr+3BݲhAߺ'QԬ#AbfO;(6ՈЦ-EHlː_@.[˅|zw!`A׋j_WB!TzmlpS)^b)AI>!6G_ѣFe kj]YHWj76I0cο\i} ,A)OA#(kB <vUi\U;尐 &aњ:GZoyP?1]ŭ82pkHP1iX^JUz̃p~aF Zg Cda#o]˘-,, 'z9ś4bogSZ!* 8Q~ꟑ>?dGw]y)ezZ7,̤58Q{=Ce8U}elUYiʠc ZkVN׮" JI#Kq혗f9Su7ߢ#dl z&bP$)ֳbt1x{ $<3a[Ru {N-q[oXB?ql`^+YDINy>%͎d= dѱPz\W8vT}pPĦ?'LPKDڂg+s xIAkO3YZߚU$#ɧ7XM_RxxO _C;}k ]tӽLe0|xWz>N Ғ:2<-^m=zxz#7n+F-o]\g7bS,f* *OxQ09L#l V}-Wh+%D'+;\G6'[R*aN[\$ "lF]9xM}-MB !Glu)/Wt4xm` ģE`. J+d Ȭ'^;k , rnEqECWY'JYVW7> ;#68E5Rl~^煮^.  wUC!IxUcS/'rut荨7[;2Q>52ۜx?%y$ pf3H c C`]3c_i/@cE$%<^np1{^&'tFVH9-4gZR|;뢘kkTa=bTlR1/~#dCuZw ?pa*! .MB}IfdQ,Z`!/wLMce{O!)#j\'[|?d!{UP3ʖv`1bcuw1>ڵB!»ţrbͶ,Y^C69ZB:]4ejqWhdKkX$=0^=LL"):%3l˺_L}QpHo \ `eAuG-ppddXA/9^y;wf#SO"71G3£b}|XGϿaku܋5ԁԽ8ș~mIGK%gaJOb Jg5znw'o>lهjɊ11H9ӌ և61FvlګUV7z)ˍ[ 3-Xae/녃UH/1Ub[|+* wi5xz.ZkXۿ$k:E򾝿^!HSDR0$uv]wJ9M[gSD;Yic7x6DXZW -  hW*=nbruц̥\oKVRixt$'9 OAr\Q'eؠCUh03#>g^c*ӗ탳L,V[{t(kﴯͫ)6]9GMV]ٴXu&:208fߛi>kjjh,?6NvI΃,y"e_4!J'MH4juK_@Jys] 5SGo'~ '/y PtZJ,%Q>!Np4nV$h0l)H{xLF1P%$.Qsr25{7&T:ދ9a7nK9 f@4D9(>֩.=3,jI˽Ϣ[7s]g((xRa:[z[ŌWk7 _O[UpP-Gm.v^?k|B|{mze a䞆1T#'P 7k{U7|lp:p$=>>nGNj3:;ī POmk{!l@?A4yĶRz@z`ݭuqK9}Q:5hPf Tj (1Wɔ<ݎcF&AX וڗV=B1|uiGƒ!D a!o::1DKW4*zv~oboi1zEs}x Io6wR%FFC`c'*x *p05k {<muoΈι=eH׼0 lH -쒻ߎq,h>Srt$Q]Ct@j"U`4#d,hLo?rfxvsgMlUF GvHjC:C͑H?f!KL 0`ƇSa!+% tSkip_ListsSkip_Lists.Miscdocument.tex7zXZִF! t]A-MՋhvG"uIBm51Fc aӽe\PS =DnPn)fe]O\aٙo~EWZ{5}eD$H"٩aE]Iw |UPhahUi80 oI tc_yRQ'us);ŰӍ,1Z p&m[-!36CgQ3+WhG J5R($/flŅ⵶fk+T ~'P\C4yÀ=#_}Frq*ikӔzQ37aG{[i#MPOPjn˴5*'3W8B̝SE#kSWDF,9-j}23PE[ٛQ7Ln{7N`pg( }![% |Skip_ListsMonad_Normalisation.Monad_Normalisationdocument.tex7zXZִF! X ]A-MՋhvG"uIBm51#pzom?bK:y !{ k+-o2-}iULl]p]Y㫈׻.:6n@@9!Ư^X G^EHk ְ-h].UhQ4ih5s?fZiR s/ |U] bjmmˆ7$給f;^Zy˝d($4HLLCw꛺H)K-*$s94o7 47-*sClS-Q7MS)l2:.~H͏WBP|id,Gr;$lQ0̑K'/uCqpbC5P~]9/2# mZw 690{DT:+Y=wvQ }ʊ`/B٪Ð4!7v򁸤c]$}G %MI9"_/;ܕ"(Fv▣Pf+F@ALzNYcb 6͜vrq!olaWu,D`Cdm@ޯj4?zcLzi-t>"&I.CYF3*}k\1Ǯ# \>|Hk! ) r=ʂdrr.zp̎$=?OU1~j?Xk]^ZhIK)?/SEgMٳ4*vE,KXy=h#v&];5jHkjmr\XB{'x{.?`NCGkt)Kbz \A/j:*I/t} +T/ nwB֜%僀_Vz"vt~H9 fymyW*塭a X9taձ See/ Qe}!cM3jWqR? Es]j7Yi_Yi&CS~%)ʵ- 喢5>3_U3[Nz%WSm,x7tOxMƥ`m!KiKQGm#/.U2Kl8|LqAp0SLiug4GH≠vV#Wh́'CqwMV \*>&xTr ʥTlػan UVIGje}P gT^TZ_(z̛lrwY%C  SP|!v{١;C T9 Q 1ӡv4z`˵ü܎Wvs&WGLu`+ԳKe Uk +J0垑]2%R)㐬2u1_> (*ɢM u-ZaE sf];2i(4a0${'E obO(c+˓2UYUjϻS7U3(X{h%,J`e)X)ݯ,3/WbrvkO31yHUtA |9 ^^SxqV ZOZfVMA!RdSJU[S |MDajr.n>;U= )+V>jKÑ1u FiI^.)m[mtqp$3~N _h;uj6r?(2YthmOmĄtY<ӢXw3z phVETWĞk#Unųwss4pҠDA=[ Q53 t"wLl@4>1hn7RWl -W$п\=GYll0tw2M!̸FgYZ mSJ7YwA.Kw\aeCjnURFpwd6]}RcXuYW-ty'}LtDH@{Z,`CoNp)9( ?}$ԙh(H:S;F5(CX\{57.ISE3T$qv[~ߧ$=Q%> +ͩŪy -Nj9MaB v))?m"@P-A>YuXf$l-C=$ηjkZú*ΣHM>W6K}Rd_`՞7`DGo1w5im) ޲}:RZ*fQ0ѥ$e޽hSWܘ#@!4?Ǿ)}O@⹌4XUٶ=XNހ\%QA ƱU \!+f|qIoJ9.^y{m0ΠK,c:Ȉ6ZFi8( "8/lԽw y@sMe0O1v03gzf ޯm~q)}:_Y0leX֋xmu/r=b(i`mLטo 04SdGŤuX\jॕR{cM-Xx1i1^5Y> zigc!/ ?_5,._"M1T|z˃25`oM$&0)ټQm/M1þ)32~){zIn|*Iֲ>eJF'{ŠPs('|8xX򫑅4^..F]uM2AU2ZŮﬥ(>7Rf>.k$17+!:>Υ`^aBC}M竛7k!GkF!JYJןᤑ=ݿUe4ܦ`O1hikv*_(۬!pVz1n"U#)&&αmw,L"<K4'. `[ ՎW$i8deWQ Dі(†,-Տ! fVlv5FrX:֝ ^;]lj2_6 i/SwYV3/FzxW#[6z64Bi1l$Mƒܖ }i Ynٝ!bpHd0CؖK#*RJgnƪۥ9i$gHpuDi>xM˟SݟpUJ / ^^is _Oo#AnL ?2H"4m4Dt}셑'j.2źڌ(=` 7"éA80@WFrwj g:cAHlwktIxZ( !8lZ4nM1`n<\8~@E%PZTgL ۊ`1H _&Hg of>_=0?:W1Cx%%J@HU H9E_lɇ/Z! z8GpFb?.FW e\<2QYUæTJ)SKQFC~wLLXS:j3{vqT2h4k-;㑯Bٯ $D|Tח Fe RA9+|T\9E#j"v]I%&7p^*1U] j_@)8$YZd͕ {Y H0q1g,s4*p7@\&~/Es7m<)(1 +{+|3/Zx[.l<95+*wc00gxp00^0ȩL0;~`B;v0z|S翙ɥʰ,HBfԏsq ao}OǙp?3ǛsQhgn61ݳaG+$!M\V?f#T߬yĞRIzAo ;_h9Ӛg* P [l.'han0KJ[T*" A/_c~-~ūȥ~%ft8A"w'*/_hs^'.FxH{IsmMuϤ=/Hk֓8f%ΉeZ+F€ЦS!%*穚+*EV9pDO$:f!t݋#WRD y^}Mʨ.&ض⭙F"'M6ic0(j_%TH3^dݲ^3`\ oBPaOS;i<)y̔v8uњo}[˅䪴Æ͝D5B[>NAwcPˏkVm ehZ/ 5ڎ×sC`ϗXĀYz>դuF)ЍcXo_C;(5 Q>W3f[C_)%tVpoE$[Q)vN 3#-v"t@_QjvG\+ l }B >JK4RP!Em|a1~j3}$|aq $H11ڧMwyWt,ΪcIլo/{-C[[`x\e Ͳ+"??"7~W!sw&9CNԑ%ʹʥhNY0U5 N?XrY"pZ>al}(O3[aNcLKc7+P+2أ0qvsf^NΓ6J -1l5V~r50KDgcռ'(2m?Vd5(g6Ky.|&rpmfIkw[(*ev=uufNk3TU&ꄾ;qĜ3g]]B(& ΘXi,BW++mfv Pg.vO3O0EsIp_ S(˖-j؛e9ORS:+:^KVI!( "XVn1^`߻\F _Fj.os Gt'ܺ V}F?p9M* .FU ˶0Ֆ3ho <X2'P ^&j/pAl'R[b^i_ CgS<~q1X2%bo+h\Mb c<|=֏&\Ib Ox\~||yA8>5 NbQWE*zhh3ՆƊj)ƢWjZ$$} X,91Ǚ0jh4yieӵo:H-/eKaI4iI94ރ[^m Oc&7C ̌y'dʂf[zҰPuVOh_x'#Cr~ uț4)|!q#@BdővZ\)@T]/5F0T `5S'mS-qy+6+(fq*BS36%ף8LXBx!UI-VQn$ D}>x" m~%玳9+ȼFdJԱ(`K՗ĉIʩ(k!% +7 $R| ( ssTY=$)J{SGOCq˫ 1êJE,Ҡ @`c(e޴^OQ4wUҟM~z9'ChxcʾݻI&]2Ws|ݪ}yƨ;5`dL8Q"3S(eyW{T ㄧ @Wv2`6W[r&fEw&8r ^[(4fT辍#u!l!͍nCV޾ΦɡQ8[MѼoq]fWUo= #}.q䛈wQ<?OA Fw{;C Ŋ7*\jf8oY )m0r.K IHn5ʝVROE7bgP:U&VRG3r^#,.Z$oڒ==XCé rPJ,<"zhza?cʠ1tnI5Ǽ))7AzdZpοǔI\ԥ'-0sv.k$WWMd}(0sr"M}c;-XX-տ][؎yr\zC.5mФ,4 #|eA6{e'쎊;\8#.9w8U0qCRhhqu S 31]c5D$2"f5D0*e6T 'uH0MX:v+aB{w&n'u4>H'[+9WF_!=6:E$8|s xQ7^gsQ>1E%h,gcznu[)Cjԃ)zyb{-|r9a8m7,)VyDa | ]K]ϱޕSNN]cmggo{3ānK3}7["RuFF.F 1m:-?Py3|lQ+ gtR98L%2Ee+kԣAொTC#SU12un?9[>><0)%u~l2ɏ4(*TS4Z"I[rZYeۺl8eek&XnK#vD!5;`;t4Ҝ?0:TA]ؕHc1&ݤ @xc{rNΎ_C*pj2M{wmDIhD)SAo;؊Hc]1[}uDw+п/y/ ENQq C7Y?>ڥ07}FK*%<`d]aE69̀T2D`kxLD?R.06d[ s3c!>a֗ 94\0{(E>/N)MMa/~YUŪNVX'/ 7f*Teo {C2ׄYa^_!M Փ ][𗛋G [LR*9Ŭ(8ᑵ &)lK؍-TF+]dnF9zlj6D< ICP͟OxXKIA5qKk漏%~ט+h76?`lLla~ﱩSU0>hm4?(qRjfS˜01\T,o侰v]K~T [=„F:\eFň]-щBu] Ԥy,i$;qւhcϓ}J[w(AuƽϤy\w+e|sLm7 0=^l!h$&+Eno QoCݨ A == qy"<6Dȇw'2{bG{$B2ɑnqCk_;\h>kbö#G*l<H%e[ 'ꔘ)t#; O)ë֭́Pol42 l!L8 %O gFV#ܬ,>CsӰ]|4έW i Ikζ( ws8ޑ6ɥd'9~dr @}u q05='ߘ)&{ /qQqI]Sq @ª4ju9xSv0rs=f؈YUGd:ɔΩa~kB `/40.I~#o ;aˮ0c"?\tP4eܹ4[ҝ6fbR W0 8뚄0\s`Jۣᾫ:4<D 柤9%d!KJcHBՏ"_g(֋ZȚP20(c1ѐc}9|H!x/d17W'׍ʐtJbQ1fi^!T-&c@]93%ͳ= :޹۱{05H̞h%otz , }B4p0?>0TnGV~@y%c"wu^r0yS 5iצ~y $# V3kG|. '?L]`]/kZ@Mkt-aMKu Hܱk6[]M׫ %JR)cN\Mca-իYcAɲ"~*M14mĻI\(Ot2Lŏ73Y":聜02˻ӑ!9~jr'X j.Wt\uHfp&u+XC׆1ٽ2 kh8BUpF>9>+8Zh8ʭOv+5X7ݔwoG-9BGpr="})Ӎ)EB#71?2VxQCֻ ;C*F/5CA׀U dqUhTO4^άB4 B yl fSa 9ۓA&K76HG` lđ(}` aǍN)\:I"qpSYs;5օɆmN/nY=x{o )DZsMк'V ZQj ~[_!sqk(Lm\oD#u8R< E>tGt {2k yț}>-_uIq׸@Fqz5ǑeHv-7NkP*o8ڱ |}9V}rAvhi_U @˖ʇ5 2u0)\Yl9:]*7v*a?1N IIv)PNv|CծgP&ϢG Xh .8E0~󅳔sCޑkws%0pE(*åLdffhռ#tm85g7x' @"0d!e`ctgOIV4[k1K'8}7ڝ Xe-falM ep;,;;ҐizKɫDfčK īwLn.K̪ 8񦲗/#]2-&_uML lM4uGѬXNȚYItoG||M<ʢF/{guDu#Qw;YZ|43QzD%߃i$ݪaSfB$>DU 4L?ӫw`Pi0zm:^M 0otf t%_j0\|۽8 w`F4FXpE(Z(ApXd22}5d(MVti.@1Yjl22ה]Odrqm5{h'L@8I*vqLLzKwka{=G55KY;#%!x(;7EԚ^{ #NzʭM#C />*oMY}=1B3 UgYTZd_S%Mui1'E6w@n* Zk]W樏@d낄+E_rշhVO3ُnUX)LՅ348 L]5s#UDn}s3AX`d(F=ؐmyTyS>h1 좜mܗ*3D>kz"Do|p_"%& J lYof]ڔtLפLWpWK9< E0XEO vot AeٿPer1%5]i'7@<*A4+&[XRoBG= 5"`I:1A&M0].|"C+;5yY@Cw=n1A& Rӹ5՘rP7Pہ+U+=( P_XJNDeWajyO-W@_<*ዉ^mY@i.᪏˝xO g/>+2oprX\fآ߲WNfljr/ºiEy1^ó8WR'MHOr''6hWФ~(iE G~ƼǾJwOA, EO."\ nQူ5%2`Y/WP:O#PZ7+speϦj |:ѧA;% Ƌ]R\>.}M ZW;ehԋ&0";%AWrsf|.|3SMF/JHO(6 Gʀl9FRS3wSRmqg<_jGchj뻬Py572*.Qw8ڣ Sve}!!?3L?;;4dUոH%) 1{EgZd/ݨn{.@T:$u:\ڤ,@ 8R %m :Wl+HޠMc셦X*ْzJ2%!Gr#CF`]@2AN GY*/a93J9@6DtG--n;qә>r*[\Yz"p͉ nA,F஛1B7ł~RX6ħ!Է~7}J̠qKBzE r}?J9f"2~h='oɢ`VUygD4Usb'蠧 w[ ;#j+r4#5Hc=m*X_#(w}@;6.H8mdS/XTcfzQlSI۰[1c9 h_!>.0i16tfm_F^b%6I=$Qee>p!3OC.5;fq3 aB/K{U$!ND&U^/W`D \Wכ_?n+Z~VuF- ܱju3;]*U!Gnn8F }E qmL}ᣆ6Mxl2 )ڜW+>*2N/ ( [6F1#97鱳JzLq>ށt ~H1,=-S iBLeu+ Wqjy0AS+Eir>U" ֌SW-vmA&[XvPe1g z^p,1(hf.Aq1\XιC?H1%_d}ny0+'7#Iôo:sN`>NZbL^:jjf.G A -%!JPvM}]ۚ[ ,8[O͕a 9>Xa=(0SP:Ӆb|CZ#C ͏^ d'/?ϗ !/% 4Skip_ListsSkip_Lists.Pi_pmfdocument.tex7zXZִF! \2]A-MՋhvG"uIBm5Hm_Ʈ'$C /9*CX&hhRw m 1uk{/Ɓdriz&e$zXF|ljr\Ft孱#@p^hB>H.vOH9z<+2_Pٯxw\fh9QcH刁e*q%.j^t}cU< - ($lm> `!#幨v/;= 6k X~oTuKp=1zSZ)T(e" WR% ġ83yjWq s!!hH mrh>g%U Dqny?9sRD#^E7;O]|y3 ֍Oe*}DX.N0! ]GC]=Xp )eޓ9nE0&Rǁ?먮. ݬXWȗB 4Dz35ז*1~24yhRm"Q%ҵ5V>K.+NЉh\;]F$3%1ަw`ًL\b٨@"*P5oH (7WF6i(/[%1Vs+/OYN`ry)X){1pFC̨7#|v5hFxHC؟9ɾjQDzX[_yPg~0:?ñ.a=w9V%Ui7AiUu+sj'o]L)`!QU[Lo-iB2|Y{ձ k"Mv\r3JRW,Ϊ^]|2I"voosJa&O$/1^7ߔ߰nR@*hs5тrf7zwSHnWԋ Rw]X-DI$n`t#! 40b \<ݰ!7v a<'3x`j*6um7eha /%Y{P ('jl NC(衝Ch&z@Ξ'@+0?P0RR1YӚ]M厄;@*2ŊeK(XO@a„3%%uK)bM%%1rLPj'eUɰpHRE 7F@9)O{?GgtJ_w9VjjfCr|l Bl2l-ࡃC'j4ty5Wk6Pez_;;֝mfelz־z,\{~LȞ3-\& JS/4o!y 5]b=9"-#MDc?Ht4F@J7jʣ\9fIb"]%щ |a +نMW' j1,mv]I(:DŽ2e 'Kݣz,.tQ)&!BuD@~H1y+'ƫ. +I: 07hrBx !elײb d;Y]: v]wys7Zp#^7:~'ġJ(0{e9vLi2sp2#K˭_R4RH&U2>Z!Tǣ̓)()^~vv^FCm{pyJOJΨ9cQ^,b{5-4|xoq}/=J ?͂WwEIl|y[v-7-A3b1h4 Uu,(#؍3DQocMvgX#}wEuH_gӽ/HOcU1Gt63pbҀwْ4 u"s.H3mT(JVZ%fww#Br`ff9?qbRcu;Ts&mXhqA[WrINK9DesLaxwz 6%}Hg){wMw-O(ʛG׿M5@?/p Xs{L}mk/|(|ĩ:6%R-z4_H?f{jF9, T䯸#QkX`}q\z%lWdNT'!&C7+U _zavSuxU] :p=T|!n4ϭe.9׺%veBtqhm0sήgπˏT؆93DOe}}fz6kvPĞ'įߔTFuiUzs"u3@k n38 {Nf9lRKS˫҃ka#Zʐj w ΋Ҹc;kב!1C#5"6ဳpJy67H=N5G`*F42o_ZIp ةMcd lZ8A6R/ՕD*!a,o~YGS3pg.L4-4N{ۨ9$PQv}ܧp(1b6~Ű%ۡ-./"àiV-/Ouo L1msB d=r3d$E1CxUn{*W+vsXXoփ}͈n]|mh1"d;5  87"94$'vY@.-P(|.]Ɗ+[,`9?ggqYϾ4 YfWP!F֕r3L *$јtG[є,8Z<7.bne]jOu\I_RDbQ+@:+ >()GpEr' ~ MFznnd1HtME}t:JCޫ5ZY.}cOES]L{iRUIkR'Tk$: ǣJ6YEV7v5Ą[A<~@ ,b~)'S8;O\||{GJj]BPɮD䎆:f}^jw83s%p|prNXlUGorJD>0VzW\V~ǫe CdH>lzZɺ_nYP81QޝyT坮FJWRK+Glqbev94頄&*Tp_k [DSy10N8뤕݃w<@}|4lI*-2})l9s1n3-/p aPC=r$u#hHS>R 6nQBhCIƪAJw@}22h s o Z8RG7mCq}%YsIH;l-6%ocnɢ0)/֢5*HM (lj$Vf*\d W|!Ҫ]\jA8np\2+2"&z$O]MG>S.3]/r>92Xo&g8VK|32Eq 1#V9WՊA×fϰx*pdQ/@f7Ay~zDm4?[|'15'J\hڬ& C n˞OM}d.D"8S'>adDWmh;tZ"%yPֻ|6|-E Xb>eM9|-D.ߴFI/mK凯'rrYG,s}R`yYD|f恺0[ r[Dq.qDM&xme(ȇ`;=IZM zF>_Q# -C? d]Lz wk"Z Dg/!'F>S:dڸ.? 2B^1oBqfD80Aml7E_J'MؐW.QbI)F@! bI\y^TSɘ}L썙}gV +1U9cy$QAKӉGc=ї<0{O -DHܑN7KtMX^ϣĎgf21gL:iv2mA^@Wܞ;ZF?#/ ޕWd嵡JvpLZ-*lgL!rI.MZ "(\4,˲]uFַЄC.xo:ncRr 5}pA ?V \9lzY7[0&$1 ĞaGEXJ^Жf;&pv?Ch"#lEl Qr}vyՀmlmTW M vڦA.- f佬Ñ^k'5`O?#}xPJ6"-ko" ,o߷؁l Nu+ov־b6CA ?5Re<S/_V#']rKA*;ޛZ-t 8ArN__ng잁2"ܸ35y5[^`\mpmR` < 6 $6j*A_ϙ^&mcpde%o/oz{cA_})ƕcj!-5ŨWWء!^#lД;;5.a/s} Q/y?dKH5k_a'2ARCfAf[ lvs|pʷ=CAu1+s*՟BmwX9,-9fLJ[X"VFsh^A]k -![PrP9y7a@{ؾ7B`8cCZx ]?V+"t:B[qh)@bq-0 ,e_*"E? &ϳۣa=j%0u` $N1M丕1>O{aQ_C B X26n g9&s;;(GhSU]3-#̜ O<&N#[icxt7Ub[3bA\$W]͛:4r1tM%mht=v~5mĭlfdVb4;!CleU`OY%>mElq7i5\}"Ghg5#hUt S><I5vDi\ C8&ty( \FL 2R 6ȳ-_aqjSIWe#k֦5CI5JGϹQIIAua[WMknd#`Ѫ} nJ:cD|, pt>Q[+r#@?L#f} Rq3 p'))0dAG 5c;jľ'[$uMPkœW"-꧒re7hCc p7/R;iR9/30Mp6xr~COMxvd_}±y6HSye =4OU6ymaYY$Bн'kkwc&soo&}ݘ=XZh~gCS9c&!6\8uUPS;Q…ގiPuyLUQa v?0˅PeۖĎg8J;WLd-Ja*[ 4s]Kt,=aE Z6_+jr!]+1_|3۠w+qϨ.xMGsz n>pQ.X!xҞ,G(^CnC\Xk]qQ0'LT.Sj˜=3Kk^]PzwЧIGŒ'D}[O4hp徠̯F/ k]H&)u*nPUQ?߉:J'7_17 [ĞXǗъ,FNޞ;vڌ^:Sƀu?܏ }'PI {j|/)UlA p1<mU4Q7\7{0D%H8'qFՃ^f 6'էTy˫C˽2R9ZؽH:mifF͹(e2 IƵnFF~c@ۼ=;()Ym p>BɏzMxΒzPkjM -0j(>֑lɗGP(ZyZRw$}чPTWRZ>E"k@D.QF,=*ǃD D<*\: =`X7{x<[ WruPT>cʋY(7F]{'xˆ~IBs٦ &W]n5 ]С9}jۜ="0jê kB[]նKɘ}u<+]̈́*SlU#W&;~,?T`S;ȭ|zr!Rj%Y= I0} ]No56~66yn,N#&7PSf% w!j69"1Sx i%.(য়W"{@-=7<,~p6*rY`~aK0GݧJ~7ςWIǦ$e*\4 opQi@h˂]Nj Qqj"X|^o.Df+c%_&ex _8#*8+>.?Cdy A{ܹ ꡛUV!i`bq\ɵ8ߑ7LB du?ٞeGK^lK0`}`VK'a+anl`)a 1P ѣ[0ukvw=pMbK>~G Ru9gU"_0RBOAz3X3w*yRجTv#NS/JTrOjy+ 7͈*U~[NnɂI<ΙȚ מJcZ'~Z~kXW:Mt`icxQ9wp0sMǍ Lus}8z5D\Ir`@8[ 45Z~ЫFZhh54Ɋ2AݗJ ^8X3٣-0q-Qiוt[@  *Nl8iɻo5omt2ΓРIտ=D5x)&:J5,57ݨTSx};<ǓX8>{ƃaj'R 6xE ך.Vz\ b8,N531AF y(ZUȸW΂Zm&(,57[V|q'h8k'-6Bܨ=\*N9F7Q%8bFy*?zDa U#/#gDkLgV4ҽbI |{QB?SELj3 Ǯg(kdS'8q+wd`>&Bb.Aj5)>SAB! 2 q 2T'8k<';ݻ2a ߏ!|$W\wx{f~R$t_8坁(&;nI.ᅩgҚXHgJ C/ylϓH31vSƍ{QpN)9\~.g#$GX@ K9fƘ ]A( {S^e8?Gx~ۆ~gYgXi#!t󩓛?Jf_ gKD!472$4QcKȕa'<P-SIŌ~:\2L+0YlT6>B6F E}udh|HɛЖCGP<(ye`>5p.vQi&VhJ:OLV36SS j_C7R@\r`Yίʸ4od^;J3fՇ=Y׬(a|+ \pVBMl|ΰ)FxhLzM+)kR/lr 5)4Yv0"\OOXh23,XBв(1HtB*):kj2҆$| v#Ī->OL":z 8 7%c  .(߱ .)>OiL{pWr/ݩ& ѫl@w-}Y 2G݃qθ#> mfF[kElu˙IV``FųA4En:{;SX?XBL#vsDF>V,c5na^RI&Wсm!@9yM6T)>Jr#8`Bm}Xvt)`ס8X2C |P2u \w+31AT)SmqZ_]ѡiSmO2ޑ;N&$bfi=G;[-FT(`5TGl~+;xc19Un6 gJ`R{vL9\u`Cvo>LMF*cn'6E(tգLcӖHΡzLtM#BRraŨ &,(ܔ"[z5ڢO ; N 093&zKW3ciZW0OP'DqW|Ew6gmʙ [Q~I6 Eqj3K+qC+kM,|=#R9(L%8-Aqf32D6yibeiB9hl'"CRMLls6 >$IJy28zX)y#uv|x_"bdtTX?Y`16A'5Ro?n-$5 %<2tLbxw Q8j~bːh#CXTeVJfe;eqjQX-W#_aoߨZFZ@OYPAl⋹WzKFDW!P,xw}TW9p^̟]j4Uw˗SҼs=3}gCjWԋcx 7, KBˀ|ZI;v`AW0 ;+ux$ԓQ=61$&ƌaHA+d6'V6AjX Y]W6"`1)t5\d[R 5@Mj;tu3)|'zߥT"0q&DQf#xI#Ke'?-ڽ2("4a.U|z<~ZFb8վEʨ}ƌT: XB$)6[ɟ=8GPrrpF49צ%7zv\&α-) C! 8eyӚ =2ymM~~ Ե{(=P-ѹ<U@:f0$L~FddG^W[@,+6 a@<7]6s9:t HMItM_SΧ&ǚ[/J\hI, T TPǷ'.ܶQp:O"м4v.SF˲A_; >:@ط}n)u*a/fЂP֍bT02tImio T%?^9,%k_`rQ;3{Y|D 1'Y&L(oBs`(p~G=ޓO^_q؃_gir02=v`_PW8R}l3$Hi2(fGggmV f2[t- ;vv3ћL[J":ᚿK֪`k#e{fwc c!!w Z'7p"|Rl8?Ɍru34cey)Xg@[/iceMsUDߠ՞7q=0b3>c&ղ:JJ꟭i`Cŋv&]w߶ *:v=0d%|sT~gJ1ukITKurʱ[#Q ,Ι~m@L<<߆BPus5ut|Wx~`hZ 2_|Xg\AшE] MN]{NW񩔄lHcهrbxX =ߋпѣ\,D;|ߟ<&hr/PB.\KO"q')?z m;I9;dDoX6R.a蘙tyo!3Q:Sx7("+~. +=f2zck`mD]*g=C2e )4MD񛲭P䈹v.jj}c$4N^L|Xőt1)47x)vFrG4bU#}CjِNYNQ}rL#xMq|"Hs9w%`AjTLM [7GR<<0ަd歜q9>ic$XʛLeS֒.rY{S_IxNB}jK)y ](mF =zw 9+"Xy6 ]{&%f !)'>T3NR,{a*dvչн5̇zxHXQ!j[vvaXbӀBx{{*06!j@^&+~d!MAXRf^3q)t!AF5CiKB( f=Me͓& +м<r{}1}](Kw5#gyio;;2ik#z*NȞ1=!t'E\y6unRv ΍B[ԉ&r|z!jXT`3z \#VL|Cu`/aƩWG:7>S[z [xbDW*K;"lN Ugd'kJXn<]4x b_aq7%D8 AT [&a¢H&H(sJ+}gȊp)4T\޲GFԈo;6^!.^-nX(8JHzaåOG9ʺ_;`B2'F ikQh,7>U.]\,9.0iH7E `J8&7G@uaJBi`* ~ܘ=J蛒I31:b?X>b]j7(w!i]{Ljt!m~N;^e@==^eE ~q\j{Wp1{]L2߿Н)<U'*͍Tū~~6z9-o55c/BS% $}WvN:@1l\iYYA(RyAV~WsmaZxi7L+huD,/?穱l\=w[~/7rh2i{7: 'N_dD|GG ń\'%Vz = a<՛r~EPb3A0s7ĺWΓg]Inf#Ȃ4&V4-0扵%Nx;jCeb"v/5^*N3Tà5(<uhOB.?` Riv$bz2n/zߨSH4wg5R¯O1\ji 8S~t lQTu:c+Hn)f/cP3kr;QثVc7f; nSg:r ~lު\l[lvK"Wb΀S9[E7&V #12|Y0ȳЎ.2_ĞweR zͨ<ɜnAlʠfExvo{Ò6fV.Hڗ|o? q 92ݸʌHH#vҦMkKȄp6)|&z;_/FYt;C7@!vt?> 25b$yB`*3ym'Bg] zǺ]pQĎ9?䳨P _|*[dCWj ѤDpQB4`+C괯nXB Z]@.wgl=ϊ؉5T1CU#mj͋7IE ؿ @3\=iqar9†F˃e[qQO}3g2NNs9Ee2O6BG6b>FMqѣ;)íÙįJF H;/ ݜYs8Ϲ7:KGL 믆mmߙ#ĄH?벻yϕkv%L=X98i(,`Qsz)PkwҺѸd{J.Q1&Te/_?Srhzs@ -8.2` MvAϙ eN <Fp*DuѝO̓%J9R8vw~O'`ggBHK,jFg!Jc:|f1Q<ؾ7cr j) EuM }qtW"356ml<=MZQCΈ,)qđ倷x"=u7٥TnIpb\tn,ʴ#IQ/-ġߵMZiVpoQcl<8u6Q]ngX7<4tPaQ8qÈ *ONg LXxՏr,6 `1 7(GdgXCkQyZsd1iE" .rb>ݎjqa@BpYzQ@uAV"2fh\ÒL8i'Gh'LH!IЧg:Y]1JIxVwB9= %Z__2z/TZB*iD&نo|fN1{\p_róUl~qmއDjP2=iOl _PlǕt_n]bӌVH/7Gy_5 fg2FVW[2$mck\i7l ַi*%4k@O|P".">kȹy5kOϑ~XW:,~嫙$$8Nع؆ZtH R6.a@mv- 7.ڊۻגNGi ģ\֨+aMsS}AԤ=:lg/J"zb"-,O{_eFyYoͬNW_um8%~Ȫl}R)g3q/Ja~c^r*tҲ+(pf'oۅ Ő'̕OUGJ5i,ƁS}7'Fqk{o)8|Զ+3ݤC #2 ;9q-[# tlRu Hc'ۀs cM͏*=H RqƲgڟ_?R>j/mt:OνB'VP4r*bzL|t/fÆżhO[憕 DpOvFqjw:u'y$@փD Gs+Y[0{OB+,r dvV)N aE63jp'ԧ Ty1>AO:l y{+{.LIcK)#wq1cݎRiki"P!Xxoě\,H>zq@f:^iD}جo-3xĻHo)3vczh,ͣz{͉1Ŕ?)0t9 QBUP!/Vte}0`_Շ3 :c~ S81Ù`jE1M'b7Ð$0.<.0 LS`CȌ+wAA>|iDb3 ]VrR;J|֕Do9\Yr*I-!b>46یrׄi])G,u2ɲ)ūVfY|;,`6'̃YUImkCRU-q=lK@% r>M^K4,hkvqrXO'g}ޝIwxI 4&a~T {ą0eRpMVJPi^(Vei)Z" *Dޒί)E[b1u?!6y ȇ(RxAK UQ$n`.J44mWæ  vM( Mxxx?~5ѡbtV1=sh FƘKʟͽņ3D1Àrjn6i^HM+{$_x3)` b 7K- =\Iܟ'*ЭO 0ŭd-8õ e,g0Is` g\ s'x/ULćbo*3WTծ,*Xɸ tRGG(p߄hFf`i7YK+2%nU`Hڔ32)'u%"{#^ CmxܗFJ]h3BIx6*͑Tt y6f;; @+كbj{;2 fعgp~z}XЁE--[L5 ~Υ/3s5G )t_?!S< S4%rqҶPooW}_JL4*ZQPyhYI EW!] Sn)\C uYSSn2#9ZOo`^GL7,gk)D0p ^r&5s‚ׄ<=}<48~@©x/D~G>r).Eێ ݵx!M-]#JqXYzR:'Lb$x QKQffّ޴>is7tC~i{p>wmԦPt+#:i!D2uV AoXïC"*Iv>صJx-f=;0ch*7fljLh8W0v%"şƂ7f?i<.=Ey&vpO3}zx&Ǹ5p\2*uSހPe4OMik^Ko]l,ELb>Fr4JjĽ^_WQYly-Sӗӓ)‘ k@߹c wo`>#"DUV& X-+iRm&2}1ayBPG.߽dke|}NUWP;B Pӱ K1TrgYZ