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 X% ,, %/ FOL_Harrison:threads=2elapsed=11.237cpu=19.036gc=0.652factor=1.697zXZִF! $N]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]Q$t!Gҽ<0-kRO5F"z̃nRtrO8&,mctEmנ1SΤ*+o 9+"E9m)FШ^_8 |,:*E *JT % FOL_Harrison:RO `S>SV)td'DWx$ʋRk-ba?m>CZIs}rg&K~dh}##0 HeծK:*OI*)79rP?2ftqLpw8\jcB(N\^%\-S !WX׍dA-\.J@0*'Om6=bK>#_E>jI`׳RZdJԔ2MkUnÉy/,+Ԭ# (fK`מ~ڃqd{WN9Èdh% }:] kb o nt>hj$6:3KXF`yd}nǧ򑁩xW =(/_~751n7Ys颱vb^0"bDY[7Ǭ$gXl ^?m) qMJS%ON;)oX} OԬPbR{u#=b;/1)ڭaSFKXKٝ8 ]B D lm`m`{֗,߯Y[K[Lc٥@CB~(XbaWw~7q1J1 (vZ+őo]]mUk#LﵕzSҰDO-ٹb6E§0u9{,)p-W{^Z1kamtG1sWz]%f[,{?QÁӚ˷ŹC% *m?;"E/ODWUzԷds @`\@? x D&bʗ[yƪr# q g̔To/X R:،F=RTdtSTaHƹk- V+ڣ˩{U.l\6BܖћLCKIKBZnXM"Oq1 Lܓ>jXb+.m׸`m-A([c+%p [4KV~YgYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 31755525071793d62f6b61cf93fb27d5793a7c4e cb72c8320c53088e3a80641bdea9438d4132586e daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56