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 l/ 4< ] POPLmark-deBruijn:threads=2elapsed=22.605cpu=41.804gc=2.536factor=1.857zXZִF! S]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4L[3[BI!:ǿrg2+ٶ[k 8,r*2w˂,3\z`zF-gO^H]U¢OLX`j'ud{P|LGF: te:m4zVGTQGOu 7:\)2g`i!a=3{/ KyՍI2t+(0/KeTt7CgU"=El=@9@jD)1\;$)4D*U&wC.Ys HQZY-ȶ:hF pC=dK*G)ȫI G! \ S / t;6)X ^.g_ae>fo}gYZ7zXZִF! 0:]ŗXi%>g IZ!Buj6YRWerI<8g}1O=NE9ZK,Agr]v{9%#[ģmT\?֦R3}p⯣PƢWבP`>?Mk=QFtjKT _WGif}Z b n^@Ӫ˟217%FYӹ}Dj[u~Z?rD qZhv f pJ.i#(vO:U<2BǡLk آ7t"HZ{ Ul`\?4EbGEuDi0iB> JJÓ&g"l%YSmr )ӳ/w줦P8)wdTv'S*y}TfO=c,]A+ |]7Asѓ/fF[Cj5*MAKod#x?c_z}a^ݟelŲ vl*lP/#]-D86$ꀸ>3H`JOzz2 )s̀=lR.X6MZUWvw'H(7g:2tR' {m͟3 *9XQQĦ8~P`*Q.O3VgfgWrJˊj{W=ܡU7~j *\\Lh2+U@Eao~ l"f]ov ,S u#FZnQŁOAEыPң_ƹH_3Z{y/2K# 3E@{`ۭu*CJN}ctp _WO?uc8`.whx+{i'-BuԵN}aԽNj zf_M.pr[.u\yximl[(qvII"Puz5d\|b\6z);@w z('Ӛ.pvO(ز DF%[@J #00&ˡLͤ^Kޱ vw2gS~}a0 01"ŋf͝o#Lm]/o|mLAfǘ XxHjMsg\?Kt f](~vz2ym,:ekP모y\P=QToU*Q痑_AXuicĀ6MsαgYZf5a4fc0766b27df71fbe5f3eb711713170c49766a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff / POPLmark-deBruijn