SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   v' ,|< ]/ HotelKeyCards:threads=2elapsed=6.458cpu=12.592gc=0.456factor=1.957zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kv iiۂ*`R0%|ǟ r#.']r/[H* Q,/$5}cIR'ptX'ւklf ɨO-nfK:YiWBax]u&+>f+xԢɝNv4?~xNYJCjgKG^`*Tts\~pZTCxO?{%V,XŌC&NX i;Ёvѡ7\~y-Pe#Ms|_B㠐4~}ݵ,_86h6slgYZ7zXZִF! /]ŗXi%;уxL)]r۲e!le4? 9@)w@Μj-6gzn .qs&SѳK*rq^ ߕ*oǶ÷b^JLnd/9zڑq[,Sxtn-ʬX@M2֏w劉c''uNK@!ÍȗoUyv^bPjɞn%|I O*'o_Q$$ $PSd`WѨ}p6Zޯ虂e-I@q]}D$NGpu \yL@Œ ޳R_+Lǐ!fʓki\ۇ(d]ʒgnOEXyRCWedCzΌaG%\I%>R&qYŧێ ̣a$|O VE(pDGL:f.20W9T%%iTo֖A8ZWbScfP'i 13*uz [SrX5J-A[ߊ/"Be&J(cFnuQ(`cR'R9&Otlz@0y%t3_ Jy[;:'@n/64pҞf0סÄdк&&@g~jYCNӭxK T$ l~%?{Yh[}ӹÇ vMVbyN ζ8'6K(~!$[F:s}[k}B3uR%1 8 |m̃o0^I3DgYZ538b0f0f276c163dfbbaa83f51d6b6b121c8835879d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 ' HotelKeyCards