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 ,,Q5 4dt ]/ Certification_Monads:threads=2elapsed=5.336cpu=10.640gc=0.800factor=1.997zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=|6!dwU30^Kg# LdJͳ=8@Sn'9p§.:t{ʖ$qG^'@pf[ZhͭYemQ{0%e q}y%_HJ̹v:;IT`A` Dr6,ji. {EG} aO/8g!, 9w`ɟKS@o$=]Q|dHPnpT|lD݄Ȅ hae{G"Gd̝ w MFn|in%ݤ_s\祈Q7]l(R1JhB U Agha膃B}i.bPym Ig MB:&6v{֚XÕwYd5Ph:[|\K:⠁EsY( YχWa~E/kxB  Jϊ`t (dӇ*Ai M_Iz!Ź9.;}#dwzw\d;ܞmoqu{gekڎ\\,sAsob4}}p_GypNf'We+t*ZŊD'%;  /-P &4.d"PԐpۮf@nHΘ}w+(O_\>TmUKX_HVpcSoHS%7*L%>#``}7nV馷 =2@=Km:< [MLHQڃgYZ3641b60f979b93dc2c6cd2ff2d950e179ae443730a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 5 Certification_Monadsx5O% lCertification_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}۫]ᘓ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$5% tCertification_MonadsShow.Showdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5ȣG,|54ƙbW&GUfQ.?lMV`o)8x~kQ!= ~ zvGK16Bj"]B ֕cMO"ɭkkq%Rn'cXWutNA|:!{>]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E C5M% Certification_MonadsCertification_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<5     ! B8 ! ^v <59%Certification_MonadsDeriving.Generator_Auxdocument.tex C5G%Certification_MonadsHOL-Library.Adhoc_Overloadingdocument.tex G5O%Certification_MonadsCertification_Monads.Error_Syntaxdocument.tex M5[%Certification_MonadsPartial_Function_MR.Partial_Function_MRdocument.tex=5;%Certification_MonadsDeriving.Derive_Managerdocument.tex>5=%Certification_MonadsHOL-Library.Monad_Syntaxdocument.texE5K%Certification_MonadsCertification_Monads.Strict_Sumdocument.texF5M%Certification_MonadsCertification_Monads.Check_Monaddocument.texG5O%Certification_MonadsCertification_Monads.Parser_Monaddocument.tex/5%Certification_MonadsShow.Showdocument.texE5M% Certification_MonadsCertification_Monads.Error_Monaddocument.tex2Z,&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΄'2LgYZe,," DBG[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:_ 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 ? ?x5O% lCertification_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}۫]ᘓ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$5% tCertification_MonadsShow.Showdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5ȣG,|54ƙbW&GUfQ.?lMV`o)8x~kQ!= ~ zvGK16Bj"]B ֕cMO"ɭkkq%Rn'cXWutNA|:!{>]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E C5M% Certification_MonadsCertification_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 5M% 4Certification_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'[GPh5C+;zMCOw\` W=zT/F5}rQ>ę-$7WcєR- >' AwO bUwQ ү?{<*B]9|X?(a LkvǃA˜ / f&Q?. U4%='= p@miWƌJ g 0ZsJYx!Zu+qL=ckЄsF9j0 ,9 }{k6CDw 'x0:pQK:$Nzuq1npEc'JM )QɳT~ a~[wsxk̒rt+Ihs_oS n+ѱ"҇mErsSD@.H#{42o5Ŋ}foJd"19%`^Do V"<`+Dsq=Y{N6s9˱K B\sPzgYZ ++R5K% $Certification_MonadsCertification_Monads.Strict_Sumdocument.tex7zXZִF!  L]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ԙ{VQu\4ުa{kmSPzҕ0:˚h dꫥp *qrcF8>uQg(RhC>HNjSOn8h#=bqP2DX Xr2V; 8s'=]_m. ,=3b8{OTcƗ|4xAI"݊\%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;|gYZO5=% ,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"ClIB+bqi.cEj! xh.>~5\cMрI?ŷ9*YPU[ Z vE:1 ( {Vz6J@Em'] 0[n=˘u^^x~[o`m-GnC.o}z}&miq@n~Epz8 ?*Ni 쳕F?v{塎Y~ Q`P[#>\я'>m1'LX,ǥ҇~2?."}}d_CjMkJmOZ ew(Pޒ/d%姴Щ?Aǯ,s7ߴs噥CV(`~= y\؊NWŠud_GogX siVR "^ vV?T(✨1?VTORYvH`NϊDH!ٯM΋' |^1֧0Pr~W[hlx :C<\'ѳ@@LVAǣK+y C,Rjړ6XrNb/թ2V^g7uDw|n >zpɉyS''B2xT Dv//HH^Rq  9=vn#o vxcW<r݋?6vt#nS(osxszCt J0#xboiIqS*~$|"#vml` PQ{tm1*37<Ipe=bE[.55 (8%U2aR .{rxYF6}]VgfȠ\%:st/Lg!] Pd1V\}a3t@0קy35dc!\.f?ut BtW'1IMM\/ru(bQАZhТ7?GK֩3yw{4[ J՚Q˃U~[ UZ8{+%ΝMwliYj5|D&FU CgGА٨ fwwgYZ h 5G% TCertification_MonadsHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! C]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-j r>=bMŵE]b"󬓳U<> k;υOw捔>^P답z>^͇\`s dF`[HՁtOW\""ݙERh VB,—oW<|5^  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[; ]2$9E9Y1D <KR?1 n:N?RM9u,'>k[ $Y5GJ?rTBspfRejީM۵ڎ@wf`%K-UgYZr5[% TCertification_MonadsPartial_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  @ @= 59% Certification_MonadsDeriving.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' gYZ