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 [)dTl ]/ Allen_Calculus:threads=2elapsed=205.111cpu=320.500gc=4.328factor=1.567zXZ ִF ! R] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Ir-Ț4ZߕU`䬃9}5vL8 `Km]W-cj+/פSGs.cӼKART7h{c, =9 D \frsVn%1t3OhJȘ][Ngn#BfQz uBԪсᱥ?"S #^uLW(-k*=6R#S\b 6d&-q. H5}\:wQSR7IgGEE9iYE^C;,~Soyp^R,0Xg_Ba58/nwlfK?̤$PW`ĉ56M?4'X%snE q< @ީĚv%?~Ljo77ܝGx)nkPȏq** 囎ok"Ҕ8sN-,eQۮ2(6oVy@ga&`M\C=L}