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 !Lgw Call_Arity:threads=2elapsed=87.952cpu=150.176gc=7.196factor=1.717zXZ ִF ! :!z] ŗXf1-/6vRZy_=}C]sW9yZ9beM*MJNby*sWh, ! Call_Arity z=Ho %yÀKHڶcd鄷&_W &xvͥ?o/a~ڭ)='v߅ND&$f*m[kC8͛]6)5nwFyYZCw,y[&EHR]D198gMYy,"}'}X"94ީ~B6M6hUZ*0wIko 2h{#<-Jf/t7O:.J2X}hro|xUꏾ7[4jwH3:n%9EMn㌯