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 ]]HOL-Nominal:threads=6elapsed=6.119cpu=14.364gc=0.676factor=2.357zXZִF! ~]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯My%Zד:Gz/[BɈ_j纊Acz_ j.7r=䗳*W"8U #m*;äZb[=`UVHҤn'Cmg(-~zHY}F:tI4nCo $3,ձgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎҌC]Fu{ZY7r-贯^`I'{J}YZ7zXZִF! 5]ŗXi%@`hI_}3}}=٦\{nYmvGbu^ $K|P#h+Aap6&t&^?oN(~BGOkWyp/W'w aJu܈(=Yj,(`Eyj*%rGP C~Z*D8[ZT \3ϢHo>^t0?ui_Q, Y AGS5mz:QFS+O ;;0Fh VxF@be%;a=X8^O_ ;EѠ* hRzI&d}îZsnvTXU<`!. n6% g&r$!Qs+kv2k~T9KjJb{5a"h[К!ns,m`5;,I`d1lB];R!Ձ駹&pZ0tI]=% v4'5~za=vKRde5۲hwe8 Q|Y.F>)HyajG7O+ ʼnb,|>B2:A*m4K&ҙɘqƳpPFn'>l9h/1 c%soT\^+"~zg^vj3z%hp2"U\βۮڠd& įY"C[R9%>!X-gYZ7e556e03b1546b726378981d6d6ad03d8016441aa3c406ce68cf4d9866a541e48db976c61e0e5644 6f001823600a7b7a26170a48ef13bd1808146348 1fcbced66af35848b4211b53d0e75e682d09e06a018f7bd1272b8cd5453e337f820442abfd06c2c5 # HOL-Nominal