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  U U,4t ] KBPs:threads=4elapsed=145.704cpu=402.364gc=10.880factor=2.767zXZִF! ؜O]ŗXf[&{ - - :CBL8%ڂĈӨKW,@Z߽h,:IﶤE+rrPWT':lؾԗ)y4 R̈x;\ݖ nM)SW q& >YG'b"|(v  <;֪hP]AԘ/RoC+,-eFL}[53Sq[f8*?`-,~yb=cҋ3X;@HQz;@sޮ5OQ2gBvJ'~%:eVFKAB»QmS+;q`YЯ @JJg5 (IQNolLNmg tl NϕXe ƐdYBW7a3RF 09=ûv)*2PܬԹ.9gׯ_.ΐ*D  KBPs 4' 4KBPsKBPs.ExamplesKBPs.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\rbrgYZH' \KBPsKBPs.ExamplesEval.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Ω>gYZS' tKBPsKBPs.ExamplesHOL.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?(nMkgYZs' 4KBPsKBPs.ExamplesFun.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"gYZ#' KBPsKBPs.ExamplesDFS.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"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Ω>gYZS' tKBPsKBPs.ExamplesHOL.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?(nMkgYZs' 4KBPsKBPs.ExamplesFun.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"gYZ#' KBPsKBPs.ExamplesDFS.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  ba ' KBPsKBPs.ExamplesExtra.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@>gYZ] ' KBPsKBPs.ExamplesArith.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 Z Z~' DKBPsKBPs.ExamplesMapOps.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  G F4d'# KBPsKBPs.ExamplesKBPsAuto.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%] ±gYZ_'! KBPsKBPs.ExamplesMapping.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.ExamplesKBPsAlg.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~' DKBPsKBPs.ExamplesOption.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ț gYZ6' 4KBPsKBPs.ExamplesODList.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$gXˑ&pۀpCCLk`B19Dp0Ohpqg7t"306Vn/ ){at@\I'f~>O'砙H:H0Nr?Y>6)>hWC gYZi'% KBPsKBPs.ExamplesSaturated.hs7zXZִF! q]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm\5(]v!=8 \&"vAݗWe&Rc=3uN]^iq=R?-Grkz4BU޲dЦ~dRWʍ՟';1# ݻޒKx&$kk  ؅N=n\.|?F]/X` }~5bߗP$%M8#Jyob5*GC2BbTWj(Eo`XٝkW?81?гgH%~|{SY$Tb;^UM0p>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.ExamplesOrderings.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.ExamplesClockView.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 +1gl37gYZ C') DKBPsKBPs.ExamplesType_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  ڡgYZ6'' ,KBPsKBPs.ExamplesSPRViewDet.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  }'- 4KBPsKBPs.ExamplesMuddyChildren.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 4 524{"'A KBPsKBPs.ExamplesTransitive_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бgYZx '3 $KBPsKBPs.ExamplesProduct_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űgYZM'- TKBPsKBPs.ExamplesSPRViewSingle.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|±gYZ+!\N k|.V[apt0I} s* ǎsѿ*ULF S) gFzB6S`ޘ- jv]A~vp)b6φ7GѦww,YqV _T$&nSM+ s?nN 魷WN_A2+!Xx#bȏ3 !U~,Z**)%mOb?Ruq )hnDQ$Mx+[)Ud'$22cI&qHO/TQ֌+|k_*67:;ί55i :cr/"ZM{ɽPV#ILVם}5pR1?b_&-F ;%vq%gnh^􉵝f}c5> (}#(|8f#nDvAHvQiVz_Vtwguߙf&K5^A^n5oOʏt/-?^8yzhi7PKqnaq!&qgWe']|ѧYnZ!װ7 o~u ~ v`2q5e?|M֮QGX[-VuQ-"{TM-{IR/zJ FWC)y2 w}z">q22h)%.;Y:D@#>YAiFL3rwT:eSCs+&312avM="D+Dӛ pv}{be@AЈ(Eϲ"l %яa_#8=",Q{ĹhFPWcX^Bj;2/}^SBU>aH6,6b`*R j{ QOrap+#H+iw$IΩ$J͸d E٠̽j)dIVK^bRI#c~Bģ)&']{.Aܒm)xPr>iՄ/( 8/OB $Nwb9HM!1CRK A)2,n.?Qi/Y<+yk7cP>as\zI60@:;YDv@VO.S_oJڸH[bGi!݌@&M3q>U ,+߻d/%toqZB@v-tEࡔylud\T"w\VOZ"=7R|,[ *D-)˥{iě'4-PG<"Ks[ƞ@6i'3>-)y̪ٶ%ܲ _ht 3{Y@迻VXɜ+]Xl(QoKH q!ɲua %x}]=ɮ%vQF 9 S'\^>"}u /U;֮!{{]m*z2=k:ӐEc5WUJߒBIpQ9&L%+ŪBjE両n|v}{,9r2buV;\hp{h{5!$̷+# B ̛Q0eV>|*%ˌG@6 !twlzaTJhw8^;S{qߞ£\-oYȇ va=)Ocbcin3Y)|鰎/cUw`uRv'| UScYBMbr;aQGvz_exg h19IA%DGp8o( (ԙ] %b8h`It(:\+ӺV@ukz:jk ӹz9ƓP #&b5y)U-rA(5JNdp`"dO3*^ΟN4,XFG:w% NPEUCteEbg5Tч*iRdă(P(qٷkw:gv{?3kʄ9h076?"$ hˁ0HgT0ЭNϻOpRHXw[c)ŎHqv& It}Mq^VUaR9~jՉ iGctj=vb,kV,j#OV5Ue5 fvwoD);+A]2惋XibXLȟPO |g"Ww+Y$yZ`r4KwRl gԛ r*mt?_^u07ie<3ǙpōA|((<<Z\Ammۤ\iKSz.N*sVtоv;55<JjT@~5ye82>$?yWИZ7Tv5D5i1#a4]UO$`Slѹ@c9аys5&tƍ^y7+A9٩l f޽yZb3fjdfmcvW t&QqXxyL' -YFDeN\db֟rzwIYt[3$Q3)ȍ˖ ``9vvB{`dZBI;`PapN*0dz/PZX.u=]􈡿H0"ġCcXzS$۫sHQcCPCue#_&t/KEF*qV=Z#ܔ|Dƚ ?ZT[$"~c?5/zp}>%@\;_鴷\yaTO PsŅC„M7Y1SA`"lm^\i Nv_,,h5Hk %xPg=Vf4TYXcH6>۪{խn˥l13a]W-,&[,y/ G\^?"ҺЙNN%50CI˶;rv*rW!DDIi5k'ھӶq ;}PڧY&x[EIi2@bkE'A:8ЏiW9][$dp(WHck̷ˣy]Q8U% 8Iy^EA /tSX|z Fjxkv4d h19"L !X 3b<X0hj+}eqP0E.D~8P:ES5S%]իM)#ݎZE8rlJ^us:U^ݿ5(o5VD] %rv ؛kذgYr6UU}w vJԬXXWng|7bp8%S:~#STېe⬿F3C6cX'Kl[i!M~S' v5H:$VlX Bj`}mngg<sH^E$eTωxR "{5H2UQS} @)3G(ĥgYZ7zXZִF! ]ŗXiɟd0Vݪ?q\n= e2џgA&$Y/޶4HpC) zyvҔ`.W۠ztʞyuoe:u' ׌yf3lzm{تp/U 2WIQ( 9w泳lO L6?ޢFI "} {S$PIWj9QV#ܿ|]!D7+7HCJL<mIK =癄T.HXIIڷ,c`|O:&b6ݒMO()Y8(EM< PA>1p 6w! I>TPP6_1vJۀo.ޘ۲WnTTB]3/~Q`,MgK5(8Pf&G ;9- 2b3vgeCf7d+GN됞҅ aJ?WgYZ7zXZִF! ?*q]ŗXi%BϠiVx2l[o- Iq3D8g 3ҋ4 ʢ &A Vou/ PFܯ=_@􉶖xU2 Qjt[1~ŤX Y#xiG7xэYۉ-j1O{v\`-9tQ7e_94~4 ~ұͬ_/ Po`  {ƠprW yVQ-0I .{2VGD@|x8;:tGD27$lZr$.:I >,y`V }rTہyџ)? 0Igcix'S|QJ?{EyQt{c. &ZkJ0I%g]2VBP5~?BB8O+^ZsF|4֜R{֔6z+/IyΊ+nuwd([{D4kp]!ג+`d(c>5 D k>] 1 [Z95=zsGdA\OR!h4c㧆'x=sB6  Lm9WS;%#Ee RV4>.-~P'c% q,<$e.APt3{6,uyP,yƇW{N.rNt( G蛚Fo,:eGkA>ɷ*a%9fZnZUŸ&#nGroʿ  hRDEW)@i:kܿi5۩qECE& ]Dx5zȹɄ\I/O ZcAXzؽ K- @9}qKȳpd-L)(2bjbԇ([@􆡂͘ao` Qf .wJOx)PWP*:&vjKu@ۅ @ "@>Xk[rMyWMڼ>n)c׺f徹‡#J~{uD/g9rdΦ{Z3M|+꟪&mU$o%6ߗ[E43JJfâ7Ig[T_)2ޚݹ8m_$8b톬1 ؄' sA/OK@F4{wRV0;ˉ&'@o:#Q@mwى ۔l$HpHot"Etԟ|t~qᣒYZ"vu2!ҿGةbgV#덤Dea:) 2Fr>}8Cdž%Td-.je"/,$Nt.TZ :o,@YU@17$&УDF3۳{}L_ p Bn#y|JP%fb7-,pyZ@xĹ,%B1_-$ޤ w0(݆'vIPSuLތ!,ճ+e7PfOO 64* 8*hҍ,ECK9+(j$gTawSj-2WZ5$" A(Z&x5 jZ6Gy>H{1Y+XʼnM~}[+wfƴ^|3AI\J*oHآHKoYNn|4Po]n}̓/Rm錖&8;rrRwmp#u8J5JvR %FtgU4)>CXX9'E 65@yW1 ; >yo ɽ{dk[5 Q1*۳>7%A1)6hta?|~mE^sLjjR*Oz !CNjw]9U :ŽKNj9s^oڇy\*a-v Kl _wܙz=SW@?a2JMŜe KyY%S0DvzBkdu[?fG11BB9@N8JBeD0f' %glY:2ɞ9.,Gewrok&$I4#'DY@x吕\NXE<*΄XN(}fWJH{UG7k6Svs]k؄8daGI`\XUuo'|^gjo]7fBXGOIT^ZBՔLA|?@G/%B:l%<XZ{0iؠj In&mI//^Y4Duo厼@.3v1!Yw[KNk-bxǨ\v3;"9>>ʣJTgepߥ; uN筩  Q} ƽ0 xe;#(KaFY)w!?`ZOTݹ(ߺ~PY&T f9Hm~G 0 -:\udc:9)S`vWK ]9d/էr(i1,w$-MY~ޠԺreVZLP%Y4/05tF8q dRz `i6~{Q<ނH$RPMh*/cJa8^M.e} iG36[Av@ M=j)8~Iw.v`i*8F@|POY#q'/Ё a`Uưiq^S,X@jM{-jeJ`ԁŻe*R>_ˏya1k*rki;*y *Fg5[E3p.]ʐki^u>iz5Abs/C,MQ+q?&|E."ucg7f0bB:|Pb\1s`Hw$ftQb#;K X+'Ubo |Rύ( uT4۵%Ĺ"JVy#N顦K?{H>DdԪx&Bgp*p_J`^?T7lߍ XJMe 2X1cuk?#:xY1Eb b"o@'[\c|N @>37TOmKC ~ Ug-0p% GŠ(_|FeI`gtGB߇=i %4tbFr|_HԤf%v}׺D.!/$7gE促샩o|zzǧ.KGuϓdz1-#!T?SHueYC_ | U?=OXrD;q)# 7-ҌFI2v(N/R8xay6OH{+τm+Z|/i^zv?i~jyO,,-Y6$&E Q:tnɔ>zk/ J(6j~ ؆@H}K]&_KSuvJyӍߋ痯eE;NhG9ƻx -h_`n܌͂$=Ɲ578]$(Yz3T{8ɘOǩmK΍RsWFI %(te**D-B]B>k LVI}ʤ{ǿ5$xRwfZa uZ`3ڒQ{e(@JyHгYhBR'^€D9 T iIE%o*!B:dH1\m_ 7QER., :qҊfy <4p5A7\*Cln[A,|W<߅m|b N U8]f ta;h 6!Rf*ۮ (}U$~-cAH$ MR^&_sL"4B{|Of@]%IMED3Rm/MuBGH%n/l/ n讶]jl)(&N/( $eVR;UÔXjUi?/?y2uq >2 PѦLovr}-uvRگ4%h]@#::]:ƫA{4B 4Gϖ>j>v`Js,q(>cp\X%y<*VڣS /X`Hj;j>F7Y2o| o @68vi^A%D X[!`l]I4k Q k$S* hpW]Mgjeo&I(~Ak/]wb' b$׭uqΨ&ԃX99aN-7.5:BK-j!ۀQ|z+e%Y½j#vE'b~V9x."FR}T*oK0O?2-g"h(4:fmdYh& *FR%{s6 y71==MKF #P45R^Cf;;1du?\qbB$)"B[LgXgؓO :;!)pwJ1tkfj*%%a8ٖE٬5fDY5 *ptLpڦôjS}[~xFB;͙l(8kZrtpze0]0 *QqcWP_Y2<3 $GH "P>$=9\u({36 Q7\Leny3LTqco/IdܛN4KuTe4ErЅma6=uqW\M!kŷarƜPY~ H̿?ő]S:[Ɠ_ T X/@CabaF onB g53N%ėQ\Mdt$6XVchH{,yXw] {y5tT#n0s:rmp"r;Ҹ[ӂדmڮE11ٍ3dSG;ˈswnf0-ص?LVJyI"L [/l]vj&A:z K*_L9M!ѓbF(orP,qeWj8pdܪ L|3~2X Tk֢P`upW[fL+_? κ/%ErLp[5Iѵ]$H҅caT=;1jJfs97pHQNI(iք5qzRޑע joeE[X<:٘傅҉GRp+Y,j'0]>~P:&0}*m".*QTRL\LFOfR3yet1 lHH8TM޵qW9cd}f2uEf`axH`0_Q%H:,'r5 (翀O!rIM`SCy:yE({`gQB"K.Pj&в}p&l*.;4`֋mcL6O5Dq0L7ru;KY'.m0DYXQwu5 j D;=/(OaD<_Jz}x5p8#f(p(CP <]4/ع271+Y_? hj j6 g[q'm2%}}S@s>fժoUOȏ):7NR ?Iw^o?]S~ *ce52Yڟ:U*[pe>BUǹ@ex(A {cQfZLYPNeTaL,j RH];x5_ctL27+Lb(wdvIo+C6wmй뗞|Ǹ~,dG7GH*Pp]**6)BA'~g܋%J7T,#v-VI5*>lT_"<.YC⋵41+sZGɐ,0v?%crvqg ua6I`d̵8,?ZCm(E'?'Kc4YZ }5g9KҹiG9M殦o8W3څ-cHsw,dsq\3tw-C~OI,K a%wV|kO%0S ~g:&?QnхAaL_*re@ ?:i ' @Rw,& ) EK{Dl@Ѵ;HPJXqZUR¸!Kz*ԅI/'^hšmBr6oiNٴ= )-h*ۼc#t{QqAI0Fbsk ~mO9qZOb*pIQ{3^{ NxވCp:HtXH?tKrK[ϮAY!:@2 gop}Ak=fm.@DAĆ n#Ӈ>tM]|\e0aiE rkj@'cW0Dzq;#?;#8Ŀj01=Hw܁l+ӱiG_-om]z);OjtۃG{cF~Rq菼TeykrwH/B)7$0"ػgK ^cQHr5Kw*kRիjQ: [_vHT]})cp/Fԝ[F_U~L$1A3[v봻@_Lc` F/@K}Qg`ߕ:hJEygTיg5YToL^Yd/hT kٓw߷^Khk)[܄]PyէƵ3HiwUHsNG(F!ͦhl]4bs#3"]B9"FAF.㻁e^ړ* xg%VFGRahz5lU &gYZc67c2cf95221fd46bd6eacb382522a33cc93bafd3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f