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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  $< ]S IOA-NTP:threads=8elapsed=5.576cpu=14.366gc=0.795factor=2.587zXZִF! J]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#Ts`+&5e&^;Ebg% qE&:ˮQȝ%^E{ adq7C\i&wәn“w}*gVUVK]D|5pJ<[7% p^e5EAgYZ7zXZִF! ]ŗXi%>t}rM@j *CePpR'tztO[`J3zKhXUU'٫z|xHmgo9yqJ"D}~nD:,u]^.iթxu>]^MQ_&t}Vdgޭ>/i8M:>BW5ʭM{~$DqǮv:EEV*=lhwFE74pԪܐ~ ֲuL :pߤs失=d$O7!6rNtTP(jiޚi@G`u1=_LxhOY/^U+^ݻoUcWg92l TY"<קA7C6+[߼[oEH}kKQEn5`) S]#m k6x l & oRڎiqvfjMb '(6VɫLL[A-PY`{[<b q]s666V3>佉+J<{ & ׌AZqf?Tn FnU UB^*[1{gV!׹i/DcCb|U kSmS!a5 q`vT$ 55 %e|[k)6GzWzuW&O.KĤJt$G(:LgYZ999397850377dfe0cea3ef5d7da283eedcd572b6c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149 d6dff7752c59be2e50eb37904cd1d73e59a7e690   IOA-NTP