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 t,t ] XML:threads=2elapsed=19.445cpu=32.616gc=2.192factor=1.687zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=w@(bM-F qf#8hAE|ί4*ͮ1T'Ը}f7a;#Q8Wn XK**?/{ҚN[ 1R!ԡWQ:fj{ɭjcIa *ʂR;FT&é3QݡNƳDwK-RJ0{m7-eys3WXrR dro,0_?u*]zk`π HDM2pgY7PDN_uÒ+El|U8!o>(.İ^iIT$ Ns例P|UGȷ3U+TW]5/*mѭų /1m1O+mT.y@K9k꜈԰t$5ީ(]R|9^CB?ÝK+9$Σ2Sn V7N][>,2{d.F".'K)I;%6*#؏Ef=Aj66V:,/n%t}d؉Td'4jnI*#ʬVsN_xh1a OvWޔm*!Gz'keK mĽ}/j`V U .b##A?5ܘg>+icwjֱgYZ7zXZִF! i]ŗXi%; oM_A;S8V(W֭Da/b<-_6vM=dN>s_8GԦUAPJWbb~fE:cF?ߊ;ds]|ϻ86'Do9P,s# mYN~bt"'*ΠOԡ/}s`eqT2I]CYu@ 6 ]UA9!u^;aYķ^D՞k_ X^gFBʀ2٬I06 > DLA3c%H5[*cm1jqișEB̈́aR?DMGXjd"Y6 Z0)3snHƪdřԪʤCJ*3h"fZ1M}O{M[&J yGIyOXEݚ( 7GRg9;=vgLcօHsMFKNtכ H `H; JR`+x4[&?k`9gplZqwG.C@V3bqW9gFXr;M5N]0\X);n&Җb&$C$@3AZ {v;64%nߏ`' M< ٽ@x#- .q0ʂk f9L+`:,lN9|BglaXCt* }bzrz7ErKD(/p8ٹy_5am(d3zY@M'Bׄ^n1[~ K~~>4rL !^vePƺjWJLÒ?~hR '(G* +['@-'Vioмek݀If :gi^C{ 32r֬%g?s.>?q|]|bH'>M82^ $_s8ǦT;Nlrm‰^N[8MC?Cj{Ss-za'qKyx΂h2`K;&Jߝ)J,rd7Cx!7^acLbg|Y@0gmM=8Rde% tXMLXML.Xmldocument.tex7zXZִF! ']A-MՋhvG"uIBm5̔ AG;C.1+ v҆>="ZH` |Jd@phqi"m.fMP=\oV}0MH # ٽZCO43<@NeD<$uçANJ5+G]p?݋yFĊjI~&onMNrO 8`qu~ Iʬg#YD'=p/ᆲAHmiP"YBlo PH0)u^jfua* :C&1a2}/})}-~~]JcocM׈z$X(i0~؟9񩷖A(`fY G'eJAxv=oT8} e %yB9/[Efjyd[A.Q\Ӡ$qQ8;㱚X0[wW-Y6B*a?1,l>д9)@B>ta3G׊'4\-~CrN'XO[򞎗lǍƚd5L܄έEL#lڬ"/N5A|rks_x:&> Ecs#‘YrOMl#Rn,HM58BoMgԑޢNhW梛K~GAB*‰[pnko_=O((aD e̷N}.vl 8Fįń@t{ΪƂ@d%e_jgvh/ Ϳ0 gGj(䭶vxw֌Cf󵗈{yOHجi2rȆ\WsM"jr rΰF"-7vCKB:6zeFk.QboϩR,ㄎAG\-#wo4-y9_O<飼F CyP{r3u{ǒp[7OL/N/ )3ɜ3qJ839ˍޒb/e}^Wh W,+`M,oJcun/ŭ`9}'ğ<iB"#gϕrQXHݢA=~^hk$̗Fv5Hr mEg6"W;Z睬%=[$/Au㝯I-hpqn>;Z>O\+)=Qw}~NϓK +RFY9Ld ?+9'$~c%FF_j#Ētth6LdP.ΛH?E&Zn*YAªCŌh']Ae`iӊx봽7{0nvaFY3<5pMqfߣ /JNmS?%}ITztC.gKr-=xCg~]OHy5a` R C/tY=aZi wI`lOb9}~tɷԤzpEs!:5[wb3ZU-N~˳9:HK:F#/1oqSG3M PSe߾"k>eZ菳Z:Dqe d_HU[j4 *=#b̪HQ"K̓QAk_]G†L#btvZɂۛ{ ,t5ޫQt;R:N9T +O("9uEPh0vS)reD/" з%[8y"M7+[.0Wű޸V^jBnxc)v}\;K8}0T))Dr''DTd7mNIBYRK+qg633%Q*Kblv(x6y|r8%rZg}v˿}ndb\YP.? Eː"0wymFS c^E[Iae>%qxeǵOcfNdq4V@\lԦSV|y&"kT@ O?EM]w'i7 HzpW6z`G`~ac mPpJ3][tQ3~χۄt2b?|ё}νz *N|IormU=)lܒA"/t"H|k/_Ahu:-&JY{v?T1dL#, i6;(%p@v/ͨ%@D7c~QXGIdHh,"哜fNV![ XW5zf.C;㢫$Ȓ*~G@Yi-'GZAaΉ[X]69]a(4`\gm~PC"{ ! GTgZm?+&=L9ƅ/.䧩_Yb/AOn7J b jSeI:Kи6^OC;q:OpUsगVCݧS>gjݑK=SPu1Xi[,9G4{!w[]bnV2_@VK f{ ̤pl?0frL浨]jkKúOJ\Z&6[hm@ְ*mrKqM}*aNX[˪CY䎓Kݮ{jfiʹ}W.$- g1Y x> $(G}ϟ n%d#5-&N!yw X=P:5VsHSg4j޹(Sʩ4)g}0-ΚMM2 1$&?Fqݪ*hC p"G9Hϼ@cZz|c6a7R"=BÇdei)R6LFR̘P3)?JeT#ys@E_?qj6aFNocE,qq4ҘX&n<¢2n藠c&Qb'H"x\P{⍷. _S)B\GЁ*.,}وn#ǣu"?OdzΦJRg-&tSfFn2M ^>`_VK<[_U~02&i|D2S&A}샴wC  z&ټ5PvjH8"\vk.xA&u$.$bvp[OtC ?pfʯ Bb7CJD/|L6$;Ix~ #`T.`V5-ĸ^:;dmG]{1!|eK #4kb`'AjJʁð1 Iu\I)#rr>0VIJkWH':hP:jIz ȱfj T8!ud?dvm&1lY)Gp#xn=Q+i+Niъ_< TiUȯQ>J Ys.q |qJWzC3hup`s 3eMk٤  -xәgW2zᆈ^۵=.ܦc\'Q!#_e6S}JF8A{t_Yo&&e:^7,zش]mUK(]~¾;wDtèm7ZϣϸG792=g u|Tyyf8xcSYWUjcE<Q*"0^04u-O͢zsh(~ Pd>E>Je>=g5S&K,@ =IjEqXi/|8°Kz(D4 `186]Nv RՔ2v{Q,ui~`g EbdzY*`NIqN KT^$|ݮEXL Sk~{s<|T~t)reo5Rl ,L!ՁW5W͐dnmbpeH9s0A4dJrp6efQU`G`G&z'lIVFڰ/!'Z?/q2s_)$6U~۫MY-:l(p#١a\ 0=|;j&|aЋTYm `vlbl  ?*CF^kQ8ِ׾aƪ/ o68 KQK~䍠j$:d9 0 (}i!sq 8ݓEG q=fYWp> ["Xu)jG*HvI&K`2Ȕg,LE#aMq9l~ɋpM39Q$49VIBXYyA%WSCZQ 1U뾱;7W|CF&Yk+ϺQIХ'hE܌v8[;urCᘾ#ԫ0\O}-5NQ"L/2W[~9Çے-M}d~ށ.m@vK T ԴzU[?l4%Jm5S'%~,ij{ߩ"|;AhYJqF_u6tڝ>`v'VBs6\|wE ]* \XlFmL:L1ї9,i;)#E'6{}]"&83`;z||\ /VOI`pbsmr"${0dhKUOxlgYZ 'oJ{[|\/cѢܾ1T-%NNLTgl$m>ztHC.K>؅t}Q:4 h]h@FG`~k= CѤkcTA؟κب;hyېƉ4>h=9MUws3*@vXU:ΓwA6@7볓 7w?+5hPc ciMn`S·V1~"R|1UO&(V780Ԯ |*V&ZO}8j9drB, H_wPi8 V~SgA9TEn, bC%/"(i3xE6wRI+MaMqՈ Cո.h!@}Z|C\!k,OYPz4qAfمJ_j ( ,=.3p$疮akì#:>yTҾ~Ehp͌ۺ-`0of&R8|I>FV-!Jk$F6NS _Ԛo9j"OLcg40b"w7]ng)=DoZ+},%Vq.#>4_R[{Y<,;ρd+nNU9tZdWj="a.GoX&w"VU/agJ:XV8bn\ D*i Q)< t/4fw8~Wc Mn8=O6}'vo'ubYf 62^ 1o~5=cN}9݋y8m3F#jje鉪%? qwMQ#S 2t9 tLZ?h"fh\X9SWT#oWӭN-2g/Ȟ!v<ޔ ~9 Ky9fmr3OZsO U)ZX 4ߐYs5Ԃ6sc3ikaF,% J)Hm#xP :ԫ7/)]( );q4Xdc^l2~ r]97DuD~4}pT |#cKd{ѷJ#!dKN*@ƫA!n *T[Hc3cl8U^],]CUwJb&7k~ tr܎5+56v' sX%Yև5^ݘU&^Jʪĩ,ƻŽ@h'V|+)ol~]Vњttin c*Wr6tTxC:WcREPl75PE б~ZkFӷ6> k{9Zh`ioV3ïMF @GT7;'GJŐܪd~QAW]5(pBXoX\P"-Yb~ *=AJMs2 6禣0)N'|)FY;lѼ"KoRY\wM 0̈́Xg${o`, fe0 B=&VÕ-#8>g 7.q톺:r}NǕ^~PHвV=ЌÛGsA$SeUlR y#ZZKBTW^~M @ՊGK6Ƶ]Y6s-+n658#.sF[#CCXDO7nǟ\[gץN +o{_Q%!bA0diܤ엫ث'xȤv6f}x%Ug^Ayg˺?|a@_bI2>>=ս:]:srPݎn6AX h-T ;;5]zA^I;7f#sE_Y5jZܐ薦hg^m_,AQ$9-SByRՄ*SQqVd&!$9ȽL ʗ,Nq+OӹjJOE/ҵv NS!] *O]\E ݉T>Jeh :9v|6Jԭ ;yRe ϻ.DĤ +PL+lLIu.v(jj%,b+1R*"2É128s@ 0kʷ>&f&乛;Mx5T)%~£OB 0TsY^wZ1) ՁۙO숞bLRouEG4kt;5LDZ;zUkNz0UC?J'/`TH`\_@k̎G\qP!Q`ȵ[!MLR]q;sxD )U}Z9)י=;A$)nA)`B yR=A!x < nF`X=H9iqtt_l ֘dR0k^ǁҫRh~6TBr:?2ԓYt%Pw <) @>o.1JOLbWF氾LfF܋ &을ڍ:87mՐR _Oj˰J QTуc䓀hoR;(Ie⏰ܷNr"|Xe{rPT&є-QX?Әb ~~%yAP[\Zp&ip7骍"kb\)YWm=ݞ \<.b |rp 2 nQ ?O"Q[6 Lt)Xnϣ&kzePU\ ZON\QeV۞bj#C$K}q"ޭ[!>"+#9UPްr\ ʣUp_1r\,q#F@mixwD7^I(jtfVaYced]6nP4t׉ ,O=a1:>`u oNNZ.$ͷőe)r`vN<ɮĻ Q,Ħsv>[+NK/᧣Euo. xO46K BZ=e.3[$R?)E'kZ3;QAv1K_R!Jg_GcStD ̉!Ey"BǟO7-}H~{W)x(}@[)X%ÃS}}Yï^Fƃ(+mNy0O T% He@{Nb!˨} MpL &rz2B|_Uu&%Գ/#ٜݞV7 1>|`ۊKE7V|"VI̫vJaGPs&1>lDsn%1sLT‡ψ?9j-l#l>vRk0l_>@^sFj앰dPb Sp7128lZ*C3(T/ La -ԖS@Iy֨@!b"AW.lo4/׬tYeMN lJ(2UL5Ƞ U%e?\ ;k驫Q11Q=>Ϲ=H]M;*HoTYNA0Eε.#vaPo7_XA;X, \jX.7Qon9LaM@PgtioVXjʊ0=TQ!7<9κ@a,Ϗ@cPC6jG$ҚULuf&5^nzotjFv6I<0WioA׍}ĭ ZwZॸ_|ӥ]K͙!BNHg,DnWB7 \rvtfdsdsb˜ȩf&cwJyckkɀF0w\΍;vdF)Ұ{ *z+E߭ rLǼv.גdŞFIJƤ?Z {+>]FE/SB}HA8/Ya}{1I>ĵȂ ,E{+>L GNsZ w:ω*dFRT4eغR6_<#&Wh?ssGk`}Y:ggBQuEY;&I ]ʈGMqQun3fK@<_̼nNqyxI1QV|(QxjOJV"`.Cus[~rjwo>JwA$r$ڄSLK,GxTLTA.[xe/P#+B`w객+vA4e82P {4LOB/' MZ%E@kKy7I 0'+/KN >73g HPoEgȒep3Ю@T55eDwʘ_ӟ-g*.I23-*ŸE9ac6"֤Xj?4"]@gfj&GZI 7wM g%HI:QfM?F@}T8l%DċO*-ix<{%>-!:g7(5 tri쓍R!dr6+\,߉e=HMY9Ӿ`_gdZzd1,(tDFb>rv8>4n.C Z/Aʇ)/[2;g VTlRHæMOu5Kp293eR=K6eU!wԯ%TnEJ{*:(8nA ׯW81-[e+OU$/-k7GjG.-OUKoH0Ej_n+a*?ߛ)L^PO]vNb,g0N=60NǺ~N ⚙{u{ #G=P@Y4A*vMnbF@61C"bZ}ߔi w41& s:߳I:~ N7f@D]Cp?݁;>z7ʸ`_@[DpV΀ĉ.U@)R5CX+iWYzLp*ʗ\kgBɽ*Qcpn 2< l1n9bi)4GAٿmRj@h8;|x|Nk p%f$4hև&,".mݹ⍌ [u%M{U^N 2:~zu)B)hѾXtL{XRg;)^^eDӳ[^BCNkɚq ,%zq )T6^ 4-%WsaB2J`{;z[A0NY×eфy?_!DՆ$@oiDn.N`WlYY,V\c拢ڕj ՜v^\E ߡ'A Q*{3P̤h=9e*%vL@=o5n Oă'o~ #P;b1%-X-<I_||8q̆9I$Ә㵱nƬ%0ᱚ:') c_JSg .'=V.Zg;zJ81uгOgh7<2CL}OKӇm3M0i螚%ΔcWo+'7: 5 wQv&xevzĉ3ǛWq7 {g '.29}\BNئ0v< z̲ݏBjyK}i]ҤXnܙT.Y)&ũ܎عvRDmUx7xϊ@.ޟ>}@ U"+4,K&k6j?J6Oc_X̏h7-?N9.!šsxFV,e3I[ؾW(ܒZdq(0ܽj|ϹInDr-s`ӄtS{E80ʔL'ᶊz"G)3~v,$xw|Me(9+<5)or, +P `9TB4f1<5w5R~1@(1ڇɶKW|lܲGȬ7sa+U?r9qrP8s.AR7\3 V%}ݶAjۅk_869.¯}n9S8G&:&{V\doz.h%2ZfrWeOZEWWWrK r-k 6)=f`jݤ8M[WI~0NbNʿL~߀l;, rƠ $S1ѦQ֌.{mNCDHRCtbi Tr> :11JROaԅ=|`q{ɡ(DUZor\lbK[a ϰ*xPv]bZSƀ5#4kHE~gd@>0ku#F H3L0I :GhwU`tp_?w:+Hpa*#9V+)MyiL1F)h1+ ~j xʾ26Z^s]md|~yo !irj [[ݞ)=Sh}4lMƄ'%Ǩqu1\0CڙQ+ΨoJa! #csqDWvn̍ß1E13(.0ݪrgYZ o% ,XMLXML.Xmltdocument.tex7zXZִF! !]A-MՋhvG"uIBm5̔P,GuKoxM|Zς48}k/#VQNϯb]C7AFS^ÉPpG|`ډ4#VP^эQʖx"Hvq$pfxoj.9YfgֳcrӮ󀔙>oмek݀If :gi^C{ 32r֬%g?s.>?q|]|bH'>M82^ $_s8ǦT;Nlrm‰^N[8MC?Cj{Ss-za'qKyx΂h2`K;&Jߝ)J,rd7Cx!7^acLbg|Y@0gmM=8Rde% tXMLXML.Xmldocument.tex7zXZִF! ']A-MՋhvG"uIBm5̔ AG;C.1+ v҆>="ZH` |Jd@phqi"m.fMP=\oV}0MH # ٽZCO43<@NeD<$uçANJ5+G]p?݋yFĊjI~&onMNrO 8`qu~ Iʬg#YD'=p/ᆲAHmiP"YBlo PH0)u^jfua* :C&1a2}/})}-~~]JcocM׈z$X(i0~؟9񩷖A(`fY G'eJAxv=oT8} e %yB9/[Efjyd[A.Q\Ӡ$qQ8;㱚X0[wW-Y6B*a?1,l>д9)@B>ta3G׊'4\-~CrN'X]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,," DB2M% XMLCertification_Monads.Error_Monaddocument.tex7zXZִF! ݀]A-MՋhvG"uIBm5b'Z̬ onbTdDFz5, l[_bh]ݕ߶J4>C8itЕBf]OnQl~Ubw!qPAM` {uz lzC_r7>>CG'-U̫3sEm\'Wn|"Fc^䃳DK] $/w#k_6?tmDZ>xL}u ^h4_uoUx,<% "x(x@odzF-: ~-Ex# # *,1gHM;hU1ȞWuHW Ұ*}&?êA/S?Ik?@ipT=Θ\}[iǻpB2` O X3FW)Tl$b{ȋihƂd؂R]BT U^2zwUt|o(t 0p.?y,_V^{G"ir ' q! g7ydxКPdI<L,^fN " F` Y} +_Ćou72휲uUq BIٰG:ruvHӎO<] HrbEܪvr# { { ~Y-n.}7N[3`7ˇe; GrV Ӧ-A,ĂVd6)Hvk-5,ؤm%AW*Q|.>kvp1@20Af%Tv.T2غ` 308H6fF!+#Ms{\h^xZV<5pb}Mx0aw f gO% lXMLCertification_Monads.Parser_Monaddocument.tex7zXZִF! \]A-MՋhvG"uIBm5D#'s{esDj1&B8fDٟɝAy1Z2%34}"byQ:' v4(H-`TP?QH  (|MrOssk\X3;U}rX۠td[5Ϲ']Hsu*'C f?*A.KÈ)JKtse7zR8jޙnUdQun.p^{jthޙ%冶~\§|$bXUIKO#>Ͽ&{#M9aG/m~*ҥJ3th{D|3-L$.Ci}۫]ᘓrP$q>7J<==Hʶlg-F xAZG=ߒ}ȋHsYmy,ݸ4*e1 By2P<.g[/L}MoXwdF= C4·nS# Nū0Þ/`Jk&L\%|/?!9#5p5R\`3IrD'X2TA aD 99Kf8np9l~To X2_-oC'3LhK+qr}yx}#x~9W)zZukk.kerk<׍۽%X:{u@GfoD0~ N`bL6[5ˎmS1HeޓwIl⎙0WnkJ%+T- q|+>^Ԍp|GF| e|%,NJ@l = )佯DGh ;vdffC\:-6蝕/p@|^>'"·҆n)%|USI'7,mh֘/l尨jB`6n6VCGvb-W`TZFOip#vSP)pI?IkT= /8ThGr5ͤR~py74ZLyo&Ș"+{zJ<;)4/UqYmߗs98UCP e<Й.0e e0ои^HT-eVᐱ )>Ms/DAEjKU *Cu2TF }-'IT8F"©Z 2Z,&fi<ָ!c4(yUa-NmюS!R4j&U9C%4$2OE' r8h‰=w!t߳cFDheGzx׻zO*5ۚ\@$MfVZjH~)KJk|#'1~0fg]n^:TsFw䱾K ,(x99%~|_Kˢc[sHF$Y+r8KG-gOI>4~օ%R[e'^`Xn P{Kqz&ᒱi?Y^ˀCu9OmXERv=ݏ!^$r'o`mnmKQT+z<2I՛g;|R  `rQ-$)>/Ŏ:R<{ Oķ5~;Iޘ\9x\e W:d )' ꩵϕAN1O;tT_̮92>QE}-'l440|7^/l'!YUɮsg7,fy.YSWr-:]$w~7 0ftb AҬc^66j?G 嶢܇zф~`hCI vy@Q[PSw$w ˤң@uD&ϙ0*3CO73)C8u= pJJDO$Jeb,vV&O<$ԁ3>($>z-Gpղq'tIXąTGVٟ兺m2.pXтMby.}ѬܠVXiV\mf=Q4)9=oSiX#~3k!5گiK=w2MfR_oһ.8io.kOWC Otȳ1]Ql&U8ـ}c*m7󳓽ٱNG0(;9ҎlFҢ 8g*y]G{<}̯M~~i'9nxpRpBONhF[bJ(7R{$($O۩y9kQXAwK哌 :ŷu}Vg띱z5rp rvԚ@Gpp1_M2:3/B_|*¾$DJ.=:'GkuFOECHtZ`P*Ha;|Y5F\OҮW%#Cʹڰ C,/N %P1?h K[Xz7BDZ?N?#P>`1 +x̀G:WASp)2R79`) &̎ۉwa] E[j }r[45ʥ&zUWBǸ忕 @m^="[D >y]H&IVP|_8LT֭t&XTܾmmd9Zbk`擉:.jxح[aF7=7S Q>%:P M#4_FyeFI`KO3h/X*/[« ?z_Qy1Cv[ϕTmsкߣơ7ѽTz JyڥhSȷW9̖8ɹ]](;5%LA OŠ9O2R\9! U=h# ^4y,/1֨o)DWCᶳ<AANj8rգ9gDP:_=;y64mXѼn% (AVdoonkf=qQҙӄtig ٞ@'-+2?ʾ&bݶ9z( uLxyv7}=?-~'jNt#('fc<7{ClC'YcHN@P]v :Л,њ 8wG&]AMf8|j^J%VKZS^?8dz(VVt/8?`i(,g;=rF~rL#y/duf!ӻ5nH-hģC aԉ\ӬWAzybor*U@-qz7}%Ǧ BC|(T`7o@2b6ʓԮ,@5Řh?}79h,grШD0DQLΥh,G74j+Bmݓ] &_b YRJ#LE~ Xno"t~VZP5y^dL,## dI(f/.aX-kWgUV yˀ#iAv\J:Ha [Ar5aZch 0dR|B< Ҕ,WwKdv ?$ZbI#H&(s;ƠhBy9^:f^1`/dS9m~[LיRح!>0̗{ySbŠg[>Z/sLcNTT1$[}uc/Xaʀv|"SvO5;>Wok]pҙמ3#)q:;D O+i*9M2L^ݹoѪ->"fJ3p-Zs-"GȈ0+xKN#*B&!֑:+ˠ+]Qsx%J6XEO^ϲ.85LY++{%B)ޮ*.Qe6 XG\y,Pݲ]m-mPW> I1ݯ$.+'^s49 lXQ_@U8N/p D%- eB`qC޿X M. {2-ހa>|db;i_sW{@ha %Җl=|Tl{nj0=Uw-g-}; j9ܨԪd6w@RtcNh}(G镅Fme"pAX<v1z ʈ#(D(8HKm. ȏ ڳ<Hv|Yc4J&gL LPh]j^|XsLo_ ޠju?=*+Ld3Qʼn9b A XM8=%sHToI,YcG{#p7!\ PgmMucTq XfpV͢y/(&Zr+`!GyOonEyEzT:)vsfܞ%>{hq GU,a:mtcS*@{dv0 V!L5Q]U3ڥ(8u+L>G(FE%OB+9) Sb'ϱ [-/}Jteb5P?[XTNPtpŸe+oxޟ%"TJy ڔD?If#Q9Ixt=;#Kz5d^9+)v΄'2LgYZG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t=@8VZ% fvt+RP'GBrua=P0׎e l> wvŘE%I7p&J"A?bx1_YzhNA)O^0_#̆tJoDhs['EO}Kt!\n6J"ە 1Ӗrw#6&¹= czz( )7fY'J0()9@bu2)`/Mba߿+Sޒox#]쵾Yꊋsa m&'NtI+W[^s ubA0 &ʌ;O &UPpϜ&S^yĸ׽`#cvᜡDҗZe2+riO﫺bUޱ6᚞ |g= BĀ6 M`8mpjn‚Q}Fqg?41`3)g BBz{ )h2oaJUlS`ܜ[1s2,[e!Le|P$ (f2AEJvkyzNPU_?WNRi7az0uĻ9 g?#~!sK;%a$Mi`﮶jQ\+7/I&L(ǽ}5eUGlN.?MH{!d4&8(8Ύ #K O҃wFw@r(D?܆jmeFF]O1mdዌܧ!Ss&3Zk ۈk1P~^ıPA۬urKj$P"%OUcd[~V?u쇿$踇]Kոr&G8 6`M;L[Y6!&zm6p!͜va *D)Jh8RN[g ^&+*~]8q^!# /X@j>nO{iFX鴁 wBs1C,3Sщک&} RA~/ү&^̃Ih:b]=@G7ǻ[ Ԏ8X {f:VDԸ5BI` u_N|ӨᣕYGVDX+˙&7-RlkH49,R~5հ1ЃLA_[X$6ҋnxPxK#]Ө9TQjڲE 2p N00d`i{y_j8qRk?}blKߝZ }D;Lw¯OC߫# M;+ jqc3*Ȉn%tn;!ڌ" 'WsɬVwв?aIqK̪9?ZҼ$!iTX&k3Z(jT+ߢLMj c>+.fƚ b (є k"wѵ0\ES{I{8p+8gXXBjg={mK,S}'Bo~_= @ oY?#E{0"J۹aaԐ"E솥UlΦ#CȟgFƁ(JIh],I\ByҸ%4lg1U bc":1Žf!ʆhX!fۇ]+f[=:K bWfȒw,avl.Kd6=B)CV= ?zs3”a$ElI9$ Ė4a}, 쉛_*{<+1w\\FpN^ ɠdWS. ;:;bvXOvѐƲ{³Dfy}[As-r}uu֎[S\OYkEJmN&H4E&3p5Rn C9H^!m GË?mf-!4~dlevY ˳-E>"cX@~\e"tq(=,^qսeL $c4~O zKq.,fh*(< 7Tkf`^F?1sx!˻w NK< d^Y8jNfIPTL;vd5bRW(q*Z<|љLÌ$|45bvDЃ.LA+N* ~\5w|ǀjY9c獙[zf܁]DX,K ym6M^^5o.D0Q+K]Zc;^l QD JN Aɳ22VKtzHy_&oi:Mnۼ42_Lz esY܈4 U⯠#mtG]q8?z0bkh>7-h%]>d'|Y R;ק0 @0)4R,tAި;eWCP%Ъ]fܲx~gc_^) 7Zub]SV㎣yWYV~%ȏ!bOov%JhHG@Dr^=D_-YA#Q?}T"#Қ(po ge%P8ZH 4g HvP AJ\= 3#_4ck*;)E;ǿ/8hs,Zn@7‹9 6x@OO `rq޴#}RɈkT۳$P/a DCʼMb" oQOϛ ĖDNg%'TZFUm9}"I(>劷+dƆL7ne aqحCIC#(M|cLͿ3&c>lrƋɹ7XVQwY^=Jƒ.݀zK܍+ƍYi ; hxN'DcEF,!Wݗ \xkdaʰ]xÐj9`N@tqKŏ[ߪOm«_  #T\h3ؽ3n̷?2֝z؞USW 2\V}:\ɬ/ "oCz@+&.JG<bW,+21^x-=X?5hej >*L'l&u&st ܓX˅^]K%7LտPI0QIgd:#mxH\zLUmᮆ%V#{a7 :çj0>/G KA8 T{ DnFyVu0D x izL'yv? nț`_Oz'"sngi 76-v3C%iޫyJ8o65tqm:_y@QQ76i7^7$ L r`ՠMMIc1%>ƕB܌Up%,­b”D>yӸq#|$L4 /x~~bx/OY%X6 \p)8EN#'q-8|/#V`Tl.K !_WǩO=ncD(lm+xrm)&Aҭ(yAP91 HZwNO)|r Z^*E]T&Sv$4;QMUU0 w-I”2!+|)./ #+ÿ~nw :lA ׇx׫:|rGjd0Q[R  +*@\e?ʝ`.]'S((t.q2I o5cMNC<,MK.͈iP8>i ynLJ W/diH\ȃ tMun|1ˡErDt!Xa<[[Ww.)z&n/Xi#Rml۪1ѭW1~ Tڒibȸ뼈>hQ/PqmY֗(}lTO$@^7~fYoA?y2!u_\rCd±v-89O%+pRߛ&gDsPm } Fn|rl=MehXţOG.?txaװe(Ϡ9}I47BB>wElnavD4 t8L貦;?a-'޶6N$Rgl/1I&|âL-S00{ ɭuN%9S0lAj@ðb6{:.i\Jwϒ) cpv`a8h`pROh0*̉] 0 @3{F}eݍ[-D\?ûCOc)t 3U_+D{{>ƲaZ>f%ӓK~e?*e'Lܺ*j T!|(X@M~ ~;n^t^YlWgg=LSA-zS,ox^^Rn^ @*08H4"8 ,Wk0MVSbzchR%O6 KUUg\k]<ɥ&['9ԙ{VQu\4ުa{kmSPzҕ0:˚h dꫥp *qrcF8>uQg(RhC>HNjSOn8h#=bqP2DX Xr2V; 8s'=]_m. ,=3b8{OTcƗ|4xAV&2oV]G/~lb06H?[[<"UZ#YnpyO9>[-31=[E@ec6dt)gIm (2$R&wH&*u(Oۂ~a ]L W8ңa~bcKeDP*k":>E,"ݧ[tOPO<nQn;ձȴUP`vX"YXz$VAi%vnzjrw8HѓB(ɟ+B}ӹRB=?` Ρb⎳t2YnsЗY|%`%h!Cߐ_Wmwm͐y-dF XK}iݛ; ݾmqޜ5?gwDZy,zb{m$CE&]|Sv7'M3L7 S @j!QkDQwRpք#b ?6E w6[; ]2$9E9Y1D <KR?1 n:N?RM9u,'>k[ $Y5GJ?rTBspfRejީM۵ڎ@wf`%K-UgYZ,9% XMLDeriving.Generator_Auxdocument.tex7zXZִF! =]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFvBJ-KSqw&;!!hVw_2nbC#32Re1eTƠMcZ+l^ctj& ̔QZL.Ԃ;n]]mY$*7]*ӻPvU"*v<5385RBR q".3qAA(4A;TsXW4r$we7rX-Fb1W| 5Ebf{I4Wa]|k-VG04ʘ4;p9Ƽ>j7qbln6q܂>E48Xy6mze&׿@wJgX8@D֧ G9pFAh1t Tݚ$NDn{Db1wb-tv*,O3Al!:[O!aYcR ;߫D]WG5'Eꢿ<#ySjpv9yXbEն;I/~;<&;AH!3~WoWL9]&l4W6r)ǦWfDm]" X' gYZu;% XMLDeriving.Derive_Managerdocument.tex7zXZִF! t]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{$7%^Fgb ݝ$dJi'D„ͲWʲ+ORoq 㫩0i;4B7]p%? EQ;.') xR?BXuZVb#OǒQ!}-^虏UkEct r]Ұ'Ҙ(֪omUg;|gYZ a [% TXMLPartial_Function_MR.Partial_Function_MRdocument.tex7zXZִF! ,8]A-MՋhvG"uIBm5D"@87yqgZ601w (.U@Ojust;C/-II<$bfO}#pu[ls#mI;T;l'tddFoGkd=_Q/A֞h3&MCQDsJ.|L}dv%lttגl^[4ta:e!VhScAжOIIb筙Su쯔P.Hב91*feOf"n r<饍N;zj6A@H*,VZ} e&-+ CG\޷?%EIo\C#F3Jm2Q6+K8Eѧ4g3$n94MYPd>ي. 300fv`ܑDH݆7 (y3\bϠc_Պ}#sEA] LA*k!\ t Cr}h*a3r2a).^?I:6<5E '0*gPFkDEYRK~J[]Eyx%6-YiZFd[P锦;U\$ }Hmc[0Yψrr'r'ju:7t!ȥ^$1~loZ՟T2cs;aQ0TLgf=lŴ)3JH.I aȉ@ $3LF)/Wd"%hfRM=1{c< k@`kU5MgTAs=2(vj8C%DW^+P#dS=y[5~!!HX,e3:RG[dΚxm,פ4iJ FǷ_K =Vu>DkC-5R| DG7(FB# R*mϞ*mMCRr Wҵ58ځ~DkUTh =_x~ADz7$<|ĺ DiDJ?Wkuu˦~G^Wh~"zXxoaVn.#{eayˌZ#ncyr=w<7$6i&<,!DN|/a{·f5;dTC#l'8QwZ,K7CpQ-.Evmɼq|ĺ]j//KcF"P YKfjz[tAj:e_bFWѠJ3E]n r'ݏ:Jn{=6`V8)^Nno)::$cK`_Ne2^_H~@J-ُA=/Pr_PlB`ŴD&qxnhj|K#+!WEi ;~I&PȤ01GL-!i8qf911/Q'K-I Znʆ B YDT _sjD7fj4wD0^Հm1lU 1\d7Ƒ2a -{*9 κ)޲s<l;`MF<`]L&U)Xa@VY)rw:rsǎN=PhTBR@4@ A/xƚ`G6LN#Ve2߭tԏ|ze^EmHXlgYZ