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 : ll ]S IOA:threads=6elapsed=8.749cpu=35.112gc=1.452factor=4.017zXZִF! /]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K*yfsCkR-ed-,_čI8|ܾGq\<<˖s 䑤rŐ;.oC*oq!lN_ jP UxHY'ԫjtK@JV;Yr|[ W~}jo ;F_"o̒+2glCg)5f]P]N'J@>nQT3s_jw?`zl!EmE;}(N龍dYelMķ1q+35 3Ǿr{[ ;t=HP+ ZV7eD>s@40W!^gYZ7zXZִF! `y]ŗXiɟdN'LvH۹*vYe6T:'Ub ?}l*3_SP3*dk-H ~fehMW۞r[>i*IPDb `e_̚hx6$,5qF?k C.,w .>GQ@ ciQxuQQ%Xȍ,9eפ!0,Sz#4mFOCϑXa>&vyO&=Ă2[ ۸Y===&NԱWjwAhU)j(mS%=o{nduu8ٿ.HahP' N[*QAL3Y]N v gYZ7zXZִF! *`]ŗXi%6YÖ&Vc- V!Umg-(&յ= R6ИChzJP㜘7 " .FNc+У+v an#ۊ %JwaE׿uPlrO_TٯJn2ut1>6b{1ݪQ21{x*H,LJӐZǭ|UXSd_'>چȣޤj/Ө{찻SQy5J+1dF?} 2?=‰LxC`w_ol¯O`;RdK7sWKl7Wgjww`"tJ6G>%g<wXbZ ȯ(6< ^EXGs;oEɠijZU5r $b ;v8"AyzU*Z((nnuVtRVGȗ)}aEM&w$•90^9eeeh *0JApn[sE{7i /h? ^r^Z] Z^.?S.e(*f^ftIGfL/c^˥;-