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  AL$l ]] Haskell:threads=4elapsed=5.536cpu=0.180gc=0.000factor=0.037zXZִF! fa]ŗXf1-%˓sd:Cz5EcܜꀷHTNr1 dKh@ -6K\}gkFi}YZ7zXZִF! I]ŗXiɟ:rny"(p&or][hI7#LLg_J9rfeZgYZ7zXZִF! J.]ŗXi%Ebb Mj2&piކW JZDeƹ0DܚxCf.{sxh??vQ]W.CQ)8G k^DA HG~Yȃf1m",䒟s)k\.gFqK,A0h3"}v|:oD7н4< 5SZ9l'PU^2obG1Ê2>vc+jfZ-DMyg쉱LkM&I6>v-!ڔըyQ6W{q"pPc>4;{^*Ng.D V/>B M?PStŲoh/_m0h?oBJJnB%wzSi<[gy& %KHio ɝ%iy9^/Wޥᝑle7ABNډ_s_CAlӿڟ{Yy24- @:BՙޡeS'RP`p@pWgYZ101978edae5264f850e5b8744ab6d30fadef79c987d722a51b70602a06e4a7b7d793ad6a8bd08e87   Haskell T+9 LHaskellHaskell.HaskellIsabelle/Properties.hs7zXZִF! ]=@njAM k2 m a" Xg/A)ǚbpHN "dM6̻jB.QO'f.A+KdԔ{PO,mS`g+,Q[&~\t]F:1J$6cCM<>fa\ػ_K½2n j}Ԋ} =|4M6UI%ҡLPh:^Tue:ְ"ZS{Mߞ]1/e-W)ΣNX\'URP qdž?L]Nbb1sVS)L6eZy|BqUūVrTܦo{*Eds>z% O{ ؟3BWG+rZ1ACJXrA ®0N 0g4O&hkgYZ,+1 HaskellHaskell.HaskellIsabelle/Buffer.hs7zXZִF! <]=@njAM k2 m a" Xg/A):MS%wE[7#=`w霂 9KQ67Zg(G$o:'`p]N5fyT=|KBZɾ۴fw;*.F%Q sse]?כI$Ļ(Zp[=[9RpoVH, "3 [;i ƺnU]0VǙyX hF'_Wq &;cҡP9[S~x(n֜UJio>봱gYZ+/ dHaskellHaskell.HaskellIsabelle/Value.hs7zXZִF! j,]=@njAM k2 m a" Xg/Aӹp`#T`+qc1"5@%6tb#FN*N?F5K8јA+$ȇ:3+X=l˝jT8­pk paX\k> ƵW1;m<@^a%Aq0y AG3ܤ 'ZuY#Ҟ 77|ל\e)?ŕk1mfC| )6 8mxX+ Ug$;.; {BFtQ:mR}-N%t>ؤFh! `MNÝxtr]d(nBƫXWSrwR 0rMKĠ% VMT{=O]rkxY&lx?>|EZ1GRGKMz M⊪:1a־Gi) r6A A$)[^Ҟ;XArOEyıgYZA+3 ,HaskellHaskell.HaskellIsabelle/Library.hs7zXZִF! O]=@njAM k2 m a" Xg/A)c=W 78A߂A 4\ܞ`ZmUIfr4т9YΎ<z{Yn)tAo*w$3-1eZUL3 {F)7Ǥ/eԇ@-QT!Z_4B>*J_ pT Jȣ #']kP\3ѱ{>45Ũ/_AGuK~5{tڄ,MĮ;3 A04ag ңР8}a{jޕŽ[@ȑ5,풝WdM߳eK)v+փ{,ag9 Bi(j.^H[fqdY3*K01"a8aINx^QuqI, 'Ѭ2gl-k)-98?xd Pa؍%Oͽ8dgQf'"JRiYRg<8풨RqO׹-ߧȶ̾>C+P 42 37 ?R`x;'-)*ǧG+l r[ImSwv>eM*%s!]':|ܵr%y߰8_[{9|Ρ0Fob#PT/-^O,iڪBe4_Okj6n Gҹb,75?J:̪1coKbǽ5'ixSBQ4Hr%_-'AS?͝6 +3x -ReG2ؿī8 CY\IJV$R[/ % ޡx (1"*V3F!2n&/8S֜) /pv-ѳ (cfa\ػ_K½2n j}Ԋ} =|4M6UI%ҡLPh:^Tue:ְ"ZS{Mߞ]1/e-W)ΣNX\'URP qdž?L]Nbb1sVS)L6eZy|BqUūVrTܦo{*Eds>z% O{ ؟3BWG+rZ1ACJXrA ®0N 0g4O&hkgYZ,+1 HaskellHaskell.HaskellIsabelle/Buffer.hs7zXZִF! <]=@njAM k2 m a" Xg/A):MS%wE[7#=`w霂 9KQ67Zg(G$o:'`p]N5fyT=|KBZɾ۴fw;*.F%Q sse]?כI$Ļ(Zp[=[9RpoVH, "3 [;i ƺnU]0VǙyX hF'_Wq &;cҡP9[S~x(n֜UJio>봱gYZ+/ dHaskellHaskell.HaskellIsabelle/Value.hs7zXZִF! j,]=@njAM k2 m a" Xg/Aӹp`#T`+qc1"5@%6tb#FN*N?F5K8јA+$ȇ:3+X=l˝jT8­pk paX\k> ƵW1;m<@^a%Aq0y AG3ܤ 'ZuY#Ҟ 77|ל\e)?ŕk1mfC| )6 8mxX+ Ug$;.; {BFtQ:mR}-N%t>ؤFh! `MNÝxtr]d(nBƫXWSrwR 0rMKĠ% VMT{=O]rkxY&lx?>|EZ1GRGKMz M⊪:1a־Gi) r6A A$)[^Ҟ;XArOEyıgYZA+3 ,HaskellHaskell.HaskellIsabelle/Library.hs7zXZִF! O]=@njAM k2 m a" Xg/A)c=W 78A߂A 4\ܞ`ZmUIfr4т9YΎ<z{Yn)tAo*w$3-1eZUL3 {F)7Ǥ/eԇ@-QT!Z_4B>*J_ pT Jȣ #']kP\3ѱ{>45Ũ/_AGuK~5{tڄ,MĮ;3 A04ag ңР8}a{jޕŽ[@ȑ5,풝WdM߳eK)v+փ{,ag9 Bi(j.^H[fqdY3*K01"a8aINx^QuqI, 'Ѭ2gl-k)-98?xd Pa؍%Oͽ8dgQf'"JRiYRg<8풨RqO׹-ߧȶ̾>C+P 42 37 ?R`x;'-)*ǧG+l r[ImSwv>eM*%s!]':|ܵr%y߰8_[{9|Ρ0Fob#PT/-^O,iڪBe4_Okj6n Gҹb,75?J:̪1coKbǽ5'ixSBQ4Hr%_-'AS?͝6 +3x -ReG2ؿī8 CY\IJV$R[/ % ޡx (1"*V3F!2n&/8S֜) /pv-ѳ (c#IOLZ 9(y|zҺJh \bDr߹0ڥVƑd{0 = N_S2hwvZ|g2T4٬cS}))Sy+EVG`Uy`^(s:hI }m?rUB3,v "uc9qNcS\Mn^{[Jl`oQy'Xh7WAz)AL {dѰ"Ӽ7sԬy1+16*!R}\Ɠz&I@&YqpJձ2_K C~WNS8?D+3#}\C%goȓUpe]kvLm'N6ݜl7Fm T.aq_ *F)&Wp&(ݢY0x ^@>!K.@_r#Y V}wo Q`EVI, -M&.M+Vk}a(;1Ԩ"AfjsM S ,dEv4iӋ*F,dKCcv%[[kȀژA_NWw)U#](kr7R Icew 7U"; j[gYZt+1 HaskellHaskell.HaskellIsabelle/Markup.hs7zXZִF! $ ]=@njAM k2 m a" Xg/Aӹp`#TN,9`h'g.'ݟsZq9 5'[^?^~"?.^H7svzpStl(Kj~3Vw:$)-$w~֨T/Mwǔ̚,/j˭0&8զEK@턔_V} "XG/&yy1q>FL=3Çlt㚲I](C2Qَ$~ٵ:τO@Z:.q>*+Cd[LsV3{Y+\-79dTCvl;\sUõkHg9+2mUίO+(W&X&|}"߷ae])g3)jYO'z܇]OWd$DSV\sӺw?]_~xZ [:~ f.)CqxTuIVoX?25< VIü؟ubϘB.A:B\hYU _c:m5x1~J-b9/\^|{dmvfܙ-zt7X'EG*m2&g\^;gXOl۠yyN?Rge: I$`SXK4*d:řIN1v Cr0vR|pW5(osr;@Z(ضE{DS4ZͪΆQv:+V7ql;8W2[7KW?!b} I koPr _ba?xp/6fD>t,G0H ?ױmM?5mgbgYui2}t!3F{3nn5_OMJft;md0,Y["͋ S ܏-Ǵ\!Wub{X@*e3§\MtlzSW!jO%EFh3aV$:HR]/|&{+ΐȯ2rx/[G\0r.h-i.p/̋.'-5]R9Fg; [ wֶO0*{yծNa1*5BJ5smlXANp+@}%"R2Ic˃1f! ?u JYy;E1yLylQ Nb"qt +*EIW Z.'f>hcr"! ƣC=u{!{gXxTm)%j^KD 0n*Rs6EgaOXze&FY).n,.IT:DA,2^}!xW #ڙ>{&c6ļ 㢡Uyqexw(6Nn1R9 Sbĉ,}Rh'9ŘͬO߄bQv5Y9f*`*{ ZpTV(rVڰ;6 a舺9-!QU$B?!@;f;:̺33_?Xwgb\gA[?a#v1A˕jhWgWi5 $vZ%GQҟAʽW)ہ8V m vk7T*nngz(m!(b`t2CLԗMV9K}ܥhv&emo JpO8J)i\v-VQcl.Z/Iڸ:M AcG@& "Fe?ʨS}:E1>VVtҢdK;i3U4d;4e{_({N?|"]՟Q;% R5Rr~ cOB+d~ucXKh^iJd|ՠd9;kc)@jkzY=DumQڻΞI}.t ܙ­yi+O2PDD v{ p·ߠ.$eNfhHR͞&j#u#E!xYJ~a[Hb`"'&s 1G"|U%Ue$>/F̙huLEIhYgYZ  DT +9 LHaskellHaskell.HaskellIsabelle/XML/Decode.hs7zXZִF! |]=@njAM k2 m a" Xg/A)?F5o[2۸YF'ĻsAb:T}fYWއT NfǨZN Bдu]`)ԮܯsP++ *`$F- q<B/$7c{:3X'ǜLMsH*0Co*볒SW_L6!qAC/}9.5F!qR6*=߾%$cGBE¬q0YcPu愄(TȟQ. # ۰+y{A7o+ ֽj<3Cfd\N,ۜ=H0iY &)pgQ=:D@e'@Uz*,3ȅÚw,ðqĞrKi, `*z}?e{T.!MWoҸ ذn. c?zNZ'~B|(i;΁{5GIiFFmS]8D6`-8g١ *oބf^u tc_oaRLHN}"يe$A!uBopΫ'𡋇Y?YժBʊlcI~4>.Oc?9.ɀi@ɘ7JVM'ـGQ]lW(.HBоW1;:Uk>+|AZ賵m: !8NB~/;@49DNC֮Fy@r*㳹Aљ,sb_VgYZ +9 LHaskellHaskell.HaskellIsabelle/XML/Encode.hs7zXZִF! K ]=@njAM k2 m a" Xg/A)?F5 eH,yRe7#>>F;ۖNdu)@%M{ =+ēIhn]*.go[+'NZ2*HаwmvKzbE"kach [j℠hi̓7JgsӸ4.2:RP|`XjԦI9MK?#fBq?_[ $Q;Y'`yytBg"j^~9#LCYs:#~5fFRjJW9u3'qqāvLT:%QX>~b<',]j̻][ǘ rWˍ/S0K鸕M)06A=k7pd&!L\27vn+ƽ6N!iT+\v̡Af@ސ5z6j f/Q}P& k%(a>hG5WU96Kg xMw e\SYk\y‹^ߗbmF- ȯm+y&(ڿB; N3+Bv1u%6:<-q"38«{P.WoH^KPS0{1;ghsb{mϿSYUc$_H*U"r/ #1[BUǍY.<T&q?u-Ph0'=c1FgSVkbt 8Ƒ抇ˢ nB]:FaH{w&to`('tHf)`m hlY(LU;RiL5p3cQ؆˧ ؜ 9ÂeL .T6{\i9_ م0apyָ#rR8y3Gwc9ߘ)F@,U]n_ŘNM " 9G,g, ҤovLW#VlI/e5+PYò[!K0'6G&_)bJ'Q {hgC jc4vAȻF%Mw٫Ѷ}s2gYZF+- !Bi-잛9 7eoa85 _ܵdR87\,\Q7J \eEXE|s+%7$MVOy& fatr.i+^gYZ0 +1 HaskellHaskell.HaskellIsabelle/Pretty.hs7zXZִF! ]=@njAM k2 m a" Xg/A)ǙIMVmf4 ?fAaڬWD sxML{/(FiCk^'9IUAK~(=VWco}|]gcAQġF6=EILR{3 [m$ғ3%/r80r k u'ud!Z;m<C5շ>=f S_Ic\C,%ږgc#R08v9Y0}&԰փ{kVF,G"3”W1+kLKCuy'1^wk>ve!ym!i/ 43WX?{'TsHVZ2Nah=>GQNIƇj,=4ΖO9݃O:˷kf0sdSE]exW%l0^"ðvvx|p%vВZvY!.<-=6\[ v\oc_щлOv>vՋ ףlRe}(\ʼnC0p J0.C|Wv+SoX+g E{D\d6啦ŏwY،0g7 +~͘aHk3eӺ+p}>UNxI4$φx!ssf|'}ֶS&[,|Pm5w>'@o`1*X|xI<ԏiU@ʪ,cɽs~,ޙW1+˫>MPΗ! _[Υ#u'v0A'sz{ʉs%SuTC<"*K1{!Bcf3Q`^%3%<Ƈyzf e./|Xs Vqeƒ'‹5gt:We ңCkb{{{V6\|q'H~.Yln$z?> .Z3޳Te,`t43 3}], i%wTo F\;ϧ!6]|unyc.d*R8?nPH V<~Ybq+Ȫ4glE"4EPwQ2xLjAR| e-J`oSM_e[lbb80;J:3y>b`eIe)y K2KW[ɖ&U[  mO^R bsM=q-i??҂*6bbk7ސMGgb:WHoC ڸhIu~(! %<0qJ%TiꍴpIO:NKg;6w:CH;wn_K5SQfgR/2G,Pm=Cy;! M}i HieRX[`?۽9̊ Y:v,Y\ }ȱeýU6[!+ 71 -,LhdEk:v^/ t(CU3$9ܸT'v?@:GYPD,ev$SL< )&b#ҡ8}Qb<ϒCy:vGۆE FL0;F\^J圧3OY|HMljTT1ͅ&'|SzehM+Ձ SSc> dWkLM^]iH#>+ۇR1-zϼE}r3ŕK{|NԃYUT4@B6f2ܪˡ#3mO =-u&}hj!48lH|( ݾ.io_G;fR㢿nQhv| )1lúe-`X)w)u!͈ _^WyT(cO.ߜ ~k7Y@C *Z3ۄ2{ߦO ԱgYZ > ,>:+= HaskellHaskell.HaskellIsabelle/Byte_Message.hs7zXZִF! D]=@njAM k2 m a" Xg/A)RmbւivQ"W) iOOx%8 tOERߓ4\/]|ʐ/\T-Rs`!C/QqDa`Mp[A).q`mQճ4jN*nh_a҈rY&NUR+'TT}[PЖUf-̽I[`^mb ʫ.Wc`Xnb=񮃄ړ?ֻ1,xn x)PIADs"JrV[_Kvg:Cub{78~)zt?kVs(H!S#x;*s?ޏ͂P$NXdo—3EJ,8kZGR&'oMҹOOom/aƐj`]"Yuq#j@h Aj1Wzۗ4rB`5!كT;.酱bW*z791%21 =*!H v:nlIJ c Q8.} ]BWPY1:eG5Ж4ăT+00^;Pl 4"g /SHq{V[GZ&c o}`hw֪p 1}$|p$WuO#Q.^UZ`BG¹>%-"3Cq.#vӏ4.rt53+}L@g,XaEEx/`]#;XB٦!A)'E߸K݆?6ͫ]x~'3`/뢀Pxm z[FL_JT 0͐D|]̘z߯) x:֝}k9θ4\W h~UUI 0ŀ8~-1R=Dg chT]qzGcŒf4FẉhthPfQRUZ{$ͬd3NDwA8 zD򠠮6#xF<@E߀#4KVtƻzR_頭rO2NUA.«LMՁ69YEϦK/a׳R}"٥|"tP U1h`ſ9Igp!dnSq*dv"*ߗoPΒ\, r)Ledޥf4^ű]O*b娵$PP<,f6䌄 Y;q•6+_=Ki VC^ `)|k|{K4zK j Tn#-fKI^44:8"2qd %_ϱgYZ.+- HaskellHaskell.HaskellIsabelle/UUID.hs7zXZִF! ]=@njAM k2 m a" Xg/A)us<*鿸[9nvs!:}t`ro|r:qP?MXQ_Y1[:_rGJg85VR˺F~ JnzA՘#Ϣ"i⺉yDS0 ÎoMz~8H}^vMz׵,YbҺ831,PBJQ# L}E`;"+~Q z*ONA6K_돺~;0ϳr{{I^8Jsj &Vw)QI@DZ1Xfc)!N[ϝ1?47^uL A/֊͋R@\LXw+1GiG-{"O"-*Tk`gYZY+C LHaskellHaskell.HaskellIsabelle/Term_XML/Decode.hs7zXZִF! ]=@njAM k2 m a" Xg/A)OtFO T|5˴lM et rnN8dBLThkuRa-Qr/gmO j-? #2و,+YbNђp{z\Y-u w|C*a]t]Y4R2 9(MTw Z6w(#X: Ҏt8qhz}kJXmr "~3WaNTb嵸>b M~#-9*v g`7l<,@B fK Ϻ_ ejnLIFQ~*MMƔʚ>7f0ۏv lYjLw %L+F\(<\ C űgYZ A dA +1 lHaskellHaskell.HaskellIsabelle/Server.hs7zXZִF! ]=@njAM k2 m a" Xg/A)̩3BnZ{ql͍l 1QhyMs\MIW(M3ۆ/b|T kןsfxYNc_A?i֐!iBˀ|W9HL#]ED dU#d}S}=Yp\F2$E|$ !Zt[>Za NC>c2˞ x%Ы(ڠL [n͔fij )TMaC(ch% P Q;+\^LF.;E@͹3ׅObpw4k&ˤWj!% *>Ljʪa>QǦNŶS|9ӦV6))^ QK*i$KJF_3V:O=c򬷧_iXѯtJk %i=9@KSX '6& eƍmt'JO~jf"(ٜZFˣw+&說]uP*+ľ8nkpT}\wUfH*vs 86512_:Y—ipL3J5Z4lxD9$:AN5w i(ʭ+b%2r2Ƙvqy_rm+\sżCv@<ɯ[[%yCT,4{ި>2HeBZf2>=7?Q؃n C2݁eyn%a2c_t15-}ƥH[Š||QdsQ?<@8N <d@_ؘγ hTm7nj(y Vq2gYZ+C LHaskellHaskell.HaskellIsabelle/Standard_Thread.hs7zXZִF! ]=@njAM k2 m a" Xg/A)@j0Du% 1RẂV2ݷPNJ](`Tꕳ}}` :o['1gX#?m T5_-E ՅD[]c0YPlp E׏&얓P ?yFB?ߍZj2B*3^j8jJh=\ҁߞDkqk s(7oѤ XEV? HK:@d{hT搌, NMjzǡ nmiw/dS}שdao̭@n rtW X39<üF @M RSW"NQȚ18,KhT@&9JE/i$c@F#.+՝yurڤIbbFY9mI`3ۦeSO5U#ߒ TqYJ *-w;; ZSV:gn[RsW{P;~l>Ry7aI D8fmn-ߋh#Y}>}˄@$;|^IzŵO!O!J1 .$Dd3[#UZ)Oԡg ;6R 37⑘7ҡ^Kx׺WKG$B.^cb6C.ʒ9sّ ZEULT(xG8>I`OE]aq\pw- c NùL ^Ӓ[lu[ëֻ9 0X2[ E%24MO,n΁#=bTtNT}}K/f̛ľO3 #JygYZ