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 % 4L %S Posix-Lexing:threads=2elapsed=15.038cpu=28.036gc=1.524factor=1.867zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v-)zzo3%گ Z̏npR-_?+lmJV⚺7e#~ts[`||ňl5zpOP7D4_ʘ%Xܓ)8GZY,YTX`扎ݡ6qoП'4Iߋ*B-36m,)nuR/DLDL-r+F~_n%,6)IE*m^ 4a֏P?-T |z)`T"[N}bm  1zHq6v+ !?ȅGVByW/I[Cp-H$гik\Ymij%H̗B* NZ7e7}AZ)AdZvt1$a ?Qyt3ꝥ¼k4-d.\`!%%ƻ;ULRzxxsvUl"< 嘻+H6,R4luuU$w U'~kU_2(& 6R"l>Is M.>ygqvBzRMtqmlIpRذhT| F${߾qINO? -n:_Rgbƀ\5nX_{$#il72꬝: k:ɔڱgYZ7zXZִF! O]ŗXi%n8EVѫ(`ryN l€~.%&cфS{Ep!Bh{5D;Kplػh@I-Q-s*ȳrQ)l!eO#4{؉_ی#gH/yUqͭG( 6kH:w BVXZMp>P$`1Ϊ:({bba5rc0b>֛Ya$ zְ* 1|迲}t|MeU6D37 䒳lE]dvQ۲瓨HM(RPMNG ROe:\~rby!;ǁ^}or-7C;/,(ߝsVH!&p71bs) SQ}GxvÐXZQ4!s+0q,Eݫl]h1>qs/Yc0-Vfl]̒(U4NNpT /U72Aa)܈H8'[9A"jQSx$@&)"U XWL~jjp\9Q8d8k` 5`B'x-9ߙtmyD8PC?bp2pR'\sY뾑f~dcjT+&FNTyҌmF$G0('l2|!3p͗0D-!!ϓ_2|4StoQ|+F X~8'$1"݋cQu4HFbW } d`{ҤLxB^fnM䚷GXty:@7":с%]Gvߢj"m{;T) Op׼,: 9zӫNxNS<9L, ͟t?gYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 03aec3d2f46ffa49c57177b488a5745fe8db6bbc % Posix-Lexing