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 (= LT ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.289cpu=21.504gc=1.368factor=1.907zXZִF! oF]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm}*D]o4&Ҽn8nH;K5Ιo||zVTn7my: p.:8KGdo"5` /wSKba eXL1J-BU* g[ bn8kdho*{3?W*pF%ǻɹ ē+ Tix za㲋7AYgngYZ7zXZִF! _]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>}$'_1oTnBI2DBpWյ޷e1o[33:e#5ǭus)XgO.$,ʪhYyC`zɄ1:B2 E\]@dL g `|7rCt*ƌ+7'^QXJSoAA =~͚ s$y]:&5SKgK) Kg N9#B2XB:d ~ },ds T.?J $\gYZ7zXZִF! Mb]ŗXi%96U|[_"d|x29dH U:SJ6wɊ\B?TuVIYw$׾8gK##~  2Ԟ.X3̿F\(#< B09^v@Sлdz#kH2a41סTcA0JjdI*Iْ++SStf_cl 1?T-8t1ܫ&om54h%IX{؍##ۧ ^Wg\JE nETH?`- ٚR -Nr%[*Mp {[vپj"_Z+SĦӻ؝IUC;G1(v:q%.hRqHqm`9 ^ _Z+(e4Z-@qu֜G^h9UTWdpH܀͕WPI΄\Hg\]'{BW &OJ4xa}^S|Os!_LO&rKM"ڢ QXYRP- 65-qS8LJD(* _Z\F}/2l8 #gYZc26facbb2e04f95a61403c863fb6fe1286a7ef3de42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 a63742c749fa990fbc72e4972a8e6e8298291f00 aae0c9a31cfc48d3d396a6f7eef765b2977f3dadfd4574fd9641d7c84e07f7961592440532bdd899 = HOL-Nonstandard_Analysis