SQLite format 3@ - llB77#tableisabelle_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, "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 S/ Lifting_Definition_Option:threads=2elapsed=2.607cpu=3.164gc=0.000factor=1.217zXZִF! ]]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%(POM ޭ=Y2tyZ.ȟB۠Jyh7Aʈ~EA}i.~LOV1|+Qv;(l2 ? Lifting_Definition_Option&! puV_hi-~:p v"+a\!x'q *P-{pܕ^WJ7ANR0w joIjGreirsA3<>Tm"|=s' Q`#;`ؤ O`607)x}`?GMn֜ݳ8hlFV y\/<i;#J5*@wK/i>+0vk OrF:Q_@-gZľd#eVǑ#2VDƩ=d)dJi>2O;6lJ($.9{@{Y!MDl?}ooMcPmMM'7U~ҼHN80fהJf+T)3osgYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d b0e51eab0c8d3dbf8b27d2a9502223abea2ab39d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b