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 P |  IOA:threads=6elapsed=7.276cpu=30.180gc=0.912factor=4.157zXZִF! C]ŗXf1-qN50^ .nEށܱsO.($.hg/[-]/hz{+ݾF"H!%]|0-R$64]5+A/(vQ'[q2ߙqaVix1oWtl6:L۟*v-ssC+2[т ֧役 Mrn'eA0'D3nKЭj!E e/lS?k7*4")K<  ZL39.(H=<}!=k& 7ts;#u'꺚q :6zŠk\% ScaTTŋZM3C "Q+:m7jfm Hm~m!X1· "tA=v0LguMd X !I_ -c &Jdz! K~Xoa7ꑠE6>|ts.%zƆbV8B;/n ip=A" ݷ3>vϗO,O)/uW,ZDAn iӐGLNDkMjp@=r@ab|?Â?wV1~}qKvev"%Y̑ 2!=`h*FBEfP& A|bO&8=7 7DY}[݄ &6z–AZ'w.w 8 z+ q{=L "-RJf%P@J[xE1rLN0 `Ae۔jE{G( xSٯ+A^όMq}d9j+qYo$/8Ts)H9\#}wH@{H{nƁ/8ZtI2_LϴzELծՔf#^'נ•8*vA4SBuyp]e`VY=[OC]!j_`{rCkX{:yw?iҧbfNA=#W4[p+43BG"orA >^KZ U0HF>2qPl,;ŮJ 0-e\%g$o%8s+(Zt|tl 7Wf*2j̊I-<j_FJ."YZymtp2e{Es2?ϲZZhJ{-lv/Jt7< T{tEzյ).WSO|#~TJIU|Il!vq$n =H?%!fwT_8+VA}"2GHq0R%i>j8~Ov !["?yy__`Ψ90`h* ' 12"8X[ǾUbבCvVT'4!?${OUX!>.x2Μ'Vid}==>I`BtB)"",6AvPTRJ\+6;{޴G@,67*P'VCr2ٸMj~^T=iX!uqIH<T t,߼Q!?oG*F jPs3=۾cCYLL€4#ź]_9iWlydLX> Y0P5n036/u pjPˌ`ÏJDp܀4_s'n{ԅc=ߍo!E:Y SaH)H4Ҡ%%Ղ#[MɾZئ{;:<7ElѧYsDBvH9)A+mHPBk)~3(yCDT{>B@t׳|zqu1h27;L- UJ՞HKzl"T 3F݁k V"-JEހ08w- Uk9UB:򭦬 @- AXN)UIN@U=uqn;~2 &dgw Y(nILA@'mG@?,<#?D F1c_KθW+TP`K_gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a1811258c1f5f7555feb9985fead5405c04acebc14240e 5f9cc3ab8d0e17300b29fb00d1be15c061835ad9 cdd42f139b03a37c65affb37f16667fb19604735