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 ~' ,D ]/ HotelKeyCards:threads=2elapsed=6.435cpu=12.492gc=0.360factor=1.947zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kɖbQm b/qng-ߖ\fDgu*  ]g_#Fx$z)<(km+M>ʞ~`QŒQ^92q ^YZK%ו(xFk&'nOVq0\+{(of^6k -v2*[WӊL^ǖ<-YKĉlڷKa<ψi@eU^rCY) t:U1L_[Crd|Ԑ`|z@#B qopq)zorgYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ Cɋ%7.g:SY5d,R É031c}4ՒGjC-ݥ4Ɖ]@+Pچu]Xfe%?e;heTQ6,KY*x΋@xC"ڢ** 8u|O圵(J yh79(K:nI;<s>,;ϣ%!o9Yh9.Ն$(e>-e#].zYtdQ WOGćTaQ `}Lmqixȃyk.B@&MNͷ%mV pmY[872tsWn>A#t0.a* {`NŜq`,&ׄ܁!5~D([y[tSL!V-gvbS/TϓA>mG fHrS=c[M@,7sh3e߯KE&p++7iwaA?0_2+# e&}u)nwZeعr(6ŹrѿB>xRPY>B7ksr,3J>XϡY*d=!A @xʟJt~F 7Bo5?#,=Ds6D:";sEm9<;iO'GD3$aWRrpfCa%FCFKF6;]bz%ݯclq;OݹHgYZ39ace80db74475fb0fa5d30eaf169dc62ac199a3620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 ' HotelKeyCards