SQLite format 3@ . BBh77otableisabelle_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 1 \4 ] HOL-Imperative_HOL:threads=6elapsed=43.150cpu=62.288gc=1.864factor=1.447zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}'g%`e"9qZ=iYoqLrYg~Uq̎ujR9`ڿ%=C ˰wB-'/8EUOֵ!g˨gGGK )1 M hxąMͽ衛ӂ]^1+|?Som<V[8Ȏ5_ȫGY'Ք8&OɈL0mҫCmVYr^%cE y?qB*iԉ 1 HOL-Imperative_HOL)?t#a쬓&8&цfA_ns}ѫ=%(S`I注@ՓG<Jr&K[g7%e7qTÈuBkp`V @1Mϱ޻IhIk.ư"bq[puax8-g! &:^ '6Ϫ?ӰPhHrW˟۪h}Q{\zN 9Bj@ojзoc{/xCm?W{'b#wScW_^y8CB~7a .D#V>Wk@ 4K{ƐEZŎit"R7sg!JfΒ{O KkdMM0I墨hb&dI&^ 7WMv[y\RkU93?r bw#41Ul}h ոj,]1֞ґ~*_ג5`#˜_8 7~-Zl#'A RwYX^AMW|-%)n5x"### >|") ֢mƵt%GncCXзϓ\ӲۤP<Yl)]Òa7npO'%Tƞ?42 DQW8q:P.7P?>*9zhQ~ik .zD Bn'Bvdn]#)_$u_7׀J0Sl KT7_w 'f ypՍ[j:jFjq#N!}.tUn8d#xD3TZ~|zl+s+Hadk[$JW;esB9+$S [ުjUJ!y ~Nqc^ԮxrvV9)vQ8a%XWLcFs5)=RRչC¸&Efp Ѷj}sߖSZE2x<Ja#MTy3kO=վ> MTcTU;>vU *5 |ek(ջ{9R vgͦ3ilWcQ[( Ku-'uᛶ|šJ^ٕG|U^0CgsM|W&rB(e]:rkHҦ3#cϟ9AȔQJA ..GPd^ªbWViABe~w*V66N}g}) I6^ܩpWLCT~}OCnj&T ,uMKg>-~/B[,1@u{pwzX ʥDS\Uy&jc,%exz顔-#6c64h#kUe?G3xepYQ~14GݜytuJ?39*J1_V{|CEf3x'dY19gYZ934a4ed2d5648f93fc5dca67ec821e950864f0f354cd32f4919d850faca17e94e357093dc43a48d9 f85412ed18f79fc641e57fba244090c4b08a2333 acad73c1eb4ba4dc30e9c99aaa0b98796b40761f