SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info C/ D$ ]/ HOL-Types_To_Sets:threads=4elapsed=14.691cpu=28.608gc=0.560factor=1.957zXZִF! <?]ŗXf1-q恈'+]&e}0mz_i'av&w;g=K0yRz`<[w2rvv(2a=BltpS?7\8M(9]ǚauhqUQ~݉Y uUUD?-zmQIE&Ǽ =mSYɁA]hD aVLs ;ut<(bZ>ڋ9 td߃Yv1t}V9T7oUfo8% wfeEavU?o̪?u/m,t_nS_UхSy\u<πj !`CMBV_z}ʫC4Ib{ 7NFvXi'v4g{@4j[^g2Am/60KI{tqH ,ϟj5RrmrqfP7A "tFH^:dByNWAfU^DL5n6"UJ" \&dTި'W1h!2й\Ta6w1䐩.o4&t*UG$d!lwZ͸h?XK.