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  l\ ]]]ZF:threads=6elapsed=11.662cpu=36.672gc=1.944factor=3.147zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwTY@Xd)!X4-H@'Ŷ#rЖɩkGP/{MXQd^TuQ9j!&fJmz 8N>Njz"ft.y'iR|KܚoUih`>X9v\&lgYZ7zXZִF! 8]ŗXi%ʎ gsP $I"P~>husdcN~ rʗed{ơ8, 0Tk=f@%*Cذc&`"?,`}@oy> gS~R6٣d$Ψ7>3j"?UkSLVm_9i|1~ُ-VDēM7| ^-}GߪmCJ%% c`>bif˳KdE w7)D \dp+iս\ :ꄽ̖ybA\`'!˭bWGY.-CAXy=#d~74Oi(f_G?h'5Kߞ]tYaIxꩣsNq9f1]xIo`ɭZnu2<Q_dxT{tMǭ+.h38t5Rmzg,fbԕKnʳ2Ҍ.# 3lmpݲ,f _@3mz:(NJ(58'a8(:8lh)0BQw~Em5h@gFaSexn g4P嶎X.SԐj(J&eP*Cg|[:z)F X{b5Y#ni  +ǒa@Ҫ10aräTʙs mQípJh 8]F`LNhwO4@OYCBPғ| )Z7 iVd'&|P/Dz Fv]e"&c_[&YxE֘yH6{Ŷ^? 4؆># ZyMos^AST,׀P^.1O그YoFކ~- <[|jp t^j /k 5b(yRƎ 0k|Ǯq59hjU39 ;R6֌Й8ɯQpca N