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 ""[3 TD ]/ IEEE_Floating_Point:threads=2elapsed=21.883cpu=33.264gc=0.528factor=1.527zXZִF! ]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7ļ- .:Q4YUηYxS2Չ2tdR"NI#)IEIb`U^8~,=z@#9{~;B¬8{t5UAy+]6-xhв{afrzNV1tA^YzjvqA$CdU)$ǶZwdGjYK$XB,:YW16Ԥ+6XŘ]%)i+Έk^,;;b&'*,!H~'ݠ`RwFAteup>DSJBza(Q]T{6[.]{ r*w_9/BstPaE=H1+-]0CCPAS&7 ߶Z'/Pz)Qf=.yp,4HG̺?N T{mGr?f ops/zyHch*D_X=\$rEy^ .jOf gMå@d%#a׫عs*98"Yh  UgYZ19dd24968d9cc6e68ef68991c1550441267937b8e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 3 IEEE_Floating_Point