SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O O U/L/ Featherweight_OCL:threads=2elapsed=166.026cpu=315.272gc=11.112factor=1.907zXZ ִF ! *y] ŗXf1-/6vRZ9@{q$Sg 7x/o.Vu`)+TV&MspyAI"aT'xoB2 ȿGsg{doȿψ4rfLLSWRz5gQKŜi""~bQ^sGV6iƽ[jW݇ w[z+t:ޣ#) 㛤T%[#z$Eb9'1uNJ(mfz뺘<08_aFŎL^HMȯc.i؝ׯ1nU"YB !_Fɫ~3DqiUv͝K: XDʅ0t=: ݠ$0;Z$7[M .Lrf;y$' R!H@EӁm;:t2ֹWZ"tҰm{@qFˑ($Bs&5WrMi|k;:PE%!M / Featherweight_OCL }0Y+5$υ*X1vLk^~XB`0(C{ZZLqsMnB617"F֊P/'ƻnTf>+CxDdN- NWQ*7(D+73e@-X[ymrO' \) ^PtL @b(!hf(b=tJW~FmMtY<j>v2sf J@~pM-s岯C}/8dQYt.1Ty94:n;Lp*a&0/&CBk&>siDzМ>ϊhkً|W[[ @[!4@A(6+RҖpo_DSv<}]XKTUjDӸ߽7k"]#}LS9۾z]/NX+G+@}BK) 1liinIJzKoZ"+YTY34o c<@-(>·$T<{/?%65d-`Ϣ@(~:J-̛{BsL]kB䊏ViOFtz5|ҁJ{(`$aHeqK"0M3=tǿČEA!"}(?M,B{QFiR[/qpY[S&PùU*+O.43Bv]8J,R+Oa3E>ҏŶj-;.č!T"R `SЉ~%Xu_fF,6sU{_6F)+Tb,3taA PG(ؽK13\F1y!/> !e$,UoNDbTy[/[7E.c08Todwo A^ {lx:%CyZ=y wN