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 j-L\| ]S HOL-SPARK-Manual:threads=2elapsed=5.138cpu=8.140gc=0.256factor=1.587zXZִF! \]]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)a=ÉMM_%f81ZEnMg@u>LD#1 P]CFsmvg-x^Sv 5g U#-?pd\kT_"UgYZ7zXZִF! ]ŗXiɟ1'HGu C),_Daq(4_A͍ %tP;#x TbU'*H# f>b]:Y)N1/jHD[F8g_(U+16zn7h~mgYZ7zXZִF! -o7]ŗXi%>gg? b$R BK8Xk `~`׳*^E_LQ.c]Q?veBq54'sxt%,]Wf̲߆m@lҧ:ń 9)$$HfW)+7@3"_H.R[$7r (y[020ƂX[>BXUۅ.XT,`gt?U rřOFM]u(j&0%Y M B%vzH|rAK'i"9xWB},+ 2C&GZg)Chb nU\/R[R[Y %ӉNjppZ~(?Рʲ ad{x;cޱwPݡO7=0cJy3$ST]=)ḁ"ˌmbev<06c9oYS\<8*Lѵ>zʌ\NN)$B|XBf6}1jcc[FGCZ=?gYZc34c32bd2d9e4e3c1d04dc87ccd88cbb692f36bb19126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 a8b913143d0ad435dd3ddd75e7c6fe4f2063f171 1e954c8b854259466a0cc12fa5abbdc434638964 - HOL-SPARK-Manual