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 Q1 $ ] HOL-Imperative_HOL:threads=6elapsed=42.163cpu=61.164gc=1.628factor=1.457zXZִF! / ]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l447A}P ׸uRy@a`q{"aDw\sML>0 `Dw,߀lG ɅRGMcak(`:\Q.XIL 'ukQe dShH3Z c7|%RѤu ƴ6@ YOY+ZHt:Yjlk Cn&LIGOG8DƫZ,(~j[~s禎 de>`,nŝ @ 1 HOL-Imperative_HOL.q 6̄2)UVaS7k;`d1.`ȠMm'5&JzP{ LO+a5ϵjJm dhjjN'~5(!g+ }x$lDPwB. Bx-}jyx`zſEs]E2w! ~q,P|HoݛJJ6QPBF4I|jl7n77nl5c]S͵oo{\7{:vHvhXs4Y 貞79s>!")OOC}$U 1͸*SӍy _E=zy |YlFYJ53%e%f4&3գڽ&ÚYuJp$K93-\3ݨ4` ZSBc%‚:!l4`2I=T\OAlҕfY@ ۞t!٠8$XqUwSM0$U^u BBdƗ%:8 G(AꞠl+'rP ]:ωRaW>}ˑc Aʽ"Sv]#u~ @Xenm۷B.BR Aޘ.@PxSxqL:%͇K 9Zִ9i*K MŘHn-0{Z ^̿hXQPm6$FP%#EUe; vTο[]ǟj׸ѢhrSo49ёK Z A˱gYZ7zXZִF! Ǖ]ŗXi%90Śp]7(OQSÏ(|) uffëC^% ֨hVstscBO|L?mS=>vèo=񨈒4 ͤͨ#$ B(R\l,Ze><蚱CN*E$jetvlIJ^?(I/{jQէF)`OxIlT%=?_`H (w7Gջ+C"`)z ]Ë+wH!`?Zx#F} _$i rU<~3:[v:])V%5N, ]UӤ sN?cFۋ3r29:zߘ|9ͨud_y@GNu H4ƤS,aThR'0ʫv,q/x_3YeĤه% 3eB$[},['"@q4m:R.2\2"S:FF]F*3 ,(uTJ Wb>Eh_ۂm%)k> ~x vh;PsP|em?O +O`*POWIX`! S.̬\/rQgԘ.AoJL'uBaa*QTL"^ǥ@?zK rbpց)j!'bGses*)I@&TTˆ^[mh`#;uG@K6):ϣ)$t'/xb\]QFWE_$zvKĮ)p5I