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  4dl ]/ Category:threads=2elapsed=5.040cpu=9.184gc=0.420factor=1.827zXZִF! y]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃz_2@FP@FУ77"{`UիX֛9Z|yJQ[@Iڰir0BDJYUI׌'ꙻt%V@ `( }k^nH&lrÏMz.o#0Ęlqg'=P~bx5SAw6~Z[(BzCgYZ7zXZִF! ]ŗXiɟ1˦r!st#?9ObUCb\ǷȸHG*"v:57? rU;b`j2]kR$)K.U $O%kY$7I 0E-6e.B$H6wZQ qs /_Hh%Tu8 .6̢i\-`R$B]wi3UEa^NW;AT-G١ $-S?Ip5hxftb.`.6[|`evgPh?Mp'*ԣBr2l#}Nxkg*q1kcvW hta;`kCWL#0e)zj )rc@z$Е>˱ӏ u1R (4z&TL9>{ {׋?[u"OY1l+~]MSN SJrd%