SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 rr |l G]Deriving:threads=2elapsed=56.703cpu=94.988gc=4.948factor=1.687zXZִF! IB]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃p7oX߻k36x&JTa Z}}E$*<4؁cƖJU4jo|9x?)z ,i=?TԴ}RXݬ u!Խw_k]րs=X ԈH_dk]5m-7(r oX\+TcѲ6l/-,>1`Υ7:př (R;zf5z}w;05Z}fh9H$>.˚D"LbOZuF!=D~FV(',0nJǛ+VPcPpivpZxc*Sš&;k];;A A\I0t8~vǜmgi/& 1,|[v0>`ڏ~вĬ*[DaiO ,H NfNTZW037|wxFiwg,;S/e+;Y ˝&kC0f_M^Xy le$.@i~4=>;"~CeTSpmAhlޟD8UIq}~nd:o_%KO+g8K=mR/SXyҼOq$Z;AL0*\@4%TC,#FJo=EWVf\5P}|pKդ91$h 7NϷJrpN亹vs-q@p_4쇗oBZ[ܥv'hSH0XQtSPY }q (Ή,x8.(;+mWB熢/jDVbX$k{Ȇp5ɥ2.)\zSnSw{M䘕ZSD1깶[.YlkDݻZ&p˂M;9\|̉jؚ:Imd&ἵM}_iftpwN AW `P`lFy\zgQ)ii(F0{oEUy<]Sf}/tCS`6ٶڱ D껷O$_42"4%iYuubMc4XA%+eׂOlhܕוqUz!U{ _ϳQ)q]fC+ep+[g1f0'w{ SSl/o?B9 SUuE ܊߷; xo^'Lw#:3uH# =r̵{Ӗpǹدg[z!U[>E=1Txk2OB#5۷ߞTRs04$}pRidv μؾi4,XM\m%?;W%ru;Vc &S¬BLaG"U@vxgJx$2 x-|Ƶ  2uIIss:zݒ5pUئ~&m4Og u">))H9zyZLѾr*<CL[|Zg" *++]9 Qu@2{?05rv $ȎFkYo`I!VVE4}Vu?Ml2Ӌ(cրCEJqPB67:=ݪxD}O$uo6I׈ؼdMkoUGiVP. i=vԕw3_2&@:.;fr jr"Xdl .f[ q #h`weޓbeԡWsuh!da# hrp $H +i* R1+nDAq,~64` Z^qR'mtZA1SF{KEnG8(hbVU4U J+Z;P?#4W(ob COHisǏW~@L| m>Y97ק),Re~! )QufZ藋K?|1@f@'=]hzjb;L{bz"+@ԣGO4 vw6ITͪM$-3\4c6O0 86yTݐ~$"kRTu H`+|7 S=6S8{PMvlGa^q ۩Bأ?޳JjF!wg%09b[5F9 ):BŅHͮpY~mW;{}H'&YF"Jީ{,2q΅'MOvvM?Iqj  7u#0 y~߶+V&fL0j#b*@# ӡٹB[B1fSo8mTRnL*6-Y ~&%bJey +}GH` ʜEE:H_2""c>4F!ܜHW0XiR{V808P)ɿo[WLne-4vaWV34,ꥩL2IGl!0GX+"WO{s*9F@%7ܖƼR;qY4DQ[2nܒOIfnp^+{ aN·1CyHX@*(:m 6@[&7"cm72C=<s.Pf}ηP@)RQbO,F{F1"cK>waߥ7\Q('׵/zũ n+~n?9x慦,įjwRtDr# %zҟ1`T)v+@m`c xnH[bBJ^[Ag"tqt/W"~sS: R ַf`R$RYi;q*j{kYbԎeu2zH3sy'.<2! MNy ĺjŰ5zPLfDH`2*J렄T N02@(}}vbY."?/\Jv?.lu .rW7kI,%VXܺ|uh   DerivingUl{m,ARE6{=LIl4 {x9zw} aV]~Pv~QʪF0l_HXQ!|jGa]Q57hsJ?skO]~J6t*|ta[Uk#wRj8pz)UGx0ʩ}NF@\aNLq8rkdWߡ9ňmrA!q)n!ֲШH l*-`5ݦ117)a'_ V48{O6P M?mLQHm~aQ$=I2葁s 9ȅ}CxXbkו# qfU7 fax׫f bN~}CɇY%Ӿ/Р&)[v9X1bP= hZ;*+:n~0S@yEP襆 #`4" ;n]wyh".p6fpj0h8.6-p=?44: DmxqHn!_f~^hcJ. U͌J܂F $7͌H(ǖ iׅwi L,:"%ceUe'P`B21̑|>Tm0+D!r0쇠 |dM誴ETb3΁#OHi^7 W,4K+um v_.f T }΄С2vvђuɛ^KSEV t -K*?;!O rcYn1TO 8"i0ԐR]F\ զ)F*aZ70f෼EQ5~1ɜQ7pӒ8MbS="4lQRV<L]h(gf [>?;k kֈui)'z>%;o+oXU/TbNZ33c@njTʨ%Eh$=%a˕9 &ʍt4w?3WgYm==0]GG[~.D{M GxvyzQU!3շSc54G\`w,{ɄQWkWvNCR-Rl1d~vv6 RtۍQ,8VVT C14˃[yT5< |s###͜<:%l$Vh(OLIu;FJ*|1ܴx|XPղLT°KRE|Fke1d~,q4kg׍;f"{t]mDU}(= -v#J&kr'aa kcJwb#݉ ߙtq}4:Bs0} \Y)@!D0MyWCF2nRoY,G !uAWK(0Q&4Ak:>:,-!&Tkr0VӛCMpbxS]&7eW7cZnJkR]{46>[=l gg=W=I뛇M +F1N0 "B!4 Cڃ)% S ٻ7 i؛u"zhш3z b>KJή*ECEq;In"]C(:Y>!sn4W!?$P KJ +pw%ʛ#8J+|G}zo#_1Y ԻLP5f}\5"]qvǴu`qRYO $g$: L0nGC{V((Wo ircZ!^ ~1p4,@_ 50}sN6'^SZh@lVЗ]nG~FѢZ(~X/jff~;aO&{:h=upjD$gemC6r?A1hW9?kd fJKNG }ϴ<uQȢf`r9)#;v'0s-9h2'X],%7b.|uqCkςC7,2\7$^G-H~2ZS@. J>Qb-ByGeEEoy0x?e-ȷt_Z>@8b*%1xhD]Q2W3?n$gs\6 ̿~Ź\c ! _jLZUUep'V!!E?b2@2M{ s3Ò2gYZ7zXZִF! ]ŗXi%sx7:Ax% <soFt`h9,xY@5304X-T (Er{J,-s[ hEZT{h&*I1>hM2" )ߵ"~`@&>g s[& sPtH ͎k㔾f=x+0Ag9l%[Q)b9"XRḟ`xV!]&N8,M:yl ma"8}[zY'C*9HX+ ь~ZE35뢂bE 45a,(ka#O^O E/_tnZ knBFԁz WVRbÀOJa\n7&Vz(@u|lVJ"F+6Qo a\6˖BZskZ?`QN/uL5r#.G_yF`K]&pN*?qpLP_WVyO4 >Q<1%S\zFiDM9(JAWɢ )o7RjB Nr\䪆=Av̋F ^j D_@DRp'[H`OVyrѻ l3|6c0ȥ  M&׽Id'a{m ='%f-8')"뷨P3ڞu(lr,~#@dgX\EWH^Ci1giWSB}6ywM'Ƙ,+{<&OtBSTz?[Ι Rirs@It.gGqUӣLӻ./!FĐdzdf|j'{(THi#=Z`+ _*oj-YWkXi(*abQsE )g6 ]$ W2Re"]qۜQ52CACp 3B~ff,;r@1d:?Rew ,a\7^ F[A0V6:Dl TYe85Ƅ -(;`fʩ<"zPok*.mMKxXA ѶFǻE2Dg)vsuo c<wGL1&\g&Ԗ=7J4=$UfcWy2P/ac'Ӯ{F?%1z1?7*jDIY2 O/"yhB"G[8J=}ހQnu`n o,}ui0[ #\l_9)){  Arn̏q8hբGgwqAƛ8/9D*tX?S~\dw@A^8s׽)8=Cd}n̈́a)lLĐ6*|BZlaLl6 .,_?iUHe'k9#ﳤf5z9 X/r/8.RׅM#b>j;WviϠwO(J%b%~PxѨIf~CIO0_!k\\v?}e*1TaCk}RZ[ӘS/$$I'ZQ!\ H+wP?a'9:L06ZƆ؆҉QJKғk ij &ig2:QʼφycŜ3[N|u.d-7|.[vI].spP̂Ǿ۴+C3Ȥa^+u p2En GkO4ze9{i\"}p3,WrM%J pb;bvE[QT1:R&q[έ+N1T)'p҉צ6+[KcX^Q'I4ۼ.>$(Yv'|f &@Uc~[A72' Q/3̊#ʺ.=N$F5Lc\/֑"u6v(Z6@7#mduN~L눎ZT]pOBOLOj#&\\Vy9;O Ӡ|Sm8hfIBʍuM!:)>}ld ̮QԥBmq>jN ] 9!zx3jfpU,p,Pwv3E=*䃃LAYvh g.3=-*