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 C5 \$L ]S Lam-ml-Normalization:threads=2elapsed=9.725cpu=15.908gc=0.788factor=1.647zXZִF! ']ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘tf3)Ͽ]z fyA_Q["I?4!8%2$GѢUszkFi+VUÙ)&<|5OgaSÝ %h᰹;pKYh"\hء&5)j٫ﶴ P 'vzmoR?ֽ"I\yF)SekkT3d.uQ('ߴ:13ST?I X G{ݹ~qE5e6ۏqyo+gYZd02b49d7a905b9f5ec1f68f3e1349fd7f2a32ff800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 748ae490e58f57fc2dfe0dc2598be6c7873e95f3 5 Lam-ml-Normalization