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 XQ \ ]/ CryptoBasedCompositionalProperties:threads=2elapsed=12.033cpu=19.508gc=0.692factor=1.627zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R1g!pфF樭M#>fn=Rt ao2R:Yp\hj BL >8-xCKQz0A=Άvˣ}{V4v`19ct:2-\bЁ{&I;=7[mrBOhhXX+x:jDcX>3Ux})(%bkzסgYZ7zXZִF! Hf]ŗXi%ή++P1<ak uqDL0ul&ϙdQ#:LB"n[ľ=A_izw Z't$bܕЗe~eMti K<9hV؏ĭO0WrOI}56dVB-|GW)H a 2mU}UU[yK#Ӌ76_F-_gA,+ qe; G^dl(W+{@j,w`YZ+ SkpﶲՌ<7q4*ֲvu/j ‚Vqnh=Ǻq1Bvښ3%2yY \ŞO&_|sW<ҭZ2ʹ[6 !͜Zx \5)4uUOm*.$m0)꽸 &U VI4NN\)B< q&_ "gr+r˗Y-*0ADUǢ߼=͍N*)0"o`Iw0߅便>۶x]^Ӗ3I;mr_2KbIso[?{1pڬfZu}AlHDܵSsC xG0(c˩7/YS/2>6SuKZ+fL7<6~qjJWL}{ePA3oa(훥y{g9(Ea]梶[5(H9X0l1jPe-sƳ< 2;""tˉ" mgYZ5120de53ca6f8e1df402c1fd67b0ffff40353e1300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 %Q CryptoBasedCompositionalProperties