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   m#  $ ]]HOL-Nominal:threads=6elapsed=6.203cpu=14.236gc=0.848factor=2.307zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮJ8t|n=$DA^>UB&RR4lRNCATId٥x[>m>4a5c h^vcM\*C%͊e]A6hE(Tj2"92LyQP^FGF/n+w+R\*"ILWpaO|/-(4;Adͼj @n0S[V &vW Õ1N@݄EQ/R腑.7 Y@¦b1\(1r!,;!ΪfUbBw|3*-\VA gɃTmE6GWlkHkNz[e-Xۯ=/cq^#l͏u(Fohٷ4[>٧_zU+Hd3 qJSPB-@h =+áo"p%U+>oM~/?ZG8 'qg"lя\~*^W.''/*xzʑg}Sy{+cG};X7½_i\|iTS {xR T_ɪ+Uᡪ3jCnmB?l;* ux LeyfKQSAo:J@P0;k,c^uK7T -gܣ9i *iK4Cj^k < 椾>dA?֞M `eNNIaB6¨r[%ufEѝ2nN#<{LduSUn"oLbT,8] u=qvj9/h!gH>씱gYZe9f60ff86a661e5a1610f2888c682bbfb56d9d9a497eea8787938391457661acf0f01a612c4d3497 182c5054259d818f89537dbe8e9d95f42041a820 384dd6c65ff1e3bb56c057d48994894bfe7c8f8a0be212644b5af3823ebe98b1ae2a1e5c78fed7fe # HOL-Nominal