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 ' tl ! WorkerWrapper:threads=2elapsed=12.995cpu=23.772gc=0.892factor=1.837zXZִF! 1]ŗXf1-/6vR[X"9߫TSݬ2Kܦ\=Qհ+ _PUC?rqwvm0*⡼uyQ#ۘM{x]?#hfePݘ&/V3j1hT&'L;ATb}˛%P~3K[nM]MNA+#E#kMi0C;ϯAm9R17I@W =.':hcZyocӤPX@u`L5JX8m6ʬJ )(p$1c!GL JlVP/A{JqGH v"S[#fhIAB#Hn麳"#a qdĹ~RN"6'E}!%}"qS;cǑHs@g;rzo9kИĞvp+OaR? &S"1݈a~ 1/=rqE;vlg&t[:tM0TyHM]Bo^g%.)`qMzǸZpkD|k-Bρ//7)Z%J\Rpax"L&r$$wmz)~:8A{Mk_rO ,*8i7@uO 0U+aU7p`H1r ^[$Y*`<υ͹vXX8eh~E"ӭ]Rڷv4&]^|Ax=eWGT^EfxJ3W.O4XeM㏿ȧy2B_ ~rl玄v;[wnDET৊xBW~1-Y_Ä Ew[P&m386(\AKcT*R8