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 ]  S/ PropResPI:threads=2elapsed=16.552cpu=27.432gc=0.924factor=1.667zXZִF! ]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O&+kWpC0RIukJ_L2+=>сp9B!%+u"ˇ\7\$|xK,ca1mgvcAkʥAB:7nw m`ƙR *>/VLLܪzkCw_A@Z6pkhمu&uIg>hKPqQ f/uCbB\~`2_[{&By}`VULŃ73Zg]Oq6M{^r@'gy gIY~.!]@˭2q4FBj28gYZ7zXZִF! YF]ŗXi%6ij@IflͮXʕ|X@KJ?iz_!eA3-\cx'Le_~Cu294& xohfHW,.>\ aC 7ABF7$e+ d.0%@(3cF%^WܫW٢e'n iBf ~but]h{EM\ FWq-'}ljDCtGxd2uڬ村[ @3e[Gֻ~{JԘ0OTH+0ZB߳}|՘J9@fAK-k[Ō2'aZqʗ.BC8KD5h R͎PM|` <A@ݜgQCr=\҅D!ٚ$. Sj=~5YT*&?żl"4~:A2%ex8g]¿_ 1Fa6wBy7VF>)g)\ In虵~Gpbׅ]; lj԰鎍e-%_>xJ>?]A\-ciX1(T{M6qcg5]m:#K 3#?_kwu*C|X͌m 7|kEmMK foIJ8hQ9m#`9"\aRrG~|4Zd~vER)IfnMuL|=voIRs9 q&`Y]jzA^ƂC)ʱuI_ꭜCBbh`jl?zU:+ Xd&kziOħķE-s5