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   Zz$4$ ] KBPs:threads=4elapsed=132.931cpu=369.732gc=21.7367zXZִF! ŜK]ŗXiɟH)0!h]F42rYɃ>Ix(!r)U ^^QM$edFb}/zrK+37P;_ |Q٣I%9%/rIPsMw)ʗ#)Cty~Ǵ-kE|%۝ž +4^ Fjv5']OcrE46?A,)dNth]Wo?63 g-@MJbs\5h ƚ"6D]VMoadHnynJ)GQiJXM}Fݾ/20uxw'tWZ8kfvEψ  <.iE"2)¹oCGlȾzUѼV䛕԰x9 3Rg588ШQj7٭}A| ~Tyִ _`xg[()t Y_\⣪&2Rw0u10ǢapOԻʉZyxY)ɯ]@ XVf'S.W|%nB'8!(א5]uOPͬ~A@`SUwOvGe}LXj4(&qpsaKfSQ?Dg=ۋ5!&\A"G<f5 cd_ D'D@d/1;~'1c iY3$ž\>f>)=pYK0h3gE| ZCeN#$ʹAH k)ݗ`쌏h)JY(d)6fB=,c#XpuM?XuIoALLo ՘ׂmVMarAk'q!qwPz]Ex7m7T!V$y,k AopMJH$nj34ׇ%yiI!.mNd%v[_Vf%ҪuWb'}B#bǣٝlϙ-_@x%z*pBGV> bbrk!nn$?Zzh@{y&xU! (a3]BB:vK6`rr;ߙKv<QpLGc^8ڦ+B@p#kP4rP1r3o#*[g7+h'Z~F^9+j[,Ry8N\E $~!^gJ*p)UhOycn$Vq)| +GfHΩ>gYZ`'3 tKBPsKBPs.Examplescode/export1/HOL.hs7zXZִF!  t]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmﳮrG++/β1.ȡoPvk@*\hbɜP'{6ݱ(4&mn qY >P&ߜAi R7:ZJ6eD'zml8Cb F\gȇf0\άaJG7o ҷC@fIjrū}ZwĬ #!=_ r^zQ3pGΝyZ\$(Vrvȴ禧& _C?(nMkgYZ'3 4KBPsKBPs.Examplescode/export1/Fun.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmZ?Urf< to2M1"T͑վd:{ 99H yCwJ-;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\RP]QxNo~TC&0G:3tI]y8EY+swmҊ7oaX&͖"d"gYZ0'3 KBPsKBPs.Examplescode/export1/DFS.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcr wO|,,K$5OI9lO%ە.]o%Uk;m% ȭctw'z+HY_n#1O{Of!!1>૚8IHa dp'm&灁PiZ7 걤TOO;(!lJ$~{`+n$f6Nxs4Wʊ^CEd?fCO&t@S"\Wڇ'3fRr+1οKtR JDRtxZLw_חܪj'[KBPsKBPs.Examplescode/export1/Transitive_Closure_Impl.hs"7'MKBPsKBPs.Examplescode/export1/While_Combinator.hs!7'MKBPsKBPs.Examplescode/export1/Product_Lexorder.hs 4'GKBPsKBPs.Examplescode/export1/SPRViewSingle.hs4'GKBPsKBPs.Examplescode/export1/MuddyChildren.hs3'EKBPsKBPs.Examplescode/export1/Product_Type.hs3'EKBPsKBPs.Examplescode/export1/Numeral_Type.hs2'CKBPsKBPs.Examplescode/export1/Type_Length.hs1'AKBPsKBPs.Examplescode/export1/SPRViewDet.hs1'AKBPsKBPs.Examplescode/export1/List_local.hs1'AKBPsKBPs.Examplescode/export1/Finite_Set.hs0'?KBPsKBPs.Examplescode/export1/Saturated.hs0'?KBPsKBPs.Examplescode/export1/Orderings.hs0'?KBPsKBPs.Examplescode/export1/ClockView.hs/'=KBPsKBPs.Examplescode/export1/KBPsAuto.hs.';KBPsKBPs.Examplescode/export1/Mapping.hs.';KBPsKBPs.Examplescode/export1/KBPsAlg.hs-'9KBPsKBPs.Examplescode/export1/Option.hs-'9KBPsKBPs.Examplescode/export1/ODList.hs-'9KBPsKBPs.Examplescode/export1/MapOps.hs-'9KBPsKBPs.Examplescode/export1/Kripke.hs,'7KBPsKBPs.Examplescode/export1/Trie2.hs ,'7KBPsKBPs.Examplescode/export1/Robot.hs ,'7KBPsKBPs.Examplescode/export1/Extra.hs ,'7KBPsKBPs.Examplescode/export1/Arith.hs ,'7KBPsKBPs.Examplescode/export1/AList.hs +'5KBPsKBPs.Examplescode/export1/Trie.hs+'5KBPsKBPs.Examplescode/export1/List.hs+'5KBPsKBPs.Examplescode/export1/KBPs.hs+'5KBPsKBPs.Examplescode/export1/Eval.hs*'3KBPsKBPs.Examplescode/export1/Map.hs*'3KBPsKBPs.Examplescode/export1/HOL.hs*'3KBPsKBPs.Examplescode/export1/Fun.hs)'3 KBPsKBPs.Examplescode/export1/DFS.hs 0 t0A'5 4KBPsKBPs.Examplescode/export1/KBPs.hs7zXZִF! .]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm%C[7)F/1X)qn=ʼnh0HŃ9`[Bt]2"M9QSW3b)'+oFs+ٮ^K7nx)jYWeLz|`Rh#E"W$q| OƷːPf5XǫZq$Jݕ 8sz Ef~6 ^~br ^z-S{\Q.!<6[OK`XñX[R zB Ԫ*qdb_ަw} xlSNEpx(( DuLSZ((-~v5oA]AB1|f W|N\rbrgYZU'5 \KBPsKBPs.Examplescode/export1/Eval.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm(_9p2FF\gWS` [BO,>"G<f5 cd_ D'D@d/1;~'1c iY3$ž\>f>)=pYK0h3gE| ZCeN#$ʹAH k)ݗ`쌏h)JY(d)6fB=,c#XpuM?XuIoALLo ՘ׂmVMarAk'q!qwPz]Ex7m7T!V$y,k AopMJH$nj34ׇ%yiI!.mNd%v[_Vf%ҪuWb'}B#bǣٝlϙ-_@x%z*pBGV> bbrk!nn$?Zzh@{y&xU! (a3]BB:vK6`rr;ߙKv<QpLGc^8ڦ+B@p#kP4rP1r3o#*[g7+h'Z~F^9+j[,Ry8N\E $~!^gJ*p)UhOycn$Vq)| +GfHΩ>gYZ`'3 tKBPsKBPs.Examplescode/export1/HOL.hs7zXZִF!  t]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmﳮrG++/β1.ȡoPvk@*\hbɜP'{6ݱ(4&mn qY >P&ߜAi R7:ZJ6eD'zml8Cb F\gȇf0\άaJG7o ҷC@fIjrū}ZwĬ #!=_ r^zQ3pGΝyZ\$(Vrvȴ禧& _C?(nMkgYZ'3 4KBPsKBPs.Examplescode/export1/Fun.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmZ?Urf< to2M1"T͑վd:{ 99H yCwJ-;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\RP]QxNo~TC&0G:3tI]y8EY+swmҊ7oaX&͖"d"gYZ0'3 KBPsKBPs.Examplescode/export1/DFS.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcr wO|,,K$5OI9lO%ە.]o%Uk;m% ȭctw'z+HY_n#1O{Of!!1>૚8IHa dp'm&灁PiZ7 걤TOO;(!lJ$~{`+n$f6Nxs4Wʊ^CEd?fCO&t@S"\Wڇ'3fRr+1οKtR JDRtxZLw_חܪj)-!8߮oAڢgYZ  ;Nn '7 KBPsKBPs.Examplescode/export1/Extra.hs7zXZִF! c]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmEԫHVWzRbTQn0 (Ho 5\?FrddddAoQ۸iۿ 8Tt+J rt5{tCG9VzkIPqsLz Zةbmm8T74(h/$!o@~oQqmpk9({o- Iw#͊ļ-_.,YX Imk({)# #S"q/=o%3&ʠnH)}E+IwʨL ֈt{CMY]Q󟯲P;Tim"2i C ҌX$#soLirjÏHX'a38 "VͲ1[ R@>gYZj '7 KBPsKBPs.Examplescode/export1/Arith.hs7zXZִF! ez]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ. \yg)0xOqW@;%Emc sD;mA9/\0 ha6G˓/Ax\L=\XN2 5(pfq ,C@8w%NDORa4,5!y irC!+ B?_wGħ{pЛ3aW2y )D έ~C9eg/;`Y%g)۱yWQPE^I*tG)io2ȜV& h4S3,tG|ݛGC7w er˭iUwH?Js'xݶ57%Yoc&n" Ejt\JD n7>,p'2D ^*_nPwNv^DzMrmL%BAlk|ιD ]0+iGK=Xey, J+^TltiE{( bI۠vpdU@H&(a/06ﳉ&:c㍌֡m:})m)aGwcx|zD-f:ļGԽ}z0鏢Hgu{)HXt;]2  CdG<ck=C2<ӠZŠ_# VgLeb-QWPxP qI. !~ 4Qːz=6Wn9 woq8O\+Age# wAĨ-{3RY R ϭMl,׺(תi`BhITMF(za41뱹 33GnR m@YjlLPfRTSH] iA.Լ26̨؍Gf{=Z3ƹ&FV=#QNl_떚|9'0: |]%B\,cf6Ljo^UC1VIk9cGL&&< >wN&Jr^up&hJ)Bu̷c$IW 8P1‚d߽>I Кe,^5b̀~(xWJh+A^2KYX(L"84`ޅ3le 4|PЈ7`Ee> B11zv~0 S :W޳ Qc1|; 5L{|]q Crϵˁp$VgYZ & & '9 DKBPsKBPs.Examplescode/export1/MapOps.hs7zXZִF! d]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmEEc ˩ n/?qwİ!!|ψF +]mNH/ D|DkYL]&r&][_kn Ge#lǽf)iK~ZjZ(J~k.C*Wb ,,Lw#߱\̔4DQf?0 Y;"J9 @~f!XwɫHV!߭:DJ7{I͹)&q˘h& v4Ui^ށ?b#R&ŃF:RU޴5/̟!YoI'>|Ɩ㘂M3-I9`PP'~~I˥?#}RɅc2KI5\sk]iw:EOb27L #VaCΨq ( 9){ͳj!& Wf,%՜3k7ScS\Hga 9T&M^M2k> +ޓpo80rnDAKWX`3B r)Q18GC 2h]db| ^M⬊:ldqklGJ/x܄L_UّO<7)kPM`,xD逭uʎ=E&W#<7iLo 1E\ (g+OcFijvht*vB)g,f[):Cۣ6*ԦR&%bʤ6F+."6s*m%#N;uWCYG4DgH |)K"81&?H-x,d~Ȕ!$tf<~[:98SmX|5bKBX11Jj" zt6=}_=1G0%n[iCm.6nο(F޴To7 p~Ͽ<70:#Fh fl?+NKYy]ۅ"5U/]c(5'QN:7A>VDm؊kw`c @s:u8}q'앙o^ZL382FӖU[o* = C2wY.H*Akk@5VKGBS7Q[r6|K5m }ׅ@=űTawp=ubsT!''ao R`+Wr-ֈ|v[l6ceƅ⑭̼4]KsRiB ^ 677NdaQ@}i+J:=83nuvt0s p5@$lI5? ~n-gQziDHRE bIFSR(ǼpЧwfs/KQfbFA#^pBt,VwNF$ƂΏb 1@ta~@aNpyPtԔw;4CT:oJh8b㱞uxaxd KF,ǐH!Ẁ v^{VhC*l2bsG5$5~+\oqxϻ]&^eޗպ_|j&̠TK_ [JL( L)_Z0E?Ϧ9g9k&oueR:CVp,FI8`7ps<~r5V;4j^16fJOK(N9<A,4 v\uGg" f ۢ*tR[/Ja FSgYZ  : , q'= KBPsKBPs.Examplescode/export1/KBPsAuto.hs7zXZִF! =~]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm%C[mۓZML '{~Ni(ZVq!HVh(f0TީkeF"[QT @+[ҕrx TQ Pڨus;})R#>[ׇ]n8ȿtS5/' ڪbBYelʠzmYvQ_xr!!Q%] ±gYZl'; KBPsKBPs.Examplescode/export1/Mapping.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmEEnj_|UJJ7v؄;Z(~=䠴#o;^̖J#(GO6T<ֹ(.:+gBh!FKN:G @߰XGN)y I7j=GO^$f|nzhtnA Dp^:Gݔg'In}G}'eg16ZԤʑ{\>M4l a*QC`&hx)Q%ټBՍR_CE=xA3(GxT0"m60]@mc7@K .(NRJc1bxG.&Cx[ ⮅B~ 5b 0I}X2VM6z8-SEhjRW[Y$KGþ"ѱgYZ'; dKBPsKBPs.Examplescode/export1/KBPsAlg.hs7zXZִF! +]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm%C[;أ4?[.vA@(ycVj.l٩vȎGylVIˌ)5.Ut7jT`ҌA%m? %ձq0pB8Q ty&PoiG1oeoN/o&ҵd\qaPoySbU>rW\eKx󫪨!ceJ.qInoI.>n10'LxYwWU"XX+޳VJxA9Z3ғ:4Gu=H R/ uWKE=񰨽UՃWa垥(PS su*TV"~E7I//?9e<&de?Գ*ܾ%!oArVa#y,SQJ)pr9%JGLi#aldۿ- eϪ9WS~+BYl 5+j&v\R=\AT2UY>2OUaeel19_* -wڋ;SHے6I+b|vc'X:A8 &Bi:{hCM,qlgn>{ɵ48 k\&K5 @;G`>S쐅Z+Ll95'>3 1!G+U䜰 B9Vٌk /BkPIN0/Eə7~>ɗ)7br$X;jS|:/(RJ;sv)JFKO9zY?Ny뇴!HiVO(gYZ '9 DKBPsKBPs.Examplescode/export1/Option.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($JfӭȒMYoc˯shD,!LR!_ _?<{LZ˷S x-Sko(=5Vh٨d!˜V_ 6EwZO,;u(S:IH'5%Bl&?TDwrbBhWۦP%>%E_P[]F'΃!{_0nۧl?޲ V; ̓[+D(NNᩙ%HɚJü8} "ߝ%R!4/s+6nCϻeY#/5Tʁ6A(*WHu'/%0Et`)# ݙ6ț gYZC'9 4KBPsKBPs.Examplescode/export1/ODList.hs7zXZִF! S]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmd@g}&2Inqë"LiNkfثq5&-n,b'0C>#"*k7eh[︾~RMWn~ | 5V$ ĽB*'xW⻌ ci6bgWA}*_%Q @Qkw#v%{R؎T߅#s.$5-ՠzbN),[J$+c%{.0SSa٪П楾 ;}zF_aR7g;򗤀Lph\΋< e#F@됰M[Q+-WGXP|60|%,0V ]zj?N~yK63}{B&K{ZN.bлqKqGÄ`#{] Bs&,3 ujLԚ:SRp$wj4m pv1iLxJF-d{kB8qStA`"JybMg0&e8wZ˜  J%dY@2=FcpS}uGLˈ̽v2kK)\`=" ziO|s*UՁV8-UcJֻ/t.+1؎WYkCk ߔsSڒM`=`J/^\\7k?1L (H]C{:h@±Iު֕I?Ih=dɩWxlDt}V?m>z#9я>ioi4ˊEIT߯%[쐂$"wboB~:!]` W ?/ja%L.f=3ENsxaj+p,蓱gYZ'? DKBPsKBPs.Examplescode/export1/Orderings.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcnffw=ch('7h>JNZc?=zT&rCZi=5;_gHC.rִP\ x=@̳[F (g.c:QnEwXe,J~"is U$Y9ci<&Fdx q gg%EXd:!s Nj2)>g΍63 Tﰽ}ƴsŔ7Lza_>ݛ&kGja9N^%1JdN-FyJJod^0_ɲAߴJf⏞noPƥoyo/d^իCAqqWa 8[!7pIY'NFW8gzwfNu4w"qkXsy7{q]>f'HTm2cQm E`oPgvNGg`P7 ՎyMgYZ'? dKBPsKBPs.Examplescode/export1/ClockView.hs7zXZִF! &]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmp}i Z*-)ȾϜe4^h'gu~-8}Ժ&~qJx fK_i[rJ c=2<+pKR, :/ǁ]v-e֦xgE['u۪f~8Z)GL&9Hi*O;HyELL:IOPR[(w>HuJǐJ;ZseOΥ)OUȣK^~oJ_,sAAP$SfF].j4/med,&}^6i0 R8 o:Jj j` 3F*P mr`k\E&@Lʾ#kd94[G}~%"*fc2 gv& `URΝs] u'ܶݳp?.9Sɣy2 }W'¬2K%P ؤ }T|Dc-s7Q*t[Gʗ5}Ledqu!eCЂj(K* ZZJWm{4W//Pjn*d IF&䳿,ç>VvwWMO~"Ccp ˇ46i<ficFZS !rKڼzCW7MO>DTlCwūo <1{v] 0N ~zDv|Q*8apݢEJ ֮9VjʼnH!J?5r+BK0o"߯,Y,M;q2B 5\eG`_Ql1H )\ Gbqj;ܶO&EÁ"}nGow]Q+F3aS5mrW);aJ5*&3h(Cc蒆"dJ!}mO+'6i F2V~zfvKWOTjssrx T=YKX(3S-_7QN(sm/qA#~a3Qm<& c.{zN` k'F̠4rhIZlꘜ.mR\xjV-RT>njGkclFP[?9]|H 8H1e҉r]X-hAGg`>G>$r68>PLo[G_>0'JZ5ɴj[Bv[׃hp;! 7T\PaNUKs$Z[,:l9kؠ;(Py}s]qɦ×/3s +1gl37gYZO'A DKBPsKBPs.Examplescode/export1/Finite_Set.hs7zXZִF! \]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm߿+`%uw$:JBl$P$bRt]RNIT +^GkNdZ:(RS85rºt#@UHui|y2Ɲ!W3,/a߱tw)?<>gXˑ&pۀpCCLk`B19Dp0Ohpqg7t"306Vn/ ){at@\I'f~>O'砙H:H0Nr?Y>6)>hWC gYZ P'C DKBPsKBPs.Examplescode/export1/Type_Length.hs7zXZִF! Y]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmnIGY\ ؂e 4}pɶ>yʱ C'J3+Ԙ. . !ݿ<3C4tK3$\%⌢~|qF npx4G+^֭ݪAs<gƺoF}X $ɝ -c[1[YCi~ZՀ[}*H? ^S e șnM}z?Xs_ƃ;R]Q[ EMѻK2ՐrR '.avau֣=O4[ x06ng';Ot/J2LưY 5GV|( H:tJuTo[ J6(R ?PnxV05{%#p:O逆+Brf\(W6r*OW3 pJf `凌uFW$Bd4lpKKݏsjr)ł6Ţ wg b?@IP#@Pׅu  ڡgYZC'A ,KBPsKBPs.Examplescode/export1/SPRViewDet.hs7zXZִF! Y ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm\0&[?csQOIh})=` 8ue<=U<nX2񑋚OEщZj|x+.ڿhyGzNrU'5q!$xy@cJ0SzZqM *殣 O\E(5ѕ?qr)B4aRCStmUϝB'8:R҃qk p.L&m]MiqA%zqhOv$b8ܓ²c^%kh1RVny3+ }Ț$U= 1P>tC-yCdHHcӴ/gAmWx=sjc;m܊8k 8$lqB/Jk0; Mκ :G >%V6š>vJPíٟ?4 ^fp[ ZBJ(|'AyC%m# "T+,$[T>*Mܞ~%pv@cl枳#KKR,+?]=#_v"9oSgCRsB>iģ=D˜ b<"?L$P:8S5]+h_aI%vV:wJD'[hPcY0rXəB}fNsx=3՚ v 9Zہ(lMH^t2lJ5e.C@-FbFN"bA[{SW`gl5(wFV3Uuo5D?,N̙ !epYC?D了Е.Ԃb) *(9V4TF>;~2mw*Hh %e ~cC\,_.ρlqoRWk8JӰ'YȺ"vc>W u bJW(7$D9 -;QFoJ뜊ؼ&~S ۑSGx{y3g+]LPR)qCOUK83Tb'SU]쾆:50^7ސ B! \4aub|G2@Bn xC`D9^7uz~*VY!Xu!oLJ VY~c?"Lt총|4uiG='蕊IмKqNTT,|g> >ܟAVZ?%MgTh}fϦd>xpQݟףh䰑d9- \3K5I~;:H!`]rbkCfPul3f`->`>~I+$2.2QũG9CbYL{xrh|ͣ@[y<ƹ!b/iׄC,=O84+XB6c(a1śgHp9-Np0p0y pNٵ@rT|K(02hGȦަU9Ne?):u}$7y5(G/鼘uvxS2OZӹR- G>VOH:5@/M EГҸe_A*2ޣ}Bt&pe'z+6k^Rbj!؉NssOl"r2\g1M]4CD_ 3;xF 9=4Yz0p?}oal*(z+ce iIKbko+Ҧ«ƇNj2{I&i"w8~J$ ;A*䕯n7Tu>Kh53 g[EoȶIt3g$L_tDnAoW DJ;ᧀ\b6rIyT%/O_ZTS Z"#}_3pC)T/w53!Ȝ5CL/?{1}=/ Ń"XeB22"OJJKKOŴv/^Xdۙ8hV/j Hf,ݶG\s]GL2] WQ5tib%y_e`xUX /)D9josyZ?a E{'L_Xhms(dU b@|n:9(LECU_WQcpxFky^XD#bg9FA~̝ 5~gXxi@)2l-NpWk[C[PKx9DIg yac ܺ@| As'%alխdL}7+raf}q!Dӊf\/;rE3JZ>n>?tgYZ   'G 4KBPsKBPs.Examplescode/export1/MuddyChildren.hs7zXZִF! ,/]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmd-W- ÿ)}b%3$ mu\y*pӚ S\=#i^Ι=lPBWBp[t U!<5c/w4N42t9F(]E&[p|i =[P)[ 1\p_Sh^s@CyRx.;/5GTՌdw[Ǧ)LEi'cBHtC@ꠇOeiE%эgh2N܂~ƽ)xOߘamyXl5hD]j`L 8dj3NQn?Xnj!1 3mn zC23Yԙ8v$ Zٯ^~F)FԄn8<Ơ#cPp@qm|fa_þXppX>Jd\cRH=E>k_ZҏJDk , VCc$:y= ()P gKQB5B;[n׈*_\eʼn b"c[ A &`漒 cZ>cPxK.v@E!q_;MbݨI%UnV3/FukkݟRh ׼;fhB1gRZA9 7"3tSD Ȼ&Zc( .I'O_v3z-_xP&Lz˜s~>\xFxWzϘ(,N-7EcJHb!@Ih'cOM+XAe[>0T g-u3 Z97p|mbUj&^ z6!0wT#YK`CBU2-ѷ%A $@!;«ԓ@ƔviB龛,_jMyj@!ק&OK巌&CFX?V 0Ikf?F]̛uxL#I}]" )ipwgM?o'}THVϤv9˙2U\_wr7-<|M=Lg *;"F쬙Kl/ٽbrgf]Ϭ.4x钍"ʼ.MSL'fPsjڔ}l~7MOUd_3ԓ)m*f>R ALDK*1p]lO/"־8jfIDcXkO溤]94_7yJb27z!+:jzlpt gCp~ZST_˳'Ӷ ] ~j (RWx2# `UҌ!'Xh:/V[UX3)Ϫ [7gC2E9.ନ, `d}rGA{B-Dކy0)gY,]EN\He:#[F*`ї𺃄ȫ3CLr* |HTJ W]~y*2w 7\O GIZ)`x{R]Ob9Ȟ ()"v-|bb_#7,,U٦n 6+9 ڒtރ 5W6cEcE 6Ч>`ת$<] &-ܴ]-ptL^:"r-03L$,q$UC1VX+ udL+Ob<{}i싥.wV/*T*LIՀ\|/MV[<9)?,̲m&=gYZ   "'[ KBPsKBPs.Examplescode/export1/Transitive_Closure_Impl.hs7zXZִF! (]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmnVnFOr~=m(mcYSg:6S,zz!Sԙcbk_Z$$3ڻYĨ-bXXM_/MsJBh- ݢ `rAsJ̸?@I,H>tߦO-}X'_#¾ԫT7 +4hȁ6hF򳯀:ߓ3's8̲*ke##qI7Qb;-'=;+8@@Ȳ.*&(e$Ā&?X" zK&4#iM &A"⠶pg wY`0r!`5d]QJIEst/=lQoq`GF'ynƮ$$2[2wD^UAJe)c^, '\${{`;mp%ij2+3C2WyGX\u\i@CGfk*,쥢+|^@-o*}g{p\t{m֦~n*Q$5бgYZ 'M $KBPsKBPs.Examplescode/export1/Product_Lexorder.hs7zXZִF! H ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^5BP&e?l]rȔjܫ,X n4ؚ7>"S֖~]dTg uYpzk<&EU,'(ڄ&4,^%q_߭߈($iIt#KB QR1^$3d9Wi/WCOQATtI(@ISn<ܥ^M UJVeu?~.#jQf|&[ِ>/l^H酺'g%n6 Azh%\ E7%./gID16xt>qr2]m?X[h|GVe}wei /e$9Yn.$8Qz|ti#q2wHM_ تàg HűgYZZ'G TKBPsKBPs.Examplescode/export1/SPRViewSingle.hs7zXZִF! G]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm"~J%^טcS&\s5ŠIA\3ȻY̖N|ܥ0\}L9.uiO<;\φ*"v*:1&3%{s!UASc9ù;iK _ameO8 &ϲޚ4d0yPګPr_ܞPJSh"͈q[ug;,l|XxmrOFklʆ?,j.y&Jj$JDaFo9P9CI5>C"fxX$si}6f rH$֚n|Vs{(W)pP՘}8·.(x|c=9&7.g O3?}X$sw}LG-ďÚv$$u#|QVf o.DR`(~7;"UqW @,/DrrfluTҋ'IE?'s g m\r.#FfW6VTCgCі=00ot156쪁?uPFʗɣ}EvBA\"YuLq 5&q6 ~̀,Փ.dUO9jE;ʯ|≣ar:tQih!>Ea?@[O09:FTJ0hպDF_Γ*i:s,2aTPJ:qBsm߅8AzZf[ "u){4dɭcӷ4@Jp>??u.CP>U=JJ#"2ꆐ)붆 M pOg#1@42?a$BJMML0ŞIy"A+Wtr>-d.S)$Lt:F7<GzY$&}MLZtxj"Ӿ= J3eDw=@ )M`۝r/%?mE9cQ(`r'Dqԁo,\KhE{^UeeDBUfW#(,$ޔ+w9v;V  )TE;1|8px7YU}_hZ_^ltpab?7ʐj!kN׍pX!lP]`ggepԖ=|9bȵVq,/ sY!HB##;!MtF Ix>8ț*40j k&s .\L恣`!'7l?smrbxܮHYko͘F[r=nxHDTvE08rK]m2uܵ,.bU/ͥ=m8s9Ҡ)=,X.;=-$#% |KBPsKBPs.Kripkedocument.tex7zXZִF! 8]A-MՋhvG"uIBm5^Y/8#EO~p%<\ nZufVnfaT wPP¨ Oo?X# zAƜKcSR޾O+]fJfS(H) `sҌ(FX¬ܳ%'n vYM(Ki[WYw$6 *{T H1L.fXm*bOC~z^usb~@_sgux+~" ]VRؽ68!eXX S3s؁}vd.f"BGTbJΘ#L[U& )\J >J#-bN-_=6(O@OzXCa}#QoX@ $5඿ ̭2 0=Ts әB3Ddۻ; J`L!x7;_n.i"&΍Sg HE֟GiFw' ~!97`дh 9A:Pԋ/ Č3~?-" 27%˦#ncj:j#8;W3 T=#'e |KBPsKBPs.Examplescode/export1/Transitive_Closure_List_Impl.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmnVnFOr~2C ءkH㍊ K TDL%ˣɥ=6rޖh4ACj5 R)IOsM>}βDw g)+6߸y̳Tث]72;ckk;&ɢ l )0%DTѴe{Tb8l˵L%՛'.yRM :j'[C~20jq@+蓃M(ǰmeNl|\j4"7VR6r-6CsMDzL ڢG"msfP-*bk$ L3otM C>iDih(h#:P|jCE(r[?Q7`No)e js6?XDDY{Ԓxh#:8VR~7`37`rUI-|QAi:L}y82sklHcW;7Y#`_ \7LF5 g'K\ &>P{P*1PN4V),^ȢR|Z,i^~<;T KdD}&Q0?Wauݴ$cl l|±gYZ U㗹ng5noGCbHyK: -s=S`S'4PJ-mm(Y$k[^ʸ!h.Т 'ɢwKဠ 9  v CstD@FhveNU[pg^k/_e(5= Hswc |UtNx/͌"1KH73]-XLN2_}T*51Ov zw:'N>0Wp[f%f@BK1]@RPRs$ feW* $6s6!WSSq Iz$js< yFջ.nYԥRƿ-IH$wCU:kJ:+^ 抻u~\jWAbYoœbGn;qهӞs|IiO:Ռ9N@8$Az4,l4CUFv<XnĖ_8༵s 9'A5`K@vMLl1&/hpʣ饰mM$, V.R t|J:~͇)36 *c'Y[-|J-%9T%GnJeNK/w+5Ge7IBWd 8ObΪKY ;7$fTn7=o,J"˓,'?;#*i≕6) %W%ux!ϖ@~_϶,ZYC%B:FWK^fCU Lf |scyJ2L~-*N!e%DbmY_&yl\1VxG&2'nh۟;<\^@)Wo,{ ֌[fGBdS-t8>dzw0F~;bq>;MjY,p'b$1*u r~OҮz|+2]LO6>?$dI;ƙ]vp"m+ߡ)hv";1)XbYB+KԥKғ<Hm^9]z 4e $0ˇWlxt{m3Ouw;^U`ҴNaF"J٨@`Bzՠ1o:_帇H}l>␊*%UG6B'>Oxh>vf;mMs.aKgU[!o0?dK{Nkȧ!v}xg!cP_Mjh_P` 0Ψ^'{}䍐m<]VcCֶ a>Z|l g+G('wZՊ2ha7ar7H jM΍ 0k +#~ՂS.וĴ^"@VOŪb 0 <ʼ g2wC/՗1Q%H ZK77벟9qL{#53cH Aa +@v>ͣj:k2Du"Ӭ+Fto-ahН100{%z 3 dJ ;h83>tX7̤:׽o}^QX?( /]69z?.\,:<{\k .]nP*8\j; 4xM'gUYAo-/2]@Qn&,'*]$ҋ?m;gϕLsd\ cc/F:q\Cy&!9 .XJ$A̚3vWiId15Ôdٌ!b%K;;D!¾ʃk.6ҡCMsʧiUB 'A ^ oZ3&d3U̒6~䈯5r5) A5'ëX?XU'S\Ďҳ3Pg_aZ1dt+ڬg/%VdY[~rqg_A47XЪKH_ty XuJٙsHvEz0q :lNo5u *{]ܵYHv#[ܠQ~t{\ja@ѳIp]CUR}>x"'RQj5PD9B޸*_GN"0=3<>MR$bqbNZ{$vlWl>reFXFFr.x.`V'|H)NN)O=C0-GD,@ v9U;*mwG%6W*ۥ eYgN]]湍M>67 |_J_jȸe5EB;z,g; '_JPK5'!Wse9Ұ KH#%~.1Wuz( {b2f(|H3X}ՠ(ip!a|'<(R#1VK|KJ q.I֟DY/)b=;crҴ(e( |΂#r!|Xo֖={Rd`A2՛_ѿhmQ1vsH |&Z7\i#}9Z%a!bΟ`N i#mM hU@Sy<`&m* }yΔct*/-,[.vM75C )qV ځ^@t@S^S0Ǒ n7^͍CZ2}A9u{ YIߚH .lʁ!Xc3SaŒJ:AA}9 PLw[ll9s,%{B ~LkB %cR EW. l 6af~F 5}C|@i=2#(|Kg ٷJEnLQsY6H֧8-k*=spNP!gaFeÜ4ByB!5>0/ܲIW%?Nv0/c[F&]LcF S.OU\$,3fXY Xa;p[Wv3\V=cR'/x8];A鋞򂿞{}(A8k?FHSGfAN3C,CɎcom 4XOy W`& }='tOoo1+Q4EU}PW+M|EY ^ pJJC{"}G:͙Dt-z@.c[A Eq[U$o| z#8,N{ .CfG=[8 w-[pQLH@%X~_,S&Pl*roiu].Ѡ=ZG7$! "wKDbUYإ9QwQ0Z []`X΁K7r5ƒP~vtZ sh@ L:jvqeixMR%a6.Od}\@M5[m5pTSJjM(kM7Gfz aSmSظ&`7ZR*|]eh:X1`J;=;hTwfRZpbw:$Hf٫-F{guUaդa g3D#'9R۾λH>T s^vXda{d00Ccts 9 #?V$O>qG[( `NIQGnP{D^c(vQz5ǽE cE>>wnhF%+ PWtH{ųk Ma XЁnb*Doʯgn (6BHSVF8l%@|#2|?V6E5%w@[ZAn P+@[l2# JW_Uܳ¿MG~ p۱ġɪc5eu!X`LEQOEͣDnF=cgXNd}?;Sw# MsOR`q0۶@H יlXdc]s9\Lwp Sd1  B>3HܮŢ:@$D L;!C5"&Q–O a-/<T)o#R5犤U6A3sfJA<Ȝk{E[(V49/u{a0E"Yi&-:?*=H;|,tXvدBT E(2$if4ɜ%N6ƅ7Gtٟ`!| ~B V+DAԑʴ˜ 0G4,w +S zcFxͫ"K$VXbTP\ØjVO-nm_,Z3ӗÉ]I@'X9#<ںE$!jRedk ršhmd֖( Wo]4 =RR<Հ.IVRyYtcGFFZF}Y^.l6}B5u(W//ӎ\2E9o(M6Ԁ՗^jh^"St/I;5?HDwy>*-YHas>z AZ5L͟مW 1P>nݨ>?BAH3MePA3ճmM8NH}bf| =ZL$ $52_7CoNQ UOv߭}aњ:j҉q Eu0 2Gj1$4PsfOn9B$F۞aE`G I&/&I,.#3]| #~Gҝ"/[/[ 3q:V(C 3L$4VĪ:2 ~whgAL+0ZJ5]LD'l/_G`l\7>0, =2P$QX[5qx r/Xm3>{ؽ7{J֠C.:"k_=fAܺ~ {Ev9ƙCvdub@j*X?YʪvTf@׺9gIЏ2Ѡ֛Eن&H*z'쾄;~|8W"_dXme^!8C>i,"a{4'@;um!c`qRш!xe@/@s': RNuϜ&7o v#%xc:"]E`ka?3(+`$H^CjQZTqT@2|*"I%;{!bނurC K` grV0&Dq,?s$ "I_)C\<A)M++Lԍ}ݲ:*!%Wh{4z@k2K<2H5`6 $߉nQ*ka0Z MkFme* !lr Ѹi#QWuEe >!gŪ vQju5Ey L`ٿ"91?$}hiޖ_0C]GE9swY>1<8\.sY󠵑!taK&}Enmceeha D#) @4`aÜRvVa[2=+cbVaPckuTzdbܑɌL jJ_7ctTĝf.|5*yn ^N{ŷ d_&eRsL7SNbFYAhDc-3U B@bGP h:)q9q԰ O5Y𢯿d P[H~@lG߸s^mV#pxۧm<.~B` gv!2U u$F[g\MEN{XLX~H^}'L0RP$q2ѐ W kp#n4A)WDއN4 42Q/B@6W+Y` sxH3@5ҏ$!Io :>M>\7_Db0qilU1; a(rz]zvʩKQߗwȖ7 #ֻZ:)W qt5 zS2DrVGoUE]ZV˜Cb0恷z{tb&N $OM<+dD' *Фn'* "tUCߛ\+0.W "xzkNO$~0vݕ yۗD#|[)αie+eowBq98+6~6(GKCa[%Nt`[卦4?Sj n] +4hy4mazobهһȪrfFQa>S8G22 < '1Xg?4r8 R2%hq7s=Q~ Ěߑt}LOwpx6lQsI}ڹhn]u1H|*ǜA9S}w 97.j{ՋyR(j`ƴrkNnk1wՂ\{,3`hA)-b9misP꧈?/"][&8+bNBž U2hi{EJHߙ'9fi0,V\Yn$ŞDoqQe$wd^IefNg'괐Vm}oȌt씄nFXE95c:@=B?[wS*1oo*ySX;˺ :+g.sb;lY^9}~ȒF0/]QD-WL!|ڽV 5ܛED"PfhنCI0ۙ_2- bkЇh~Oseb΋KDH7ݱQً8zk ĭ<'kQs8zƶCr`>"qB~AіY1e%jBS$se2iP8;<ؒqB Gyt['s.\GE=%`|^8+rސV#suXꎿQ\j"~770TK\wf# -O-dBեEmxb,")OQ.0–=)c ܎*AпU$uTUz-8,!Yh~L{Ȋ$ɻڪ9O&H4S+FC£{p ݚ2<FPl#Wq,‘%G+Pm@}xk`V Θ6!Oٱ?VCھpG҉ItL*.?M ~GRS B !8`Z883[Pڪ@KADYPeX8#+ }.'ht]LWI.N VLd'qps9Z0D ˜b'Y c -^ 鰲h$M߳ơc@︌?* r,O_¦2.4ۤ(d #yh@0MtI'[+i+`w>^<[*ˤ궿]kޑ=9dn V/n %ԚA}5-ƨal?U.eq duTYT{pn'ehu9QFp+? ՘mE^P'4UނkS)Ҿ1Y:r6SmlP!sH@8*w3pF4 jB xzv3<Z@OOHoTiٝ sFA;l['[4!9X-D#o|i\DSL_fWAtRTIJY`)d[ 2>uɣfR15s8Y2iv:Hm_vڛN1)I.`;e:s "*wAK B_8E&ՠd΢ɪ)eLG, '] >C|1'Y v1#KŞa>Gk+ G3uBPDyeɹ4$@09:/T}c,P0x lwA&Y@2":U *ݱ%d&P6¡lqWC\ +\k"ɂ&2c΁3F0VEn4kkt2K~ґ KecZiZIx!NDE a`WŌk#+2I>2[ic&.GU.ƘrZ:( m;UC-r.z8d\Q6XXj>w mt5&y͋~n.Ah*;@WH粲+E_ R xNx;-ZH)HX9!wyYZH qiY8fVC}mXaQ+z~sHV1kem%0m~6Ľ'1{ (Q%ƋV<ÛC*.=~~l,& $m BR NVEtFVWzXҾ.$q}^$KϤuy 7 Hb"c:h4~[vؿ'4 T&lGϿו#.5ovAD*̫8suXW& CY";AӚ fcbG t:1 =DsRЗKgxc>q_=a渣`SCn+˖h>q^&Hxб_oܧ4_4pbU!B@x` y+ Xst D}ȗ8LMX h|ͩw#V}s*_6*2,6DcGzZ*5eSWle mr7"%W?޻qilr)]T9 4[xnl !9'k*q ѡ=6q4c*Lߠ,RkJ1j(Nqc.7Dt8ND{8i@"TD7:p)/ <>=顿˼rz$OJ:f<; 6*:.ǍJǓZ 5;mx} ^8wO*D9Gq݂K̠64N/ch>w߶ mb&I#*PQ#$+i=y $!BwD鷜 ꜯ\. 14cA,2og >G !~B;n6qU $f@ P4 o<V?1:ϡgZQ/Tu~x+T \5ͦN y5 ÕP&TUz̗GWX Eq43g_r,S(S\ 0w&Px( ba4YZRL`ca8;$XoT- Q59&6 }. 3U9 PpqA=O!,p%G3[>\5"_׳ŚيM}Kîa+-ŵVCK]FPWt7h{@5+᪸ϦYY;%lQ䂅g7f ss_p*dwΞq ww]KR#IVO_|'PĻ M{{:}D{Ž0RwCS5' { 8L7=(7Oߗo.nDa.pIhތm^.hgO|2+׻)WS"쵃rcrSQ"]XTq㧜EMZT mq]+ZI B~BLp/9fCl _Ț&YPr %.sئVQCʏ|H خ!ka)s`4hG}?ZGʙ#3^Gj0Qkf$zey- rPI7tˠrQrx(}㟓,5l@s]MW^4@!rzѭ.+I¯'lB}}F450v8P'% V[>!n @\bK7N7tB% vnLN"yLG}Hw'YM5~%V x[6MNoYN1 nYHE5O6xYi9>7`T(aGWaW4{#!=bt,u$~HZDE>,b@z6_~T=ͅd{<.m>1[Kc1@Ec(A*7{M/'oT^85\ 굾scdr_|st>wzIDmHn3\ͅ;܎j^hrɖ%K)M$yG;#Cy_gBh7 ,FLE!g*o. u&VѬp?d H' 0r>Yy,Kn9@P O>psk{h2`_LGiWg#fk/#{l-H;ɰ3»H\E88Hep/fI9+F)"^-e<2i34mrSq|3Emq_RyX 4\0A_ە~X̫_,G#`@n Zxnj*1;f/#_x+Y4/ĊcCŅC,erbb}4νa67_[i 2fSAHqZ! 0<RTAeuy^Q Ĵا]Gq@x ,Y=K <8ɎK\DBC(!Cq!qx^k_R ҂{9T\Dv 2VA}.mU !v3acAt|?\rs`uGgKl@œzRWS [LB  6%AV#?煼 гP%h_4Š~hK`~.wzL\5&PY,3 Ę[9PI]KiAO= j TrԎ gy:$)ag -u7ig ʓp)~_,|BȰFɝ0%8a%ؚ)\u+L8Bg.?T+J{, Ο$!p?Rɟ^r^\/`VN}N6.J Xv YHs ѳ\I@( " }CxD0ʎfC((R::t8n EJ*nYiL5kk3e? 5XHV_*ꯝ @(ƩuiM:FƄӀ%gЛ;MҕEan}yr%hW`LgQ$Ӓ^[h>pAJ+cm(^ɚ@,֨q$l_ÿe3y”roMǘMp$,hbhl 4-{ݹn!ŨSI-1x2Eoɢ`™Ġ  5H R.3A}iъ`T,d<#$p>*Mb!^|I5ӄNt7f1++gGx H[ICguK gA-e,j.Ly)xٟM铊gh$h h[*xs_x|66=o cwϭu]_&ơJ8o]5X{zQ8bᣄ8XLJrmtKǎ#ŐPB  +M$ePnUx`$~=c#)mPsVJVgd$!e [zwl>}nXWR6n,ZsrG{FJe('Avۂ^gN y!],W=AEm, K,dh3:i,4>yQ\wZ^\Ϲ躊J{~HG]{Iy*e~9o%OHO9A_$1Hxmlnz|ғgEo *=DK< G/3W=LZ^Sm$asu[g$J '\Wt#iO _OuiD"0lF'3eZ:]LeYx?^pF|kGYŅ Y324yȐJя`(&bs 4RJk#B{X>4ݫHCǪaI]iN̡㋩ ~ʫӃg5NԺAg*epS0 ra 9~QF@D]~di"O>}JDN.ZEѓZ+cBZvL:1S&^k'R")*C} qee܅t±ԃsĆ𱷰)*t|ܜDǨ'Jδ!N 6}~EcF&eG!-?.TѹU1]ajoKu k`LR>[M6iKx~0OP{Qw~kS)zv$E. >%ĄljZ3ʵmѴr2`Kgmc@y65HcF8uF٠pU"h@.s?۞C$H=/UK酯YT+4KD$G~i|#D~ [JĂp rT8n6`CXu+WՊA $!_N.2eIG`IpErahY zl_wTdO`YEƐ>ZDuܝ.-^>D߷"cb;l!61 n~f,<yJOo-8]aOvq&׍@\҆Rb_(tGVKICռ3 ןFsiAkC btoeXl*]@YY$G0|! kh XE%.t.Aljl;D$s #BLv &+E qnKF1zltGYq%H.Q'L}Nk֛XmIL*LiAϨx|z> S[pEqGR8D䁨'5`D0il*Mr\mQĖ N:y" k WrMJfUc!<{{rb)gS(_]fޞSUkZ>& 4wakm6s#HUÝQ2Em]X "{ )C.bDx0NcPqo`S,8Xe+SMO$1-U^>0t\kO";42DUwoDB4Rcy"f]_ +EB! >kj=JiGVQc{ah juK;C$LM=SbFlc1 7Ѣpii)aӖ?~_e1&#Vqs.dwj-Y?ܨU_qȼiiAEVg[眪EIDmy)>kRoYS[?6᩽ġV˵,WNd)r# P|o & 燥: *$-Wv~{aH9''% 4KBPsKBPs.KBPsAutodocument.tex7zXZִF! ]A-MՋhvG"uIBm5FQ"VzšJ?wk߬>@zBKdqvΤ؞$8  Zj뗝-MդS zWsB*y _æ25_bkbS/WɻXVb7wsNL yVH,d@HjoԀ9MRSԎ7!+gsyCGR=GT^LQ}Ӧc# cS!!a$/IYP`Ss1I҃ ByAX7s)QRF>(edL nRmސsTNYܿDơX*G]D5+[D&qߕ]6o^n^f LegXфDd1Uf xR!w$?o{|pZSqf]l ]P榠!qyeb wxd~ ov@QHc}j RktL'j8ByhĈ4ztBeyL돮Bq鱴>c!~6pԽ }O/S%Z̆$F}>+:Lf^Tx=\{<7\'a2-ƣ cC,U wq_}fneوY>Nl›RV6wq<QH#g#kOY6ש15\Vz8FN5`0ogɯld_-~ HU!0g=¼ 5-#]L~S9fi>yAg"J40U d\wrPCY/Nǹ -hGe)O1.Ηƌ L=;atPtN]tإ8~w7 ;[lK U1a6~a*{ZE8vU,xM'ٳ.7>>ل&8RsjG^P_fŦg (b虚.*G1x{ g@TV@A)l;% lTLLc'2hΪoRŏW3'!*}ܹ'ֻ=]X%t|aLDLrȱ2j EWw@Od3jq<ђu:= ܑI1p,|9%3c&qIND>ΒpGө0jFv -z&t* @[aN5= :F09B Pn;@fej${yȍ?A1rߩmʹ!ӆ 8Co+%T2bzA6lcmS=Ё0YA\Sdm*/&hň{l)hGSEmΏ[~Rb 9՜e'-{hO9Qn6mD ݠ<"I)cPF< Q17ewBq7V"C[9sӟgBfѬ+qI[/‹e951)/G-h1=3I˓ӾHX(ds~;ys?.(=79KWoֳHLF!QXޓT`_bgΛU#+pm:Jkn@ӱq왮 hNم9JdSE)aAEP.*jt |mElppFl8dD? Q~sރTt-v<=m q4`%-< 0"}}BncJ'+ttk#{BjF;hlb}Oz]h/%wuS11O8"bi9o05NNJHራە XBhPbY_5h-Lshe4v_C'@m%?0i^u\SX:DoyCfgzGZ_65e g`7\x`d. ~y! SaQ>,JkicN_G^,$K&HG>*Y3|ZH]_ /Ɲu럸15',(e9VtCsJFn{ɒ&-6e1lT6$ڦj%羈pTQ?!SV7R\#|9 /wxen]f%>wĭ(M6}§j&CV~ s r#5W?ȣy:d\ [ "{/?1gYe]}w/qgc}@[_aj^KhTjT~`ONl1")vFEj=j|i#\&Su&ϕ!G9 JYǘs0[ ĕEl{'+މv5]G_I(_sB+I4d[8BI|K LM)郴fc6'Pڑ `Iq@tW7_f.Q_2O6-Ǯ>= s}5Rb͆$6v ;S(92Tm֧|i<+t~l)2 PM=TP\S,(#t ĝ*sDRwDxX`R6UboHßGך1`-&b/ ޿\'B.`b2 ȧD%Ʊ \N$o9n]!U0)=w[:z.E0nU'԰U6Cհ!x m= m Զ]z.(fSF ZzZ ie9R?MۓȊWeX#%3K;ԍ1'`&Cy ֶWߤ~#2U 7f5C p* )e,ҩl).綟5Bdg(^ZtѐV8XfH!^ӵOc[f|%<Ȥ;, %`z7ݸշ(=4> oCČN>d{26%5LvyϷ$h|wWPAf\'t;XwcA٠܏QCL*XQ8۫Xصpz-BS~xmH'&اB~V5Gǵ2цB;q %#|<nAu|SX<ά<߯.iuJO gkN2&Ԥb>N:}K r=$y6b7T=@e ;zX|J?GPLH "Q8O8j8OUp4e8q;8T xcC!F[Yϩ(ёMA/\A/!$z獀'4QC!AwɲīsIG:S5G^p rw9+҂ehCZUt7]m/FpWTdg3ڝnASaeUhAΎ@{}hMczyYO%«0 OzM䬟 WSrV6w eD惸>F-Y1lgo΋̚Y~rw<-Mhi^;x>fcYE u(Am ޸;T(QKာ0X;\hg׸bJP|Wob(8)DvZ#ю3+/sy~ǽu]q$a#lWWsY@r1Ѧdlsw+u1heUYYޘ?VZJNs[. s7m{wK 7e_f3i!@֎;N,iK F0Xu+]1;T=kaz%ERc\ /`Ou 㚼{5k7{Q"y=` TaYZgx*`!3=%kknnb!"?#}7[R8PΧ;YnEqV˓(C1]rg>y]k#l 8l :^8H8/&7bACsf TBhg_Lem;Q~KW=(F`.,]@ϒr=30/W)n'.ڄ.ƹzw@vC%i@ZG$*]Hd48_qCJzl6@8$K{4;#yk4I*Uj]ka9Gti5֊)0f9ق( FE:ui`Bfܖ >PlG NCD X.SHݚ,&A|;ʖp\mf]Ӝ^&(~:={9m{{ ڍDSsu?5&x#C_ZRbGK2l (~*|V˥3oe1[@%,9DWY i;P,3TA;v(y;]1-R?|I!yIlǹ;B<\>:NR18vf[zdCAn(] uԣ=fBDa˩M?DB3m:96Ȝ)&3^xꊊ{|.<16P_85ƪd( L2QhOCa j v[-ÒcHh1xNnq|y{S@%ę*ڒ;}VUԳQJׁ oQʝe<&t#swx My7H=b4w`v.s?7nX 3%F^cTV.(2•d"M#o-z^Dm#:wO2#g(0J o U`&_(b4*Ui),.6,5H˸Qq)-_M+J|E42\W`A{H&`'vW!l7"$hF@M0𯩉d"^D F* ִ* = &> t  TygDbVqF?^JDn(MK!/TހwQ0.x ay[Ȧ-_ =G3E7 ՘loM*!]aAv#\eW3w<+]rkQ{]z:vqE)ͳ4fgm늿q:qJU vJOO!W (c{/WM3SOgj۩_]V/J<GW^毖?o^L-|'(CnÔcf>1cu7"wy`%0F |(S^v1jsec~OiĖix*qtf<)Hr<ا\f F,أd-@S)cD /Eu9ѤnG0LH|x{1s-Hc3<財BuB񡄣>0)J0sou),VqEH}%ߑ ^59U5UG3<6[z,] SPd,SSeo~OI_/fBqi}$M1J~KmE`lc'$v2MXOI^ly@I>щQo,2П[\E#xO U ,]*7[r+0s. &O^>_ֲIFVÐ)jj$Bsm=;FKJ5ybFvH eӕޣ`.QY+lUK&_!YT.7/q//2gҸINV &uvpFyi`TƔMnw,nTC||ye;RzMZJ>-^. t*>3y- ^XDMMr8uKDâəqq;0v/D5߻kHYo BK[cmB*^۳*ZIZwԘd/ Q;u]qNd=:QK Ac6|x1vd%>u4[dD)|}nB 3 c|l`˳]X>Zs#϶Ut7: SML7aS<%F88>,_Ld._ˤ "wTSkGښ+cWw/.[uVD%lױdiI dXڥ $'XLݚp qFcG<7b`/%}r0vޛpװ] ,ܩ8lI.q cw+\poM-ݍ摸FtN<(赟%31rʝt߳ݮ]3pO<@׶RPu"<0vjJ}K 2YwFfeWJ˃E~-Y -/S(`5j#OϿUTr tN IIR'{Ғ4_Gt=|7ess] 8ƞYc0B|JUJ)obC-]+4VQh_Rh!~QV8f|,V-ZZƷg%}.|N-kƇQb2fo|T]8 >juӴo^& #&msؓ<UU"R?tg$öWVTzEW \$1P4Y'a`>:^LCu4@ xE |.MdJ](LlM@ZڨDC\&˂<*] Rs]TؤHpO)"t^̕.榀L® Ts!Rd}LIckML*BT|[OL zv(>>gA"?'cӎ@2qr բocwMf2tAwR˭JZI#<>NbwjR&[rE5^t0IBapO:)qgYZ ^*1% tKBPsKBPs.SPRViewNonDetdocument.tex7zXZִF! },s]A-MՋhvG"uIBm5ȗ׺'vIΨ_G0@>(P|Z{UBڮ]8ݝ7H{_l |9ck6n7_ǾBF޽ #f/}brxӂ1nuN(X*cGQ?c'4\~rBδ#T45EYPe]FU5+ $]zCkU_8fl W[Im (e0jb.]2^{@ nۗDT0Si5@;eړ2)i!dM>=-8dX6>s=_!乼bz%/B_\<k g$'jS)#% lKBPsKBPs.ODListdocument.tex7zXZִF! h]A-MՋhvG"uIBm5lf*$Qx]:27̌:(l]ECM6cl,-z[߾N"Z8RZv5X Eز(D[(6ژ;[Vs|,&0],K7gS$ؼV蜲I<5t' \slyZṣt ' NaZiW-ڡB6_b14M a'DI~ yS &ځ"&4?OT2HyҪGA5l*TL]j&пxhP=4hwh$'<Ɓ|TnF,tٜ9Ouo$\BhWÖue2$t8Τ?HwYu1Z}s}Ki峽K<\/'{4:RNH]x6@PAU2!H]ƀ2O,x-3x](MU!xT+@l.Ӯ>ۿS8fO&r&؈ce&?ewQ QOt~?[ctS%[JNJ"%GdzRO"` >C-Mȸd{,ج,-g&'wݮ%F &~]\J9-K$%bR(Qa'1;:HxTp\{5pHM:1z.|h68W9 8DE X= ;SȲ=-co&Ԧ ns/a5_DgM37VTu ݹ1i\Qx kupr!@!ʘs' /;y 8ojVfGų!J:@+='W ; Uc9n 8>;3JzIhCe'@dHy؇eS- ;XM=@|;@5/MJy`Fү a4O9N f:v-;#@SPք4E]3&KDú%qz ] !e|chQ??Ƅj|Js r4adB?x䈊4j:.E ia\oęhVжX<6ޜ]@ŁaW(ER$PIOln]h-] ?)۬v2) 8j}#ݵ4zOa9Pw n3tTfWuB*kLy9WYFG{gq#\׆Ks3yw7n`Tv0vy_FkOA>Qd`q qV^2Z+A=~U=e/13*ZUP" p3n n<{׉kMҥ[5)}`K}E6 QĈ؈ mP#9[/>ٓFU[ DfyiG uH³q1C"p__@%DxDxT70joUPڧ$&;!VEmVP;nى{1D7Ca$\6|:Bd 3)l@ga?p4r fA}v'T&xhi9aoBieP8~%"oUF&ͿS:C l#t% SMY%f21/sVҏ??lH$k[G\فͨ$b"rS-ȩӣkT,˧N'B:0"Z̞m531ɾ$^/y :LHNZb*^fR Ǣ@vIawS NJ4tU)~3Ku[gdb]&Q9,(o<$aeхޣ;p*a;-T  6KŌ/YdQrB3"=^Pz?Į/db3lU>~Nuƫ2H'%bkSzr`l#2w[av2K*y1l;zqXXt7։֒{38a?_FK)e#rdXlGC4S5˞~q}:Df}`EaՈ+ XR*Tlߗμ{(U@{Ngo^Zٷw'Zidp3,bnH\6'[J\N![ + VJP5 Miԭ7gO]t 2ČGie e[rIeb,IAIe+RtMȏ5sb0ׇ1j2WRUL Ղ߀sY9XXOhVj2V>3l`no0w=X+c7%4a|5m1⠑DBU ]EQ7Y4r 4W%MLZ%\b!F]Zyt>ӁSoREّ?9(^OgrɇݲV4꣛ m&[|+\ǩPcRQ>CZTF,v!sό uJM%A k2)?k5zwb tzٝ(Ӷpd'kvU._ 'AKZy1z@黹k,Nu%38謲-0ewǒwRE0I~^ѥ~ruKwqn:lN,ƮYFέ f"⡈ꭴ-rdMO]L.slNfn0(1ؖ‹$ uP9J$պRYװW+OsBz4"M܆5~IA*(02> =/E#c$'-f_z4S?ޢC#V,—9geHV]xgv^n|H>4gV|L7=:lP?KUNsAJ'n謼uOV`\oHE[Bo.L dzy "ǩ}Je{B6"~riWDAKe2 lOeD(PЈbqw—.s={#;w5@wlxv_Zrjt|j C$;y(S_7ʭQSgUU|1-A쩧S =?l4$PyRFOAw߆*yePt$Gq_B? K&$yH3xh*brWW6kOL%^eǴh W5N zeV]X}z+xNj&j8ik+;Gu9B gf- RhY(x3> Ŝ]XUy(apRTy ל#; E:NW-;"ۺtT< LbȮP{;^6:Xم<Ԛ;؝addg:ǀ ho,RƒhskOc>N80_*uW2ɮV$#~"C@RkwCѹJ)z󞿜AXLiXB}pd R췂}.U(.] /CQ ,6s/P!-;i9<ԿzQtNo4$}]3װnX|A_]jLh+C\, r3:y,!PT%}@+Av8%!hp oS44$υ1@M5IGKTc# 4&)8CX:2L =R76ppu&i~ҍ$sCܮKa\>j8L)SxQ^= fABcAQh|Db T%TB0*{L}Y`јtB ,uqwPzANհFϞ"zzb/0WU^a?M-mQ\4/r_ ?{ᄺ)~z 䲕%:p <|UTIM_]PݾO?5_@ơ^1G'q|bs:G)''t~r>f D4HaE x2ON}+ WK'`yZ%hzqz7|W44{?+rq>?ZyF1L}{׷` 'bv|jvƖT^况d$ĆGQ0Uʋ(bcz)!XkΥhS*w(NdyUbY%хYUq2& SE/-q0E١tH1fj+>e,лN^OۈRUT޿L I5e*V 3:;pp_)0z {-g OAQo С^^U\P@}H Ѥn#YBܵ#q srdɘ'gd;GᔾA(hnHr\lJywf jYCQ;_Xl8 wo5yw-WK Cg[}0BnZ\eSZ<-Aaskջ(I#k8[ٌڻ&!Eɶ-bǙI586 %o,qtt g]E)<'n$4yN@Nzk r&+A7 ¸"J-ZmC?Q1Q۝$RζJ֯z"ϖ@&':bӟpIw6RVF4rldZ¼aRJ),u AॢGEBTc}vA^IU Z2;k+ANjJC3[bRMp2 r4%hP;>0Vb $g}){s2 7lasћ%FCNM Puǔ ٽ ;٨{+Y 85eqi2gC E!&Q,Ap"mSFOAE_6;THtńzsϜ߽u) p1]MbzMvmۢ2,&>j ҒlzXش3Nzd&/!pˡž}; _;TeM^Y>%B8QÍE|q4={1` CtoIT3^d(_9XZCu)hG O6D~jpw+tX^aߴ|7 ~.Ӄ]H/R \*sDUZbv 9ՇSN'hYlئYKLA7!=MރrQjidg> pbs>D'K? ,u+2[ઋ˗R)m"8Rҹf˭TRr~##%s93|Ŷ L@Go=r'MfM"K k}3.7f}6/ʜ`%t.+faNY*/W )BFTrd~nCNjB~@ADVrWaz0f;[2J/oe#E[:yY0 GMrGW .1j$iI'XRYNPb"G۬Mx0F>;na"&VJ,=~2&>*jiR ԸsƗy- ڑbYUFٗ;긜nU'Pk ? : !=m!: wu \6ƭ''0TOI߄\PU 6Hڂbm5ٹ`I{ELo24K\-;,dyvvla0?.\TU ֨xn~6w&V摔p̳gmVM W!콎Dddtef:lfCd\5 8l}{cdQ/G5::ߔmףmi!#nuxxUߡ9#<0c&qcxl&޺Ko _- |g@M[ɺ_Juلxv)O;Y`>9si-|@ />e,3cI={o9}?I|ޭ4zAF>PK:L~bjA#|3\ɿ{+!+> Q/$>cI&˘h6:󡼅߁ en:2MaU rہ0}Ȟ~#p I-M;
  • kJj'Y6gh2~ T`>VG&$4Ip,ZBct 4yeMd,\xkcZy4R9T| 'lCa銱8\gԞ~bʬ3RD7ҸP{yö͔;T}yMJeUAzA]rKQ! G CDGh89ڐ 67 v"tnΓCy(]Q]شSʸÆNZ0_Je_h H,*g[J$rŁ],Ui29nr7,* ZXg^Rl Q pEP΀ ↕#DNSչ4qe1e$"C Rpme,(؃_J;[Q4;c::bqZ$Z>fc&Sg쏷dL$.r'Ө^CwE%zzt@P)#YFra'ep7q痴<FENx-T$H~@>ֈ*Y78 R1\"VִHH2r~ୂC 7 D{D&<9TֺUe}<*k|Ǝ+JTs._VBKPXL%Q1>"4Ttt$6.܄흧C,m%Ƙl>?oR@o w&ƱY{*_DmBKjG8u**vLpšf=Ti00keJiI+8'm=ZrdBsDL`կj mh̥OC]ƶ\ۑŒ\x}Eߺٸwpxz$`i.@ti VbpOE9"\lM|݂U& LޏMc}Ql/U3fǮTwR9$z@Nm;`(Cuƨ`o.Ϸj恖9ni9M] YH!B+Pg@AWZ8΋30AES" 2SS?ʹ]@6ħ:cPVoVpjì:T@ EP 邸KhNcے1h>D6u,+w!ߤ΃j H'J!AdxtTT/o"hOER {$7h] D)-N)Q3Hi1˛UL/SR?ɂ@yj WDnb.57yI?:,JS ͏ؘg`qL>9M (s.Lb%PȻ9+LBYcv),J'oe~zR=ht C%} 66X%4]؞t,Orp[׽dq^z+N^Q ?g_ U@Azl{ Y>pBX6G>CZX\bգ[|X@%T<ڟn?gܚ8t<Ε6NBrc,bLyߝ:d2ޠ11둯.wz7MƔh]PLr@+37g,f>HZCb6ZZ#R6Kag;_+DvYG.$0&=Si>7aR M%kjͨo `Sr?`@ɪA|gFZ[g_AnV2Sg0C޳l7Q?s<{X2Tl礐#*HY()뜙SIўB7YzcDAO4PkTaWK>`ˉ7g]h=U9  $ud[f󊫙 0i=SF!0Y }Ll9`5CK.>ɋ D/R358dq08ᏧqC Dnn/. :JAV7‘0d[ !:( cwԓ }6E,R`$'u&I1+kx멲@|-)`)Zɼ|,qA2=*ud]s4A0u9M9L5\4<QgQ*MDsvn` gm6DB<]߷Lם_*Z-)ȗ<p^6K!nJ^Ri/Wa^@ڥH2oKˊw,Awg(btppS]̥!+6UJͥ-n?q= "^`eˈ@L6eͺcԶӦ)@G.D/n{DnŦ)`QH8F5WgC/cO iK58}LŠ NWi*Y\ EÐOk?^>~K̰ɭ-W/sQͺ@mGkݣU0 >oc4+ +% $KBPsKBPs.SPRViewDetdocument.tex7zXZִF! SP#K]A-MՋhvG"uIBm5ȗ׺'pG݃r)R6|]\na:TEkB:s }$P/KאָFw໰v?O"D+ @H.X3{4 ߱:,w鋙 H`UG8Uy#.dTF_[·Qn5qE 9Ny?3Hkw#cy'"Q1"m=Z;\A]g*2h$#sX5@ĎI)Ju+Vt-@*Hɕ.h ]-bf:T@#r4׋3+V+k|.7+2!cɸ {"})Ǚۙ.^KP07:6u'K)sՏ.y\=>|^Zhdxk# j)e#Y|n{̳T߸b*It[1+b j Qon WfDF9qѐr_b֑K; tgVuSLQ>/tCRSdK]F|<2FA2n}Y|m_;2Nonx10f>z+l')`#ueq*h'YT۽S7 /E<"2off0 5 FW2>W-bc' fIh"5$>1m]*'?gz-S3Cd'oݣƹpf%>\L?bYJcvqZW/h+0RT$QoӒw~Zv.nkGA*q\K쉪))ď!_ (قH}lukՈ,c}]]zIR/豥B ՝v@2) i=4.6"^ib\D,WLwG(дz%EV^?fHˎE~ƤRXʹK LטhvpWG~9lQj]e28cV P0\s!74x' ?.tT =|ڟsP\я">= PSAy+I.@7?U9ǖ&zCP=PR3+|W=?'yNNI*\2Ћ+ڋN_~hY/H3pO,QHp &D: Y $:[klЖ<ʱt,(]cͳIJ'1ƼhiOfU@1"M -LĠ݃&x YSvb1.: a9zS:d NKKz[Ii`sXC03Yܹ gՎu#LSw^ aUZL}WhV0 $hJFHE) ŧrN!DL M=G?޿] M»aVQfMO= _e|F CTG(DzHLi7˖Ze?/ 7"qEH%Ntvz*=wR~id}E/>}Q*Najw˴<{Mq#Y]iejj AiUKyL-XjG+sa }{#?lӐҳNDY}W}Fੈru ȼ`U  ۥ j_vX?%ʤ䷣fbĠ9kN}bW1ܣ-絔Mͥ`8TEfa(F152 ӡٴY'$L$e|G>`{S}>FM+{!/g5 @c@dwAh&vpүT3ĺ+.l)eu:3T)թ.jſorg/6S }y `\NqSm~9! EKHyr$2F> 5 sB9m3"OJ}s),/j`h6.,ܻ{2ѐ6V w5Y]l6u:s%g. GV{-aEXIO1-U@8@t3p%7E>uԇa!|c^h&i$ADC h:.H[" rMHʐD/Z\9s+žu:ɦڔM:Ѹ"ֻT +dB;+A* hhYR 2'%%YDԨHUpMLMm,Ql)ƃ77940DCj:+BHέVq?XCB@.H ># .v:1$Yp= Ւ]3x8S4vΥ#'(;k9 T6~M\~0ܑ+,j7qn-ћP31P|xzꍱq(?ֶ?I2$Z1L?1w?1kӠ)J \mYr"84UʇF#/>y /uȄ3Rf^zá! 8Fn–_5lEE4?;2V>=ZqAqB])iܤ)1ZsΖP^@:}[E27F9'K%cWB{` ]5,n$3.KwbPMґ3y>ċ C 5ʗ|'/*\馠߭qw N!CluCsm K܎-3>.}6NG+|=zҢOScxJԟA&*LCs38n XU=8cɘaLWkxI Ŝ!YH^Þ%.b]_O nI~ubNsgJXy,Ǚh2" ) '?}7^f}&5q ]Q] WS9ܣYniV=@x{=@c\ܽ_ Aj `e?Жzq{ $1+G^_C眈2}w" )M0#X"̎uvۃ̱j) )\ r/R_4|=f4y̜(E'mʊ&V?ٴPo7!poB>*#.N!ͥհFHzb͑U[4v0s?Um_9(-YdDp _¯)&S"̫H[`Fn٬zX0a8`|ڡ^wliӇ^y]!K)'لL+_,[>~|~v݅QIj٩淐bI+Z+(rվZN^&oD(ncM:*Mz6ȣWԙq*%Xs .@$3%["$#jh(|Eכ&akfW,r*M­qT/&Bj* AKein`SQXFՔLȉN|7~A9b>0@1&nSCS}`:TÇ 'm%L^qIM";k*#y閝n &K >o;>n+W!x6ZE`BE/]ukZ<~ aAмb~((F>x;Tje>F?|n7O㺠^U&6Fg,W9]?)%gx諸Fzdzк CbXò-,"6!Aj97ކRGڙH\!U`qUl|=O{IiM @7bSdAe/ɈJ~2oŗ×sjPк1N3”[z'G-a(N|<ɶ!)Jtr؅2z_9͗Ki? .g\(BE =B7u}8|zn7ݑK3~vgĄQ_^L@zmp < GYt:J/DJa1q$M{}R/pJڞ?eMznewt{`Feve]$?Ur;S")pCSdݖ6;)gYZ e-?% tKBPsKBPs.SPRViewNonDetIndInitdocument.tex7zXZִF! L s]A-MՋhvG"uIBm5ȗ׺'vIΧM h6ǾeEy[M"Gݛh"Bҵ;zPu$e[!蘍.3cNe5K~cz*y!fisz"" M?DPNjY9Ƃ Z"JW5i(q4LQ|l`eY>(ι4Qtė_mGMȒ{O&e8b@D⌿?q >8_2U<\ l8ɒm bXPKv *AbDefSU0AuåѥYQcM\k I{ıV0"%Z [Df(  * ́I6xzBո]'H oWt#3tRDnFp?A(FϘगfmkt;B6TybւKSܧE>aO N'UȤNOGŲQ(T0W(Ab@D`fxغF1 D9"b v !J 7{e(uU L"Ò×hA 1X>0XDWXmgPQAGCX{5`E ʺ?+:ϮhX;bFdnrď߿^|_``:9顯Bl5Bbfo)Xus֟ydmG1N7V`kJ](D.KDo-U}cgt-r[Ƌ6VL$&b\My./zvV̯dkMF(`?C1* Uِ9A_e7  `R-dϯOQhOZy:5֚ˌY"yPi UW HĨS{J -C:M6B@M'>[yR q N da|aˬbHV#8Z|,{iOtK6K"Iȗj $72?q*?Jmeqwdh+G5w>}jihA#LgkqȠ]^VBlͱTxn7rf"n2.Cn% ) 0?]}K RNw[\bSw// Zw!J ΀ #Uy+nn:(UAOut<@Wy[*ʷ݃!i[hۨ˙ֿTЌB:&"8mAcRoi9np90rԌoey6&,F{uql`(lqv%5(dI;X ьf$n?c9e3cОZ" r4WdP1qjp~+$F]s"4>6Zΰ5O;lUYgݥc8b9y%}ű@}!n-td԰(-ΎegL"3d c_Y3ygF~W0{rej1𩩋]y J(tO/Ell^8Px4*Jk,3vdh1>{9E xCйJنHKh+QjTRGsހgX0߿=n9||_WOB֮3$rՈ?N^XG-ֿ7c* -GANתAP4It.xʠZs6ȵWdJumq4D5R4]">+]AAÞG jQs5X>txR e/)E(>O^AsjB՘e>P|*xQ6Zb{x#vDZ(+dȬ M8 Y t: j$*+4s SE*bIY 4Oԙ(Уu8},^hkӀ;* l%n~u[!(.e& Ƹes}?at\AЂS  'BG,w${" i̡\ Xz"/`ﺝ(s,KˁOqPϮ_%uUowwLHcN d{ܙ=gYZ(۰rݛaxXv0? =ls}Sx>\39%o;( 6ܩqS-u{ %)>SI 0Զ_KISRV!t~eLd<$LZTyINJ8;K`jOn?)U#X}y^"#r$7,N^ͤ'aK of^Kb7i'kRE1ϕԝYdb )7ɓZ(zx5֢M?ITb* Z-PjV޹U;ΌJaG`Qz9JbN)- 8RjT. {qs?5 cisJW[n`{@د)>5N'n 0qz^RI-'HRpV v9 ģys(]sJ;,#<.ZN l҈kg?,Q~.kc}\i4TjsfӪ?pl~Ca=J֣s7`Z ]BtgL ](5!sUJ dN&t;pWYߒM s~YZFM⵬Zhx no/gG3îU<ܲ.y\GHPTݜGgE\w 5͸/"VYHa]Cfqe~`1ӭkdESを&^ֹL=>1[W`hS*C 4? k j|7" &5>rwSeQ:yTb6ԫ(sJsX#luqiH4Úدx|d̈ ] =Cju%>wa&iH=R!z@WAyJˠ'ߜyulšAepw00d ^D P>C1غ@-=ԏoc/%juq ། !=Qk)fhV*{:14-ZUZ|s$:[t;w9TppX š*Kn=VI Υ$( D_9 D i44[ '̚)^E@gPrvaRT_8^AO_C+#REZpZ;c^J4ǩ5tZn8m0m0@{聒Ӫ^VRb',[< V1R,`ot{9}֚*$:t`%͢JkFӀmxeW^:es) SZъ t{{ȟGS6 qV@(N]1ϥe%k00,ͺ$tIA?\3nc:6A a{(h :Dʂ/77Ү&Mi7w6wFSdbʄ-2h6Mj0=q'2pºaSP;Ɖt@"}W»(} )$,~P$w6J-]MEy~}Eڤ$f槳ǜ61RӢsw*oYEP`]C-kba0yQo(k|8|SL$OzjII?+>6%BmALrQ8 7|s PϟqLzӂ%졋GvV*jMa?l:|<.UJb3R{ $Wz) Ct9dZ:h7$B7Ӥ r1`bbQR፯E9H3H^0L>G|xFM᭢uSUkLƛMWl57DܱŃcPET42uq5jX! x r7"Vy Y5,J>~#3w@4z}15K;5;6CӞH8~_s^UgK6z% ZyHSB 2qؖwLYvQþ6!Q[ίy>&ZcPeRvAˁ"WzSy9ZilyfYh7Ekm`Xn;JrԴ9[ۻj~qSc$] бı@D@[2qlA+%* W0rMBw|,6ޡ GPn/33޿M=JcVs'aF$) u+Yz}A^As0u0m-]z k#*m5_P@2$zl58i}DCpR =Уr0]{:OcD^WlՄ'{N1};XԼP.~B-۱w:4*^]80)Atseq5eX'fD/TYQh+LOv|*'q!knxd_ N~Uߘoc=%nm˪1ƲIU*Ҭl5QƆC8cj[lt//2 \e*k!kɖ+0-Vq|x16l5qE-U^eµQ:AhU@S,)w:.TgYZ HJ/!% \KBPsKBPs.Robotdocument.tex7zXZִF! L]A-MՋhvG"uIBm5*ʹ; &=:_q  i_^<"K gEoXC~A۫4Fˬn !s޸ƣJhR,eIPN[k6ڄnP[\M3yq% ےםM9ƛx.5+bx݁ր$IX;FpRt/wZ7Yslv!̍@%936HE.c>X!P}\9ܝ?eT$S -· b!wjcr"БH/AS"2gx%!IL-{)ڜ';:Rf[oIay-*ĐɇtʿMG?`l:kݕärвG\m_co[1uČͰhg jK 4n_FUI_%'Z廬ZI'4Ү1?rS9˜,--<^QmH:7odNBJK4dI["FP]ZK 8ZHtc4JkYz%mn*{Av `>2ٻ܆sHLFZVؽ+RP~6ᅣ58RtBqh?2tfB[w/AGal6[ E/gJvN+RܤI 뤛 ::Cq7 Hf%;.8w[BRs0*~%{鮜L։('aEnTwWR?LDZKlOB.拔u $og,iFLTQE0U\D_tD^N*D0x;!'wll&7_3%$VAX>FY,VRCsiL>k4ٕ7&^۬bz,D2+^Dєn,,N "כoKptg0thJA=A`$C*CߒXuJ%V03|y3; O |El7ˇB>H۬}1csggkS\EcKA#PoZGJ(- wjYY?+&1Kyyҫ->9Sa' @>zԪ~%h[΋y_DON&حC)BU⊦\^sxUٞz01{th Lpb^؊>0*tWa τGA֙#f_&,=!RƖ|p-}.g>Fscx9@hd߳E)qvjJ~%+埲RXa]F /vܙ?R E.^陱gYZ-.% $KBPsKBPs.KBPsdocument.tex7zXZִF! iI]A-MՋhvG"uIBm5FH))=Iр#䰈BqO188y?*F)4uKA—Q]bULzM,4eC3nN'!{<)R/KqaT]|U{pp.vk(1oy8ME>{ ,v ًBwK㷪 8 Gavag 6l.Ox ^`vgx'kt>N/B}ީ ©NJO 64F~*b|6ҡ(_h-&Џm :X^Ng- ~'_VMȧZyb넽Wӷ,̰CkCxeu`xQ9/VR u5(W2W!? :y '9Pl x_j}Q>x;^H敏ts7Oci?Q!J-ˆ?@`q%Oo.ȬNZp_^t`p'Y.ԽAwѴF=8=OUt6z[Khk\.cFAk.&pVR= 5iabU\_}3` цAY)6(g>(B3*O-hIpuPtEWsH2kn~x4wh.oY@;5u$OP`?1y&ĦO`<Ӊ297:`bH[+$Oͦ_6)gm B-iI"cq❭ڶ]9SjazwB5FT:(ޮk! {2\:8 9K  l)vsy6+pZ.AH,Oz=ѝޭP+)XW Uh2ABJJ[ ژ\y ݞEON7;aj Pybejc^)tszC̘R!);RM |GG ( TuUo!9g&IYVuM}=qtkΣF>Sr6JPu ;j/kWiqNBE2FkR;۠WٍC4%k/ֽQ?8p^"5Ek9QXEAVu[]OJ&ب %(w_@_Dz_ץksUm|9c@j- y|m+KD5'mlS]toP`7;}G12Oک$tw@:{| jKlk?Os'4Jp/aat^p]z==&m4, .57+򹳚Q}v5 K5e.ol%̱;T;Hsitu6b H Oj⇾:!9JTD!褪2bv& N:xƗ9To]( /1LU5Bʺo0}^FJ']Zj{ q.6 0|ҟ.$,?9y"XER%ExD+ #ȹ )9Qzgjch` FaVRtZ$+"klG#GE]7v5Dp+o(Ԛ_|txeDsn6 =^Sdfj[MR*DOmLJG[Ln^'Y#sV|VZZ#~p)S7Njl*/-6K^6JkC4yn5ڷϺ鄌*3eQYU`ɼnFk췝 `"*MGHOaϜ*f D qyV~t1 :c9Fo0i'H ` A U1""})8أ=< פ,#g'V)h[;uC/ޝ^0U=ADw8i>Ok%z1w%i)<'U/>~YQ єdDjQq^;$qT65e`@Pl~ .9LuMH-D;.w M9SA '9=@ie:(ZxLˮ\,gL LhvKCI\9@&[ngmuӶD͞NpG0((7DlO V*&v'՛ىxFk4, PY֟0I}(z"DOՓ=r{<]\g@˲b}-k])u+۵@ahoSz8.N[k8PkGl%]rm|У]7ylu "_t%VsJCW{|yևx"ESA5pog" Pȏ!X"ʄ.K pJ~_28'Β.U;P_$Q#\xwARWw,D+m X)af(o_P(߶GLb v8gYZ {{2#% tKBPsKBPs.Tracesdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5r _>g_^F+RyNUl j``㗫FT#lnHpV|裏UP\VkVi~4WSwE-dS9MNqUC;ԚGHI:miw4KQ6.xj' bqVaTA<ɮfCkIu^QP!%[Յ?X9l>3֡BQI䌽a!a&%M:}vk(o Yۼug%*N`-#)Q%DeG"$*'E01A ^txR|tcm Y%fB1NΕD? *`~ j{Ǫ D hsؿwƱ"KA݆!Y);XNrTa$=Ȑ_MdpxԂXYǍ;RPڀw<쾘PK|ɞ^Z= 'RˑO %&@ʽ>h3bL-,T`r WgЉNH m$f 3y7IgT@X8:>. BZF /jeVRvC;xih|LIB?b#n!Ui~p$0frn hӄBp᥅ ̆a&fٹf[fB*5di=&N25V6v݇ x0ntgcRlcF B~aN =ɜ~/{yѩq"7z=L 9$ˁ 1^V_ 5-#gYZh1% KBPsKBPs.DFSdocument.tex7zXZִF! 2 ]A-MՋhvG"uIBm5h1qr?DLރ%ٗ BA nh+h2;{Z $+F} K 5`sg\ H^gMJ-~营#B=@Oaȕ[C@b@LHgg'bz"PC[N쵂8rE0 &7@}χ;G#sBBKioyDZ# 9ݴ[tzydGg&°ϼ }"j8Cg[mVg$$)\O4s *Nd` {/؏FOgy5t6ii¢˘ߛ֮շbsк v 0OtΜI_OI0{-'e;Y~(nș`,6L ᪶ce?l+nMiMhy㩕̒]4{pƒ7ARI9Ë3owSاvT5r+)Rqc80A;.yJ[ omxu5I!AZiۃFC%؀862KTmnB?&5($7x%3 {9!H PA} N쒩=l'RpkJz?د4^ujǜ+g|sK3Ab;쒱?lz}^?[̂@l0 tf_4h8@\s{lz< ’_i0BGd}2jeAwȌQ_g>#5!(A}'5?Cu!y:Еj77>d1l:?ӑ2¸0 #M /3kV1_ԪX3,i^7u42d ]-bP -zˋSB#̭p1e?  ҳ7{`<8pOH 11<%WƱՒN` 8.^-j5~#zBvp#ۣ` +>N^Ȅ%ӒW4:ȢZE)§23H %*W#1&#k*( QtJ490UˍDwyJp-*Vh<14@u49zScQ0StKA=T\u^& jle7(㫙 ;J>kk_`77h^^zs9~v dVmqcA v6{eXCgYZ $4%% KBPsKBPs.SPRViewdocument.tex7zXZִF! Q>]A-MՋhvG"uIBm5ȗ׺'XFt 4]OZ3 oH[6lY 눊˛TE>O9Uҵ?ըKNtIllZi-hR?h>()4]{I,X3UEk$ja.b=6Yvk'zB%|zF3,*=)-@.`sEbSpҩYiAgW6Eֵb=N٣Jه(z oBu{12uwLBjQZdxB0RZi;q"1yMD<._uG_4&4X TG o.dKOI z|ehg r/ُZuBB4E82ǵ̎1.=2l^ݮ0m*|nv@ˤz F!e%.4rK.fFh}ݿEy!/~ŅEj[ H`P# _wdycN*tg${eйE^ԑ c Ay<1h<'v1K \p.Ս' ~FQmemޭT !Ew԰HcJIJg?@?S"@A.D0{JTAz*L; $9]W"3݀r$hIPO~yHJPzu(l旿 #s1/`s؈%*VWG.r+0c\L\vyP{ި6Sr{לqh49hGmϝ LVLh>Ѓ+ }mcl:xFԊÏB=lk9%[|u\LȦ:*=>Hw D#He ڏ!_!o$8scNVZe(`b8v.qjxVS֓L 9z1J( i"|2;/ؔ~*qlO"Nf6A:&=)85oP̮\qIDUbŷw4^1ڵ@򀖠ǝGp7rfu?񩣜m˫.y$w nuA7ȆpNÍԃiq Z= P~EMlğUϹo@H|ͨ] 'q!of- ^1[חVFvAm] *AǃgYZU3% tKBPsKBPs.Evaldocument.tex7zXZִF! &*]A-MՋhvG"uIBm5|F? D/ԅjw ̹UD9QY)KbhR F҅nXeW2]*jsUtSmIbIov.uH]/Ǘܴ )sZZHDtjcXN4=bzwq~@%#3J"qqs<i06\,,WqHX7p?b`A.)QxYO/mñ wd'S"0f$gvZ'X=GAGn,%cz̓ Y2v2':&WF./ Vr׀J)\niG M}zgb#'p*uVAO:"O'QAz"3B[3`Ƹh1AS2B_Qe?U]?j0 .Zcpt*)LLڇgR+Su)NvlM$(=/b0Qͤ]HMD`)ٍxeEa3so? 7\NTu?Mc7jlUyd9cxg+9C7+SaE>\0i4|G>6h8]%,GRD{QU}t$ o6> U1w<'?C̚mw8e 6o8`#tj%4^L|Gpwr l"|\@>rk\4acl& dgq/``)/0/ς6yJˊvɣJ@2u8~*sM=v@ 3  ~ r/5|@Պ`&ǜḚaQ գ0J]$׆ S\r8jZB#FPb4 }Pktd҂a3kk$!+ϓQsMXϰ 7蒉7ˊ&wNGi`N@\ ~I9-oOrB,~޽~ b N~,JpG.pWgKm3PS>p/g@ج7|s*-J|1)8ح@Pml奉cJ,E貓7 є12.& Cޙ݆XT e$7,ou LՏFA퐧vKjsV3}4G<+D JψIurxc݇QI JcAl{Jw=un8pf9ų*(F+5?t̗2leHM|5(Ao"⦎ع;LAeWQE ԶM{re+sT{nضbfv?4d |G1%lK`< APzYءfj%O!k*wM|9p1j.̻@Hʷ[jfo`XnD$MPA\%# fzB6^y6)яL83+hJABRwR<CA=sz:ϡkؗ+e-/DKƂ`VX;LN'鑫ϻ0s?E2QvMKk5|# ђ ^dma#=Ɍ*߾E6rn!L9]gYZ @@n8)% KBPsKBPs.KBPs_Maindocument.tex7zXZִF! M]A-MՋhvG"uIBm5FdR̜aδQ!in+S.<@:f*z> mxfh Oo/Glg9*̗i NѥZ~VPcD7ۖDoL"%}^27\SNtTJq6q~/NRO3) 8Ԥa/- Zy^ yZ>u P/HH &x!]%o홊v '"m;<,mcf'tNgYZi7'% KBPsKBPs.Examplesdocument.tex7zXZִF! }]A-MՋhvG"uIBm5v'y(cŚ5b!X؁tۘ _s#]6PJ;Ŷސ'k}墙Px^יrgE ;.8wgYZ6!% KBPsKBPs.Viewsdocument.tex7zXZִF! ]A-MՋhvG"uIBm573N Mo GG9jҮٌzG 7NPz A^i{< _+擃/sϤ꬘6 ԦCBggwVۈ{TB^=o*mfZ¶f06ԪP^o.q&ޑn1|KPi=) }e/bi3pd鄕xC|lE۱M q&k7[.v.=0LW[k)g f:Z`.N8?&gYQ+|p"xIOnEզk`iInۅEkPP tЧ"wB5S3cqja;ɔS֤]"iQJ@m{p4,LMT ѭ2ߩϡSy9o54- Vpb.oQ/χ2kZ\$Op@-!98I'N;* R¨WN*kav11 Lw˒ϷlpCCsy?3ů@mz@ZRsĻY &u(H\G]+MaVTˮ GuaEoji cC*H,DAHx .;=y`דQi!J,ތFݮ7\?Q CA0:M!NF'y7wM7sJSZ+ŔEfM87/G;KvK5m6>UE%N-DWk6F4"37?{\^.&BM'Odw勺-}#);.Տ8e' 1}DgAFW1B.pCe94ܘ!}~ PJ>meXBs<_G*͐؟W>we}7[2D/!Ƨyj|)ǯAu(`C5u@(`"Q%HKЎ~>cޞ}cF;0>kAjS*غcd7MY='imU?} }=T C[z iTU6~gؾJr|]g[JY OQ']6 ƽPAm[RGL~Xy^h'`7OA}FxsTypc[آi '~ vaj{m{PiB :5! s>H$Mשc" ٖ~X|KCvkwcKh'ϣ[1e)puݡij:[7aNg fdVM#_w(yU b3E n5tS)EfQ:x8aZ@s=CKr`r,̀"/A0H;ՀLK*) P1 dR2V_baAߺ\Evπ 䦱k9E|j9h"%>,Qqm;cdn qSy[%ʍWۗ>rw3\jcAݗqSCkt¸Ih\'4`*ﵯ,T)p|/a.SUX֒o)^>@pZz_sS7 du@5;lVLΛ!eKLWBAwA?!DӅB"r}o@m\O^>y<8iV#:KNȵ-d6qGq=>Ks [K8Gh5 mtY9B<^_ԓ0@6/> lTr?N7I:K# ߳M`972Y~ }/Ykي+L) ǡ ;؟d2g|wQnq߭ȇ¿z kءO$ex;ԙ)_% .g+ Y?jJ HuX,:/)|M<?M >Yܲ9FS*O+ޔg75J(?3WͿKz\DvI73\5) c \~-E؜}3*gYZ u u :a% KBPsTransitive-Closure.Transitive_Closure_Impldocument.tex7zXZִF! q]A-MՋhvG"uIBm5r s 4E7*3\nvj\[ ,0#*C6惒!h(Q qlzr0*\r6\Xf)"yɦ ̢b.8k"9{ S&KZc7 h,ȵՃZx!N7*8e [2!{3P7Z_m@mUa4 K{?rYzTE^ri>:ϋ>oeGܢ՜LE{՟.?3:YY#Ra|*;_$8aW`@`"V?'-ڏ `"?#^A襕x0+˻ILRwpMtEB+U?U/6e8FE sX-]D=S S6. 8$ #Г7L(|9:Ӿfq{$"J 4ձ ܶjEu3QMZ(_BNC7 T /r#v뒭Dx`ވS_z('Yk#-X?oܸd~q\ $<߾k1eAoa68ZbV!|+>vhU<Al/)0)0"|ROԣpkKĩ%H*Txk V^HzAǁbs}$=g$ `ܺ !=c*L i/ԓ.yZ,r .C4Ȱ$ɺݪ!8GQ^u O?Y% * wR҂ e]-p!!f7UO'BisLzS&/ѕ]Lsh~ìLP댪E:r f-7lfY[t3:嗑et$l'TqLq"8 j0=0*OcHͽuSjnM2!O.v: 0P, SL40UI.3'K<F,(k.N'JZ b"{z#q2~2/QonP6mjB%-cJ,*靆y}Qs!0)]|h6l5QNPNJVk"6YG&K"p:xۓ/n|$ەX]HW%!z/rҔi7d{$|rҲRϔ `|ȨR7#Ru* Oj=,Y~Tz`rB^4\Y&s9#% ,KBPsKBPs.MapOpsdocument.tex7zXZִF! ]A-MՋhvG"uIBm50:-VxNjB}X5=[I])l:U` I{2D5IEq3{@ iϲeGIxQU 9o0VW%;/M#HX%ˍS+g^-r8]rH6tT;5@Q5&9+Ș's*`Y0|]L&7i&~Fu#)&myY۸}$\y+.8G~}@ `}1U9qǸv~"悓Fy+ϖ5 ז 9OұA.%.DCkՈJٵ+6}(u&dz3SQfm$f Aŵ4J)5V#@8\+,Y}\Frʜ'& WZFl/wr`p+ Ǽ]+mː&ʋzM{RR(P'W!vȖ$AS! #y6EHתSg7@kZZcs(*t=ʂWޞ[ej:*]}~R"U媀*W*4=~qzAo6nSw_Cyc\-JJ7Ujr9.vQ}3X!ԹR+v3d tB (U{ṅW. jr]szFsgF=yzv2s*_Lzqi0"\4q.?A"(UۢA$S+|X{(9z>gm&LRӇ(4XK%F+VmNI 2Q'Q#HV@$4恏Ȅnt3:Wy 'qcD$귺J3xpךl0|Q|˸dG?/k }Q:y,4iJz2jU-9ëP믬ӘbtVEQ6  ' gYZ NKӑ"W= E\o/EX3,H|@`{~Ԣۜ'3aoe辘. ()cb~sx8τʿ#WJ7]?ܮuZ!C7 O w ;GPHLT7b︭owypPK`2R?% 1k&z3oan TvTf\2ۋ@nDÒ͗N{8hmS1mG"UwzsWyxg~$B~GU/:b&14o!mI()maIpхI,ˉE71$U4s pxڔi p'u6G\+l씯֞>l dZT,Ir]!Jdc'f-:jM}bDzuExZ)N[n3ף3 XjC86$rH !!I,g̠s7 iM:O= b>YJ>!&,!/ 0]SS:g mMO-O:#$CTYYgr#PY쐁u>\ۅ9~JQaH #5ʮ0Hz w7f2k7.2?r[F{~79Rx\O (`5^ז-Iͩ]q ΍N[ARꐲ`_ҦV!UvZ:=\%5뷿Dw rqo+sgaHZ-z6%v;F" *!W6J5W+)H2ۥFJuFy_daw00frGӱ4Ɗ" &)nThO dKRQC=tRz[켒Fv ,bS;:.nqVcրry ZP[.fYf<3hb!c&cbn3i꽜:rK Lߡ@y?%3gk|RrXߒyRKf֞(!:_MLC8n({͂H>D}h_PyNԇutl/)_y"8.&[|?vfjUMH5F똍#ȩx"gڔOD1Mב TIĘhj)q"}ǒ#%#me@.8dd6iR)/5 NR*nș%WA8Oym7KޖuTPG4xBB;bN*;jџ̭Ļ]CÏٶߟTÚb`k~,_5r\;;{JmTg zhKDpap] `~(a 1n$d]EQ]lon0_?BxrFt权Ke8xii17L(yfT{dEߐbҷIHmS|LYIU/a І*]iI ,[h݂ݻvp!] N7#_td h;#JZGǞPfnӻ/`*O_,~,HBxqd y^ʵ͹K[xb$Yepkc~}~"D9K7z"Py{B˔BY.Y"0&^%)$V!TzN5"]Qsy P")Lxx[n`$"PQМk{0l(j;멝lkMFFe4_2%gg$PwFuOٌ+dnAqZksFv=5Yvmi%!>S; 8𹦋}p7xIT4  XB/o*ˑp]f d)[Rx{Z6-2wD( P-gW ~M ZX7WKV>) #9kdh<0\&ϽQ ~/t8l%cI)_VO7CģA$LqRL>,!j3-=lʥOeM92m&74`l 3?[j~b'+>a7hYQLx#C[6Ȭ; ,¢&Wc_R+8 w s -ίc-ƅ1dG_yYM )j!]4E[/u*-"Z[#Nu`stj򂚆'I6& 66?iq% $]ͷLn~T%7" 2aNp w&P4 ީ~q'6YAOoxhvԡr&%0]iV',GH7I&xi`(> [)]>v8u5Gh!&8>Z&24lJ lǞy^M DJtJp!q qg &fH E]>*!ά*KCBY*X@ $<$Fq92J*놎ح -RgzfLj¶|چvSn;mQ='a@yjv#ڨ6(\H|9օ DO-s CLdU%Q5΀7 4RKc.!sN2+A÷%+7}A[`I,>9ӆQ>X?NL' `lq۪F؏k@PKIX>F2P~Ls|d" AYUߣHR-L$h5C1XP@QI0L6L 8(;G$2I3G%9D-͉EHZ7nlif 4I -86tMNǭVKim|w1MzoRS2A4纊u>ݷʥa歙2GMS g}̱{dӊjem.%s]KS'AVMo*A՗S{b-2c1`(WؼTL2w) Hv9釛w$4n+dgYZ ;;B;!% LKBPsKBPs.Trie2document.tex7zXZִF! B`]A-MՋhvG"uIBm5r)N4hD3"#@]-Q9rgpRp>rrиzt>#,NCaiə"Dr_xi/Y*PLm ]kn[mw%lsYnăs0NJA X{߂ _\eZ^oFpY0мl=k]tD*a"ܒj<|4-=&8dLSzP# GX>+yDoͻ▜:icэD CJ zӜYӠTpkBdBNܓg+f/MT t]Ff0`Mq}]s4VA=X: OH*=/}z`o`,^&nY0 Q.-j`g ka^\&h/T_ oU$L R!@~4iZD)"/"1OgM e~ߧQèǙI2߻2[,DHz"#|;xAez64 V3%\a9ޥPskk):Iu"z Tݫ?tMmb$0IˤL{?gܪnm! 0>Ãǩq`5כ|k<Ŏ,Y{[r^kB"NAS}Xmo.<;w;lbO%xYS1b߳mFug"SABv.)[weI gYZ)V2̊]s}pᙻ(JFK|X}SgDegy3+W?8V"<<&5m2fוOɇH驦 .WvF<7?S@ QY pN5NsP4 &6i^2{a,>Jx ˸5!fKrV'.i㳋U\Vog7I!d󹦯[oX>4\ s cv-Z ڬ[mU Gew,_v(;VVKT\`{ ŵ%9aFȿ!hFg71P*47*MοYi T3LA`P?&tS$;/DӫסAe_آ80F*0 n+ iFqC;Silp#FҲ֑}Q3@ƚ{<zq2R}7 6=$qY3+:#?+QoIӲkuVn*Sd0o)f|IX;+eW~;H@qrlG4Зqlucy*u7NOCbY Sjه9e684k_תD6lGIBͪ#AsoI<לj?@hh&=G|nESu!Mj2-zjO"dB;!iBh[4!saOI8 )ZXD~ݰG|@J*.n<_E>W )$̠ 728Dᬚi^5>Yyyj W횔#eqwG; G/ BK]&@#T >l^:^z˟LlI.%W cA{[kT5˛~2fTzy^|QʲKltO5.:.K[00ɄGIH4XE\csUt`L!Q e'ZZѳ]GwᯔCU;U婤WE?y][S\0y+Fmvc],>bpd&)}14m"LvX(U#~0LS%1D+e"cb@ 1?bp]9CK6<5*n$>[$9n  蝖r.wײ[Ell|$z_-YUHJ$(OhoW2nS2Hד?{W\?aԢb5P{̲O[zIoơVa-@ &b{iGoU +i9n5 5ƭR؃~sH?Nq{4yxYvuW!v(NKv Uf #j FTseЬPUX)h_UnRzFDw1T)Sf٧88H.ˮbݘ%6Y fg OXxyGpi;'a\G! &G*ih(lA^/}h'ؙW{kt!MZzկ0kY԰ 4-d, Ѣ5Ow(&Bfy3 g-^F,XMi_6'\ֹ !±/n-K|[B)K nQM .`)"Xxi tК'NoLX5P+U~}YKm =UO\=.=c9V2 M]9!$rsWn৘*[}݀ ӯg.(G}geZ`7Dxb,yU~ַxn7H-Mَhn-f}Q;7ZqaTGYp z{IwiVIO4 hJ 5NaEVB/xsB}_ 7h!KdiE9p z@q/}[Ioy .SuG'UL);vQdrZpSga4i΁Ev{/.rg7|O"UӉgu jHl?A[;װ =;0Pݰ"۴rwz2.0j'r/]|Ň 3x|b*3,/iZY32`& NerEs^\V> E Uv:gri|S_GT'ZS #dMEa:T=SSGe6\i-1u3ao,cjj9dӘrj:.H<,@`HV Fa-8 aa8oVĬBR~i]Ġ\cr+0* BJe6qD)N149cx4= qnR+HtA7 ž1D̷ N+m aJ?WgYZ7zXZִF! .]ŗXi%D3:Xۺ֎5E{X( %7ఱ9AX @#Vաi1OuN8 DaW I<[%nD !l^mI(Z9vvު*ORqu2'Ie63A PR66ua!IRV|Nd){qU2G"0aE:9 -axpT:P8_tX<s6dNL>&r̉Ga@?D%^M ipe;X1ZXR66 i'F:Ԇ"ݭ3ʋzرoUR8vBQ`?Z&#t7Urx'y xԪ"^D&m%~6j""bdj4cW"~"^C-*ZW^E_~}~A^9%X4w~=7d4 ő@U>d8@[z9 1L6#g~rr#FMf!Q+ъ6sf^DKL3 ހ/t:oAjǰ8z)" *'jv)|ӣ)-Fɣu7\ؔ$'H(gجO"/;%QumNZ ߕPѬ+AAȸ`C( W@'ϖri<ER敽TQF+(ht)&6g3:L[ڍ;u'>(`uEsÚ^72!a7p?ffr]\y~^-z'Dmr5zTomFČ7) M{gC󑢜=N"5BKl ӂ^,W_H}~d-2;$a33Kbl(bU5LeգǞp%p6 Q@iE|e}l珠G\:p;fY{'bNal?㼣>T$Ҳ u/]}'q[ `zQMBfA M b4yS,|V#9\YĔ@c tbK 6px|*y)QLo?T\OA;˄P0>)=E U?dkgl*B}z<Cy'ILjB> LBK L?f8y疰CR(U.)?$$_s>pͣ~QC؁zBZ}k6#ȵ)*Օ[d?GywnGpJ'w j`I|?v\/'fK9#B,K^7=!3Y~QH*Ȋ} ˂IăkZeZXgӕm(5vpxx)0K02f_u^/tguj]}5 CG`Rq=szg$y)~ui V%NEyp]G+]-r| hL"x4EFC=4F9@M 2Mdۜ7cK}lD7hy0 C S<3tGV]*~(/#w$.-&TͼvK /GOiwCD#,sIk?BW阅r;x7% ٳXp'Dփ-Lb|`\ic!Dkr,,Gॕ " nB!JdPSីz*ޘ(ڧ&hӬ5Ӝ5gTv= [s-#%%u7b1R)E"+~=ۜr=:&5N# m5)~6&Bl;49Hu1c1+qbE1[R:)`EO%3nU"mpG[67 F Xp>P9-fN!wkQ14aBɺՑL<;FOL\H' A:|Xܶ_inA"N]˹M>zP}"愚`~Οxno85X eH]j^ v#~Seh>;(#" 4B`C$m.^-%DZE e' Rd4>.,]oݟo[_0J?~:Ja,ىSyUsvY-%Ul)ݢ: 558Z7(ԌC ^ ;⋷Y{  a1x$H-nRX w^ž`hGt.+/:Z R$o^T ӆ .ER [BŞjJ%kqg(20ȸcBoaֱXzR@.8<䉲9<;o4]5o1hf7ȋ' ;95{ ,K'-![t p Ikuf+݉PmiuV>JO\:V+kvhYUϵ)i'_&o夙:5͠';`o]xYC?ѐ“7 kY±0U C0eӜO$٬fhi訒eZ^>'cbY^i=T]aG(֩l;iOz0F`G!0F$CS|j4vLg?U8NzEYLeѡdCKǽTlBPl >czR?M.V3{#FmXBK)ld{x\XK? RTnYwbXB|Ri]ܛ| wΧ+z re`!.slg^g*W%9km\`gTzc=CU `XM߄{ T".x~0DREoDư.4UVKLNWD0kRֽ{˙C ڂCґ`nH=aZjzhߞhaH m'gkŌA쀻 B>}Ry~I1Rإ[jL4T^#v7MeQ>##^zRe]c(O11}VkԂ2I-( t.dn(G€Y}_wšfG.<Vً jry @|5x|)~/@ߔA6㈐ }:^ H aNދmZ;›2"zOJ 1I*Z^>g}9hɇV<#~狣 N&?BP| T{beפѫ@<'|UQrEWxmY˿7o:72HYXfC$Z iiWE|?e: ^"3qhZsK ;D߮b{4m)uޥ%+MȺimTvxg.`وU9؆'}r T$7ds?iє/̮;B!XfJn/'Q 7@l^}A U{t-vX%'uAnSmF-@g؜lG"(i(}lpEpCZd@K$+ѥw&љTa"kwj7߭EcYh# õm^)=s9nb/% dk=x `PH} %ܥ-!(P]@cpoB/l_(:RcNz6@s0HN1v@' *~A11W1S7 KK`@tY,&\*;5sPrŭ2'Yw@gޜA1h#w\ ӂ|7i@0ISi>}༜T>Ґ?G!8dATCutŸm-*H_:7Y+y/|(U.M6IkҦ8+%GTW/j'|DɢӳP Av}4} D0O 4=zTrW]튎w^B*v‹y~ %F |u%_%x^ЪvO_Rv6Lsa?mX}|B[nL$p۶љ沕o萃bג2J=Y/k_1yV=j'Y$hEˤ<f^-i:Ⱦ5ɰ1_Yobc/ds` ^ YMH*WMa= ;4h $) ҠSXN}Y=?0MX+v{Q':kM9eCu@Hڇh,1b%yP )]q=.m%BUvS;M1S(_+AM' h@mYeK7<%]wl n;SfY$h_bvΔ{>KlR1 ]V0U{n>PL/VRKl{kve1ϥ.MBM1|lQ"E\i 4Kgáa&EHXc o,Xd́Lb2'QAL:R5 r`0]r/ !.jUA_no+\:QяTsfyr"L%3`Җ醃.( w;aIYp7}qss Gz:)u.p26ZO>gjy5o5vH6bE?`rԤv7@d2! ՝ %۩EVLP-+1~tƻ`uXqp{ݥKܨېJmRqGȆ_8^{r++>QiVUcFyf˜(Nx~<4 TNܢﮄyqj .ou#<|6ບT4ϫÀ=y~0}i( mH\nVe Zז٤Νө d4 hyaBR~MB*E]2^,f\害=Jt }x/Lx$50cM dHDxLFק#@=⡛=1H%=k*z*2fl.+E*Mtd.b{q"Ms O7ry]ꤸ7w"lj 82EyQ("N {@veMl)և2TaYZ+HЎ' ywѕh|mt7}Y9Ÿ@Ҧg(B)kZZk/ZW?1qS0,H^rߍ7{Ε,|kn%C$E+2$Q)"f14D{mnGt*eV _v<9nQ.GKHK#POPzeL[n|}yUp ˪\4rSMD}#A`Ƹ0`cSLo۸1*7bUzA`. >A5._U;" j)R>+8}R}8v(@"ҭN>Ԡ^ gF :~Yq hidjMam#Rh[$u0iƸ\IVv=+*z~„. )s8f)yIɗb2v3M :6`\m8fS]Yü)33E |ө]U/9,ϟW+XSek¦M8B ^z|:6+Q!dSKoFY={kC5jWpE:pV=ӿhDr sv8e](9HwwШuo dYm^4o̫!f^(3.VYQ@ZבBs2Vw?_l[EEMş(q sDTa% _~ܿ.3/謪/LjHbh*օbI0}!.,/I!+x?Av[Λ7fP;@{lnQ_FL٫˜SbvP_h?20LTV/ $ޕJvˤ6Dꄋ0Ӓވ){s1zw '|ą /Q5 *Laݾ[oC%_̃4(L9kSy~q2Fn[xIE3}7Oo iڟK?bYumߍXpѤāT䳭TCFz~iJV4ǹSFo"@_e9SF|4/@ $eq07QeqOvH4;e`}߲*K-͓Sc`"E $ut=k/JkLˍj(1PK^!7dP9@XLlAMp;ԵӸF" AI,Q3s:ծ8C6(yTlMYdK BG,n)=;-IC[l5HsSqr(EpT]PR+ĪWҝmKtE9( 6. IYBrۗKz{[T!4%u 1C:") Ruf+OI '"#lGRⒶ>xݞeG$o()n7JN9H;;@`w蚏Nƴό=HX Ѣ'5 q3tDa#H(LFVr;H$ $FlsLjo^DrpiKLA+K`w+;f;(KDh3#,ׄ(_^x뭸t\wXϋT*6U1IB@O9vyHq_,8Z6t®7rjn(N[S@m (W0NyP^0[NB&Z}tiu%)pId{bK`=o.o +X1rsEOd>y[K'yDS݀)ݑ2ELP_ڳ^!6_1!D:G4W@Z֝ ܃-”b>hjI5ݣ)q(k{P[k@ TNY/ٌ{:TO8V= C=fddlXxa~``F0ܲž u/?AxJZ(@%'3CzZS1(X>\GL=!Nn2;ƈE_ɺ( kyX>" <,H.c" \`d`n$GdD'9*|NK'Z"\弖jJyRv)  MFtt,zczcI]H& ђ@YPg? ⰰ>̤Tfϔ%DH`{?qJc)]e_tk)U4ufGlAeE)" ohvԬnhIneaHX]K!u3z1v76hsfIJ"/㯼UV j n"Њ 3eX1&QA ΋ˆ̒w9nj<_ڝ1 a0Z[ b.꜖7 k4>m˙d<$2;}eyi(6=[R%7BI2aL\T&X*jc]̫ XMgYZ674e3d075f740e22151969d4d77b68058256fb3bc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3