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 FF/ l ]HOL-SPARK:threads=2elapsed=2.949cpu=4.896gc=0.216factor=1.667zXZִF! ]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊĴ\# _5H}#ی[*,h͘k d1Y%p-+>&l{&@>ۜ,xHj`]g,#{)b{HAئJkQd pѹ`RB4l.`쌑"+c2J+/ J*f|ӑ#N:W'=DR1Ḧgb2;~ NjK?3w;[7ki{nz8?uNu!y#w̎a'[7Qrkv?,;"ܵjgy\~.hnFJ +THFF.*>w(S.gmA+X7e 6,h`WVB[8(YJJNl](%5u]gYZ7zXZִF! (   HOL-SPARK]ŗXi%:z}P*wIG]\CtMpc~7l6Sݡz]XjHu!JN!#_Qqua ;_z %jLrT:M Cq1}kԁH&`F 2:>oK8 [3> \[PO"NHb-D35L-AN F(!qǕP]ɮT+Hj0am8x??׎j?F{ol֋$sFc#;.]^,B #ǝ`` e9Po|c3''5n f궋HalH e#+g]Rofsqo8/Lw-n9^8Z(VYwl$V|*#\FNZg`$#j1tg.|=J v%+>ûJ+5(2YX(uBsĬ UЁgYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2300a000abb480c14067f17d4038d6ecf47f2745 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a e91cabf3fc84c7150a9ab2aeae404a0f796263a2878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 8e8c3514e2bac7ec00f1b025bc573ee5fa1233c97c441ff6bb83b4beb3f7719db0d10af3d9d66457