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 NN/1 4| ]/ JiveDataStoreModel:threads=4elapsed=9.178cpu=23.064gc=1.168factor=2.517zXZִF! =]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/Hkebblp>]V8h:ZMTB 5V]r4BVLïȣX:~IBC&*C7 z/NӾu`9DQ9%0/>:07g$UÙ^aH0j]IdZ-?H^ȯ5J:cSJ^؃ڐ4a*tE(9=^>J~c]iX;: ]ͦP!H[ArlJ.YtҤ .K@Cc#v:<2şkasƬ _s_0b 6)9 2F{yz9@^ 3?\LT$EgYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^ՙa GN|cB vg[u?2YmQdI}~FAxa_`6ޟbaXm Ψ 4<[~r$܎)`gw+%P*VJdvtJiB>[vGm)xu= e +S<$>N~?Fk>F\U&YT% qM?. FwBk?5@BwⰃSUL :ľ} #C!_:{l=SubK (`\bKu[~n]LzXgZyosSl22w1y^ y.Y.W!K06T ``+0JD/sЙn's566c_ Rڞ]c]b_ ZI!!qߚCP!4W'Q`M>jP[UVcLMxV0LSd ,17"ϧ1^&'OIA:!#E-;H`(|[$I﫺h-6W~a2^ tWɔ-tWt>Po:׃ְ೧YmFlnWaaqX =ؼ#Β=8on{kԽ0Vϡ~$Gh,Qz?ܠм}շ$ݕD.U\R/EvK0,i*^zEZPOQK4mo$K,.OE6'ntb c0wel&H'~~x~@S2fCdYUӻ@Af T?G~Sl5s++y1 {xv @4t86=Z々,lW1[ p7PLF ]߇29O l2n \*K+p|1&XEX2ΧNu+f6y;Ag]d 9nYg*8 o}6YqtJ2A6| E0AKvꇐf!6mh2hy dC4hIZ~m$4Al-E߽L|}fiM;,ɞ)c ʠBI#^:(& ' K#5c *Ĥ#vigaI,ى-!_8XfkVC oo"HL+}XwT5rodl~M$( s}8+nِΗpƹn1Q1drCg`D{|]3oe |jAR_rRd;C5Mr6R.mDgS?"`d/`}C=?1[A]B&Dמ 7 ͺG|f ,} *WgYZbd285eb1584c2f66418112a3be28d9be5c6c9779d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 1 JiveDataStoreModel