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 77FpD ]/]Ordinal:threads=4elapsed=4.538cpu=8.236gc=0.4767zXZִF! ]ŗXiɟ7KIxjbk- f (67RRM)Sh)I&22##t!A5v/1vU<𰆋ȧ?T! 9Ah鄊r=LoIk](l2 ]M߯lF gYZ7zXZִF! ]ŗXiɟFHuߑY_I'G(`_e*-Lx8+#,`%Qc "5ͪu'fGƐjӇМr>?Nr6MBq\ntbw t1,Ix\|Rc3\gYZ7zXZִF! q]ŗXi%BzO޲.2!֤""NVM]虈\ve֍<<k*n -Ưg5TOY$&S{x<7Vli Cc:-Fxv[2Ifmvۅ\ȑ80J[y(2tW ٥xIˡ5Ls!dutg#]gbw` Y |MB4!R$\Дض+KbQ$L<2k"~ex\} Zs삥]5~J)p@d;D@b :g]^e}7?^;»kT*K#qkڸa3ϠK87{n ;XRwʬvc e_mt舅'~H]+uwyWF^uwa7yqS[$ R Zr%0fP;)+3|iT PcExЅHPuZ]ﶧ#\J"%dQK1vVk# ݼ_Pb;o! ,NJR(k,!(˃VP>9Z}Q~M\r7N.cĆzOaPaçtsfp| l!+j-_ iLVUMnN;bdf(RrZ˦<,2 rNA @jy+nom]zCQ<a,,Y,'2V5 "LDᬂ$e;,z|ڌV'qA|Vd>KvaЁ¦@@ HJ:"H~  ۔":oߧ gYZ31ddad60a12393ddc15bd327df1f4173129af32a96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49871d023673e4dd8e17ed9dfacb8e258477a5eec2   Ordinal5% lOrdinalOrdinal.OrdinalArithdocument.tex7zXZִF! L]A-MՋhvG"uIBm5Ńuŭ1N v5E8t5gc![O@NTʤ^ ZmVq6.DZBϢpλ?]1Hh[0NVL[fɯԞm;l m2ͪD ְaZ\ ʫԿc+;Cp|Ì;̀I#t߃2xstDۜYgBP,0 *C$#](svDmUH!619X7 YD~;u3OlO~:w/&sJ$ATEb4FoТT?a cVç ϔOȈ!ڹ`K}Opy&s9gX{4Ϋ QZQ$FqUc |vdilH0xK^D.1uQR N/Hޡ0V_ABC?,?>V}0c}YٱfE+}\9JfG'ƀEIo E% >673$"zݒ+}| S p1i7MF38" :'j'u `ڴTx0MCY0cRpYmz1]:.{ҍyhO)̔;c-f**6 ZBdE[mS|*\svȼ(ce VӏΤ'W0 ݁5Z܃rM;ہ+F_謉r@ &PT]51+r\޵t͡ XX9>2 91e0E5畛=nN_[4_Ч'K X2ˉA0 ;tQvPD7% 4OrdinalOrdinal.OrdinalInductdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ŃuŴ%l"*a4|dJgΉ~m=yL-;3 6{-j.|cϘ3>k$.3$4YƐٖ,{!nNuΘS8&l,Cgk357*x{S _ 1D~,?N.CҤOfVT?G8\fuw#/ fE%FC /~5G q(J|F$b.缭u_B͹ګjV~^'oʻ0tF` ~ 嫘-"$ЂU2># /#UM6B E ޼1fFD ԅBtEả`RD_[yV/G# i䭮I<(LɔB;n08BrNK:*{,=Gݩ/n/YB a,\ ^Rr;>Qq%ʠnv- ݜ!f'%ЎM['z!vA2Q8XE@DZ/Io;SКc-g3٫DOqUJ5z_{Gƾxm0UY\%`ȦNjww sM=2]U3DO٢$se{#>4E]Qqk 5u"K{2{h_3?r*f; !;kN3n;'b0*a+οv㑤4kS@pHf`1O"kԕ ȻSHz)䤍V+ ]V)vmI@Ouc%M6D9)APIYo08?PT0 qa-R'-q&6|9K4 Ƃ$u }JV`!4:iMLL^B]2*!̡mYk+^ 9:OX絣^ R$wdjsRTu!{tHډE79 0S2\+.3'T#L15  0)j4H]u|z< ",>֕0mc0_:!a|8Sk::[Fa-\SӼLCs-iDJ«&ܿ~DhSShoV;/lSQI2vb#UG UdQٝқF9zi, qe)w8Jfnh=`})^tiRar GNDXѻCN> 6qWWbbt3 MBՇiWY1vm؊&S&}h]vg@Jv36͡axMyǯ@CyvocO=$mՊ^'xrOo 1 [h"!83A:VXt֛A}n~(Evcn}*r '; 8 d y$>mRT?<ø1ܵ1,u vvPͥ HNd~.Ӆ??R&%>yǾP.JcчÔ 9m̃>6p J, 3\0)Ց勒4Ҏt/42Gg #Ds$}FZDŽ$HP̜eC¹[a>`D2'i'K/e DB,'HA ~£/#mIkKKK2!@6FމjXKçz\3Cnb<~ZƓ<E yHDDgI<9 $IB-vSaf]gdro5 \@tcZɺ]px?N@U)[%?S1Ѿ?E.d+_U"R%gHEvAFPJvg*fe`e-%Jz,Ռc-F >u=vhTmQx8;^ TGrkcL UGK *o`B{H|'}ݬGLQ0u s𥐇zichI}v\*4· g$RSOT;ɨ~A͆֫7%D<ց*Z?0Vs\jsd@;ȝ"F*^){R%K74z i(*/P)Z>&{: yqT!qcLIǨV2PЮGhpIAqdpW8N7*.u Bl0,C&lH " ~ 8OAϥT.bd\J;E`ТG 5CfY;o3Є% /1u%5V_Dmohp #YU;#pn),%DS˵t1/h0-ENL, s=e+~ku|%ঽ^f6qqƜI6ªq$OTCQgIْ PHB)Nw"^/UdHEVl{;WyU$]m_/hS䲛< a n*x2 F! ˀg="b ~z R m9 ݥl莙Q*[Q4^D6J—W^"I&A q%?d1Kfr(RKWE1& eϝ:<=sX(hW5 syk^t42~D#KP;${Ӓͤhh!'{OVJ,60!Rr!$d&EmSyE-Q8/` 0 iYxr?"j:G{ r}Fk<=7:xŀ[9Vyg=텠eOڠ$(4s~b"tBm'Q6L?F?\*9 U: - ЗF*݂(DsnJƷbeZbu y&ngGcyD|ݩw EI㉫ӕZ &'a 2O{)5 aG< ӕaGR*:*KG0maj4kܦUiDC3G^_;&ΌVF 4U$&`[!]7sxq S2a ۨpQ`z/QΦ<%sI8Ydsj؂hKY({kE<0g0w64ZR_\ÃG7ܝ עs3#E=_'ՎGicv^(8W G.}k m2%w}I >S2I,: n_!GeY^}/\~.[N]g܏w|E+{- [;X%X4c̦0(G59nyh!w XGU=<< Y^Nj[x4OwB~ɍn@-o=OoLg%P"߫^x?1"@T:;kMn>OxtQR{wҖ$Z'bnZ::SlXuߊ&{M0M!Iɂvj|g=TuVroě<:qPB$ }hB`ؒ0nI~A 7ERZ\޾jaWТ@p7Nt rc:*0=#l.VTFGSU{̖{bsPfK!T\> p n8$*ڛ+B]Z1G.0s44#NN5w.)d gf@/\.ߓB0d %d2cwbK͈1ldU._)ZZ_o{ GKf@@G(ޞJ kƜ@HeIeŲڅ"oC+%pCPUfp'2m>ڙ6jkYZ2f)@WҕHYA^!EO[3,),HeuA7/s PNx_`?s'?wj< @][$f)@=8Ƌ.j&B WvPɨַ),f?K:7a2uB`[ѓRt&ʀ#+2wFS]=$e_;.!8.Wѫ?e X`!>_źrnɲglUN^  bi{}qPNx~ VbnLf34mLvw5Mjxl Ġb|ɦ-EtRdLY'*0˄Y:mbR׵8L;[`Luw޿# ?`Ů) 펰AIgmeW&.Q6\^/H8 J2}2;XE\od`cao(Pa#IA<71[:yUQZ>g/z:^OHJsE%2S-]#Ca#1Kw YFDd~];>; 0LeAM(KΚ6D n8B ,IPž<+9UBy6HƷcCd)o} EZχВza,LwE0,k`) J7v|k夹mbKD\Zd'AyG* ݮtMꋂ^﹒p^V)jiFn~X)L6A3GA V u(V\ѭvcI$ЉLͪ8ܔ%f ֧fp phNP1fX)B,+BQyט/v!Q;8#!m0rrmyrz%1Vљ5з)=Ow!(.wxr6}6,&s6"iog02_ {LD$a9ןy_49}E'r! b%׻uYdWVQ7ƤndS/؉w:Q{z2z-V9K; ZR_uFnRo͘pg]re#ÜF6OX>j򼥳%VYb$ ?z6 x1>̹Ă?GF蠚֘|L¾i,H2t"H$BޞxcAm0(ԧ+ ?GfXM]CڋKx|_7E+%u ~9/qPh*|؎ n!*pA!缅: E aL"BG >PvNr{s;LO"ԍjm%V#lĦF7q q[b׻E/!n3s%mIcg\*Cu Ȩ>*4[1!< >=ݍʊmk'n[Mt#r2iȷIaupR8I|>[7n|11D5Blymݕmߞ΅\UDrz Cl}m1 "wwsR0p.]> &᮲㪋lY,陑 U% p,n?IK2R a&Un12flVJkxcqJV1ĸ|)\|κBdFrƃ6;m'.GJDiK9hd99CϖO)}鶍}DxӓX#50Rfy0E_!pU k` 5Q)K:<4ʪ]=Zli\40-<&0&|N4d"|N7b?l_NRχM+ͻO-mD4h ʱhηaY z3L\:=/줭0ɯ|+aHj^VW8=>W ! U ,jiW@/W U:tMTv(чiE@oNEQ=x[ҒC q4ǿ )1sgYZ*VXcC:+q`@4^ 6+_wՖӪSM@[H~8Aq5eaah7+Qh y .S]JVZ7~֡ oM2gL\KO+*nVuF.2hIk%6\!.7S"!NiG 쀲ză; =`J4IJ Z&F'cYGUlYr?;re4߷ExD^Lf0e{z'MDĉAwwRr!A$j8 }υ b1i3{:h}C`tD.:HK!N/[ǖ΂xn2rk@OZ B Ha׊o80+,\VfHө,8O1\_>-Ny@ wk;}ԿF"AOXTT\UwmmOm0Qj|0hm71j$ݹ*Uk#3*nm=̲o @72Cs #m% — V}c]nu}7znmJ~S!M :ތB&dͬ Cm/9]#ڝ“-yX fQ_wͽ kI`PZ>k*r(nЖKvj"ZP|- >;P{/tF+lC)χg8Z/sRp' '@%^;IpތR(%i gvL }3I9uւ'ּ䔵\[Pw% 9ZIEIM,Ol_ gM{XlƉdWSa= ǟ Þ9甫h{A]_1{l 'Kq6B*M/i'm%ؾ(1믦B)f2q/`ռɽ ʄ9Jo{W^qx *դfʼ+ɼo}¶tC[fdw;O?A2kMj&[ܩxg"L{Kٍ)l)&zάb݂rdw: Q(O5*]VzlY#\*^ä- S{swrjtJP]Mp؋Fq\5w;ytUݠtt Imll`[ Z˥4]vm3B/YOLuqyN`A3Rcx_\K P95GN#μPbH YgXoqM8(W偷]prܭ^bAęzjah#QWqG :Vt8ŪfTnI%9$D+^X Zh&'L&DjL!`j.kmx=lǏFcA:ʆ`y~7[ׂs}>M[:+<՟@-1ǘ\ݟwS7B V:"8ӞCiP@d+,bYb-M|W5R68&߫P‚vRMq:4:#.( FUN0Y@S/.,hf(1ꓔfT S~v"} sFY <^ۚUB׃z:ˆ5 /w8'p*Db7M ~~^M3Q6[4J {(׵A0/u1m6=&Κv{yZ6yR?6lceDe9@|LWP QI>5uF]zRfk}0Qo}ZYBUB}zRǎz-rYQR ٜׄQ7.x1oČƅʹ0O0jԈRl\GXtR4M]Kc fկ3.cbisHΗې"d]+xO-5,$r(vae+c^E+wQ7@f̀rmo B˯[P^ڟų:q.7m'Pf/bؒʽ^5'[ 5$*nRCP0?QCGBOcQ15qsm C0*/ub劻iN׍Ơy4'ݙ2 .HD-ǎedM RbfPOuʗby^Q7 ft2A7| ق/R.7xa@ Dl5Z@oWy7?x.ח'Ip甶 ( |Չ{{C*:IУqcbd\=$S`?=)oq(ks䖸¦5@xfוb0>f/HUG{qvɲuA|-e[0%D&(O=**cq}`(i̟`~0(\ 2?P&=cuw)_8e!wpK<7tKhuXYkst3Ӻm$ѣ<7C>}uL&dwU=TDck.b@)tSݨz4hRS*HH?{K_!RrW>a4JR>')q9ۼbľ咜]\J_a"];@5 F:"9l_n&'ŝU|S\v HDevb«'Jqݬ-!h$W1b&ϰeOBIt5j Y -M=(,B~XHoU2+,Y+I9~nU'a|` ,7-]y"?RwvX.f+`%M>0)>ǘey~$C$~h\yӴe r2+9iG;񧯩B9U8Qŵ=/$ T_nxAʼn\sџ OqyÑ>8CYpFM oF()An vIT*5) a TPetahV*Y.)-y9 Zb\i=ײ 3mQ4-9gYZ  5% lOrdinalOrdinal.OrdinalArithdocument.tex7zXZִF! L]A-MՋhvG"uIBm5Ńuŭ1N v5E8t5gc![O@NTʤ^ ZmVq6.DZBϢpλ?]1Hh[0NVL[fɯԞm;l m2ͪD ְaZ\ ʫԿc+;Cp|Ì;̀I#t߃2xstDۜYgBP,0 *C$#](svDmUH!619X7 YD~;u3OlO~:w/&sJ$ATEb4FoТT?a cVç ϔOȈ!ڹ`K}Opy&s9gX{4Ϋ QZQ$FqUc |vdilH0xK^D.1uQR N/Hޡ0V_ABC?,?>V}0c}YٱfE+}\9JfG'ƀEIo E% >673$"zݒ+}| S p1i7MF38" :'j'u `ڴTx0MCY0cRpYmz1]:.{ҍyhO)̔;c-f**6 ZBdE[mS|*\svȼ(ce VӏΤ'W0 ݁5Z܃rM;ہ+F_謉r@ &PT]51+r\޵t͡ XX9>2 91e0E5畛=nN_[4_Ч'K X2ˉA0 ;tQvPD7% 4OrdinalOrdinal.OrdinalInductdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ŃuŴ%l"*a4|dJgΉ~m=yL-;3 6{-j.|cϘ3>k$.3$4YƐٖ,{!nNuΘS8&l,Cgk357*x{S _ 1D~,?N.CҤOfVT?G8\fuw#/ fE%FC /~5G q(J|F$b.缭u_B͹ګjV~^'oʻ0tF` ~ 嫘-"$ЂU2># /#UM6B E ޼1fFD ԅBtEả`RD_[yV/G# i䭮I<(LɔB;n08BrNK:*{,=Gݩ/n/YB a,\ ^Rr;>Qq%ʠnv- ݜ!f'%ЎM['z!vA2Q8XE@DZ/Io;SКc-g3٫DOqUJ5z_{Gƾxm0UY\%`ȦNjww sM=2]U3DO٢$se{#>4E]Qqk 5u"K{2{h_3?r*f; !;kN3n;'b0*a+οv㑤4kS@pHf`1O"kԕ ȻSHhlR{R7 #64;{ߤEWlIR2B3S&FȪ䐌~ (CQhcbJ~lM^vćV$6o}ھe&ͩJfbJ@֧Xn_@)]ncЫ4!(go2AϘJ]Xa?Whk*k>XطCȑ-;3 %Õ>t_מO)vKN !O  %#A~c닇u9Cz!L##fJR`#R}"[|jBdc8UWloVI1 67F?/R4`.(P7I̪}|X0NRgM3ݱԭ{>13$ϩ>Nl sQOTWoJwUFM$ěPDdRpaIu}ls嵲Kx.ܣ^RmvBHm;^]kު7$Ƨ=A 27>(E Dmz}E-fzp`]&T+<#i: P&h1E|y/SME}U*kynͶvV1~i@# KR]6jEb+Cs!btiRݶGU2wI@T^dk CDnrw*FΦ^P AD-/I^ȋ&o\suo~ >.:*z]nEB0?&ʮ[4NO1 cȘi萳ktY\6~7BMc šW[{µNd49(?y:?z/j7 q~(qIQTaUc!Ҏ ;uX3i+z0N7Iw5#)eRdo np"s3{pUGߐ%؏#n"[Mz7Sx ›{ϕbqIQ*Kr*s D)9Q(nW[P?(J7 'գvdnH"KXþ&Ua]>tv8#1x)|&Ŕ"fS7Tu̅ofAن0 SqBU,6.NsAB5oԻqƻ {Mvgt>E`KuLM5X?Н&]<= ~yInUr YnY*oϦ{Η@bأgNֲ Oq_:oޡzS3Ab$؋@mW&Α FF0GgU^#^[mzu2! Ys4aҽ_ wTˠ.0]\㦅i-BFE.7Ik ?kI\-o Ū~IAC4`%Y4_#L·lT,%>8_ϨzW-N]JLK|쓍bư5J_ v?˦?q5^-]6NLvYi,;gܼh4XWr(]`1FR݆Vө*&ki[GIϞQVܴBW^z3z \( b4x+V`RĽ)"E f5}Ѓ }?:5r_f-Y8y5 Xl?4r@A)#)#StXvl MWĽ.@\D-pA . vw(*{CZ-ojF֧E3Ui@q ѡCfqf%CCzCpD'* *C$?9{?xj )ݖ:unܓmcdnx!/v_0lyAyXw;6_IsR͙'gt29o4!٥LI r*\6SH׻=In0c"'.?[?z]\9ׄ -E(:'}lVt(h뷽TmI, vR#ju0 OJLHL j:\C76=*>$xٛծs8'rA5EX2c/GSQvf|xX36hۺ9!'|xomÓ Gnr ܷO+Ò_y`HMuZv% ݂5Xvd[JȬ"#}*@̈(ّ(Jʽa;&<3,N1G~ZȰ+l<āI|0۳q N$Sgf|89ZBpBӳmʔZ%$,G!ZcۂFg1}=%eJxMcS"ɥmuJOPjc1m׈A )u;pBYLO:+?Ggܙ)ܘLg/%5 '-߭} \TO8A{_'T2MP9B\*O&+:%Fq9htg4%Ua]v@9YLSRp.DlPo?$F5KUѿ7#r 5mꙫ>#=Mfb;K>kbB8[4 f#p׵TtkQiXɂ ]Ŕp(> vsZZFp:k)# qcMك rkR% <U a3<G=#rwĬ}6:蟒UH'bt:„ }Rc몿OSǵ񭂧߱¥k'`@?3Dme3;֑2^U; )| TNUnn1 ;.+CNO&w@-eiwg-1e$R ]~~w(Zk*&r=l?Px'v[4[AiᓳpCm^4_$rn$i{Y^I櫇7hbHuO:4 xEƓ,lY6NaeΙ$ta:M((Lfae,^mv+gc~5B sYZtS"uBz7 ^{N`-etnqrpm7OK3EnͩW$˧N7{ +(ͩʽ M)N+VPb!]ש0}:h9;NU(˟wjcʶKSJ7T4T6#~>4Y JģHjQ q̇"o)c2[p .h7<O`V_R~ :󓡺zO^NcI(Lم9XYgR EK@kfyAl).w}pzrtzOs|ѐ+F+oOB'd`!{)lUl4@Ϝ"mEB1HXRb!ZR̅izGs%F]n!!_?SpvM*׌GcWcC~ gi ҔF.\jG~Af܅ٍg&V ?5M^ n'%WZ0TjGtkz־v-a4X!lx8#>^nh~ŕمs@ec*,3P=r CBrO|="6p9Ժ^MTYZiv>T)QУfT!d7;}qQ- :.Lyf6!;Ϸ-^sC26jYy.z7q^3EԳGC VNb+%TcMF(h䆡Ю- )5ĢA2uhd;!bvu@Vv4cgYZ NN)1% OrdinalOrdinal.OrdinalDefdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ńuů1d7>_]R#:&=d"Fvu'L,Gރ&P qu=dM__X"( Ƿ\_a85 X|+u /J%,D4{Mvc%VlRw a {# 9dßdF 6Gt궱BISJX#kj4Wy3}PґðMtm/T:N>F9QW>_wpye,{jqoRqq"B׍j\gĞ1e: 9c 4ϡE(°YNu2'78?1pN7xC:z[ ganlQ߼-m|F>߃?^N5FL~^l#BnC{LܶTBiZO1(A`/H݌gf ۷7AK*Т os.t^x\tGuq'9*+겝Ƅdh'v~Ka_0Q$ľ_5M+mϺ27UC? {{SF/-')~jh?v[R۳;@==edg~}l7yŚR̅(̗-" [(k tUy V;&w%(ڥ?/X.PQ&r5+=Fժ !h4rmi+0OS–^\3rYiOz H7j WN] X[Yc|P74d%X49N*y:\奈 ReOM#4w]'.)\;^T4]꠾v|#yH!; S~vmFGYnZv F75jַ*@!HM$3&zRHxq>XI? tpU>{g9GόZZ 2;n, 0ixffa7w/Bbכܪp9=؜xIVC[N+(9YH$L;q!P@\,%ZA kxfRsPKN3vS=ZXO#8CPJb|o޵߅ s5% OrdinalOrdinal.OrdinalOmegadocument.tex7zXZִF! tY]A-MՋhvG"uIBm5ŃuŻ04dU;E1/6m(bP KnryoLlo;Nuc{I8%UԷvM9 R50Thl0rO[:6RxPoSw/H44ZX8b5[tOQȐAd~i\vV¨r.+) fQ5YoP&OHQ@gdKԵ&O>s̼ci,`9gܠo&Ұv˅ܮ Q ѳ(=]p8#@$Ik߲02nAyzA lVJ D?̗fOΜ$8.M.XN,[ M2,q赇( 32f_n3Ճz0E850gbd _\QۑoB(Y-!VlXHY7oHQ`m0G]j<=qʵ*Uer'A=uMe Yw38yז<ԃ u3K .q+ymeڴGE D11썯-'ù, ,= ]5 Ю J⬠0>j!HdsDYX{l7j\uT?_PQ cSC\SܘC]B3bw']F?*MfS 0l}\ΦH/Emn7[۷ˠy%Ϗ,Ũ,VJ>pM 92x g2Qֲr*wQOUEa:%/o})?rCa' ,Y7:nX'oU$x]WC"IBzڔA*`h$߳jP5\bх Vd=kGZ VXPlgjwDaSuWwSfu)= ؍C1 |[mWUO&'O8," x"Qfp"rKT`/Z;聱ʲ.j/B 5$&]vλ!鑐\(^-K-Umxڄ gƅCjrḘlÊ-z⬻MdV& 2NgRԚ88È0-i 1SQ\5heB Q_<p64¿8pD,qN^&u4lĕ˥sJpϰTVoP~k(NjKpHev />]_%^tج{6Ug7DRyjP9Nf(NᘮD0g(!,KO*&[Ցe>c%9:G@ϋtD&aY-9yE; Cu*sj >1)sÝ*sûq?{ybn,`'9M= ` 5gƳ'?=BoJdX"JǞwէ}XJ4J,|WRW#qι&?tYT_2h4zP+'w K/QB35?́s S!z6qћ>ʗK*Iat79M< 0`z[I5ø{j8OjSxDdJD)(Ǩ SM)e瘖Nm]_m#w'-M,rg"RԠR陓 85x*LSP$y~ݧ^YO 2Fn&~smTY$fR#SV X6FTp[Ie 6{(Dέ 1(M5 ( : e.`N\.F/ՌU,0*x4<]P16ۆak[3=E zTU̓R1ffF ]O+gFy)TCpogZ0j_FC1QXj;n,dD qu.e\t7q+Οo}?iUi;5c(?椘{6uGL#I,ho0JA Ŝ1kxg2[~)d}4Tβш\gkD YY].+% Op'(xn&@ & . EMXmԗ!C H~|{oA* $(3U^yKPPd`IbZhl EzsQj{1pKjxm H3/ 3 FP! 2O]ݣKW<JK5"Beh]ҩAc@.R'Pt+B/R_eu(5y! 16{f>[a->."R"vhɜyN0w, ^p ُK=gnlK*uٸ黼 m6:_?@Zn("})D, ;/B:2OpEi S䎑d mMCT#Бn؄}ߍC)b CxjJbrԶ@HX>wό—,8fJִIlu88@mⷳx K*~l#_ YRJènKŰmYz=X-/z >UVH LJۂNɓCh5$u'L"[6 klO9Xv,P-4~]\ !<,˳Hhp~_E HiZ X! r \ȔYri~V m~PjJ @Q}I5 NŎGtƚ[s? yxc2Ǜ/EIϼ[}ǮLIӽcyn'Y# qrA%LiyFdmz JY&{s @ݠ۔iҠʴDTӲ^f)70~!>'].y֐ zoDKm#'7ERVFC3]#zn DiAULzy"5ָC:٪Ə}NH\_} Dz|h;6TZe5:ha% =_AJM ]s]8NFOF9vTF` 5R dO-H~%>aP-sŤ1'Z֭i^~Z(]bdV[eVzWq2m"ܧ/[|/ΉL\߯1\?1㦇"9vI-  Gr&=](!kNZa׏S_>M7{X},AZ@ zb{\؈Ջ>CcOZ]oVlcnbrAu N0&Ԏ7~t~\+#g`G9sR+*fN5ş{>|VI((4av'ȵʶmeސt1ttdjig7!HCJ$˓dؗ]c.W8_K=XEPߏ놧癰^\?[o4y(5hg]sVUۼAd*}Z(hAQ;ObsO{7s4@hiImh{T!XuȯzbEjEfDɶ6;vZ)Q'{0E.JS~rXuɈa|k~l 0q\Xts!IH N{H[K|EO57HM /imb~jASPHf}/_ֶ3 ?pq\XJkE2*o <]<>L .jRŅG _ QwW z0A7Nke@݈ 8,|ڤm>j|U8|*hyЅSҌ(<ؙp;0e.ȔD#]01Q?SLh3&lC22ܖ܌Vy0aI( hӭh?-gmڸ oNU]W_~Hq?RK}R=փLg 2RU %Rsdl k%p9SVF 8dZBoX6}Qg&Á膻˭.d74#< Ofs$phq7I}{MMLr4n3fRS{S2p9PwbI.Jj /Z3QI?xv;)R)tgQ@@Y#.NgrKtxV2?udC5h<*<0mcfj,ΰy \~ : E3jaV e4Qu )MO{-mn T8GCK\#@@%2S$,Zm]oN NJ0Ԟ LU- 0~:ٱ/otZe4DžQ#$!%V7԰9V\heMD(_OdD j>XKmWV=)mCZ@9N&z1|K١`P. mӶ9#\B"=Od*}]y~8rP!&/YEÒ1/ؔ} YbYl9/sXJs2 PЎ2`"\KDNk%G.gjJ!ΡN [ " xt N [ ]oUg)𨛓4#rFƶt>}L۷N[,` O᥺3Ufeo!Qd @F룬̢:"D,#0Al sVAlEbs-KFr oP><EHPz}noqՎ̪T"Kl?\`CZc/}8NBJԤRX i'l!w.C#9DP1!p|t[/z7 e G <eFwkR#lX, %(=q2V' Mo,}X҂x0okB}?9d|wh ;Υ [GΈmױ"7I/Qpy5/W/]XjcD}*!Q CZ96N6k6eU  ds='UȒݾJxPq-"zo<6C.R2p3#:;L"cT/ԃWy 6z,H PR#xW Z?;E,٫ug4]R|nx7|[S+Pq3Cu(g6C/b#6W~CvꝻZ/;hj/, oe%˗ՈasGecv3/rx$V|FN7 QL> xU";Ch,=s2U&gdq:2F\ :q3Ul+DOex f2snA!_TWn-IZy+-<\O`>t(5 WDAVŎ8CnL[-ax_h=I\s E̛GGH\ }QO{"Z7mK4rQ>ZU|18`_na"[FѢ.5 p&E 徏pVTmmKYBmg| s~-Z\/"/2Z #@r=תd;|\vx rXvX⃜$@_y {M%iÍᏃ8ňw4iA*GgBLy## Ś@=`Uwv'Y)zeC ȅs"Nʥ/tSҁ} +SR7Blh)'Uc;.w'A1FI+Eqݴޭԏ?:1 ٚxc~ΎG9p*v+28ڭܹ[%4sORWS)voKu;D;Y&΅e?͚8_Z~#ϧ F",ǩ._9h\r2xh'\TJef{G+TZ Fc̀`2 rJec̗ćqjRS9׆Ѹͮ1Et'"|)KY/kNo(3Pbet;JJ8om]aO POİEQbuг^{"R3z]2sQ͘=4}ˬYedViޘ_~4prvt%W.?j9XRUsRr]wI-seY®!t8PꓩP= hx^]5FW_r>$:TЀ`I޺GEȋ>oQxKdԿ6x3O}{cHh-c%o1ixzgOY3>0w-0H4 p<])PY gYZ  f+% OrdinalOrdinal.Ordinaldocument.tex7zXZִF! {]A-MՋhvG"uIBm5ŃubGޕ~w~DՊhu t<8{M7=?R:6P"q @:arRiv \J.n@$3gYZI9% ~CywV3_{&VTF| Y1~aXZ PB۰u<ƣRgv67ouqI,*} Lݦ=j?+UTݐ^MX{'CSQ/~f*’VI03A=.: [7$w'=3Tި3=ZdɡN0D{-"jGb f yUɗ[`z} gK%Տ{[MI>EtSc8|/~ 1edfT;'ØxRYf!)Di~}lE&[&g ],B{{_m0;˸3ahݡl!̓|sH w>5Τqzgw/u;l\pwMz{;T{;%;k *3% OrdinalOrdinal.OrdinalContdocument.tex7zXZִF! zt ]A-MՋhvG"uIBm5ŃuůO6e‹YW܊̳A0o DgoPn wRO gBs-ӃIQjbudJ ]J SF,謁7j J+m;^8] @V,+&OYR睺?ZIe-}ٝaG O;8 .2]Bz=.<ل' lb&U=T9fg}%$KeBN.S% $]Ǧ(mOުeC.ZHT:Sv%;? Gn~~g<)D;5&n. ~^Kg br @iGbHfoQ;& ˛ ޤΚ>7? 2B0F\q?QNvCNgn`Ie&NzIt^SxvڀJbip̳(, KZ7v\@+gs]\.dpunvOB@R E,l&$]~ {^ڿСYغu۸ͪ.W 7w﫮xĴҧ'O/%7⇸+^$tR1tVTQ&pfvSwvR446 #,9 gy\-*(wf 0-)X~Br"iɈQ+h*S6*!;W,Nԑ_jeSQvy4V9/OK'?|\6"b /0"u:"ŨHHE`ZCds|ָ6'>UU@$&$|G`D~Ra.Y? EDFoLSnqT]@\dI䌨]K * wQQ\HMNAh=X |,'06Sđ}zg>4ɼRUGPNq{'v_}Nd݅/CR2IKP tj뒀FZ/B1L>? fj~hI<bJ*oabrc.tT,y>p`RDU5",:z2|zg})p ڛ󛌔KLPðwJ5N Yp#Bn8mNIR4?|b70r 5.:s/6b)l.LJ/3}xӏSDd%fvLX6, >r#u]45Gh^%=t,F@y3-5c /|ojv톢0;ŝGj*B"0;{I9q0$)Nj*BQ('|? _cԹ}GmVGscz&l7X1(k =s nP&tAAp-eYCU%S hna|U6ƕzPX(xtRI#{Frqwu P`H2D&nuރӏ)#gH+nf~okgJAT;0>1 rm 7 lE6q ۩ 5>htyc6nA.Yb蘂Qh V R\et`Sϵ),jV-5~ TaGO+8Q&byblB;A-rV՘D&ڿ4k)Uk(#3K.@ǡUH!ӳBZH_i eǃ:#0*\{B9@ V6%6 JxgZW,ϥ/AԌjHl8{"׿ 0 j,'24z0; G tL_|;wnH][GJDT b AC0 6~S{ @YRk׊r/I'meG*(P- tP}dTXDb#3_#n iqgmNLҹGY7"_z|M.6rjD!SԻNqhКz^ u>E\n7ĹA>|,{)P}_j2ןA2 єW,OδVkz!$xa=jٻ,(l{wk_&|iN87Xa(.ID&#Sn X %iA]iw b ojΟ8 w7@j@DӲ<ͤ+`{u ӇIuQvm]5~;ẽw Wȱ&s1l  Έ.3mqQ+veP0@g?{㘼G]lOAQúD3&\cBTfx7"%$DN~Gu qc_}aBmUmn[]~Fɻl.p#hDwªsC8'z9>ex l~fXLh''p,%tYvb OJCֿXt5ʑ6@(+Xx n]& Key'a\,<"{cbD&RzٳR[L ७gfB8MI^yPd2!` c]/LؽOѷ&^G & u0Vc6TË(+YR"^m?zLl`l}c֙OQf3WZ`9N$q :撹PC/Ꭼuy f=B%~Nfӿ~Ҥ[VG`?}i ZW]]"JG2` =kΚ53ؔ2=b`hqFj|:A] =2W%|ގDnɀe@·ycRM'?6}S]`$v Nm/AWrU"Z]% > T; 1 n(əHv<\ 䳕DV{w6M ۺ\=j_tP)dJa8̼Njɺ)hoG]&F*5B|hy,  )W)SAdvyռm%{]b7Kmi&oiX}4BOx9Ay:EՁkcĥ6MȒفNe:AFIonD'?(/L#i %LJH6;1nʸ f[drOC.V/ PB,!Ĩ}Y]۠R5KW+7Fq"`c3xL4= L zOe@J#@ 9sx,tn#,T-f3tJ5{֧=\1[q7{2.lv@9m 4ׅ׊]B M֓s UP= `1~|f[&[Bbo. •Aj"d~@PFXKOsˍ=؁]phXmk6ea>*ͽUj':YS7`K˖2똬z% ޓ@;=Ct8BA\s" t{,w',>s0A ^k:@"ֈ lč_Yjegn̻)Lt/Hg)ǩUU-:h6 D,$c'4`Qa]<۠)_,hxrR[ #6TO=o o9*o[v|p{OT}7Px8t-H|ՠ^e }_*W:ز;D# xD5"&D6lH7/݂m97ykt|楡FLdqNox>R=X 4HKŃ`lZ8ﯣ*~} BH8%> 8rm ua63AQ&$taq*ʹa$cmǡJl(Ip&=Aa@xJq7<B`\Iˡe&PQAdyAS964uv9KSߑy7{ aS{sj-ͼ좋m"A`.@'wwiB >[ GEJa= "!A $јo 2.]Bc_n)knhWI=1i}m݋{W@x[Ҏ.;lv4p s_;z#_U=ve}sG0<;7|B+i>4Mm8TwFhuЛ1G@B(7 )i??ylIhp#Y\n17YHHH=vpk GnykLܑyu Q;u(16⒄r.eCE g; ҵ2@E %Q@Yᛈdyۛs*~:5$ֆb"'fV'9-%%%9ا 6Ys|0)$A$w!빿^j"=peH_947xavjRgmQ.!UDnKR9#dl‰|#]zWY;J,=y;"/gYZ