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 x)t$ %/ Open_Induction:threads=2elapsed=2.281cpu=4.360gc=0.160factor=1.917zXZִF! q]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{hS"v8b2u^(aj9U3+T ^8Ba.gIMwg¼'64aC?5WGw"pQ%SK2K`?FR~rƘz붳Xj>zoҖ7$ȧD}+>e*k{TӢ/_3 ڙb#+T[<{Sk yeKu>^ _EQa0]"|"p9eu1sh  ) Open_Induction`5tGpd *Uȩ1X˛%{-bOP ΋w;DaB+注$W"J`A ~m m'/?$xǫg 3 a.z)k(^gYZ7zXZִF!  ]ŗXi%DQ/ur=3+Hm23/#&)G{)yYˬ\ (HLz% Zq/}`]W&fJ9`]V Pgd!2[zaI,Oվ|ic*,3G`rRp*i6V % \JAgڕJe>J k+kLjqd0XF NНe=6Pd~|En B7؞cR2ӕ8{lyQ 󀎨U?c09*THyDfV`C9+u3\2G+ׄӐ;02 ,kh1!)D-oG9̗$,^R֡Q, Wv~J!~n8\PaF '$o1Bly R_9;#T 㹳z5?iUʸ?0>>Bm+/|"<)BvgYZ52fa80881ed3bcb7f88b3eddb9aed5b9d35dcbd8 5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 8d3d8e2b1d4ea8df79736c16a4854f21fbb7844c 921aac8706d4bc6323b06423414d9bb796c776d6 daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f977df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56