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 MM0' $$ c/ HotelKeyCards:threads=2elapsed=6.336cpu=12.328gc=0.316factor=1.957zXZִF! 4f]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}\6f"lE^|J A& XPr"Qg'd6 & 'h y#Ut 3-9w̳ *uzy9'8 N2&XЪ$߻(0t9x`ԣ $^B+)Shi\Dwٕd~?W*tg"NҍIՁ1j1OPm2M(oCq)6whGOĠ 1\&O29.Mēk}B95&|ʜ -}L ggk\ۺوYNsοlpl.:.)q [g2C,^! {"7uyQOt/V-c#Xa@\Ym׾~N3 E=Mءs+(V F4ᒴ8GX؟sS7{ˎޛ}*!۩tk *z3ѬM*MmVkuf,6 ´:XKXh=:2\(5y/ǂ|{?$DŎe2& ((̟|$>//`e7Z&fj̹:qz\|Y2f|@Q=`ەPJ|lqH9WX/]QW{_H#(CJ#Mͳ~u6YxW}+ָjKA^nH)h(z5D|/P kS`<ɿBjt!%! #z#:T|sĹS ¦,7!q&UY*"{={ >Rw/XltT4}d&E=(EE { VX>Q5exվ4yWgqFS,;hRYcIcSKr 7|w#̚yܫhcN }}BNǨol/E> yة<ئwC6$ Jx)7aƘaniu4݊)V|{ƍ*kՁdY~pn|Z>NmoAQQKD>zbF s;RONFgYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 ' HotelKeyCards