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 mt  ]/]CRDT:threads=4elapsed=26.231cpu=77.836gc=3.3487zXZִF! 6FF]ŗXiɟ{h,M+1nܠጛh`te^m KTd[4 g.}?pTNb5,y+0hԛk0Ä(=3>ud:"SKL<_JM|( JF(%$Qޤ!N]A} gnHvжaryY#IѴ8O\J@\/,𓨉mJ(] 5^q[/cTMqG;\5䲟3'?NH <0oOdm<=`7z)M`|Ȧ J5sWӮH1PKMyo -;7vf9|n 0ld1'RAy,5OpN?6)' ";&V?NcM-c;Ta[N&!9wݽ?` r cRnJCKSk3ug2:?<<&%9=B~; c[Niܶșd5u+pQ$1樨} AJVr_gKo'sUkI1 aznp`rmԁf LQ({'",y<׆2cN폠pBpZDt,P\5XytBӞ qnOkFr% @܇@ߑST}=yjWA6 Bh-d !@EF% Y8o.pc(9AVUY/J,-% CRDTCRDT.Convergencedocument.tex7zXZִF! t]A-MՋhvG"uIBm5T3_<=B>1I:x+^'>nJF NɊ- :S%HZj/.أػP$p@G;c4n2vZ}~ ̞9?z81-Yd&bU]pجz+}!͔3m%әp5?esÇ\{rz^xE^Hc@<06.Hx"o^._g$ͤ[l(XSig kK".ةh9plDE{_>T/&D@6LD๝jQ.F"0]ީwȴejV>*ܽ^:}J/[%N@H$r QR­qfta~tF2GW`+mF']š ƽWPjAt#PΛ?l1 ҳsG͘d,d$ Q1phuH_U]W, AߐyH1Dƞ\>V\ My! YT(s'x w_׷yc?"+Z[+r)T eB%LGE)aetm>smdi*nc,X~H?[sW:7d$ՠo $l\S4w{J@X٩XQnC8>Ոҁ&& LioJV0T Y^0\75WvDs7jXZs-΁EojմڻUáIbp-N}Ѿc訁R8_yҥYC o`E sHJ??<+b~h39hW+u0B cYh ~*uLſFƏ}ԧPΕ-fIuxJ8XcZG$AXޠEs0W*Gク~@Ni֢Ne71ip<J[SiUlwXq?Q<) q[4GfteժqHծ:#mDuQ]۝ W_6ޔLYLB]^} D;hpc˥mrIQ+J3PcH#hNzT=xt^8$ ͼg b읽\_^Б>\Y` *J'{[*8َ( XC,+f%)_}BYKΚ=XUG j s2EN'/MR$·cڞEP6:"zۦxUWuf+mN._U@Xa5m}sfl#RaRfJ "2ǯ"D>cY Mmr` v-)× o<,t_Cu>٘L13h$&w%Es>+\}n(dilv)[X s`u-g8]HN[ k F= (PD#1qS*Ij1L]tS^n>gm BVC @]Mޞ05cjtEVCHa3W X6GbqM kW4lzDnA I\M͓S=`S#60BLbnq!U N_;Ћ'8v6u#lK)M4{7C-*  9|8}v/؝p*p';n=$.Ѻ;KC,@Wt]gLS7#*EB*n$<OcJ6d4HUC%}jw͐6dd-1`2-_ 5_ch3)W!<'QX~)?My6ppt}~|STyd໪9h G+ah"G)h[QC43ˇ(}@vT7rP`9`Tł^gcwJ(ٳŕ _( ktݰC#b9M~@ou< 'ХwCRγ^zUR]bބz&g߿%Aא1Gny}e`a?M (^=*Vǥ o-ޚ-_ H7I.3{AE0YXPXw_r!21ta#*oD_x%8kA\s_&azh ; ?iƉjV0 x_s<^h3(;{[w%ƁPPN3$%9G yNk(u s%f т2jIVԥgVwwkڍIkٴ,d"PG6~T@+\-\ гir   p A !%CRDTCRDT.ORSetdocument.tex %CRDTCRDT.Utildocument.tex"%%CRDTCRDT.Counterdocument.tex3G%CRDTHOL-Library.Adhoc_Overloadingdocument.tex.=%CRDTHOL-Library.Monad_Syntaxdocument.tex"%%CRDTCRDT.Networkdocument.tex%CRDTCRDT.RGAdocument.tex'/%CRDTCRDT.Ordered_Listdocument.tex%-% CRDTCRDT.Convergencedocument.texF8^UB0PhE7R (!G=z+oZ,]k)ɸR`ʕjJh zo/WׁFjMir\kz*Ȟ,ljPh\s0bnk֬F8sDBʢZr~N#"vuOji-?ތ0C"CU9p6`XCq[~>]Ozb{bZɠ(;1 ?o0gR5h{>=}gY%͕AFqU_cٗ[ q؀Q3B!-I35 о X_P6F2!!DW)2':b? :/u ;,ha=XËz';$%YܓkuBE* -Ԣ1(9ɟLkh\ g ϣ>դsl,VIُ yo,uڔsaG33]7wr&fUhcKi6yP^n~l a8%&0njb`!vݏw)wH;Jo0r FYB"xҌavx[4A1Ȥ&.|:kʺ|윅cQWvfbcuį)d{W'ꐖh7 q65##,O k7ZSۈ[C;qbwW#L?9L _D1qvveqhrR5s6"!RjB:'5;o!m O.R"Kf7U&BT"SjTؽ]g߳,>C/1ξL?>a }!To]$:yi 9#SugG8~<)UŐwowe(Iy@,.nj2 lԙmgJ!`x2QL 2%z;/^#^^QqUӝLn|%,MZOcJHbǀT&V H߾DS.\{Z)k':xlZr?rčl׽"paށ[< M"s\=jw<?6n( D$h!q&|~ lD5*?"T6L"X7L0oRLKƏl;x~q⤮ae?Ì;a)=$,|\yJ@qx&'JC#'g*stmQF*W͞+DtQ'g&f *.zaze73r([Se BHfL ҤApbjwƥ1&iЬ1vMLl{.I%xСl;̄1p6BI G#JhߥE!_(̞]`wą :3nRR: g^pcNzj摒s ]p|6 Ϳؒtc=[1V6&tʬϛ7c-P { ;:SS}kOlWu@ds~,SS/Σ2s0wĮkߧ-)4"s0 z19CQثe>_ՂeअUuO&`6}{`f51D %^aHew*Oa/֛X/Gm,"aȳ"[U`E1z 4 H].67'G[~9s]!:w9%RWqbZ%tAD1Qy R.| "!VFlf SX=W:(2yW}[:`M._3Tͫm7p OL4msaafa\PCb$ü6s*F.>Z836:xL (5vF7NOR%;e.i%@u+n|*r9F[By;eA 7e̦o'Y q[ˬLoVH (Xj =l02~%Dh,H=|w`([O4W_ Kc.z>֌VgqL'2/ԠXT587$Vձsp%kC(}Εmu־&Z>u(-ԩ(U~iЅFhu9?A^ݎ^^96z)5غ5ԇj!W­^`ݑݍN1Jq je )/u|(^:˗PL V:Aw`I*'3+󺪍齠4/G)Ar>$tN/=n\#F݃0j؟Irj̮ :waT$oW{A 4mC" .n gHlnK@hK{^a"!6b_a9T z?#vt[7rHdx:l,ϙ_Ȉu{&b炝,AyvW@gH1Qn|} .(4-@[%:G(9mTįuwY7RNB&Cl3|E#V{kq hJeBʮ!J{b1d ,Ӕfږ#*6SeZ4+1P}a*o aߌ<sOV̲-;8(aK.i$3 v4ϭ>c%8$A12hC/\4MA <{eƫ&kWRtcNLv)vFz "۠'D5%' HװSA#蝻/+:r'O+p٧ -KzrZ|5ǫp_e8Z 5SgYZ"^[q9WF1 (x.҇FY3DZΩ,M*})o"10̲GrXUiCS#zn_FaHAE''Խ?B 6 iȩ`α4 Vj V|Fgq1;LpA+$ų(QҌ^^OW}9sn ӎ]K[" r^|֬yI-uˍ Ni-'u =R-L,m^y:IFiAw4dXuX WP\¯)l7uUN\*-8LPTd`Zs#gfl :ixEɢl>(^F =sOƘTگb3u8B`ؤD[|?0$;DAH鷪>I>x"8m{ b$VHΰRB7v{J,"r ʇ@Xs@-LQO5ݬgA A8TK#J(,󮱑q^-Sⵐ r>&/^ QlX4졌L >JZLIDt !ZSQk5w2LfvǗXΦIXH+`$䏐Jq{9H0cߍH|`=xW߲^%31bkZs]i 'EENkDߌN$81^N.C %t6Q}uZ! ԬKRwPf{(ܗ#iфiu1ş7: _V֭!ܟ`0tB}AD.%H:JGHgg.1AڣiYx{Nj9Ac%kc(8ɷ$W+SSx+Y « pB#p$ԑ~N}rwS$$hM)8Vȁӡy|"ϯkyv#n9%۪֒9 Π$s^vh)˃C#SB^ DuLVZ ʒfwiQg>6sq98Ӆup R0SbC" {/)%7*n"*uiZ4,q,ߢy7#C۲GdO> bNAg0oʇkP{s _B2SvUZHE| U*;m|P.`u9 yPcTS?»zeuιw=AXOf(U\M첒kctS@da u<H',tk˪ y`!:_G M_=J!|O!.[ sqVtF:>ň @|jN5,U)4?P`w;>ufskLgXj]&SU!v" a6:V̭`p7s^Ww>]Y'r{!Kڦj5=goA{9ٖAOF1~ڨ4$iAŒf>?L3]o9 YY.LGBd^k7ሉ(eGki]_d={u,2('e0`Exh,rɗ>EO+; w@1T_QT$\oqU.rՆ ߡ  E#]!D2=nX߉͗tphh)_%k=A. iz-:EMq+<$zQ҂q޵x렛hNlhf&iR,cҠ#/dǷ5zk6#~7XYZDϙNzk,b?=Dݛ+.>j8^JRѡu8^t~T:ߙX]Idn.lLg4.puPO>%:cH`mMB"nӄ"\;Ohcg]p'1 hWNCe|1:mȠo[K~V9KLLJWV΅N8i9õU]a&= BHz›/^f Uy^߫:ڴ>3BzOIfQa3E\4,lcIRwWhE!w`)qoB^s| T] ᇞcCJЖOktqұhFJ Sv:yXѶjSwTq\}e(J,ATMM Lx+nS_>P 3;Lvq'ii>}ٮ 6Y4iڄ\yױGd;J95A\rd"BB$ :L~$t9VWe5h!m|+ UMc1<6|J:kBjt?F> >R9"P` J?o|]Vf.rD!RM+/ȉ4 BEܪbSBoiƾ(T]W)Yݩ0X$T4/ |FhDT^Go~uF傡Ҋiu`q[JѶ,݃鵮tbxJ^T(RS 4(P!y_&zQhw=ޥHfI_jwwϊmg* 6z/dC|FiøVC,Mp!ރ%_@lkְY*ӘiNVJ<&ޫK^H'DN͎_Wwު8G7S#,vUH 3ljE1fgqϰգ,_4G/+~M&fW~u*.;U^v"b?IKY@m3nvNª!X<"ȆB3ʁT^6m(6[=Ҟ =,*hN%84S5hK̩$QT]F@| [xJ9i~~Y*f wU8`C͛ Eiq[$CRL;Aϊ5:%-mrLV>,Μ)]p8TG[l񒤪)y5{#ڳARyoA<՝Q4Y,s*w1'Q_% ê!ȯc3m9jP \q7/YMYEXm|VQ l8=*15-п5Rri*нMRmbQ6_~V`FJ|Ջ֫h-B\⩾mZ*2\0h$/~ˆVI, [Uy% П1:%pH!z#Xg1/,!.`T N^\uD/ÐrФpK9Juݬ}D+] EҶwEGߡ;?7#V'yZ"C.Ed3.ڂ(KJI#crq,k2 d{1z -֥x\! V>DPhAQtcF1Tt(VgYZ z$g.!lJܹ(j"\PPؙxO0Fa)4ͺo;W L&''-A|s prUl/wnSƕlЁifӢ!m4&h.'CВXlTzZoam.6i]A)r* Xfwĺx3) ι *>%Ts&5M'DקCc.M(Jʨ{,&9q0}ػI2!hVKJ:mHӰNTF&\G'⢢{؅t:ݷ5( LغF]=h< K@G,7=0%O FL~lh򸅗BjG*`fڷ8u-jim J A ܍7E^O%GӖyoYVQ*5hyQG & , I{eINH~Zf#pŦ!LlP TXʇ"=|& kl1qM"{*Hs!˱꽮 e6 b<7,A}O nsXm L1{akaVNKwZz^1 6+d]`_,cn_J$3CvSlq7L:9VzZ(Aʎa\j_NC _wPKaCrh ﶊlb5囀{^?ձUF>b:8"wJgR"`䗟+z;"G~W_;5tB6j1ݑ8BJAUd!PM:É,f")oRO.:L90<ƕR?<­GLV;X4X AYB| %e0ض C[V` S|ʣZݣO9סEGz;>[n^ܛLlx>N6(6x0x~-ÏrRTzbN{Db\w%rѝ2G F{sp032߰t٪R3ˮ`J$hՔ@ʙC8*F*#8*~ia ͩG! IGe/ yfjei΂ܫVBavѹRl4h$|dmee2^t%  J9E1Fh!GVƓېt AA,r 6X`~p/%YtgǗSŵ$3#駶H-jT<lY 2XzH`<N6Mv,}}p,-]]HZB@E?}D˨o.flvMDhP[HnaZM+ֻLV9HEi^35#ox:ÀtyVi֝z(i6!;{$ˬخf~)OLAD"4S޸UER!S"piWQZ`i{k\5q-qUi,v<+}-HО?EIBn!O49%+x-hs_r1Ro_]C)'u04a9ͣMn1aApT|5qpQ?[q@r TLf!)?<4b}{xy3J {mh=~vd?Hy$//b6Ic/2}ИVs@ 9A# m(ʐ%#uK'k&.YG$0ߎ[T3Õ k=}19mǫ !H "pCM_P ;M{.Qgt;T^y/XqI C.-G%&Xbl%dMK=w㿀jןRw?r,to1tJ,'[&qA7FLңh[tJ fAuۗqMȒPوbSJWw:9Ⱦ., (2!FgﵲtL!mYKv{"1uN BWF?mq5B#25>+ .h5"kYUnu?4祽w~+K[?[z $U͵7 i ? 6h.-J]I2YkH=Pj^{tz!&5?ua>N#'{xG sO̎oxD%B[jV(?]GIk,t۩!b9tbQRs/">Fd*^[t }ypФ;FroxtB&7h,?7=<毅dIGZ l4`^>V@Q-?%]c m]0]xCr87˲0|ĩA ڛQֽd\KoYpj~>[vjIUBgYi 1P)$a@|Cl>&64 HeX:҅#aQ'mv UP-(E#u*FϱX|V!7|JU[ Ou3p& /s ^>Rπf@ DKJ=C&!Fvrg$) TV(YshTp5wUV^l?\ٰDD|㱍PS$[yQ}҆ЛēxH6c"bX`L1_A.\-Y*IFӞFOFOy L&p<\IaϽ A敼Ieu僈Ձ"3׍0ݝe7j2f\ Sō>Z7t %0/^+@Qن=Wr2جYq^ pJl/QPW\AI#B|8=5?'S`_N{p:^ fk%nb>b.Ҩ\8)b^  hi M&*MxPD\ЈKMĄTEyMD|i%ITF%&Pˌ@Hs a2v8?䂱2x*@+(v%huD̔X9~x"BV}Z% 7Cv dkB+^NB.^hXsr(йᬅX <[Ԃ~0K ~*VU2[C5uixSb #-{tAf=~USg@0O.ҵ}G';Fl cp|h7}0W1Q EO XS4Y&E;fW.b-t]P.@јÆhvpN!mHk·'lv+)[^A+ֲʛcRƳ'=͌i`19*Y>&K6sEFCy\ډÑ|!-\H! q'fPާ@l>?=q<J*p(t^ m:/p*tde-gHEZ{'Oi?(zXU[flCb e=P ^[bzΐ]~4=2w-rj]GAI|]'#(|!W9+R#9;wf착dsK򵔏K Sԩ:HgXjUzR &Rq( ԮBຜΣڪ{DRPW-3H3r:vU1[+ $U&1q?fz-ڽ_b1)9mגaf^?tBj; Ox~Hfİ-CyGvMF%7 \P@ ~*NػmR4@ڎ5F@nIJH YC]x䞎g#},y߭Pl"7wGg57)`yOʩaQ"ГEDPmq/bf_˘qgEW_%()T#zDv(;ԿFi ro4Ä5o ") s+yHhnM*s d9}-Phx ,Pz6t{ `΁ J=6 lvg cJeկm÷U뭇I Sib¿ 줫,V1@[$ɨE^qdy0/yhE)s,{:sJ) k% !VeE@#?1>%/Y[yg*}; Pd٬c;Ta[N&!9wݽ?` r cRnJCKSk3ug2:?<<&%9=B~; c[Niܶșd5u+pQ$1樨} AJVr_gKo'sUkI1 aznp`rmԁf LQ({'",y<׆2cN폠pBpZDt,P\5XytBӞ qnOkFr% @܇@ߑST}=yjWA6 Bh-d !@EF% Y8o.pc(9AVUY/J,-% CRDTCRDT.Convergencedocument.tex7zXZִF! t]A-MՋhvG"uIBm5T3_<=B>1I:x+^'>nJF NɊ- :S%HZj/.أػP$p@G;c4n2vZ}~ ̞9?z81-Yd&bU]pجz+}!͔3m%әp5?esÇ\{rz^xE^Hc@<06.Hx"o^._g$ͤ[l(XSig kK".ةh9plDE{_>T/&D@6LD๝jQ.F"0]ީwȴejV>*ܽ^:}J/[%N@H$r QR­qfta~tF2GW`+mF']š ƽWPjAt#PΛ?l1 ҳsG͘d,d$ Q1phuH_U]W, AߐyH1Dƞ\>V\ My! YT(s'x w_׷yc?"+Z[+r)T eB%LGE)aetm>smdi*nc,X~H?[sW:7d$ՠo $l\S4w{J@X٩XQnC8>Ոҁ&& LioJV0T Y^0\75WvDs7jXZs-΁EojմڻUáIbp-N}Ѿc訁R8_yҥYC o`E sHJ??<+b~h39hW+u0B cYh ~*uLſFƏ}ԧPΕ-fIuxJ8XcZG$AXޠEs0W*Gク~@Ni֢Ne71ip<J[SiUlwXq?Q<) q[4GfteժqHծ:#mDuQ]۝ W_6ޔLYLB]^} D;hpc˥mrIQ+J3PcH#hNzT=xt^8$ ͼg b읽\_^Б>\Y` *J'{[*8َ( XC,+f%)_}BYKΚ=XUG j s2EN'/MR$·cڞEP6:"zۦxUWuf+mN._U@Xa5m}sfl#RaRfJ "2ǯ"D>cY Mmr` v-)× o<,t_Cu>٘L13h$&w%Es>+\}n(dilv)[X s`u-g8]HN[ k F= (PD#1qS*Ij1L]tS^n>gm BVC @]Mޞ05cjtEVCHa3W X6GbqM kW4lzDnA I\M͓S=`S#60BLbnq!U N_;Ћ'8v6u#lK)M4{7C-*  9|8}v/؝p*p';n=$.Ѻ;KC,@Wt]gLS7#*EB*n$<OcJ6d4HUC%}jw͐6dd-1`2-_ 5_ch3)W!<'QX~)?My6ppt}~|STyd໪9h G+ah"G)h[QC43ˇ(}@vT7rP`9`Tł^gcwJ(ٳŕ _( ktݰC#b9M~@ou< 'ХwCRγ^zUR]bބz&g߿%Aא1Gny}e`a?M (^=*Vǥ o-ޚ-_ H7I.3{AE0YXPXw_r!21ta#*oD_x%8kA\s_&azh ; ?iƉjV0 x_s<^h3(;{[w%ƁPPN3$%9G yNk(u s%f т2jIVԥgVwwkڍIkٴ,d"PG6~T@+\-\ гir\^\ڂ M %% \CRDTCRDT.Networkdocument.tex7zXZִF! ']A-MՋhvG"uIBm51-1yrHC4oU6;,hrZ#mԈQ @j4"_-{-LawM#%ZlX|oBI\ؾ1 fjTؾ2 p tӺ$s2(yqxyz{-`Bтm &)Ɋ`8h?ޯURUhy9WQ1BBRKܱC2 3@Dxb.An8–V>ep ÑkGBmND ejױ^5K;;^T/>pD.PLx/Er$SG9Z{\Xm1( 'M0Djyq34x 'v>׏yIM1I'#(J穘bs^n@'mM;6Vg~]68.Umr߯!k;"Sdǔ(fLGG0НH&ğBpWDKfQ vY!Pa?EN^>9ۻѬUQ7B|Iծ^]!iQRN nC9j,u(hgZ!v#` E}#_, }T58u drs_@<.'aˮ10@auCѺu] s״@" O5x vNTmSh~=gHӥYNӞ; tV@FeO`yP<7WiчAXmb#z&.84mr,*lF^18I@K ŗvm*W gA9ƒw'ۮFAut'>~i[Tǹ nř5›-J;H5]Z*S=FI"S +ۏSO%Dz(eņ0ɸNf(r8yNb퉣=} #Ev2ON5bBhGgט0`(OQ֙?#8Ʉ;9 H*}z TjnOyQ-5CU(' /M'+f8K6ECjyU;vY랐+>&Q0q3n N?| NMSe X،mY`ceq,X+9#c> zqzmM\n#추=Yh6b2'+D A % % CRDTCRDT.RGAdocument.tex7zXZִF! ^!A]A-MՋhvG"uIBm5<;̇ :6ӍJnd|5)Yp]Kf;ubi 0-u_.)zuFt;ʳTOd#ƒ)0&90V'm'lA2OSȬX;;8Yi/j;n9ղwO}#Sp Qv +rug6_x;JP9˞ sSqGŚ2ݧl z_z1CiGq 3@(^рo 'jb )kʲ#@ފrW.{U8F@~E{/ z*cpV0h 3,Ҳ'-|4&# "s]({tLg7I>== [T D.$ 6:Ã@Fp7~Ja͂3#kBJ}CMÎ;)ׁzdoVWe j \m)'WUUnld뇌r>,Ys2"&$sիܡ؂KwM`\눆yUr KľhGB~I_F1K$\.},us,aLS! v # BOm"r:t1;V΋a9:M QoJcU2׾> iŮ&m67%MY-Ў-m):HOpӾ ~$ OɏBRݠ*!NV)ɐ+}Y'"!^2`;"E_Ra{2ܿ%?:Sd#,RwZŖf.w=>`[["]uGՌ{"-7mN֠6C"j50/AģEc1Ac_vUإ\iđ)ZMu,qCQd~lNv) f39ʙڎD9ҢJ%: Ma̟`P3?qeb㪤I aж|0 3jDB@oEDcɧTJ.qGg= 0X =Rf[m=-1R3~i2atShЭrjupec5lףBdQ!k|W^gu̠BO~.&p'g4Y2U5$fr{$`ea?䂺ۨahb;+cپ'rï-%PsW37ҨnE&cK\wYޞbeio(UF.'ėRDeʅ:DSqzYtӞ!nu_wh}I|Cc ѓh eT*7dĹ萔=y<ʖ^]I:TWxnT"h9Ln@3IvTS` w EBL{f\E}<,_x~4h^|D^ (KSYrFI P³fbrvW)oOW:ʚ +>@5)% VL+uR_G8DRWA'`Dsv%=0Bf$5Vkhw Hd_  E7+!^p`ڟ+_LH<;dnL9DRCh*V>Nڜ-DOC{Rcf50e/x.g4{ku(*wMxk0 })CMAF]{'tV/I;bxwKАQ š{q@Ъrb=WSF:{ hSxC{T\7(D9Z俙B npSScǬz.Β7v&% /s|e E6b0\2b;kWݣ ת6F"&by'ɪjyw:qm>p8JN" fÏ j^iM)(mİZ7'8PBb+uұ D4pUc^_pO+Df> #9]3fɎ`I sL_Xbk`wvqTe3?=dZN/{_{U4+%3) ɺsC __[[.YuŬACNZ_tOY]MYa7` m',w]+J'X"qMҟhxo=a99 WE|n]01xQD|{33mZr?X h&4su{Si,nx!$MQ؃|,qMZ&RGndL5dp3*OY]={<$gKfK4{: C8RsW0&0*p Z>G~}\A^M i5)ZF9]$07R-j=x[Ta]P<}a̜SfT2TplhGSc T'o Q*:E2[ɀǕ =P`3r:Kom| 2[(/$,# wNU8J,ތPĪDk!S1ZY_9UFUQ$K)7EfexbX9i<]jrB9&-/FyDɸv`YH9f7Ԥ6Z%^?.f6 gK[{{| qajڱ]M7ҳ!K͠*Q&7N/CH]N_j9j9t $JXf}#6Auќ#krǍ. L=wdI^E)%JbKPk? gLHƋ]V 'ʋg0e{Fb0 -|je&>Y DfVE2җjǂXp,ZU8޳֪2X|VҪkS7Gr;X}8=o_uŵmř^LWX/uf0D*~w 2'RU@kq yf7Յrs.JD)JCm>NA텀Fv $*KՕ:ZxMK "QzHdM#YUWkfi.6|.T /5R7~0I:(DF1yٸ˱]6Vrt~;i%-(cȴ6~e¼; Ŭ+/e!e:ƭO2n/1p%` ENI׫4:oP#5GD,V_ Ug7 1PBTneXy{!r갩ZcXl0/ P~JT#vj}ӖEVhjy#ډ"&U/e(lX[3pLj3DClË}z5.I>[ I˗$ƩhkpwVU*(p02x;v"1ƹR0;0EGGQǽ9ځ~` nGxgFUTޯH/ɬԝx% ;@44X΀k Z.śeWMWqsScEۭ;^$bmV3#oP7Ulۓ#{$ϩ9wk>MQtSGGyh5YhsVxSfuBrكVzVjϹQd]ۨ_/̱\D+Zoe2N!>2S>+gh{{4y1 A{9fhAXvJbiDΤ8pobsB7aoy(Ɨ=IdCċ</ Fe/r4LK>'r3Jn i+@l1'RW}xuTȒ. TNZO_kT@6Pr: fL˛h0aj^=j{Fh'\CWYɠP3T%oʚTr-\P[昅_27.{()<yi!LԲ(uٳ76jx˄~ɾ4tB x{Ŕ0%g0 ؕ1WY*Q8W~Y|C(o mlѤA4>6U3}Jo<_hqِ.\% c#<9_F`םE C @9&f+F7p Jĉ$ր׍Xk}37f/ ^"@_-돭>͗z NDmO4z|61t! _-e,n\Iݠư!qm}1[gK3+WNI$'Y> zs^w"_ZY;G8a1sgT@A9 ɴJL\ a)Ql1~;旐J2}3ɻ/ӽOY^^f'Q n6-&lG#IPyO7#S6%%lRp:!ZO3u5;qXϲ9vo5\K~qS 6"Brt|" !R$%3" qF\0i7kk*Fc6N#9C9>`+g4Wrgi Fu5#>쓙׃f} lսbHD]U33}t }_q(< @)zd,@ˆU9 FX UlDD_Y9 0͚)VVݠ)K>cΦ>Kl*t,>9ʞk*Jix bFl>mX{ ˧Tl OaX\6bF\ B1uUǷ`݆ 򝼻^VLkX=} pжGQuKҪ׵s 4 Ell[H| em7|ՓQd,b3{`KxͷN8f1MN齰 JZLIO%㊑Fv=_WHM6 L| p5a:nU2vwSѳ%TQv肙'2ok?E;O3'!SgfTXFj[Gg b3php'LذzHD̊R h"nDL~CY5^tdOTZ]}nZ$ӂ>%mRkAb!7hjKr~ (ɡ'{dKFsl-tct PƂ&yr=I>uÊ}\}7ss)*/,ϐoiq:= Eۀ5?z:`>NvӃUrMBпYE QFPna)N\2-@gw=,~[X|c2CW輴J oʫLO- &YG6R&1S|T/5d)Vۻ˷*olf9,$ vHHw7=Vm۠'kpB'VJ>L|Y;:[TAKwݵH{"Ц™Y.2Dm6i=/Dw$9q$dé 7<$&"8 P %7x)zs 19J P g$gYZ B YB%% lCRDTCRDT.Counterdocument.tex7zXZִF! !]A-MՋhvG"uIBm5`ЖdS?}!Jw:S?ib-o+M5|"Ufį5HfTE2Oi=^}(w 7"A}jըWR5U/n,sTY]z{.Jpp &ٻ{Ӳpm}/li@_b;gk^Vs&ĆNqk14BX19=AΖG,@|G=yȜj׳`[:{~J"j-Wgf%# `,b+4;t'>BEڢDmx/穩~?PeR@ `\֌)[bls] ߞvp%+ 1ڋ*ͅ$ǂQ`6ԡYv瀴FmD 27, 8Sꈁ%Q̢.ָ*ٞLR[?:5hr]/ЊO*p3Bt'{)_ PTҊ#.QMS̺f 8MX&_ TU ^idD@<#i pX?u@Qn30:"sB1<%d|ON%#jd.h%"-#`g}D ~S#tvQ+)R#JH~̛ BJigYZaG% dCRDTHOL-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@=% ,CRDTHOL-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 }% DCRDTCRDT.Utildocument.tex7zXZִF! / ]A-MՋhvG"uIBm5{{1a^Pf#u-VGf*+<}UPEZ_3 q'8/]]lW<ؿMF_tgxƷO .1ae\* J©8D]X=۽ީ"hk+-oڸ)%u$s-i'?uz~GtrFI7'Jk#g~B06 Zqpc3LFHF=x|j!)c֯Wy\5U]E7 z-(K3I9jMzqIJ`/r9+$j"ӡ+4e3=yȏ졟BFY[8 <2kd۹-3ݙ U$B01 13?ut K|Xa+Umj=nMl#6+ɩS97䕥2kyFZN қ9OԝSƑ H$ty]Dq5Uy{53$"mY1w aړ'b ?=%ia~Tq:h#[^ڠ?Ak'k^W{~^;z9du&@0E +w=s_f 9 꼁L%>*/ܾ?TkvÔ :Eդm=_e(}(}GSjט9#6,b䔀 7P7n3ō|^= 1fbhS8?=2栆~fPcFpڥM$fErKg8%L0a<.BK7d%ts}P1*'I(n?/vjr:M5z*:ikԮRE~7MI΋;Ȣ zHRyi}RNuE^^@fR, w[8 7XQa'/"*@]*M3AiL[gm #5IkG? (??@Upֹ@5ҮeT%ǽЪlNe@Zf%kc펐\qٗIP#~k+len$^B1P=of0+yl<}J!z2'ػFR.hM j8{Xlx)3a 7:U}D%?8౓#2 tEN>eqYR/ϙt܍DA'#Β-lB;`U>Trĵ[ё2/rs Κt@,=TG/uŜ5 Pc8ufxj̭J $LpE _[/|=%Y63NR9]_VOPC$3Qb®.@R86ϧB64E v3+?(*ʸ +trf?9}g9N +2lY73l8ĥه߽S*15*t(I >*oD;VRuNÑX0%X&R8eJ"RKZoxedN|m"X(/z26*|KHs荄988wXH$@ZYLL #Xjs<2(QO1ەv} w,d_l95MoyZ[U7fX-Frf::e|M50]tQYV# !C:l*34J>EҤC ~ NP |Qf9ΣǸ* :`׷.ȼJPi(3!*c=֜&aj_sr}P!ۼ&!VC_.R,l#VD} _ȹ@2@}ҏqf8 g~>mC"FӹR3H~/s{%vO b=^vt`XҮKKb,DlWGZM !7ݰc1 d7 KC몐"0?T4ȋ.:^KLgYZI_#6ݐ, _V$qŲ;0TXRLsET!JM2/5yDN0Q![L[xk-l-EӞb7k~W*PKʋuV Jo$UU?j>D2oÝ_Q0T+ZI`8w!>QeY<szswK۲5Y- ޕުtL\hd*1b[yEˮRAY,~.y _61JHAlK kD8eY?Fb_m⃀w=K_^>md77nm.S>HMƍ2o `gg -,W]ᙆi%Z)WMNkw=5:nMĺ!Nuyl"%+h9A>U[.3 ΒN7 _g&/#gk=A{8zqCX|nzĢF@൲3JGǘ{.SJS{&6էp,PwYǃcz\Qlov"t`n0a-kȹ;c; Lh|~Ӳw3\'%"yL+&.ϼ2 B}XA׺x0\E~ǽ|*fHJi,i\+#E5fFH2%U9MXg8)>#pR0)S^w_# sݽ0չ'PJV(je W7S B:E2,M,Fo=%mnDMLgP/+Ƣnf BBݣpz x^ď> \C:E\l) H-A?R^&iRN~DÅVNS!Zi֙ݪV)V)'0TA(]BEIdp}ڟ}y#9_b $m#"O #F>r\c*M;ಖI7fKUwђ?NJ Zp>'eu)&t(+&EUlL]Sd A"@{wOaڐf)"} ť931</dezuIl ڨT {% iZ^5U/4N@n*d׸T{PIHf/uECTh9rr)%vlFWsF1R>GЦAUa2|w)Qewe I,H&S3>hVGb/wT%z3厌4cEed"xGkX7H]l> G0-NeUS!ed# ݊ΗAԥ(Egoa=`P KG^Y#vEZ}eRb#>1jİ.D!Sa$luÂ]DLL3LL=fx8*{iJǝK|!$DA-FWp a{2$mJb $ŝr7u0Of^lw~9GbB;#'ŁtdͽZoE_ӞA2TIg*q-·*KȂyGʾq߷e pikd.#cRtfv4? ml}h"CV%27H&-DBP6dyB".E >Cш5|Ȏ֖FH1`r}:nw)äX}1:^ /?MHgw$/sl$ѠL.%Rv/+"#ײ[C˃aХK6C  _S0BC0MU:EV2B^ct.I|qWL]^OMusKWfANev 8eGoUz:j(  -mXф%t6S;GE|]0̠$o{I[b*:O1~f νRЂ8E<+VWN{EmGw)91ilVL<(y0QC̬O=" L^l^RcYj[-㈕l pӮb9#pe8ǣXuRzǞS lqSW1Hib[ >]Pwc-kNꛂK_m8jֹ U믴qU)Ӏ#jq؎Y+N/1ZpwM'W&G8Lq`; 2t9ʦk+A9=%Qm((q;Fӟ՞a{&|4X |h_L3鬩Yg_4?.WC;YAl",J94n>V2}*:QJ?Sq[iR1&zM^ZJ^|a\XPd"#Sض|^s80/3g?\l%e+;6)" `Yu)tP [ta|FO8>dS ,ѺS9}=!ZqҌFn"mY<86庡l j UԮ$ %[2yz$n'?uުa :[\T!I]:>v1isڌ1Bez]xZ SN/oC_u5t>f3'`zb9HLZt7+0&} DiW-io`93uy,; _59L)2}^2l,8׬O GpoRa?xFqkתqߥ)>ZlDd%~D[|o.z@-pk3"?51ce ,Jk Xz];tDxb !O񄸎5TT .`mF/ENi5͚GJQB1B/P.n1-TZdi83XR0:5G\⣠ۭcߦuYd0ul^n?ѧHyUxNVˁ7Uǫi2|Ң * ?Ncw,R[Dz|5%?۹tkS6%=92|Q$H\oJDCy[myy(X9kbhKVd=<gNc&-,X۔QRHAzV b-&.."3IѵA L[5XK N!]}fU 07XC%W5gYZ   !% CRDTCRDT.ORSetdocument.tex7zXZִF! ]A-MՋhvG"uIBm5si:vht-I3'kM `s`*$!?UΏ\ǦX!]tQ |f"HU?DkS1zQU,= 7ǻ.!K{oj_7a\*y7F9%AKGL˯D}JzIO=R\[ե9xn0_塃S<V.F^ۓęكj*L9`P?x_Wp|7 nґ#YM{Bv4wR&rU_*:ʰ1'ke~F`z^CprH409<ů;T`P6a{HzX!6aqY\jb{ʆ90Ӷ%}oS h)H\~qt`@Թc>SH \-Qk0քX"hEU֊J >ʠBetїGfnY-Y=.ۋդcRc|ւHi~ (~r$A]N eXm0,lj{‘A6.IJQGGHP=JtFaK%{]]==';mT͚≆{tTՅ]FW#5:ys.HV c¤t*nv-wbo@(Lna4U]%ϭNA\{gܫESKN1ID%]=qЎa(cٷ#8p{~N2̈wE:98ؙ~J.J"Mp ïHHrC[ֹ"KzC\r7 y0<; aZ L+=F輁P-W}u֢*[Y*KSUlIh76RO>g3 Sugp&WM/MfN0g$2mqAk/i԰hV-!=o pDmd=TzL긜h~YtCOV)LhE=Ӫ3@+h(fSR2VD I_C!jҷbV?J{383R)ʺŔrJrIΓ w@{BkO\r7=ۀV=l_Z$6>{bdM^7,χ989L–NlOlATNc3K0ude܀'r.&*"QN zg@7ֱyX,NZg+COT`O 'F;6'w/vS%+7?w8mO>=a.E#ӝqi%c֍mY#,C Yae%$&V7o6f8چWCy3[{٫r7O3xiLY]nTJᏙtؖuQ} ' _,SSxN+:g/Qs/9vؒs1L`˕9I5@c#4Ƒ$擣l/':ԧh&6B@Pڐ2U} cOvs>qHΤap[فHB{ wIr$Sύ }ij<Ȍܯ8Q:{mW@lv/]apfn!7~Vm0ړMZ_x_YXH3d&ZWw(ZA`=U+;ܦ!يջ~C, F 8h~}v .ܕZ{JVsܕy0H4Op~}ocKb6 >ўbq6RɏB6X]~QdV@:P+J5]OYHO @RPK~q+nDTjT7ҮwB Is'B4SRh+jyy| Jl^_qڭR  mkߏa_2Eg7I+x|iEe_Zc~?)}CPi[HjUhWfpx}FN MgnWΉFBP1!}[~"G ۩riZJ2:ce|ҁA )Vr:+:3M6$2)Z$qr 2 e`>51{ʑΐpwZF.w}-,k7dyуuìD+Q Y,]~/DOsr~_T¼j(Ę]'i* 2(gK"f6uJGC<ט m-*6/&1{X'h:S\Q#t4-Ɣ,uj,sUcihQBˤ=n H1=‰G.>bN r>2"`TpZj4#N#SPtp˙% K'Rb T]3.!9DB? L"@hj `Xd5Orҕ墕,(CgiQgTTݞD 6Gyua]pd>Kj9%Y]=m*޷K,2DE.CqOfaw) 2wS3˜\3bj STi>]{!X Tz*f< xƾR5%F6&P Q/T7Q<ωϮI~N _<0)~Nm @ƒs LLi<=6yNnG~X~ oO2sg1pՖH_0%_ 􊴃MHa:[C%ZXn<#:èM2"[ػjjZ5ztNc[0ezF9^;A@GeV0CjnkO2t0-C5/mۧv4 o  c1j{Jr C@qXf"p *ӳP Ҝ~48tY#:hvi1B6@WI~4>Vڕĝc{奙ˌ"167 }E#T /UſA nC X{ LՄpnəd޿QTph׸:ᄄ匶L#L6;#@fյݣ|Uգ/fG$3륎ڂ.4V/^rpRd'&Ȯ De ZѢe'MK쑩z((˷vQuvfߎ죰!]t4*gYZ6c89ade9cea9f4c9702ccb0d2ffc4af40b14ce34c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4afaba454666f865fa11feef09588fff1c5cf011cc