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 1 tl ]S HOL-SPARK-Examples:threads=2elapsed=19.956cpu=32.636gc=0.804factor=1.647zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)_y<ߔ*kU66B@?ɨ/ZpJl܇~tK%H,e|a'DX5Ao~8d(:k*iBPH_0UK#A#{x( Jxqr@jм\P8P0䀭%;q)QbD/#k#iiӜ:`m8Нiռf=Ya>da.Ts?(hq3JlIk_.f1զs0n h0sEC0%7آ^Td4ǿ{ѡ|`].>pns#]Os8S#qCAANWeG*FH&dG- {,#S;3QfgYZ7zXZִF! G]ŗXiɟ1'HGu C),_=g~ {^}挐⾌Ba9ol]_( _gx0TDJф\"VAo$F޹{Ug8 _}dX y$9/^I)0v!p; jָY`dg*X)tOL-F k"$fj$-t:2opST/b0<@7~x5L92J!t7Q^o>p7LK<ԕ$lIpwJJ'ս "x)mJJG\(/Gхkf !ǯ9d"bH3DHxOI`s)i,֡o[r䫑GɍӋL$jnkK>њ8]yn/ޜYsG :91UX:krO 6y%a#ATo:kc/^!x" bL:/Іk#HɌV_LuVlywE=Mů e ]VnD̺7,1_@dsy_>Cf/B$rc;C ܯsr\s7O ť ,w`#]%[5kVwm[8T&8jS^p\d%m88V@=A{$hw!TS DVpAiY3_ tve:}jgMuWG(v:DF_xnq>qfTKjs@2Ygފ CXZk:6TY)/.J)+LтrE4<-N>,nQWI37%gZvF݅Ӏ5!66o>c$nO^y"Os*k)C٨S1Mnd됖~ľ#-@H8v8x]ZAFՋsjRVx/ łn0Gu5pALh销a"ͻΖ3DRoe2;"Г/kimldQNt 83.҆-,[/8U.x6}6߷i{rBb,j: )