SQLite format 3@ %%.0:  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 $ ] KBPs:threads=4elapsed=131.284cpu=370.992gc=10.180factor=2.837zXZִF! I]ŗXf[&{ - - :CBL8%ڂĈӨKW,@Z߽h,/HLz%0su YЩ5cgK޼r~+ Z0et>ɏQn'qO?63[PTsO'7,)I9\*|7fݱ7Z@S )1s P@^J:O,HA_r|$܉4DAbs,}@w>RkPLb#2UlT3 fԻsw3GapA:.$t: {-#lcw2Oͫx|pѐ)ڿk0H|)wi|CC۳zkX*"ֵs[bX0on\{Ƣc":왳;4w(7Sr;.7gѴ~UFJ|v -N>>?0= io2"eU"%1TͰMJ@/VńD]aGV4v5He*o@PDmʁxV(ju`>EVM{cݲ7^y;P,L1kh*H*N%)RG}w4xU-ʎ5)Ml=pH&J4ִ!j ./L@Nv*da\eV -[ U2hʆ]v0Rf !G:cUaSua"/=ae|xz=^/k-HDd3:պI3}쳑LoP H06a^P3,,%;s)S`ONN(:-~Wj#5Ћd9ޗ͆rZfY1z{99"DU1vţdP-ׇ(W`d9H.]~G(%lzG="]o|'O2āiS һ\!qaٞ5jA>DP؃%`Y!Asq3}%,,o3G&'l:Z bbu 4nu"F` 02ӑ}mK׵B]ppLP+bq̻(uStG6 7[c򒟉6œ,FոYYd 5fxz. ݒ_'dXL^մCe\9X@vq迿sC?i\_؆K=bJQ;lVe?BvALoo}/81&/(D)Hd1L~c咐E?6䵭>OZ~=UEbdS]d o?H񕠣 Ɍ.t-ތ.B7 Bq|3aD_@W씭9иzۗ/y!\v=*ʵq/j`eKQͯcE-;4̆Ln%3jmj߲DS ln5pXu"Ɍ4f3N,njH33a Nɮ=[̅~ G^U9xgvjZ7Dt NS.Z'-ϳiu{>%ƵU~U.fu6KnvdOGe+[wzYFHL!z`ĵݣHUqΈC ,b8 . Z!(N4;w;"#&/K #Vc!9͒@lNƳ[ G*XoLwݵݣ{/6wc%)6RX)#啱 l*'m=>g_hKt`2;y5G(A2BN3-zM_Z!E6^ߋp{ b}ncK$g$BT_@"\Z&{B/^ n|4vK1K@)Dz/RgoUBo^,k|6RĎwU 5a͋5Hm<꒼yh55vhj/BQ8_徆ZPV'Ohe(7J-)Q8Ƴ^XiҧD_'9o{o::g#%sb~g?ܵ*V^D=jfM$vPaˆRեmO5g_[t ,jq"Eekԓ)n("Z",<RGA p`Z8JF0UA;"WP!šlͯ¡Kg߹ҳJ<*zKfuƸ{]&envI+8ߥe.s[]e TX-& 7+tTdZ_R/=KR()Cz'SFr狀GMQaX  KBPs A'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'[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}β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|±gYZKXhZhNRqHԐ[6ivVƸyJѣ"5|Ssa ο3̛H5%`Q,X#V^[GƾDg bMAD`b~OۚUkzgH7~zgU )GB-9o]|N͌9HYc6ubH1wdaLfzIWW`W dx٤zN#*7K>coM׍[.63h|67P_XFמFB Nbt$jٽ -R *a ίZ{a_ājD0ِT+:wz}BUS֓Z};S{G،l `f t@$vUܯm{w^Ry&Z ?tb PqD[+Ba:k%gO3\ɨʨİE̓՘I@ ˞e\RsԨ[xkHH7U4Vu7kHC]]64f;ts?IkF hVf ec-}s)0 [%4I<7$.&eP_(P0=ͮN3}N YsFsAЫBϸε# NXƴ*IY~r\ H̶M+T$MNU.TOZL>KN0ǐDs{pZIA3h).z^(?<BDB x<l}L!B._\}!~=ĈRj.FDRT'[ˊj'0vOM`E'-i B ̇z1|N* ]mJ$~8Y ^9UGX='~)".#3}՞ZI)1@.X`?Q+:8*p[KE]-b)Rr=L{K&rBI>OXܔDf[rVz,d&ppQ"ЀiDcq3+sotMzگDuTJ"e[.ÞހDDw1~ z{D՟{91|=+<,ö,61yŨ F^)B.aՓe.gzjfbzeaVOJLGQ\ho8.K Mlz0O|n(}luLӺ2Y.m po>>&-bOAw 40jh {mmoU*>"1jS# ) * PjTv"ЌT.`S F=F D>{q1oڐCVsU\o;Bo /0^pG=qL VYPO:y0ɒPxR`H}8wctgޗ[MB»D?p{L!AmY⻛Lזhg*3 Kl%^HGqwQeywn =Z*gQl-CY< QvF' =Î5.,/RhVM >dGˑg ωS_G1D&RO{| a]ݚw]1 t^HgYZ7zXZִF! %]ŗXi%GJ^懗ȥ@*Q7F#t~2{-D Vjկ1F+)*;"[ufIdz̧72MT L=F S}7",#(zR&7Io(ue`%7>~d 4=um*[T k]xK*oأu-T;[tϜd3G6CtyaW` gMriW8i6(qJ:-"CAER2ԮA~w[Mhyd@z{(">eKM\]7~7 >sd;FE6)Iys}@%[z8T"Ft/28+WM r->}lgr> ϝ0 ˧SL옄k1_β葓E sZBMhD",A3X\Cqޖ"qB53\uxBn)BLt$ѭ?AdhU:WU4Xw%3>i3Z}rܸb+&{=> pbzn;F=/]6KCw3T}?b3*\E$'dIH,;{YϳMγK(po˱ >%8aLf|<`Zsj L*F9^18j$@v@VRi1BG`c]'OFO7p,=y\nTo\p%L~_1ãtJv&o' dwbl7kQdb\zh.<1Eעe;_`GaB\[eO`~7LeH :?AH ?99ζ*S @߯%В* = H r-B:/ D{%(uHɌoҪz*- ༏Ÿi3*q{uMR҉jT5H9B;zĐʦEōy>c7:QKQ)2ԘoF…e5B-HY럶Zg!iM+xm31G嗀Jc0+@=|T!Z,[ u;(<9$l?¯i\9(;WL#w-vJ7>y-i_;/b+69 no,e% .Y&{AfӤ"`TR:[ r9AFOF8O9*y˂ygA$h26mP[x"aPz5~Ì?<a|]ibxAbJL{˜IO-W,|Jl lo(,[ND9[4|Ja0F)Kmߺ׸{B%,Z1 xX/˯v9EU##TShWsD֓#a3A-X! @[ Bk i=R$x7@+嬍HM~UkAe+&8ij 'ɋfpm_Va9([Ru'[;%e[ҤUc蒊ţ/9/;Ԛ \=AZY /N/3BC /@(]>828[D8V@sI~ }<d4 #2 iWtf\Ho/ }TDJPb~q>67\s)!܁od \Fz31n9'JkE:ὶaPSyRseq7YCJ-E+e ON^QCvr雱͗ߨa>w9T|seӐv$nG\zb5(kJ[a1Dg; >Fs% }e /S9't÷}ΑYå1IEp(C }јKVhpA=(0g(CRQAs9WvWvl @ | &EO7ME-kO%씞o\b},?& xt!/r( kމ% >l1* ".ۏm~7b~vzL;54ƧSSc WyF|!ړ{#W/8p{Zhu6kTNX`S! dm\*P'^~0Da[@Fo=d UߝrnU{ 0֔M|ݬ+uV:F@?,F|˗;,E4=o:po :۔՞%~k$'M@Xgcm Rg Hr '^T4[.Z˙2-'*؜ lPvEiW)+4ivnԆCַ|?O:b Ljh֏S`m^k:Gox7WE2ϣVg}Rք*N)jU5HG|y}VRր:ڛ0ЖciJB TRZ:oXWna]9+;\C^L UMv*ŨjMoo) nl`Dj0`DIQHfȤ`79{twrBtZ Z3wl/twU{(S6>ȹY=߭Ј9tN8;*PJu^FR40rRtlàSܓD'CD^ _ҷ svo})"_կ箵7=WK&֦DRX3hE ƬHy`k)_>Q0o1j323TTvo:GL!2𚞆 ԉmlU@ >8(IV{tFI^Z$ia>^y ҒQG"+J823CͶ>)=xy.ڦ)ݼ4/>9 ZNbXhlN4ML MЃ8\VrE +'1aDmKGھ:18Z {ƃS_{~Kb1}GwXkA?F=`I+BY>K<mdl8s hœK9Q(zޓcz<禯@&L ïC ̜o*:ɴ +,`>pL!WᎣI .&YS{YyBӦc Px@>t6T'H~YNQaKl5qD(Q${:j "ᓋ݌ ᨡ;B WB% ߂mL4^;9#? Hu1BW˃rG\ W#%J^nvO-^7]<|Z]!I&i$Dj-91D3T|> )\#+uPaDװr_|/aJhz|wR ]yOvMT?B[EY26/o?AuX}H>rad>6,޾9ѣDْѾa$6[*w (eLÃV?Cٓ=`"!kFyyRqwZxg^ >R_p`j?L'8X2Δ py1t ߧBZ$_*R'pv'!{2=ߓĹ7)w#[\86%<'-Oˤmz0=f11<*9eh`DndϓT L(Ty||C[$-^]RŢ? W\1{$+sQ7E$/ 7[e™DYCf׸q%\xwԻ8hm=KAl?EUȭUk1栚n%x;ԟ^jY8]-܁<~:Z5{]|.ygfИ#D\+H {% ޛԳ'Anw*ztZ'_1 BǓˠ NßUk?gckNڍ%mņЇY0ZinqBWsZd&|wl?ڿQfSqI/_{(STޢjV9x*2r;N=O"XlgUmO6;+YiAL(*¿FH%%[89y_nrM W!-ISHK.hw\~Լ#Vy~;'Dwx}j1JKK&/k)L20h&LNT#uY>v%A?C-@F?q'$QVQ+ɦtJo+$£QX洿JjbƊ:7-M8-"h["5{_S谠T6b ye1C.>椙OCWΑ+OM#/_7 ~̉49G0oR7~򕵘$}R8*]&?$>Rb}|l I-t.b(nU\! 4VxcJU # ;9hi :qJm\:Rm{b'Qm4 HI\4<@>}&C`6*vo&ߎh1朻!EFpA#8@C~jt,T:"7/sI;pr \bTg(].e0.*%dl]@_5IJݨщǩ$aB.Ir{pQ,G+<~0+2cMaT$-q;j(\4[!쇯 |j+ Rw#<~Qǎ׫4jo2*P=۸DA3L>l>' "ɝ qQencq=\aȭh&E $6ȻܹAD ܼS'YP֙SX B#g}Yxu5ؿVl[bN.k+IUO5"XBwȩSc 4;_ZQPy˶ArV2=xcwӄlKJAAh@- XYvHn]&s"9n[4 fPNL7QkZmP%sD_. (#ۖtsS.c oeO^q]s B*>8@.\[6-~f9$v].=<k: !Q0Ln\B:ܟ̥s kF,qf 8xF֧Pn3 Do7<=ةn{/jiH܂_8WX`K( ͨgp%tVqvJx<(oXє^Tw&P }Ner5%$pHE)6O @SJ_7v=ѩNWOa? Xޮ1S= dMQf.@5HྻtKQG9>ؠZd9B/ޡ?1ID*,^ڊ e=qU@(jR~TDcC״ l_oYD &B.TZcT(J麐2\XbF`trn0BUO/?> TN[0_2ih1جN+"K׃$fpQ,;2IzlR0l7|Ry{'! vȁ15,?CU!B'=X+pSۧ3KW>p g#NW1唰8v[+洩ش5pS1\7pUQ/MS$LE4ʦpYb攧9m,Jc]dCYwlTҘP\传NURkGT>H/?X٫:'(aՅ쓾Ufh6GXmB뢓~!`8 Õ ]1g '7oF-j_Rϯ4kU:߲u*o)ZR;[Z#\MVS$jʚ#Gq 2"\̂z:^WHA?'ac̦xv>Ro'%/YP uiA`NUuY6bJ*JDXg@vCYs$UNQuf$5g"E5#WI  PSBvR(k^ӆ踪=M0j͉fdw/u)m0,&b- O?JqHe9bT%Ewӝk >Ge8~ O@YO]ܸClS~[(/7Es6]NȮh`KU=V6ri=fgkb]BM2~&_cW-N" QKCji V1rI%pKUm;ߋU@A=F׃tc7Jp #Br@ָRҝ^hiw޶|'q] ZKQav,_PKLX m>^{HS2~+=}v1 jԳg⦡\01O0 Mt#q%bb KifjC 2v..(-TfC﫫(2dL"(aʧː<#QlBǜG-u*TVkFzz%0 >2(R.[J -^9Ŧ-d@\b΄c^hd֫ݠ_bP\lђ% uľ mgj˘Fo\ gֽ$eAGa 53:;">S# 3|J ̱gYZ4d0edfdd39aa2e43d42c0b63e3bbe168d79856e41795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1