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 >' T ]/ HotelKeyCards:threads=2elapsed=6.536cpu=12.708gc=0.380factor=1.947zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /k2m!9Dl9V9ٔu {?%b 6$ Eytuk]pc( G( Zru'͋.;%X[gY mѿ6⭵aT~K^OibL2+E9-4.ce-<(/Td0 in3׼yfg΅c0ҢߘNxy`1GTj 6%#[͵9 N%p9砳cVbS%/V+s_^ a;d>C1# _8#dCigYZ7zXZִF! 1<F]ŗXi%;Չvh@mBr_ %Ut(mM2-ѰNJ Y3D%uvƚ^Dwz$v&mݛ::ͥ(I@~>Bu}Wnyu{8O\Ojn[@r0[vZM"Tx9e1ĉq–20R9lr`X[@pV/+%2#=zw,gӉ+ .OEϦCa2pF[l{:Z6P[[3x,u`i޽}GrS"],nW$J}lLeV[Hi<b+k:9KMpP;GЭoAėq-O ~-fCZ}.8',,#4OQi٨FR ;AˍF'xkOkhわ߉>iqWu1?K.,quZ/ 4h|:;h =VG;'f H D SXEi<{6[d_S$x=m7c֯(ij>zBqJJY֓ݖ?T_?zf}Yb#W ZMK pE>[(B_HMR^ * yj2Ґxw^a](`X/N5KvЅSIZ(J&R_*ml@35gD)m8K<Em0)uaTB(bҳgYZ1fd5e302278c77bc55395f7c50d92f3a3b223d1579d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c ' HotelKeyCards