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  " "[ , ]/ FinFun:threads=2elapsed=6.527cpu=11.788gc=0.644factor=1.817zXZִF! =]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(pQ7"P{x}YO(heilBjj>!Ʋ\\ΟUT5CD%XX@3_";LSmU 7?eʔ-ə7r-?3-~} 'kHc\î<t/]7&PkN#+]XdK]^w :W8IQ_$AI 8 0 xgYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5M ~辪HZԍqiLݦN E"j8ܹKzpCM۳V[t~&Re_ \6~_>n҃JQ seᰱgYZ7zXZִF! 2N|]ŗXi%; 'gtMY?DSQ: z@|'fgp'aƦz2h[Kf[H.^9@Hd;S 'A:ZY5'N|%ly8m!ŶLҽnǓw!pBC83~|&)N|"`L1=,8jG<68OW_/h"D{eA _ "VSD 9v̷ e-i9]'[p7,BtkW3{lKXMO jњu[MHr*A塦YJz:Z~F)bWk ]8A}EԆ  5mWIx -cnB7Sc*@ǥď-c-Si+WqNb|<,@> zAHdF qZU noCA.t*>0V(V18 a *#\ЙauSJuzfNq"JߏR *F:/Ѱl^LtdDt! 8*nc8Rsi>zESF2;-2eC#߃I<xEw5ZYtf,5;fLY[4ro8Ȁot=ńx,z=-elya\SZ굆cLnX|) 7 >=,<_`4z+QHk1,zyP:/;<'.}5X7g@t0=ΠI]4Jo&a.#+EkSJbmD}hLêaMB͂7dOgYZae9984d5bfda0086d6ccf4927fc179cb9649226d0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122   FinFunQ=% LFinFunHOL-Library.Phantom_Typedocument.tex7zXZִF! ]A-MՋhvG"uIBm5GJ&עDrڟ>s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-; o2xQOsEwcSMZGo(\nvokE|Gcƽ$s3:rh-& -8HuIfIC@#JP6OZ|La">?ןJ oaK` Wڍ 3=IYѸB1}/xкFs%/Isb P &.% `(cST|!UUpxpJ(R܊)vaWҶӽ5PηuKX/ W2:Wwyh{HP81j&۠^)lag5GSlNQaz+|f<sj_'G9{{a7?P N/IsS"n(c2J)&cH~k*xRmM 4LgYZ*/% FinFunFinFun.FinFunPreddocument.tex7zXZִF! ]A-MՋhvG"uIBm54|xlewj%1#c?$Φĥl:Cf5y )uAUX>F n~qZϛ/3= ΀ptLR^ 5ոCrm#ʧI {L@$#/R% $ي ńy0.՘C_*GTօsHs[+I,'6˜tI uZ"&^>hBQ܀y$L`fJ0Az+ham>thУ\KxPHPmrĈ^҂l1ܔqҚ}"ޑ|iT#EE(&?#h{Pfo^/w7'Om &߶GMˋ#|qjRf<=>6-v?j(Tˮ^̓;% ,FinFunHOL-Library.Cardinalitydocument.tex7zXZִF! !" ]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀Ife0@xuW+1_VY)|)B!WWʦEzVqP_I&NYv/*nWh^fK4?u@^^J[1Qaߖ( 9ˎR}]"v$+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2 PPv%'%FinFunFinFun.FinFundocument.tex0=%FinFunHOL-Library.Phantom_Typedocument.tex)/%FinFunFinFun.FinFunPreddocument.tex.;% FinFunHOL-Library.Cardinalitydocument.texi~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7wۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY| ĵPLBA0gysׂ%VKi9VPHz6xV'T]D+h}g6pA9s΁M:Kact8*X447¸Rx9W2QZ%o^G6TTC*c9DG:h4X]nRr4v3 *v@m ~{ქ;bV>yjͨ9z},0Xlo@3`oze|n.BFٞ*E-JzR=41TY"|ĪIա}d{+ҙ/ɘ;U303(#wi@dji;O;fޮf{Ib$^@ 3r:Zu'̬HU \G!XӴp=]dDf bN^(ANh%*mM 0eJr,-'iqtxbٮ/h3(h *Rs҉)fx =DRm,FZLG4.I (QH 3cw%oYjÉ|wp9<;f8V_/E֥9X\GCi# Vlw|K^}:u=ְog?'~? 'WFZ2P20~?PkLBo=9?;ShNHL X@^P%Œ060wˬ@)?X 53n@0QcX^8kY[AGSGɯLCZkHW$\&{ |]pOG6݈atd0QDaQCP_ck ';gŴ1#9 o 2M0L:$IS~FGyiiXDRc'ĸ{"r>b8x*i#∴yf[)l .P.S|"hWMلC=L5f,/_ u)\Z(\{?5ÌēTM(}}BrǺszخoWJXޑρ725s5#T0Xȗby ej IBOBnWzx+6}5o3c=mhM3 3MǸ]dז{br~bf0߈|^,{5桤ad9|46 p=6:cK8 ߸}r+߸߇yxsȶR 䱻h(b YLr9 hx "sF?P-sS?v1@7]ul[:)z]DBG4c## ޲̏gsѫ/~xnw}AK6S1^_1#!,OnJ.D>Ϲ&, 1ʋr8`nPVJŠ2&dDIKӃ:Z${A ~e´?mx,W|UAF$yau Poqo4vNKfY$-̨;D`壃DRQf\ ^I:|0PKTC}}Ov{m'cRџW#T:wo'Pk$,'* @ʼxn߱l6yzz}\= pk ڣ~@#E)7Eu W 9(@oJ:= :Yft䓣~g6H|"EL; fݜN;/^N닜ZyS~*} ;Q.ݕ5 Vf"HO Ϫ5*9✔ik"eH^. p¦/J驥TyЬgV)z*>qw4//޳1U 9BB촙(\DT ;7^[ͤ0蝎hӇ$\cHsOoQ)KPRŠÍfۅ:Ywo"rLcl݁l [tB@BNL%Ngnz??EG(VXi,t"½[iCJJL^=VfooYHkjKw6ny^jj)YGWSk~yYhǕ2٭&K)RۤFe`/+*TD4UOB/o(eI yV 6log<Ѧ%02vRQz6!Q?0ơCDKvm!29sgxШyl\+5pRY..x4 i= Doǡ リF^d`O>]|9tUXg0Y55>7Q [}$ZoDehIf6߈UL("mGdﳵoE Oe~CZT*3]0ӵ?T2g Zg-G5i"Gh+kT!]۰=Kgu;*#>3 Ap#Q+}Cʕ3&oǬiM^qaa;_E6"H [ Nn'b~r霴$PqY3\j&g5k\uiz[\SN WlS"*" Mv)xuZ=iiNm=4 ;7RB{]ÍSP˱֫S!$ 2&j2kf2f'}TȻ7gx^1{"7>j85bϳ)0%1VLzڴ-RlhK!g! cIA>_Ї2H?:|nC3bz{Mg 6F(G@}FO`# r"nEnNQY \4W>#dZs|_©#vd9Crέgs/SƪMOu1i!\Bџi11Q{淧i)9wv`.R7!E?0_K{ ;?-vĮ[l5 0OffuAPﴓ<߇I]ۊ<H\o6䓐-ҳgγGˎ[Jg>cӮT`)V䯱b58'lo5U6ԫ>=cy!}&u|6۫cr",3F#z=nPɢ92b&/=̤POBqĕ{hDn~jMeڇ :?f>Z?X^FB0GDΖ]gYZ5e\垚sb *wo uճ]ZMx5q<5&ʭ^mŽMI@W3z]S+,YZW,'X3HT 8i6HLQo†fka>gfAur!d#R6?5wt#@(}$J%=yP"j:MPDK|yux?Rx>v5 <]({PF*.<5[| {۵Z;1Bg6Q.zvvpSrLSZd 9>պ([~&eL "qy?t FRa7ٍٔ&:Oo of]wuZLOj|t ʤyϭBt azoZڡFP9Z/˼#RԺ !'*M^Cyz$\*#LLy fvXc?QKIRBpmArVƚ\;; zU}ᠼV8i.mg$SY|pOiha"]XfA.@Wx#/./PYsVLtAcqSt_e絁maBc/⼨Arj;d'WcFAV6M|5YDXV- n" s) %R{`0Y-qtfQX?jH i&06kfޒ_O †W9K,R")a>.CŸ~s Fb?@ݹdwɔe$Ap,d#O7Sٚҟΐ!t@H9*" yfvLiݲD\dtYakŇ~_P NO~3G eD| 6`lU}[\Xה- !56]Heqp?d^\USlK Pn?|6 i2V9"HT:Qs.j:RZB Y ^Xi͂CK,6"Ӻkժ ,F$/c-*UK+&#-f[Təf. 6^=sўx*ۋ$D:4(&> V b5&fmR*}`3̭q{!)Lx{ǣP*Tpfڎ0Cʕ aȴu͙n҇DobAޡoB#4MJAP2XY.aExsWTy^Zt>wO!51RA,~&1 ;ig|[ثՑ#[]uÉUpS~ҋؚB[\-ay n`W=E)7e`ScX3AS#6ur;,7lu!lQ+}Tnb <8 ֲGK2^ Ø1?I.ZBV<*~!K5>a:}цIMV[0U1~w<O7PLiB>.fwDHÜd@i3Ƽ," cj03;/|0zHԙۻzPwIo"lr)8Ig)[xU8j C+*N+Wz:2A~=`9k6 '66C ' Jk`Hc}\:XH:Ig̘(|glEbg=lJk1(/X'wu.c-w"N=Šԃ&\[`U11sIbBxܱ&QBغM9wwj~_%BBთrneX>6ʕdU94 EΈP݀޶/?7S/OM_CllB+ -7BlC7[)VԘ2ŝSF;!vJdjai7kC}{:t8EV]I!IE`e*䟴fb*>c>9<-m=K;$';o0Z>8?݋e~Í^37!)wu|Mtuh忿@, M5Rg&IQ[i/@߆8cQiq :y6b}WNkNj4,5l1#ͤQD_lylkCW  ~MأSSzeeg"f>u-?G(L'gn1$dpQ21yя9WUߚB?#͏"eŊ'Ŷ D*@Ң f{ʣNg!5GMLx3!nDoB̉`/v'/il~jS$S.z~.OGq4B+SU`mc{biF%)ŨtD&ek$5jːX=YZXP~~Y=8dg$ <ᇦaa>ev&TKjcO*gPwAXio߬ks/NA'zcvpN I'򽚶j|/^3<̬T|z>1[ꎀsۑѰfūp.eC.G^߅=yƚVcﺴ5z^NIwEj~4*qno;Uؔ "1ؒmx?]V6usңn6QHB;/ hA?D _;]t Y;ALjw"!U'x ?yNA4hY:C617|I-lYB갍h5r`Oz:eϹL6ٕ rg7* ,Ѝw[y{+6 NׁJjN>0IE۬Bۤ_uVɜ.5uqI|Z Oj1}ľ~V5ECV2PLA?7]d-M**)dVR I/"<ZB+i[%bH_]Qvᐋ|9@+ƽQOnbKr |rW3FBHSkvGcsW.8v'(Sg|F'j2-cA-]u )PBL=yrJhfi~ġ+ MsvGO;b݁jpi~K8!X'I?yIz yԺRp]54Ld]"׍C6}Z ,r,TϪh&="Q-]]XdhЃ %0 &5߮&6zNzF Xޚiz-NWmT}o"ipPXy9g.J[P+`>]-,R$WC#3_ձgYZ إ-T٣ao'fhAL;Y4te.f36op#n%,s9A2hGD̀]Dxu5#2cR#61JWH?%}Zx!};n,IJf/AL 0Xɼ ~Y!CգNWÅN$"=%?3Kcd]G֢m'O32{HvKZA޺q3()E"2Tk}znd9- =jUU>_ с*&AB 0L_QY#x%PVw.Js>boTgD{6JV ;j i,-+"/m{,V_uNĉ!&Kܺ12L'lh7I$@%׺\svGN^os0;xE$ƹjǁ<~&Sa8o_%܃W3 ~bl3+U=M_Xgή# *Έ|a 6ؙTP@CY#gV l¬*sifŰ̮/3>O]B}Q[D)Knte{5?,GL]F MoQeC'td\7ոWTi*"dO_z$i5nP?Rū ?zȡe2G \ ˯r0 ?;":Cښ3D;ARZgFFcdW+RȤg_ -:;ˉwuO)7d /ش՚j|ӲBW6ץеq2w<մ| uk]h D͈='*˃oᗙ(==C w1v-ai}P]dfXxbuJ6"8(Ƶ&K+qnwaѠ6 :d4`|LK# ^%ף*U^a[L ua*vӱ=TD@Xs[neXi5+Z5I$$˺mv~al4 6uA^$.yarhA}}CWDKZ|6ٴt# nPs˺kZ$l%>J: F FY%6}|Ÿ _p ܞ}@.a /qn0z/^h%C*/$M3A.L?JpyG> #/] ߄4f@N]tF'1Z: YXحb*+Wdk_פJQ]X=RoUg foĽ? EU{'>Ҋ13 0b,+s3HD YVDE=p ”U+iQLά[7L)%zW_,H9|{j><>DJMظQ+rn|b9'A7QE+h՚jB?=ԎP7"JunΓPE3vX"NRm>̟Y؀n@XIB t\{~tޔXyJL0MfIe~i/ͼ"G%˜' ed@ŭh<DupJhw ̍eCnDb tP49 4B&C7vn{u5LP{`bå @9:MuVE##ٜwҫ$eIഈR``Dmڍ?#Edtxp `H<2bK_ʩe`&.>>fPׯ@[m[;o+_!$ p $)r""ս(2Ew6܌b ͚lƯ ,=Ai!Ƌ]@Vkߋ4oBm6:ƍCl3!Flj]DElO@MCC\ID!y:SM"޶p+'u UJ1U~ l5\--i &ՃsCoB.6vk?EǓQkkAGq"pZgQ”ڂbCᄒ$;ՇA(:Ԟ2L;00hC7 ( )]HӼZ!7r+,suw.Dk:&Fqb_lUO1S Zr=b\ eN4,*LIg^WxWd.\_Ў %ޫ]eޖ]'|< G6& !18hkBU-u1lrcTC8 ̻-a4o 4͘M3T4'&Ț!Rᩰ3e˿8A#.*y{ tOv$3I!-D=KU ,nXShED4Ywgjl6HlOՐN$ !JԻ?y:MaA4=^ !tX4_Hhq!k}"hZ5(%d}KȔZLc*8}SnDv+2aQt kIyRBpo TlY<P CE 4E Sԁ&E%W݇I>s@ *BWwѾ~RMstDJT~e!3_XndeJL2Q3WvXkza?-Θ6?|BZ$EYߢr; mOP2u ϿsW~؃:ڱS͑)V` E %eD F&!,t}vt;Upd 5a;>l&1@l$,4ٗ"N=4m|96-,jwJ 0T4=VX/wh@5bB^y%lIZ `<bfHnӆ W^Aճ okwV1%ׅgk4 G=_M R"j}@Wb.u܍eG]HcvBVFqT+Nnl֑&.j 2BؔM^>&uh%^7B_zxZc#F9b)Y{juj7 Z%<0 K!c_Wk9HoE*\`0Vl  Loɋ:=mG~ijz+ejJtտV/DaGHQCX}0n`9w.>aB ceMB(oVl>ӵ|u7lGu]zvd$%L'.y o $-wVTJ=exdg Y^5٩\JGmyn$&e͢l RE⊜ϫ?D_1l4J`\lN-QsP[68zgH*я!5Rg}+dXboJy]s'Pn9_2I{2 nּ$*6ʠtٷ!Druv"<5 H)6BEp3`Xlz^CGz=U򥉋A%w6۝i+_Dx 0%[3<{^\(D.bM{쉞ZWZ`]@jF]s=<`ǽ%!j)@ܱ)4g8N u0TI5a%|O E[KaeL-/Nmu^%7S(%BlaUAXߪZ.D:OH[A",hKFV[=+}6泥`ŢmTp9D_&p*y-CL!DHr-C?`܋Yu8OQـ1eHiT,8>I7T0?止*2$2,Z@ =D߆GS*N!Hز?]ߧqfr)vXɤ',*TLn?s`Z 2lhx2X6d# pTCA6 I\< zlDl'>TGS;J&`DJ.W#ݥb&!Zv"0G}E6:X<(g;."&WMa^]Ji{fSG+7=6 ʮX%r]NAQ{5TbeZhg4Fk[mo.bξ|+^UdbŹ5Q\ё~{] +roS!9 6%M- n}D@ V9{L񭣄 L 7a]WR:G2gV&c{X POT> (暠]О RX;꒛5 B?جp$Lኋ)7=6FDGJ!'%Ftfg't oʬC/WQUI"bSC Q5=Y0{v>+ Pёz w)0Dv鵛`T.,~ƺPS՛I'u8 P Bh E&$ Zu8/ȇ V-Z2v@oA+eOP#K)qK)M%04TwdZH޻%3""tN}ZIf\`O#9vIQ$Ŗ 4eqX\.~3Ăh}}Ǿ`ooMCZ4^/%k2sN64ԧ:Ɓ|NZ%A ʟ@YC __:tueJ]Y9W=LmMz|vqu}_B?ī6T&AHZ4u{GfO4^oi&7= nJBU;Zi7!ܤ5B~fߎQ0V-%u.tKZNU37 3ЧyBP0;'+qnC> OY-.g2rEsȕ#U- _p+Xޝƅv}Ӹ9JzW s EK!ĸ.u) n*v=*V-D%T+xJ>R 6RIc7e@A1ْ-Rr54b/ ƹ^& }>HRŨ0"fʺu^&S섵B&KQ7 t N졎~<* ]yfZ27+F@ M8;#Ayo<^M~Ң+s֌>ٰ+-zƇXT~edq|h4/aQLċ-̰֔mHUۥNl Ĭi .ţ(1Il@z ߁Z``Nӣ@+{BQ/gphl"3߬Z"D2$p5.VVECKȔc8[H&Ho8pI}?̻їtDҮTGgN O{DժXLtlwR)E De&1(<)SN hr]e;!5:1|7,3@/ ie2 XZ~;S}L?v ED-CjRc 4jƤgJ 3bI~ۙ'Wʛ-Ax>w2NammU#4]ɇz_b&9G&qA0&,d8:g !J*v 0?RW^7bVjuBOMhpJ8 ]a29oz o}t b!,6H( Jzn&L!Yܑ6?E6^ ޺R{!tV"uo!LRC9vwe\ݮ?)Yх/,1e;jamt"lW|~܊"+,aU3'8RBcid[mɸ2F8fq^YvўmF|1fneQ_>1`yvWfM2 ډT3K8\ ,5/Wx! B+XDEV7'Gb#i];Tՠ2u,/\>v$8E bȎqȥo.V pW2 GSiɥC[ߑF v$ \Ѣ\s䎎ց=VBzf0=@ QmzPT,$Rn߯af=֜$ 08 =䲛on?6EZp]N6z sd$)h!+tF71/crDXhXhD%kRB.Ŀk9vͲAo' i^^҇hk< 3M52.5@xЈ̳o[aFmIL,:/L$Fێg r3f7b@w1!ݵE34b6C`a W02 8m/a7OZ55%8|qipV"nnoEU]%# {@UDWwّ+RZd^?4@&\*7-* k:dV<%!lE&XoKʧ ܢ 鉗N'BQ|.~;'hƵuhHg#kҼ">7 V"ItEUd^a=3$b;zļQ< QA2voA6u>B` -|Rz1[Xt w]V?̸WOۤCy®7pO^+R, :厴o?S-{ƈQ}Ni뀃ۻTqr ݓL|k2aV&tA(DA`ELJKDBbrlU"V$縂D~CȝBnbU1?p.`qi<#<\B; lnڐ`[>fjz,Zsڜ$2ـ\}w iV謷7ոBvp!n5K,Oz|p}\62RlK n>汳ެ5D9߬I LhUÏbd!P:$4%+sI6i[M$5kcyCsI%#3N#~hw@.}/0Di&X|8|˪u*Բ15MQ'y~ײ"J:/uu4!75# =,P[m.ɌfD6`d~#Í ڊ.xQ"rr71 u}7wg"q'N[{lBX(dߥ1N$Z,m ^WxƊb2{.?w߸I9L4iu:n6$ }cC $fX, ;2Uٍi#׸kGXp\$? g8u'}#$-f~0{)Qmh,I!eZW 樕>GԁZc&aܙg A"&NM˫#^LqMI:}b  qƂrPOŃ&MjZSST\ܵƣH!{SyH!PqUN0n˝4 ׮lց7UOY1KL5} fW 13=y`oF4Nf>z_[&Q8"ER]3' *clXlPC/Ѯ5P$P/I0vkx38$iC&{AлƷk.//V=q"ݾSjߗ?1>^RǻFkL7VW>)4jp+\d%vFlĤ(%}ۉU(\(%NpP2o>⺌ޒa0d ȽS?=Re5ig \74uel}aX`'φh 2iH#}SsXԨ?~^,j<§?[9յpDž΂ҐYȃGMB>> {pmg;fbucb2fOm%M~HOo bD庹>i'IR\ Iuw2x]ĕ^u3GIB}H[,K[ޢyv24kX[tDG}6'l"%tj VQǗ"͈G<)%Ɨ*}~5πeHf_)N_Y|gOߵRf'QK2~>CizFS|;XCgY,]g~HPSy[{J`BqJ sp3W+#NU```rBsd~f:"OÞrn~i54cAk In.P@]-֔Kdjأm;JQD@rCt}˨eNhz~< uvh7 zHZvEMBª&&5vM?p8?fX(`΋f>qEJ֗<7-P0O!PSH t_G&hܘ tjxp'!vwlVM')8uǸf^RX'm,} f|>o= ltƑh? {+Ek A9Q `U/͖4WIbwφ 0@yu T!C-CѼSߜƭ8m_Ψa(^$ )F *:33'.$vGՇÍks.JoAg>p(TK(Rńv~!T mK»FUy"Lh><J[*cf?^\r!9jzو\}@(_Wѳ1#:-ړ ?R3lf@~`T3p"l8p &'6UDHq7ʆ[Iz3 gu-&JyE~c^ }09r]z {[6ȁՂǺ{X^9jCERSsL]ʥ #5wEaB7bam y|ݫ2W&onH@+PAxсɰآKG"ё ;fw]8sa:qv8PH7Fg'rhCbψTɩSyO.h?kCjj AjlG:s@seW5.eΚ4 ip!qL˲m˰ō^;fO(sW Ϫp}?(v$5(!RR6H=& WV7 w243Zm0dN/jp0ĚW"op8hhi h7~wS&-m%ͻ[5Of+o%1qf_Oz #{]pbޜ]H5րOMin][.0-TM89tpw/2O~n\JSyLXa}5~őbvYcUF/)C‹l^ɜVjC\f#N:eϓxȁ_$HO1i0UOVZo>`p3Qxȩ1;Agl$GԏϸԜf(,Fҩv.fUjI]Tf#F7 ϜAY A-0@:xMkiIC2wpJ nm2jB\aת=OYFoDhnSj~>Au $}3L4YKTm$VC);bifiԘd;[MܭэnڨDK;º~*_<#f~&0#YzTT)A xڷKF |n/,1@GztzS.~μ*#^AX x~&G xx3 0֭k+ 2aU*t`#s}t0;={zKvs,X%"sQ:(JOP= LT#!CfC3 \t7m 3]E5 ?΃o+jk̽}*VjC7ϲ4 M}A;Qy)C&r0 'xbX!`M@0! Ц[#BزJ5|J^x٥9_q|qzz&gk8MR@iR!B0m~Z:SOl֋>dPYTjR50 :8ٮ{ 'sƑ.Jۡb TdFG\*%O.,?xtQmʼU7_(n#n1 (ar80Taځ |7*p+d:+mA| xcx˞Cj34HRU֫牳F)Sex92m1h"hEy_bh?NU]@LtdC? nG\T>sr1UHj aa*p΅_iaPƾho<%~ z~ l>E7!2׊oe,u!} z=ql{ɤ,{"!`W/mCT]n`4"?քF߶paOh UkHces/3 ܔwqSX`P[KFQK&9R|,ͅzs̹düydxP +ppoNNcv1YjO2w߉g 5bY| NRA`)q.aBvXɽ9T\_ Us3hiGqKvh(]'a8?GYpϠ@L:2Ȯx`XFWH;46֓eP4Oy9h)H^nP rPgQJq{B9 ߏ.\rd>HZI:܍E9+PԲ־K`w4n4/L"8: sJ T6_kLk6{לbBSW3QW 6&4VFd&>v'~W3§jc>Xz-Y%cV(̚7ݧ _3Ƙ:A4%jI6bX -zƤR#=6M9/zPDsKb^oF\srNaWI謄~gYDG5,Ĵ*4%|{˗ϻ6K/Eƙ-[Yru"jه𳥗' loy뫗p/0LEMj<,c/,9 GgpA淁KR\D9u7R5yq;E%^9?6 s꺜R|36tkmP-SD,t `BB JBHOR+ 2ldR yA@imˀ31Pˈ>¢ьtD[6.|My-{:sSXi&:F4h"]a\z\P)FQa!3VŐjaW/cyWJe\B)/?$(XMp;`s2iMST`ۃ mc]ktZU!oC8`_)6VlnY̩~g|EX$= ꩦVanDd}VwzMO Θ$Y_[讱6o/{l{*ȵ_ǫjjFT }5DZWך*GO'uV'ڄ"%X ',`!;%=L[ƛ@]ߙb`bxeܾ;&қc5YnY(]dH@%#?ˆݢT^NӾF}8ہTY|L͝@, |Az}Jhr\5As^S7AGx7ʓ+gPT93Ip}OiwyoE${It,.][` W/DhJxytO S3D#eY9v y#>t"oX0`snH 8%P]&1NeU:ղ6L56]ǟAԱD$QfqA 8B^_GZ:$%QkQn\)Nw6+yYw컰UW돫!.hȚMl5:\u:$r8s;Q+3-\W_tߋNi< KH^@^c÷%"MiuY͞[ l!MΧ =rզf堆#+<MZ+2ɑ _iŋl7)+ʁe?XcN+d[LOvλ&e\My70~k-J?ZRck]G%\ى>E#)_*`qӞV8cޓ_qջZR}lo:\DJؿ_y*o1 cURV)92@d]L MZp0)iy>?4"* Qf/3]L/#1W }ʖlnDrIIU[@7Ɨ6 2ˍz!Ԗ\DW1*DPKnFߴ WbŝPL*~oa-HX0`/ ʲ$p^޴q3p;fMuѰ5h52Gn?[}o 6tP.i9:;?%1[fA8hXDŔuF%{Ew=WQ,$!tnW[于nR`zj(^rF۹ FX5>+y7%ʻXШk5UUk .m' >hT]A|N"** b(sG9qJDvztڎu?TJ+ږ.|8TKb'(=" f;7d {cZ &Y؝OTcAu;gX/ ԟYY:~m)Α־ɝ}S:FbIOc?ǵ9,$ !Ș0hg^|Y\p[JqGaVAg5ZVnQ4@GVm6S$ݧJ#\H'HCt51sadwZOФ ]8Ѡ%E( :Z+RsMOoA?׼7Pym=$\z /}5'kp"p}jo: #~WJqo[_ ȟ&{kwFbtm{4It!qPZblb8jUҿQ\Mi.=/;Sb<5v=uK5#}=R d[-u%$ѱ 82d 6lfII3b۷+%'@{1_U~ ^EӬ/EA?r͑vڙt?`a)7NFНy: , OZ+?u@>0 ۙ Ⱦ Jf7wqCɤ =I3XK$VC*V*V4w|04 OGb ':8ld@}1Fa-|YKBw )& '܃TKHmX2qՉIeuPʤX "o[D%4@;l^:)azE4Zq%'s4)Egs3\O^~U/_N -_yپ~F)SD{%-Ԫ4yQHbPպ:CfdFlg?L ZA|Uh+1f6 K(UgtdW3@moIJBTDИoa!}]hۆ{FlWT#LM ~zw;4 )"~~s$L dΝSvkl ݀|T;(T{6$|@*^ $]Cr.?;y=^b٣e)d d} *ܶc* Mf0&`f:d;4;}`N@]lnoYd6JL1SwRN DGϘm!)C6S`_=Xs@ Zp0Zl$1i/l}Ľdί0q 9T[_8q:HP2I^kvI[om-:L^  fS{–A n!cύ9pͩo7~=٘|2ۀd%m*ErB2~3œe!XN>'5 qH- lW>2dheF Nڷ |yfiP{ʯS?g "oJ$G}]w ј{aWdَ ~NH^;Xk(Wz[끰!ZG0<:QZ瓂-P>.bdlklZYo}ˏNFBccH m~4:0dD]zSͣCWʯ-!+Kk'|FN6Yk}͛:`!6V*gbIYx$C{8B .]M}ݧ["B$Iq^> 3c6K$͵ft]gBP{~[+q'cԤ -?q@t&cIN]V~fgLbR^}4*ahBɒCqQWN. nm:˽'h%<%sяzzE:Ͷ] HEBk$b k W RǷ|!ĘMeсHe#0VL38mM?m&EL'H&G"$u+KDBNn28Q`r"N5 UİTBʚkBI4q V:O/ xR\B2?.9cϠQafO%[[hl_G!6[ncQZџ'|/Dm| k(<эA"|H u4.*Zp"dg/KO9/vs["g//>3NWH6;쳯&T$K:P[Z@wӋtMC?iyM36T#N )cI yV!t:uwqF j?XݝG_?YVI{vni :{ oe߿B`珲/02OQe`fCfh-uoxl*G7g-i\8dwwKx.>*(l㳮\:vܝ ٘DgP Q*-HvW2XiЕmΙ 0&(daa҉ՍɈzX-sRr6eVnJ⣪yK`ɪ5 (ekD?ΎP ?lT0SZ Ͱ~wf>z!5nTd}(ڎcV0 װ,60նԭn{7eW52Kf D:myM%Ba!?J}~SI8qyo{-(= -zK9 y@`͒rz1; kaҝ-&Ɨќ# e3Tg5eDGiK[!SD`xp>P{&#\°c24sCՆHV"C=6jG<<9U:N TdB./{}3yrTɼPA<<*lk ]d3C+#RB)'cA`:u_\y]8YT1IjNG_߭|?{"'y=qCp'0 py[x ͔8>$$A\O⠯$5[ 5#rg}$[5w7^^&ù|gamo4fȻٓyn>=7!OM1 *_uu6ETz X|Rϣ" &N)3u P`[ L{p u){Rqng){3ֳ0P, p(}$-Nn`Ae:0ޫ'7 hl,C}}&aNK؂ꉨGW^@|Nj%Fދ}3u &[OR} ܈F9f_]aP0G)}±g+>tJyD#ձMDcQʻq K 3ϣM1"MB_DYZcdlلHf( xKHQxd9Gw.򙨙Hcz̸V+U]EB*f]^G2t눸N\/{/V)u7{-7jK?nT0OE[4njθ{m!!qhyށ]T^>3cF‚ 18f;))%Ncd;%$G[eCb<,(*|]Y9‚O;D_^3JK;sPZۭ zci7/f=s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-; o2xQOsEwcSMZGo(\nvokE|Gcƽ$s3:rh-& -8HuIfIC@#JP6OZ|La">?ןJ oaK` Wڍ 3=IYѸB1}/xкFs%/Isb P &.% `(cST|!UUpxpJ(R܊)vaWҶӽ5PηuKX/ W2:Wwyh{HP81j&۠^)lag5GSlNQaz+|f<sj_'G9{{a7?P N/IsS"n(c2J)&cH~k*xRmM 4LgYZ*/% FinFunFinFun.FinFunPreddocument.tex7zXZִF! ]A-MՋhvG"uIBm54|xlewj%1#c?$Φĥl:Cf5y )uAUX>F n~qZϛ/3= ΀ptLR^ 5ոCrm#ʧI {L@$#/R% $ي ńy0.՘C_*GTօsHs[+I,'6˜tI uZ"&^>hBQ܀y$L`fJ0Az+ham>thУ\KxPHPmrĈ^҂l1ܔqҚ}"ޑ|iT#EE(&?#h{Pfo^/w7'Om &߶GMˋ#|qjRf<=>6-v?j(Tˮ^̓;% ,FinFunHOL-Library.Cardinalitydocument.tex7zXZִF! !" ]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀Ife0@xuW+1_VY)|)B!WWʦEzVqP_I&NYv/*nWh^fK4?u@^^J[1Qaߖ( 9ˎR}]"v$+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2  K'% TFinFunFinFun.FinFundocument.tex7zXZִF! toe]A-MՋhvG"uIBm54|xEhbM|8c^C=aW?  ~&J jXt>k! 945`(f }["7a}ҁi~@x²`<ÿx&'x*ni8Qj 0|08,eZ,LC茸9{6d6┃ dZbCD""]55}`1/g[_l)w}|2riiĹqӐ6wӑtMfDsPveVY$%Uo0K?T~&99~Ee57M͌%I'/BB/s5Á&GxgI(S8#l|9(/ƫ2[[Ӄ2P?wwJq\-^Uh#A$&Jw/vPIu) 4PSHrmΠĻ 8s RP%׫JK 1 S e ef%8sh4I:o̓%Nd[F= L r+lHb8 ~JM%-w#iQYn9 >)٤C>U^BD$it g vc6CW|tn:/mV3z~,=W˚k!M/aTywSڨ)vnTL5 ^? tC*(!u&,u \\ϐ8s< muhE8?xQ /܌!10 wW9|AֹPrb&Mxe#N{ 7'Pa[{qԘ=D*pqgvn>H4~ů=pygE[s炵p؁"xm )I"acs_E $%OZN{hVx9ƹA:I 9ןH6T]1ԳZ)({5inZ@{"wch?ٛr%DZ*何ɺ&6]c(|E!^jo3~Et nS