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  9EL< mS Formula_Derivatives-Examples:threads=2elapsed=61.384cpu=108.100gc=14.540factor=1.767zXZִF! >]ŗXf1-/6vRZKƯiWٙ*P59#;4Gv=o"|ù[OՍXb բ#npC3iϹhjxkT*E) ](:]/M/ 1kr?~R$f eK] Mfz?{/"*8PJH46(7*@cq gdxlI!חK`liD0˴v H;0j}Ӯ渥ő.r LNo/r=_OON <k/L~!YHB5|zn-d&s:^De_`qԸzTb@(9Q`2&6_’P}GmD!E];(DzX:AAGr.ޏ1MLغlriȳۡ;?01ͱySLˣD^heDb`O^,O _@@vDlN R2l% #٤AK`@ǷSYɩqgyЁCMl<(𑧙:KUY ״8)O]B}6l}L#%kʲѺP> u]}䡦ah9j5jؖIMat4q(h1YPDʪ{̫̇C٦ ]j Gxg/ jZ Y58̈|Odʥ%0<M??\?P$ KxY|]h\ہbt&LQ qy>RllNKd#J^.֣RB]2'>OܽcDSQz kj4,ֹE5{6P ͵N{VdTzTx(djqxSkZzS%IZh,;9'UqU@ @TU#C``<軎>xօL*]SB̢ ~$gTI<N2y =#`H%#KkNXf7FuR:{Gө} Se$_ub aqM 7f?; 4L骽#PK:+i 4qXddΒQ&r_@(D`tH'#@ pL<>~f뤳E:Di.CKh$>W\42^?j3J!l2`74ޗ9јvN0w-ͯת ѳU%].SbQ5YXPIŬA[5Sj,9~jyDq#FD0uaGA7o"fVZT;:f}(A_FC^p{I1r,iPۗIV$-OPs]E?wEaL rHd_mBCd%ș+,s/[`<3 vST7ϢZ no9E5{2~hٸ/^z67U&ԧ惰 h<("U]# X5e"g%xvxF fW9k!#5ȇ"8+ ѨݪձjEJA\LM,0ӯ5]*`RbvʪķkVCFhz?̈`6=$K,4>Os{EsE} ҪrY5Rk2 #倛E*wn{kxJU.h eC6gt(ρ NgYZ3122c5b55089566c74375976fd6040cc34c326db 341531b0bebdfca12e3ae785af273096df594f93 429952f9b1ab48f5480776e72dd795c832ab4fd6 59b2dc7b422924b1b9bdf7f2de4adf9c5084d0d2 86c4fa7f41ca224435913dc3900969e202147953 94757edc202a3b3edfc8ed89da5c3c332210b7f7 a4bce5200f82de2838e35790681756b11144e8f9 cf0eb34815c10b600e671c786585de3d3713e6fc e49c7b34ef5bcbd6834a0da9691127de42c64b3f554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 0c4c4435fa2dc049960ae84ddeb08d6872f43651