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 ) <, ]/]HOL-Word:threads=6elapsed=9.754cpu=47.808gc=2.088factor=4.907zXZ ִF ! ] ŗXf1-q恈͐7ӺV/K!W8DNKY>OjxiKGnC)p?yE=+O/ZD=&5+!&`ؙK 諧|%. 6y[FL~Ͽ~o"]W]=i6X-(grKu]ghбo XۈD9KM%s]Op;\֘ܝ8EIɳU^\z?Y]9Zҹ6#dy~B;\gp F:-,/ *5CȌ&x)iN9pDɟg15ԉyJvEǸ\~Wkw \N'GxFKJf
-)?sԎRtT"å8RqJ9OO"4K<Ңc)p[6pj~U,ܙ"6[@ Ă%͎[{=5 Wc)s
ûZg;'x[C2Bu\o eQ:m7Iޡ,%>v
JL/
[7T!VӞ5!_!HܹLR-c8pώ / rKh % 8Xg YZ7zXZ ִF ! ?] ŗXiɟ1}?қѱfدyQ2$2|B.A-3>4PèN
=^N'I`57Kt$׆YF/Lت2 07RˏS:
=kn9#e!0Uړ})UOPj~/frO"LfܦDD+bJFVwliMtGf_z];M
j>"[d^*{9,հnR;z:Nv$}.gx^z:Jd(ڒw?>rg/'Oɒ0+=CqRXKL@.(/W5+N= _t>1:J'A23T0P-7? q2