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 ll1 4 s/ JiveDataStoreModel:threads=2elapsed=13.296cpu=23.340gc=1.200factor=1.767zXZִF! =]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ % v͈xEt;WYVLU-Wϑśc7 +`? bq`-zxl\ ֹɋM^'CB=>\|-M iu  7aX+̳A8sʍDqKF⃁Ot~l)vЇuy(FN{:S% ֡ty+T- OQ<ȅ~P_2E!^ }/jC'2J,%YdPQg~tEї k;Ŋ-=-7֎8]Oă#7Gyjx? BD2R%_JA 6jfTlbl)2w-.?0¤Xo3k@vhPye"uF`{lgr$siQ:SЯ[vQ?y? ok#jŴ2޸ sԇ c>8|lHxdE?Ħ|6\~.vɴ[ 6BMAs {$ٱgYZ7zXZִF! K]ŗXi%B׆F1%Ai2ke[sOQr's?n2)B, LfU$[C7@S 5zoTM("Hx\36~F|sK.3ċ&gQpd3!@q.k!Fs͇ 1h(L]ʲc|Id!ťqk-`w [eug-@KԂ Ow Hcx.n': fwA#6n,n;iOvƫb |g] R@ͽ*KI=8nhbrΖUq;iÝkZz]q־bxTfGi׵t8N/"6IqH@Q>f!\0-z÷\XwU,#^@aVG?3 ow<295̰2cz4L>6glt:t_X1geo9" (FxolGCwd!qP2ϻ@aۡtN]8