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  ! !\' VHKWP"49, /kɧ׆aKӃZޫj>1jݥՊKdj}364 [˓q%}x|9:2)j룴lyaëi??x.g(ۼ1GKM8K7No qCd[ΙĮ 4E!>M 2}dH2ewb" ig^瞟4F2kSCN߀~>CEz֒xF3LHtv$%<&`oB]lTӴ{o 8cMpAǧ)6pѭ~8K]$Z>]qg.UgYZ7zXZִF! ']ŗXi%6f:$);$؇ ܄Y'GLapCf6 D-|aC B͢.>Ok?=ԓUVb9k. մE#Ӌtk{w1>t-b:3e^?;#y x a1BB|N&-3[$`ƑJ2TαcpwVnz9^qHRDwWlN[YMj0K~w"„9Z,D08 u9k R.*}]ӑSPy&BOt &Cqvc~ٕ_ZGH^ e<[N -Rj/!bEu;Rֈ\F iAn#jQ<oN fHcs+_ ? ZrPWj8#`\QM_n9c;rOGt 8 NN(# g$zth|MPLŞ}].uFFN83/պv Z|rP\  ?ǚrԧ@|^:dsb9m63⍆ock1]II+$'$fUE{818QK;5CAU1OP{A4a4[m5I88]8C~m$OmGgYZb309272832b5857bdc00cd3d64e61033dfbf68030a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ' HotelKeyCards