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 W1 L,$ ]/ JiveDataStoreModel:threads=4elapsed=8.945cpu=22.984gc=0.648factor=2.577zXZִF! *_]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/HaHzu&n:F:=cɊE6|}[Bg ؍[cXK#qEEK'vgr!"D| 9F< :K_E$:fu@IFsL1H;T O6,/GBHm=[$_ 6B ʚ&D6(t΍.h-R~)HKߥPS򰋒Ye F`8V#>/bJ&2u%v-v=>!׆zRi4VgYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^ԃ4ƙ|NjJN|WFl9j:DmGj;޹V-Āμ>ϭ3j[El?}62e'~ús||!^+b5zQȈ߁lT`*u;ymi*4V^?q %r}R>0c5[9Rj`[Hs`, s`<gYZ7zXZִF! JI]ŗXi%Bo_ʸ2if3ɤ+w0Yd1'6d@Pk1vF&@f$D{f C]{XUwjKXtS@DWh\-dakܳz~"\X2ɵZ:yG†\8(q[cxS,>&^ } ҃&ͷ'^1˅}K BT>5L7d'. a#tvresOPlEX K G @ilG>Ϫw,&\d8O!k}ڜfm3AiB `&#Y2/7**KJ9韵GP.9r"p6 :B'aLjI$UPg2>iiɉ)4NfQ"\'u ][0LlT9\Ϻ}Ex.9O _Նskksx۠%2S]+:)Rh= `U+xTfRZDo cÆX1i9[m\SԓZ| KXfXo'^RGH;E0 =A;)D8hoXGɃi* Q$sŐ'wY.Vu+ KmgYZ1ca6287f1d5c39be4d8c99894e64ed736f477e7cddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 1 JiveDataStoreModel