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  I\,l ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.630cpu=5.512gc=0.236factor=1.527zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTA6dDK}Gn>G0nP7s73N7S_ NSyl-Ebkz5)H9,NjY ,2dgYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 4L)ʇ{uv@ƙhóM2o^0N}YZ7zXZִF! o]ŗXi%;;jpJkÇZDҜE{7 u׷;)Bx&ܟs韏v]7 /+%,QfEi;̡ q(HhgI=EN!<3:99!112et⊺+:HKl3M0_T5\~HwA qqUʶ8ڐ@yErR)D =GK"BfN@Om=Tl.@.y74~Y‹xZ_DHws ݺ EiLQCj@Ds(]!.<&V-5 T!y ,nOpv}9g<Ύ?z1J!A}g'P`c