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 ccr\$T ]/ FinFun:threads=4elapsed=6.877cpu=12.844gc=0.3007zXZִF! n%]ŗXiɟ7KIxjbk- ݟ83;=ꚞNZGXGcXFIu4ւh-;Gtqxv$C gT 9wi7F WyͧDgn@W6q X)!YeWN#Ϝ;ޠ?Qs#ƃ:+WQNYRgTHzzJ.gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5KXl~3XV,F-8-L VOGy|d鰧;6{ ٟHdd\7J&h:(x@0r\)gYZ7zXZִF! :c]ŗXi%BzTPHz_7p tۼӼ HDUU^Wi aO8oH Ki7Qr65 HiC@n!|@+#gҾlojV v28JArRÙXTnN}DΛ`2ZRsv qZUMGۋA+Si% 2)}ݪ3APg[5 = լ)*) TO#ڕj݆dge"tlUC\-n@DkI\8$gvԪINr_vYmKn[ -âݳU΀.Q=Ze:A?[#7N2mLQ0ӷ;?sODl8[,Y G0MDKa'3‚w՞ ?k6UwUb>wfx#˂\rDPT"ϙ|C;C"`-Eެ$uKv>*ӱXl붩\DT Z8%\L),Y}C3{ZVw-!b+͠7*,CXU d#>Z H3Ёis_D_vֹ ac?EX^T42c%)xQYωrD 镴6Rc2tC дj^;F̎?V UQs}Γ#DWIƊ2\%^/ļ{q#mYVyq>C[}DUw00+K ă`ZD>‡nH}F6ڋ*,5HǮ꧈5̻KxV=4e &_^'38Zm46Œ]j}GYdC/@% A"̊O܌ z#>p=`K&dzvT0;ֽTGX4Biۅ$ʣڀp<8H>b1 t!~NgYZc4730b0abe239b85fbb820ca5975b1193de6202896398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49   FinFunz ;% 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"2i~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7#/% |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(Z=% \FinFunHOL-Library.Phantom_Typedocument.tex7zXZִF! m]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-5a5]\CWT.n%3QR/wjWjDkbTȣFA6ԌV~PPUIp֣"Vf5o]!ap%}& 2Z~˱g PPv%'%FinFunFinFun.FinFundocument.tex/;%FinFunHOL-Library.Cardinalitydocument.tex)/%FinFunFinFun.FinFunPreddocument.tex/=% FinFunHOL-Library.Phantom_Typedocument.texTˮ^̓5e\垚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 YHޏ߳WU&uEXtߵm}9i6&;LjJբ8`E9縀8C#mT̶8t>60K6p-J:XNHa2)XMT-a,vCnA+5K<}&ﳯe YjՇ-U4J"|qODp@iGT^+?]6+T,%0!]V{5ȚH!Uۺe/j> !^# b Ƚv ÿ^<-JnʤNp?{(Gϩ嚂.E#Xie6{t!E{9yTCX"z#kM9W+0d0`T4qRyC=Isթqҥ׈q Ł=]~bx2".MћUaD7f2ƈ,օzom9_Rf;6uTDQqQ9ta\%m2_KjrEX1:Kuf<5 FSI#{k9ۓBb",х'F>KjSl70ÇcȦQy/iA Mڿ=gXUL\OME]$(̸rD10q޶:s}ҏDJYs ?hidhPl+ G40Q>0؋ծU྾͇{= Xv9$ _g4o: ZW:29{|0Ud˥9~ss_}/JަI&;D7"mI#vCd]y~TAȸILv{`vez]K#c0#VD±gYZwۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY|-+h:e]׳m(;lJm;d#S$q~ X7d`ؼWxDSQ!)UuT+.oC?ɜqd ef ;(!wRŶ"Gh)hbGݐ0#dxOR\1?ٳ7֦]QqpnVyTg[PkapBo aW)Td`BN{92©q~ǜF+Uޘ=mrf= N~Y E5sϺnT 9sXׯ^?5FgG(1bT8MYX:P68 FÞ 0Zo z3Wvp|VKo&{,Tάt)0Gem(*Mʫw2dIF܍jQ+(( H `+ /b/h֊8+ vWе0Xu ?A=GgYaDPo.N6S?p";!*J墕7 `7v-b:s>$(LaEOMf'eɀZmmԤ/;"mC~;{%x dθ`nUb;.ܡzK&G7}0ӿGT6]kTSYZZ:LivcYPx풿~(\hSɼÝP6Ji`G?/ r.gjVf~ɸ278YP ӮfcVl$U+ s(%֌*I! xaAzq%u<@qĐq< I[mXJY(.LH[^c +#\Ç~(ԥ)?Q멵Jp$Aw@ %.֌x$6zZU]#/TBY6(K'bRPkl\H~B}rjB@d3cul|\}|fӍ(0a0Ǝk|U/xeW^_ڢH3:(F }1w>3Jg]WJ1/0Hv Bu2mFjha)׈\u[,[1Fq1@&~/6 -@Hsze~T!bMm-F(U봣ήO|u+[>eL aʆ!T;5Ơ%ETvA4D]A:6xkZۙ{~ GD*BHH u=҃{de~fmgT B$Nъ,>ǁ5Zxպ#)U(QҽYҵf&2a_~gJoL[ rCFA! [ +08%ҟK;ql%k[z3B=Ⱦw7[iԿBf7xB=ha=^aB)3r0 <`h/=pG~_2rt ΰSgyj(5=C?a.iTQ 4^UmJR(躘fm/g􂛃tVPj,;<7ǻZ 4`bcq:gctG\{}> "=_ RT&˽aaHYȽ'ݞjZR|]6`/ # RY:foDžAZ7I ^]jGuBrK>_ 씝pqhbdr]Ӄf#Eယ?c;a@.R gQѱo8'gq"l zwAvn[uأ" K im)|U(ڶB~m 3 /^/Y] #5@nx6\3 /xüq%C (DJl \'㰘a.0 MA^.cz`cD_'EҖ=dy%nj%tv>mENj$4tebZL"BРHpOYCK&;@"|'A8mkS:]gewmK$CJ7 Fz+]+Zf>z4` 'A78\#pݟw7 ( qs#;YYgɩJ1!'ot"_vtMPɥRt+6z\x+If."cXo^Kv__{3JԺΠ_*elak_۴Ȑi@:rUiabS ۉ#"X?dfչDeY?\oȣ \t^`;zD)r7m2꯳|})ѷ"S)d!4chxܕݮY'p,iY@1V.I":UƳ+Hs9~?y]r8꼝@W-{+B-;Lek_E03;}<4<]x"D@ مr=]: nu kPLcsASQzc z&08J3VJ |ϧMXzAʵJ9b^ebY߷=xx_n@ݹxTn X7]#IFFXW|-= c[nߊA*PtD!AEq,$Gڤn;NYZP45ۯ^Ů$?3W~kNyMf%*zTuC-8VXM*QxxP3EeߦWZ̼b,41cGg7֥H{:Isj{1b-Y:ڈH#v:D GsZz Zlڟ&&wʯGm!Em0LK<眄cu u xMS%XpMx 0Lqf`ୖ]lOhp!yERH'~;x#VKy3࠳Sdd=}6;.;( '0 L,'R(iD_dRbn^lDaiG eΑ0갹~[Π2^!;_ hWk0>X*_9X>Oo_j(0:~w zVbk+>M[)f $!{xcnTCKY Hc3}_BzP$Ff6?H{^ "Yg|B1]U7 @!柩+.Ej̹S6P|k a_b(u&T"J0a/k)3}||ǼcHi'mLq+|*+&j4 M1=>zJ*Ҹ[R8W<0h;-J mQ$>ܶlփz Ԯ.eWIl(;E\,"Eͳdjaj|@#%L߈)I,qr"x p2t;X|$j)!EWͥ)2s&7^zWac GV(qt% RMx1U9VH4dGNvM{o'%)[~vn 3>GYz${T)< X.Q3Ypdɂx~@t[/ؕ}f݋_6jPEJ<<Πd+ {䞲ܲP?+ >'gWܭ?LI}Żm=d`[W`ݨE}ՠVx ^2RFKP!Z ؃$foZ0z|GA#+< =ˍ/ 腀dgtۚis;]Uk j6G'"ԾiF) >LP?9ŎMmd:O5"0Akg 'BF*h%$;5ˇNC)kIQUɌw[<<7H!⒱GIDΞz’nvl#8׵C:WI,IKD('6k09?X=.sI_/n}6[DsĻyEA]_%'Icu?<+FB,De\&`0񟏨ZFTv1biyGhꡌj 85`;"Q$ 24 ;\C{O$[:7Qwq&5ŠC- U_""aQ-|)lXZ:{r ,,̦Ǜ5~GnmF8NnDH5fjp<٤!%d}w?zO!s,vzoyǬbrt͉X Vzf ׆-`Kv0$0)/G("*ZE{0J]tfJsl.3EA{%Lv}JԙݙQO &VnD B_WoΗ|R^,J>Z\r%AҍS۔DVu5rl&_О rS>8#*077hdk"!yZ,5}<6fHbTԱd~T;ה/ugBaWy>b~ " q=ۄ8 g]K80 Ņf~XU& qFbS 2qe'Ti3-ɷ?'Ur9}mM)E1@ |xPG )bPה/DRK,^mK%zzY@=hWk}~/ ГM^^;#f}N(f~D#Ť3"[1YL,Ԋ>L#p-^ACJ@]^DV[{sN& aZ?q,` \2(78<>l (t{AH=3R5g9#7F',eaL`K=4FnE4CgYZ إ-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*V4wzR뒥R$Omjw<ܳVKM]mG,f6| @r?boB\|b:ϓZro?lIUz( B6WцˣNSiPhlҫ|S/ſ1XWBg sdV[{>hY$X`֧`W$)KG{+1gV6 ܋n-:^jr^`nik傿-|S=9@I<.R?†WO$:;ZB1PTd30~t!զbp | -arXӔF5{\Wu:co0s?]F^}n;9 PT#FL̺jit9σ@d^4;q2Ʈ#Ba#1nyͥy+'(zۈ>Z/l#8ȯ0Q"K!Kye5 Wa_Q 7Hi(]j C.wԁ]O(4h0p0=E N1,Z3 I#݋6 0;Y&hkN>'}䶹B* hxdV_m# > 3x? mԧ 4kHkl7'gYG g=(~Qlk9ַr |[d>벷y뻡G`CL];z#bw,ʪ)p {ri"YQT&u&] ŝM#RKŲu&ȠhgB8*'~a&3bafH$vנj &vtà!IBIp C  ,=˭AB*rFBZɩwvWdFx;o2Lʗ#1 ǍhmQkHSL"̓onb,xJO__R6nvWEu+ QƘDe&pEp (v"sx5Q8p~=sa:x\L!++ԓc1  yfDeTAO.Q煔wÚNcc7 =EaN7sԎ!4k0' (5M57b3cw/_׋_13*ӀoI#icOcUUtVnFrjKTL+){c2kx84'h.]gMSӕJP^\Zp:$&TaNpI 4J.|YqVTtn. ntnYċ\L@` w6_EB\ͶS+_]di+5Q^T{٭n N.%e)-njM),Pn\kl~?ue_-b[y͖(BS ދcWsXF}!p {Xy~Zd8, (bh<ճ b|23}?YBre6*XGZ# A`^lX Ae{H34 rm.'e@ gQإ}A{4$gwF\_; TDk(lK_8L 6&ќ& aq?t0oaАBhsn ^gFߩre^֞$n;'Bt 7dR@a` Nkcsf>ai]8$4/a1wk!''"i$59 nq܅Ȫ@oT {}蘭EqNDr" [OeX}@G%>2XbnpUrE@gi"l.,ɬ7g/$D#s4hS~Q|berW;_)Fk,Kp,Ha(N*1;,M00Hg﹂۠3&t`(̝vD:*e埬T#k1*>À]+wx`d]~GR~E38bq=K㭎B=]bNZB Q?y 6a"tR8I*J %yL=o'ztY?g.ȃj]G<'a\Dz~zd$)Q_!o#V$1@!%6[gu,\-h֙b,7ZYV~X&l#SJFX+g >3VV9Υ/6~GXI#hY:{b95:s"wi)f~$m~RckjI `8mGJCִT`]HUgrc_&ÊaP~B\V&J";zo=bD3fV-0@CϼqM'g,Ҁa)Wy5`ysL.Yh6m\zWG `h"NA|sTǟ[y#c4ԲgRa@LU>~1:,}έID*B@TU[ACi2`JyS}f%ef^=x)R0>< b靈7 $(YW.)W3EFVՂi|O.@F\h0'CSal!%mhpEh˜4}XĬ݇$ ;mLz7yfCYbxKiSx܉6Dl9y/E~Lrl=yw6O9"9^D $h:sfCm2ӄE5E"ݻssTz8XR;a,1PÈMt|*|hgt xX _m%lkž<t8~]!NkTL%BSVb9AKq3bS\$ F1u2?"o8 ™0qUy DOϊ |%E-C9Uq\om㡳)70$Οm9/(QCw+9Ď3&a {(\A[U .GݣPZ('{H bAr?XZe)2:u~mJKA 8u0/[*r;OsoAHd2_Zi&'NS x"'|Xulb514Zݪ٪ň@}_6*bq=Bۡr5oa+5I8_EF'M*[H{}E*Ty0 VV SxTOf*={a50_3ldϪQzֹyD/{+W<4?eR28^y1QvR+a 2  Iݤ1\ PW~!L! krJkxErl VQ+ 9Ey<568s<`V++gf;PkRK% ‡e7B"HLxϯ1JDi~_Dv'F́pe^B{$3=B% S[$'&uSA*8W<ec `?/1'x.޽h(!|.|HD ؙ݄I2"`2fuQPj憲]Lz1pLa0&-YAٍD)UdgГ1-A7:t S [[#rCX,RbM Yַ[Uj $DG̒IQwFd%3D7\ ҟGw -e/D|4ev!V*wRqdqSyOK{R M㕁3[a7!}D!R{lQQJ* nǕ{ %xlsG>"-6!l>1{PT}9pp^-+ ojKg3uU׋[& 1.| 2t_eex 5ot:[I _.}XWP3pO"-rFq{ @Qo2g%Mm=(KgYZ l ulz ;% 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"2i~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7#/% |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(Z=% \FinFunHOL-Library.Phantom_Typedocument.tex7zXZִF! m]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-5a5]\CWT.n%3QR/wjWjDkbTȣFA6ԌV~PPUIp֣"Vf5o]!ap%}& 2Z~˱gYZ  L '% TFinFunFinFun.FinFundocument.tex7zXZִF! the]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