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  ^ ^1 \ w]Discrete_Summation:threads=2elapsed=3.048cpu=5.628gc=0.088factor=1.857zXZִF!  ]ŗXf1-/6vRZa*Au&܍ׯFm{"v;I M\vnVG.&E^jӝ#[K< ZНV:X:BzD:՚Xb"37o"oȥ[>aB6|qMgzc`$7az H5_MIWCƐ o~F+X_ iױgYZ7zXZִF! G%]ŗXi%ȟ٭Ͼ|YWlM Q |Saf93Ó dغ$m;>CP7(O,tl7>2 /Qc+\<߶W_iwA}vh>Hk/QMsnD8fȝ"yQ2q,~m#)΄BdeTatM<ѐti' Iϕٍs(+b^Yr3W '[ؖBՔj6,`pD=,1Q({/PnzEBZz u;Ab|Uܣ`wW0Q¡悟P/`f}&xI',l`.6Q!39iQ t+ױc4wu|=ܦlTQ~r:c5p'*K-bYonbwu7+3>KV%N-<W5Hd>` Xo_ QXǜX݊).KmgYZ24a16ccd7d06b41b6e68771fea5335fb8a4e84cb 43cae1be099d1c213eaacc3f2b98abb9cac22882 7ed62bc2552e06c4cc7af31812f96e0c25c73884 a6d5f38a796d2f9824edae8fe7d783b20be407fe de7a7ae3ff75272fa91bd120804f1cbc7b65142e eed3763e145c3217bd1006079917bcf0c4820987735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e32efc0dccc56cc34050cb52218a49885e291cfcd7 1 Discrete_Summation