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   a- DT ]/ Constructor_Funs:threads=4elapsed=10.671cpu=6.320gc=0.332factor=0.597zXZִF! ]ŗXf[&gZv U? fݴnN<ƶ;&ČG~|K|7WX׿j؞C=yl{νlxNI9HrCXNBOGEsk^D7bOe3=ṯgYZ7zXZִF! b]ŗXiɟ.6j@׵|Ix"VmOW#"VrUF&~O' Ҍ16 ߅\db~} gYZ7zXZִF! MnG]ŗXi%GcŗC=a9&b0''&{jgY&5 ­o hkQlD{ݡ%*,N Upif̪OZ6(H˞8@nHLQ-oIK7TG9V2}D>\ (hO陙e׻ɸaR[T;Fm,>@J_;F}v КaP/r٦WKPEl2yq`0^[ЋݻSOf6#ɘkЧt̊pd}-SQ CYD$GxEn)% \wHMH;@VPSs^.c ғ5FzYJuuIe"\n ]-M\y/MA~wĩׁ5pb?d{F3 IT ik,$s&\HKlcP:H"sJnR-9= ^QM3`S|]Q6x ;JsN!Phf&๾Iv8kXB7HoV,ti&^ 'rWem(3&D`Gޝt@O̒(;Θ̀ɥ#D s,?Uk$ gzfj18 >AF"|Vd%@ nA \F]I~>[2mV$ݹ.0b]ܑ .VT- wqHkĩMZ:K-Z_BVL.W9vgYZ05c23ae335f737443e59ecac80b63849be7e58811795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 - Constructor_Funs <<A-Y+ tConstructor_FunsConstructor_Funs.Test_Constructor_Funscode/export1.ML7zXZִF! 2]9 ! kG:yOͽ:oM߭cC>lf}zCg`kjN$+d.8/.ˣ7 ֏0 z;:Di&ߐⷯ?Xb-FZt!B"