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 8 ,\L ]S Show:threads=2elapsed=39.048cpu=62.176gc=2.636factor=1.597zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFFRe ,.vh[rr%m%f]ΤHF$B'^rn migW!5oE.LXNBnڟ̳1:2qfIB|)ꘘEkfG)r^I̬6?la۾.i\%BC]~S6 }H_;«]Q `c$@S&MTj+ 8 } [x͠K/hnY}C9SH]{X)nudⒾy s6jVnqFy=kzPo Hpbo)֛;Ny×0w3"phR7&rJLUw~9 >*Y>,x^xSLi8DiH=WyWSհ$eR_,?"|p3`>Usmwi@\2gPpMHA]*#޶k49caQRbKvOĠWTL'~:ju%* yVF3~K1B7j2wUy;NV|é*Æx( `%h. mٞ:a^4>+Ы"f7]H;iF<2\-gYZ7zXZִF! Q]ŗXiɟޅ*-qbop$:ƛΠXзX߁ōNZI)i\l+e'o($}^ہ_z˱3VL;]{P->ۅ@(m>~3BY\noJdJ{doCHZE>y_֘ÌTD\YdwB 0vq<6N-gYZ7zXZִF! t `]ŗXi%>g*OjS Oi0Ίѳu'~-N]I]8 ӿ3sB&?Wظ).ͤ9EћZ8oUJp穀aV+.np-][.P>tyI`]#൚h^!4VW= Jg-xT'dl\vIs+/v۲K%k v+uʅ5ژ]jnT3,r 檶sf?P{+AzCovK}! x16vpXЀBx?;2 5UоR ^,U/`٦n $ x6#t)óE#Ts%)n*սeo{'۬sa1ÇNaCO'\T{H$FpnLP LMBE|G$~nHj]M1w@BK Dgǀ,ICN]J!rtC.TW.73">9Kq}'_ zs`͑SOwnsm` S;s٧5Ai͟`9$[Vnj3/>:?RWtWfG&Z0WN2a9v%#n*$q`1Rv; .b(:i &DhU7&bb)+ҿ쁦S >sY9qT1LK = le 0Ebā3.xUHG W|[)7}(qQx`%5LAKG7e3LYl3%~e]}\^ނ@&= l|vraI&OXϧ /vZ;O*#?;d>h.ɖm_w08~1;5  U"%0i<@Dp4X@sbNF^]0XuYG?@& +LRT\zjR^aSba6,8d+.Uqnsv@g~!\ˁjqAg]TMz M]12Szfܨ@IJHI]۝9zk֭8^pPVCb HWMeenxuFDZ $:Y'|)Vig}8Z_`vBI 8mrA4/'Λ12^#R6D!0TwgCzшu\\'S8307;iMt_g~!δD"|D _" Ώ:|l8Z3#wCĪMz%!pŒA7yxӆsPW KF4CCU +xQ˻fA㺧 mNjd"Tf-˚X` Ype\kjɜ#;3Bm=ш1.Mc#3pF!a ψ'DA(~ ^#X)I,*Ln[ƍ*X"2 }X%Zi)EZ8{ŝڂgGS$!c@́qSlw/Xq4GtH݁ LR5E{'@Rͩ+4x~H^%&bkYmDE-ilOgˆ_B(ΡV0+#M% v bW*>!0ޚU~WP䇔Or7OݢP!(zu;DMJI֙s$ò_ H)p_mRTtxd:![B"Sg>I[7%W Ƙ2n=Ny[Qŭ<6x0'?k }FM1i x6r+X G'RE\DÞP+{%':(@$)ϮN-"CvF- ݖZ˒$_FRܺA4Ũ wq[; cZJ1\;ׇ/@'-4 բ/#zvST򆛌mɲ+lo O*I ]7d$, N.zS|·ސQ;XrF0ssiˏ׸]O\FAߢ+r4*ˢ5ዋ(N/l_an{.a+㷩lJK4cf_"=% yL@8 h66,DK~[R0 0PLMYY_S/j~ɱgYZ2778a0e7672e1ba40cb96faf57761be7c980f906665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 3b4cafb28a1c1d3a9ed20ca2f10c48bdfa07aba9  Show