SQLite format 3 @ . B B h77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 LDD< ] SuperCalc:threads=2elapsed=39.892cpu=77.080gc=3.664factor=1.937zXZ ִF ! %] ŗXf1-/6vR[] ֧"zժ ڋZ(l-;T" `\!jcLYxL>k+"`Q'7k3L<6VD0i-i.;Eۧ{nb!NWa'CT"1JG.ƚ6ϕaY7@(C,3\/MicRՓX=uPNzlO~]FYy"ÇȁW.Ah$0@oR'EUg-}y?! [;t̶RGUZq^qUpF=zp~ˡ뢻Fc' SuperCalc B@^J8:SUwrnȤQFom3#"BY9c)ǜ>*u^\(ot1?G煐%:R `"|3G%.+c<%.@ш9ιRYdWO1+ba33#t(c6PP1fkjӯ זN5rBy\9M{7`{nljI̳:ȏ̧CY*%ì> vpĻMkd(Ig:+R֮YJ%&3qQoUIVut,ߺfD@6rPK'O+.{3FўfnܶF{I@RߔO9M<?0w3!=x2c7,Y Sn!*;R<-KD$Η2\`DC)}fF9t=yة'{;Dc!f%Ԧ0qO)*Ƚ倘wEȥJi*r4k)HYq0A@ _P K tzg YZ7zXZ ִF ! ] ŗXiɟ}Ɓe6L=+.3 `ɉ