SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  N N/$\ ]/]Ordinal:threads=2elapsed=3.286cpu=6.008gc=0.264factor=1.837zXZִF! ]ŗXf1-/6vR[$ l0I/O]kPJ/iCX 3[%ތECG41Lִ+[:H4ʆ݆LԾ!wZ1ƈ% H:$UMM 2h']pĒVSt7O=,$&tu]VI/@56%xgISXӳ4XlJN{[XUh.50Hv°clzc?uNPE<3Eu)Km8]H:~ⲏ?xno77t9* Bԫ(5:2kg,YupK 8Or?' ޭOXbKULӽ+7*'={Y$N#a_5h. WR㮫wCMm}8 WW5IidV}P}i:ѺOGFNOgYZ18097cae02aac27fced660dd2accc1e88467a4550a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a1222b5b2f9b7aa8aa8dc335a6582c69b693d91aa708   OrdinalS7% TOrdinalOrdinal.OrdinalVeblendocument.tex7zXZִF! 6$]A-MՋhvG"uIBm5ŃuR@xqlaq\YM]?G[r g96/ Qӹ)׷}<0iwkic"R6(gCbiH%4".`DD(IC&u0}W9x:ן8~2@1B \LWiCv  %uvmpm1zR;3ܡ3rޞڌ&,a9H*kY FI@I)m 7>hlR{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    =iv=G+1%OrdinalOrdinal.OrdinalFixdocument.tex (+%OrdinalOrdinal.Ordinaldocument.tex ,3%OrdinalOrdinal.OrdinalContdocument.tex+1%OrdinalOrdinal.OrdinalRecdocument.tex/9%OrdinalOrdinal.OrdinalInversedocument.tex+1%OrdinalOrdinal.OrdinalDefdocument.tex.7%OrdinalOrdinal.OrdinalInductdocument.tex-5%OrdinalOrdinal.OrdinalArithdocument.tex-5%OrdinalOrdinal.OrdinalOmegadocument.tex-7% OrdinalOrdinal.OrdinalVeblendocument.tex:+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]:znx8 8rCq GҫM'J3GP$Vm}q#Upx-+s밙3?0GaMH-"S.W}P6 atOĤ G|~ҷՖl cxT {W!s.l3J4\ wIJ8!lƉmxsݫ(ZFst;F+Xڌp*iY==w; RruX > G]{E]MPD$$tۃ)^i"C$O8LʜB\vjT.!BR2όhꖭq;Ҷ>,v&ׯ}*az"*w_t_}@?EMltRRy9#wUMzOk<_C2jDо7xfy쯚.mw2 ~HCuyVǦ"z gllŰN&D-XIsjqcS ݘN]ZkLib̭nRT w\ ~< N7 `KteĬ"+#|n$J漈13p>nbR/>z$R}|`xu %Ƣde{y:ujUD4^sE5omoh_? `^D>7{gI7y\m+42:MP&ya+4Ɓd -|~1pljU=P A-JF&?h;9m]WU+T%ezn~Pu% ?oH0+۟` bX y2H_U-Lz<%N8̅&!$$ v8yO"edӱl}لGw65fKyj2X-Cblhϭ7kd|`|$ 5S(Atwd(N`VE@ab6&{׾?:oG0u.%[GKd"ڧҾ غxm~0\"NUq#L8 UVg?cΚtC}#Y^ʎc3ui@%ܠ G.5yQ5+ y`Kg玴T;FKhvENE>gFL\mRι> 3Ӓjr|C{rL*@Keb66m1/W^S6E8'r ) u`%DahW|8['h$ьEX+ry BpcTU!7 * XAf<:eu'@2OJ*O5LG>H+IIJ3aukhTn-#>tOyGtKWP6T}ߩ<%ByX@h9^ObZ,MEtvҸƷN {<IrQh +>o4Q~˒;8 ︕S`N$a [[| 5y:ɏC?k_S<'W |a;$QnUJǩ!ѦW\+(":5g>(Cj~܌o$Ax_W}s7 &˳.k;}#5EKg3W7%gAh5P,{7Ɲ 9WV7 yjA qlɂ 9^qt`Bb$GO EmMRB5O@|Ga r^ ̆ފ9/ō}kwx( ZKHSzy3qe g$W,ֿx3k7hoZwsC b;mP? yv^E#|F_5hRб˝8O9K18}wZ|aBc)EXz%N׶6Z$LUOTB*_R 㭋)/aQsSR5&XVE>]d*HJx}6 W >!R"W,%d֤ R0A+[io] (hIUH_Z'p/Glf [32}B\ݦ'&ٿHx ^@/V.J@~jZ+ߨߩl/2@Q5#Xԥ9EO̶نDX17fR!|<껢Qy42DQ5[hot.Ou [z1&LpO׽ v~ OCJ& (ƽAc$?#IJѓ6Wt9;BL͐5 7ᦫ+o!_aԬua| r*}sYD9E M|32!/R/-FX41Ǯr9L]ϢD/jw87T)|x}WĪ>S H"Ι>yi OP4nVuXI9ו!/]ۺOK0wS*mW^?su+h6izRP }o>7o79z i&‹Rg]D"'a9yY/Q$eukpBe*XiA}請6FS&t5ڶi6O{7O(~/Tmݷm{(wBK)(Sє͢~퐙 ]]Iah)M4%: sմD{~4N=څ]TLpNc(̎|ľ]n !LH ^y cQؚ!V.T5gYZ?(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ʔZYSLmż99!`C` 2 CV0uBp\_Zl?6SN<;O -'06>OED#`3UսUq*m%Oi_Ëb'\~<r8dd9:Ȱ adՎwh ڶN3k~iE~x@='_9yӳ8w}z~I}XT3µ}âһ#9J;S%_]oտELZzϲP Je!&7,-*uB~[7݌t޴%2"'!RJ ɯݼnQ]"&<8?Gy̙kҢXB)Ohwa`-])f:(x"ӭHI&Wu7*>9< [jy{!M!o5VE4wȾ]Z/4{< t->A*zu^#(!ǩ19N&ʂ/V ԑ-[GoRҺ^uk^\p9ƨn[~-6ŠTXeʏ kPh- ,zNgqFHnB*!mHZ lo7uآO nՠn˫6exy㌚3 m㲫9 9ӧh(Sr]*#ċ;/vꞸ/|مm}$XY{Sg58+2<:r/"&@w:@";{TNU.+[ mlj]wp(m$8e(m11sG rp2"]}@ht!J@0YzP6-0Y;Q_ R}u9*TJ~e 3\kt&}0=胖G֛`ASdžiTGҊkmti' mXoyYխc>U}ܓKRF< ubK,Z#1W KԖ阱j # ScBuSGZ_Ͷ@9"qXh:;"?MBcн ZM$PO|FC:]Oa-(m82!{i@M`k U$4%X(R`E=lU-=J}z-s79V NE%O57XHA2fR'fG_Y4Za,c2%*䶀H16'{T%]/Ycl;#FsWrk X.~|@T [4?cgYZ S7% TOrdinalOrdinal.OrdinalVeblendocument.tex7zXZִF! 6$]A-MՋhvG"uIBm5ŃuR@xqlaq\YM]?G[r g96/ Qӹ)׷}<0iwkic"R6(gCbiH%4".`DD(IC&u0}W9x:ן8~2@1B \LWiCv  %uvmpm1zR;3ܡ3rޞڌ&,a9H*kY FI@I)m 7>hlR{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(*VXcC :{:65% OrdinalOrdinal.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 ;tQvP{V `^ڏء8bkK z5% $OrdinalOrdinal.OrdinalOmegadocument.tex7zXZִF! td ]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,ho0JAnW[PGt:/7iME2ŊL4u(f1 [;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)@@b(8V.D9u.1 ]OIQrGS䬐v+COJR" >LmEx\#jڋ^["Uu}/LUO9u3&R ?a`Ge彴Y5ݐ*zh.xOtW(䵋R"UG}2ZQE B8=*~gxmD 0G6CEyy th-s{%jI='03a?ucڼ'Xʅw~78a!cL^ e/kjUEۏvdZAQ%1j(8雘kK`8?]T7tYh}^ƗŬTV\b ,%'3]DW!` E\n{R LM!#C 6~+<0ى,>|9;`MAoC8JZJF'«]IV7k5ȻfTZ_:HTB82k88C-3{(݈9p.RP/6_פߦw78 ɔؿ:]FwI@"@>n)]?≘ "̿ 0`rTehmy<ǑP=2z1n6ryr͍Ѭ'4?>;_, oSq.p/{hJ[ܸdSgZK5," 3P9ЍŠQ?TߝD D8&] M`9LՕ NP'0ayBoXZiuysh]ZԩvPXFLd[ !.ʽcIt2aڰs"_ɸv`PJj4~q9e{%ŠCN&it(V0@JOOpV zJQ& ùb */c,re^D[-P2V.ׯ<'q'j[b…BE$O'wKO.-[#S ށ f^K5"& Sv:vmؖf+\-&ŹG陱DMRN- b=_TF^F$zڃq !2@>(Scb@cc:ۯu}X>4C\]Gvؿx UlX#hӥyXhF˜%DXX\aL Ey/~s}.ygr0Rm;z= fx;yo7¼n:B%P4 _wNME5=CbtuQ# w ~U|l0ftqHG C9&0uUżlL: Aܴ`3rKtt{Y,9a(k :KZ0{QAyqO=\wz(RGt{L&5)w%+;Lmj0_aqVVm*^J'8WVBl:cx/{c8^@M @OnMa%ditLVӪ`<䢁OԗhDVєǺY(X=\)^_Cs\ P`D}b _ElaeIC=ytNń6Ɖs}h@m0+_ceQEB9[/$cN*9}}eANiy#)ԥ-oqWIךsS&z"א|:iD!rPəw3v$sz%: uG-\T~LV0m|@lK1q-%˰c~5RbnO1$~p"Ϸ.Zo)z;/E=6!b"MkReMo.JEܮ]Iby+O/z[D Mc¼~c,^M ֤Tj"rz)䤍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(yDN9KIPNf6Le4VԻj歾1pc*_JST ZQp7өm-d-Bރ }w*z-!>N(扆%b_^\N? ۢ?r'5Z:kאD'{?-N0i5'@e<"nAdD2J| I9Ih=V(Xia16b6΍ԑ_u5 uxpջz'7>|yXNX6he7t'JM|-V̘!H[~1Xlv`Ol#P DVjA=4ʲ('P?f~3\?o4״dmڮ`_ьȎx{5H\yxǁ\f~Oψ2@7La ELrl۱*H5 +{buz#BB@cwh*2gtƍabz&bMm׃ur{!^P 22ָ"oWWaZy_fK$==%20.́!QڝAE)S*q T9\-"H&wv1 ^,]۞ҹ@GUfrEps}WV3\)rWαgYZ  wT9% TOrdinalOrdinal.OrdinalInversedocument.tex7zXZִF! )]A-MՋhvG"uIBm5ŃuŴpaI)>~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{;%;k8X6:7f1୔*,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޵߅Ŝ1k G7% 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ԕ ȻSH[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ЅԿb4jːLY8 `5vheR o0Qt e)ɞPLĥ* >/74L'䑀jo *HV0FB38\lGYF</sGHyZEߛ%/!(:Oo5,r(xLלġhŐFS/c=1T[:!sb}`le5'$! ̥鑶/|ȠTYa|LzưaP^!ʰo^H. V/t.vgMp4K(T޺7HS}*Z%DVa&/$[g',&A>)>=q#NL(e ֙wݤkӇj9N mP3 }plʩ8E?!qXlA{AAO0(/PYIh,oO%KEa\*cD8sMdsGlm8 =h9eu}mt+..&?:;%ĦA4jxMBO^z9('3 :Vxz\ !dto*ܱg4)!27(mX巟\jb&-6M kAEJn{H;fuݕZaf1ީ1ڮ~ !Ҽ K?p5\]f2oPK\LȚ2t5OR>žI/>]FXSv7cF&+lȢfa֒72I/G޳d~ړJr0@\KD PTǴj}^=R=bN63"OyX>U <\WQh)5-7\3O%6ة]*0E@HDΉ2MGg S(9X2e6Uձ%]1KYN)xMڗС(IGxuf?j̟kۜ mDڐm C5h<*<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 [ ]oUm%ŧ*rMEwa92(l`;8ӨN2Bb; Le\<)D*2oZ~l!aDOsjlƷx]xl%-^̦G4RZ C'hѰdEx5ld ˷yۺ,N{]3dI/PXFp/jcXu5\&$u0 QؠvN};FwpQB)0Dֱ܎}ф]6|j̲n*oMNwB I?AX<ۉx@ߡ3 E p9IR62*VⶊFwZ EN2: T>iF~^RֽܶtYX!FN>^FpvI)"$eDԶ!|Q&38@ r[_p;]Y;1]  [3(jgTD9w갴4_m7C}S.MW*OzO7JYd:޴4\Bq. <zMU;b$6.~mmVǸ 1k-YNj?^#/f}85_Lxk:B7Sl-t$`voFh§N:ܫ|˓J< (~y   Gάt$+]׉{3AVU-mxn ~D:k{ 8+ 4Ⱥ$^ -)`hbmM ͙G/Pchlqhխ-Œ2m9-&=uIr[G _f8 q(TamzXC ̱IAI6'+JK]"Åbui1^ZwD x Z0g >k7 uOF⟅U Qw̭i/Ml&'kϺj\! ?Uf Qzm:67R-~1El:|>>fObFSߢ4.1āBb|~mDZ"㥕Ζ.ږq``x2ˀrױ!5wu >Mm|S lHr)zL /"Io PV bZ3J̕{ Vب }@P }o44Bc@c{4MYԏE%P094",xNřdx6VN¾8mGyôч>E.k3V!`@Sm86B#|zvpY昒8BT6oVh 8"gj*1"gx[2;˞"Ol71J?:97" aGu@7AkM*j$|# J7ƚ#+]( JL,-Ngt^tN"rȷ S Y0$Nh n dU$3EX4\EmB;wp!ЫkXb&`0an 2qg6 uEj` yMBTy`d2 5zlTM/6rr є@il}QDRE,:W<C!0GM>j5b;#SW.tտF S=kȝcH=zoRS.t9, jHc}W•mWR1/%[ʜz0o0sf/Z4EWr(ˡrwP N/-F?XPVEMuѧQ(%$qżb>ȡuǧC^<ɾ=xGABޢX$N-X_Lu䳝TޒArJ yk@1Is.puy)r$ \_XbkYn['`"V½m!u|LگKCÌt}-"۬8,󻄤'jc+,PvJ5V&};8CS)"hn2 R3qB')m9AY&wz>}Lhѹ`U-1)qȘgYZ `1% tOrdinalOrdinal.OrdinalRecdocument.tex7zXZִF! P ]A-MՋhvG"uIBm5Ńužl` {HVTj.=)_*S.r*&0GL>? 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 :撹7J9Hx%F9/6:.x ӁL_ɀW1P[r3v8ucOy5?zF/bW/~ X(z婣 Kh0˜(Vjܖtyf<@nf􂨋;\{U?>sbxK*|B49yץFp$1gJn*  (1۴j4i!$1,)6 AKnG$Z;- Vz.$ &gTɺw}DnNJ!nvRYYS"p5ߗo@)ZT_VjAí)k/5S˙^Pz{VS /ZxR `i{-]\FiH`&(DCxJhɐt6HL󏅦M6,+9ӥe`8O0+\ҐxgYZ m +% OrdinalOrdinal.Ordinaldocument.tex7zXZִF! ]A-MՋhvG"uIBm5ŃubGޕ~w~DՊhu t<8{M7=?R:6P"q @:arA壿},kbZT;@l3K5gYZ-3% OrdinalOrdinal.OrdinalContdocument.tex7zXZִF! z{ ]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/B1o m@ $/XHT1W̎"b@je -UgTèlw6M ۺ\=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|g#8w#}$cY[i@P8}L:j˛D5鎻@yQo{qUHZm9͘E#.[&qYog!,M}~W{Sw,.'Uc mm6<}#8 ,Xc\GDlzmU=OR U~ GͅѪ#U$tԏ9ID9chWy*2vlR:է)?(pu#seN 4?+JBEe{7[V1ؗ%VKP8YZ0 %Rf!T%iǗSToc'ofGK_ 6oZ?[|Nޣ=ïG.XM呌i oԿs5@ܲFkj'4SdT(xp)6 zM3apUTW+|gYZ