SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 , ]/ JiveDataStoreModel:threads=2elapsed=12.853cpu=22.320gc=1.104factor=1.747zXZִF! ]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*5L'{6Ly>"˄-sN䛀I*8X .}~Ş$י.f8jT ^M#URͦ|8GϑJ#g^^Z+)2hd4 Bڒ L/] et />q sUY=<ąe.T+2RTXb,2"띉 '2p&?_ 7LMDRw(fqh d:}aC![ ^0tRmD 𲝑 ]؃9glo4Z? KdGg*gYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^֭UPke/F"n 05?ہCSh(1-I!; R&wDR tK:yٸ?+d̛gE> c˶QS:zlph;P7w.P߆ b7:`;d<u}g˘~vn%t,Yo6ʱ5SΫ7ɍ\ Sy>ǚރRv:mHǘw? QKgYZ7zXZִF! Ok]ŗXi%>gPo}M$-y|Hrgd yM7=076c5Ng ,l'œt)WL_" \f3^S"Z1cUYJnx zEa}y%7lAS@,qV[b&-g>y5-Tߞl`J13OUBͅ, pT<@Bd(hKO#XCmk34*buJp5tμRQn &>Z@קN9?:_:>8Sww9K!?nMwyg)ܼC?םL@T.тph=EBͥg^Z uVB$/+mwȼ& Zi@>^%uzevjzN6Eߺ$'g",! x2'J{Y!Ѵ2WϑهHj~TRx2E.Q|(9b{@^#YGb\13&E1Ǻk!W@ &ê_e8־I =!>I&AC4Eϔ3ȑ'am)VZWy.Dv(+V.|~k"aY ̹]B&%/Yȫ/ YJe"Ruqls_G}:{k7ĩbFg\$H|~FIJaqA;FaΙ\=4:좬z}͗3j6RǠNm Zglbm^d aM՞o|jYnSn߫%Dn` QW&pbXMƕK)pGVl˳;Yځ?`?ch+z,5l5j/\ r/73fou'"N$"ci+z.C1E}L_W"Z{`ľZNM)pGW ,gYZ173c6184f0b0fe4367eafdf502d603bbc1dab78f0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 1 JiveDataStoreModel