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 g <$$ ] Tycon:threads=2elapsed=9.700cpu=17.552gc=0.760factor=1.817zXZִF! ]ŗXf1-/6vR[l>efD U9gY(J!}]0Vvy3(ǃPRĬ̵Gƕtp$;\nqRˢ i܂xRqu#Te("Bvc箉QCmz?k8!UsTc+Z/j@gF%iD=/w$TY|y@nPĝez"Gj3$$gN Gl,0wIѺx4DtOgK4};LKJ^;l-;M.jgXrKe)2 2!oFbв-O zp0iM7)Qs´%AEhG <][!Y&Q}zf9)$Ӡ94DޱgYZ7zXZִF! I]ŗXiɟyڳεĬYpa`yW0|4D d^*jq,²l=knBMb#(шrR|w6ΊN `5rgKގi?|7 J(R^*_t>jKkZ'wow-Ȣ$ni+>36,̻hy^;o#l~D [xHJ<ϝIq3G`EoJZûǖ} Xw>d$ 1\ _ͰQ](M|uF݅ QzƓ0?-Ssi3A, jtȀjv9@bwa• sTE(@H^"Hwlb V'l&V=)ݱ9"6+)7X$Qu̠u N4Υ΄`Gn7"$[tyeЦ"//!YBRxK%)nyIQU[XH :H$nQ_mέu%&|#<uچ&{C STw {+q- ܐpD7N#h.*k[m  g2K4Q% g7Gl~ۘh(ffffm jg])`c ܋43R൯n3pyqk tMr厧JYb^P2Icey(tsRg@s`}ag8,05$hp?74o)vn{O@$_yAa}eu0y _?:=Xیzv_ź@CK'zn+C < #wYfO<-8h8 ,O2iL9N~vzKx =,ZV0؁gYZ73c50e2da06a17e9c857c965340056770d469d280a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 0082c44687bc9d1da7d3908447be8aff56e03612  Tycon =% LTyconTycon.Writer_Transformerdocument.tex7zXZִF! 2!]A-MՋhvG"uIBm5s*8Pckx7tyZvxg>?gE~+Vm.lU6EAaLcT] _J쵖 ޗy;* CF>sX#Pu|\Rp| (w,QSղ?b{ >2B}V 1a:MKȢ jIw9K3}˿ɭ,aoG%}Ơ 9:%. ǫ~ UΉBm8UAk,Ŕ<Fd{ qL:>#F=)qҶʼnxHNp+Zd|[,_;@i0 kAq&ɱbY{< } DLrB:jؖ; {4{׸kH~v+s`BԖ(#!Q!dgdiX/; Qjife:ul%ÓD/~& vly]hzT#]) ʕd-: Bf/> Uc #~vN.JȺhy"'dhR{.k}B`LKU6V;;m+mT=T n`k.%'oe3f<mqG__?}r8RGLa-tLUT_ >FаĖ`VXxV9)fe,XlX P &Hs}m_ BX|8$ vzw/Yet/KF&&X&7&A}!nZ{=ʩ)mˉ9p }lAdE{}f.7̓a0q2a OZ[Ӏf&9ZV `n"82gTh/7\K$bqm;O'FI6/N W mz: j_z7a?Zo^V0!QhW7~y$vi^:>`h͂9߹I' gBxϟR.̕/r>}op0.Fz?#(K-#3}{T왶^] ]^.? .9ΑWcU&)T {P.LKo7-} jDyLxVnZAj!Dn>-v9ZV{AoC2ё HhesPˏN<%FUdnN-M4^z⊽='\߱# ^n j.Aԇ;(7^z΢m /qƱ$*$Ivrm--(_>uC4()l9qYry(8#0`q8KWBV9c2xE70,u*oR>Wkb7%Ɯ;YDHҙCGeETpa߶1ɷS@saO+m֭ Wt l ~u~ &cwGbO  ~s'zYb(̣.No)yÌNI_7gH#O;I{u HSGH UMjڹ)@O :f]o6"+~bK|Hipߝl-g} >gz<[1[u !B<+T%fn&!mӸKcFTp|;Q^qC~qyZy<tǧbOTP0r}dhZcL0XYu,GsBSk Pՠlz>'Rkb.-FO#duƒG(H{%t]+i[4 xHMd>ոu Oް@ O4&H;oY97Edé>eU8- = Z)9ºmS7j           }TI  ' Vn *$'%TyconTycon.TypeAppdocument.tex.;%TyconTycon.Monad_Transformerdocument.tex,7%TyconTycon.Monad_Zero_Plusdocument.tex'-%TyconTycon.Monad_Zerodocument.tex'-%TyconTycon.Monad_Plusdocument.tex'-%TyconTycon.Lift_Monaddocument.tex .;%TyconTycon.Binary_Tree_Monaddocument.tex )1%TyconTycon.Writer_Monaddocument.tex (/%TyconTycon.Error_Monaddocument.tex #%%TyconTycon.Coercedocument.tex (/%TyconTycon.Maybe_Monaddocument.tex"#%TyconTycon.Monaddocument.tex,7%TyconTycon.Lazy_List_Monaddocument.tex.;%TyconTycon.State_Transformerdocument.tex$'%TyconTycon.Functordocument.tex3E%TyconTycon.Resumption_Transformerdocument.tex/=%TyconTycon.Writer_Transformerdocument.tex-;% TyconTycon.Error_Transformerdocument.texIMɟ}E~D|1XIcD7$~&ju,8MLYV'Br op$zu7сV ;hJ əsjn]HRo%LcUcgb &DW--ץj9hNs/Sn촑)l*lLiBw7i珉5bsu1?D>)ZLL"zd.5Z.zD]XS앻̦LW])Uٸ&M?x&u_@&gT`])T .>*+dkwYVyP{FuY?^(َl!tj}vuJ#gdODSs~.rmhG_"oO-M@.r,R<*Ա UFGxn+ o[X] ўY,l5Q" rw3VJbxb9hjAψf~ 8t}R7ٳG.DkA |8y$˵r}[Ո#! _YT_+=35YIj3 P гe59EXB4EF_zAV/FEcg/ p-a:Q2S}t:fEҸ,Wu}eSs<-Ips3.6fpX:1;cgGKFEwSihD~PJ\ Ndj`KQPfYi ҷZ@\TaG{S6399ԫ476pƙ-<2"jFS;Z:LIaN&c]0"W JHAj|H aL9Ƙ zU(=Sy8K5N1€ 3OJw.aV!YiKu[2^+"ïof;Pg`yRgp{o-tb ȞÍn韖zĂ.K79^Ki !;*ma)B5ݭeiV;J+&oR$p?3wO}(9P>WnHqyLT0 {,9U84ha"ھͮr q|m^ EQ'Bpf<'sK&ӈi;2H 6m3 7:֯q@cK=`9;iW,t],njn'iG$ȢK\ltw$" cϣZ벐*HO"2/Q ;Ghzu$z>H\U#`k˟^6Fj O-\.R*#]!'A~ܐ%f8&Yђ>Um}[e1 uG)yxA0DFh$*6ä,L~*.6z|6?55uW*-ros,kD= n$E\W&x_z~dhk`w~&.&= n_Tb^<1OKUhIz:K f K@#RiKe%@(hA~EAmػ*{Ȣh  |]')^4lvbA]D`8hdc҅Ls#籡p 3&e_ėP}$P e>E@ mqrMG{":Kl\K9K<&eLGjf{ٱKg;(`]*ݠJ.M4#rX ꥕4 [nylݓh3+FZβg~_\97HgXʈtҴnndPJ-I`iUGd:WG XU.i S!\2O X=Wz$@{7Dx6x ypx Mw=\LhY'lJ3kZ*:ٿ05XyL2Zh#,rRb7;zn _l~x%Ol\f*J3t9Dcj Y:488̟4 |򨆫FmT?B!P18QN dُe9ajuy<©,{z4͂.%0;. 9JZw(&u;ߩrꪥkyyq5%>>Xo #>,C7}d% h xNS?P;+ #WRGp{69 Kv4}Dի nC\0X5dTGNP"39v;QΛCXJ6#Me~ ̽2яi04}o`T+ޭ+gOgYZۚ76oM@(Ceu7:l '39(gJ7Uo̶G8B CyWn2;MLlc2z2)to/yt5~m]tWzl881PݱpȊiP)S9r͙1ChaLIo$6B >0puG:~Q&木axk"vmP15sٻ9H/1q$~Zzl sfT8 u(!R۾Z+:| 'lb`\=UfM07[O2#oŜ)׏ Ld;/lRCF`P!!ؒMƆ}6?@K]Y͉9#۽b]gE3鯌7!/t[si? ,ě#vd1 yF(C;DᕴIJy5f9E@hTLSYE&- kGn4 0V JY ш<& 4)v25f1Q( GUD/4 {ĸ+CUEV%cTC/of"T "g7P r<[.9[QB +Ģ4 xWWQp):vLb~bGtPB<{\t@[Pz3H7e !yVoʼnҖTmLrdu"EPg}3* 96`r$T/ƥ ,s;~I!M u2sg ;'HS7#y߈cA"tnW %tm4v,pikľkj@D]MGP.`9Pk&$>,)nT>2kɆEKrqRB,aWsx =dj`ZSoPvӢ?8[fb<o>= u-VU{|lϻQ%Iy {6p\N݇ֆ ɜqoh3Fn$GU<19xV6/[k[_6*:ԣ##B6ٙ^]\./3Ay npMlppbl {Ũ}J[MžN؃;h:Dg*msH{-w8W4I죸Lň"QaLzӢ?A!lۇe՞HJrIRǸH|PcK9Z 5g gǔUT"YrI꾄F5ߘ7$#̴cD˧- Nf31+% SpkJ7=x}g o* ƫEۦ}H$4,`{9gOش8/ N]K7ѿr8<.{E#E#dOZ[wűޯӉ2zݾ>[(͡ƭo-`d8;(؂G9t5BER3HR $V]kпYQ`nIrÏQ(AU٭a^o݌6熈OqBpAf_"̚D,a =pΌXť%,#(1AȖ }q;ޝ^w)A54q`0(q|1?oRf'0nghGڪU [k,, H{H-"/}Kb ˭Qr,^Uu2 T?Ҧ'+л2"HTX]-{p*LZ[rϿ#:Ť;GJWFw':9ai"amkq\!gI&V<M| _u [I_MGra˚:;z{ j߇_)<ߵqxpQCcW&"V|e&nKr1 *ў"OO=^%N..j\OAy6f\ϩnD`(}XzqoD 0gDT>z:};L&!41A-3TE%g$Cmx K ө1& $+_wF!KXde%xO&zK{rzjMĄ]k)u['TYnЄZ6>䋪* ,6CA[<˘#Sb LcxRʼnn6?DWt_sP a/j]o mG@[cY#DMdNrOSy ьᢶvqM|wsֳ' 57 cX27ewӹSòݗHyMsJ P)rA#q֋sJ.Jc@3zU~0Q@K;>¼+Ei vh/.KjiTj YuH'!SfIR_luj?% ʢFb/7^= 8mmİ&cTaUL;;=vŅ@Πk3+;dk"P =hQv'AeƗSZY$Ojz{*J8mFFJ{$J]zhԡ~$ A8  oBj=<2: Xx>uV DGe1#mh^z/纛k~cgx5}rQbW tV"WXϞ>In;.N7Q^PM :Z8':4^I~Cl5"q`Y+-޼p(XKٷ⾯l,7Ժ%zBVG=VQ.IKaT0^Xg EFY}JO=!6z'ӱo,4Zea;*"c.}*Ɍ,Z‚x?{:44 4=RX ^ MԔy orG/5y?34*'%&8-g,SVմH ?n19Rmq9ٙPLJjph(g/B7`B[d"Va* VИQQ_}=o7ѹO~rCgK dwA%>Q-hl&,;/!a])9~j,Hͳtc~9hI8 84M<ʩ tTOw r`#*-Nk>bF@{/)gYZ  =% LTyconTycon.Writer_Transformerdocument.tex7zXZִF! 2!]A-MՋhvG"uIBm5s*8Pckx7tyZvxg>?gE~+Vm.lU6EAaLcT] _J쵖 ޗy;* CF>sX#Pu|\Rp| (w,QSղ?b{ >2B}V 1a:MKȢ jIw9K3}˿ɭ,aoG%}Ơ 9:%. ǫ~ UΉBm8UAk,Ŕ<Fd{ qL:>#F=)qҶʼnxHNp+Zd|[,_;@i0 kAq&ɱbY{< } DLrB:jؖ; {4{׸kH~v+s`BԖ(#!Q!dgdiX/; Qjife:ul%ÓD/~& vly]hzT#]) ʕd-: Bf/> Uc #~vN.JȺhy"'dhR{.k}B`LKU6V;;m+mT=T n`k.%'oe3f<mqG__?}r8RGLa-tLUT_ >FаĖ`VXxV9)fe,XlX P &Hs}m_ BX|8$ vzw/Yet/KF&&X&7&A}!nZ{=ʩ)mˉ9p }lAdE{}f.7̓a0q2a OZ[Ӏf&9ZV `n"82gTh/7\K$bqm;O'FI6/N W mz: j_z7a?Zo^V0!QhW7~y$vi^:>`h͂9߹I' gBxϟR.̕/r>}op0.Fz?#(K-#3}{T왶^] ]^.? .9ΑWcU&)T {P.LKo7-} jDyLxVnZAj!Dn>-v9ZV{AoC2ё HhesPˏN<%FUdnN-M4^z⊽='\߱# ^n j.Aԇ;(7^z΢m /qƱ$*$Ivrm--(_>uC4()l9qYry(8#0`q8KWBV9c2xE70,u*oR>Wkb7%Ɯ;YDHҙCGeETpa߶1ɷS@saO+m֭ Wt l ~u~ &cwGbO  ~s'zYb(̣.No)yÌNI_7gH#O;I{u HSGH UMjڹ)@O :f]o6"+~bK|Hipߝl-g} >gz<[1[u !B<+T%fn&!mӸKcFTp|;Q^qC~qyZy<tǧbOTP0r}dhZcL0XYu,GsBSk Pՠlz>'Rkb.-FO#duƒG(H{%t]+i[4 xHMd>ոu Oް@ O4&H;oY97Edé>eU8- = Z)9ºmS7j d!c$Ԩhhq. +>_M+°[a)sWY۴TG MM0E% TyconTycon.Resumption_Transformerdocument.tex7zXZִF! <]A-MՋhvG"uIBm5?q'e׵Jn{LQ[ڋ6abK}&H1'jg1~lVAC'UoF!z6(!\ۉ~HZ:T7Aܦp9)R*x_)O2:Fɯ"Q,LQw"??Ǝ"P}B=ɯNX4&삃-t{Ik*@];8JA&Ssn!#g6Kmt,M6$<pz|3ϩDᘚ"IIZWy  K^{YblN&WkoU9HBaך%旴eM~XH4Aniqui^S߁/ބ^Xt>='ΡIX?Y X51~/ ޗ*Jgt;ٛf` .6o 3gG)b<5XQ}V:> efDP#([(=~WQ(XBPJLv{Q I{9g5#Ke%GG8# \)peHn5>1ýuّT):Oеd-y@)gh\K *EyTY}kcYMb>zyhA*뎽Cy(xs$³)Tz&:IJ`uXOzW1CJdi>㢔~p+r&d{a9E݅G >JlɄ"q(<:y6V~r h*zlj;qӂuj_npXUXy*57 M>v=3~r@/{|]%ò#zBj {,סfJ{n˰ϊŰ){*C_We.i(5W%'[gޢ*P&Y"8eK6 0UBed?lE |<'k\[G㟖l RW)vkؠAetylrm/pl~9krʸ[Zás$ ޼4b%K(N GFI)@֫9nSV8<5hM0j@YC2ޚժh2ܡ4QI \9qwyQ(Ԗjԥ2->`mm;>ٹ ߚ]NjDP+L"twq 3҄w .M#۾Qŭ9zuM7 1̒vSCoѣn1 \梂C#_~&!22* l4#t:Ƞ$jb5%-[`oo⬠4N$ZC`ITĜlO}GTXmF4P_ϑ@_h*@s'F,gj.V<^d )b2?}_hש[NY}cW rnc$?/4q ";{RRN`c"c@_DABug{ C^/)JH[׃pωZa_5`=sLsH|ڕ@&qsˣO̭鏤QLJ8⵮ Z? 1ȊZЩ6 y1_)M;oL.D JMl_wT?}P[gJGm6ۣt!o")+/)Z{omEf{ "=7'5ݿ٬m fMwkA Rv*1:oCnNrǔVބ7=xOjx=L=F'\fRLf,,0E'UVE.V}צ*#bzy4BA1ӌf XȊMx@ڑ[8'&VC $/naJ"z/xx4ic1 K5jelBYD]n@mϰǗ5p!~NHGsXcK\XBwK}M!yVR(%"Z<>'^t 5ԭr{'r5 &o^KJ7RckD?腊ZQD4϶"R INf֫I+農'Ⱥ} 8((5Vr66*4+ÒD#⓿tݠ)%@ +HVgS1ڗ"va<*rgA{MpuFxQXp wCTvU%O2 уjɓ]XVη2nTBx&MJOH0zT!d냌˘:Xҽܩn ]P},y%7NMth2J$#Yh4Q0LgYZv C F< HEQZ}>}Go\xD|V Vݞ.‡W}} p相<A~ ȑ%2jPx;UQ)'d# FK4 ةoLGպ TP$mG,p)GRY1YF:my*w8ٍOs~Vٱgtr} eyO҉`m rU0a'XxeQRI%=C=0(N,8Ff#4fYEB JPlKԼP1#PZSzsUkGfBAJ_S[Ǹ'3>/+3ac5WrUں 74t d?X7LX$nDy[XReMhn=#tGB.+jd̴}e%t]1b)s^xɼ3A&^w&\a /vxQ4 }dB5nnt}T0IS>BFW\ݙsǍ9~zrv:{l$08'Y5\(Et"9YlklR!-Yd@O7Ƀm\dN ex5Gpd;j<~sMx·Ei;z=1s] 4?!04:ckz>\9\>R{xQJFUjq=]`GUxZ{f#"1*|KQC{(b5@R*㱓baoE.f`_E o zЄ(B<A&Y[8-uԻKw,Nu롈s%po1j;ҼW ^G&> !`gG1ۛ[`88a2ǭprkл͡ OBzƳWC#.+H۠RHnZXzۅhU>c{-T4zW҂3yhVk;3=Rn'KDp4T5l r v5{\#kG^WA}m۬,QTTSuf7G mX,Q,PBS#~`Hx}uA~y le +=`їX!g6[8N"07:#,;Rua GsA~ NvΡMBzЛ&,Gg[$wW(QK10_ܐL-4 (kW5ϱgoDw$4!#W=p6AHpf8\#?E#؁B l0E2~X[ƉsTI"Im;$ q9f#)1c˽Kp1;j ̄]i9>Ee0MEv(lDU􊍘.iq0cݙ8Z&I,*$E'@*¬FoͺVэDGCE_E6+%~3K8ad>YQclȦ@-证j?}0\+%6-/XT :eOxˆS+}C]="j/7 x0Ir rx o0c$4(: A۔vH# Y;.6@b+*ʧ6Q T );LH\;?s*h27nQqˮ_#TIǓ91[>*t5T*nRA*^yρGS I%r&̯%0GYiuz7t_4&y2>x+JًDeMWµ"f'Ao' +UlT)b$`7Hqk*e,y&P0z,XM4Xa [1(!T=~y+_J`4'`2`^4zgJ sJ |OsS9Vӟg|WAPI;>3&RS6W+f4R_&x𦁴jwt0}ig"c032\4~BG+zS~r+ bG+QA$ș tVh>@ >+A#hS1+eZ%?\p̂r>K ]شXR`HL 13S@oaHnw?Q(x'[gM*޻@7S{%C0{&TOCn +Mn}P'4r"j {h,KI}I(JvfpL)@/5?paںQ+P  nУRaKC.eׯ*d]g|H-VxJ|vlAT;& 臂\>#U}dd?!*1}Ǻc]>WU\+C@Bڎfl oEJFx{]itCϲv O#OpgYZ NN?;% ,TyconTycon.State_Transformerdocument.tex7zXZִF! N]A-MՋhvG"uIBm5ȩ<)+$d• ÑG> Łrq˃*'F$} h~LKv'**nV0%׳ sm*jPTS WoFW7YJ&+f}r#e NXF*osb(߄":=hbr|6 nyzH'2 {D'|č d8bsS];ãp;|!? rW}XX4Cq<niM* VkM/#ޝNNmz˖t̃ԼձyaU<Ҡݴ9@NᫎtKqz)xXldR P[(o FzZ>u>=DhNhkim#Gņ)sUn5ӁFDE $KAs%zՓfc,t zI?5/ku+ykFE*⡕v,hp̤KL."IBܘb{.)b !)dw=yvNk*j{QT^|xqvp,ciYﳩ9D Z(IX:ڏ '\l U@j>9!1gdӞTjBZ'gx-O#9Y] ڀiZ>))ssqIXɸ1ʂ-Ba9E=vu(%?) RD*| y^pW@/_wNJ}ڶ`, 3:XyJKt[ PYՑ\pGpLp!?SKS:ν X ȕN*:_k,Uuw1-{wHQ̦l͡Pē,A zӀ̧{Yn|FXT;c<ܬ{(&-HƧ?zmn A|O^_ͨr?iѨ EAI"ea\\yj2 L ?q/.937ɽliFT&73ŗGfHվ,G<D!vyL*zaeq5ު (IًCrT["c:ym(MW0J3%RԯLaLS}LzpYms9}-*&D]z.Ѓ_4hH%.u :w`1pMp2]_艿 , agCYoYT5ipm8u9GYI9Xs~l@YlLyYYm\L,,re3(|GNy{Mg\/BQ@.)'af/hKZ3&=/owXJu`9s5r5o +B?ح2A,:Ní؊rs?&Z8$ڕ#5zc ܶ#\NJ^p@n%/s R#ct {Hp@ʬvS8ڐИԖ\^|[g1#T} ہD xSAa?gc^S#}>gէjAJ2}/ |F;`җ= ~U=8kj~|aX,4 rp@1НU ga4y-ܜi~*X@b &`wD攻yO !D xNn~E%A &#)#dY[`H[ '-*j~D 4e`;:dv +JJG cL%n&ouCRMd.ߗ ӦAg}u0V6̖\%UE&C0W[al=Y?+m^_~Oso]!] [ƅ!9[@*6`xgHVjIN6XE1" ׆$^V̑ 2ɋh5!dsxi g$:@xt7 *!# S'I>:FvFw0e|QMS HA^Ƨft-0#DZD.73uR>FH,VVi *'cՀ]bH`ν/g՚ftbtDT$ŝp\|*: 1e{B6mFؽ/?=2?=R Hh !d4{y^CPl*7f\n]sOh|u9Cc>[x8r i gK#hX 5Kjܗ>zlPuS>RzUmp ]\"L~i - :.GWLgڷn]~>o ?WL |- 8<<͝9|_qgZuC| Q{F̴3Iu\sͲj{@}iO#6Bk=,4nURS`-Q@+]Rs#_b,1vRWj*Kl)њ'fH 6 dFiq{1"ַ>TѦ¶rY =Դe5PJ^5/%|GgYZY'% tTyconTycon.Functordocument.tex7zXZִF! s]A-MՋhvG"uIBm5q\:Sb=Ldi$Gk1[e:-=Ś4ًtnq7*ou$mɌg&p _L2Rb ^V24ͦn27K ibc>wPDžKX- i\.d4Jd!4pfiR'()7"]'U_ՙIs#[s }$p &6 V'N]  7% LTyconTycon.Lazy_List_Monaddocument.tex7zXZִF! zk ]A-MՋhvG"uIBm5lϾ\"aofU9J2/ =F'\X*J]C3u*oY. ""l<,гKIkҊ- -`TznE fU$nχG'GaSbc#fcJJ6>*8!Ğ1~:2K2D5 dMZºE8 Z!Œ-z|Oւ#iaDFj. ɎyӦ ;,a!9y+SD?pz@2eǍAg PYNza%-*`-Oc#~6KON81wsZ2^x>UNxM{2PsbQ\ ٷr_K"2-Q4,0%"cb $,wڷt W5Bi>գJ $종؜z8Q+#dn G47BhZT1 qJf#[ɗfL1ˏSf|nkfh,H bɉW^IkL.3g/Y(| fּj v$(vTP'Zl"c[tL!`n55edVlR!<$zQ%4aX#bf rAeIU!Gp|'@YdRchs3?#5E5>'sRt z/+5¡=0Sf(t(H5ӱ"jdOEANժDqUt{oS VK(6%n元=% 0DQ.eN^sԥD*P+R-Zu>b9 +j#m 5)+?(GT. ҢPl! O/'5X &'w^6-%lPE$&xЗYԆH 2ƫ79[VOY{WBQQS(wei@[q%sCzCUxF|" dA+HӘ(YŹV$D{`8'`zewa/ٰ:*8*NExRULߟ?9c.3nܘ Mb]2C媵6ޙ[Q Գ!0AW3I+ؑR"Lݗqv/a/J>u)y]yc3 8pZ(pQ*p K,j&-? L?;0 nf?o9`ڞ:9Yi1S{SPrAC6F"aIW* *Z%T;D% (䐚%3mo| F[z-5vyPƩltJXR$էbx\6K K0òC*)P Џ}PqRc5fJR>XE[2 I|h8z̋)N;* W\Φ)3)!8~F#xNV92# V aTg񹾹 b_앓~ 8ssm<q5rl#Y/g3VvTqEM$g=m Aֺ!s޽;zl$ G[ͫ;nv:Ft֯Sȿi{G?- qaX~Zz_M낁zcwBD'< +Ll@*]1R|<dXkK %֫<^foOp[_ W].:.e<(DK:g+ϺS=sdB6^?AT?&0Hv3& gw> wJq/;y6DViG&SB[U.{KFts͓Ar/U+zV& `)^,nOr2UL2…V'Le0yም-)h@Ļ,~r#A"bo~@ݛMι4mٜsQƠ>hM P&) X7 d6Ǎ[YW sZ}Ez=sDbbEQmƛsR(__/qu:=VP-&cN1sTt9#t}kէ#B OnpŅ1Lv6, ƴHaWxD6a I-Smޚ1D6l*JTz`E<:dbI ;X Gcګr(r})ײ޴Ję 4#c+4jb -sF?A x%vvOL+ jSK |w L ۺ771y/),VgQ$ $̪^fs|Mܿ 0 KD]^nH0;&*V WLsaዠŘX2> %Nm]0&˴DpN7$$~(Q G\',Zƒ9wl< 5 `&b!Qe`5<.s9Y$q쌱j goCǙܰ]~J7vg/"4FPwp6 hڗހN"58yoP3\`j.YJ0 ý zM^䤈*{,ʞXjI1H+3٦LnD0BA\5gYZ ""[#% |TyconTycon.Monaddocument.tex7zXZִF! x]A-MՋhvG"uIBm51#rBi%pjU tLR5M.$Ϲ6IͅYKϩXv,}\LM<}\J,+8X9fĪ}||υO%ϙthkm>w°?iةk:(u MX 'W+E寓5gar5@̃1%lY!@gb\FS}h"!,=N7*S8 0JF% uz0QOq'$?M6?\r\:8={’l$g9aH8UuY̻1"Æ ĿS_$4A@.1 ΂HW$5P,.7A>'T1I+z5yi?ƈJ6~&]fgtkCʘB4IEF;lt^[&b:q+3.v:P2/݀k9a7ߦz6%ebP~kybwjh&N#=Tk6/;'|_=ߒEJI9).ƃ1y)} X "S7{; ߖXJ6a@n|7zx`DMFDeZw%ֺj1Zc)TFMǦ4GW.Bw3 _ !b񔐬:Wq-y7׉30G+LOaJ}ct v*m4{T $M4DUw%_00q?#<$GK0#_ ݵCFkdDn ~jog-89$>t#4KpQ.0MNM 5N}55V.'͝FB}&c+rhm@OʧyrT.-Hn8r1a<Y l|r fZVkeT{"'2:STA ))to~,|QC}(ЦNa X?7gJ^ڧIԏEPÀ_3RHA{# V/&th͕ fF2qs>%=lL.1/@9' 4 Tݠl1=di{%ZO{Nު)tYCsA"W O̘S2ƇFx0}5"3zLzZI9K:HTߓ|'.jѹ w¶bjEUsQ>aL{i6c.2[:\a1g+Bwt#8\֣ Uڈ<.טa!j56KI~ nten3h&~ B!& 4cl̼$-7ˠ4Zt?\Oc 7m .+ ů! v߃fBu7ń wDf]R.(FB1glH7XDS;^o_kzԇv_ nʷpVZU C$} ̥\4˨Nm1I|b-,qewkeUc1۩WҾȼ5"OHƟ~θkn6XDX=]=r0[X&LfHIf;E8'eJv}x аtLB5,*#, xC@l Z~ΙdkᣊVMnSߢӚ{QD^fijdQ{ 1}83uDZī )xpHzrI\s-Rk{2š< zCZ z:]C_\E5V|9A'w碎m)FoW[eA@an{S| 1GqJ& ;6hn5 'B6 I?<W*o(ݛNg /[atGyvϤaB±{.Z:ΆsmH,Տ>s~bzrV"YNL{BwVL? <4{gp U/K=[&ŋ)>:Q`bG ۙ3) jKRFWL 8|B8zlߡ ~#78,,-HA}b?&D Ƅ)QlOӾ!z5f'u׎B:,Dy&c42bsfr:LSh>/(MZ6дh?+~c( erP@gt}*'v=r[> ,N^[DK86%PMy79 9A2: pś 5.I FsCQ~p- %o^%ͨAWwkm㍊t5MYotkynJ'G/$Q_aQ5ـ,aTtZ?B`3A^y4D\PPY֮vrXԛڽKWN?7% 9;@iGs{58 X#|&0Z 8sޤGmVL25FdJ>U1ˤqb(nz`la9J>[u4 h+l rXKL~?/XDß ?3v8ZHylvgIZf@XbMZc{XvVıt D*l^oT_Q6]R2iPu8,YfeFUԉeW=„ (:2i>r}b0 uXVҥ69|SiQD4f2BZ#<,҅:E?ܖjs 4'יWILumϳz~O(ͺݖ{JBC+~A]2/`Q$`'t|+U?@f\m:>2 ߋw(;m[iHTh ^hd.3&F>"]tඝ ,4Xn&Am_^ $cwՖͼ ;ÕBdLfM:o`{,pZͰt |0z75%;hD S 4 Q+( 3ubcbexM763Tف\knZ Z33{>t<~']}sp's0+DP[iL|h /s1s|DsMB'hׅG5VN[qauZV*R2}J6[:Rc*$Dvbס-2,ۘtF=Z0 iBE״nu<>_!Yv^ʯhZM=u⤗N}-.) +#//w]cm=u*~Y d!@xSlfYQn h'F+`24GgqxFVb󲜠A|" {wőOAnuJZ'W;h|ї:~Ѥ)^ UCakPc:fn1+?*FD؀LXHj;<4^R礱gYZ yy %% LTyconTycon.Coercedocument.tex7zXZִF! ]A-MՋhvG"uIBm5Oq@d ۈiC^0lਚ="LY)aƒw`$?v 8؀^\195kQXUWglzB.?U%yM]|+35~7 )c%Y|HNX0!?imn^bQ#}[Ws:Ejکz7he?i0A`ZRMV!3 S {3<s,뉣Ӎ账[Ct{JڅνˁX] *%U-c3n%{Oq]XOg {! % 8a 0k^sX~AӖ-E{wvV`@@|ԉ*ӱ^>p+x5K#J:b o'ބ_x! 2!.!Ǎm*Fd,%"L`3bTq8P4.LVAצUDԟd1qrj*x_+ٶ]@@=3 'OL 4[`,0udJ(hb=iF[yV28dΞ"Yï^k"09$=p&G{n!?w N)l>%(-yaQhkalW^lYtr ÕVCsLϝ['YbJ$$FneWrhAM')g[z%cQYqey;W$1>D|]j9 w=w/ 3&Q+?D0GBmеɠß,bƹsXɼw U

gs[j3HqXɹ>={A^k|˸j(0$:|6/gwmZmH5U#;`8gNUݵ7;פ^‰}WRfկ2WWh&&6A#?,Zd"65bN| v!c+|=zpPzeQm劌ho ǟЊFƵi)O|9׀'4SRhIwI!4jyަ)@Gl ]g*<*iJnr-˻2pl[r_NÉ! =߭yIm){Z·JHht끧MI6˗D&zJ^nܼK}i$CgTzݽ‚Kߛ@v%2Z7, =l <I:Ҕo02?sN ߗUfbZaB[{˷BXiN:>VF7{X?bU[զ*;rk.G+8-H5Lz0!0L*"Xp&Z9j@2 D *=n+c\@16f:}sEG3x4ct/9w ߴs&:hgO=a:zmˠC"wӂax oaZu4D7t6{v7.3QI#fXiDg?#^/S'd "M<0Aܤ9D<^W| ,V#AH+}Rq 4Y,  YNxblm U=7 kc6|Gr%I" %t7ll"WK05ܬ?@m{"RhUiS2ZiD(&zLoQ<XB"50 zz&c>[1.sgQY}+;_%»!9q9}dGd(l.JFfZT@ť5U rWJ2;<@z}F!+FR\H'n[&@-F%,/ź ֿqA,}<BjIJeB_zb xڈcuI3 L&s.ţOx@ZFgYZ 88E /% DTyconTycon.Error_Monaddocument.tex7zXZִF! YY]A-MՋhvG"uIBm5b'Z̬ onbTdDFz5, l[_bh]ݕ߶J4>C8i33nh3w#3?XkSm_)?R+gb;@b/v#$tU00G>4JVxϠ>JVs>F#= G jz"f2R,"(C/99N}3p{U^ T"ZP6aawN'Hpʟx%KI-^$kS(Uw|Ą}Mso ծxLGVV\A{zII[$w7&%%|[z$* xWgqσ|ǹϳ`Ǟ5\54$'LFT* y ?mG Eu,E^hT:<6iR4%)*Oܖ]يp Ǿ裣P%=oKA=ͫ=1gD[tb ߕK_>e"O6ZSY|X0Tw"N'd_p; =c.`ߓ׍< )ǃύ;wǾC[ ùո6E+deϜ}f5^\Kp=CeƊ.ܜ`Qd|KJ=)8Vl Rkԓńg,O=Tl fIav,ٰ"wSHo߀l/| QT1#0Tmj؉ןT !8.k75 wNVwr\ɋ@l,!!cr\" Us JUKfnk <6?Su}S.m1Ŭ4Sr1:(5ƳՖbFv}Ni%RD ^Aĩ< J/(]d?*xo u~A :e 4FubrQ%OT}t .GlPnH#Vֿtс9= ;~|mJ+ 0f{g7V{&RA6ZW6TwNN:\p(6^~>,*7?v K3̉{x }w#-p%"y(?ݧ̴ `HXq=vS. qTBj"e;U8[h4!-DPoEQ MoCNo,}pK{5P(R dUZ#>_Lx8)B fq{&UTjh!jtH'K:6_9)0yvi5+۠Ժ 9l:Xh܁[B?2EaAFVڡFX mZML,b3_?o8}hR@|T x.B3e[G9^pX׾6 1M(+b4C͏>?g%_bMdId1qqɃ^VW {{'N3DgYZ gg 1% dTyconTycon.Writer_Monaddocument.tex7zXZִF! X< )]A-MՋhvG"uIBm5s*8Pckx7tyW5K8vHgn,"(fhY3^?#je4~%Pb| h<90`YhÛvG(y&1y,VvږޗBhP{!7. !8?Wᣥ̳_0-/(Ao}nA'LsD!)(rg2*B,seF3ޖ-u)-j50=nm)[rCs#'{vUr ^w FHNd6Q"=eguK;p>&4(?Ȼ pSgGA2(o` o$׶*ųJ$oed||1Z;ޔo]<1R:wD}^HA# ,O jEa7% ٩"h}_9b? vv<_]\̔DƬX&%m|gQMM]1 ?_ Fw1ءwڸ"(gLETns5axp&;\Ҳ;iH;?pcm~DSj+B!P/o,>㤐Q1VEjD,OxHY1pGq&4x@>pBpRF N$0j@[󭛫xX*$qUw:$-pOzJ,hSm{=1 XPr)Z']AJ7&BW2MB~-,M2] +.M s)m62/"uAϧ>f(H7*#ɢ|5/ hf&avf'*||4eL;rZc  W32F'R*,R_VK:~H1#*wdNuW,sq^63]Öߢ4'7$ToJW87=O'TDeM͟bHobƦNl@R4mylw*N1;\ ŠE+b6ðQ6\ovRMAIWy??uk@B %1$B\q⌧JКSIkޣO9'+_#f4atߑ4Τ P>7U`M6gtPo2V E&sQedIvEA+@Li!=(+vZA`1jF ז܀ v-`=xOꟉ u3K;Xy73x< Z8JF~>[+ܗi׹[|jq ?~+qpcwM[x%9N!+9D*'o|s? ]ȠPF6<^ҟ|RK{(1|ɻ`ǾLM}PV{QzX =sj_NdD_Eٱr 3mf|N#eY8FpDWr!+e~mv . D_{t|(LF9%aJ HY hA4m:t' d6i h`txubgF.*"-CT^S{kfUA8̻IJI6)mm{bA0 QHArzAORrg5 eSTdGi28o<-x|5~q+l!v7J1r.^Aَ[zcCGO_(~E_{&\0\>_ǿ%uO8t Hą_kJTmԇlm?xjܐ18dcj+^#CK/R>)o{w|;?,m\:>}YYJ;K/c9>8ytis>#.,K}DQPozR9T/+`dq$RQ+N#LD!O5ylzav/1~+!A*6__2{"F@7XWDPg[囩$qx%]i>h{62Lr@R x-<7f4O}NG^ guRH+#>;[qPz6!MID{6RYi'>e+3M$gYZ +&+x -% ,TyconTycon.Lift_Monaddocument.tex7zXZִF! 7]A-MՋhvG"uIBm5#2O X`9 )#K%Ȩ@@Kl0ءM(b8.MB"-_B5>vlE"NU0&vt5([}G4 \4|AjDS>ALʃ͚]|Ƅj0mg0c;4]pMdT5ҩ!~J}B(M?(ECi΍N8Ɉ.=Vܣ{e q8B$>:ßSc/uQ ݤ }e $64PE-wrpx敚Wv.4ڌu]c[;7 u/uƈd8I/#Xt UC9`5}~l_-PK۩^ndH٣m NvYhRuln eV2|%5ͥ0ēX {K1WT/$Uʡp;MIkD%9\ir!'L ط:4S=uLqjԤ} wӆzگifT(,Ej[3s6*ZK80yұ۲+ge(^8 Ʉ IPL14{T Ød(l}1z/|_2Z}p.%A^j>(Z˖_;|$PK>wgO>=y qgp ĠGц"EH{o'2/Ed{%flb$ncҲ a LE2x}Ox+Da cSLrrH}~A,H5*&WIdWMy o=gYZW ;% \TyconTycon.Binary_Tree_Monaddocument.tex7zXZִF! Eg]A-MՋhvG"uIBm5fa1MI[t\;W,YV|㚫rzz (tNִی,·|qɢ/UeOA 7[~~GT,qՔ.ӘY>$B0/Ė4/|66RѮ 㪑 { 65|]8Or7Ml!4m9 S̾LֳQ2>Ѱ1"7}y?pt32"j#)6oM){l8u=[d3>EGVn4+@%!.M$PF+<?4 VVy;!}GV@S Xtwi)P!07̉zj&?*/ C/L}/< [n8ĖLU< fa" O)^؏?Y_HZ4b{]LvB]"mv<'HRw2sA+{4ys;&a}tx؅ bw$ẀkBKS!}q*oBeuHﲓ$4Ƿ1YiԶ1kDwwꘞiL2"Q_ ׸صA7fb='żH0i} /SϐքG)^8ڀdR.k60u e$c%'\]7`LE5uD^f,[a ƒ]rrΝww{l0F'kOʫz۳Zf;jň7]ω3q%fqЕ+iB?/  dS*=Y&S?Ju*8saѭG#Lakv^2␽=Ϻ!r9)Jӡ\ۥնz~! "qln ˆ+nڗbILO><'XOF~{kx.Fk##4!D"sy-A&{=A>m)O٢ElGtb"H SP  Ϸ!I1_8ܺ\E&׳xmYDӡbMߨx٫0bQVsv Nuڛ0Gf=a 4>'UCJjLl?W>I]D`Ky9F^9,X)YHעhnp _O#OQUԀjEc~Xs0eY'jQ):8/h쳏$C8(w.@Ò_etB}~2W)FLC9P Rt2)!\S7{b]|\~*oԖwƍ׹{̍ꎄ `t%(ze 90&?]xֿeZ5s*j3',sh(9D2[GM.Y<7e KGH3V'HXd3\Qhx%)bHՇVG?,x@?}"$!bYTw}qT%{+cD,Oz.ՆUvL~BguD1º6-_-rsA jFvoh}6p%fLDܡ%ӀB]EQv蒱]Dγ6f&F"WpȀ]y_?1nN)TM#eCBVKnݧ(g4~W*JX`*ninXN݆(3=-.HDh 濘 -nشkT_3x6!HR[laBZ8qp0+/آz%6Rnh! [)`!o9˗)iZhÃp](7k(Hcb0Sҩ (?Owp|BlrU.7l-Cĩv>_.cu_ӄQk&.AsT>?O^6?3}{(ղ% .:G4"lsP2%; hqL[ yٔXoFI2T$/"|f=FԻ8 L{$3n}/8C4AT5KGc+a._*W@s+Gs/C,|ѡ+`XgYZX-% lTyconTycon.Monad_Zerodocument.tex7zXZִF! p]A-MՋhvG"uIBm51#pzom?bK:y !ƧM,8ː& @NH$Yx9xW'7 W9Ao mZ7;@SȺ a+e>0jR4Яj_q;mdJ }>4Oխr^%S8RVK cа. LSeq<, #sH/Z$!{LQncEF~M:m^~A,$W{:ᷲ#;]1  cVe 4|_##A${&sLar6ӑ׹A2[AWԓtOc[MHǕ2{s^dV=kO_'ZNGS*IZ-6>{1[Sڬ57,U\]ۀ"B2Ġ7EzWElj{ F+7 TPkse-x|)eZc<`Bg/u5xQ{P@ k2 <:gYZ-% lTyconTycon.Monad_Plusdocument.tex7zXZִF! .v]A-MՋhvG"uIBm51#pzom?bK:y !^~O?)@x9Y[l;c&TVŘ/QZ 5c&F[0Ox6$8Q(G+1'qH2^wBҹ֬tJ)Q?7,aD(5̛zq1u~ Bd"XPd\ޏ9 "G9(-Ujev)!-..14IQ>@5Ⳙ"!!Iفlkjru{d~gZ?U #gN&U?цx?*pbd/Ih 4"u p0 K_Y02ct15"K:?4C"h_?|0QQtS1}iOvAi6^膖7p-<TUܪ-^dRcH7y#/*I8Ü]^{VDKO+{" <,> τE1Ah;YTgIsH>gj3lQu0휕kJ^Q!ְy2h2UbLF4X꼅ĭdYs2WF Od% lqa6Ӵh wPZIeZoC]8D(dtV|I]dX3ͱ뢂49OkK0|fS'%SRk੐wZ&5;$n 6Y5@ L}_]$jm<_!#ȃCNK T7#Jcd7Tҗ8LE` (s*= l~?(,3Ƶ+]6Ig z}V^N~G0SA SJ3;d&c>XtҴ8XɻF~|@ h-#j6>O oZغ":=ԸXH4CW(XY>""(1ԍ]СՠdlYڂcU` |x~KcTr$24Z 쥺Uשd$]7\w=|O$ڽ;r.ŴvhM1fA+P?vW]e[>,56J:EP,,y]"Z'SvTgܱvsSEW4;w {ǐ8ux(4GMso)CӃQ"dwv[M">ye7ĦdGgv$启5?bz?7kax;渳쫧Z'4B8d|=aLIkp|֚0MA6+fi^Ƃ<<PPp1@EI ܀Θ}{k ( YݚM(i.¶&yaJ +3K)N:o9ɦsM[pR0nS4E,qAWo{L\M+AdMjXӴLofb},)%T-a1]=TK[q19/l>5"rT=+W` K"uȀ: OB~?x5cp*ݬdm` ծD_]sLS+h\<)t:mʎX^b_`<'GN (!ي3!l(E9w: h,^'n@0s׼ȊE3͖yѥ(JJ 8$d4Iniz{m{ sG|fC: suUՈ64!*$F>m2ϔ(i*I+jf!, #ҋ$t1騵F?%V* ȱA%SGz|!6n߯ߜA`$Ev_VEIɞG* qݗ*q/@Ff]"|-m,mx3A1{Qķdj;OO!"}dQ׼(mB{i"7xMm֝4;%aІ|u`t,\i|q0a_jkMc S`ɯ 0w[.)n Ɔ3]lRBj%GJܜ^LB஌No0@?.h:.q ju KmH4 ñdnn`c9ãn wGp}$w&h9VFIp]r0BeBYߚ3Z19C1!ކAV[z 5Adfrc f{>(&Q#@,"3$Î/}|G^Êz"cĸ/ύb#'e?DA#ʦ!}kFX-NnJ@+lgYZ;% LTyconTycon.Monad_Transformerdocument.tex7zXZִF! ']A-MՋhvG"uIBm51#pzom?bK:y !"؏35*EQجr@!4^mK; )Nj,>ӊ`| D(VH|Y2X; 5@6pku|SnY#}fgYZ