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 ' Tt ] HOL-Matrix_LP:threads=2elapsed=14.279cpu=27.580gc=1.472factor=1.937zXZִF! ]]ŗXf1-q恈{RI $ϭ N/Xt6t)͙Yˬqaelx7M^ۢAPmVl,,C11Kgn9P>3uÇ}Jjmbu2GJn[y)))e/=Ղ !Ɠ[x{e%KV`1C껜,rqghqsҠ=0_{W*GNN9N5E)E3v=®¸RV׆y`׀nEj%at5z]{ '\z3$py_HX:ì i%_X%0&tagcO)xZp@seL!t>)+? {"CQPލM3F?F[)㋨0])`ADnOmļk5$Q "P*cZw O-"%⣻%aq,9VZQݯwy/NQ=3&nfCI _V<|f!>CJqx{}5|"ng'p2#TF1nυ4Th7pBnJO?b]-r- y#Q0q^o 5)X&7o3g\zO4]˜j @`^j!0@ e‰pd̷5`Eg Nm۠QAoT#!,"%i(2ɹ$aÈcc פNgYZ903949eb6aaddeb2248fd8fdbca33951bcaa85ba848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486 ' HOL-Matrix_LP