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 z |t< ]/]CRDT:threads=2elapsed=24.421cpu=45.324gc=2.560factor=1.867zXZִF! ]ŗXf1-/6vRZxqRT0W0Y+w+?I?Ɛiޭ"sו)_!Qm"tValB.I74?"T@ Q(_ @!wظӲq]vWpy$<^T蜘[kSINҌod&QT=׭טŰ-CE1:fy\pd%f퉎nĽ:AmƵm;Mk1O_*PEӪ ғbg,̠&xL|+r$%53 ϿpFk*!3i48}^i@/*d BrP|j׫>:ы"|y?,+uB'1 !ݣz$7Xfx.sbCP qx2O`#W-t .i#$$q pMڏQyعl4 u[ǼOIE49*me=<$-DӱP _$Dͨ#,L鼄Sc6vfGR~^h-0H(DSʬϚ(R8~>OR>*k6z%@~Vɽ_B S1g{t_'PgYZ7zXZִF! W]ŗXi%; GM9B[CĖ(7uFfݓ 2z1r+o L"*>^sC`,XݧT ܏鱝Խ:Y[T'B7ic H?#X.'NvNFI /3#9X~OVv >^"s:DPVr@UʨR-wE)5b6:[-bT.$Jk盧#[gjIn =FiXK$Tz)T(ndMFdC%WywnFƋ[$ճPo_Ԡ2LbT JɣO ;ޑk9f<:*1JKWA DGn,A|R^ftCU*yѭ2ct:m~vz8vaJnz^~%2K%/ Zf t"նw,v4ɐ_ Mnv@3kT?m{qW KVz_:EJ*!&)ŵ$tـ4#[5E(ΐš=RH9kNz?# d {) _$ɷX/}{ĮEbjH6 5+ o7/ da)"ޚ%z:4_FJ:}RZ}qI>`*v'M~mF`fP#ؔ|",LTJD,Ic[,X*bSY 4:Σwd3fCIAVփfڤf?Z97fPYi!؅DXOtyU_tdב0jn|&ߍ*Owl 0WQ8\U2zpfj6}z W&q.m>XOmgk䤦zAz&W >cQ JdwZCH \0 ÙCӑԞGjYy=qVy[␘H0mV󬵒D`WY [G337 -Jd|q[.}ć@wuCy8/D{pƁ 2x!T%H S5!EY:-=?C^A^u.O_NKZh%;:p8O`Ed[2*6[Vy;+-y1`4}4OyV3Vk>%g1Hj03eQ, FQ^=`SŭNRJ Gm1vxo0=!OfM[ @n|N NTѽ9 یd'Q 诨* "F 5e\<7ZֆoUtvj`Us++՛й4ӫb |G o%V>[Gv.Ҁ,LIU`%K)0 IpKkk/`ŇzombIj>F|δ%!no66ջ +[9NqHQ7OJ6 3<.zVK)f{6N+ݢ?]fJx8YM#)ӈ:|]A 7̖$$5^9]Kɹ̨B~MVٔ._`ZӨ`)RQcMSlj!"sĻ7DZ糚vh#IW)\biS!9˘ G|w|$S5m`hO_?n|oGΫk[ /c֨AygYZ90da5afd0084f026f06fd01509ae1e8d943d1afe0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122e0c84dfdbc55290c0520404ad25405c8a4551bd0  CRDT/-% CRDTCRDT.Convergencedocument.tex7zXZִF! {]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\^\ڂ''-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Ƴ'=6C^-EwHTYCN[jvUS$OƊׄ Dy/dN(DDJe@i-V6Mg\•}jg!#54DC ;0:P9vV\LA{Il墖63DRPoI{-1'Mh.0,2G *G2#YzxJhtܝ\v&!:J#- mH2f9Sn_hL]~l"rؿӶ& D(^cMS%W듲"S uPXfj+@P<#M{Ma؞o!r=j|^ 7F70TJ0w/%wZ.aKO] 'l̆%d~j M.ȜAA p/(g1UI$'Y" <֭!iTGz45 !lqB@sSW/pwGɍj*>#Xo&vl4E1n7do93 m6no mdr#|kt_ Xc< 3c,όa Tx_r4WQ$sfV#̤yJcI5o9Y@Aˌ0OH{ZS"<é` O2ݟXٶiqb'u3,;Z8-nޤK[hE#C|DrGC]\Ynzm阎ȍAPTLn|.ŪkJnuA}tC'񙱸՛s NǑ^҉XBYs(P"/͎{]v}(|r@!HVQw"^myZ1Y0fGݞM:0"[rSr6~+r DBpzu Mr1w 4ɱCh[#aʖtztaR\T$o|DVV3R t8ݓqrpv3ILNt*%gJ Hћ-Jt!Xt"+kL^Ѐڵ%1HGV,XuD*^Y֛;;@Vlr!q@yd@r^}\:ZzM1=7Af;x(G:MMx2%\$==} ]`GLx"aV#mks)K0FeurӔ_eS0@ul7$;w7[`huˇt>?kZpU.e,0Lz:;c`(wȈ-_z嬍z"bVuvW1P$2eaJ)dS,O(߸%uQ;caJ֖0nʥ!x`pBY0 gYZ_ᄎB@iZB=[nAww'۝Vvi6V`_FV6H߁?Nm%Ԏ^33i_:v@vg\.㯇noөAtM%!' ԍ -oلJFndɕ 1oNX잴Pʼ^>F8^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:xLq7*p]HSݷ=tr|0ecIFP.,StתR}}~ i|s$U6"j0r ׯ1& 2d0b JЗ`[nK['iL 3m~0P"S9yK'y%~^bԲGK/_ 8m-GubrCN;[?kU\ƨ_fVFL30砊]0qa^$@?"(ˠwAo\&Sπc?wEhm;nF1P6;ق(9&lDBV5_rő9䩔4б9'2BiPS2f^MْPt!.6/T<c]/SaflTgiЙ_R¹U"5̉Eé@$(dC2CK8=ax cЇ@(4xg%D&7M99]wQ_m]69Aѡwܡ3M.6mՍŷ=0W AgЃy?C/wXj)[0Q7pM0`kv 5jbf! jRDta3_ojd}Qz2VrdG;&@Q[dRQ_䐼$Hh.hp˃wr4Ҹ_P`ힳ޻DrSEnj"!\4jOFKM =9Ȳ?ky1 Ca (~1g6_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]C*G87-|aJq-. (aV;mFeϖdAq̞(:Q{I> nɬ$lj@)fOb? *;~KCwe`)tTh(rxB4Q$[1 Tky!B>֪!ϰ((y{, i]c#5gH*J`^F(,݂!F9lBDGCx~H%:V; K:%av,M~RfoIq dL! XS[:9_ 1,ivZ"C9F>D!~U^Y7v@f\" <\ic6vIus1~EqU͝$pmTwIp.fۼ3=͵ C XLtgEx3`K7CUvՋAMU0믨H:LZ$(9{Uqա!pv8 ^}v% R?X8tSnjzA_Ifa#PPF?YK\&)4z\e80B5ޙw7@R <'kCe[I޳erlËkXh>wbCY7+S}NEtZQuS9Kzj3سy"a?9E,KZϿf'ӟohB+p섧w>Ξ]E~ lPKTål,Gyb"㷘îu!({K#im+:>|M?dOKgq\lS57s-,?nTџY$_$-㤚g)vJROy܍#Kj'2E\c8*i}[pR@?͇~( ysNOƨ`F9zN <S:9 /`Ϛ§ncmUYzf̷W{ϣr&i5SĄTx$U*)Ty8z;o[he8_'n4wާj'(,WC?mahf4rcWxјs!ؖԝ<*L"' M;W>n;Rh`bp|.4Lfk+$9de}S@?3:f'YYgx. i|@3-`Xg^ oa6F8vWLmbۅ NOx߻Iz`zVgo.jHx +Lc꯲,/X\(s\,[߷7eu4  ߧs0/J~jM!G]/,G$˛wa=A免qf [ۣpN7G߀fm˚؅!R&"ΊhzjIKb=2-ZWEEo_k_ $awgg z۪Ы|MBAʉRK[luWsv~R1fo_qdd,ƥ<~'p#n.(:DY ۢI )IYVWɣ'!V2PzEBi#|^m,TR|#"[}^%"il_[b#- {! iͰmm&eMӪ@S8B #[-50@vəΜ!CS3A%[BJ_ɀrAؿ@PU$`њDe>dL/Q FEy/+a0 b4  ]0L{ &!wnN ;;'SJJ@)T&͉wLVYqWzT~ %ѕȦHdB9{t61iӧ+Hkge =άز:xaL#]Q~&G7Јvlǧ֮ո 5EYqpo׆?<5`NRHj*%T=UAVhQNtPb'k?M&%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\^\ڂ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.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 ^[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/d5'2u+?~jQ#օrԿ5̐>"ӓ&tW-)d}>AAq8Al/K[bfp:x |u֫Iس0A9ycs@kxP^:ݼ|Xkz:9u &#ZṂs"FAռ)񡁹cxڷB. ƨp̫,l>h"n|>!f|ZhIG =ά˘:u_.I VVU^LjPz ZևzBl'~Bg,Ġ% &F^P"pd&OQ|@ ]7'TH.)'o,.x6طo>' cnM[o'`^_>OH-rt$KԋK^a3yd,{ƶ5uq!~hce0lhmXE[}f!!C!-'8FQ2IuTc8be4{^tK"e$ƶxu@oqy^4>1- 'ej4Q;n~!yۗ^/Y@k(oN_'|vXܟԊPlg?mJjRU?喘N6_VT ]XSw8¦I;_!U,zPUVZzfFaQi_(jgYZ % TCRDTCRDT.Utildocument.tex7zXZִF! 6 ]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}BG~MfDJ96@,ϥ~%t4 6qdT>% mE!N\iJv{ROxn ;h86}鷖5ԕiWQASݲ sE6 ;1dQP9`9?r5f=9#HB>51]~jҟ^_$[y޵1W?Q~&hdƗcT"֜X7W`lx^~'L P"} vpZ1&$L,00U[AE>bˇb-@H iJ586%\xd )"=it3W>1ZTh s5JbFGa`ٓ%Z#Ŀy2:,8̅D1(9ԪƔ uw$לw2GaiXvjHQ CK%U4 Etm3#2*nij.a%v48}Jopᢸ%ҥQ  %?)\jSR%4^y>Z fB`EHFO>gB?|LI2{t?[_xiTh2),H21aHQsBf! ׌F8R M;y3ѾF2c9,gYZ E EXG% TCRDTHOL-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%% |CRDTCRDT.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̢.ָ*ٞLRFBUz_\QVWEBbRmIe^r^Hg#wKޗLn)DqRvEVq`@hZrzKeuƒ&ιs*Ӡ: Z# v>v5Շ'{w]=P}*MD `(@ H}o,SfiDw,[_k͏ ? BQgYZ?=% ,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"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, _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)"3r•GP{_/rsyAG?{!DӰ0}\ @]cFҟ/ e!;`2Wi ^z@f*-JDPs]ZXREyǖXuKo} ;T#kmxU2B |5)! fFGG)S!D~gaSx~!: r1n y%U] 1eH6TUVwDt9sx6WuE6)zk4}<z TPGTa֎JmTz1*NB)qk_1|k<cŶwzqҹmo~<r= ¤J=$Dr3o1 f.Q0z cv0֧eYc4ɇ ok `ϑ+Gw7LO;߿'-b'-y+H1CE E F*#s.ZTF`O)0רs%I_d˪5~%EXyf5"p߷.DإjkðP4)4C[Dd iݿR·=h9]zM;A)wu"gUnOk}G5yCfC\PږG[K;0ŬV<_|C X$(N京(|I8s%8T#$՞r"# a{.!!/`RFVfBq,AiYڬ-i+5WڴzXܵ'M(" K;Nlxt% FKgYZ  % !% 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 I_#6ݐ