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 55H' \ c/ HotelKeyCards:threads=2elapsed=6.543cpu=12.636gc=0.276factor=1.937zXZִF! 5~]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0z~,Kjӏ̊O yR U525߬dM7\Q-gX1cQe{Dƹs,Weyy+Cw|\Ob=^K9;Ky{=h(򴶎,Ӟ3;bi/huYWor* Tfʚ$(WgoJqi=/[ST{gV;ޡxCQ/{~4 ĝSaQ$2u1Vl!7OʬMRYMe3 ٬G8{<5{,@&~1 kFk'F3"/>LƋh0 r/2VbQtX òј4٧.iBV3||{+[}46GJiP`qlǏ j1inaDC+y=M5cF69YTm1 ,#3wc.feI4L1j"rڭ)Cjfspي*&4g7z[۶1C&i(JSG(0)Ss#PtMv_̵ A*q6oN*7H]+z^a u]SW,lvManm _ ~m籘2_6}oZ1^L_{ PnP)1:iܥ%-Gaq*S3=v ܪcG̣pkB&*1>zҴ@iJ^1]N6e%zkhT v |װ/Ȥ^Y2C y!o=#Юul;gX4*xyx& Ց>=t|ִA,4G ٙkiY}4%P쐅-!T3b`l3N梔Q5;^Yٱ=wkCF|i=,ۇ5ʛlQ:|F8kb0tെhA5ZqKkhrBn6 nӑVjC x.83B(Q|ą\+GPl<o㱨c҉+Arm8|w5ơ:⦠m:K-h{1q$F&ydc}R"L9NS9nox[6<<[+lN!`Y g|TT\IԶO xgYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f2329711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 ' HotelKeyCards