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  r1D\4 ]/ Discrete_Summation:threads=2elapsed=3.681cpu=7.288gc=0.196factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z2͋ u@ly~l9{e\ E[zߧ7? AD P.4aw 9/YS:p5BL<`纫npTkB/Xe9!tG[b]2Bw`|_1 PgSKOnS33,h&MlD >/m ;%EY gYZ7zXZִF! ]ŗXiɟֳ5n,)e m$P-SW^O]b lTIT38}˦a_:Ax8H.ٕύUOjy֎8,g)5~Q$ ;1'hU]Ӻjy[I^Z%[qlGkF;ٜ.""jk낄UgYZ7zXZִF! ]ŗXi%;уx&%!eRohN2# Fjy=؅wyrl^QO b{{bZIi:V%t?x\=Dr* N{{n6~R&zfaFʰtODnQ3"ҳ K#%\1A|FŵaeUh]_%KVֺn)WXԲbLaU68sFZBeysj{y63NGƃBɺu+j4˷ 9(@!z{` `+g:C+-Ph+sN^SU?mjCEȐbۑ;DG@"C&\)muX!:Q .jvo, leOKb?@xCh\i?.QiEzoM)`a[4ξE&,oP'If/=Ŋsk͙*DCYwLB`Жlʃq%E}NfTaDÉv2a~ -I82I ~G>>yY>I+v@};C/;?)~cr |9'׶//$e%$%D礡`^\LOWAgMgYZb7e4d6befc7861e4cb9fc2a6ca9d1e4acd28805379d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 1 Discrete_Summation