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  /l<< ]/ FOLP-ex:threads=2elapsed=3.506cpu=6.136gc=0.108factor=1.757zXZִF! T]ŗXf1-)(7D.qk,nC qS#ի*4-bu^ hEG#|x,9 L9ucwsK/`( iýetҰ>;Lz~T=`f )WP xGлk?t+g!XgYZ7zXZִF! ]ŗXiɟHR,~OG_l$_O>Ӥה#m;%u x3V|]~h^e.tݿ{eAQdr@zGg G`}3@h'|mQ@~/hlMeOEKd5j .EJyXxN U!QV- l! fwgYZ7zXZִF! ]ŗXi%;Ű;xmtZ':CļQ4dri{}eE]9M#~&fOtaQKXwIB sU3 W4L}jd2ߏА0ܝy\ I;B#7x()5wFKb%ʆMUj֠"WM_<9 !K)ysѻFU&$THmʢ BNE:Z4xhr8=yYM'ݲ]W^54na>qّ.y< e$>]_T,qSNN2%t>w1MIRg3DR\f %فh(VblةGCIJC˼'A34A o7Ocu{ /wz_>:pO3