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 ::Ct<,l ] Tycon:threads=4elapsed=11.684cpu=28.700gc=1.2247zXZִF! B]ŗXiɟW;g``ϐN\*\#[,֩LvKjW;m!Zu-B?R7vy@ch>'*g+ZIDXdWrW Npe^^Ar+ q:bN6QҀ}֘ܠ ("2\p.qYd]JMRJNY ÉĿ bNAhq)ѱ]+IGDe6fa$AX[ XgYZ7zXZִF! j-]ŗXi%D8W5)?I->is ժnV!d4ϣF͘}BJr[CI9V SL%\)e>>&s5$RÛPrXR|]EMe!fd N1תB*Sgi㞤]ޞm[Kf{{whhm4κ # } ]o Q][[.}Et :`;h w51( wv=mbօ8ܞ7H 3A>Sڵ.^N} 6-/k0mq۰U0mWn7kaedUzH@ajVC4ٍQѤڢRj+AJZ/nuS]p *ʓy2Yr.Rud3aOk=ړc/}ڻk'fDU:] 2Nwϯ;''so~g~-=d8JͤiOn+.4;:mc׏Ӡ*H7GG5^#,hm<ot`KBwœUEMԁd]#G\]BF?0WXev(:s ˎ.S5Х?u SS>GiXz'* BÊ$z9WSFɄtj;OBsoN 9M+%oaF8X" R,E Qʂ@֔] Pi/TWwSP?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$Ԩ          r A ' O w n H$'%TyconTycon.TypeAppdocument.tex'-%TyconTycon.Lift_Monaddocument.tex'-%TyconTycon.Monad_Plusdocument.tex.;%TyconTycon.Monad_Transformerdocument.tex,7%TyconTycon.Monad_Zero_Plusdocument.tex'-%TyconTycon.Monad_Zerodocument.tex #%%TyconTycon.Coercedocument.tex (/%TyconTycon.Error_Monaddocument.tex )1%TyconTycon.Writer_Monaddocument.tex .;%TyconTycon.Binary_Tree_Monaddocument.tex (/%TyconTycon.Maybe_Monaddocument.tex"#%TyconTycon.Monaddocument.tex.;%TyconTycon.State_Transformerdocument.tex$'%TyconTycon.Functordocument.tex,7%TyconTycon.Lazy_List_Monaddocument.tex3E%TyconTycon.Resumption_Transformerdocument.tex/=%TyconTycon.Writer_Transformerdocument.tex-;% TyconTycon.Error_Transformerdocument.texE~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#rj1ig9~a$V%. (04swt 9,#W2j}lD[EiDxDz!_̶H@Ca}?oD8 C:8D8_ ^drխ/X*%KGŒL<6h%x0uΞGlӶJJ.2?|cns.S*=Ze_x6lYC Uc= K2TrL#̬VYFNjȝFN 귣be6N s.wUcFL} OZVGmw B>ȊPp@`0"0;,rfm$V.:y W#y\6ЍԮQ#t4;x3OKN&ˊh<28Ѻ/3Ut7*kz1kIPaxlB(m_qBuC\ 7Á L0{Cp8ηeo*oo{f b7d!ž/7ZDaCbDUMo]!G"_1 PsPheϝ+Z|x7,vϹ4J0puG:~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?Ceg}-E1ZdMۏt3^ػ#ƙ9ʴ0Gj`G+J5Z#aBR("4] H3}gs"l]E ?~ ͞Q qZ79! 4C8Si`1#S Af6:5W !._dz0"|_[>&^u"e(؊!W:d^sǘ|hca/Cxi w 4QH:uʡROLj|e|܄qW2c64RA0joKMbq`y^S`q>_"P&dH˯.8J.s 1/E%QNfluyほmZ&x5kf2`؊kWh_]hzQ6cq 5)Ĵgԣ"yxσu;V+INWzICkRЯ+` af'c`TFl0oƨ4 n -y 8gQStN%tO,n,kIqD%< (?I䪬UI8G<{N<57T~me58c{. ozt[/5m- vʃXϚ6o~"&L]uȟZFzJa?#T~Bf]$R/oHPur';[L3\rvyc-21—{P7W^04pQ ɁH'Eֽ$О(P,|{jN!9& J8A-n?=oNi5 8$ Vy:4OvH*,$ x 3v]\Ҏ>N(UiR:.ߧ,z&!f"z Dn>rD1/ KgYZ  =% \TyconTycon.Writer_Transformerdocument.tex7zXZִF! 1]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۴TGIMɟ} PP-E% |TyconTycon.Resumption_Transformerdocument.tex7zXZִF! k5]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Щ6qn{T1U$]cR[t~Td$|IO= 5.c P+UǷ*ȴ~:߼k439[ #$hiV"T ںyIb_?2z׵lJ&2 f+LnbTţ} AK!|ڏeEb`׎P ⤟/L$Li~ &DbB lLX5fH56W3!|5y#kAn¤NT7wЧ3W~c ѽʓIi' < D[S*ro;m /ȜP_Y3<(W8, i")|&~GtUPCNe#5Q% GOjp8Aw:I+Ẑ}2a?SuG ` 㽠QoGA~mURȻC*PRsƚaN ;> @,O)9/\S;VzRq ('8PQ]牖=1jBc`noMp7LPɩe `ZZvʘ//#_Ã'6eXdn; 3II/H܎Z[9k|Vd(kQsG )XUykTGXK$ڃAE#u]'m6&T41YpձgYZ  7% DTyconTycon.Lazy_List_Monaddocument.tex7zXZִF! zd ]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Ņ'DF#5pD7`0pq9;Σ~%pˌ(bNbMF.r~Q6d"U~d$*f>woCɇ<.e6wrTؓZz7xfg]?z#|CN䂪a~{|Ma_X0OYGA F6>:߲)FVS_ZOW3}  .T^ %5I%EUt <' #^HMsΛPS(80b{GrpI\þDնDy =Ǖ&'I3!*ﲠYT7xήB8Ǥ'4:@2;K>OG^bثX43{\vA5&Hi vF{D> KԠ-EOYncxK~PV:I>(>ᅗ)HT>P\u !k+B +a'`2B;cOmD at}Dbk6תyEaa8gшia81v<hZ'hA%dUZQ. ݙgYZ!G]Ns}Cz;K~cGCD'>=,l,?XI}19g@Ku jC)o:3۞B?)Ҏ~vY>…7DV/գ?a)kv5'B> ,Bm-"L[̡N3Hh, jD)X~Q8+ мWVٿb~0NYgj< _PYP./fѶ{re_V:҈`=ebm>|*H[ѓ5eP 9e3BL|L;58ȐYBW sM0 U#_#Uҿ$8%=9EdS̸pX&@]h4oI;`f@q0[$3\S8z{`UC=lzC'l)&=qpϏvld/P2쐑LYuLe*h!yC=m}$fs2y[_vWu#Ws`2GXfkܻwm49&g~@ Er$:J˲Rx"5z Kݐη>^a:\\Ѣ/p_(m5a'bcȱ/Õq݋1uiYBp5gv@ih{`Ơ%JDzkMe~w`9/D-$E!n78:yRPoa`_gsw&~Kq!CsV}ML>֡2L5QNt> s\NaF `ώm~,rLE&0#4 OYCt3(/@CG,/|C_5ޫ\ל]1Y7_Nq^wh8y h,%!bkS#0^)|7+ׄr;Nw&k&i" J~eHo}'#@2h᠛rzͰF%Oe䨕a-j#3 ؐo$;8Vvߕc^/-OOckڻ .f:tH'S id?N_&6I௒'R{\?ȴdçC܋Em1ق?QզC4?Mdxϊ8.سϻ%kS(n]&5ܦnݻXr#;{֯`ceV.,7o($6e@-LmّAU~Klji#^| *NJVnWS0~v` 1xV7ܚv}>;74"*lzs^UTxbyBYQ#UObT fT"lq2U塭,#DU0)((-:MxD,RO$ZE!i KIfbnuqH(_cfGlr~Ā;G-UY~%.!Po'Ko%M]:li]HS`|7"4H+9-[@KC NsERjE~O0pmoY#΃NIOPdzqTSϟ0d/`R+ &̶cƮ*I;{YL#W046#͜ArDSQ=GX<;D6ӶuIJW/'zuv`fL$D90=մ(ٸFrݙp=d[ I+CWl_$rR*1 Ѿ_m??uF s0tߜ|9.qdNg<+9 {l'p?MPwѕlGwv-+ g 8cqbJ:OE/lʹ_(Wcr.,\8b :YAȸyuUgoaXjKs aݵ9I~6uUn:o:71Ħ g*=8"hHP&xȹin1S,C3sM "#ƏӣȿU;7~~팘OIQx>he3my}sLM8FE9BtH Ʊ[gfDЄPXɁq?~VtP>Z]%&s6׋Fs{3عJH ҁpNG/`h Q,+ gβ7e0Mb]Eni`Aqw瞖݉!Ene4PZh~(h_v5H%Rn1;\*{.鴾G@OwU:M2ht}l 1@,(y7Xz׀$[X7R2۔^Zn f. f~E4a7+$[Γ xl>J;?VH{h-weo](ܦwC)O xE:+$1 䈯{:~/M-DRr&@=ҏ*p .2rPIzVQ~w Vi9j^!* >[,B6G"KQP oIna!YP8#DLtTJ뽘 kT2W'BP-BWt3̙ͅ):[[9u/_P4 KS`|n)gKp)= )kXAۃj'L85NqUJwj&b˧fp*a <{sj>w eyސ #l,7y CQwg!3A:Mt1 @BX epsD *&c'`~2E3M*;7VOB 'dÇK@*&10z G4$_ʤ3.SGU `d㰜4Bzlx/FfdVۦ>7G3sѫ*{i qέ84`LM ȦA]rfNoxR{ E 88rm*xn i>5!y:]tu8O^Mc1j2kX!NLMث=F-ӿ7@L&⇂ƏJttG7 W9Yi#^9P"1p@j4īO lYyPvBǎ{5@W˾A7h<ıLolΒ>o8VVyvߖj}CCKKpո6j{Y4H 5rKYyWܚP.W?s'tVsD鞯K rN.IޣAV >eIuny 4aἮmOg厒HjDӹ@N&%lcd6giEn;Vy7Wz'sC+kЍ}[ۋ"z~egYZ MM@;% ,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~\lBhrBL"\#HMgc .g jA`p% Sp )ԫӽ~ĮSyqF0`]GATD| Fw2"^M k0! y(N*Z5 }|DҤF跈 >MwT]!$~*:2 MmI&x|YvX" x.f|1F}{qL-/1AJ@WhǶЙd$3#ax`yz&E&uW7lauP4v;NjߺSEi]"yPus{+744W5I  KpEx, [#x qL*0r"C ?fI{l,}$]C <,S[_)QmܔqF30vKUy%u,i uAHBiJMFl6 cUxyWۅ>ݾƒ]u_ q4fÓA3G7[f,%plofr~7󷘮jH=҅ 0pFJb _'Y%%Ztg+ٍV"u9w|hb|Og1PQ]1;(F:*_4:= AtvDڱgYZB'% DTyconTycon.Functordocument.tex7zXZִF! ࢗ[]A-MՋhvG"uIBm5q\:Sb=Ldi$Gk1[e:-=Ś4ًtnq7*ou$mɌg&p _L2Rb ^V24ͦn27K ibc>wPDžKX- i\.d4Jd!4pfiR'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|2tlċ1*0l]+ݝᓩ-r^;V)IOj]_}$M1.m_TTw);лeT\󤘕1{6*oR ju//f Jd6P VcOӡJeD&%P#"I2Ax5VDƷ;QGUl.2GS/%$5Hm9kmACP ;mL@['=5zݨ߲^OaNLq ī%_6{0)DZDZvgEoS`1$80oVTDzbI*^ N d@wW&ԙş:z+aіpa<}$wտqZ rɦhY}ƐVa =([)ty4:!WmĉgYZ OO./% TyconTycon.Maybe_Monaddocument.tex7zXZִF! k5 D]A-MՋhvG"uIBm59PxrF=8|KP 0Uw~XެE+єGFRL&%LU0X!CʖNb|e_O W[0|uZuk ]pOc)n;eH*EkYiͼ0ZFGo׎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&AmL}InYʥW6ϫ*8>ņ4Li|XG#`$/kVT)ᇷO@բ&sAOz?zl!ue3ja*b+IFa]Q-\AdA̕++lZ$B#ł"! PY74i.qquQ7s}7wS3iV&hFWu;HѬHb9PdOv$).FPxE (i\\~"~vЎۗa+13! @T & /O& p%ď>Hrx$m˜fW6h,1YfVW;mjQc* Xѣ!L`  ±R٘Dz=Up4x7=9q$Gԧ g#@nV4bJS$*l$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',sf4:,`VdTA ';j|d+Hs?67q-X Z! <([a$ovodm;^_ ǔ}VW&V*\Sax;?1cܜj"~1G7.XЯ7 cّ]Bd)*iiJD 7ȸylʤU;+QS0Vh\?c \8_nz4Mw?05g^JqF% i}(Ҡ_JGuH-(r k^|Ÿc,*9Yzg0z BcxP)KM!6sk9k?9yf8 o@N*=ՙ2 +M)=#gYZ nn 1% TTyconTycon.Writer_Monaddocument.tex7zXZִF! X5 #]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ىFv W}y; Ue-W'rWl9tqb68\u=_&akt(n_a WM$7qp$0#;M0܉vUb ^2[YqR|Q(/x lC*}!T))< % 22u+7G0(ki-y3A/zԈ=n'(M;P*a n_Jόނzz̩9&\26aVTK/x]׷Z!xC%[=igjhO':{!T?,!1u; uPaʱ/_M;L˱KvPIk08|05f?Lwj%7(YgYZ ??> /% 4TyconTycon.Error_Monaddocument.tex7zXZִF! YS]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+۠HNX0!?imn^bQ#}[Ws:Ejکz7he?i0A`ZRMV!3 S {3<s,뉣Ӎ账[Ct{JڅνˁX] *%U-c3n%{Oq]XOg {!)6 ,,/R}FcLA 3cg|U)LhXNr̅S4UY=l+k\q`2DaH.LxmycvK1NtLTh#þ+cc9?3Cχ-m'~tn~¯R*dkIp*XNao;4MK™X|j()թކfnJ." EXS *O%Lcw v7V[mgЬ@oZ2C3ѓQ=d9ɷ^LE09f-ũ3LeCݷJsb)z/MIWm.5sAaE\C%n(]QI̙rD%ca1%fƯdciW~vX5tX@^ӿ3"Xw~e?ڤԻﱇ@Wp=7lYI.CKZؒ%Nl ~b@ գ.?XUgTC`Q/-Ne$uVcI 7wX"uHUJFoJe֛E~gBC= j(wT1+10.85iGmUwi-֍zmOZ-i5jz&OC:g嶆R0y/:U+pEJJy 9sh%)ȃV8zC5n ԓp=B;f!ӤCരcwHb@۷Y9-]?x{&j㟊iO n{l%,':9uOŸy)׼D\"bz1u'Hjq_/keH_yLՇJ#ֆԦZHmrq_3Y՜ܪCScam$<(dHkK{>G ]RNqoۀFp?B;3'dAdᰘnn(4XjIlE;r($ܛ޾M-u?̦F(5ђ15N a@Ja< !OwSFd|balaRbB>X:ǹ\Ѵbk}i :EmuR8|@,eᰴoô-!-@\Wds~4DŽ,GeM|_:K-k1E,m?x땎DF&uZILDt)f[,̨.AT _DG8$g ;y7Dk/B[^0?}N}Ӆ뼙㞫) @s?EEzfjoT;DX8nq׉pn,Y|eH&2nOvɇ.ռ%6Lņa?+Zs{]@1n0\οgUrkF ?;: uY0R@e+_'B7\hBMGz^@Wg0ubHĮV["&|  n&S-d)dx:S2TFŬLrn `H|I0{ԤFeKb9SkKҖ"Wt~e WiHusQ C)BCmS\Ep4MKa˄sʻ%ㅠXQXbMB.'fl|PJs~NٓtA':0I:@k0Ydg"!#>T7HXJ)L?x@O5v4Jh u f-L {Vx F@H&k,KDsJ-ԦVA/ʃ~΢^d{9ZZb~.D|Wf%̩?q BF. Yo\𧧢Cxߔ %l *&B(Zʥ֬;B.a= 4J޶-j 7}1J |i% cY #OoC]$YaHdR6BM elw%c#dwtnQe >XmH2&iTJ`@KAPxZ]H4>!*-VpS"R 6Xh'i3/ZpC!8qՐhBR;3 6ǭjS\*ꨔB"ÁNw0GC6)IgYZ  (;,-% dTyconTycon.Monad_Plusdocument.tex7zXZִF! .o]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ӊ`| D(VH|Y2X8~~d /h~O~L ıgYZj7% TyconTycon.Monad_Zero_Plusdocument.tex7zXZִF! x|]A-MՋhvG"uIBm51#pzom?bK:y !ƧL]Wv36qMoXU1\;iA?s` F[SDx\Q0B)zUh'us:6V˸Bi JpMBC`=VL9:q:ui]iK;_EG.t9G6b q?[{jgx4kMtU!'Rl﬩b.&Uk% K3(8<ۻ0]ZW@@borV_GWpȀ]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>^v]ýTӁ3剈RL(x?ޑMu4G*= ,{*NgYZU -% dTyconTycon.Monad_Zerodocument.tex7zXZִF!  l]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 ;#Y]z uwo[5v"LH/tcз$i?_Gu_ua(@F`Qc3iEpuzhy_y01Â@xvhFX/V!/r2"MEy WxqE5a1':s<=?<0*P@I=J5TL`+FA0ߐokv3JYuiп8f$_fSVe| ^ <j3gYZ  N'% \TyconTycon.TypeAppdocument.tex7zXZִF! $]A-MՋhvG"uIBm5už֕j\aJHE.]gF/Ќ;s+3Nq>+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 X)x=ptW6A"%T'j5ٚ(R x^B*19 :2}ޜ>q^h;Nȕ:LjݨtA*gIUa!x$cݵ(E_"abݻCѶ5># `BM5c)=6K{F9. 'r {.8Xďg?{#go!ɻP?C[SN1IuegYZq-% 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˖_;|$P