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  # #Z' $ ]/ HotelKeyCards:threads=2elapsed=6.308cpu=12.276gc=0.340factor=1.957zXZִF! 9]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /k#Ӊ){2ڲ! *fOVY1gq33S/KYDt7A]%7u)fvjx17]#[WdAVp>2%ϲ~L}Hl޺"}04#RX:DoCt< x#b #3®xst(AɳHW.vsulM*midB7 n䂫<ȮO6,%ip}cǗ.2gOhn %Ț&xU7>jN^ ~Yp`ᦸ %ĤgYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AV1S,'. @k7WO+cs3$0L:ސ?!*~_LpP.jBdY8.s9g`t06Xz <VyiwP*6BzVLvTQEUUu1sgYZ7zXZִF! ']ŗXi%9(SNhh"ѵ;2]T8;0މR03"֩73 d|lg!"k&gg:+Պvavbuo&O~͕hqi 'kjj׽.6fM UR)4tLFlī Uք8Q8 `EBsqq*^ی6M 9e/$7)w>LؓF񟐜 4hϠaM*Gǐ,'?Ezf\! *t"hGl MhK(w+JPN.=׻GZEzl8-w N9xJ()rd3ؘ!NЧAPd'2$M8Hܳ c\/y,;]A| P}AsFgwZBs?prD .׷z* |O$C$- h5o)mZ9xǎL!q a=F( ZrR;HJH.p4!L~vF.Ŗ !~\H#3#FkHyPt`p?ڄ=7;=~QR%X$y@t;ATҤ6I, gAsв2&?[B)>p"@_#G`@KW^ܢ zF}$dLLv 9t.P.o3jB7^ϴkiJ0γ_d-tLJ'qOY~gYZ0c2c8e847a754bb2cebadd461b67679f0dd62a0c2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea ' HotelKeyCards