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  Z Z# d,< ]/ FinFun:threads=2elapsed=6.383cpu=11.472gc=0.544factor=1.807zXZִF! +]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p;;Ƞ{x}YO(heil q>F נ+|!!nb,%C2B׬92`{핈ଈ_0vAmx=Љ({@Ť<5)DSM K7%$bd CZ%nK b1ygKqf=Udǵ;ׄe nKI[5Ψ,k6˖ $Q$@ lxgYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5s~辪!]j꺑#gDPk=8X1w?+EoY9.+xzˍN8)Z PO,9Lq$FN{gYZ7zXZִF! /V]ŗXi%;iwG͸0sQ#CdJgЂ][sϓT+×nSi}m!Yr=w2J NZJ.sV{gڴ˺ fׇt6q|n3:ѯR\1Y c-£#]֊*sRU.ִhx(QQ'؋#"#JvaB Qř蚼0:9޴]-["Y]X,@ax6[BI,$|7ܨRhG4h.͏U@ʺOGNP";1({v1+ڳ(]^Dȼ,u|i7 _tHvuRP0GҰŝ.e0w:!EL0C5Pl:DyGwtukZ,QM# /i v[g n5ZgVy󣟓יdpE@TE!=V[7" 2A/ƞr n dFmb^y&؂][QDU퓏]P]ZΟl3Ҙd=x IYgN螃%-f}6pmu \J.뜻JYYgļ %zLg| kݺQj-s KP %+.gv刮 >.wI?CV "hu~MG[=.1<>z_u}E;+ pFA575rR!T\OPjҧ_c8gYZ3a3c53c2c425c9a442bc839f7367d2ee9ebc48b80a2434114e0f5ff2a700b4a6f5d894a41f7c1240 950ea4632527669f7c4dae144a0d8bd338d2ab61   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 aX Xއt.몑\ !] #6L]L_!^"r[]wޛ|N/g*$@ sЭ '&V04T%`mgf-uő%WJ)Ԉ]N}'BӞzB~JI!Wfkbc#nOgY>7'nމόa$ |nKf.%v3iOLLqF[Jb+OxEћΓŷ(989i_amh뫝cy<"4^=*9‰C,<<<0a"G!{PhŸV>a\8"륭mS`_, b_Q$c|)>/_9kԑx^dBVߖ;|ESIGgy;b/S{2J0AN{5; /Arux"ܠi{rwX7;z&ǷM<Z^aؚŀIuM**݂̓t m@YAWUT=S?Wk<cDCb]z_ᮞ0MESϧE ~[PnpFeʋnԶkg#x13j .@AV@jhY"%iWn q<=1 >L:z-[~i\V'Gjh0LDr IKX7qԍ3evX=gׅ}jg*6gCʷlɲ+ptU<9A{(d|1-:DК;啴:Rm꾒VCb"㒠pH߼Agߥ&HF^Q&naʱ#[u,l|ġ'"J3]b;K{C,Ȑ{S==>ZBvw~J[Ɨ2˅y ;uB1Apڅmvs xT@i|Nn6ʍF+Oe@arRO;)$j<=O`v'?)(b+X%3Jp$cGJhͺ@ rB'Ì >K8R:Q5Z;e{YpU|OAYd<ғvyWSyhwڃ"'ϊu&6} ujO2MEN[{"y\)-7{*Nؙ#5>lLiiYT#BvgY7J5I 2flqpNT%kj0Җx?Bl4~Hj9/t,@GZ!|L*BW&z)bc4>YKYSGcA; 5YYLro>m߭0R=\yo7T/m^۱ϛz=sG46P@$ ׀ 8%)ƱrLRGI۾C/?io.Q#xE.:d QFA8o?cR5WWe9ہ.,)Eb}ttr!'b;zj 7#h #WMQ*`zVwɀ -z`u^ ܶ/-S3Mo8NƂTAlsKUЁmzX?7,0h<nE'mߗԒi%ԬCjr-8'҅i2;FT\z!.mC^4('۲qqLt<)]Sml y+RGMf#e0aK}EvgT e}>N^No>zcސHKw +-891+PTa'&\LN*%;*[U#4O7jFj] LÿF 6 {.>i-H*ߒԲ5貥6Q!7 eD Vτ0s'Dg:7̞n oN7^f*J UF9D[TACG赻hʼne u(WZC6 c'#=d׭e' #j<2,@Νҝuav_|8{M[>VhU:߶xٖnFH-?؜PF4 5:dDFj-z9Ҥ\$>hG~pw,_Am$|lbqMlI܏?'bժ!3}W[[Zv;Ǭvbܿ+z7, h1a!..%bG lFَi?veͩ5h_,P>:ƦP̂i -,_I1ʉG'skwEJƧ)xcȅl",bkB ga!z8 ſ$\7-НoPSr.7r-y^c t#q]En,NWȎaoN$H:nsQywuPN/ h ]j WzO. {<㱢Sk% ţD`oZ/^屖.}m:I%JkqrC )or0ӑ.beDzbx249Vj@bZS=*g co0Qׄ4 вOk QS΋b ;'ƛPLaSOYOj6ʨQ k hm7VXj%Tn 9(|ߑe-&N sfsjЌ#t $c)'P~ ZڐIKM1E߃8aSyP q1ڭi0|hq]ZKm&-`ɀO&q^0i/j(-QƳOh kVcy.}k)nBXtL\nY]ɜ/>Q/{z' ; P)S4T%wTT>یo-ȑ ޑwaY.7w)*e¢!DhT g"atK\@ŧjH4eτwǢ,d Ade650KBs+2_X0:E)j¶<o.GGA#%P*%mW~1StجX>eS! do 9$7Av6|plBȰ0s&LP=d}۔ޑ$BFda둯IY D mb3;y!KG%w~F>?jX9O孇tЄqaºR3˫&^Ӥ]E3kG:Sc `9o^f !И=j t/Yߨ/Oge87 _Tݏt!.Lt (Wx_wݫF8n-K0~ߋGWb8T5裁,dr#ڶ o.WGl0nMGJt] q &`p-.glXz @K-?,?Big#@ uV5fxػ <ԵCYoi4M_q{P8#^INqs[k c1_\[/tOQ.tq1ߘmiofҥՔ1FdzbOA!e~rBb]gvW'NuZ,*Ԭvو+*fJC8J1 "w>9h,k:bk%5ĸ^<;;WAt(ЊH>UdM+1+mQlYr7m!>(r 0Onlƻ1"Vz-P}IPbP$>`RwsX sA+ zV!ix;%"{?qV262nQgf&^LVJmoc9X;*2K1r:R>fA]4]g"Bb6&Xg(eB.djLE%* xc/.,0bP ҷM}dς$ HbyH/PDK~NFM;h+PA!fA7ɛ6kf7kp˱Mcq+{e+XvU>Ca?3I8<-mA^YFɸBk(9:}lQ~6P)z~$[6NՇr9Y*ynKEPz.(dLk NG9fy 5&^~6+$!ThQPJ=EzG5p[o»Ŧ!@X%% r=K)u'Er>zđ/k==Np0{BdW & jSU(J'!t7?/j0J. ԥLH;5g.QעC7C짷;s|ejoH9|ʇ5ahJn)j'%+&~5Sfzܳ"|Ht$lzuRL =ln46)daPr~PiT|nnT:'"] d?8p@[dZmY7Co|a +/wUΣz8__+,o8v%>t}рbwAKp^68:[|vv~>0sG'ATW#$wP]z^Cר3w)[wDs!8涷GnDTMe_;㐼5Cnp{ln!lŞ*Cָ-Ͼg>/}2Fj ÔsS<:|~X^>zڄdU}zVE2k|Ah. TǪ՞Q{(aײ(LUg)nRu3^d'~j]ef^X: ݷ (n0dd'=aY ;ާKw}ߠ>" x>ѻB|믯|<_!oa㛐sD,c NF ^xφkQ԰l2Ѥs=WBwOD1OWS½6="]l3lnh"IM>6tς\Ωf]_8]IfK))||s런c,Ɣ-5U#V:DIp'>eoz W-:`;.5L\AFwxAD uLC2$C2ӏSfY'_` _I;/2)ǻ$=nI DRvYXRޘi[{dtd4RξZp|\ xư{/Mo3A園 Xt2.ZH.ȣ#gaB EBR-y W,.> bi, 8 qzьzk' u>7#= 1(mﮨ3j8of<ϩFKc&olمIX[yŠlL -NbDL|Ebpzuةv˶+?U*~f?Hs+(2<b-ߜe4iRv.6;>ΓJ,Ğ6 V𣷙НrL:T= [,.έWOnon_R=+.;ԾR@tGv~+T/D 9ZV3MN$IgAg힋f#5rYK$eiwlcٹS G#Ss1rP\0  6b--[]=$v#4Q  ,0#ߢ[ Dߎl䯁ׅiOBb8%{1q Rx?õ O Sҹx}H (GhW=/J'fg e4=a/IV`DZ䬮}glȋ!ZWנ76"A׮ / \88W!&݃A7n3ˢQ^{2 qb3!yhۤcZsUxc-W.h*/`p`OA1zbJv]0yb灡퉐Qm'C,,t wD=ګK wg6@Gt*Ct1ҲgZ(k nϘ/_V)XƵ ]]ԴLN&6ښ4.<@o0ZKӈZ%=8Z Fa$ 2y!?Hn>^1ypN13M@(AݑP=sM9Bc^Rar 2Dp__:[a!Ekfī!ȼmM-f;T/I- 9WiܢB?[@@V|B:.GtI'wv/UJԷZCve_.[̟}ڐݬhܼ5^8HuB$/˦RVt4ءVQΌ^0O.s?K ܸ,<()^4~HtDGyAD4jѡZH 5fT!9Z@xΎ<:FU%4GEt/ӡ4%l >8-E>cdai &IߴaZ);^OjPqBt\f!^4ØA OHpI%c?v#+Sӟ !j'^fޝV9:r9`@ntmjM07+HCY+|8onǠN'Y$f/1X'K8hDc9q.6S]%Yyzr7N~p>)S4`+gv.@1ߖ7>߸Ka0NO9fPh_:фK\' }oԒBάhKvےlLm͵uI@#Ν)`{Lq"|gaW `~=)6޷z*WZ fjᭀ4. :n"$[g ܶ S7Jĺ?F[5~of}|UP#)-6z M[Ъa*dZrkСW_˰ r5TZb@;ocw蓧t3mP.bC+w&wT4Zjޅ:E`Q{;b$UrPKkNDʃ6 ޿޼// їUf ] ݧp. 3Ѷaf͞_fCq<TC4chCtC93y+yF,v2ET;&;2٤_ǔv91#|Uw~ ԺKPFsVBAJȒń^:D9\RݽrZ0ZԨ%TYHvylJ^j((3HHGwSV/!ƽP *5_jZe// vItB&@}pץ') & V{ -5]4k4-@$X٪ + 4_$z97u7o4Z]Hᆝ:diT*+WJ|P8uʔu雿c8"\k8hpPGm*Q?Jמ?yd`g4 h{;*#-kӿ 7˜/$8 )K5*n!t^b"B}u&Ø OԩL?ĠxXD~3{"EeK!5b{PAɥ 4"8n ?tGxu~w81bUKe}D:-+өWIQ;1xJ=~b/՚8Gx;e}s «MC?yL2//Ő#dRlΎrF7Z6O3vB3"Rd6p2uOoxt䩘駏 .)` .6lnySW" W=K畫P$hŞs(ZM`Ч.e:zfhm xݯŪe(]T91d*c\JTj%aZ>ax-{-K5W(!Dj-_jE ӈX_knG#d"Pb©ɯuMA\b"'6J箌ml}fƇOsaJM+vCb%>&rB'g 3rFi=AuGfFgIRI0 QVrB B>H5i㙯h#ZqN{z@3g~N1hu+Kϒ[@P} n; #ikd.z y| ۅE[VYD ;H`>:4^ʫ%23L~-7tMz6;\- u? -<+ I1j2gW(dz16DS^ˈi1Frb@U..o~hq߻O@HjߣWg-hD|7 C^2ʁOu @f 7irWgH?0DALAh(ї腕SH7k, %55ŻnVIS${Gqݺ@YO s|ZYkh J"Ii 4;֕ ̎.P$&0˖qҢD'.OBW%c@=E|DMO-&L C8ŁmŸ`iq0xX [Ձ_i(&fG[d;MZx{Gm+$ cht[:+X<2;j#!2ʆ%)nS_rsz~%ݏu]m/{ $ƴ.:,1 ba IykTs^ sǴ,2A)xli.Js HS|3[@.ZKx(yKnB/B)ώHZꢒJԞcUl\mMj[ר |i%+X4c8z\DCAژR+J$$IYtYp.,L:gm-Dwzt@TD+ U[S ˡpGV(/ous^p6:)Us%ߧ횎'nh^2˹Ik#]ImB)o`ApKv[9 -d%*Wy`J32w% 6 uVç[T kŠR]t{;&?3[l q Ho"AuuCI!2'bgBsH#^AHH5OA-}!I ,<3 ~:-ulp#v@Oҟⴚx9hBfQwMxJW;5Z@>}Tnm ja;G(_qA*Ѿ+E 4Iɫͮr`CeH'yEmȡBJޱcyš ┏QoMƐOWNGQ  -``4qt|{.(V4Y+ٯ]ٔ􅤰Hr#B q%n}c9T0I~ƅ$ 77&m$td톼Ćٝwe ~擊S4naƙRkYn@IC[tȽ6hQJ): [E8RLۮrrixIQ'Éqֻun2$ېܳ/{Lh)*ɸNB/ Bcqis1 S-)^'5\O_|N\A @ $K &<shw+{v3P!H:"tg@UCzi̺z2N;4e q,~ȸ}u5*S`H:Y`%S޵3a.1LiN%LJ\D zN̅C!W-l VUDK!zba`+l$MBq*jZVR5s S'2'N6_Hkv9qh`\e2( AK>xxM"Ӥ^X=tbea =V=" ܕ)Hh9`>wZ]ۉE~'Uh v+uPBBVΜ-,`B4g=>j-}N5H~cY>jld`&F_bbZj><]ғLmHFr.%2Yޕ,l9Ր2VtT>QvIjXhʑ1Y{">DX/cV)(8C9xzpL@S?Jd,MգHw|h܋w6N i:ᎾI@?:ibGC;V/NWR|BeZ!Vt),@O{4b%k iwRkOSw$@`} UHb`VbFTkw/Wi{:ʋEV_<* Wsjs,'6%1gx BqnP[ΨK]¯0&Odz6ˣ2l` 99e\9`\${Y_D=b1kʍhv̉`J1{ž^~v ƶAayqS أ7M]Ys{Hq%홥OLA7ZR E|ˣl{錐GJ1ݼN/qO9*h 9}j'5HΔ1G`rUy g:Q|PsIfV%Tx}j KHs$ylժSz%sLi#p(](2]$)T;5{F2iwg[BJGxo?V3\^Wg"7/dqe cUp0ޱ߮"|1i2GI=vq¼|gͳ*pm2UW90 L${zkP>DxN7? ϠxZT_|)[ %LIp~ 6l K$'pYU2UרPu}JUB=)婨]f|U*}m G =&cGԯ((c\"X,HUpʙ+N(c9iS1*8${z Y<@-hāRQ(2CFmGo?kq.c&LD ց?xD|@,=sIXK`(ؙ:ķ-C=nTа-Mt?}]8`>j:'[j A9 3S[M &+7$ދEL ^h&T ҟ!R /X?e$>5xfMvl$+pJdn5?}!gw[c,@쒮n狑E@*  VX4|]}߷Kvi-"!6`LĻS(vebK yŦ'קY*i]]Y;l:}˨;VPz]t0QV|faD@ $Ӽ*B4T.Hyq`RE`KUцXXE{+3v ?wA-)ݔ|[^rKbQmxUzk7kj I26~Y'|SB;`N2/EC] BGW|цصwurSFa}Ց :i2j/I*=~26+{EA42ּH0C@B3̰&lC#Fuqz}7c|8 D1|2-;fX.;eJh3wTĎE]QXbɿIj9 8i\u-͈&cB1<8[ GN" <KS0)Rz8@=xKׁDUzx`I$-| ,n ="آ ßlntNNZElh\}nWXREqC )px?RW׎1w2IA-lsb`͔΃B:;AFf^Gp'HYd|SVwp蠜) Ux$U*XUގEl {Vь9iZ(A}Xo?7:9٥aV}6MSOiâvϸonJ5b{gl"5 rMMv\k3,t!BK 7x qjooŹrEcћ<+2oרN4Ws(/:P;ә$.o 7n c҆'cp#BSΐ0p4](&C J=FhQh8l.aM*1ʍ~( )\9c:v\#j`Fןש$5D~Ob}8XMѮē謢\x: &I=ЎͦБVe烰ʟQ- >:sJs~̧¢]Cܬt^ӧ]@aJ"#*n@FvlwJpoj\뺑H:N&Wwց̀2rEq\C7fԋKݦ~QftvT7 6KPB1{k&\Soi(C86 }U? k P7TalA3!gYiUAo)rއfq\ Uc=z [Dt*!!@{pC=8_55>}C2D#p*EƪSÃ2sXө v@[+Z!b>eAblmlxWΎ;pM7̻"yn@>wɂk M<"IHNj;STG^Q@$||&5d. 3^d%xuլƱE-i ə0B0kovƿ|fٞ6R^<[VS"R!j:463T}N%$qTpal&9og l`&}H158sd gc֡W -vbA띔ű͆{Ž3x0V}A]mo_A+Lv p@o`cA'(ٺ=hVWre#\V+iH!>]ĕ݈S3uSa߅U&!eQ`Ð(ˊ6^r41AE>r:^55~FY|1ZVz*܉.s-S=mѻ`5H)]<GxjABjLcgqsӏ*JgAZT+| -^&d#%, FȨC|8 vr^;z~9ߡ}TT;Eׄ e ^ ٿGʸU0nD5͟]Z5`@N6$_iC$MQbA7SM&A^Nm㷭V7J+12C$]-mmQ,Ϥ`,~xP ջ D(L[Њ'Ѧ:? V Q>C\8Qx&P +Q\7(/l;]J2e.*=9q1wi|wI mSHlߢ頠٪qHQ2-8;]QgOH ۙ{uKы{69/굂¦gf*B: :$9QĈlĹ+t:4ըJ .=&4#;p c",fu{|~j.ڐֶMx]|:, ڐZ~P}۔XB{$ :+_0 Ʒ6J V"}꾻 WGKa.x?ucan94HViz'f DHX|R*$`CF 95 )D[v]rdɅ6 3ke+;x5Vo_7@AlऱF}0mҏ!ttƤkdNy盢0N9G2 k'aiۼs2;VR[KQjӊ:ڮ~w)E݅>.𑸈j'Ƣfeb_KYd)θJ5J(?v^:-S՞YWr镲s‰c+4D(p:_6 8IkK(>8R7+PRk_c{h#JƣƓfo[@Q@,!FevA )lz&S;9xƾx TiͿGE\) {D';QxD&B+Jnuu[[#x53/<"Ȏ6UpL^)Pl̘C cȤ"|HAٵJ7!Ob`02V =ObhoYmfbX0x@N%:kXiHRJ 1 d:"]ğl361Z(`W7[R>̓ޥ:xǫTZ1紤"[svpK:DEWi}JTQ~/ Z9,sB:aj f&i (Cp:zmuqב]>|*Q]ǐO>̮aZFVq}6oA4!36>oQݺaN60ו]z5RKJ|@org;3`BȾ RHؑDzhDkGDb"h naŚy/T3vv?C؎"6@j WRR+%# NՍUΟ ‘|7ǨJ̆/ @4e՗!gL6nƨ _zCrD}S@k4sU / Ȃ}H2Ft,L}j{yr Ir1 ԵSwؿ) 0_jyͻz Ź~ #˨`iʣ~j{jK1+MaX*ʂjoLm}<(=([&|x&1VD*O3>iŨ N N]Yʑ?tm|trCp9ñ )x'ShT0R+Å3 Taz>9Z4CTd ȶD*ٝ2FmQǑB`)vKWZ°Amqw ڼEetgkd;^ƨnF\Ȇq/VIu0I/f uLb*z5.Ԡb+jZ3BDucz"oVdyTZ?c>iʎ5cWUel!'Aҟ ~$ 1|s5F b]c]6/τ [BÉBfEgbd l0G,\HLD/(Wɝ,&?qZ^ʱ CX˻` r[Փ 7۩8/O*fgL"ekXf2P^V8aLHyHZf}RRZ40#[v{gzƻJJ{l=0@RwərDO?'^(+rᷓ#k!5GRMH2jܵG붩m7spS`'鴳'5FIsuʿELR0r)gE#ekoַtڎ+VMs 46fM`3~cUcT\S)T5{Lޏx:-jtx ^{i7 F *fQ;ޓS^6^ Yd}L6<~ioMe I-{OX\3Trbkϼ91NAX~sRSX'd=/"bёq_,@G<ΗH'~1c0Fŷ鼶םrT{ef?IL2L8 j{#4I jy7|h\y\ yuW4 Vu`dM|0jDX) -tL8z]翙uH.|6c++&K4a~%v]aګMCXu% 1c:cC\jx{bREW|*УT@[ E8sV{Z{RY̫63ÔIhILx4tM[~ƣ}x`ރ7S,c/gYZ  p ;Q=% 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  G'% LFinFunFinFun.FinFundocument.tex7zXZִF! se]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 \\i*Ygubj">Bp+d0cS?#THB5Ag _auȑ)%v(XbeD2+AIG.'Lj=NQN=gJ\)&Ocv񱀨R3C93Իx `6 ex07@RXmG9AH)8s.f2^C.qQT8-}9P?~_hQ~I֬yԇKO 0=y{ˉtqtF:W*ɢߒ+_lXu:kz8 @ ԖʾDLGn0]9i5 [