SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info G1 c`+'kv{5䩧aCD.Td")gC ykFƙvj b.hEEW+8+`A\S΄ii𠜀Z,Eb PKCZv{6s“H)ei&wŰQeÛpT JâʭkkT'ZkGԯ );W*,^v*|+>q0!\Jh'KJ_׵s*lh6rܴrF_g9ҒGbݿ!\W.V]n9( wn{_B\QXl7P-@zB7(W>zpQ,V' v}6hhmlaʽ\l,Zf9ȢcW]Y+%½=A} ޞʳ> #Jl{g ag/kЉdifX/O('1%S=? ʥ^ˠ>JZZ%{unV\pV8fM No^~H&9q ^sAMq:4X${.~%ϔh\iGJKD~   1X#GR`ag8*'tMd \z"f\';ۗQ3;%e$ RJhڔ KKlIʤ>"ϵS.]~aB=4<Wb<濦f! `rM?x%xF2:?ȋc12@mHF <փI$4z^8bʳ)"qvDQ&bbRNW|\s؀W@X^PM)).VLE _A[0u;4l2HO$`_#DXb70VywTkXYf m!Q0ƿ}~Dt"}P›S,bs_?i`ZLpx_@I֥g"R7kY*i֮НϬ'No3ڱCiśL& ڱgYZ7zXZִF! [d]ŗXi%B׆> S C<" Ь}7zG &?}P5]/r"!zE11~-+?n139ѿvIҫHd2j0hBg{얶 q~_]zNęt\( GP1AMK1NJ_uPH^0J\9RdӸݞУWH k/熤?q/h Əׇ-&M L0:4E,Ƒ?*J}2>JGCI 4{%M;QAɶgjxr}2č4rkykfC =D|Pހ ,3Z-n.[PǬ K;qjN^P? C"*2zΗ4U:3*(/>mb9Nƈ/ wfq+57[%ȉqI`?% 37m~ ss'IGvߴJE[yqB%6\.ֆ#ӟõ"@4XFZ~YNaA&{]•8;hYCnM1+vWa0\ '2K0_3V .YMOܔcѯVbV`6б?xd|UH^m'P  oHmzVEXmR"(4:5uja|U,gށ!0w㪎L5=˾_\ ] 6# O:Ǹp&d]fe<~}jugf9ul,Q{#\d0EX_So+S Y-   %8O_y]q 4Q(Z[D./Orz0NPsUJ<2IF#l,YЇzZ6);ZP5@8_/-Y?Bd i`=:?Q-˵^.qCRG.^ejZV282~7|aXZ|:q3,^])Ãג4F0-GwrfGΝ\eA3-ȉд@b9x &8RqbM} vuVEIn;zXNc)7YrQ5zٛ$$LmYDBHkK?` *gYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 4e4c46559726982e3c668c43765cad9b5ed0b4bc 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 30863ad5ee7decda41d3ccf6e6e580bd399820b2