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 m1 \$t ] HOL-Imperative_HOL:threads=6elapsed=43.285cpu=62.488gc=2.024factor=1.447zXZִF! 0]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi{3dARIl4פi&j7wE>_Ͻ}epׅ[g.L2ciJKS"9 e*/i V%0N![AK$9[?$Y&Pp+6u:h3#Bp"!WbH9Fzݱ /U+PCH ia-Dٻz\l^HH]߷8l'>5<ufxrhE*3 1 HOL-Imperative_HOL  5&A%nȷN1%w(QVx^C~h? ҕ =3^C,6p5*P(8e*YqD9!H1mg[ ’5ZAxIckʁ"lĆo0GA3&pQ4/:)BiT_NE!n*q&\!4ڟ;AY1X27Z^BIcᝁ:z[3uL3RVK0C qz%(m Ngw퇈bOe|.e}\(@)>>t/_@SO׀~1d7AT)%4HNqwԒȥي4rr|2\3/5n |,ߠۿ?Ky'c0j 7:v4nB=Pqumke|B3y]p{Mآ$h Dbtgݣ1ճm~.Yu=$h5#CJgl*H~r+Pd-/E'6잆lGV` i vEgYZ7zXZִF! ` 4]ŗXi%;s@q [R]R͊]&- ;uGÌ),pc<;gKY;LJZ'5=0">_hv}iӔ2?/z4뜽~wInޠ>L9KI#ow^v92t+U@eLa6l>46/el|g a/e5'OjTY! гEre- ~(ǎSi{a[ۡCoB!ۙP{O]ƴ"(?UN{F cH\Bx\ b,-vS.9G9' Po3*S4`2۪GSթ?Vsp\t<ɥn&jvLϡ ʷS3yI᧵Mp{\R/lbUa-h;0W[0e*~ Kf]V,gaKPn8$alG ޸8B #) 0]׳n 2A@)o?kC|G#@`iqjmjŝQ1st] dU5 %Bbn>5w\Y9mbۡ44&s_BFb9 MQs})PX)f;  T^oqklAQzIr&b ߣ5k\[6M)<`-]uNIZ_a{Rx0>dћ jv6ҤTf{K{J7~4jc^-[Db tߧ:w"+)c?E8ݲRvsmP+/h%Qͥڼ^iRE?ob8W[\JݩS<9m~㼷N+%v~)i=H@.X ecDƩc⦟rq"^/(5'[ڷܜLԦY%ekejC *z#=5() İv(DI_Yk+^I# /EM%O;*o|>S XiW8KMsE gjWRPKx@ʿosʻ3!ޖEc;3K=BɸoI$GP@ns%&sthDn{ ˩$$4S‘RuG-+ݫƛ'ݦu ?%c˚* _j@|zHxs޽% vb+L3ԃ8z <[nUnP!{ :ȬO>CT@QP`N.Q{9NMlB| ;ȚY|ZQ`yX !2S %vWfZn~c7}å!j!AI=&Sjpev8kb9m?~j>#]|en]\& n`:s"Pߣ~ DQz0'!hO5ᴿ ³59AIi`e1~É%RkaEuv,eJsIU?~kgYbg|[/afp>!5c]oUSSוw `#LEЏ\K+#\AURfbA/3wH֊e9l0U r=OhLvr=ڨfEטaHN2Yr'}>>A$A vU*CkI2X]*ך.V(T얭ϱݻPcS/"JUJ=ZvdRZ_k?U<(XpA3)z|1o; }YTgYZ9bd081a2fa8d29599aa9ed5ffa7c58ae168bf0a02b741fa2ed8a0e813cd5871c2da862936da19705 9f48442a01b557873bc8bbe04241e035c7b55e33 95f4974c65e4ab5e8a96b646db7d863420f4f2c2