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 `' $$ ] HOL-Matrix_LP:threads=2elapsed=13.988cpu=26.932gc=1.228factor=1.937zXZִF! ]ŗXf1-q恈{RI $ϭ N/XtX WZ/#r9ʑ,Yqe?8qrM9 b\d+5Æa5 _ϼ ֹn dcѺa'YR\b>*܍eط/#9fFDRZIF{ʉ"OV}  2 0_ ipoR! 6>"G-]WEw#[(#=5ҡK:("bN3_Rw.PRDv)pSÕMM{BQ8 @5LWTD Ҕ,l`cJ^ 䄐q (evb,+fh#ns1m"钃կ@ƱgYZ7zXZִF! b]ŗXiɟ1#vX@;- ̕^EĿвx# bk5P p5f,mʗ[k},]\Uh挈żSdpن2OV.L̛l@MhQE9ph ZkDgdXT?iDb6i@}`bdw?ASñg)|!IZF/OkΧ ʲ'E6uEB5q&FCK_R!v]ޚȻޮ]J72Yt%kgĉ8k9&ZpK(} rOK%#I'WyA2>oWXn00 /A=+S?Ϭ1u}FѴE3,]1diO{[iBKյx5R>pՕ>] 9>+ww#d͉P$_]B/qZ#fɿRtUrT@ݾv73oj=uZ &Sa^%'fyV<;%:c]Q TC . SqtmSko"`NcJI696F,96ݬ9rg8?ۙ𶯿7;mb~c `귗xAhedʏ%eP+%Cnkq$&7#u7gC J/B#%͓sCҟ\BȀrTȱ@ EJO;S?7"u@#'RBTkv\a<7tz8nk^X P! F^ZZCV "\*rbN8^kϰEJpc0&8Di=4|doN_)=ƣ.YC)HuPy 2Lu%`D>8XmC"g) >P-4V7F+Az;d,3,1Ĵy=&Pnk> ) mjcoE\p4ϤJUJ'`/\8hQ+<*^j87aΕ8׏l':,YMHȃe}eOY U+g4p}Y?]InkT,3S]4#{f~Gn`UVi/S CL Mޖ [ܬ< N X"yn"/p.r!Jc#Q2wCm"7397&=$F5W` gYZ67c10de9f58bebf6c9c2799de39ce5746faf8172f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd ' HOL-Matrix_LP