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 qq - d ]S]Relation_Algebra:threads=8elapsed=14.871cpu=54.883gc=3.195factor=3.697zXZִF! 6]ŗXf[&&AINxOforZ>Q#P1?J0  B4waA>'qʽ9 ?r2-퓏(bC%Älz?:yY\,h/{4!fWdʉ,vV}'p `WM{[Vq_rlU8\r5 BZ?1xr}n[1n9m>.ov\:34!j',n'K pO?I0PN`ꀙgGŻk.O6Ba$@;&6vh([bu*泙ww~D$0 K.^%i%8 ȩ@ot|8 (T+w1c rڙ1(/#15{.;P7D_[D?$nf՜-`My5,x)q1͆Ly]:(G LhTS3K6&XszʩhzFy_윿O#(^k!|cK h_վs?Rp{>$13,n$i#Ή\8q#̗Vt3EC-,ۧ0 hoqWpI`~\hTꡭ2xøR%"lP,=_u1~lxe#:}y^ϣ8hg.%Div_"5O6ƾ\D^^xOISkv&qR}᳑bp unycu Nڻ$Zg}1,^3kbu) tse*]b q!ohL[|hM{mS^3䤁y2* O TQb%lU^N8i"4,Npd֠}wӾQy+R[{ITP ܱ+YLt^]?28%L;ėEjmʯz^QV i{8H'2`QkR)0q"%weJR!&د%D>T近ZipKVx{i|6 vj\ }S8$4H%7QGMha=u07b̯PcBymqK}55/8T¾8z ώZFf)kf.P^ '@XӾ?èVA ysOSLX^+.f>=[G4Gv_=PM[MlpY33hrc8z ]bUVO%IװaEcy0!*TFV)%I=tj5j