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 zzs7 $l / Transitive-Closure-II:threads=2elapsed=13.109cpu=22.148gc=0.888factor=1.697zXZִF! 7- 7 Transitive-Closure-II ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+ïL=Aa\Z5*@CߞtJ,MRqr o>.,f 5xNB.-P3 G5jz@]$˻Q P#^䲽1 EIShpU*-} 6z2 0λ?mu[RZ"?")<#>,3e,u5ldk!M!nƷݧ&!5ϛEr)_#7m{«Sv/I-hc'Őژ ɲ!$S:oɕ@d$DdqRFx҇Lu&H8<6g>*g Hp:!* AͯFKj.I#melo>mjc$;ᣳa;hVGa攓(y0` )ʨj#6K {7ʙn_%HۿMjUUwe]xwwj-C{D WӁ|,q؂wi}3@7_sQmw S:2!؈PՋ75BO6Sp~O2[ XhIQ AJg*OKout'8U2|*y^@Öl@ $"Bt1^KL MxR*$wtÃ&f'ؑͫ߶yx GӋ2W,SjjPl!'q.AЂtE4 lX/볠GIkq̯l"\A/jbYs>B9 p u'YJ^o>U%4ސJy31S2DcؾDu#e+9'j" t"BEs\AS?=Z=ўǖnY-i+R:!{sOBAs̎NLA>.pSx˗Խ5Q̐5U ˙8/xtr4~yNSEY]LcZ%>vLO@A`s#ō|,8U54mt3Ke4"AK;4>>vwjN%d|u)6VWR̃2PNV[,Y>j_G6?@QzP@9TϾ 99U07}Z-e n]gYZ7zXZִF! F;o]ŗXi%B׆Io'p4,' ;xg}v*nMgəQ<.6lS@v V $ !25fN"E~ƘեEz,g#~2S{n쉀Y-* % !A1:>O@t,(\*{ޕ8 [1E{ES$x?G*`buہ{螽"#c'9R%O'l+ /rE K C(F]L+VBɌ+OPd\gڌ="Ba:NeND6䄥1ԹDvE@;M 9s,2T2oiIM݄H*|4"Ccp!F51בh( qFVhuPGШŻ5J!Q0JJڛ#^{5!x%Co?sMRw@Z?٪WQ_V->m(f%+dm7 23q Wa'B/_ʝmB  ,B4Xz>5+*,/@R17LHf]2߹R?VzK;-j־27'@ZzzYʷ\f1N\o/Ťb@bL-.>4>DN<@}In\ O m(T c ֦%Ǻ b2Re7-8Ye̬)WpG/BDiJn|zjsE+{L[\ 0pgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 52b0aace9d7980c050fa4e0a384a785c607e5f31 81de4762b4e143259c5d9fb6b097811906b676c1 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea 9e28e11077bea674bfe6e77946d452d3f3c83bc7 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 ec92008245efcc8529cac7bd0a7e407a8d923d73d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295