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 `% lDd ]S Sturm_Tarski:threads=2elapsed=17.008cpu=27.576gc=0.388factor=1.627zXZִF! ]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rW!}4 ?zvJևs]wZRc'i`X#ꋕ +@VhESݨiɚGx iDO課s흲olB%șve`Neҡ5 V3X 2fz=cŕ[mzlj#t>MuHHJ@]Ԧ7x)Nn[Z/Ee݅Rѣlrf k֥ #%;2sP8m8=e畝yEwTVʉEg,'Ц7S~{@똭Z=>fo.jߛ7(>> -%u#xg1:4 PgYZ7zXZִF! \]ŗXiɟ==M*]0tI'ZbrCu~7 z0uQ׼%2p&`Q:vfif!6L/H@2OxP}gYZ7zXZִF! bk]ŗXi%ή++WPW҇G-(4T# 1iK 9E9Ψi FkDOF$[F4R4Q(ݠ^,Zc 9_skYy(K-DgdRu7vRY G ^H5#ƦE^#.V9Ԋ%׀ZӊKdp|ϛ-9&w.8x|7V4yo"-URy)K.#A)J'I$aZ};1@؇\7˚z5dIbɛqJg;0{A;s៟ oE$g!6oX( wl"lU>p`QkCxa|Trt&uŮ(aHSa& ObOH A"-Q}SqE `XؽvJDn5N5ѭC1UkYĎ}ӆ_ >nF -.6+f*]AHLc;Yl \J_]+ԁz`1F~< ǾFs(-2f4^з6*A 8Lm2`2]ߌH2$.қ^Yϟv\t37B8h ]gYZa242466c1f181ce5ffcda86df9533420cb32925a00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c d0f680a53915d416d3b26c69192daf67ea9ba224 % Sturm_Tarski