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 -,L ]S HOL-SPARK-Manual:threads=2elapsed=5.061cpu=8.056gc=0.164factor=1.597zXZִF! O]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)ԐPpUiu'CP "YȻ:M72C-Q(_I~DkF}k06ןr:@3 .q !ᵳ)_ʠ l $gYZ7zXZִF! ]ŗXiɟ1'HGu C),_Daqi*7(Mx<\q'Ĉm1`R5mX8E~E|W#$詃INANZ|%@X/'̿p֒$Rɭc}<.M7?64w =,gP;jVHqgYZ7zXZִF! %f]ŗXi%9(PKYY3۱pn˓nIYʅpmmn] 5N93qaEL{|~IOsu0`,z*oq'eQ_Ѫ4c9On'l-b`_1%9k>Jo~)Kwc_ix!(fuwit{=2a0pN<ΉJsN6>5hà&W ܺƢ#8w9Zv1v.wlp^C%8=Smq O/YqXӕR/ºvӛt}dXTv{m02l%Ƽ![-ġi(Eqܔi' \^]QjLH.1Bfʼs^q!ͭ}:TzK#63yaQ 广?ľm aP\p_kV 7-8(xDk<l74vd04x}ߎiͳ)ÞuSYœ %P.웜ۂj&ƚ6^Z< Qz]4Sxg 6#R,/K^mB rX{ nTۈFgj:{[I~}O&.W,m*PK?H)j?kjQ"p#_@^ a;@?K%!;>VB|Bɛ=y1ڴ/yC'M dZMj* WI ?q7pċevN`ךEaK:&JAcgYZ9342fb2d2bed81b8da4b97103dcd179bb3572420f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf d07f3d5d92bb97fbda1e2fdf7a79aee41fe1c30a 8624ddc6e24841f490fa42cb976d2b87a62b7dda - HOL-SPARK-Manual