SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 7% \ %S Posix-Lexing:threads=2elapsed=15.335cpu=28.172gc=1.696factor=1.847zXZִF! B]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v51S:ۮ?>K(;L8q{JYԭW].,:kDrTbu AF!(_4(.#tS-;}j xQg`#FbD)98Z},D,hL]ZJ$`B"fnxwō&Q2Aؽw nӮ3 .}pq`W? ,B{+7#~dh0, M;E`1=Lͥg$>@Yn<).ԬiP,:Q,N AVE]zKm7,;|vhvP78Hml@-J|vl{$%n:<^ѭZӔ:"You,Z4aJ1-wH[~ˡu^5UR;dMv"D׷ CJ7pX7 ߫[95|wWw%|R8 i@ԭnƯYN޲m/gu7ZWڑzUt6`7B |:멋޽X#W8bcZSgRĚ+϶ƣa5`۷6eO2@70?-r 3olyg`<8cY<^` u8+BBھoCGR0$FģyuSE0w $ Un}TXcx}NyH‡SV S #ؠ>aRn(% 2L]r#Gu6=KwnP ƒ@z#L* >(٣hAW' u:5~u20:xXqc]k?+T-OU@B%*vٴٚ5"]dBoIUs<9G賂^1\sk#QPè]?A=#qŊ-σR^9R&q]\ `$wഫKtB@DGlw(ίZ{_sxSgoNv<'"a,䞘i%9H U@C R:Rbv?aM.5E<`00m Ξ8트 ua)log"#p]o\֫ n#[gYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 96a31762115b67ff72ca4fd34af99c5c2b05cc3a % Posix-Lexing