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 ?? 4dD ]/ Inductive_Confidentiality:threads=2elapsed=14.639cpu=26.680gc=1.716factor=1.827zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;xSiS=J< -!uhPd"f[ nJo֯3aCE·n jm>1Wh,[{gZ޷`(Z)ŧܮ>gRM,RPfjq 14|h]\yͶy +5¹lBo(Z %I3 bQ[ݙX.azgS/'̈́{T*y98 أ7k33˴ #B ̴&p'*ZmHˠӺIGSw&\<|IEm~mOD !KX_2; @.Du+Ja14ފ.1ugYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч=<ͨv.Y) S\!@xt/V(iΏ>Ҡӈ3\P,UIwP[y! c୷lD Q^2'JB 1:8{쬅'nYMUxt%n%.WnAl^p-fkE}8܋7Cҫ2.bvӀ'^y2x4gYZ7zXZִF! P]ŗXi%9(SN\J:Yw\8**~ ΰ6<b  cZ1Q7>(iT[&ڱhʊ,)zkwaӛx"h5NLʾH$^ ;`K]Ōr@K7?oճ56aE i L~p2XָS t4殺`$f@nj{j#uwbۄɃv[ L!Vhlmi:þ_."Y,/gI5y^ŪZ$!IFybYqVbHi2@GB1B%Gcf%ݮ,smP?Z򜍧.nBÇ{Ҷ,^Fx59󣺁3V1[Il92in~Te&W K sH D_7jTǨM$Guu;he@2mNcei/Ug Y+D|=no(]P{ʤwS%6>%p |mK-u)x}>3EϴaXV,&|#nadLяew aJ̪mɉ\0'>[!k"2{LѝljTζ[*=܂8%Vqw7