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  S3 T4 ]/ Partial_Function_MR:threads=2elapsed=6.316cpu=8.812gc=0.412factor=1.407zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kB=IqV"TN*W7מZmZpL@Ev}C}P5f/Oh KҘ[O gYZ7zXZִF! ,_]ŗXi%W~s"M^例᷋¾hʨh|PpOakƬw:eBȹ7{P l[We܏f S?ɶr5!5u/M6I)?wH<!F-h="1Ŧ{_y6> :إĴZ1b{tٜ r܉6˼~>tfNt +_3VqT7ǚHWD-jŸܐ*;ulpnIm+WQJ3N3YcqRB p?}+D"W(cx= mF!x[X{!%ٙl`_MHw/x)ŵĴƼR)NtQaR :0G (Na >vٻ9>u`fݦs Vr˅ڔ.^bژ$}9JX5NĿp^rAqۻOuMZQ"4}uxH2`%Y ,<AN%9-W%' @kXFkqo~dzD,D>ѣTZ6 `56#mؠBy۽Do@{6lj\Vqkӕ::?ecԩbXM4xD I;{vvt6({jO V "|R8آWd0%,k8R*gXvgYZc5cf8451dbd3467839a89abb45cc7f7a2b771bdbd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 3 Partial_Function_MR