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   dLd ]/ Category:threads=2elapsed=4.684cpu=8.724gc=0.264factor=1.867zXZִF! r]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃs a0K$ĺQ:FH4t_%~$:r 4g4P`aI=`H5>1]ojQòƱx~裭J=)6uN{d1i'yy v_:o) 0RvMS!0g3'W/q,>q,<ʡi^"(N4y[E{zEP to6/$ V`Fdb/ vknFz6|ǰrX_jfo ĵa/O7Q-c=BNTNwY|vfb>(]+A{7i ;G͊|ei_ʈ,`Q+UÆt' :k J`BQgYZ1d02345d01d486b9fc50b7050fb7f47a4eaaabef79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6   Category