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  o;D$4 ]]Stone_Relation_Algebras:threads=2elapsed=56.277cpu=103.640gc=4.460factor=1.847zXZִF! Fv]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQTGKXdRˆd00k$ [ WEG7n=JTS==J^dm{}l1L"DϐJ@=6dryf*OT9fH5!RKݴ Fak n&1ߥ4jg nku˯G4hyYdu:'RU8ɷs'$$=OTbibrjHx!x<UςPB*8gf^gK+"KlhN"Ѵ{u>:1 $- &^Π clqq8$kH &<֧J@{1a3k]pOмܷn]KXr 6D6fY`O0,U~s-:.[<%՚| OSEƿ`j5t#4hG&pKs.1G1|UXrp9QzN|-d hOWZ{8gಳ$ mb2tV>5͔Ɗב`!ߌ++yx^q )鮿=};d|IfB4/w5c=bEz `.ZCi6bJC%7 !ܯM2޵ԁJs%_lyk_ꍑ=>l%~;#Ku#Kuݿv_6ts.€~;c>+>JO(!}J"GM먡 sq1#tM>! A[-ѣ%NFSi=]`kOr}ƙ> m9w.nI=# 4/ d$"^! h'F7Z:z [k_6RoҤ!OL&Ţnq{j;mؠԟIq옭6'Hz vVVx>3:Az8 >XXc+0-PUhit4,7:ga~ZkZsdfj{V0LbjN< )Me9Xx4~eJ}Lmia7 "Syi0 9?XmHrH4ong =z{=KM$yr! EP]IK4Z f`^80v(_ڇ<67_i0RXT.Lԗqa y.R<}}1HA $B%0~ё90B2À%:폈wmC\8x(c\MqlK5F?-jBk(=8vMQu= ܐOoK|e(_ gIW@rʔ:ꬾo@rU[%R/@D +/Ѽd"~]FQvϛ"qKꯆZp1@lqڙ}V@#|M7V띱L}(wm^t%_rNZ_D[t_S颜Wp\Ug{('N)H].O\KQe\rmɀu$  R<nE]ȡvf- {~kSf;N\'gN.!E\#S@{`:P=%S>}8v,B'L_{F2OH?F'SA)r4ֆ=!l:Ϭ8ꦾV0r{LA%h!j.S^ #f"S!18Ca*\:v;>$)UYI4 K_`6M-G4h-Xs޶19'D I'o2-8RlRD2C "E2Ңi81ܧK\7.o \*dGfoA @lbq`>ÞO|ϞAJ:`YBB'8EO! {P-"^hEZ0Ku 芖!MR|KN@%4{'Ÿ7`Y5Oj[fvށe%ڕ M Nt%f.ފո ~6*wǴGƵZ08u r3"3Z9v4!.'ߴ@bSd(@>.΁9 ׅH/TMeM++;,)z':0W վ@ Hs,G)Aޓj, n:4t,AH%*&@JdLq;+ShG:է`m#pJk%V Yp3t!,5aԓherh: dm!l`BPB&T7O %Og:iWL9lמ] ,n<vv:q-;2IY#Z,A4$/'$]6MT\J\l ^#I)((,b,y2-@j&X|7mc撻)+=:2,RLՌavE6&r@'MCj\lpJag^&1w}DoU5uxt, sEw"c+}g`^r+w6Jt2L:=/ E~zi;!Lvh.E7;θ 4IJ_l^4+g33HymEv0HKtϟ;\p=g9АxCP }`M:m'k*븨JΣBPz=O^ j\?#0fVSfQ}P #`RQrJAGW#J{wQcYL_*"澷 gwn|#$\ }䕒h_6<,-G&GQ[k3P! $Rp(^,petHŊֆ.h)]jп 8Z|uUZ_}UJn"ug-^#Ai^ǹNsu4sk~lОt&f*?$`ωN¸n@ GMUE~dS|[MŖjO, gxNo+b)ŷ\lh>e{Gsx٤lP@a"9ɖNV1Pd2S