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 l7 t,L ] HOL-Word-SMT_Examples:threads=6elapsed=56.419cpu=79.312gc=0.888factor=1.417zXZִF! s]ŗXf1-q恈2Z( \9rfJ̔`ooc//IkUInJ]\}2R^T-<vTX;y}xKjttKz#g3`BZ붢:ˌK^e%JzT)eQbkbtԑAяk1*: %*ݘ2AqCvU,D_8}Gnvp 5s` ?Ww].)A@ 6ӳ~V~f!?fB dGplU\y'b4& >U;ylNO =+~I_뒈 }aX;!jyӒJ 4yk/Z0AvZ,:G~V F#:W$֬׀ l?|?4>.ƾ-9Na跃(ˬA 1@fWzDdb\eU-Ia @q n=֪F}65!( 6k!GT +cQt(R~ksg2m!9b&|@oO%>MO(#+^907BXUs]b)1.ثCӔ'?.>N4CcD;]Mѱ8I$İj 0^#1*9t(* kFv\X".k!QW`̫u T^VGFcB9 L]?Ww[zKyaQ)2#8Wwԧ(Щ2NHXP"~y=r לw1 E8MJl8 w~ K1ƐdlT`#x*xt UCm_Jk4JN_!vX])4^5ˀCǬn㳀hc5̖-D$dnfҮN9vFbŗ<鯭 ^G'o6$dh 6f+[TUzJCݠfAu?DZߥlj{̈6}w#"p:MÄތ޿kIX t%}Y޴\Zk~x( Tț FA.mjjoKj&qbm@L)g4r}Cc(Siz xQ^(4'u6CW[.9ޭPU=Z-DI