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 QQ,' , c/ HotelKeyCards:threads=2elapsed=6.494cpu=12.644gc=0.308factor=1.957zXZִF! C]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kT33_R\`O|Ď  [xSti){"j,,g{ST-`[vzx:P+ul,e LOcЮ m>b# #n_H.8b˕yuuH\>|d\(Cſx죔X=}8h{Uv߰*9:dŠ4b⾫_\,ACs^]םK.=V@Yp_X{p=ʎ>ء*E84l@~O:gr: ұ2x`f#gYZ7zXZִF! ']ŗXi%6 "H"GV*#FWA0x@t 黱e^ÊSqݾkHOHFbT2:4!T]PY&Tѧݪ)d`Ȫ'G\_65 D&CJ u_39!TIB~7,:$8X@' |W10UxO7<B$CK佌,b4T*V]>>W~4ͩFh=.E*Wzt܋;aqjAE~At{v gXV(%z.!sO)8!?7Fa:j\ih#JbXဟz Sz`,s[+GccHR; $͠URMvpUsg,HSMAQHsob͋׵ݚ8kNcƅ,__{x1Yͮ>+cJ_8#CUOX'zgYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 ' HotelKeyCards