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 vv ,| ] Tycon:threads=2elapsed=9.373cpu=17.332gc=0.716factor=1.857zXZִF! v]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`q p+F5 iBX?C_a嬿5kF0Uzx&计'+MnHK*!)Gd!QFK jf#ḏ GAU.bߌ.2Qxío]ꊟZ|/E F>#ލ]t$ =#D0wu6ry 2 J=cohI1NkY (ښdʸ`VJ$7 /C3)u_EC!H8LޜcY;G;6?* ]3|X] Feq9lG8^]WO^p^G /(h,',`gYZ7zXZִF! H]ŗXiɟyڳ&U2FHF̺!L(~Y\l{Ur!⇿3\L3´`TЙG%i,Ԝ ݺDUA%=al4s5juK0)J!a2*kZmbzpZ.>@r]Ynm9((rbTɪ`_o61_Fz I"3Ju x_a:v̷7`{'b΢Xş3= 㲧@j)u2JW@ NgYZ7zXZִF! ?D]ŗXi%W~>?/jwVQY)_LDŽa2nDhT_ ?% uR2@NODT1h cm lCXg/+8X?}[Bɏ!&+cXv#qhcM%Bdx;hXX P>02m]?$5?u/x^=ҥG#'ÓoqW7TqmÅPHy)G>=\a~;=*J4`B&4Qy|?Wx*wօWZS'A JM{6P+Ñ$/_U|/ SGO`X97߉CI|ww? CIS3Dd,4;ZuXhM3!^w9 950~k($9;&>ҁUm$hy~ .=:(p8cE"7FI JuV:!7ib3#~'4 a5Mk௜,7ݖլϳ^4OpG/O(n | Q1@޴%1/}L8QOZڮ99in\9nh0Ga6x?¡G1&¯IU͖p?2V(K?A8-lbKG帕Bat4$,\M'ģ%#P0