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 W5 $$, ]S Lam-ml-Normalization:threads=4elapsed=8.733cpu=16.856gc=0.560factor=1.937zXZִF! E ]ŗXf[& n>x렏☢1DM<=C߰U`dV`Pd 9 ΒEbײ3;ZIeeK xYxj-Iw [;]#~xQVyK2\{RhxR\5 < mV.:ZD1 tdzOL`LCL?yÏz(s˄QH|\Q=a{ oxF| Ln(Ӣ(Ie8 2 kgYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.372cpu=13.836gc=0.240UTFiQՈ}YZ7zXZִF! E]ŗXi%B۾27&+-?Kv4r 3LфEfvTjg "/ AQ= )?V]0:ҾtADNUªD bC^cJ^4%D[?l|x)vs8 2l]%6uztnlN?b!AK5 CsP` ]a1uF0+r~h {hV$v-^m`%bݍM/3>`適q&<5p<Ue(\j| H:HJRPV,ڷ%RsCJ9_[]?eWUfoatߕҒ6|8J|w(ۂ[I1;,fw5~y;Mܸ% l `FEL^(K,8޳Y“ SK#z\گ"!̗MiroW ^3 +#5 i^ 1Ε# QW{{ bsrK۲fwsZma0F:%8a[mƋ51dzX>*6} U{#0K8*mI&[d8YΝGc{mH,+Lg>LYO[P{Q=˰vj˦I9DoP )H 츱Nj5fDq)Y:9WQIf WqK*>.k*1'M,Α>[wm[8 yV'FcZB6m捇Ͽ z>WF?Z{NxbFol3 yGaVmi#FĴ^gGkOWl_V2mrO;l"h9hQq~n xAnS[ܕI<[>`eEy7ޑ&J*] zcȩEb^l+ƆP:G x<$a=g%!iihfLhXuhQ>pp%dPpqׄT+tE)Movqϼ}djH%N7%V"Vs^:.bgЙk#ENz^8l8?7$Z'Ijmr\~0뱓 GKJnl O*μ FObMԋ^T{]`knv <DvhA>n6 ]ٚߛTHGTl_beƶ!Toւ^%OTA\g 76gYZ023c85945c6adc1581766af8d8c43af70799db3276b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 237e426a36d1c544be4e8884e33f0c78606d3220 5 Lam-ml-Normalization