SQLite format 3@ .0:  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  / lL$ ] POPLmark-deBruijn:threads=4elapsed=14.579cpu=49.696gc=2.336factor=3.417zXZִF! 1p]ŗXf[&J3MRag)-C Xʉc'~ W1w PAjٜQB 3-9QOX.[^hT,à4㨙8ƖP^?Z{#B}Q3f;úZ. F[TTHC2kcj癒JؘFh'Cr .v nπSN8Qj*2""΄5(a)'QmAĹ9w.)5+NOUm{),K451%-9h [MGl(SbFhXL€ 8G'AzH P+Y1Fk}%ެq [NLeuM$yFO<|Vo6ӕ.FVjqT_:*6p ZI nJ~)lg}" Mf+Ahi6l_;w7̅+u7\(PoԺ{ > 2s A2̇[{ ~WJ D}%Zڱ-Rݔ!8i(0L.[`LvZ]{(,KXDa*)fgYZ7zXZִF! ]ŗXiɟT{F moEhuFw~CܓY ZQBfA)4iobir`Aa9X, z #pn=(j1>{ <;f:YOS 6nS!Z{JQ6LgYZ7zXZִF! jL]ŗXi%H7Ѫ3*6&Abƌ`lzLXE=Naf4"x^[}PxI vM$=o!% q<$rO=>D31#?ew&Χy!OZxMjMJhg ̷Pb\u41Sr y k/.9Lю>1+[Ӹ^o4y9nxMr3j{l4$]V\3i|zwٟ17}rRYUdZp?汿ć.ߓ&K΂<M@[QC- @SV:ZMx&0zH%*RR,<8}D^U)Zr>A>`trfꑄtMG>0m]y0mE6 :`kiQ2П4eV}7 K}+w(yB膄F*@ʟ 'ywWBսwB g:d0qx}3lV\? 6x MJAPQ<{!PCˢ}cnà"F(Vd9j'9(d_>B^t`T/(^&Ynb4~饼oU}wZ CjZqKXWbaR ^mQis4F(=mF_KH`ąY Sė9hAo]@3?;:U$l??:1N+̈Oݩx>")zV.|\ . _4/g]OnH@ϓUp TJb}qc)TJYON?{o?B0`nxG 5kw ex$C{6'i|# 3asc4bWCg|8byY22ΌĂ^RqQպԉWo#7WpGFtVRyAO/zI<UWYdN>/!:VQ6bW$}r \~J_[0<_TOm#MOgYZ2dc72af3f7d80759dd948da7d8329b8520a7e2dca3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 85abb972e33d791a56eb0ae4d28a032db01c9061 / POPLmark-deBruijn