SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  { { \< ] HOL-Unix:threads=2elapsed=6.750cpu=10.020gc=0.488factor=1.487zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kD0q;<8}v+˷[D|$^݉ 9XŲ1Q'\eێ]j:9p"ɎXBz$ Q#Yu8&-rt&i|t'&΢@#^U-̏!,J#cI掔&DJYKˣ+@ 51 k-,2gYZ7zXZִF! f]ŗXiɟ1Ivx*`(rHQ ɅeXa?ImDIxEs@JՒ@-E~YҎup3]ܾRԬw^U ƻgYZ7zXZִF! .U]ŗXi%96B嗫HOT'7Pvr$u{e>mΈ`ڃoZ]_iA~zA:7'IS`YNC@SkٙՄ)i0̶1 )V}~g_ULu! 0SUU>"0vE:]] ٺ\8T`C~Z[)7Ő-'*_Lt`S#Vy 01 ki]Pnqv;cIB}XxH({1c7(.B\ve\.zAS):~%tiz5p0ɝ|U9l}{ֱ^jvvr#p1@m2%Ӑ !)M HZuMc9k^Ԕ{G:7O FIJ֊=yo9-TAewap\%>ϴڑ%;4L%zj:æBPR%5RP!V*dj4JyD>3UfJMtϫ <65z&yLbdtwS/O9V r qw;_*n5*&Ĩ~.fi/g׬Q@OeLsHG`:xzdu$_NօM]癥gYZ896e1382437181788c44aedd7600a5f5db837d8731bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29   HOL-Unix