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   x% lt ]/ FOL_Harrison:threads=2elapsed=11.415cpu=18.576gc=0.580factor=1.637zXZִF! xp]ŗXf1-q恈͐7ӺV #`91knTyڧ?"}ËSU{0(7Y|`pXQ)Nە7<]`iڴG<2VvPL(q #>Uƒu;h?8]_KMo_˛N`:?EX'{ubuqZ /^p)ccc]ojx!7Aq5 ~Rϣ{/SJ"2lyh'-UWmF,e 4Wrq[|+21"ύЈ-ԝPğdNRȳЏtw#*x5J&|Ԇ*'=/( gYZ7zXZִF! ?41]ŗXi%6f2u@s4­,jB8J̝&ėͥ=q6EU鎛PJ4Fᐦ]Ҩ'[TbQm`Y,PVd,&|:~r أc'5dv E!rT. RmQis_ ;&J+&9J|y|y䈅BTtVa)K\[J/<[b- ><2;5CRd+9›>o'\KÏ ARZy's$/G)̰2^D0nmH?F<N4vN=بAWۀC:#/|g&.Kd~u/M)S7$܍~~bs=ڈj3 ;D$ܯzw6*80-bc?/*>]sǂ} cMCWevpo49tHn ;(MxzsÙO2q<u<6'4vQiP'̋qaqV)!]S5L!0 s E|% ^"^\(U;t%I15eDX|RF?*gIQX85f̓~i*gYZ83af85fef384ae26c207d77dc6e8ee904ed7a4b90a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 % FOL_Harrison