SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  Z Z# T ]/]Ordinal:threads=4elapsed=4.091cpu=7.712gc=0.476factor=1.887zXZִF! ~]ŗXf[&}^mBσyJV?icai A9U );ce,L ަ-ƼMbns'J=w#gYZ7zXZִF! ]ŗXiɟFHuߑYXIC% [!I/~!gJC?ӈVn0AIk嘇D$d▯r@c%+J&cKk )eQo)/?"F ɨ|`: QxrWxh _$cB xφ[c<|f9TzlXAgYZ7zXZִF! 1]ŗXi%G<& HD`!{=Ly ج̍,m a{C2SP]L- GI%lOMGKݎU',NSqƭ\؜<TRJGp0C9)diB; uv2ނ {Tƈ QkhH4R"d6jڼzRY 6(rI'.?RkTrC@-ڷX0{mg!5-ACiUO,ErPR% ;f祥݄V"B$zbuO`.2gy2^:%Ք-Х$ȷ5qY_>-S.KqU ?EOOp X0>xr:OV&dWf8UdAo]8UV%d5Z.7}Z8~i睄fyvX]vX}-{L,`~Ny'?f%VA|x|BA᳊Qmâk_*-Ag͉O9>ˬT|Rp=q>zi&o%ehPT:vsˌ \C+Z9HR(fvH7UI !1~=XRj7LTHs+yfO y{Xhj^r(O[! udedӿ\[!c .i#q.>RH?ǯ+_C8_e/PV6ϟo?iYUIi?cpiѽeKq*׏zɕ D;A?:[#GgQJ_[r ʢ<-4y'Ke