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 @ L\ 5/ TLA:threads=2elapsed=19.844cpu=34.840gc=1.072factor=1.767zXZִF! p]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ _ VP} շ? %d[7 + F,M^\⪝mz[ [@c1"(=ivd;|V T ]V mA=𮸲ivˆJh]2' y,,(ǟC9̪#fJOLD=khf7 Bqz^hCNF&% mv &"Qo08tV|sg2@^MPJIRJL-cŲR6TwWkRdH׿3#6SVt 59 D3ZvA=(6U@B)-fYGYxRXe]!Q;=P$q"QѓCḽjp!3QkQ7z-%H;%LrswuxCԨ:-;ER2Ds狦b/¹|;o RE'_@bLMϣyƙix';[{wk  gYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa  TLA