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 * | ? Separata:threads=2elapsed=14.797cpu=28.072gc=0.676factor=1.907zXZִF!   Separata 7!w]ŗXf1-q恈NucvAݪ4 c?[2C IfW/ |VrW.g-norp{Q{|Ԡg{g&iy ,HJp\r̛"Wa $ď(TU(sXad+b>ErD Sz11H)Cw)@rƇ h)4H]w_!=vWT(+#'p9*>Q%! utqꏨ1n\E\S `1(&abM㮫~7Vd"n_bFc0N,pm6@G]lٛ)t6I co'ڲj]i; ngYZ7zXZִF! O]ŗXi%S?p#_+) v,ݾSR?앦 gMuI9U+ۋ8ߖˡE] o)3m]R c &gKvSR 6M>;JAYACwExiTT]DZ&ĢC&-K(c$޳ڊ:g%rv_>i!_n*fn%1*M!dHA2<Žwi9Ք@6}>͗Fy1bf6`BOB<KM-\}i1?p;f5Ϩ#vχ.yZfV$90TÂn;NᢄI 1 -_RKf"L-m K~Pv?2~1x\ :\+wJovz_>`<۾8 )7xq.Mn8g-(fh7o- `F6rOKDY]t4f}ü`l;}GɒB"=AQ!jD7[(夜'w4ƨ-ZQ*;UDJ"Iw/NE>{F˯ Ws9'l1;QNj>*gu^Dn,'Ur˗;ɣw\+Qe"e'WEsi)n=]v/ )Y7Ҋ,Cl``a}u [sO9yTlZxેLB=]u^T[rs\.O]^%v3f\D[xf{ V $l0