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   e- DT$ ]/ Constructor_Funs:threads=4elapsed=10.680cpu=6.132gc=0.248factor=0.577zXZִF! ]ŗXf[&gZv U? fݴnN<ƶ;&ČG~|K|7WX׿n$aǫ~gAͣc rdIyI_:zw(e!]:-]2qۦb_2Gga̱gYZ7zXZִF! b]ŗXiɟ.6j@׵|Ix"V|g.,ٗp$F v*@)u W@$Ê[ݖw~} gYZ7zXZִF! PAJ]ŗXi%ES3(5H*v,^}dYhlPSih^+_4gY;Z^,^d|,ЖeUKz씤ߔ)_?RrҮ/p%/f%D:/GZoaM_-Gٞp^q6 0ۿ`I|x> j;a89ʈ]KJԶ#(Ҧi@d(z}]SaϧGS[ dox4 ^CXgl< s\ DUAmӅ*Ǘ b$ .^["f14DV s-";a0w,ʺ!~4h^[rh1=zE y@3ChD%.Pv yNkQJ9p5`>C1?L cY cDYP`ǎ?"S;bx =zEGq You}]çd<a"|͊3}5эstN_ze/HVw7Ѵ+.{ e#$O9YㆌԊ?Q~\'],%6A%gHv  }6L !.vL<sڻXZvI+ '+H!vy">)6  ^:עFFf7@8ԼeSLl@7jV_-2L,t&%Q?8ӿ:P%Ijx\}FJz它2qmy)LL㲢"w-ÞU=/* e8cCEamWĨ.x[*7ׅ{%4q( ݚҹV6uZL@)ی1e;WxzSȈH nʦ4/`avQ(+9n(5 G׋}#[g{Z 1Ļ4MZS%hwlw2d3:ŰclT+h$pk*%5c)BR)5"Lp% /-/gYZd599e491df8c7c501a0e2cc7a9d6e2f8a683261076b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 - 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"