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  ^ ^1d w]Discrete_Summation:threads=2elapsed=2.859cpu=5.276gc=0.088factor=1.857zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"!Cxzzh N: $U^zSoD8CIXJܜEQ_6@er RX<1J!{9F1.>I 2q%ȿ&?)R^|Po+epXw?/ʍyrpCQ7e gYZ7zXZִF! <;]ŗXi%6~q}5^{2;Fn&sapE{rHB|EJ@G0*W: A0xH [N׫r-Hڃi_ ^Xį+VF`_Sa9`24 v=_O% V\ϺG.'%gYZ24a16ccd7d06b41b6e68771fea5335fb8a4e84cb 43cae1be099d1c213eaacc3f2b98abb9cac22882 7ed62bc2552e06c4cc7af31812f96e0c25c73884 dc0cac39d299c737f914bb25d90bbf4c073c85ae de7a7ae3ff75272fa91bd120804f1cbc7b65142e eed3763e145c3217bd1006079917bcf0c4820987238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef38b95661cae1d139f8af19365c090813e30d7170 1 Discrete_Summation