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 AA4 4  HOLCF-IMP:threads=2elapsed=6.908cpu=13.116gc=0.568factor=1.907zXZִF! E]ŗXf1-q恈N|5` 6y}P7(/H> Qw`Ы^@Љ> 9:MpuI!lKO0`!inV1e/6/y81;Eg!WdF;e,v_YX1XVpL0-\Z$,&๹ڋ dtv/Tu&%?߅)*yy{LeP7A)y,FbҶ85@8G o3jv(ȷ|)Q{ _@zrB +>53bh@ۚho9\xH\B 8}j}f^1hVpSfF)kKdq^z4|A_e&~P4 W)\jY3IE=}(mU-v-+yl)VK#Ꝗ(Ip3(Ds>j&[CXcV^H88wvuzsY9   HOLCF-IMP ?/:ao:/-r&>bCY,ag1/>tý<&> ڪwiBvv)twYdH?57#qV?p|`㥙>J&soVv ".c}9^1Ò2? p#kGkrAx {0yHϜdT*P\`D$}q JjG{PΡ3[dz4gb=P>J'Ė&#h^Q!- ]MS})Qoi?^xg]ܑa5Bzy#|BO=M#m- eH7p}֘-s tMAN@o.O7 oyP9XNxJG; "員) P{x]&