SQLite format 3@ .;  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 ::C1 L ]/ JiveDataStoreModel:threads=4elapsed=9.802cpu=24.400gc=1.200factor=2.497zXZִF! Y~]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/HT#o]iW<{9JeD]_FT@ՆMX+YMCqї9s[Dru[Σۼ玷s٪]L75_|v y cg#u$0M:@s`W[a9lF3;`$sCJ>K(4& $2>ͯt$7 ™&^כvѥhi.iR fՌp,HU#DP 3 Y?}?촽0# @SKՇLq`~ )amgYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^㖃kQ wG̶EGgyIX[ zm R!Sۺ)}r[ V[{Fb= T6QbWJUn ZBY\5^H,(ÒP!Pj@k's2{.ۡ=(-.@'nѕnSuR~,Im FBi /3\C5:QKgYZ7zXZִF! M]ŗXi%L S%wk_p ,|%cV {mo4/_qW, X\']QiOCeZ}AĀ<0~Mg d)ӗTy =Sj")Vu-hWRGaW]I=~X>#GrgO/5,?Ů?c-r<+G'8 !"}F^ޞVB-V<:0F] Vh Jig$e !aUw!Mh15ǣDOCaJ>v?z%txDwZB2YH)3&|^_E/1no'ՑLy|&_V)tVj!\~/?J#g(׊O5mq~|#|\|W'aGvg>9r۷ }yѤ$4Ύlz%_aM˧֯g/[VWk7پL־~,1I0QbM[IMejۆ&9(%AB ~Z*?Z0sEbwXUЉؕD~ڍzh.t$Xˬf;UO[wJ<+zD@L<|gLDPSO<aZ0=(Ѽk+,m>Q`Ö5m:aU^~R+3:CBo hUe9LҴjGK) MB QM7X'ADݖ2SgI2N]4*b8l߈alJDr|$j.!!W| 3vt@5ugKD#W'|ck:rM80B!m{Z45a]L+mkG%(m4^xhː jm}I68K# Y1ecb:ySy~XFHē{ۄO*u}I9"4LSIp$Iap%9"|ԥ}}*@1%}u;50MpYzlaU{69,IK'N!|0*W_/>zۧV;^)`ٗZ t=Nq{9>Zty"vki> .gYZ9082aa793731325b6dc2da432399ce2d76264809d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 1 JiveDataStoreModel