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 C! $ !/ Prog_Prove:threads=2elapsed=5.333cpu=10.316gc=0.540factor=1.937zXZִF!  ]ŗXf1-hg3㶌 8UA5kGc,SnOrl0V}LzV"|٘?ա?ނ 1V$5_1i*J~nEԧ`\.;| ;7潿QG2` 7*{*^(d(#^{̐ #֦kՉMw&?3mG+24ضkZ\`J*N0gYZ7zXZִF! ]ŗXi%k= c]x}-.X,rVd )ؼoY/9`N7u <`6L`u36N ;9E:5l,M$3,+O jUBZ 88UInz p'(5L"9\9M"w2)[NVI |?(lYc0W6Kݠgݟɽ{LSg%RGṚҼ92ɣo>_{33 Zٱ]V';4b)swUUe1ӣ1K+MRDP߻6zU͠q?Q0q=[Bg ɧS 8O]ǫZ z(V 3EkCT>ڜ:%So>t%N'񙪄([WK1gz3NƌF)\<*Dlq!QCڅ x]H7Nd&yȝ"Oɱ=tBƴ{R6US"1(gxSi>I^_#v[AεU[RzjLw>L+e3wgYZ174ccd452baef9fbec2f79b6c38a5c53300ccb22 2734df956a5d1ae271c9092920579de7e30537bc 27c724d61b0acd832c0c9efac9c78186f35bd59b 33576b436ddca86a1623909d091ec247546d02f2 68340a555b39770e9719edc324cc560a4287092e 6c0d71733c9d33eca4795fb62a9d49f8a42f7258 6c0d71733c9d33eca4795fb62a9d49f8a42f7258 71e0601e614b0c8298ebce91630f9c525419ca8c 7e33aa3268c9a87c6d81d73660f627ffd3f88a61 841cd57864f37bd1e2772776299df4144bb4b962 887b9d8fc6087862408a9e468595bdd570f1190f 8f194db846e67a7e87b25a27fa8ba1259c4af82d 95ded744d55549dc14b8e0b25414a4fa53973054 9ca4e57b823dbf272957996380546605089e9346 a634d2977750efd14daaf8018feb1fdee3310b68 c77fc9192a7c5ed79102b09650d9071bb42733e5 deb32207eb2e7d1a4fba73a37fc19dcbcfde6367 e15673eb9787db266b130ce5124c7bb0fbc95334 f0a8ab4660f11c407432f313daf8e6ba9a6af64ed2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c