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 q#tt ] ADS_Functor:threads=4elapsed=20.225cpu=50.916gc=2.7367zXZִF! 2]ŗXiɟH)0!h_BOyx!pB#iJX7TҔ'R$SObCi(]ҟzkD@'g3SG id|=h@p"݁6Fi'sfrBy7WU ݏ>=n9x󥗡Ov%ldɨ<(w5}ϝB3NINcj>RӉBʺ(G`#\" eN}\I~87gSZ +}@@m \AkˠFg`*ba0 rT#2C>3m:I&= XT # ADS_Functor #]% $ADS_FunctorADS_Functor.Inclusion_Proof_Constructiondocument.tex7zXZִF! N]A-MՋhvG"uIBm5ɬ2XS$-80W^20A-\ͳ`/It}2߭vjX+Gh _jmYҩ)~~Ww; h8 7 h2F3H\g(Qta_EU:hH؁i$s뒌2^73ڑX)Aźh8oB\uSE[nc+TH5Ώ$LLL].zPlkmd $e_fd2[zudZ)c'59#qce1S:V1ǘ\hhd@]v_5oZ(џHی f6HSKX#/6J1c_D^JqB0\׮.lv8"&ZY*_ N{D,hH2M qox٣c >Ϳ}|~L@R}O,'Ҝ7lpRWLXTQ00iLt?/@ʰ^Ij*l[T*h ne99g|{ F}a!dU7X Hzo I6v"twd]ӳIp4 )5D꥜t2A+T@n i$|G,)Rg\"_ݩ¡&h} $p[(!5|TMI@G,&*.O"/M YH* }O?>2Fv\4MFag“t_DJ;"= Rvnv(`D7&XRZҼO|lMt- ;6l죙*xePeo'*@IjdžZ׊@)gn.iZjS Mjf+^Mnp4ǕQ>X`vWxAlFrڣP7~!;? Ǥ̂cPmj²9ǹT[<ᘷjXި)ejk^9 u,xP l)ޘ 9ҳ\F|O/pNGRCudJGha[-&`|l ;Dl5RrH%'^A6l, b,~ $Ѧ{-&[(rYӻ3 :(!ecָof $sN*̰mV{*xmbRMRl~B Ρ t?tjB%K)?YQ"oT/50J~2`u[G6˺it#1ኜҔm!U]3^A "@ì*5{x P>nT (|JR$ORX0uzTzj]k%gͽ4JMz}J<<Cn}Ȱ \zLs)H'R Aȶ287`̶C[n9}%R/JPԁH= \21{mˉ Rũ ʹK.#%y:|){=/F°H gLb(oπе1A,9,3E"kM~6VO+rqC63jRCHn=dH|bMJi]*kva·b@HtsJL`Ă͵住,teq~|Y" %} 0L;_6𗄰˪޿vL{LOvRy|]Wفtr9!?LA2ϮÛGp/rfگhX8a3}m;^t2M0mRI6wE65ua uW#VTg{z7RYq8܂ 0%8rys5%4 ^hF|PdS2UEbjR i'f:!4'/Jfu*BӋn33^' aL[c!bt 'H+cZ}Hj/Uç45GŭUsY;e$40Mm mat/BpښO$):X炙/Z)\l朤k[_IU0L.'ˮP^&rr+SۉZ'6RD[Ά=YV6Cq)Qor0YT践4}[ c$R;Y5ۏ. g҇MV.j RySaf|}.m>h?c(˓R!kmNk!̯X`sb(f}R3P s?JRګ%f-?P<ϋi@yzV'Rj! t6jUB6 L!VY:%rK,k?0"||ĔS<6J 5=;#r֤Y y˨ :^0.nnrә\1 VНt,؃:wUzhT}lr4:Aշ&;Γ0]PDT]|@ ug|4%p$Q`!&USzuW(2*7ݬຶi{Z}XRosis   8y9#E%ADS_FunctorADS_Functor.ADS_Constructiondocument.tex9#E%ADS_FunctorADS_Functor.Merkle_Interfacedocument.tex@#S%ADS_FunctorADS_Functor.Canton_Transaction_Treedocument.texA#U%ADS_FunctorADS_Functor.Generic_ADS_Constructiondocument.texD#]% ADS_FunctorADS_Functor.Inclusion_Proof_Constructiondocument.texewp<^Kƕ!>^MFB3"}(nwrX?Wq>ˁiw2>a i= U1G,GἒtRC% ?;\KQl IɓZDE˿Mԇek{Kz{V,X.\?\[?&KJ뙵=?8/a;+]G'jyN1HFt,+~㸣 b$ N&Y txwgJ9niF]:"/VȮ t=psZ,},4RLR+K64eăо|cґ.{* kRQ:]rETg=wS}PZاnTc#!y0]:," <=6/H/5b[].Xqi׶nX࿄g r闽XG,:܂]!m`G2K,=ϓ$C26<]alr7=HzؐyJt̑bew3 ~e# @)KFiS Y6r{/q )zWȹ 4ppv2:<oA2u'?aJ)gְBG "s[a7' uѫ}[U'e^:;"ya/.ys>3 rL>(HE6hIqGHleά3k|X$tN+C.rMF&ސϭxbUyE-uDjƏ}J+LM[_CȀ\]WB[_$N'ݸy|0"$+~Kユon3ƴopsbf 5T"W#)^p{0-1Y[Phn1XnhF8" ݆06~#E tolSCѠ!T''o⣂\++#fƤtLUT8qe5k! -iMFx|3i,&q>ڧ,usiYEx@|Y(i>N P\/f)K`phn}j=$NR6t~3'‹mbаme2EfAg5ԛke%ҡKT*v 'a ٓP.C-0D {cX-F{/t˔ȖJE7y^F\۽ȊWZYDHP™Į2-jb":H8(?) L6ٷp)qr|6k.^*7w8ޠS :b29s*!eܺIq2usTI-@CG'`8`mɢMVjF'`((y41U E&aә$x~$uͥ-~MܡE,6`R R9\S(Sо6MtRaq90]%PV@X;tV3T/4GP`E-$qk+NbGxxt~èؕŨXoAtǮP[_qvC_$iS F ^zUudG޴zT#f>>(q bE.s4HĒgmhgK$#PܙthnA͋3N0AӼ#?o]7Q\l ?,(>},\q\fɎT!;Pp/-*=ykܭZ5I?B/*LC y Lسiz316ɗ(WF2} +4M @3yn1P/AGG >,TYiBq?6=j4' /i dj"A( Ls պBXw4,6t !$`rPKK/jlSi @D:z%hIR~f}fIwpLj;@aY59'CjǞxE\}t&يJ;ܖ T"OgT#i҇x[v)# zqt)I3H >N`U@x wvuт5gB, OC'UIf1A=EIhG"pH")_дKӬ`|x,^(ю.%aQ| E-4c4轿TobvA<̉ɳ`6$ P-Ph*Fԛ E}]aPΧe ^Wu $k\f}8 ^Zx]SkL|`B_tX! VI׊:_E.Qۥ_PmK@M,f`o_ԟ/6@ CBE g'u9*Au [sg `7DDfT9A(CZ)R֫K6ҹ_Q$,FSeEМho9G>E.A5ky_9)T0VdkYt U%w;8bO2Ja_1_m+I5.U[gz<{ pO uj=Ϯ xgYZ@OmٹS%1kdEV|@E wDD$ ѐH.xq ^?7.2290]@vC^cMi05LM9h^ӕ%[~+-IU0Ŧ>T -#se`um19:9px&U$?P*VkS:6b+'bԗ@10P}H;y'XV#l} `9 ۾K5z W8K EzkMK!4SrN?؈R?ƸJ,1xȱADΩ0' ,gj'D :3JLir|}ǎxMр .3 Th" ]nF$U #!Pf#Ti2Z(5?e;>U$lS g3 h "ñzVI!&❁mC vA0nJ}$FW~@UbBsMPʠdg8*Ocњ4wWe2zx1YE8[t]#yHXp:qP 9I1@_×X}K_iGr YWόoo!X\<Ωi@ldkȐO*r/z/O;4Q1&pi*i8 {-\7v$FܫDZ&ޚ eS nsoS>Ϥ.{b!u+#78/v H։툄&JVD7ez$uXDlqoOиnR7U4TY RP2,ytCrzv)JR]a KYLi&(TxoK&jS!YD Rʷ" |د2.?.$/#ʭHJy/y)Dxh,<Ikۭ,$G="sRlZ0o #{X@yhgR(J6pĊͯcA:D+5,hMaaٺ ѣ߶4V3V_8HJdx#β^avA%'QZ7)?.pun@kgxG7v*ч}YI6,0Z29L߿3~mvt5HcK5˃7y9\ԺЅc6[ *AzFQ30a j R-fL}sQJZVMo48 %C5bU?|%9eЀ3LFB4| :0nK f2ZI#V' a@| >(_Eq(*l 2d"gLɩv(ฏYFNC%YsbZ7ѬN?t6u1^x`0Dk'Խ$#юT ҜJ"oQNmĞ88W7PN%<IԌ iL:X9F_9f.^E?g"a{hu\izֱ|/[PJ־F#5[ ١Bf5faNe>VmX7 D6%!{ ٞ&/a ׊^}:ü= cP2\ҏQ6qy~8^t a@8:23oFadvIT^\S XF_t+LTZ Ʊ'OeM,=kQz1)s#eb8nE襚ˇa2Jveε Y:E;KĽlœ򃎎8Zʫ\ߎGJ- ݩŸnczʢ!~=9SDnH5lN#Md'yM˲k`Hff 'hJԭmmI9a%76p5{Lc Վz<ȧQ""L(2DB@\:X'{S1KRDXvL s!WǐuΆ][[rScoF7L {ažMCdtg~4%"V9ǝ'r02^R{Dŀrg8# j: x=K߾ d՚th({HɈ0/*BF0 f,t_;+zT '6HU &YD'ɔ@ps0; 5.w8oC@Kcuq/aٚgFhXC…0ܸd{0n-lgh.RU!齰&oIq35EA3va%:Wxt3(ϟd#rbjv]T@ۍSic:x]yS‰I=6pYd2ENbJ ﹩NCFQF7])hgשԎ0穬  >2=.Ǭ/ɱѣא1g1!&y8~ vuMd?p߲ ߱3E_eݟwq1+WEs݃~ gVQXЂLNPn7Ф2 rFȲo@§;N8 xiV|/4Ia=CGf[ύSH% P&WZxHS)YXaDn葸ΘŗJPU2l.M"F`5unQ2}-rޫـFhۥ'(1c'[븭!@ꐁUuibK^Wq!RΔT*EͣɁ^,>&Aˏxdy%@͵fm%c/ufQiqZ/ݚ l,/G8bTX8t$A}:KOG:~`@b7gXm8 DH=M '+=ROkWd,'.^ . <'EorN/7٠Tr#-};Ҁ7q΄SE'&:茍0;٭fK]NI=ܙرgYZ #]% $ADS_FunctorADS_Functor.Inclusion_Proof_Constructiondocument.tex7zXZִF! N]A-MՋhvG"uIBm5ɬ2XS$-80W^20A-\ͳ`/It}2߭vjX+Gh _jmYҩ)~~Ww; h8 7 h2F3H\g(Qta_EU:hH؁i$s뒌2^73ڑX)Aźh8oB\uSE[nc+TH5Ώ$LLL].zPlkmd $e_fd2[zudZ)c'59#qce1S:V1ǘ\hhd@]v_5oZ(џHی f6HSKX#/6J1c_D^JqB0\׮.lv8"&ZY*_ N{D,hH2M qox٣c >Ϳ}|~L@R}O,'Ҝ7lpRWLXTQ00iLt?/@ʰ^Ij*l[T*h ne99g|{ F}a!dU7X Hzo I6v"twd]ӳIp4 )5D꥜t2A+T@n i$|G,)Rg\"_ݩ¡&h} $p[(!5|TMI@G,&*.O"/M YH* }O?>2Fv\4MFag“t_DJ;"= Rvnv(`D7&XRZҼO|lMt- ;6l죙*xePeo'*@IjdžZ׊@)gn.iZjS Mjf+^Mnp4ǕQ>X`vWxAlFrڣP7~!;? Ǥ̂cPmj²9ǹT[<ᘷjXި)ejk^9 u,xP l)ޘ 9ҳ\F|O/pNGRCudJGha[-&`|l ;Dl5RrH%'^A6l, b,~ $Ѧ{-&[(rYӻ3 :(!ecָof $sN*̰mV{*xmbRMRl~B Ρ t?tjB%K)?YQ"oT/50J~2`u[G6˺it#1ኜҔm!U]3^A "@ì*5{x P>nT (|JR$ORX0uzTzj]k%gͽ4JMz}J<<Cn}Ȱ \zLs)H'R Aȶ287`̶C[n9}%R/JPԁH= \21{mˉ Rũ ʹK.#%y:|){=/F°H gLb(oπе1A,9,3E"kM~6VO+rqC63jRCHn=dH|bMJi]*kva·b@HtsJL`Ă͵住,teq~|Y" %} 0L;_6𗄰˪޿vL{LOvRy|]Wفtr9!?LA2ϮÛGp/rfگhX8a3}m;^t2M0mRI6wE65ua uW#VTg{z7RYq8܂ 0%8rys5%4 ^hF|PdS2UEbjR i'f:!4'/Jfu*BӋn33^' aL[c!bt 'H+cZ}Hj/Uç45GŭUsY;e$40Mm mat/BpښO$):X炙/Z)\l朤k[_IU0L.'ˮP^&rr+SۉZ'6RD[Ά=YV6Cq)Qor0YT践4}[ c$R;Y5ۏ. g҇MV.j RySaf|}.m>h?c(˓R!kmNk!̯X`sb(f}R3P s?JRګ%f-?P<ϋi@yzV'Rj! t6jUB6 L!VY:%rK,k?0"||ĔS<6J 5=;#r֤Y y˨ :^0.nnrә\1 VНt,؃:wUzhT}lr4:Aշ&;Γ0]PDT]|@ ug|4%p$Q`!&USzuW(2*7ݬຶi{Z}XRosism{tZP g#U% TADS_FunctorADS_Functor.Generic_ADS_Constructiondocument.tex7zXZִF! n]A-MՋhvG"uIBm52.1o=G-Hc7ȪդKRQEHcP6Q$h¥q8 >1C"\Q̝n9:b;̔^Q ϻ0`R:$aevDr8"} 9/6eTbu$6Y* Jd\'P%ȭYLM×9Cgv5"̞ ),5LjL]1D'l瀓+|ڭ"L'pr+\jC>9cny掶W~G溞E vOejj'o"G$Cw@*i)#O$:8x<>#M Q9U/^;:iA>mGO(m~_KЊW3h Gt KaW=@KUWٶA[w0Frw(B諽+~P̹ܶ>,fڬ{BJt35m1wv#! OG ,fݼjO$^CK;UߘH<9«.?αr{xzQ@F2g]0O+'\0{C*?A~oEM1wt8,`v!,ߟؾ{+DZI-ٲ 5< 67ss~Х̹yRet*.|]κ=ۛv;a)MW# > 1AJsɿkIuPfm`+qctbMb ꀤznN7ڊ7 gA&KkD{X \=W!`Cbpi΀+זŖ$LصM0&V1F LLV(/_](tl7'( Y)Lʠe~ 8Yn#!P,y@i;:J,ϾvM_G 8ow5hUpÙ.#< ɜBf]ߚ$C˓Ȕ9}l"+EfvQi4d–\efUr).qNt͏EHB:ܖ%Z~8 i0۫A.`7D2<}rh~MOգ\٣H9b5I뽭pGF;ºʻ"נ&mԽռXhΦ`7jǝ?"-KB'e&KUauPI7v%)OSC5<p˳Zu3Z.V+/ nKCØrw-n όq/UԮ7E/B j $-\D%1%ks(؀@?4\C}]P(R@aѣ){l7}8@  6[%;&߯lQjy'qֵPM?dMg6FPy&f{ٖsTAEngoql"Qbq!0z̪ڃ%. l.9E'%Gn '3/oU+82Ik(' bf!pk3"ɀjdl ~"dco|{+*a!iOK1IslqC/lo+Noer-?csA 7X uyTsx6RnLD@+USY%o jKےoj?v87MQbq[L 8,O+ptk6.炀 RK+n}h8uptHDb 3p._{s 0 4ܘ@^K?*\muiđthC%͈c6oLZRUˁԙt|P,. Ʊ8濊:(C[J/h8AYĖF&\mxϙF=}KpcQX׏r17!1;KѕJPDrۃrw(f~kM7P&rRW9K; Btd͌.])&'^|ITS˾3AT~}"1y.+=FFN6c룥LWpN\@ b`ozg2nc*Za'Gs&7vbҲᙉHr~:Lf#eT 2@[Uot\T r BEKu`) *3=0ZM$/2}1Xמ=q8M2o/my13ܯ.bo(c̪EzO\_/^:"H _uZ{D]r`@G>&]%C'd'۷hK{S:mV_CB^alg,¯2.m VU4JCdzmF";KutJKI7( ںAL*X=Xˑ,1\8E +S330>%\R/@0aҀIԞ;z cx6Űӣ#׼~½lL%h]&6ʢ D r:*(9oB!JHųo| t1\)fX<)^cя`DbD*L!z Mƹ&S/0\"K{( ;#y|ؖ%4GB^bk:tL.W{s? s!0R.Pu7o86gZ9/jqɂH+ݰd hQXRu^Gt< }zS0yYMUzL\*<<ֹL'hTBS(tٮ@NӪZ6;=ۇj!WGj q{966>EYkS|Z3rV=qN.zIΉkFxk?]8fLUy8 jFM2QҡN'xTh^؉
*slf3nݐmitsE%h-Ѝ[ )h@|ʕvKD%]qޘNϸQ3AAyF9(`7~L=c[-yR4t6T7Df-z±AH7ΔЙteđǟs. 0@:6R^-nLm1Nm[D&0 fi*<*ېqX;rx֪%VE\,qd)$t AJ(]j=gM SOd`(2K^dd-OŮ+*dGic W3"lrrq801 r 1VөgIꓩwI-~s61$;O0pܜvBPZqXo>u/"wm8 pߠ/_ݱC]JT]SdZ2&.'|(qpL? {|Z5 @+ဘX{4nsT[NԮ^ŴhCٺiЫ Ic۟f19@y-⸫% rWceTL.s7OhHb@_J[z3%] g9<ĸtdss@]c/Ì݌"^{p%MUL'}1fŽp6|Y?qyI`b<Kl`W0җER}՘Rl6(ǝTp5^鯦>-KA]SCFG- /tʲĀCVOZuSw@u;~SHs_aUuqٍO ȅl9TlzȈ,[XY3Wh)k"#jjh Z'8]C}sߨu1( ae4Է;2 a`Z*u~o|nh5w^^1fc;jM37xD/yHۈoؠv@s !G ͜?fB,X#a3.@v Bm0|ƔQPcT%ꈌ{&Ê!g*r<uZg Q2Yg8c}9VI$bsr{.3=6(u|cyJ j7 RdeJDjkMci9ٸEE4-@?$}K|炠 k^ֳFgVvX1o%hWng2zl VpwRc:Dud`ĸW!̐L=!J|qXjm_Eq\uU^mL+q KPh‱b@Q/A)D>+ PkӇu`V@l[9>S"akš^>X﫡Lؠc&?'3dIG ǂso0yBM)T#O?}O.E{z,5̡-gR:RIWNP|Kdy!\b'e?v&K+3$?֊V lw5柛 li>%`Y&xIJ ?([k6Sigsi(>&GE*'돵fNYC}S Ӗs8CB) S'3w]FvYwj/t{c١Q ‹$5mt]Ld洍z[Rj竡B)2=wcp1~#"i 8/ag܁Ru'/P7Ax+hgAN_F Q; 0%1=4o?w.C@ad=rҙ^IzW?g7)9aWSgB'?Ts9/"!SB%DLsقk* l i҈fN-z^’`n~(Bo`Ӎ%9VCa4H+>?=LVJq&,}BT͞9>3ԈS_:=HIyF2ɜw~D?"?I %)793hQjPUNh@Sw '}\iGag-+ ݏ×J~AH=vó1t°-.<| m;ܞ'E);я ډ- %)\.ɱ^h}=~5W9hM.-lw6 Y?Kʩ+x^gLU@r݉&Hhъ cV6SKDqhan%%jdlbe>}|prS 2VR{9(`LJoD*b ((aۭdi[ '(‡2:*OFzCHGdFCj%Ztqkc{I'DlX)cB *ok.2BuXTBb{0< ŋMG/GϾN0VRͻOTiA0)u6(1J$ˠV6~x-ѧlD AQQCd."復_aȇ8AS' &x~PdRoAnU*^\Y-eHvwle 1H$CDžE[&C^WɋL!˛;m߬JۃJƄ-zC͔Svc۔l֣r00|G8;>R?G+zܛhDC(د[5[L!,8(nx̯M } 00 !;鋥jtB@VWEA 0M޴$JK#bH R2Νe~8ZU>l<#dMz(;Wܧ=GTJ|hfN.ȉ6hce;]zzY &KM)6j {:sPϽCiSx6NLxէ?ef,?(!S,CwXʸѩCiЕkzWx6"w#n%sˆ8$UDT&޴pg><[jM6;("VUnzw)"jTDl(mLOrlLږ'f~`r1;{pǧ#)IFYZp.Vϸ8A݋CVa0"ˢ/ -A#|! &LbRT_מF<lf9hL6z% ntN0y1x'3қȥ18OtY(ƌj#Ԯ= jR9P\'HiV YRK3ID09Mhx=}6'Aj( 1X4p9BNZǑ`(bF_+y^t;ƉC9!wyG6hz~[CY=vm˪VUIHdR͋IQj\<.בүR2;M .ߗ7-VtT@ԼU}&dyau&cj7!ŋIR]^qCُ? OCU=p3B鍛ᵦaKY˺:Mb6(Y.,7# KO9=PߊAci`]5gn*rm}kߐrC7\yWp1yBOGon%{e!r|& kKú5ڨ}AQ .zͬvōmQ|h@o/M"r9ub}!ĒA 0 c;h 'z 랓ܠ2Y&(2wz3U<ށ ߏeMPΕ F=DΊ f;6,X+%!f:No_MFbj*1# cչ>IFXMӁ+`k* F&xL+ņ$j A^׬e=.&{T${T:"휔U&HT d8|XC`#bdzNdGZҲ7;;([vD+Caۋm2yv[vOlձ |Iry`kNXyK!!eD5:oC`4Gqe1pЗZEb4 Dr9R=pN$&CݨiCn.u,eJ&u`iur=If(j]V.@)6 ɵO9Fn$5^Ї8Bx ^8 \UwQ]Z5$V=8 [#>A.1,w'F{Up)}7jF=}<IS҃Cc W^'5 غt#][:L_Whe٪i=kpi +HUiwȒvi-/x`ȘA'ޢ0@5 B($YH|Ry?IS:tи)7CyR&3((A6V~?h1ˆoqT"D͏VY.^wZ{'.@8{vfձߊnқ%c4JNIֹ%Y *R͎|PSeS/ါXTE=bZaḠ7S4']:ެy=" |KqخEɞ$^%BuO;]5Lqύ8LpJ_Hi˖ 8qAeM~f/N)yŏ@1tJ ϊbSl0{u-|y=q+Riba2fyl+g\?1gC1S-xMq3' 7Gd줖VXR9m =`[{Fۆ)mqryh:VKn$p7lk:R} [PH'!vBs2_ c!+3}mʻ,՜HQVt`nu :g86216F\E^rU8AJYhh^r^A5~׹]'psu7Kwݭt;u3=z_ `*@K'xβvC3BW}Iv9t.\,|!vPQDt^X )Rx. jTWjxcԀt##Fbz|p̻;za6e^C>d׼Ee4yty!dqaW R`>y4̬0R~ Jd@XGzb9qI;:X\"c{64:tC/˟WSFc[}姾M+hRPn6_h->45sQBrfK5{$JK+L6> uD: 'ǽ.sȽQ{^{ RK@ȢyoAyVG X4*gMC:zeûͭ'$6 ksg5cP| ,Bijrĵb6A,Ɯ};8F9i˟mOtĦی*vuTpp;{C@sr.O2؋Rt˵ /E;9\lo7FL>+B.;@-h2c/9}y[9zQ6fb`rCA⨟qFhbڇ31tL-X33/Rz3*ᬷ(:⊀1h.BrBb8YG+Rjwя\lB4Ov0}Y9xc͐K}ˌRCJT.$UskZv~NYX 6ȣp6|eo ,QN.E*^ hv/\B]1 PtyIؐ>5 eLʗ -4Sl`G2edS) w+`X_MJ]LOZ7]_+ȕp_GPIdF?6n"CtN D  ,ϩm0ubh?J=9ű}qK.&/Bd QwR,a txbajv (3M.?(:U>;Νy%N?Z¨.Z7ZHSyC Cc=] vD>ْ%?Tx|F:X`_`! ᤶE0~/^3~!;5Qj/b -۰ˆqgYZ    #E% TADS_FunctorADS_Functor.ADS_Constructiondocument.tex7zXZִF! 5F#]A-MՋhvG"uIBm5jEeUDrĦ\曚6v(\V>o|glxxQ.6P?0(Z<㠆dGNDtŅ0tU0*QNP6VD+CA|?mL1O_웆ɭ50mLi퓏V]3%YD#fE?AN 0V 3~WueѲ0}'MK^jQF%( -},VV9?1KݦyN&7YbIUf5-86+*} ey|3vX2!_:AW2}ٶ%OBu!IhQ:k]_nf|iT[=E#ZJVv8Oii,c@Z 4)9CT+˴bOO[~{ǧ ?4r8ΈyT|G[1z] Zfof'6x^$^E 4sԭ4Fg{brOGRGn{l.Q_sҮ^Nt8$5JJrȪƣ(03SO;} ~1 2kӫ `"Rc"E".!/6z_c&+sکӌ~H5;D[ǃ|$(5lL>Pgm_$v;]靁N.ɫFF׀m1w!(Qm./r^ڏdG`׸uOr-&+,.=|\84AX}>w *Upɓ󦨈54ODl"O/{)7dG'Y9;3+W_ިh.l' بľiQe[DG~ \p@WkVzD+?iC7K?@'..AQrKG 2IXL:n"g J7r}e(gikZ9,<&)Z5z~,sTn!8;YM) 61sdV"uE&7%E&9l5 $Œt]̉>+d^[Gߣ9^V5ם}9oiʹfۭ?I HčIhp4 |_u󴗠ׂ8}!oce74L)0˕R Vt]_ P)흺Cs㿼`= nLim='Đ!fIe5GX03ȚV:髆"pY &,TݞDS0'Ļ{-fˇN<(H^H[ S\C?J #cFw~*ȉ$I*P)_zep\ |ޜ^3$\hRhZ#D+BdS |]3=>_"\C 3_@"ߚ8fh)x ҢiΞޠ'⤷twf5GIhNuugû=Re`DxlW"4 RuxJ.E^xޗ6,bj3&H's*%MZh˾Sa+GȼNӾ2~@PUʈbVY'+ޫ.H %&r@V2+dh%lі.'{(wVIq6\1#p ?6s20]Ɇ'B0qF &P̓˱vh+m:@S"3ar+aR#D/G)` ƥF"j&nI]og.|]ֲ4w\L JM+ 'G7r X?sH/lu@ƺȭ8`|_On>n27pxabh>bĤJ7[57et*/G;%X1#H.WY:L BVĽb͋ o'{my+֘*ߙ)`e~Z=`ѵr͏iرƿznB>n>wJ]啛 f7MTVW *3$9麆Ni44ݥԆ.}<\ Y:!pm-T*ey㵞.ˮs}}7+Йmsڥ"k #IC /Fp"ƶ5qqHzpm3=W 13YC$5:bX)ըܚtj!C\>cenj9`Q(*EɇYeς 65^ Ob'44{V9@]RqҾA,:eDʨJMR@{/֐Cs*iXݏ5Ku22xvaXƒ8}`㸶 BYDKMȣzKESA}ؾ6 ;&xy« *|P p7 OZ7ܖ8\UTWW `|mK~g8 zgYHAcB 1 u~|g=RV"wҤv>{\+/h;IB q9f< ^1=-\ pS%  FpuQ`$Lö{?b+8 WMDZ!J4>äG ~o'kK-hs+TԐ+u8 x^kM6@eU5P=Q#iG SҾpC24AV6iͧ8&][KC̨63NXжgqxoU4xi >p%AP[?+M*ǥSq)iUoW#`-f1{>Y>\ЅO;!?Z'o d_Bu,vMY Y#v0E1x5;ۏ$Nt|cUmn>bwyRמ1(%٘LOKB#J|Hо b"҃Z$⊬%VB2MmA@}qv|Z̃x& ֤q1 bF gڙi O.9 ?aw] SAx~be6~? v%G߻QPQA/f}9`לkEXe2SsKaznH+j{\\&ι_S$=MdLE=k cZ1GE`KѸKUgbFP^z Fxmc"΀3?(+bӄ{ޢX}dŶR\B'¾I_JD$Dw y(a2HOVpu$;ᦡaV_al3Y,T.E5m]Қf}h9g9""玭/ȟ-ח(H{$Nr͉@ <a:>qp)[L4XarV*7-NLKM? m0(HC,PJ![|n_1m6RCppvA/EbrceL¡gA`u֯2>-@|z<[Wj)w@-æe< I $ Jτ3.{ r-}ϵ*Ou7*57ug ,nj30{53m3_ރ1ɸ>4*UޡN  C,˯Ax|VbL(ltzpx3Ao1jqe]\u+qpwGe!ibHAIfpKxo%T\t#- fry(|7,INvx)^s\!d,'57ex$bbtflMFkk~Ss \}"03ԛoIN{NQ5+_;t|׾'z@ۤG,raAff R7!_VHհ. nۤQ[/g;Ey%HM" >A\5̣ɇTd,Y|4:k*4,3?:[5/3`.(d*PgdOG1#.{6,{.wi\P1(%Nsb \\\eC1IאffGWo`d^5A*$ j][=?Bq I̒/z(gw{dJ}{ X&?z q!6 =벾ѳK,%rV*XdC|_%ۓdG:ˬZ s{HGcr }hӤVPlL/\?%m<_ ⸩OZ?xS_͹<]U*|Zz&F}f/e"t;zVy|\;r~+J%;sn¦S-w5_jU^@ M!]WTuI{/V(R%:$ |/%zW9nByuʄ(_[ܛG: 3SD6`Oa_xr-cIXbGAQ1K֕SKd:}a*;](RY/1"dYTRqwc0|E3`RZTƑQ&X3OJdZcݪ˪djVCg~KĈl,wgpߙ$:<;nRc9#9{$/vo1(t4m$ས 5A2nNFܯcAłKƨO)̂fQߖld YVؓ#F6Dh|TE@{?# д oKQDNrmo;@f.ZӜ+d<Mķ7}û9?ViƾΓNJ8FlpMдT":`G[&/PDE ӏ2ն݉ނmhSl3P;{v#߂8y:,_^6UU8L?ʳx&-XLM>+2<՟򯉐GuBoo"Ֆs34-`zbS_[_37o֠ޙ3}hS1)RPr|x$bG-eUU82rzd OlbCS2\;x̑vA 5#r֛ɫ(IK5?6\}ɼLG/~a K+W%B#_F,=}-3 uZYl,A{Zm9āH̖FAoDiNV[(d}ͳY݂ ^SY-o8U #e`ȁ\h"0(0X?U;+gI^TO%LD/n9ɟ9.G-T,&TRfJg,U<÷d̖[U_uޠdjB<뫏,WXZ2MK!ÑJ&w3k/AxgK r)oLh /_)ux '6 ?j ٔ>nF@l{#9Zs4y2Sh=kvQ䬡yn!3>"S.Hbp]k3 ʃW1QP*= eS&EEx>bs5@$T JF Uu7&L }LZHY)b=epKs샳7TPuvzU0攂'B6m%\_+&c@Ӫ!|hkh]쁈jŇ+m+ 3H٣Ngx.f:yrڛCW?be۹>+P;aq+I0G2(]` 1O! >>+\K|"+zM*4cC p//[4DCg6"9 fX,h!V]ؘ)+pV2^F;>ul1XG)zBBD:ޞ5Gf=3EJ&[ޗ0jewFQ-܌>ɭcVB % 9S܂4a;(y dSź9ҰВ4d#^}n0MfuCs#%:zJ>"c*|ćc3>8JM% ,Bş}ފ5=` [Sqf <=xY|b)apbT3r<-K[ SW1,*D,>Ŗ֑^d c9ߌgTE]ȭqCxtAW>I.*̄HrJaViM3gߒK6.RLols%Bx5:,d hpzTp7i=ŝt yDЬ"Mj_Ŕ/[tܜVs";3F뻂6:앿njǮ|g,fYa60#rM7y'm>ԳH:<T35:LaI;jw| KR,8 ^Um@zs#p.2uli{%AZ_/ΎMb.}U.EĆ]wᕬqr{ȿ() nҹ HhY()b$'S%wĨ+aZ pi]%4-|! Y.;2ÿRj !5YjEcoK>_mT l̕aSU.9srR޺{N)%:m4Z!$m!K/Vk?S J!fiwݑ$KDc^1 ܿk@ ) ]e8/'[ܧDqW>ܫIh#ſv:xs^g+?JHdr>>D˫BmYH]|pnku Ei*+]m;^m?Tv,V|gno8t!kP@P~ C)}:b(X SJXВ͠|\ qsQ(ЗAw92%q-0Lqp_[bX}lP$=Y?婴UOvOgYq>5H%jf Xw=~A0!5_kx1 l(PC}bHf(r8GLwxSڍo" %GY-W϶m)Yb$ߣMŏKk,]̶}r"XWE%1S6)m~=h셝*^ '1[)i*oMZd}xùZ2+RI[A^ 8=~b } q1琂Zs$soC"F{RvudնDg/ rC-sA[CwIk9C_ۛa 3l:&p-ɓ%osVm'Mu7"_z"/z΢ݑW2pVXADN`Haҵ0q?zcߠbnM<>{[hDlqoeDF|Wy=Q 4wq.{pPTuMf``Mzd~1k2gpdwHT^Fb_WR5ioOP`/$^åUd֙ZI5u^͝|] B4|n{Hge7&;OSn82؏L@HmS 8EܼYA⚏٘*2mF.WrKHW{Qq K.A2 EeAOR"׈ASl{2(ͻƢq{`F1 ࿗w U|+QA u6jwh\1tF0HG_aynsRq0b?SAB2iˬrgI<$`Ob CDj `N{^ ]S[>=)gvsO(JѠ J~L6Iqpb{װif@2>I2(ݷjhx^%a0hBD]UEi7E:r7ȩ&=l*iٵ+Z@ 4r]毟 چBE0α%~Gt4oxa=\TQ5f Ys  UUJ-مAh@.0 K7 &wk7[ x@< f[ R<єXlDLW$}ORN1ySKZC} t-5LaHeB.Yc2>+Mx:P3IFUɻ7nn>}9E8ywe?0o7Ώ|]--hH$$Cҝd;gq٭{c/1(u‡"_%$ NL6^˾;JZ"Yb}]%vͽb";~K$g`:%Y2_OBWhUZfs7ewn&vtouMVI(.(3=p5LrS,dnT(u-,Ejfp'^5 K8rjj9R7C ڬ-#Ud77= /)VV$Z})Z V]_YBÜ!Lj_ ,VE^NJ,}[Y[Iޓڔ'0hh$z}o7UlM!v6F}Mڿ7Wl#6UFRl6]Y3:`(bYkL3h3$5E3BCGmoA5~"PL׸/[sSS4ȣ[cdM!ǣW˺;-\# Q+9 (sCmB~=s{8/mpqU;SVE3Ql ge3#M92JfoD0 %$0/30ݣ~8ͅI_!g*,!=]nm^BD{ ]; ~K>1^r{dONVQ*eY&\zCqy±]ާ)hό}^-Gޯ86aka9@#W!pyX?$ܒ4~M9|Wld@=zOZLɷfVS.[$`-fJg5QLAj :̥ Qͧ%-LREinC;@ƯPd`(uxO?M6T<l8sm){F՗Nk[Mp8?/o4=ڕNJ3(Wt 7uaݹQKfHؕ'e]⑕Aʹ ;a/`p}#R4! NnqmV-nSvZ-Ba!;\KgaE3ػ ^u]Z]V>: s8^ Wn%8Re&0G58쯆)FR.?ÒhaBhw7 57SSeNWϷ0O:$hY!cJb,e1.p Mڈ8<@F*cOO7A!^C;9F7M?cQVѹ5)i䍿:Z #4bfOq=ëe9oD;7躋fy) vϔO `Y\MĊ66swāx$U'#-6v-v͎$$F4xnsĵۏ0 (af!Wx=6 vՉXCuQxدn >''X$]iF"h ~)J0q/jW2%=x4lf:-LcyƬ|˖&̷@/|dӥc0gۜط7*. B&> Kc۶ʊ?R(Zcs>;ųs@H;~s/H,`^B CW'e,cJN>SϒΝ(,.R*o"D ~"3kxi\m89VA ԩ tWAŗEZ3wʕGP%V)dY{}%`\Xn5-:فʼO)WF X&2SF|U1Vjtut%";hV8K-fK]'R,8%dŠq .gUz|7@Ma3!N.Lz; P9 <u'B>=^]*ȮIlpB3#BkՉ<``'_^gAUy5v䶼BDH6/8n7l(bԖXkĊ_*&>YepQBm"~mkJf H'PD qdITW*ZP܊=VݸT`tM/y&ڹ&2깾!0qMTHr֋ETU2FO7TqMK14*ad5_v? 1yfmOW夌>U~)_ȺDNglR I")fm}!ԸJI_5>n}x!RӫXS Ԡ.l(Y \/$ }`YD#? 5r4Ao;2P}*,w#N\#9ӻXXlE#O*vyFذWkly|!I`RlU:#ϵ"\/Q)0+䛻?Z׬e &O!bh7[G|x$]P%z fD#М/, r-vDm?o^ޕ@UܺL\*#㧋1o*6>#xSI~Do{Ɣj"Z{ !CtM~'-6n҉ʖ:')ɫU5 L#K s%')*_*NEȰl" s)z-=#3;lzYJA[!G;a4p?5v)M̴.˔Za>er&|8 '릀tuamd^kʏhE2{ƙ9S$pC]] X$V\@[hߋmՊwJU , *K+B1τI΍S=]\"{QH߆n:?f>K7`^չ zEydUl `?>8 qW] iX>O 2wmGqxBvUkGÌH PcXEC^XP5c|ݥoKCj2}H~ܫpU拞q{]xG_Bd^kO MB**@bٹ6B,.8zN:h8Gn?~rL`-6< *%Ӕ|-xeVB 6nrz9tu+FyF2S7oo[Jck vH]oAtўų!pGÅ V+u _[8'*j6Kz%w0TF֒/Y=J*#M<'~%1qWY;߿8vi)J#%W@0wcg!ȌJsMVYD|-H[^C i$ !X[c boFƞt$Cj'S&]&O'9Jq.Ҟ:لLIZM φ] OaY2/k&Dg(א8e;0F XdT\1]/2Y6ܯeWl$#`83PJ3r˺\q4V|Ok5Y7dkm/fNhVYk`^֤\%e OkIێЅwV"PTB W CL $ba=>ծ4ӌQ:r\ї)@^EJ5e"v5p_Aޗ9nCbSx69VU{B2!wpDwoQ2r+Ae=U9F^Zy 'zއo ԓe!RFTH͒ĚLܧ t"f,}^/xR+t[T\ŎWC'bC9 >KwRw1'16T@c-$N E435p^@U(4K_ƅ1aU:JkڰviBcbPg{϶ ;/l!N~fhb͠><ˌGMZ,bDPJ)4fz6%aQ=le~f +7JB ?92veg}7jDNN?Y># ^ojC(y. `pPo9f1f-w!7"ÄWSm!KMx.g--/s O.J|@6B;r$%H}Ë{Bv0עiIzwOx>ҫGܡy%) T祶M[$W%ªb8: ̲c"OO 5~ ⽻"4a-sڹhnD\-7,y9,@bC?"wGG# e7XǓDMBW_PϤ^dqD} tB˂VjM!z[_޳g~X >1^b|j? ,/je\ f̧MT{%+HH%xy;b<)G8F!bZHZoNQHJz9dUgYZxx6&uX3lC' .IF"b奻i Vy0FmT*hs=θsGr|(_o]ay3M|/|K6 {=Qi"*4H PɠD K.oDn*J|6vSqC|d:#t7Iw6)?( } z.!xGߥ'&!0g[چ\ LHH6uG(bi2N<TuNzD؅ ' ' Ӗue>0?Zϧx)/SKhl~O9+E%dso=ɶȆ:նޗ*ea% &C6Qj Pl8$β,#(C%1Ueg96(IC cg*_;}k 0UQr.9b9gYZ7zXZִF! ]ŗXiɟX J4G*Q}=:Qgnܻ CǛÁP *~*tn2r=G>a,lfH2ve:| wAz*ˆz ?!-m$I~]u iV⟣h,,,;j"lF&.$t㡦/aU>/DU['X>Erk =&8w=ƱgYZ7zXZִF! 5 A]ŗXi%D4 iJp n~z9l,MGy+VS#f~1〡Vm&^>< )Nsv~#9y>(s&tPP0O}14ӝ l~_~tSlN ӿQͲWc +k88?_E#H52F9oÝs Js prֱص`_|퐂j4!/!EqO+pF)i~7̟ &Ծ$Rjnf74ɐx&ot(:ߛJ"_ D4ut %cǟGe2sa#',Νh~tG}/#ey_^x-7fkqQ_eLqI5ePb+ !?4Y84hZܕ]ɝ|ʦPJ+%'b1L_bpQ۹MԵ:*er' OZ iYKCD9v]ܢ~*/!{)I H֯YYHfbQTLP}I''bX|gRt"O?Ndy 2@G_y6sA 5z^+cIiZeZ2 wvXќ ÛX}Yu5 mHFb'DDW)j!S'٠25#V:JŲ2LB`Zu&8a8)7辀Mfs᳑z> ֱU)n~3 d9-/j%kV[Gm+++Qc"eWgC嚑AhC3#UWИv;aIpfTi\;A騞`5rCkJX̏J0vo/fRQap밻fz=Ċn4}2Ly\o #]~ؤy-pV(߽tכQ7fS1)|d7zތg;<ԙL:uϲ-@vow!A*\Ez0!"x;X61QBLM~ZnKyI۳pNsifcG,' ^Մ_~ v1gׯ4!幚gluC&zp:uw Ŏm D !Bmlt ߉KI!@>`Bz DR{,. Gk C"Ňp&5k}XǮp+_2ڎ$r*lB[i ml38:͏ї<[)U{Eښp@I) >,yljwwko'|!~T1P-^Lj'/i,8芽KVQHJc>:=@qLqMΑbdz}k(. Ʈ}$ 'O>=%Ӊ5꯼Qf!j}nd$+u F9۵2UnFu ¯+}nqkkJ7zeAݪ{Wӿ3J'-@4Є(-Siha[ 1lWKg€V'm뽷z7Fx9*;8)Z`GA(zm Nx `tCMfM]cuck>s%o\~)Z=t ׼7`^Eup /:-+LSн"2 v1>]`u)Zk G웱>jei5Xoh:Xes=Y(4-N;ʪ_cdSŃդ?H5.-12Yp!#a)- Ϸ8fD;W>EMCi)\hFN2U))lygoKzS0 &ތL^W@[O kk@{}\ĚVNf&KsxZLR[=P~L$' i)NWi;[Z }rYG#L%+vTa O ,D1rP#*+g~W=M.p1uruUZ (Jc@PE#JOoqxvſE/R(b;y}_jnCυEO19KGB5 6т~.E"<0uyiɄ=/p|@p &f04- gYZ034a73706557eaaf8a725079eda86553bb82d3f7c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3