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  7 7F' 4|T ]/ HotelKeyCards:threads=2elapsed=6.273cpu=12.340gc=0.288factor=1.977zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kֺV@;yBxm>*WG)RX-Xq)D3%\gi>o>?(! F}]o7>L./G[o󮕅MW}}A~lz[km^E./o pKW4EF]L`EP0PdkX>8 c #?᛿\CɲLْ \<Vh-8&mU!k;-AWҳ0'wfcA&BfQ+_ᄃ !s7kG>WQA9'itAiN0uҡ'=+ gYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ C85i/7sVb;T*e#2О&5T1u\d ,[b;j]I xBm *Y{={;(E$7zN΅b,wAQ{rngYZ7zXZִF! ']ŗXi%6Sw1Q/8=<Qc] [B*>⡔˥뱸Ǟ^Pڶ}#1du_$Y)A!퐹` Dc{6w_?b/tϝk* X917K +@缎DQ]+C4[|Z,6ֿ БDs{tΛh@o 7 !~=f` Ӭp9Y69:Cc+WSr: ~yY0(6hN\;RҶLh |e:AdMOoƩ*\k$:j 3N 5Bا&텝s]vhUyHZ)[}*nDaOYOCh^9P"tc;zSs]؛`I8Ee4% hҫhVv PH=wPg(.&L9!OL.ysÆLhr "*L"m-u8Rz\;#Xj(-<{q@w~G &KN+(OCgYZade590bfef717e6817073d29e15618317377ed5ae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ' HotelKeyCards