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 ww |4 ] Isar_Ref:threads=2elapsed=9.429cpu=14.984gc=0.928factor=1.597zXZִF! ?}]ŗXf1-8>l޷VO +҄RXۼfxAaL4bVBjРz]=MIx<YZgaUO';*Ȍ&>æ?}~`t;I Ɣ0Ӧ;gEw'  AFO}ex4ov$&SUJ _ g ̪{tv4hEpf}ragJIw:ȟ l] 1nM+hV/WUL3&F9ci_ΒM%2=-m%<7ʮ}!4H@KԱgYZ7zXZִF! 96]ŗXiɟ]O5-|01 Wg9Ъ,t< :u< HOxLsRĵ^8F>296,>o&Za) eT_o,OՔҜ8|A;NBK3K5K!~|-sYo :Ew4"U"]y^a25B C4)) WTilo{$f4d{ A C1\<"`]j5o04TٟiQ;sЫPHq:ſgYZ7zXZִF! ,]ŗXi%96@b>zKPZ%d$ݤe`&pKF!~l)#w';((%A(Y!1^u&X=d*Jnr|2MCO.$ǖ$, p?"E޽ uXJ/tHPZrpg=ٞ~~/e3xϧ#Z_5Uш&98ic0D 7%=7NeG}KCBGHaEV|̦_F/ʻAVM\~bgz3PC.Gy2Q^85Pl4÷Yǵ#XVrIu%BH)!`P`1pꐾr%c1Z %\]>תey!i\?qLk՝mqine2aU~~IMWVw](k΢ 0k kRfN5uNO.&3(v~p%r*.Z>ER sX MҴ] W&S3C,G 5?ju5]OXEm r-;kK)`4Nʮm xupU28,d`@q #- (FK%d 4 QP/Q'&rV"C([Q Y@2\!iJnxPW(F3Y gYZ421abc72e47e2c9912a233eac64e3c73420076b23fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de d423e696cbd8052390366debb40bea8c4171dfd4   Isar_Ref