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  $| ]]]ZF:threads=6elapsed=15.172cpu=44.980gc=2.492factor=2.967zXZִF! p]ŗXf1-) enȈA XR„clLg`I >(;MJ@dprڅ7:=JZ.[2@o Sת3o9_,~uWYU.bBa_zz-EglBRg}mW ?]RɃ)]M{ b|naj^ZηC6f aJJJx;t?Qn4bN dlʺ]4I/,, RsV*+vt}:z@UQFް9F;\N[p)UxgYZ7zXZִF! L]ŗXiɟ 1FE`空P~i P Dԭƅh#+&cŃ#βmJ#YK(2Ш4~Sm"LaN1.6u7AE2]%]!6gۆXgl{7b4jzܾn XN~O} ,[|~wdή% }Dɯh7L {2K;܌kOj~оƾe!tʾP8f-=:Ru$>k>~c233qf>T()ulpbڈWprbwϞx:[{ +6oBbCy#[:7@#JlN 9-{r(b-1}:Qh: w(T ~EIXWjԧK1 dC>g1j6WMW+(#p?,QC\F8gB3LgnkX&7]P֋ uڈ*vu^$bj! *^sDrՎ*A*47m_')+8,6@71X0YJl4}@S+9?D4;_їw cz_K*tt&@lu>g&v.r; !sܘi.Uw)vS6,W-^OH )s0M|i蘄VMj_ɧ&̥j ,Rޖ#˱9NcnhiR7ڽ$2/f R$Za |6-Xu":E׌bOgtzn o)R!^hgȬ = gYZ2160f3cba143b2b65c640911bb579fd51b63ff54ad9522bc18e2b2a6cf26599b560f2a9ea7596aee3662ce0455791e6c89f5f9ef0fce92bc76c78fc8  ZF