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 <<At\D4 ] XML:threads=4elapsed=21.477cpu=40.488gc=2.5967zXZִF! h]ŗXiɟH)0!h]G3| 3&߶zw0^%R[=rQ*J0Fy) +Ҋ 6~+dHsޛ\tY޽T1jDwMt_X7}C7l0a%RH\#YΠ_,tﶤq5ٖ'/'tUsK$tH-C_㩃U3 rH0g_qa)d)+]!5@ tۅ̳"@ׂ8y(%nWMw …q ۇӢgqGKIC,J3%ZpG4 -%| zzYp^=ԚvvciwNN] 3wK.|;UcEn=&B :Q&ތB~^} + _"ߵoD1l H|C]i@e$Q'aAb[gN5#jˮ^bHr#H:~[TO0P ,BI0pn4(6՟]v  ^:@)*Og)Ce S:W\+L\QZ *; b S56ŊFW'Yv4K#rq}|p$x)Oʘ hڭ ͬIX3iߐv^iWyzw'WÝ@^4է[;27X|slPĹ[SS&IXn̡,A"A1r/3OF#f=Jrq9wb@~w~,堇{x "fTfEZ7. 5XHgYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMBiXlD0WeXyZM=&v8깸$劄b5[S,65)? Gٯ}%?AdmSAMW7DS Ux% 9;3v/1.9ռh 8͇ۈ6@݌&VSӪ"^̇ckᩳȸ!pVO@l)%3a?qݱddc{>UFErgYZ7zXZִF! - ]ŗXi%BzTJ* FpZ :mKQB3^ 3+BI`p$DH)!*\U1! DZWҬs{SRp8}TukQ]lrmȴӵFpȱ15Fa@Z͞2 ,G:g8'Ŧo#g,E^x}_/`g8l+Vw]y,de&WU! N-[&IYBclY;S.XhOW͓#q0~ ^2f\>hmK {B([ܲ *U1c(9Ul7afo嘥C`D taHk\]m: 1Ɩ:p)mbW a6Žᑌ4'1^eyUXG_:moY͔KZ0@{'!6?J+ v] ܅q۵C 2O_S+ȁ{buBph xr qx/]Z9)zNގ%ngDkaڬ@QmޅAYE~0!Q' ݴr^()Od+e z4NE>in 3=~}qkvZAk|a"C#T%r4%q(KmGu#u͈{7Rt6>:\;iW+GEiKUD;,gTSh^%Y& u4+/4 Qgej {7AGa9+l2%PVN)z c ]f̕o͡~ V/7#gBz7ksWuuk'#$XB/gy8~G#RB4ޱZYZB?H FDa{VUi,hVe)`ʺ|wίR&@ Hұ17Dl6E3^-GFrC ֨ X-kX y -'0[I߄mp;LZVӗ 26/||TEv $ 1(,tϿ(v'9K{،ȓ9(^kqrc얨>Y^cW㨴z&~ѫo^|YLB'I^%TGms/hzd^j[4^/eWDMo-KDX[~:-P{2.-+B?d%܋wV2g[Oj T h+ޣw8~Lh1gWe2[+tZId}1P[`Q;ZC蚥L^mg&%/yHE!;SgJ^HADQޚƻEśQܖ g9j=Be fE?\r~n zFx 1PWIki0v^nvHml|< r?edfEn/g+Icxj d~T{㧼SI+Kf9v xZ*do\?kWì+ץ;5-taa`N3He,?)SE”s\uQkGST yqv{ne al͊-_"AB5 ?6+a5NޥUS/Dv8d$-2G#|2 oN׳Λl[q\?.= 6BB ОqeYA2U_U*ZF2d1ChZڭrŒC~Jt[Ű__hF5i\'עIB>IW8A+@7{%׹*CB/€PpCYPm7b9b,k_^+=m[]m((ң&M\p 9->uH`gYZ30cde196a1f4b4884339d4d37bc9039d9297a41396398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93  XML O% 4XMLCertification_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}۫]ᘓr^tZk ^($$?c93 "v:jlJ^';Kt#}yV|};:V,H<ĻSW;W@\2SSN >S}-UΧ˜<=*9-1H \e" 4uyD‰@$zΖ{VF4Mrk#3 PlԼ*kyZy"O_dL.r~-s!Җ~-j/˺t!E'@O;Ɯ~ףU q5m~")~t9\37r`ћ]M2ipM&rcC{ȤXM<&8[VRQ5Ad7Q?*utky VA,3cp>,3at<|E=f; t<32񮄸|6> P!҉iz7rL"7[13h*hMZ˘y؝4PEdn;~ x·ף{f}cŹs8{S?g Il096UV?QPM"kY%Q+P 3r& N' hy~7tFZn<t> GO<вDעdQxГSҾe3Ǘ\< ϷRop.N"Š`GHo i=z̴ <%!!)Ut%Mq!slcmIG~v}t+hqeOَy n{IF0|(I[;fXG_L;֊c>A޳G} e^2e5tnmm+clOs.s*y>ߜqzgQҿ> )}E&z# yJ B.kXƖ5h.W'UjI STru}37в œE.4 /Ŧ-K s:t9ԵKA{˵ޔ+e)0l}L6q0a_Is|Ap6^; ϊJvEˏ^X)8$e=wWԊl;%5|(sP,i E <(`]JG.u"X l Q#Ʈ|ٲK&9w_qL7U#7V4U+B!3egBcfM^/M% |XMLCertification_Monads.Error_Monaddocument.tex7zXZִF! y]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<5   8_U8A%XMLXML.Xmldocument.tex <[%XMLPartial_Function_MR.Partial_Function_MRdocument.tex %XMLShow.Showdocument.tex6O%XMLCertification_Monads.Error_Syntaxdocument.tex+9%XMLDeriving.Generator_Auxdocument.tex,;%XMLDeriving.Derive_Managerdocument.tex%XMLXML.Xmltdocument.tex4K%XMLCertification_Monads.Strict_Sumdocument.tex6O%XMLCertification_Monads.Parser_Monaddocument.tex4M% XMLCertification_Monads.Error_Monaddocument.texw f2Z,&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_ Y%[S؉V^J l?Mrj& LY&`3#)GU[J UJ%PHO|`+wy690ݗwG `q d fPʓPçAd_%(lP$,EF^=a0Q UfH V[10ßi*m`=/Tg,26&xY n&1;gm3Q`$'DX l/h}<%dt%?U*˕qw_];u "[)vDPDB)x rN8u/Jٝk']U>~p\F(S éXW"џx$PT<2w59x 1| 86G#wm)jBݩ5Ө]),\Vj$@~e-5_'6cgYZ~"6 0(CF]V;髴Tä⌊O' a;J RHU/VW B dq7ģ\ЗWthQջ,dN I Zk"_` g㳇ϻ7oT⭶Tz9їD%BR؋.+ ʁq '!HD,vi 61U%$b1đ[bNk'⎎!{S6Ӌ8eAҜSf֐gb Y ofmyqQ9 Tj ѐvmw9%Yc!r2yl!}4:1[d"~0ysʒ 1u~.@r`j.`x9 `Xiv*"&)7 2ŋ/9CH@LjaQ(ǂVI~ S{y޾Շ,Jemz"6uf^U'M6Ue\񙲈6J2t H{g>;N U!2dTN"taGΎz#LsQ` 'UřRqp u݁J` w3l' &b0{|OS!"dJOFrea7hgb[`y78 SX2t4Ƕ ],"E(D*c{oKU*rۿ溊јaF8!IjG%~0b˲_Sf aVyS?UVb+I"v T].Ė0dإae/I:ɔs;M ݁@ =a9/jŲž'(}%>",8t?iQ!(,jk4p|yg*j@T]ŕu\=| =1v DJ އ{.f_OxILw~hȢ 0Fވ;({"rg.'J&V}'4sJd-MͼicQ3va aR2*T_U63 _>/BWU29?j2  T$C)ITpds#뀣XԝMj*H\)ycj$$MN蓭 Aje{B]V$A@ T>>n`PPb-K` 3$B2SMhwOI^1L_i֡cKQ 0H+ Ź?JAι !$E5uKB_do3v[Z2o t ajHtҺSͻ-E}{ L?Ϝ͹tLj])#sa 37L.#uNJ[<]ЍĤ%&H «2v`|u3d > =%GZs=źnh1/ NqwˏUJz]ySڼ.cZ์1&IOԄrG*Տ" E6xIu#A;S/,D"oI3EIS  %x"HK#=@m^^gXɬZ'^f=Iwlei$P,+-|4GSEvL7OM-NkriȂ Wr~*QV)t%3Aݲ=mfg,9o(@u2a,yKHiupLKSv`\vA ҝ!eAr(gnI6:pxI+g 4VhLr,kqcq}=nm̑dڥ"UBxdXeh-?4ayx2n7S/Xwjs<- ~&d{*IW'-ob ϙ{U}kLqlE_cL% CWEg{Y78+lO`~[[ρ)}CKxrP▧>PRz\B던I (ʪmb<6+vjܾ X;&`[+!޸ +X)AYL(&?5rFoߕHkPJC 6l8N:\ [\/|/˹BŇ%Yp {nw>7+@GպցC{,לh',:!j&ZixBθ"O(QzfL :![\Ąd_.J˛@[b-EI/z]$-YyU X, ʛnҿGrpv݂a>z96<J2Al?]l gpM<ɢ$9ow06ȶyF9hdTGʼ"Ƌ aXaR-[`\{~c`J:yH4\.ڿ.4L/(ss/z_q[vCK]EL x3vV>%)ÀiO{ks<mREHֺ^͙hC3)4iA0`R`f|&~7n.j$9[QCL^T'7^d^Vd u<&GSK ]уxmWUt+j[[)NlWeW\O F~9 hbRw;3Jc:n+{&IQ(ØhK(扯=+Ӂվh7Z<ڝ |jaVUVE Go=ȑGEnk_C/1'KVKcwG3͐6̶ -Lװ֢}D܏Pw͜wb@#;}^2&[]u) f~HɱO}cVKDs_GeKl@l3V *HƐQ`ñաR+gF{|4-HKɄKrͅ+!b4_tAQ>#C$ӘuƜ?—_C; 7AE5])ƜpiX[<qkMRй-;?;-S4!(y R'{WGt&].9iJUcQ@KYU}z^:yqRמF@ +2Nc"eXҼwv腳F[e2aH$4Pvњ-yÿX]Ff@KtrPxz)5?`?0YsZ T,- X dn|DJk[_#&ײ=IZuu>hF\/&F .upI ttm~!ghf\{# EݿUem G 5>{|;z:圆5F,*E#Wܧ;=sٓ#:DbHTA^uN˘U1TƋuAwz0 ALC=j|0oGn<`x sv7MA_7b ;B[#QO+rX5X v[.ggYZ / / O% 4XMLCertification_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}۫]ᘓr^tZk ^($$?c93 "v:jlJ^';Kt#}yV|};:V,H<ĻSW;W@\2SSN >S}-UΧ˜<=*9-1H \e" 4uyD‰@$zΖ{VF4Mrk#3 PlԼ*kyZy"O_dL.r~-s!Җ~-j/˺t!E'@O;Ɯ~ףU q5m~")~t9\37r`ћ]M2ipM&rcC{ȤXM<&8[VRQ5Ad7Q?*utky VA,3cp>,3at<|E=f; t<32񮄸|6> P!҉iz7rL"7[13h*hMZ˘y؝4PEdn;~ x·ף{f}cŹs8{S?g Il096UV?QPM"kY%Q+P 3r& N' hy~7tFZn<t> GO<вDעdQxГSҾe3Ǘ\< ϷRop.N"Š`GHo i=z̴ <%!!)Ut%Mq!slcmIG~v}t+hqeOَy n{IF0|(I[;fXG_L;֊c>A޳G} e^2e5tnmm+clOs.s*y>ߜqzgQҿ> )}E&z# yJ B.kXƖ5h.W'UjI STru}37в œE.4 /Ŧ-K s:t9ԵKA{˵ޔ+e)0l}L6q0a_Is|Ap6^; ϊJvEˏ^X)8$e=wWԊl;%5|(sP,i E <(`]JG.u"X l Q#Ʈ|ٲK&9w_qL7U#7V4U+B!3egBcfM^/M% |XMLCertification_Monads.Error_Monaddocument.tex7zXZִF! y]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}Mx0a D?Dl % $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=8Rd >K% XMLCertification_Monads.Strict_Sumdocument.tex7zXZִF! V H]A-MՋhvG"uIBm5ȩҾ[eH'>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ԙ{VzǑp*0T(c%/[ a$8}zؤǯXBӂzJ,_Xa+G(،`M+[1a DkvO0 «T^B =\x;] _AZ~N[eNa @mCy"sxF[w.bg/>jmŢ؂A5逜Ut;zu1sK<E!@|fAPB8ViBBv=qpϵ fy"y$%Ysp y80D:_oykNK<[-8x2X:;*e9?faxpYǕ\>1SPa;x )Yơ׆ Ǵ>*/J'=R`%vIu|h52um]G+L%'!bŒiGZ!Z4r-Kg 0l =C&ӒME(-WcZ$89 dnq| S&*'.*Q6IZaN/#Q >}&tNV'z(D4^R'L&H_3.UTZLHO'iEpOwVYF{]x\f|N]t/mw.Yv0?b2*^DrQ_#ߌgI~WkO)O4$_~_ɿP,Yfrr-(ǛƉ7&)Hzdgv VkbXk׮>gYZ e'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^nzotL%׆N[Cwԑ0\l##N `(564 (d-d CbACy2~048Ꮒ"hL|1'߷I3!HY'䫤;\uka:X"GM3tblWptNv(:FUR-& *Ǽʎ0]h(!`Hz*?T:#>o"&ݷf WQ皓tlJ0`4~ 7iS sZ8V$‰ >?+!u! 3G*g6ay&-Ae d u)7krض%> \Ӹ?pˌ2mcl0w2 :k@SZc/Xc|I)@~$eyY\*z6Z٢0b XhKrlT'F^uk!F[{?E/%w98ola|I2N\@(<ޜ5H)fhS%@[&@Q n# 3.aת(.9͐*#.f_m2!Ty<"5HQ̱UnKN9tJGfH9]_]ե#0.PD-<"M-#E/B.3"Pd.fXr7 "ĵyQ9]]#Rf #7x$ wvpS\n?D"c+O$" =Xq!η9zY7EAr8Ky4½(#`Uޟ I./\G(C&k!GY׆.rnJ܀`?q͞n*Us&mט17*0̯qYo4y 8-rxm1uEfݑrF\{Q^9AN3,u $#~ ɶgv ʓ5+~!^F`P'Klux,9L0?&&NIk!Zio䱥jKbSܒZCE\@˵+\OAȍb|2vfj9ԑx4X1]5O=6ZMI#Mm‹CB gYZ  Tx% ]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,," DBG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t= |O% XMLCertification_Monads.Error_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5b'Z̬ onbTdYQ]l|f".FKdp% 6ƙ Ew:1˸ ]PL z`B>V&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[; >⸌OxlV}MO-NSK˂L!k+{aXJLwScF!* t?;sm\$چ_/dq 1XoC"9?el ݱgYZ-9% XMLDeriving.Generator_Auxdocument.tex7zXZִF! g@]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ŘCFv@(,raKN>zp@_P*ͱ4mh__U j$uǔ*@Ū}M_@Hq6)9+o&6*M_.E"#U8 Ij~ZSqe)>:^hmup28rHnF44mY]'J[<M}iMT0ڈ=".|{?"wuQlWCտza7VgNO;k&0}&`4k #R˄4S]KqΙŔX>V6}gR5P)~pcxjԾ3)Ma| t ށ?W n~X~2^&Zi?%zVe"_֌v i >LV{2P+vj$&%twH62 SiV|J'([{E"?gq?mJz̝[t eѰB*uռRC]by0Ig˪'ÆwswFxԇL=`;@U&ҹgYZz;% $XMLDeriving.Derive_Managerdocument.tex7zXZִF! a ]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{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZ@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׃DxJSm"dHG$s'9hZ_py ,) iM7Z9aC798/ Q~*;X I/~E$LdxCg}(2kF%/Ý%3e,TYM}UGT&H/dV?6 yH?UBT`zJG!w]3( 6{9ӧ@81 G">%7ȯPO|A?_xcA!8aB LP)(E}4G[<*}GƓ2!+ea鷛AAL[\E- `U NA6tгLg]XcZp:8'24o4wgk#WT⨝tC^{ΘKݑmCAp!x$㴦/p]NAkZmu,h Ne1 BJy0},85_N"N˖g߉:o0+aDC 'Id ']هn;'us`g+Ҵznh;?_ R7h†e,?6'SY/˖a& (m I/m, GTQճ#N8(C7FGhMB@n\dܻY̗!#":_`KFU6Qߝ)SF,샼 Ry?94Bw0I2YND+"D|QsJ.|L}dv%lttגrJ֭ ȺLߣ|?#,)}dG<رtB"@EER̔Y"y^/@^愄p1u`rqMM@Cj=&UE63vbwZJ-JH1R"z!Bb=jno-lGT]v(qp6w+.amha~US,-'[`Fv$S?>4V92n&]5Z(!~ ^o}'KbN2]crDk9(Sʏ׵ַ]|E@@oH7O$w3ͻ7]* ӂ?lV{(9.01yXC%yp4]=d}KG1r{@@VA-W9zv=5ʄo*ic^Cg?j /:Pjnl+vIG:*J-s@ zv'Cj#B2+\ J9eM,I0;ZicTrv qr #! _;zh@-:/y4Ժ({ `;]QᅖåS x%ɞ85Bz`P5:q[vM}]|YޥAq A`?~d4OKlSs"ߚcf1B1Q3̓ Lx_aLcAY=lqEϠ cP#FO,@kV5|%D0ࣛP*(W$i([Ws:S/&(j8,4eO!/@--,jzծdrLҘ?Ksck'QnZRf7T#oujp=[1g+ehzc.V;qI ]A2"->nM_ tߎ E23L+ v|7kͺ"%(U΍68$`VpϛX 'yL>m kM++VMU\d=kC?96'|p5lߡ2@;8?䗜Sl+;&=KɊ߇XopyYps)_t6fyyA?#i9jZE7Gʻ'4a/Q rA0nJ31߯BZux7/k@cWR8~&z}߇8CܸU7\H&pw6/+&$&F3_m-9ʎV{"igH? k;ڑSU*UMc7AtP.:Q\fg1譨C;碌{=JWP} /^t`$*{Zh5+L=ԀՏVu@"UJ⎽VDRH?<> /z猿4$lᙽP.SR Orkȏ%Ps3u7g?֦@q-};cT9Ld&>IT9d8Xt)(%=ͪFG/IR;A8lO,)ڽ,vQܗhxg2eBTWËqiuk Аwly EXa0(QxO䮇 lP7]z6Gp%ʽΫ\M˨0IA<=jD[fVz s .( fUm8WƠ K]6,"嚁+QV;8on1#QR+f2M(EP`|L}[mS pp H+AVT zgYZ̍\3>ݏgus kKήK”Q&m{,jf]Zwl74!lb]JCxXSHoSprյԶԏxJKX-vRxmh5Ft2t2";/: [\2`%Uy1,cn䨶Gq޻ 8i3@X&w{E:%RG) Y5aoYe\u6`6ň*!V  UώZX C4#\CPB9mODӻ^J 3@}Ța Σ'-ՈLTY;bg'j3tiL˫-to5|~^lطKqWp`3$_(ؑD~L*zmhnGb1ιߴcRNhKoE-֩kmnBٓEen!I Gd?CUZg`b oQ{jZAm7Z">q";UIdH֯MVʹ;` Y2ĬW9Ng( }ϳ> tHr/BZ}~023=wiYQ:"%.aF?§q7t@|jtad zf\WHjOȢK#{ngE!PI'OCj>ŗGCBm%#`k`ӠFj8ە_j7N,&r7Yn$Uξ%g2MP@~͇vw!gSnO4^Y0 l0X,B›<9R Qfݰ92 :bn^ mAfTעZL>9 vg0e`= _BX}BJ(~Tn]iUM f +/,\o3cArL 68hJXy֜ $Y -W-ʴ:˂J$"@0I'`#xUN!Y8 -z,HQZf6ܥMCs]؃|7ֈUí1qLA$1܊FE;IiqjLhaMnw /bЛg*dãvҊж^Bʓ Wr`oC'4 Ttk~INj/ZQH=m vYN:0=Wѝ' r H'PȪ!3SVƛAu ۚ=CWRXͣMV:y;%ϸ'n}<년 JmT5q-a ^T]*q'c!KOZEjNñW\wJةݩ8k xMccp'lk=-D,Va?TfWȏ"ſi}W> %arJ@9WwܠYνoϥZ<@#L>9d (K>M?o:ӛCLRM3o[VnkZO$D0O> p{.Ik*q(H޺|&$ۓ ,;rl nW5PdB)㦊!KL(&N+8p3:;-"Gy_X07BޓUpHUևyR$ 8Qw*i#'"ۂ,dA MIFdxqZhZԜʁ>ܴU0&xo1N" 5]nBU0oY]6YBo~P2l{YlnE!D_˙ϟ^δ>q =39QEHoK`cM ֲ+ 횶݆%IӋ]I5%bNiþKn۸W|tWW\ pFxuMR G&DX,mEs";L*͍{D@_F+ ?U|€̫.`+2䯠[ޜMyAQ[ U!{p4i~J(MwQ!F727u*H 4f\eblso6#?fj S?(r"j͌ś" E57BSX/]DlϨ Y,9?OH-ȧJ#vl3^j4DUƨ_rVvb6oBpbe M7ZW.8/2Z iPF+'pkg.BqLv̖n2@UG>yj@6bakfTst `DVYm~BdlBXAc7Gth]"|;% #gxMmT+l!T3W%ؗt4K' z[N+-y^bi>u\$LIXb#bv]>|ئ"Q$gM;6գN|SH]E]Ea/< E nbqed2Rʏ&ZVǾyb]s:kF1;Jeyy9fQr}*P={#1^ .Hr?#'e7{pv'ƦzW.t1њ^mrܳ DO%gK8&!}.E;rx?UF j,pݝWSYitL[qgH a6D)=oX7X[fM)'ЋQ_akVQM|&<\| |:PP"!=Eqs&7݈RM$^$*@ݲu*} ˛z]X-E_ϴq 9.2! -]p:~GE~p3{Zew^BG3 L.\(ϗ;%HXP0/3nEO $EPpKz$ȺnT٠ 1T+B$w+?R|1(z#RG׮{۞8ch$jY@ӧws+ٮ/Gx<~q >:iD([-?ţȯjLu:g ؑ [2km04K68HܫSNhU܈Vؼ$NjiQ^w׫ꅴ[*=SCE7#DyIrQDLo_?(d f1GG&=+X1lk۞zD[㭛- OoM..[}s\M) B/#{>U??½9DO-!PӇBZ\8-.msm] @ uHs22G~z!:uԇ+ Mg٠Y<܎ xW=w[VsAI$;vvNu?S'YD-5WFkUn%GG]l)۔Pc5J~[ Y=Q O,Nf7"CJVuN HRg{JS-?BTL {Ql hEs(O(Lko[)cIj0hdh4E@pAQ1x&my@"KzIc4rJEs!J,ͼ}T хctlt9\rPCpĢP>Ik_n{3 0Pnu-WLh<뚗V l0tÜX31W͘Fj ]B pt| ˅,vT6sXpm%h)#=7:BZ_Vzb#utEDSp{ xKq]EW5,F-XZ%3ٻHU3h*H:l8Z 2ɱ IZ-W^Pm!ڶ JBgƗ2*>z(y68ѴxhL|R9 6߾ ]Qcv) @)Y&S?܍Q~hy= ^%DUH}vax:&05q 4#K=fAN$]h‡Tk7!~⅃MtK0"gM}c*ꄕ\g)|=C"S$fN)! B H2cV[0ooZna=./oPS0g dKuP_$QRӎ}Fv"B҉ DYZg4D\ ܪW_QV5G~Ȭ3+f02zYx .5]POM_A`60i 0e #ZaIl!ooC<@8%9=g/^2/)YH}59(y_(Vŧc&x>9* ls6}[> ~C;e +O4vXdEini9f$*H)螝'x,VQb2poB !7i1Rca~ͦO0wBw፮7؛ ->()G4&-ǪweWmG˝..vS 3gV##  tvLO(WGIJ\;'kϒsN=]AmaS q>N{wEPl?2 7IN[`¾LIq{g{/`sS/hOFм8y[y[" Z%1s:y-@ MGYdxďm!r: @=zT|ƃ2C5KyޓzDzyP9`x.@KF^o|-]=E(Dž[|daZ"(XPI nwc3xjQ1C,34-Q$-kotP .`0+jV!}|vbcI^{%7D=ue)pM\W/˧"^H#,/DK)i)R.WxT8YP=ʮb׶L֝^2xCM(ȷSq"@7{Gȼ@=R_R,|c8X7/Hoxi,/Bd[p0j(AtFZDs>q]3clŶg(i,SCH6YVq /M;,ϯJk:1tbo).nG[ ;q@mM[QR&U>qd;yq+Uz~1P&lH75Mus/ @:Czm"QAL4]%R)Ӫ%q5EhlBDɕICUgiT5; ?j87^k;|?ʰ$BV`cB/[gb1O(UKD̍[ mDW?:aB ?=K\zǮ@,Wg"fFZks"TEd3[N2Ҧ3A|$+p.p/aƑxj~m4\?Q&CoF'bE *2b7TtwA,~`kZ;z+fjA g)jAGɦֽ. 1m)}CǹUgǗ 7ELjKuRQCdvT81D">::x`D!ڣgT&hDB wj?ZL;=Uf |3w01 :AؔL)H4c98EE 6ZjcrIjSs}u#|b$_r?4a5GJ:8-z^765Sz& V[%--66}yl|?N;0Zq䆪 {u LcC'INVI;s kk]f4}8F)qc@5| ȑΛLR)( R'jU`J|*rV ҾS=!qmV\qgi?ock'MbS Ziؽ\ _11o'ljBs ޑjl`H"p sg<@gvąRٜ>'dĈrf9Jd*ىaZa: ~m cJ]?'O_3%; B@խUaO^ɟMS3P\/Nj ,6-aO#He(f925R2t5^˺Ilhe-pMR8;J6_X4VVr#ݤ8XZGw?DjٶFXI$=O e^! w9 ]2=6K!QGoru"L"Y~`_X2tJLI.A&E\Gja/[4j,-g=k,'X8, ,R&R)7˹CF(;Rd:m\Id]Kk`>mfKYu?:^DsIع&$o|LÓh J{إOQGƔ.§Q- 7{fZߋ^d&.-0S2L/i#xR|ߙq\F2l6%$39zceMc +gYZ  % XMLXML.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