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 e d ]/]HOL-Word:threads=6elapsed=8.956cpu=45.676gc=1.640factor=5.107zXZִF! ]ŗXf1-q恈͐7ӺV #^RE=4E< @ jZQ2Cd>:cyҶ@``LN-/YDh'\;g5rq7`0Ex¬A\ Fj>1M<1Nˏ5N||7% m@ rRNm)z7F3VTsHAU=wL( %/Kӄwhv=2\}YL]Xeo+ϰ106yFWV8:?޼ jn[037V}%d(iߦ*Ђ1&㋗X0h>J,`:kƙ#w\&^ƾ :RKҸd*wbQ,hOk_㢟|;gYZ7zXZִF! 5-]ŗXi%EXG缜  4C{ԑ^vLuuL=7SŌ  }w)>v"+* 1~AðwKaB]rbx7"c6tLgI?^'èrB꒾L2ғzEiJ{ x=R9+UupuIFƛ&L_D?0@YUH?$$?C3p Ӿo_gr?c,j` _H% =?5]%!%?bČU>a'qJ>UX}VEgb-z-W.ќ.B~D'@~۝{4TN`%xT|A*؅<$"csX:izY3U r#A9~EYGjKUV7KPP C}|tM(*(rEpM ۯ'.}5CaĴ n#;gqJUa\ܬLmNJ4 *f|Gѫ邵_dLX\B h-SpZux`DlL oGDxjϛN% #ֱދ'zk'Ӈ 6?49xy_j IƇ j zgYZffa1fd8261fe446897aead2bd2213556f31704326d4536567a2d054a471600bb1a15b22f2e4e18b7 17ad37aa59356dc3b6833c64a9451d5e4da1a182594f8932db5386be7fcf2e73d9860ba0600477af   HOL-Word