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 |$< ]/ JiveDataStoreModel:threads=4elapsed=9.222cpu=22.508gc=0.776factor=2.447zXZִF! x]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/HP(N>Ν|nP*)} )}YҜ*A Mi[is;\6<Эs .8]a8/147K \zL8xjQpUg+yy3x;97B) _?egC3DȣC7Z0+hz4/z+y.TH lK@3p)]M38H5s@=~n,c1XBi(6!TF~ܴ![EX h*3irU;;^mL}ݻTP\g-orҀ42σ"u/Qr2?~XQ'0 3I:+G,?e(`@pj8L[EEG71* #Fl:02=,~]~uzՌU/:JXU\B@5!ʁ0&']H6+O& d`|xRpЂNƒ0=NRZwJ]ò&W^Zx8 晴$_ҳC z0h;I`n a9=U-*.!VS&4~g/A[p |0ބ~Jvf?U"xY?vCg}޶/}{Ǻp.$-ރpBOshށ&j3" D,.fZ_D`u?0o= ,8~-d;( !BQs%ęFD~w} w5ɾ+K^V+G9rT)z洢?.['4G_h FgYZb192260b7c86c021ff470386bd21d41fadd4f7851795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 1 JiveDataStoreModel