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 {1 L,l ]/ JiveDataStoreModel:threads=4elapsed=9.585cpu=22.432gc=0.604factor=2.347zXZִF! *]]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/H ]ٚ]1(3s1o>܀|W~=1h-&O'2ш}N831 y/c(>xm{b\6ԅ:֝ iJ=i4V85>c&=G=̟bhA!2ǎ7E,j4ZfM{Y<T6}AB'ۢ&kM1c&NiV{ޕtX1e!טm?b|gYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^ݸD@';1 c;YL c_łМJnܿ EƄeЋ u5@qŲ!öM `[Kk*Xa"'G ^ƌ?rV"r_ηjŁ._PC S@%X7#"qb1<{zچ_z|Kd;2B/Si_B@Cf ǁ<gYZ7zXZִF! Jo]ŗXi%B۾2:F 1ﯾ Or",^c.cGYWzRP~Lmv6[C5bCkQos4ҸcØrYPUP"$o Q {y.H9dg5P,P<d3 %RAG0Hf^9bn g(Wx}jT@C%@SI)Dw}'׵څ@P`H̦fBNi)ĘU.'c:pR3IΟ͎+)| iNvW$XF!vYh`f%\I~^Q^$<|kVm菽%>P᭷oߗX*JhmMd6e^Z-R7BIa(k㏄ t=tZl\Ium4rNKܯJYryA۵s"lV,q CTV(-5nwZ&'Q~{ݬ!:7~?՘}".)]Ӎw- wsl:NI }ڹ;49'5$(N ^W"J0>O9;m*f-v_ P|./VE"/X#r)6!eWXc509% iྵ&Eђw;Tf^2g ۿO ~ &5l i('-IQkl!6䬍 X͔Wմ15>lAsgrQ^lG{ÒfٕCc-ڰz-yt;xr0ƠH)iԑ:He@QktkrXkZF&6r*=zˬ<˪lQK}xjjrlkCF{at0,7Fe?jw>v9yͷ(O"+LrttUdpH~ 'Fl$l¤O6l;SIy.΁E/3n.cZϩz'vp@0 qy./ޞeJ]D@;6R)V10Q&{﹙}ǥΧ3ϛ2j9/wt?ȼߣ}brf6Tז A ggYZ0d48b9ba03c09d76b1113569117c98cbc1a75bd976b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 1 JiveDataStoreModel