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   _\T ]/ Locales:threads=2elapsed=1.727cpu=2.736gc=0.000factor=1.587zXZִF! f]ŗXf1-̌g.൦:qa={/oF郓L7Gg#=Xme$A5XV>^K#Wv A gYZ7zXZִF! c]ŗXiɟ }zŎ3Уu AQ_ajhmWdo-zUֱb8`<4z^M`9)oBXgYZ7zXZִF! &]ŗXi%9(PK[WȨ9RMhsћ/Ϲ)ۀIRɽ/}#+٩⊅ KFT]9nN|{i9G">at*CD }b=I5~06;&¼SGU{2V=U_H(M>9[/ OuZZBM0$ ۪ܚ~Zc .|}kͦql)Yyyղ mK0*n@T$u`%TͿEڇ{nu'=u_{Lb11[fQkEEТcX &,x+?`x6%/ (>}%} 5Pͪ"UN&9\ۧgYZaeaf2708f6c1667b1f72e7d0f04bd5d3cb353228f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf   Locales