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 mm |4 s/]HOL-Word:threads=6elapsed=10.391cpu=43.348gc=1.508factor=4.177zXZִF! >]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α;HkP jI2:N78x#O`8)D M_2co!=I }vZWX)G) $ǗC۠Xwh_&W7XX=4& ^#4NKL[_@ B?HQW ,i㯡5Tt "gk,]LdW /,^/Ͷ{!('mYmc,C4D롭CUn{v1S"ŕIY =#h0 *ԡIWf'*ۇfQJV]v`dݭkˉśz }d |).RSOg+J#Was\4NzɼB[͏ SGO䌀ݷP &#E 8pݞ%UݴxY+$Bm"OGg=_7 eoiC{ˬ5G۪j+xך*J6ȷ)D^8Dr)CI.6J)@S4)Fٻg"z8CNea:j@.*nn[ۦ pfA`6j$27uPL%e.~m-?ojS93.+L#o )0) :C+2~3@ 6OtH׈K,[w? b;PȩmsQ`431s$cǞ_5r[ZxС( 1 **c?&BZgcIn#_~2ڐe%Ma+m/*"_Z(6:WH_Rd<갉~B ‹jPg .Z;c/S-&9[ u!@S0B7FCiPo!7˰6F