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 EE8' d ] HOL-Matrix_LP:threads=2elapsed=12.309cpu=23.724gc=1.124factor=1.937zXZִF! ]ŗXf1-q恈{RI $ϭ N/Xt5RT0].2׼y$dUü%9~)}P@'S`@@ Lˑ3ۍ6QhBbg6~tGZ]g^)lj3#Rc}Pj YlAi4̠Jjv0\w]]K19aMU8v HL2KbHGfϠ9]uJُw , P2¥F/C]A%) !^(Nl;4ŕyC=&&)T1X ˾ >4 jqFYv̈(EN/Zh|[1.4CmBM(gYZ7zXZִF! b]ŗXiɟ1#vX@;- ̕^EĿв~C`Q7Rkcp eQʀ#v]Ҡ+JSù% 4ϔn!ViS_f~AOЇ+%-tô[u9=,yA6uu,>$oꑙ[hx剞vć_b:0S@z_iBwޱgYZ7zXZִF! Hi]ŗXi%;P0&!(̈́~i_O@cH@vATx4.2ׅ)jYE<aW .Ai~cVYF(Iž4d=i7bP'ȞՖ0S9$W b~B$C`ElZM(؊C wQҔu9ތ$5',sYq ig;o4;fXYڑ:Loǿ,@'G"w-g?WK$ପͦ[M2v~{ Ds8z:WcI83H{U~Gd&f QiRBy~ZAY暀@G~Яh:~WX+>(;$6l29:[Z<9kbK*>:-/v ־tI5T5KqϻS*k  9b}҆n:$Ь0hy\J_NeY"}4+޴#@31}|d:V& 2ZhOtP82qi41(# .%U`Taef |aq}5M@VZZs̢nnYFWUm13kAP9ǭȒʽ~n]3$2ð4}