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 X5rDl ]/ Certification_Monads:threads=4elapsed=6.111cpu=15.420gc=0.4687zXZִF! ]ŗXiɟ{mlUQHde hU  gYZ7zXZִF! :]ŗXiɟs}KKʹb"+QaPhR5W)ԢH(/w)~@~laD#?m^ ͩkr婁N\̆0b̝{ 9@wZ'v jx1<߲MM-g؈0a{[@>ߘO> ό@!q+&B0,``Ѳ$οunYKqAd~ExҺ5.=5 BYH)(Of+yJttB04Fu|cq9#wR&TxKSl5b(0}$_V|ey!zI:U#tj fEq]l\ܡPu$z@] Hs47\!hWUT&R +nq59:a`na/gئ?9+Asщ_t }yP4 Vrbs}:d󟬦ۼo{9_y_ԓx}U?aOD{MA*3bI]hc~jXh U9Oo9ʖϦjk92o714`k}E?ϚL%G\r\ oI cJ4}E\樣Ն(kpԪڱuw W 2׏ גάtRcypӼE' p;XLj6D*19=q(YRsҫqqa+ȍV&xӂtuSOp~[A[3}{Iv/z2ج?V4VqL֦Qؒ\?+U]]!7ӄsS퍥lNЋV">ssHlQ*DjU\Fv ҜfJ39ojE\>Jgf疲"U$Y9czRjdscĘvo"rne6v>(-L{.tQ2ta;io 7K!SzOda䬃0HK4yɏyHFX/>Tܻ:3nĖ&Z "q"g.?>IH+ƈ ΐdDPBxY⹠2Td\_>WiP¦nV{R̃ilayc '?t-(P'E <pA#B w4"(1u֗Z?TIߩmӇ|ιly3*D . \cúmD18qԯْS5'gL?$)71$:l ֥gYZ40b20582d8f73044ad5b199c59255986f2991b7ac3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 5 Certification_Monads5O% 4Certification_MonadsCertification_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    r+ 6 gv =5;%Certification_MonadsDeriving.Derive_Managerdocument.tex G5O%Certification_MonadsCertification_Monads.Error_Syntaxdocument.tex C5G%Certification_MonadsHOL-Library.Adhoc_Overloadingdocument.tex M5[%Certification_MonadsPartial_Function_MR.Partial_Function_MRdocument.tex <59%Certification_MonadsDeriving.Generator_Auxdocument.tex?5?%Certification_MonadsCertification_Monads.Miscdocument.tex>5=%Certification_MonadsHOL-Library.Monad_Syntaxdocument.tex/5%Certification_MonadsShow.Showdocument.texE5K%Certification_MonadsCertification_Monads.Strict_Sumdocument.texF5M%Certification_MonadsCertification_Monads.Error_Monaddocument.texF5M%Certification_MonadsCertification_Monads.Check_Monaddocument.texF5O% Certification_MonadsCertification_Monads.Parser_Monaddocument.tex~"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 XX5O% 4Certification_MonadsCertification_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^ 5M% $Certification_MonadsCertification_Monads.Check_Monaddocument.tex7zXZִF! ]A-MՋhvG"uIBm5E[6V8 ϝy+*޹qoF! ࠞWde{ $Q{(اxXB }(/CƠU[:RGA3!۬1BđsD(WEsi⵻ܕ9 w$Y.m|0<|0낤w̡X*_ig.C!ԢT`irtj8YXT Fy&]l{ƣF{,;U_kzKk5$B[S&|`'8Y!i#iDAVZ[4;exb-%n^4cKg*Sj蒵I1$F#Gc+DAZDҐ wx8g${{q0Xtc C{\$T\R7Rq%)刳Fk9^|~̈́ 1aCpN/N'1q>/4GA4[.TFY^n]4X:rnK6:3Tj\A1-x7eY2 vV?$oLӮ_{V2ɜ\Ig36rV{d:*[rx[c6V_XssW)*Igr%ɺZ O[tk~ .n4DW$`?rZtQ<Hk୻"T~Ab'(;Zʅ7zvuafd#GUg4K3BK#Whȭe-d#x2z\uP2(}4b!o<_B`&HÚ]#Xk.z]F{c=0a4H ȀR,)<՜̊O;4f>8iƁ658%FF;j-4SP} 'jcqD$tnT pi-+叏c!>eءm?RE*Ek叓 ,ޞC] *[ m˂/QC/W">ECt,wGBGF>mJɅ'v6<> V-'ctZuhKڹqDxF7Fdëv 4Wc R3JsyOzelWZvx  f(4,k1 ![^.s;WYi'<8K0>f4ܳv)<ʍcoWJ!+gI@!="LȼmmrFӔP %{`kTNCO״,v`%x[Զ`P w!KXq!k ^̦xwv|М<5i\IW~Fdd?AZԦ`e9rj%c־y&t2N i{-2 ;9uqʏ [.;Vþ?Sncq7Zy+RpsUS(lᘸ-Uխ)ފ:AKl\BZߴ\o'pIXe*[s׈!_~3 lYW\ }P8(Uf] krY&J^`ͰBRZn4 ` n~hUZ ~^)}_hE* :*Q XAAd+ L^o!"Q Ee(1j{f^[ri.fV!2pوA;:6z Stҝ c\AY䑨(oY 'u%Q"wCqPrӕo(̑=R@`˂Vz3@Ѿ+y }]IOTydI[ɀZ9z`:MVt1|iy&aƙg0?ne2|KI!H1 #>;8-!::W ^ujP:?܍4ebe:t [$T_lbG(bH*R|Bod ;p~SS׼u# DP:e6{01>[z?PFZ<_ZCl‘Blf HFRĺTg>qCtW"L ;T0 G3b>_CGk'u*2: Rkjh r (C{FS0z7btO.#Q,4HT[Yv{j\Ɩ tbWy&q+=ӵw{%=Le'[.e엟hȣ&HIs5%;-x 3ƍbۼ:sU]M&MДF4`MMtD `t9 ",d`HTѯ}ޟdbDW~%/,vF)2zne[ zH8^@MOۿ~VCB-Kq2:|u)S#d`P2P]w f=ovŃWUUv} aۙuV_ḢݽJwFmd:9KMvEC'N]W=OP Q-(/ A^|L \}[Lz3\iwCQ6. CeO*褪l?@Q=Iy/GGm_%Kpt(,uBb;fiQgYZw 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  @5M% |Certification_MonadsCertification_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 ..O5K% Certification_MonadsCertification_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@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|QXzsl:TUm.4祲b7QkhȌk`!-H ܩzLh4*DZZ ћM!#Ώ'L:&|ɨ`!̢/hk_G;_W,5b94D#biT*/s#^{EQnsDũ**"}B@U&;~N ܙrմcE;#+NG/Ψ9kZ&z&K?HSEWdF]u3sgVO\|{Bux@XBw CFfJM ?k_+΀{j*qD*sO*Ł 9(Y5gEIop?ueK$POh.acwM{j}9"үyqB#%A͟ k?jaÀxuL ^&?6~$2;|3vJ.D~1Fl;bh{MKψ N ~#9ydQNaI_?; * xV~ ϒSM1ރAG$m^"f{ÔZܻuOXC"pXDA7EݙH QgYZP5=% ,Certification_MonadsHOL-Library.Monad_Syntaxdocument.tex7zXZִF! 3N]A-MՋhvG"uIBm51#pzom?bK:y !GgaEo>v7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZ 5% ]Ը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=  ?? 5[% lCertification_MonadsPartial_Function_MR.Partial_Function_MRdocument.tex7zXZִF! +K]A-MՋhvG"uIBm5D"@87yqgZ601w (.U@Ojust;C/-II<$bfO}#pu[ls#mI;T;l'tddFoGkd=_Q/A֞h3&MCQDsJ.|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>59% Certification_MonadsDeriving.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&ҹgYZ n n 5;% $Certification_MonadsDeriving.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 5O% Certification_MonadsCertification_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 ݱgYZq 5G% dCertification_MonadsHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZ