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 M D S IOA-ABP:threads=2elapsed=5.786cpu=10.464gc=0.152factor=1.817zXZִF! ^]ŗXf1-qN50^%Fk_cSjZ5:]&I) (#it&A*aZlJm'o.pqKְzKFpŚBnȇN®yP8r / 甞C=Sѥbù񋸙`Z;Ť*7غuH;r   IOA-ABP VV!E%/K==+q_5j~E͜„.3tySd K9 SQv޹}TW4쪱+o ?0kPJ"h;l9y|ziFa=HI2 >R(gYZ7zXZִF! =]ŗXi%>)1g* P4v]T~=*ASxW] 4zhY){Xu:Fd JpĠ3osf,MM8:d.%d5n٬T8}TcwHN% tt,륒}E>i;QŴݙT w0?<\1WAefwC ?xO۲ r{7F2e7/~p&UuDߔjg8/iauΥe,"U8 \Winp5d-LO5 | uX&U* 31u*OƨckAD@mļ P?ͤe̻#g*-/%2NNk 3inwAl*⧷Η1]gguCR˴OVqD/xS=/RAhSY%S垇S"|bl+)̞ox9CZd)GE