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  4 S Show:threads=2elapsed=12.493cpu=24.280gc=1.264factor=1.947zXZִF!  Show kLR]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFCeչNKZk)F*ExFAMc~RڠC`( Yw'zcW啮lJTmAy85<]uS#pv<8wMoxbS~,fh>RpG J 1osR:%V=<ǨF0xj#R"XO(Th K*<\d}jJWZ<ɊW65XfQ*5/kI 0U~pl"%Lʮ#~v_p©XrHJ&=Aðc>BƟg@17ƕ4eb SMe"$O5[bJ~6 2fJdPQyM(X3CuzoMS~8i ub\D3RfefI^`fE0Իq hx5ʕYu:bk6rlWAlhQaںdlGc&-, [U[0Re|MçCiN!\v3旿ǮظAedHXj/s%,iw"J8JE6NM) TYQR~*'HPKFnJrd\Fˆ5\ū;<~c8fN6ځB /q C$dx.2ֻ6Y8KEvTհJAll0F[#7~9R Ë]u  do&x0چpS]qW' 6_M k$eMb&Yr Tqgj} .L 8a^ %ٗ3b #6>pf HO cb"cWmgyO3vR.9h s*-bu͜ ]Z^{~ wowmAzyYAY{v?w{"f7Ӭy&F@J7'26*Q0kċ5^6j07Pyca,ZS6#r܁1E>hu"cF~F q2޹*C!ɑV B3#5Pw DzwWYw%>v8pI}%)x3w_xX Ԥ]FMfgAW37,*<^UL;hGA `jN[uH7gl9iG@iz3fΤka_A ڲ <9_ a@&8PD~;m)ȡmhqYP<wÛgYZ7zXZִF! F}]ŗXi%B׆IZ߼OIeiTd?1_]BޣB.@ 8|ޠ#E?RW0B Bb_=( :"9>+ ~Q4 TAuw)KV:!o^~ DtX`zй<&}/p-Nُ\!鉿ykpN`eFj{JJw_DRfL%]D l_Cꔛ@CqgrQlA>lڇy 7B6OoTԨzLC›w<'Z`v5/NLƼ 5x \2,EO(]X9|Rp'osO)TimM-Q4x8@ҟLL3AMdPLPcCU׭L'zf*D;36Qyy5k F9>yՓrq8; 8@3Ʀɹ,kۜ Cs=^H^Gͭ<˷6+&ˆK[n &X+aTqDϰԺNXE*ǤsҴ?EsIw" \BdKs|42 e)Is[υWmx"uea ĄD;Y?&6 ^S*Tnc#܄qi.TlL\ÎkEYgA9֐ \ LnUG?qmOp bY屘N̪`F-_1M?+VlHu.pI]P. q Il %y )J۝,͌^:2jehhщPjr> ,1Jn_X?| ɸ.}B@XVE11+Jf@e\mIDhN?K1<r8iPՏ omE{ؠB ˜3Lr[䳰)KPTw 0gYZ0791caee842d92fb3623ec7037e72594ed8c7594 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 18b6428910992a9ccaa7d56cdd0dd48d1a87e5d8 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac cf0eb34815c10b600e671c786585de3d3713e6fcd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 99b85abd939d57a4e83f60d471fba7659edd8ec1