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 vv1 <$ ]/ JiveDataStoreModel:threads=4elapsed=9.470cpu=24.184gc=1.096factor=2.557zXZִF! ]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/HRv]2oF/n_mm} d3=T0b/0t^\zDBW1+9#ݥvQ,UpMx/Tfݒ @9+:bu=Фl5J. ҄!E4|0SJ!Dð(؎ Ə`~)[^,bU|k֯z+UOH6ugBp j+ȟRtӸDin(J뜮B6 K2Г E+&"ICIG_sZh2s*i~X8qg@\a~.qຽ4`GTugYZ7zXZִF!  ]ŗXiɟN$s2a§2M:J1!J4ʗ R^֭Ꮕ%ȜeɌ̬JEx#B9w >~q^we\Rsiȁa]63ҺBM1y SNe&P&7ү>JK{Ւsogn9M6H [{kW~$h Udf*$zeKd10I7) >I߲S-RHrgV{KUNgYZ7zXZִF! JG]ŗXi%G#r\j_hˣd?ve?.v_CW#U-&y}/޺pr8k9hzNY \\|ԉЧ T5=U^ܦ C/ :pJ7>޷͖cSҭZ5nF5>26?kck\b\qA0;a4F ^Z$B3"! H/& OHn!ϺcnD|ѭu'C0fwAh?[ oR/{8oٱ!H,vάGwk9VNˮ ģoCO! 'Wɬ njvl+8p؅?8JE ˂%4'rEw]Fdq o q5mӟq!=sOd__{(sO35vUYW݌wT¨ae2@IJ[>oL7v `6$"8F.G6J;+9?ʦOQ(MC~%<ҏ8J ;uل>'3eu=-]0Ҽ;VUPO P*h m:wn[̨gP[1䵃 W{FQ܉ m#kR% 8l>y$\$^ufv#ij&¬G-%M }cI>V\i'uL[<qĵ.'My{T*[Ďr ep3ecX2uy e~*:G$wRJY+v;f[1`vdŀ>cPwEALm{ppj<*d{/|> /~:U ^gYZ5703f06b079617ef3635ac90bc0444b9d35bc292c2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47 1 JiveDataStoreModel