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 11L1 |l ]/ Recursion-Theory-I:threads=2elapsed=15.789cpu=27.964gc=1.348factor=1.777zXZִF! w]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[]\-eǝqnK2 ߦNjTS8ca杫VuAAY kHWyׂ)BLXn_zt.dKP}rآI}J\u3Krgd:8myex#nAv&|?̄,J1REU{Sp{/h(D[VGd~<H2gYZ7zXZִF! []ŗXi%9(SN\J.E"^{@(z;|L&+zKV/kQŰӐ=~JP ݐ+ЯGzG˿Xr+wD)V 4"(ޥ6wZ{H!a(KRRB޾nV̓uqVdu:9E152Q"vS <}^c?>&Y#6Y OD!TdY}Zl5^RDGA"xyS6Am{ [5shډWU^uF<f[z(#