SQLite format 3@ .  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   u# | < ]]HOL-Nominal:threads=6elapsed=6.203cpu=13.816gc=0.880factor=2.237zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ2P lj'o˓s,q$l5@c8ZKIu+dGY/&qJsz-GuˬQx!SGԀ8(VWZ˞HlJ2}H&g[ޯtыl$q%ԩ!c tʱgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´qBOH5WJ ߗM@by1`I'{J}YZ7zXZִF! #]ŗXi%B V Prqd&-ס#Ėu/ [P71-<=~\}_r0l,l8&]eбZMč7~|_-®GZoTJAw?^f]k})Q6N}{5_ZM1E {b1W&ǞlXUUdfNy:IKWh Q( uW e~Poւ.3Թ41b)Kڰ LU/kq4=G],2'^7t*>&p6b-oǼ q_6^3SAa<.lga1EfCQ+c9GgYZ32ea4d7c96e7ac2878bad1f4f6d8325cf241fcc43dd106b0fc6e16ab72e3261eac1cce577c86ae1f a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12 7bcd5e319d1ea2a2e971c6dc7c2c7fad20f77d9214340b78f50bec6d8f64a182c8e3bb6c681210f3 # HOL-Nominal