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-dT, ]S HOL-SPARK-Manual:threads=2elapsed=5.172cpu=8.208gc=0.224factor=1.597zXZִF! 7i]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)e '-x<2-?Swt;v6"ɻFZz&Ѫgjʌ }QKf{M$mGr*z HmG}ީPt"m1Ql唱gYZ7zXZִF! ,c ]ŗXi%;@ 2FiAuA)ONfOnRo2>m]bJh'T E['qj]똙;^UG`SG(ۭWyjgCJAR~|1zb$NVvS,{TR1\6=pNeoތ - 5G|3ޜWc/f<Dq` 2W$ @U՟48CK2Ⱦ(,̹򯫿7ϟA3wT[*%M^#Hғ-u,ChڠYkIL;@6ܚ7h*wbF3'Ƨ?qtt8F453.&;ޕmKXy24WQ6tq^,ګCaXnь^ AM-@~^[vc$S!jd`lc=+fȾEoVrBir > KY"](ѻˤHP#'&˯^v 7qo]ޅ43+To)۫T&LN\U"ҘU6cO >H\?#u?[7qƚ·fmV0U}fduo]u𺴕[g =0v"=Yb=Z<6_g,:Jy򄣐46KGx1"H*pգaI , X<ȴIgYZ92a32bdbe7aed76ceb68fa7efdc534bde4de997c3d2535d0e4bd099c4cd2accf026f19c1b93bdee5 50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47 0ceea9550733ff99ec76e33e242f61a56d15d9b5 bf49fede8d0df4bf92aa5d85cca816fa4aea4f95 - HOL-SPARK-Manual