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 jjC D< I% Comparison_Sort_Lower_Bound:threads=2elapsed=8.665cpu=15.248gc=0.380factor=1.767zXZִF! CY]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pFA2V"9a7: Nr_@(X՝=c|YS8:WbPm](A e^˄";FI'=YePgaL<mEIeg@WmSo ZIN~L̷=8AB^ŰFƠ 6=o(m=n\|x|ռ g9ҭDO+\𡔤XOCaNKOgl/DݑQ}h#ϨEI=jKABQy$Aۘc6՜_G!\)sּeˠ2 :Cd˫쿇Vs_#F~$oZ\7d޹A+JǡOEzs~?>rPjE, u(n&K(]#jg("@nAgW#W+z,,>}c[UilWģZo t;oCǠ :q&iHLAu yn瞸v4|  xNs#`̟Bq849OkQUFÅB&+F|ӐT@ q{~~ʱHKGIw)TM>@.mD^ C Comparison_Sort_Lower_BoundwCf5dff 6Mߗ iШ)ݙI:$s镢@<Ze}NJXx(L3ר/C)iL '~f~ř.B$@|a߫Om1R^k4 tGw/|*fTMWw!N}Cc2&t"xƥm4U Qu0+ .} JEud$_5Vj,U Ϯ+r%yzd94(9c 3&9 !(FZK|_ =)"|]x9ZҚlpA\HN<(by6MeD<ъzn{;})S["0 C-COL!-{ (ԝĬnuuڭX'x(M " x$":+*QFdȡs>\ҋݫi3:q}*ߐcMW^׽ClY2.4RMvI$oe,qN<5}!Y dH[vez!"B]T.w,ܣݿTUQ!uI' r|0뇏9}y K)yԁy5* |1xG`A(&nvaSq$ToJ>+TRcՋX(c%a;{gMQ {QnvT-BF:8!02й5Y$۠D`Xwdcyl O$]瘍617J/JBv/G2y8JSAQdt5a w86֩ 4v3%3/k)ME"Ckb\A+gYZ001c942e96601ec3cafb3353318b24d63d21ad27 3828cb9b0150cc80164976109fa8b4fdc453c9bc 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 9b6affb3d8b7d65bf9ce5de2a6c590f279758e5f b1ef7a3ec85404c96c4b02989c93710eb0f9d363b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 689e42f6a537aa228ba8dcbc2d5fefa5d25464e9 fb26e65bfd5dd6cccdf71bd148144fa63cc970a1 5908d91bcfe400f86c7a2d7269c45385a15a8c9f