SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 6'L, ] HOL-MicroJava:threads=6elapsed=62.648cpu=283.040gc=12.784factor=4.527zXZ ִF ! F] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nڔ{3JڕMqe3Xj[z]R# o߀jasŁ5i-γeBZ؞4?/u\V; u䬳N# 8[*v];6& ,c*nnӵBs_%<`m wDv|t0dgj _s3FPOJ]Bn*11 0/yh&]=C8[z~Z"?AEb7?ԷtL4sTԃ=?1I-Ԉ:тGYecyMe_T-424&07l8YterM#.Y[pm[]T-fmpZT@'G}r(;B=>k]e-x]ls-TMj?p?>"f1'f?^v%-U/ DGq'orn:QӚFqZ2 'POM!Q#qiV#`r3eӷIur|>z';H3rgtpxbgq!1/ uJl@<Yf,qg B&U8`g'