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 H H )'lt ] HOL-MicroJava:threads=6elapsed=60.001cpu=263.588gc=8.160factor=4.397zXZ ִF ! 0] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nԍ-~ iɊt}N?}|#I~(_U0Ui]Z6-/]7{6r4켩tHsT@mq^-r6#P:+/x%&6oX`Sk,ҙWj_o4l_,~Wskgp ^k؈@M?rGi"!.Qzs>G%+sn^n`y?U |dwM??/ƀ4ډ#ZB0/1}hR5`o)[쬆%E q߅ɩdX ;';j2[xaePwLQ!ð=axT|\.t@ zDĥ!#lZ69j1fvX$zNEwx:9F`x8ZUnpP8-='D/iKVB~f {.J2-ֹAb8maQ(eb%fb1WYgHb$"FI߷2WovvMBl8c)=JDž,!tCz6?^Zka,ŕ