SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  LtL ]/ FFT:threads=2elapsed=1.353cpu=2.420gc=0.000factor=1.797zXZִF! ]]ŗXf1-/6vRZ;qOYxqWgA t?5I `b^56m\s :8}JAy?k%.ߍ08yv9gYZ7zXZִF! ;8]ŗXiɟ5UjG`mÂԭ_גIFKy9慾w*{ھоT}YZ7zXZִF! ]ŗXi%92"Amow= D1kfh ^qCl۞p v &6Y3iu~(dT]:z保D,R+{H_CGQ!;4m X2 $8{NGԆix w zrXAF؎yUTSθPRNF4gAIْy3%.# B*YT:,- kۙw0R; Cbt^szBC l2ӥ /*Ңp[:nw2C HYW1 ')ژ @dl7Iy)1c'46`N ʴaĩj$.66f^=Z67.oN3ge( xtqH٧\-!DAH4FY|g5s g %)`t$gYZ293e6964213f7a16894f2e746d75c33e8451d406bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77  FFT