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 | | T4, ]/]HOL-Word:threads=6elapsed=9.835cpu=48.404gc=1.968factor=4.927zXZ ִF ! ] ŗXf1-q恈͐7ӺV/K!W8DNKY>OjxiKGnC)p?y29צŃB1S( Šh ٯq]R TeLz\:}SKj^8ׄ n"j}XvPE+TW*Dë'~/ayRջUy9{.S66 D|aFﹽ$Xx͘j."N%d/ҥ}T;˔r:].Zd[y/ &9 mN{uFrnaڔJ1Wo -H*9*3Fi9DEV/%`i'^U,aY i}a|a N/8>~ @ |1+%w_/ub"e;1AO CI/*vYēCY2kf\^giR17wh|GUPhuH #ëE(zbX,Txc/d 1J0a.ڮUú2יY˟H]5Q"R E` pQ_h)|~T?/ +iL$1A9CfB%MR@A=lqFmU !։ruҼ%S1E+1o ҿ23 + g YZ7zXZ ִF ! ?] ŗXiɟ1}?қѱfدyQ2$2|B.AS[z}X}ҲXg
dLJ^u@̅-Kb@d~c6Fk