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 K D< k/ Huffman:threads=2elapsed=12.016cpu=21.096gc=0.452factor=1.767zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp >ەVE> <GBw@5ң1UTh@w6XN%k*: %P([%2u9%>ޟm#] ":n%t0QT6 w S#&-gYZ7zXZִF! AV]ŗXi%6ב 3V9`괤aλBGG}y uv >K8Ṭi.ĦXB)3Y[kg%ΗT=3@tDynlҀ_K`ȯ0 \y{/ncL ]/Up hM-^1w#ӀY`j$3Gjäv{hrʖ?, MBƁ+4lϹ_(gI_K@FQ i̊[ *o ssB8WDzCrd:l0Zh=9:k/zgި(=/uIٚ`xFǍLw'yXHz;nIz-.j¨#'I H9EE}ג 6|M(UW4T3vk 9Nx;#^PQz5/l{vhjvxn^34WM^&qAh