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  #3T<$ ]/ Partial_Function_MR:threads=2elapsed=6.717cpu=9.360gc=0.568factor=1.397zXZִF! 5]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡jҎgoۘ&0f$ʼITYxݔ0tĩ®N3cf嬀S7#'{%nt%3c(0Hj.xt~6) Etlè, >O{t޾|=9gYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gM:Yc~ pI˴|~G$Dז(?G&vmP=|?|" s!RL:Kk ^g =uP gYZ7zXZִF! ' ]ŗXi%6 J:k]}CH_S0p ew|3ykŌfНŁ #Vݬ@O)N*Wh+3ZK+NuHCu#lhlmSPb~٫Hc 'v0)a1>7͛c&CErkw̧)q=/+FXϥ<+y5j؋M86kex'Q{f_ؔe'\XҭxEoSiP#91")6G| Xk)TP6ie`~'16S]%J0[ϟ059,4Msbq¨aҰo-_OODiS3 vbMcmӓgYZ›ŋ$T-~PΊejUoitq FeEf{6#^xy%