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  :) 4\ ] HOL-TLA-Buffer:threads=2elapsed=0.572cpu=1.088gc=0.000factor=1.907zXZִF! Q]ŗXiɟ1zVU'j$qOBHgo@_KANO+T |hKm\eֱgYZ7zXZִF! e]ŗXi%96B夓`?AÚe.9%h=d6 zПc@h:iTG/]@ٱ.]HUPwEp-JtXl*ry>_݄0*ly+_**_I˜hL˴l5bFfMvh>mcq_ċ75X?F 'T 6P> }x %LDUVg╠ASӈ>L4E<S8d 5dX&\XMMF"QZQcօpss3ZnhBB2{8א&)hV~s~f)Xb ޣ(gYZ21dbe1dd609bd128b49d29b14ec32cbfc18314a931bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 f3cd8be02dacbb0bc687a1720e3cc0e4f9a85a4b ) HOL-TLA-Buffer