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   ~5 || ] Lower_Semicontinuous:threads=4elapsed=3.775cpu=12.100gc=0.120factor=3.217zXZִF! ]ŗXf[&! ?[Ai.d$_*r>i7i׈2[?&}MC%=q )֊F`t0c8"I"i߁VtumS`x'&3vV@ sʒ GO4!RD$R*e0 pgYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(D1XzFK8~(>WFgzhKg^4}YZ7zXZִF! ,<]ŗXi%B(i|KY09M 3S9T:-v&oY.cS-a Le@U kNK k*yQk=G [7e梎syvSk/m˱#v&kּXns2FPi;ѷ7PRwxrf!AQ;L4 >wKVu7sԐ>Vyҝ2uyU$Iu;exH[-h].+c JG0$ͻg @#hknyPk]mut[!eAga/6/.5p5JZ#u~)}?!׌k YlQX2f .KsYkM Н+ճP  vyX")Ft5{bN^]^ݑX] cB U4o|OA1HHҨ. )292'glvv69;UR?yV|Km z<9ʃu5re@Xx4#-gK16@)pXvțK4ÈXdo8iJԴ/hs /W~σigi[u㴰a\LBL"wtozSæ3=9zJQ|?aepiEk6Xb"¬G&&W pA`g ߞu׏+CN.VѢ"'?HX!FkI^*RCV|[')) Ä<