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 =C | wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.339cpu=12.420gc=0.480factor=1.697zXZִF! 1]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' o^IŖ _( n7 - y.*^AK: UENfӄIc a}8AN7"CΆ=Z.#طLdѲ|>?0,#8P^^fq#N_\` 1*skr)0[(d].Ut? bh,7]-sî+l?@/HFArlB}azJ=`hȸ7yB6y& !WOq nԆZ'0C[|DT_(skRy usGFmLyuX U(Ӳ- Al2+)i$+ b@ J $pw(3@]PϤj3*<耍 v)Z{#-E11ow6qo ])y'e6K Mߒo+3 wmv%Dr#PdF1l=>#մ :(0hmNԶ}&79_UcqY){9@͏R!H_YuIl9Mh{U#E 3!#Q!*^,.;.曁W@eK2N$yr"F,{G?;ȸ#0١ ٕQC$[vi|0ZUY`./ !+یL"Wu1+0z90|~Գnp~ 2A 8dMJ4͎EhDB]Nîj nݕVқ!]pgG3lwq{QK#6**t y5&[I"t_0si`¾C-& \[AK?LvA/54o[p")[ 3fv̞Gߝ@遼,[l>6EIB'xē7 +NTSsqXg*=럺o63pzn]c9L,IXs vد!=3f\X1ϕgYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd2773c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb f013446ba76027b3286f5b8e02f8911162859882 e10af832a830686e469df2bb65936697791c0a85 0af3ffe6e292f2435151ab6bd9f2a1b9fda8510b 520ba0ae19cf0f71ebfa8d4e577cfff9211187e6 bd355f42a1f37287f363dfe5e1503eba75d80c2a C Comparison_Sort_Lower_Bound