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  3t SS Descartes_Sign_Rule:threads=2elapsed=2.883cpu=4.896gc=0.144factor=1.707zXZִF! H]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vy>tY>@opz!+/ck]*J ֊֝ckq:?'m0g,974JDNydxtj59, zkgYZ7zXZִF! G1]ŗXi%6pZ Ɨ Kv"$.5߃>͂AݧW+|y)~n蚠OXsk[f9+_TPr$x?}T.|Nimy̯g`\0P#T (wNk86 Ah otOhKs48$.6Sd&`:Jl {X]Lx0ВڭæCT;G"-%|ޢ+k΁]`| 5>gٷw'^q0bV GJ0sjU>` ׉y$x鐰6Fl"#Ut({"#*yj*TSJu}2hBP ;CJ.t҉gYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980c c1177b04cfd3a1fdf2f7e7eef357c67784aa763e238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 3 Descartes_Sign_Rule