SQLite format 3@ . BBh77otableisabelle_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 W3 D ]S Decreasing-Diagrams:threads=2elapsed=21.430cpu=37.484gc=1.188factor=1.757zXZִF! D]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4uF4  9_ـ)CH<(7|􂺟=^m'bFQ cJ6$v$}.#Ղ}T<KKET+4,ױbu'cș$*9gVqvMZHKp4jhpr, b_P,^t1 dоDK7R D{\;UCBЋڸ`2@ƫ :庪6e )jՕҎ4.mas,d-5f.*?MUN>g<ٝ!5.iIiP5%ʃK煠%]`${>^rE^2B[E@`(Iڀ{qGEOgY+ `Q`|CcW̘Cl{(eJG:8º:k%I,A/4}2#*wPE^㰫vHǒr--uJb0R4U4\_< JR'EKF7pXw}"% ׉eE,)05rѷte:0 4\ųfs?s'ԒH&i7:`wYwDr٥I!q[6 b=D.[MhE4P S%E۶ 0쩍.dR~W\T :X÷dtA# y\Z~fh? \ȒRJ*W%i`h[呾COMZoҾ2ԖzW/An7' ]~u(Wpg&"ӈ}SN6 v0F!s~^^ &nnbB=uh+FTJ }fU&\e!}Ӯtӈ#=/Ia|*ʬ#+6Zl9Ɍ l%y =!\cd&4oz|"ZoL4Fk۰ب@Hc O_u=.qepKuRǀ#$0wwKCܴcl)v/gZ-𢔠 iSyGt̽׹GXżZ}GvLT=rhBtMl#؜LCKw=U<,3OsZ-XAi%` UI})s-Þ+i#%OۘJ/[%H T e4w-<C17eg>tl<)Fr-1Y$.,O)w4o+zdZk/~l1o~T_w[۽ /ǔ"oBdN0E^Ķ>na8E5iNY#RFK4x (xۦݳhMh=|ŋwpki5AZχxJ!ȢS{q*ꬩ/ʲ-rygyC#6 gYZ0bbcd5b11f521567bca33d90f05795d6784ef4d48ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c feac82058b7494d758b6085989bec9aa566aeaa8 3 Decreasing-Diagrams