SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 0*r[MfNe| q2 jy#VG@k;*Dp뱁_/? c&7Xz$vy݁lyZ@40;o0AײLK2Y08\7Y,h\cL_ {XI"h J%r/[fF섄(=PkLD::N`ndP>q]Nn׵#+ Rs#B5f5$ ,?ʷGQs\9pٞlo\M'i"l#˻^/r]GM@? Sƥ\:e/g~7 ]7%@0zF,!=@L:xW*J5?FKΞTS2gO0C 3gPgYZ7zXZִF! 0^]ŗXi%Hx `b6y }Gߛ[?,=^JZROƻ+Ga)))a:2x~`Db8.@Oĝ@^ /XcBi*|6#xGђ$^Oq8K⑤ZFOd hZO1_.3|)1P}=jIS;3E싖0Ę^$p=IT"E l=FiYK)\NJؚ8ryw \%DfPGE7~rK_ԴعgG` ,HMsE$%~O+8ۮr\R|Fl`1fNp!܈Ϟ^3It̥=/%Id)zuQ r3v}yV 3%&t̃hQi#9iu7jb{TLSEcN-v%U+FXh\96͜ pETbx3tW__~~LÇʋ#ׯ)9ð\&)g/Q+[d{>eSxޔ̍ ! 냺Z<i}c gYZ0ea07e2eb048e5f1c7380706a7afdece8a9220cf 0ec36d7ca23942e0d8211bca3458e89df4086332 39fb1256892d3568b8f6150d61ca445e5012297e 4236fc5d5ace4dc812aef1bff77d50fb2f4b345b 46c634f4b6a44212939795b955d06be0f45a2c19 6da2e2a0e422696be54ef36c23980e1e96452ac3 7ebcac4b33b5d2f6eecf065c4dde00b693ebdde1 a2b9477bee35b79fbcb096eb5e777b0aa5666887 cafa73f3ecdfa81fad98de2057649d95f9a4779f d401c1896f1849accd5fc7c91c3a8b9b46ca9be5 d439013a4cc84688243731923c489a1a610e6155 e016f822822bd2151544565aacce9870a7db45218c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07f8f06c444326fc3ae235191bf6b562a37b02e77f