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- DTD ]/ Constructor_Funs:threads=4elapsed=11.215cpu=6.332gc=0.484factor=0.567zXZִF! ]ŗXf[&gZv U? fݴnN<ƶ;&ČG~|K|7WX׿g/E$Jj'@FO\,K7.D(fj[o0GWF^.vKƤ̥w%o*ӍgYZ7zXZִF! a]ŗXiɟ.6j@׵|Ix"VE?1Dupvms/9o;U[`r]cXPk'&^PܦM}cY?f}RgYZ7zXZִF! S$Y]ŗXi%L S^?u >Nx|%tE|2bA, w8sR֐m@-s΁\+:1Q.u%PqRߓɩ{iηW(9ۄq'vwp;mAс$g/tM TuXTwTKU$%cS] 9voEEWՄkVW8}b""\lQBЮI7Y#IjHo[bU }>ozOZ̮hWeoBev0/u?< ].'㤴E^n`8?_Sfetb[ǘ7 K-  \JB,(* 0DI%L>x} (dL@㈈fhr{u +s%@SIdt*[/p *W)\ uu(ԪL,__qjÂwg )# 9`h-Q Yr}ܼAfsJ7=nd%a$ˮ! F[^Xu$t"#w6p zU>~uŃ h*<# /zC g(,CF!!C`+B:V'YS]㞌71>Bӹ)do! p幆QGݢV_e~^5 &{򸆘TWIǎ*|{|_QvɆwqG3O ظ+ӿ 5^4%aQuNݏ-X/$jn@T3Mg}*YkvƇ/iz;}׸m&Jx3,@Х\2Mr VJcw;(Le.|-Qg##qҵf?v ojÖb:ZogJnhٷWYPPy팗HyRF]_LK@Nj<, Z:,¯Vxz41;XAC>TѻCm 5]XCO $%p uփIզC?@ װkzy 5(=Y *!gYZ825988b5b637fb28d12722e1518fbde2a09673b8d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 - 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"