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 uI|T S Stone_Kleene_Relation_Algebras:threads=2elapsed=84.749cpu=154.672gc=5.460factor=1.837zXZִF! ej8]ŗXf1-/6vR[]o lY cjޮ_pGpB&gW4 k3&cDMi ɵ]'T*Ch^9Iνk9kreA d̜_/} hKP\(- aI8!mggV >e*V=n?-Q1߮spIk[xf"`K|L2 hcxo^PL@F.<;~,cCM]EM~w^u?QI!+Eɇ ݽ_7Gۉ)l5f g?lI$#DDȅdղ"7Q5gESLYw;Xv-ə}RO[C& ˦DheMk<Cj-+h9-o g4_H[ hI+cϐZrITe#nЈЅPg)¯խ2npdl&?7XpD-=<nA !CY[26)4Fh2UkSzܳWI]@_`/]ڑʆ,؇`IQSҷm3HpSyҢ4 -+qX *do"f!JJDI62}Z9`~򉊠φVg&9?E0tv#v,6̑kSE'Zىg:8-O}!uY^n V;. a=y 9]TнLK *}ҹ4]n~&ᥜ+[SCh,B n;$U7$ZiQUSgeFs ت إ@Ϲ\ċp}P@a24ݬ} 'z~xvHIޔyDyQWX„߱bؘDzL{1g~4; )"psE1^[ 1ܜYC#G6eM!<\˩zA axT6L6t4p}@_ VpdSCbl&)BƄOGˬr#4Dίw`LKTkuq Vޅ`.{N͆* ķK5eF~5c mx;te67G՜ʕM.ctbo nU/1l3{T$~Fg~0πS=R[M=[94 n;OʾV&u2CO3Ym ࿷I8>~'&;L7@_riJ`VKR6+{:tRbnAiԞ-5C0;-A67K&{$Zrlx Y6mςI_ o+9=e4F̀ X?^wn swƞ,EjZnL50U];Yh{)e(G˹N'l%Ə$?j>1ArB9MٯEs@ZH$HgҲ避UaΌDC<A݆A%囖g>PIANvǩOSܳ_8F6fVll,o!c6eKrg8򡹠=1`K[q-1:sy|Z*mRNg e) 1§-pRlOhRz|iU@R$ NsA uiyF*t8Okc_W|]kt(;(O\qe%&T (hdORHeKGWdqASz_ukhfwWH!_- e!YcӸspd xnaR9lnA2'fn3v&v ;lXj-4M ^A+(vI?1Xb@TiVLӾdžYm~nb ߅D2423}kRd.Phe5{Cǟn6kʒ/d.!&9RmVYך0qU-Q DgױlAuo~ UTڬ]H>͸ZAV=;If@">?Ü$VB}2\k~[Uq9;]wFEcЭ Ma7!-` ^A]Sal!(evd7-T@" Y#+!/K`@3??nq\<*$[eW)"E{t eXHF7SZYqmo(Kn:{ n%:-nV7Ӧd>AASO?7*rA֠ȞaM&iHnyn|1cYj{#Ej<'߉}2(WlcG}&eJ29S5Z(´YG'ҲÙԯ)1&C!j#au_oH>ywX @KoL8@#6* S>:' ^ęL#RSq1ŔR"ad"J R[ 7  =fO3VgE|T3).?xX q6e~ZcYJw&M 6U#Y\Ր"HPh}lIXEVP|Q fzHKbȺs30pO:7SO OlZ tDr.5tr3`cC*{pa56=\R^x):eML{f()Wx1)4WK S_5:ģHE\݈ƫ_,;^c MzEO[[v}$e V=dPx<X}",`ϬhxR*P>_?@8_bFhx>,,L࿌2WwڌPĀP=/Nt;z\%EYswC K15\Q{$άuV&qTE;ގ`;4_%mDt𲅤A;vosƒ1'kdB/nD۫gj{(۟*[)5I%1Ud){Iw~EI<Ɖ"dd=xI>1+٨ç| @NA淹ҷEFMDjs,kjǗxƭ5w2x^;yX==A+sE(vAȀ N2ỹt'9R$A%\$㪩oR)G^]׆Cζ쳏̞)W',m 3m\Y}Q&Y:OS U̢:w7x_ p.# lBZO匳6's( hz*qp<ͮ$Q"997\@ztK_݄( ~[ޟ_OC}_(_0ߎ]$r8;ɘ0'wΩ/-jIk0e dD­4bX*!$駞-ݞIn'1. ^ΰmici.Ɠ2UQG@I=alXT=6',cɟ>QNGqڡ/yBt,.(BW3|t5HRzmk9).Snd[2Szoӕ9{U?@Ls9gƯDof]DȀH>*8w7br8)-dܻU LNq~ x:]]+3i򦌓xu|uP2Q~[ 9X&>80EDrZ-X{NEl_*Zf㥌NƩ5b&wC Q)6LE:/gᘒ]`6z+L(4y]h;sγ u 9|R -PMBO)Ua.מ`[Xv2ǫO(vj m'sb  a qV\Z@_j09& ѱgYZ01b6f3d5f4decf4e39040a19247cf975cbb4fb1a 10e287192134e7ebd7ab93e1218092add0b3f875 402b5571b2e1d87f79171c8d146f188d9bbc790e 4559d5bcd753e466b54f866cba1d36c87da9b6be 8511129612c3cd871ed382f364af37377eed9555 8dcc6f8ef06ff5c3ddd746ab3e44995794ab7e8e 9f9a51b3eea902a76a705c1c99fe951bc2dbea5a c6038b6fe1d126151ffaf021ccded2ee8e90f2e4f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 2a8258a26115ba0821b10d8a4759afdc11d11be4 d81822ca9faa118c2330aa25caa4b3398a384a54