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 uu| 4< c/ ZF-ex:threads=2elapsed=10.702cpu=15.040gc=0.668factor=1.417zXZִF! $l]ŗXf1-W(T02FkPX9݇ kS>\•"ѐ=9S,OEkRͣzdJgFH#/=kKT5 NGJ?T4K,RwU>h,ml՗r- _MMKcT8^{gUdBeO^MXݔboxW,/!;S,gVϓ?f!\]nэ<[| 9y͑ë){@(!\>PNF*Zޥ;i#&ӡj%%AR}$pl Xkg6#(ipF4~/C1M^X(ͷ·}Fio % +Qw(>X2 Z&;&jp[OqVCO:b.E$WDw0L;h,SšC+\j0:swXov]#,U܄M/pHY?{,.!/!|.[ cl6YW_)G-I|⚹a | tvhͻ6OhT\BZFp'[V-XaHޤtH̱gYZ7zXZִF! 3]ŗXi%B%A~8"aa5}k7D~\7?HOY?(xDvŇ,~@%cbV$2g>;+xD*=vV*E̋ι " @X[fU p`}YpNNf_7fpC|&0"Izz XױڟZ'I8/ܲ0%W}x.qƒy ->4L̡Z>ި%wsb)g+Fh{#}Oֹ3gw]W> M(15__#NFfNZQ^ weK.ޓ?ୱ$n}'RQ%Q.D1: H897fŤRރٜdZxF1cJNZM:y1Ոsh͌>KRY祔eep-_1"Ul !RiAHn0R,I̛eZܽaM"ythSʟVc\qs4;nc9SJTN&<˦|D+Xi'ۼSo>qXV=3x}[f.(Y,GF0fB) SiՋ|c9'(d Gi|\mdZ0,,Tak3 P&`)<,*nt5#P4K@Üםi.& uj6Qo+4^E9y tx CPG<Pl#X٭ͫNGhQ*n+V,p)g0=~yŋ[f{Q(+)\1`t#'1sGn;`lu ÃDsBZ]cm.Yagv8gYZ0307714c71d1e67947e08db99e14ea4ce7871f38 0afcc310f3b6bff847e20dfca92a3354324b18f2 1f010a52bad4ce1bccd907b7401f81460c4e57fb 4a40c72e869539e7ec667d1e2f20d054db906fa8 4b143222ba5aa287a0473e9606458ffab5df0235 6a646f07aada05aa2bd540f1de12f066e8229a16 8acb162898354bff7a1dd3842730402d4337bcd6 ae787878f7be034cd5ca6a3f3af452c13a0f8fd6 ba2e58987ae62cea51397341335e9f187056db5a e977d405a83cb375c6c21cf122a05f774ffac6f5 eed98e54186b8e0e5aaf7eaa58bf9555d4799bed f11fb9e15de39d3e8d71dc7a3174672b0e23d5608c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 7f8b9608355870d405660de565874803ecfed86c