SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )$ Y/ Allen_Calculus:threads=2elapsed=195.852cpu=322.076gc=3.900factor=1.647zXZ ) Allen_CalculusִF! ̆]ŗXf1-q恈NucvAݪ4 c?[2C IfW6{YaȃBl.DdTEf8ߍHy!2%wtFw]>ɞHim@ؤP]m7Úlf)Azh@pgMyR˨81}uI5S{)p-(4kU\ `3'̵K: ׉hi(a/\PȾ; \]w 6θy(svs/zk;fŽ؋*Gs۬ϱx衛Y@MؙhW2B81Md~[أ?a$0{˫9s]0%(i-*;uy8F-L/r%+XUG Z>dnx8O6K hK!͓/d,ۙH+! ;r#NP Үjl9Wm+eY!sSh1됛wЍ$؍ӿ ͗2sďBxM@A|P!M dږEqb_k$ÜBۑ}-ynҷڏ~.|`a-0RVmHXM2hKɍݺ»(}l )XDn]{Ew[vD3̏岓 }\]I2^G+|3wDzXKegÀ'aq5p\KGURe0P1LhW.{$a()}|Nu9}TR uCI 4nUFExr6 3Ϧ?LA m\], 3¯o=6u#3RXdoص'(>0Nj[WO*EzVQiOt%,PSw[8 KkHlP{ wQ\-Flfa>֘)5\Γ)χ^,GZ7H/W H?q@71R9+ϋ\}/I(+T/? d 9MGy]*z}b]vgp{4sjt wE ƕ΃Ӡ@naA&ݸ9Uv T," W#fD 6H5T{ mm<S6/8im(΋N|V~d +2M k)>;~zrK*oߏ}gO{,KhP?dJsCݚ37Qmx=001bSʂ^KIZ_My)]Nܶ$P(9>)/4yrjGtaq]DNMmk52* dL{输T7 "wF7М0O.c{az?n]y*a5wmȟgdVXV̪ u2N>b$Ga i 0oYa(6ʩLRj+H\8.:n_whga$6J;(LUf:r5rMD@VS,pF{m/Z#. ֳN +A$uɕ >qVoN|G?]:> qSEO;=qk1)ʥd)-l4A-}->D։ š5D3>Nsœ_u 9O'7HhZ4xu8ܤ>x Ys&З@s aC$ x욑y3Qk|X 'v?AZ4ݥ;GT^S~;D6H!z 7 stҹsOU't*^{stcmmKRϺt˪FML N%BOg?\HښU:_~zNh#\{nt|I}%}|P SF^]BKbnFRTmXF?"nv+>}<\[(#!w_}ac[bu)gҴF B,+]]r4"a \i?iG /|M@3ܧ%0y5MEt*(l7lf$0?:*hΛ DZ7FJEOʇ!ul`nx&g!rà 'S%iCD]a#^H \,2zxhwS*woqiP"_0\'Dݢ mX?PTvT8N0 b?M^.b9a,dFO bgAMcL?UMvqؼnm&6z٦$vg~#%! +lOS^N'5<G(Dhchcߺ bJs}( J`fC|p5B n+~|4:Z5}.qo5ǽrMo˦{o#F#/Ô"e`Dka?m >/Io 5#@nY,5@5v|a90]pg6Ofh^Î.NgbvN ( n6 ._կ:ͦDEK'q$ 1B7R2װyi|ao[f!/WSq[j=@Z@[wu$fқc)54Os3ȅdc=jJɚC5Ei*-T g(;T՜;rD:پP&e35 BvU/X)Z,[5M1;ʜCP?)&u)AE^I0-y=>ٛ|֦ʖQJ M2s˚2G8e3bfqGVmx {[O UЃXRResw=zƾ jif$~ Љ< QRBlD y#5R p%9qKHB.kv7í瀽ezo/uKV֟>mJhWNf2u@AAg/AbB2L\wWs,J;ѝwz5<ӥC7ߢW9-X;+]A4W.Go1#ayķg{ǃڴ4R/k-nyR8Ӿ9KB+J$J⥬ Goi#.\/O3D=h"kXYl@JN|ɬa_PٷeO!Y2gYZ7zXZִF! !]ŗXi%ȗ}j碲 . d3¬l>trt ߊUcBгzFY[ͪ(D˫TIԔo߿W*$(bp`+U+7 (6!]4R;%!fK /:|_7JD.Zhk+#^F ؟ ^&z! !w㪿zo։Fc-]iBExr.H^ǺZ,cXnS{ل8*]6(&:{ Ş._˹I#uFB=ZOmyz6?h$q!+Mȗ(gw=7'׮2 ]%s`W^IcP6X*S _nj_A{-k5\ AJxR@MAz18z .( 'b vOZTkRZ53wP=.kdOpC]K:(5݋\?XhЕBiiqb_IlW(Jt e>,#rCGfQ'( 0a{~kie k5p/9uƳV ,C|wrp ~gC'RlQREZp[lb )K ~`k!0Od=7Ti4>F P|j@RY}T6Yz^4<1w.Q G?D3Ϭs3adCi@14~Tڱt0Ϲ<]JY4GMR\dSoe}UbuqiC3(Xnʍ15H&9~cY]T8kQw.T/>zC&<& (gė`1xQĮh+SJ5+Dٜwv]T}d^]臨WLb΄l"D|n0pp}|m֫b?U7fE9 Z}W_ZPR|^kW&, xd]ʾ^#oHZeQ(Be`iZ . l>Sy/5)öl,%:.DF)T/oV{U% [!|zv^gٚH !]?iZB<%)cPF'Iy`e J= %3Ŕ/qz'ܽ21'P3#>BM^!i'ӷbtMKvMV|K{d`Q !cIu_av>A2˾%1?D[7k+KgJ B_;;zb)nQPE^,30^azV'O'=hU˖*_ !:K\Val08J "2injkx}FL[}C?z{'!9:m(Ki|,GOŜ~8)t<*!=%tSO?3BhS f⻆+*! ;2,KHibG|ܔ՗AĭzxlܽVl`M'>/Y&16¬g6_E;%\|A`\J /$B@M^8hK1u|cT+G,4 %X0Nrsz^읢 -FITSt\-3\dMsRK3Q% \R2+&:3oY3=iı{Jï7v=F9.H ;$^{{FCtyovgGⰁBT/CW".(Eqь8㷴؄tCY `} |áDxߓヌ%jK7n'\RxYk&W S TK) tbtΎJ=^ij`⧎¿h9?I:yM1ۇ_Vj( amQQI}a,>8 ++J(OܮE<]A|~R` 9Տ:nF"$%>fvLaN#hrc =烪#m[] 931YF<6JnyUݦ5>ͤnQo 1&/  jk4UEJ|w[ԺA_=`~ra~-i~>#gzm6Ϯ1YJ]\exCt;=x:Ȳ2TpR0Wq=4jS Ik$=֨E~:&,SYH4%LuhEݐjetv) kݠkOiX\| s'5ӫZw^т Riؓ-s_ anYv.oe[3{IM{&RX,(AHJtrGbnچ"P]ldL u`Fd&lJ~zO-LW YSVǬ`qv bD\Z$(-Qqsa*Z|%lE}.`<3긕~ V<(L8Au8\[ ^1Zvìry~^_sk_YxDH͛(bM"\(_`@N8JF4g䠝sqh3m `1j)12MILjGdtVxi!rƪJ'k, j$6 ʞ20AM 6!#r\)N=Dְwl mR)x}rhf>8$Şxd,F Ж*H 1Xջ~1Ԣ{H$G&^ <2N\D">} <\RUϞQ;n ;k?Y4Q7*D$jA[uC(ll)8V./,A5)?(_MȩЩr5G}Q =w!v} ÉYg{D @nyWbOXR%ދ$F2z2uW+S0SY%dSzK,*bK_c,x,#0EWcm9Lڭ/,2p}Iӓ.Y ;T< Qz  P4\^ټ2 4q<4کݔn;K~e2f^UXmm ʣũCݫ/E!qG؅ Q(7+d- G q68*Y ~3Өα{}g+BrT%8DrȐ J,"Xۻ=`EK;L`8JO*C^_;M,D^==!4Φ ]SBY=8RUhO'&t^3Z)uzzժ-kߡQSu*?g̈́Brc$>&BFu*g~y` 6h}|c"_4aPANx6߬FpX6Ci ; yo 1; nw{ 8mL;^ynt3ǹY=?9~p'()vI9%!6ժ)0*`dGR`>iFYake/=Jp2#QGmDfpdÜ*!~;~3q5 IdiF(=0cA Xok*$=ыg:'@4-yz(y'A3pWOX;|E9V Ũ֐$ [[RW*J<5mTf9`R ҙmO'ѩpӖ~Xw9HZ[LX[Ֆ s'{fEJ KW֨.I??a!sBgLI% ]9H֩/Gpwe  %X3X㪖43V'IZR۲D.2`3s53DAT"bdɟLwg:фsu |g{8>$zƞfu5Z0aS>(miVQ9 ,^Ϩ ?ZJ?rNJ(tIIN$7 P 4瘪\N, K v ӿt9[-^_u̠gȴȂmfTq[A @K$= |I`j犁Z {bDݝ7_}!xEJ4wG1ܓa$_ֲypɼ`(IR$dWGt۫4#5e@#yh FϚ*_?`h/^̊x:;*ų|)2 ,Z 2qI3)4IMasA9qTef A„oWm|D(/|5ѹ7BA[%vY^ůkNf! u;m: m!?>8'Qtmòl !W'!?ajTRAqե ylzQ5tD j%쪍I}KR Zۛ!q$$ ]$G!~^{٥q].ؔyh+JJN5Duz甄öRJzwùHVG0b| 8LFW_qxvZ2J J'ȳԪ3K~j)Wp:t{z[ }i V,V  W^zF7 of}1.K\b97ڒ4-H?׳Š^nUi . vع w