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  { {\d ]] Sequents:threads=2elapsed=3.881cpu=7.456gc=0.196factor=1.927zXZִF! ]ŗXf1-y$DIX` :anD-Ž&9Cec+X&WA{D Iy[VLK4M+&9Y7^d(g.n7TկkΊ }{$T *ױlko}JciʨǞ8 -W-gYZ7zXZִF! ]ŗXiɟBv l82Xv1FY,9vOOwOQ``An*qԎD(44N>[&.4dZ!D%r@ЇRtzd-a<'BKLXqGɴ_ty\/FA$1RSo-1r'ϣ\$'͵ Y-Uѥ*ѷQİi[AȓgYZ7zXZִF! F]ŗXi%96UEqDس@ qças-=˗_ԻztP6ύwk1> (*|cjG؜i@}5\wX>}u|b^_mqNax>]^DѰ9I|nZ ʜy衺tҏ,7Фwac0 RN]ّg:kk7`9TťReJfG>88cK/7ׇ(˼8(AKҬؑyfbax_|>ɉ'8s[PAXGРLf&c-R.Ρy;0.Ў%jgIF6H %w: ɡ])ĽKSc+*ugYZd40eb9181e91d43740ae62820f9c90121b20d3dee42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc   Sequents