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  a a1 m% Transitive-Closure:threads=2elapsed=3.865cpu=7.116gc=0.340factor=1.847zXZִF! c]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxoo8ڮj bDԅJbFc $/b!M<Jo}6\mNk HFՙDUP=k0a-~vVv}.FCq /[C;/^i-J㈉b+Ɠ FA{Zmg͇*U&C8DRAچgYZ7zXZִF! |]ŗXi%6yN#qi}_H`["]0ymzwNj[{E^R6 q/DOvrxr7?3Ж8 *YnTΩ`}5]"Sj5{bVy$Em#h/Ǭtb(6H] .K<ƹH*W8` NF*QhmܿGiuy.nQ:{ZR+T!Qa4ݑje;sN'\N Ku"b?5jJ)0q7vk 8^KSe3 $:훨09?"DF;ms :^GVyTVہ S*P׋':DZء'?թr+yZU[dcDkq.5-kzꐯEIb :oOQXXPj/': nOn ̤;Zywq>W,CFhh^YzzkfyےPQ&e}ʬ~pTO2%<ɓ-6 :fC@m66!BPjz,?*wu7$2pgYZ17e888abb07357253c84f27f86f5a16089f2722b 42ec63e4cad18603aecb506c4cf9bf363fa6bc2d 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac a73e6f31a63992a1aaabae1d886da29a4443a823 de21ef59784c0744c9bd89142a49cc04dc3b8bdd e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde779f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 0b6bf360c9d294e321c171f738cb821c0903d51d 8466ebbd0c9f78b1ae12654b16bb281c4d878c57 97b7f300e0b4079e4148e5b8b1adb1615627614f 1 Transitive-Closure