SQLite format 3 @ . Y Y Q77Atableisabelle_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, "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 X't % HOL-MicroJava:threads=6elapsed=61.847cpu=272.436gc=7.768factor=4.407zXZ ִF ! >~] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"bGb!'-h S9ѐrRGQ82(cY*ٞmN$+ ( Y93/cx+k=#:k~-:DyBPLq]T@9;X[CSwYuŏWDF4( [Ivb3rD.cRPm;iLC^"O!3I2ߐ~Vt& դ.xF20@[܃']P7qnp9vT J$fq<h<&Rbܐ9m9_2/5 ז^V-JbLaZ w*ȹֵ>h%^)Y⽬@!_~O:0KJ)j`'}.=ј;"AQy8{X=y ں{y #e# eH/}ݤd?PFSk h`HA^Uד q(mÑa٘ւk>K;ȨcDD3l$-5#6P| e8lKz!I;/n=0d}J #d2- l4Y`b9dn٬,lao