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 EE8' L c/ HotelKeyCards:threads=2elapsed=6.486cpu=12.684gc=0.368factor=1.967zXZִF! 5}]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}ĩSc 2bS [T?TLS6!U8RH`|{B#Z$Pퟜ2ppad36~ VjE{D Uk|8_:"JLU]H[,Vݐ:?+jyG c K#&g`>OA@qb'cge5{j/\-*-,Qv]bD_wkGIb =p5jE{_-,#BxXTvf)ԲwoP<.ܘ[+qԖ"1T{gbz3HJ9m n&O?+)m;\dCg,4LB=5GnںOz.CX $!o__"G`F ah^˲Į֟qygzJvt}J~h%d`Ri -Ԁ+?,JPn桛iu&/n㫏 y`CV6~kM&B~j50n3w(Yc|)ij.BQDyW7=H@frﱑOZȏGږ%<29R{OT(}Wor[w@Z jJgYZ7zXZִF! ']ŗXi%n8ݣ=gnVj4tw =!D1 "IXbheiOEnӘ4֔ 9>3'j^0\`M{?ƒ r㟫(M:!X0Ǜpz0cC- @%a-{)[awc]ou% B}ÿ{)4+1?]IA=ŒTsI}ݶPc8YlȤ-DTX^KrWgP҂ʂF{>mQoP֯eUlIo+M0McVhh(@[V*We )l'!ȗ m&3=oHɶu-5-.h &\ '+SyyEM9Fi92jE5}80^d2xI_,FA/:T1R0kێ4#) pȃR ʽ@lS6F#\Ҍxa|}?#G zOءx5ahmheV}VZNUH Ҷ+Ǔ{p\260e-kNe촬(P32˪F]U+$޺̀rGAṻf[G>>E:۸&<؅_. [@bUNtx8Y+:B0Ϸ&myVضTC>M0qaLV|%1agv1 u>Ob*gYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ' HotelKeyCards