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 d-D S% RIPEMD-160-SPARK:threads=2elapsed=1.131cpu=1.208gc=0.000factor=1.077zXZִ - RIPEMD-160-SPARKF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ:l@eczi8}YZ7zXZִF! ]ŗXi%:4lfϡ#1+90ڔDq oyۊBfa2ӳˉ42d:*VGW])|kO9#HTUnFÉAB! [>DFl2QkEcjGk;]IE[Gx0 26hEx :ϴY3u"@be84]2{ F&);NSnI'K>DO\5G$ov&b7fr æ^qa߭L\|Ǹ:69yoJ/8xOl!_A1Qt߄ɍ(D%y5 BkxHj D8rq1aO)!a* oJ9F1dTpc^"8Ȣ{r MqrgYZ032f91905f35339d42804f02844f44487e2e5dc2 2061605cbf790c60d6ba5299b18d3388432d3511 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb6878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 8e8c3514e2bac7ec00f1b025bc573ee5fa1233c9 7c441ff6bb83b4beb3f7719db0d10af3d9d66457 5b6966872c420d061e1308ac79f31f0b79a26a95