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
t
t #,4 ]S
HOLCF-FOCUS:threads=2elapsed=4.123cpu=7.892gc=0.232factor=1.917zXZ ִF ! ] ŗXf1-qNezGh)=|"*Av٪
y`p{ 7Seѱ%
D"č` &%g YZ7zXZ ִF ! ] ŗXiɟ>Ӈ~{?@&tu|=8Uy3a8|AJaŹgQ9Z 7g)CD^:.^%˝͘L~[r8$OⶱPBf64 _f/=8 lK g YZ7zXZ ִF ! ER] ŗXi%;r] /_+ĊL?̷MZJqC0#p6&2F`E$KC)Yu[jlso9o]2˙ȰzykbQk*ΝGΌiwKf߲|JW&=FC]O-W:GL:OWBO~`pQ-1.#IžhC|b>{<"qZ=? Z ypgk(Hv)n䘌 Ɨ9h,Vz(3漯G-#j!*ŹBGG:%TW_puGm XőuOF|
W]4. nhdE&Qu!}(ZMoxO\kvvMzh^49ȷV=P+g+ `c_og[ /6<,,0Yr>(u.?t*@v ruGd% . n{g YZ992e75d20545a26e7f6eed43981481003c835d36db6f05ad5884c3d4b639d9f4b203792d5968e568
8f4009a03cb4dc8972f8428957511cea3c656c5b
e1a49eba39be39a6d30f2432d1e20f9f853d1a3e
31ccd7b75609d4dd3a21a6c4cb126387bfc123ca
# HOLCF-FOCUS