SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  I I41, m% Transitive-Closure:threads=2elapsed=3.868cpu=7.292gc=0.312factor=1.897zXZִF! b]ŗXf1-/6vR[Uy{n > gA[@K 4Їa]#-$pg[sOw"3.OfЈ ! &{, x*oa0ZCAG9I -<3Sp 5JVX; L ŨYuTh[W B}+)s`ɹYo gYZ7zXZִF! ]ŗXi%6Ҿ󦍎R >MZ׾(>`뻮, [A*@`~8ʸ: chy1b$ۃNdIQY&E+]%")oW䫐T|>Wb=3˷\M'=r~.%2U^,NRX%O#!x߂ynX'n)$%0eD+Xڮۀp:,}3stI3ew,8.Sj4!hZqM6Jfݭ`ZNB6V`BkB !}66N7*Mr/Em|"Wqot;]hFTGEu>Өv0K'VX`w񰯈޵Z&r7jҫ@Ԃf k /LϜlN]FLa <5B; 7\X*gYZ4c36132a2f64e943f2c1df1fda5a43e0240a47ea 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e a73e6f31a63992a1aaabae1d886da29a4443a823 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde779b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 21e4cefdbdef8cc965ac6dea7cee2858e98b2426 522a2f0104b6cffa669745edf04f7a54847f7998 85561dbc15eeb05baf7e02d93e676a71f62310b9 1 Transitive-Closure