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/ HotelKeyCards:threads=2elapsed=6.539cpu=12.716gc=0.364factor=1.947zXZִF! ]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}iKܶ1XE/w-E1-810q ]B ҖPoy! ] 0b RLdce+2kpb Sd22) |)Qwl9l~2K|YS׆r}ǟp|~Y)RةrNtCTmu[e\j=>qo{6tX%tP7tLـ\t x_O8΅%7Y*0PoOћJM")* yoi٬Or_R"5`x^} q1؅ R 5|( (R߹DȞS gYZ7zXZִF! *]ŗXi%^L{!5wipi ʊ[I"21)o]P%2W|EAbS9 s˺!Lg9|͠p 1|Ff&޿l_͒ cx 4%=Bel9>r0rb1`2 !{߁W]x`BdizE7pj¢r? 1%q)3fL;.uHJGloV5}4VGa*޳*Y_Ԧ!;QiP?1\2?"4]":(m,=5} iV Yn㣄T2_;? xD\;W e]ħU$Kz9~!|vZzw&jAm(Y>'bM,U \ߚ"86KRQ1QdXR+85q^ 3&%'Rb 8Y7QDrX=VO'崄DIhP*_vy^씆c %%3!ciFTOJ1ȉ8"usS}dUB|xVj~3TjPObCKPuk\jQ#Xx$oޮ)xֆd/"k4g4qw8 (TR~m ﵆bAI <D4^R83ɴ&0f adI;)x)nu 3Q>jT gYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa ' HotelKeyCards