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 II4-4< ] HOL-SET_Protocol:threads=6elapsed=26.453cpu=109.132gc=3.120factor=4.137zXZִF! -]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAx%9AH>d}ٌ[5/@ qӥX|m[+2 Q&GzBoEt7[̽E[ˌ?:)'HGFO+d6i|!$eT', VE~^uӠ&~zoGLtb)f:SXVE}C&Ya`&\eڊM{Leyl7&?jtshY̻/i";)M~1 p2 +'l'#:P.hgm:,P6?$OHaGHƍky+vcΌ%F}Slܓ*9} 7Me︋ꔅ ږG_v )*+$o^Ǒ"1i9+\ C9hMza*]E>qDݔK}ZF8Z.MP OÎ|gDjV)1#%"l`?>1?"Xa5\褆#H^eG5~2Jv喥u;BqϜ_җ~4(.I!n5ydJe@S{srƺ6srzwnw 4DTry4qb^t6uxFw]ɞ<ћID2DmnJT&j֚VfA 6k K2 S>s┬DpOMk-|[4AD-^ft54 -^tPzs8L!Ox4!b] M'P#ة olg UCyQY pLJ:#Ax-*lY A;tw]C%T6ZXk|J+ qf%-s&ud]#ZF$r{˜x$NVH߲j1+E$h&IpOD.A[gV_+M}rآbs{D^ɵϢO* LBhOw' s0N6PM' = \h5$w$<&r+ .LYy+[yznt1!b_ Lq@S֨w˜ t}Ƥ5@Ҧrz)y^mpuZN/P]nYZme ݥwe+Bz3G#4mEm`q똇~\n1T[\{Uk !۹*$'kGݖL SX^ۗ%M)#q聾~P/;wJs)˞<F|u}aoe[C˗:>BFLzeQM>3saK)-kM.C.zs} T=jEܻ53Hx EX74/1'بe5d0q܎^ ׎f-Lc/1_%N#1remyFTv(OX&*i[zțb.n)C[CXd#r:~WJHDkBp۠D177aM $K|[b0:G_q D;bDu2~7V WDR :/TbMA}l(tVqj;*S~0܈xA $^T{Gs > Mi-=@/}VX5@QW%oOEaTy}k!wāIV6d"Kn"|7oHQv5*_K}ѯ֤^٢͗zxh z}~N duK|]CϥTi{7;JH %i}PjH# W9k\7)-_~a0`")Kv4,c?6j b