SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info E E 8'd ] HOL-Matrix_LP:threads=2elapsed=12.309cpu=23.724gc=1.124factor=1.937zXZ ִF ! ] ŗXf1-q恈{RI $ϭN/Xt5RT0].2y$dUü%9~)}P@'S`@@ Lˑ3ۍ6QhBbg6~tGZ]g^)lj3#Rc}PjYlA i4̠ Jjv0\w]]K19aMU8vHL2KbHGfϠ9]uJُw , P2¥F/C]A%) !^(Nl;4ŕyC=&&)T1X ˾ >4jqFYv̈(EN/Zh|[1.4Cm B M(g YZ7zXZ ִ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 ޱg YZ7zXZ ִ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',s