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 "DT c] CTT:threads=2elapsed=0.780cpu=1.160gc=0.000factor=1.497zXZִF! ]ŗXf1-ĽeF5ˤ]GEaDRzL']z=M9YUFgiQF`~[fZTGh?RED5)7 Z%2u"tL@Cc0ubsW[r7#\Yp*z1Teg  CTTYZ7zXZִF! ]ŗXi%H蘍_"dϩ##c= -F_Mt^6Å *d;GۀGvX5"-3͖ud3 $/fh5wE$ղc?˃@Ӣ$s ] {iʺ/ 玎s-eKUP<8< xaby??W~89F}6\-$v,}cv1ف^LRfƻ&RB=]ᜣde |NTvEtUzvp[&$oGͻFNǾ<"$g1KD<M B+ Th6f#F(~O-dJB}ώ9ȫ| \ -1i>loK hbgYZ2658e33a15986e48c0313c55cab49287ec17b82d 47ab5e12f713c12a600183f27a54a2d10fc7bcc5 4ff231e9dbfbd8b32a7192fa22b7eada470a5f38 65cf2a054ac068ba5c48abd1baf0030c71056898 8356fd26cc30a0292c7ac4dd7e4b27635be869a5 9089ef3c13c08d3ba5b3a9e4cdeb9e5b991598df b8cdc9672f8c2445ddd4eedf3b42acca2f61a654 c67c28f1d97b6ec5a2744b872068a2af97908f23 cbd62024e1ebc1e91e9c12675b807a1a7a7e6911 d5dc92c918f7f2926d839b163368a5b800022194 dfb3fc7fe09084753f19431307f82ada78d50fc0 f171316eb9258a904025aed6f1ab96ccbd54f4537f2620c3106ba8cf7d1c7f769837afcff4b3cfdd