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  J J3,Tl ]/ Locales:threads=2elapsed=1.116cpu=2.092gc=0.000factor=1.877zXZִF! U::file=~~/src/Doc/Locales/Examples3.thyoffset=2849name=byelapsed=0.182Q{nVY}YZ7zXZִF! b]ŗXiɟ }zŎ3Уu AQ_WdÜf9UV Ekx\|Jq3~c(;NHJfV-~R;gYZ7zXZִF! m]ŗXi%;iV-ΡAPʞ +ÇXԿr(^N.J0JpyCy|kwK,/23!fon]p06zC=-/ Sdv{a- p3+<ǃ0)ݜiNRηԃ8~ۻAe(jųdݟo0uM5_< #َ ɵTS1֞m ztɱ 璕pb_x8V/fU5܈fga%1( A8ADLgz,@H7^M@T.vlęŚ8qh"maԋ~NNG\s>^G }Y|k^[k Pꭐ]T/ sgYZad40777b844fdf8393eb2d0a0eb92e8f18ddd068634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3   Locales