SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 +% d ]Regular-Sets:threads=2elapsed=49.088cpu=82.732gc=3.464factor=1.697zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj&rξ~չㆻUS"?҉P#: R -w̗H&z4B,ǐFҜICh< MAF*,l 쿷pGUo>jx8õ!,u@Y+e -"Dø&|,XK$O!K()Hi+HdIUR,ɘqA5MfAlH₅W5ZJC/<#s w+Et$yl3jv 0BED}kIapӪklݶ笇-dW?z>E|$Yٳ=(7LH_$/ehY}u'`>.@PX˅TH纾0 k/B;2:R꒨Ak⇱^I(?o!7AiC%$&`u6o/#3F bE%fˀ2ٿ$vi!= 驧P6[OTQ 6㷈-Q6r4'|cԞ jc⢯Q!X4x'5^[JvF6 dRZQ{C:Y-@'RQ:VO ҒC]wNHd҅I0/ ䷊s7ƣw ̥Zլ8M-:y#'Xax:)ѹ8;xt$\3`I}<r*2im +5b=Y`d\,,?}`᱆c,%xkEܞ&q>y ;ZlY8VVh[ ^G vd{ D=} ֕Hd}M`/2GhV+s! a/$ GC![yN8GMj"=Cu71fVgBSc2RlKr>W3aTr~VcMñxGF`֐A*8+H&'# E,ՑhG}.i;AWLFn{Vb!vS]^0>E\ԛAү6>9q8 h>j g%^ܡɌX | v|/ ƝhMOy`eQݒu^nmI*6KI %X&[1e7gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 90fc8715f2dcd7cb5d12051633b389153ad73166 978f4c9854098616b38bd0614a930e76821c454b ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e38505e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b6082d6003452e05ba4252b43a9297e0959d5b558