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 ZZ4 m Category:threads=2elapsed=3.221cpu=5.756gc=0.304factor=1.797zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝Y)xzpS,]0䃥~C=n7}"Wv ^#^ QQU;YFgPcm!xh5\opwDr>VdC+ڞ\e3]`%Ui(VK.$ީ־޷;9\"=־ƎC'Yu>&5xr T?UZdQEg_0<~KC@-s{n6xB|Z*e#yl5 {,KIVgT nmgf{\{ ;q߭Ѯa[EEõ|Op,ۄzEۧ;74sx/z&n,9} .IlAd C]Q/$%g;5D:i*<$L-PsC.;L#2UEՃk~a{3.ó[ch#8bWWMp H&[8ж( Txk/痂>/a5%.T`׻t@Q3SkV)gYZ7zXZִF! E]ŗXi% ~?@MYY'hq&p E$jŒ2LKJzP%kGǫ}C   CategorynAsMej(W ;> Z{^ .vo)xg*2>m# D/ |2 |;_?ʭGP/0\nOᚱ_%YLYprNt=`7jv^(Tt7륎POsgtxKi(45 &>,aTQMb @:tZ$}ynDv +C]9xzTW[O".IG,z5@k!Ѓ*Vap]~q$ޞ6ӌ*@=[ZquZ#2