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 i) d<ĖbϞAEKTr '!#R^\h6o.0sq<{L !3٢{5.H'~ڥX/]zOf޻h$Q[ ˃&l%N-ምh"%&,E]!'?jk#pɃ:喼''wkj6š{4'*2~7սtѯ]?%~(>XO ZT5C:AvItdM~;C9BgD!"*(agtIǏVE\;$Ωi 8HfŨ|Hgu&1):{FSRMO04P\PQX26UC˓ 4 ->d,Tv)7K, \ `Ҿkc!ʶDU/M(:Ϫ s܏ej>kFˌJ@Ii79`Ȅ2L SbiFy9J]oAᶲN:NZbr)Gn52s嘦ZJQ*jԊ ]@ p.M5RwNtLDr}?'~EbIl4ofFΟ5E*mS?k{O*:^ 2{fJ0Oqm sV U&;ZqfD/PwGcKF*)xyĺn!? :xOy:nIu?'fOd] UThWz@4^[Ӄ YKȨu Dv؈)zX~MX{pk>ٵ=ȦX;ܬC.tԗ쟫y=_<? =+Ȁ'0pdz Nz@v/ mrB+9_>Q_* rL] zPA#s<1x8}Aܟ 3[d$2`!|xE6Q4+p8ځc!X m4bX`yzBEη{z-k/6)=ιuLgYZe37e81ae0ac18ccd071dbe5713b04ff93fa97722daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 7fd41d81fd6d6650330ab94697f8cff569d01c69 ) HOL-TLA-Memory