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 C# D,  Integration:threads=2elapsed=11.347cpu=22.132gc=0.792factor=1.957zXZִF! >}]ŗXf1-/6vRZ>]nICg/@104&Vqؑ;|kxGU$s(#ڤXaWM+7Oy>g㐧&|@A7WR >ZQh =KKsQ"hE*˼:%),.QeQf}L?.>*?}V,6繤alP ZWT4P*1Y* JY Gnp9M p;2'o1] Fp_8+7mrX`E:IN#:R,ΞF8Msp~lWuB6(j{.M6 t/U y'=n\jaU-GUʫч/YɨG$Rwp té+s ryg]p_L:?ʟ9ăVivI(]sL2_Kb@J3ykZ+qx&4JQй4RJMh78U1V`%<'q{9Z̐&w @. uV f+q劫-y0iҚCxsFU|x[{02-(xn>MِW;2ÒNӪ3,0O2{m+>2#vy^R6}G3URHJ1`a(3Sڜ%6T*ż|>e"(s;sԆPD+SoLœXn9x95?JC153B VEZàPi.` L ^D{]0 Y>F謡ƋYKo֞ 9ٍUI~6*os Ń8'YgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e71008728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c # Integration