SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ?;4 m% Special_Function_Bounds:threads=2elapsed=43.746cpu=67.036gc=1.288factor=1.537zXZ ִF ! ] ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/Ơҳz }X^B rt^>(rj(kƦP-pou`c8_XA8'!4;s#}ԈΙ`܁oJV4s;崾Äd)gJ?P1Grp;.qڡi}ԓCISu f߰ќHA5'vj?Og݊j*vj .Vz1{+f|f)wa)ԟ2ix.gEWE U POӯ/$>Ae)0,3 lD٠Ad)0So[vrb(m |?<"\0csH.kP( ڠ4 Gc¡2 B!6&@:m\7Ge9u;Tճ94Pe.1fctyCjm4mXsYK$٧T(lUM& 4:ZM'DZFyK!">Xkbʯ$GivKT>FjpRGQqHY-,`5t'i;Y {EĊ = ?g YZ7zXZ ִF ! j G] ŗXi%6SoSg &~ϭLiJ=&\'u mh|gO6057Wj{HB# T~:?0H.FB8?kB\-ޯ]) ;K^GHsP;-pj"6-%˕ahIܤmr470~rӍb݇)] Lb:ZN܁RB \S}dB,ޓb GdoFZ`H&f[4h)11q9tU(k:z>[g"y)^DH;K41hP 2Tīhx 0T]+yA)0im8#B']2%adA|]ˡ-JM{sofcpVTC*e Jh19a2IZL31t'1Eviۨ_t֛Mxi;I?Mfv'er/$ldG#KzK.JMTN` ݊E nf]㋊{JT%.1A .թvB]V.]x5K HI{*cpǔ) WXSgAB~b`ç1>Hb࿗4(]aǨ"zJcPrlL iXWqE,zci>%?eĖ^Oi9྇ɧsfYI*lDhC|>1T+30Yb.2iL.W;\ L+lxh"ewKPI*8 tGJdP(a4bgqVRX\'(Bc:W}|>߂~n̬f%<_ fMdr3[T㝀}NJC2ay= ;H*/Mο;zɞ UnjwHo]s_E'q+!@7Ͷ 3yM=.1@8ɐB9{NKTVJ-^Z]A.ދ0.Qz$䩉eRBmy. wsrdGq`p Gک٩L 9a5Qc@8Ce&OMZ hj, +P B"dꥲ* |)`ы`!z{mA+х=?t?9( >5ٹkq IPN2bS>3TӭH#H.M4ÉP }OaA z?x5heحi+RG瓊e\)hU_ 8$\CYn u9T~4WMT&.3XOLxÔb!:ݮ@?iCBeOj|m(|;顎@̞FwU\9J N<Y]ן"ٕ}P E웩L KHTk3"Y="zF%>mYT. DK<@ '8['| tnqdMr|{3DU
0j_R
n?( gqS:EN[_ qg
MP:T~(ߑk-*>'%7U9X^_Gzej*ES.*+[d;"JK&