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.929cpu=5.252gc=0.068factor=1.797zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"!Cxzzh N: $k V& F/*+QB@_C|oj0]lhS.82J9p|RDtS/ K&'6rꉜ{]IIa&9aiQs]  It_:>h&V@㬤^\a {1gYZ7zXZִF! G)]ŗXi%~_8*fsq=Rكh f9f`H~gL fGzBfҁFql?aƦEɼl4%*iX13{<>#XIg\2lٓI0-F/CdeL{:fg|qVY6Ǯ#0`W1 D8ޙ@HxdȝzULf8/ 09L %"!9Fwf- FJS%^6mt)5 A0)֐E9&H&619 vWsˈ8a\{$hOEvC0lըv:wcY2r.PgYZ24a16ccd7d06b41b6e68771fea5335fb8a4e84cb 43cae1be099d1c213eaacc3f2b98abb9cac22882 7ed62bc2552e06c4cc7af31812f96e0c25c73884 a6d5f38a796d2f9824edae8fe7d783b20be407fe de7a7ae3ff75272fa91bd120804f1cbc7b65142e eed3763e145c3217bd1006079917bcf0c48209870ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382472129efb4bcace901205a20e963231ca3e90ce0 1 Discrete_Summation