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  R R+4t< ]/ CYK:threads=2elapsed=5.099cpu=9.428gc=0.460factor=1.857zXZִF! ]ŗXf1-/6vRZy/``$%'Yx3zK_"EMM`)@[\Qn,'Ok01̱[SE,\I^MkE\Vd/Į4-+oTXݮ"]89t~(|?_‡WɯhgAX-"_GJnX \$ X.Hz{7)[b|SL:kވ;3ZsbDN< iMf"\~,=VI +ygYZ7zXZִF! ;::name=CYK.CYKelapsed=2.871cpu=5.208gc=0.208;v{T}YZ7zXZִF! ]ŗXi%9(O]ST [vӚQ>"O26u15 ُXr?cajу^Om?>Y-V 2Õ`#(!iB\;+ l>w(oK`<_#5wI}= #z]f Y:kpaVMis o #Am?`_͵(?bpTŀ m[хsqOz^@mTSr)#w:Rx'!GIKvۨʗ ~MfUcs_YЯ݂׀Y}ߐJvDL OJn%a.m6'exvf s%˟*c_Ei[S濯)=w= 5}:vF~?0G5f'1 s9]ʔ=?3LA 7gYZa7bced7e9b1f1002a97c5f01bf0b7123531764c73bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e  CYK