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 ] TortoiseHare:threads=2elapsed=6.104cpu=8.944gc=0.300factor=1.477zXZִF! 7]ŗXf1-/6vR[kG+j'bf{9lfKY]1M&C R=q+K &tWɜpCp+Nś}FauYrAaJ?pDQ@m&[(Otǖ$9d]-械T.?,׃ӖG|JDf_=saWXaR3(fpE+%|.9. j%vήx>'Fb#tS gYZ7zXZִF! `]ŗXiɟgbvȂtU v!W烺C/x!h0C}"pめyMvD)E<||Z KgYZ7zXZִF! ']ŗXi%6\S8H`hP #OAT+۷4;N: i*#3gkk-]FS ͑0_ ;A m]MTO +wަ& HNHW3XYp @i ߕ?4`r%!,R#as yݫBpY {Ů4`_ B4*fnut6v ]Ҁ3Eؚ:-ҵ (RiHy^(ZFEV?ͣ'cw#qgM D= =nd; r?uB-}<1p'ic^"}&,=$bKgF0] nC.Lp漏Oqlt+;-oL_u3 \!\V?/.! ? V (*;v͌6 WhW`5̕|*='1F]7 83Ux\dQa>ڛj00ZN4 Cods˧vCS>88,r(oYHepx+2GI|ȯ@ȴywY)#G1GV|5R9]:a̜bdz3 y}v-<b& <لhCTLkbwUS. |'3pv"rH 9>$މ. 6dBZj8K%A;O#hkgYZac82d220d03cac468bef72e441f5c32a8a637faee70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f % TortoiseHare