SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 aa% , %/ FOL_Harrison:threads=2elapsed=12.241cpu=19.900gc=0.632factor=1.637zXZִF! $N]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5+]h‹aDсjeԅ|VtKW:ci^QlAp%86QL`UB[pΰ{Ed \=#~u c [p!Y7Z*cIq Ibwk* }=~bX+3B#g.>Q>(wv##GI-~5g *si % FOL_Harrisonly9ғRrB@DN6K јM!glgA@y>j$D^B"Ԭc>i͙83C<6Gd2E1~*85q\#ђi+O/(h]qɀΕ2py_cIK~&C>W㺖׬Š P:SpKbѧ]\o4S, _`8q@>yNڃxEWF.lbU?̆Օ @,jK; v} 9mj$L,^WضD*z@Uq}3RBPaViPvdg1JIʮBʗ F ܰ|0⣼í(% څEy$G[A=aoĕ*b!30Bm{##%=.7z/|)o0r+zV r $c$3Tzt7qEo Iw1u8ܟhAwB}}k,@'Yv&sU ( h`Z_? qva jEw+M{7:PS@4|%"=0r9v sWD8E(FNXi8yaζP|KVr&O ޚ"PЁ2t~_8'|(Whr*EpV][!oN;qfaA'OF^ Zw?ۤ+#zU WBbZ^CbDˡ9Y2T@sl ӰJ%gQSFȐ$7[ 痠0bDh4SD<&> {ljWӗ |]P>! |y Zual"MŐ_f7UivF 9;0AY٤I~L֍1F!+5-j&ZU8{M`鷪ջFStW {Fujxe+xgYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 31755525071793d62f6b61cf93fb27d5793a7c4e cb72c8320c53088e3a80641bdea9438d4132586e daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07