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  < ]/]UPF:threads=4elapsed=28.817cpu=89.220gc=2.944factor=3.107zXZִF! {]ŗXf[&:sFqX`xPׇ!98|:f@ǧ:k>fp\*] l:F 5`W)bݑ@b:3l*HmNq+^LɮoЦ1,2?G[AS jH,/ӏXI۝.@&XK/T@B)Լ ߀FnM!fxdv چlJg-L[<ݲ:79W>WrT0;dU!_҂.91*~ɧX)0C4pk:*`)!-l!^B@kڌͪ7"eZw\J1!k_M0/nUS\axRۖj/m޼,qX8՟`U,-N {lG\3-q/zl̿PjLf#BȜrHQ)"bKg@p eaId%/QHtTMLꜿFr=zҘ7Xw$ٓɵ,0*1C%0ɔ55>2}Kʭ@=IƷhQ*N@N1I , *ć*gw+?aTw@$VT|[s bSޔկzlݗxNu@n#/)7]oE`I7TQ}I#0dž=+ǐB)(USa$bG[lMH%|1 DP2|DЕ Y$gUbzFAD$K@~:a W<tgYZ7zXZִF! ]ŗXiɟܤ#k0{/!xv,tI_/l]n8>t] '/& 6HU.`_1oB%ȃo֓5$^7ܿS6l|o{-D< n0+15)T7 %>n"!@t[rY:ģ:`a_`z|$H GxIn8 բYRS Jk7ޗf0=,'I5t&JCgYZ7zXZִF! S]ŗXi%B4y`b`7Eo8;܀,afF;ȎtQINY#iai!d_G^3کe Jq4gT!>BȾAR\T,{uLV e<]7gì*Na,r-1x`efQFZ-ܗ}'$ Zک%7%Qߓ(E|<>,]ȑ qP=:xEujX`ݼ7'[c*J6bb#jfK 6mWRL'JHEm'bb b&}݅FA:GIqun5l/05kWk ]$`O351ڝi0e9lBMQgLxZ̰(b<tݍ1r7Ŭ"Au(?ij ]nȶe bpŊ:dρh@lݝo;|iXn g:L_@J0V.ǚKg@((d3bιuf sU~,qېJ |+%rR=%&T[L,EUHq5QlC\L!mV`y=?|{Ղ5s~lƄ j0kn6V/7d* ĵ>\f>jJQIr'sή J\] OaԐ9%R}x';r>|%y'3`ҿ vC5gG_&_8ٲLwYRO_Ŕm GdBT 3e"ǝ9MR">B[#zV>Ջ1A$7vJ.f@ y;#̇a2٪$uYJ#Y [/ղ⻶OeA!Y>6bFQOirݩAChfVKhū@#?CV nN"%59 Ǿ=G<[\rI0g;X6M*KE>}>ļLX?=ky۪a[2!#Hx)iƔ Tpled~"f`k;K&ޥ(Sjzz<05X? ; 路kc[`DA~o=`.HJqXGÓɸQX1@VϚ\g<7v-2[c zۢO7~" w%q3B1:A?/BaLC] V[B/ ^Kp.?EQab^yp}ΠUztI#3MNUIQ(:[_'^dlGF_ʈ]׮U%A_AWsvũ{\D0o'YKhWf}k61X߬\IŇт5/_]s hWR.bԑ#NKHhdOJTGz eݺ8 RbԆPGqsU|T^gjԯp)4w$Q/W݄>+YPe|3:VB4tCl,"8V)nDzA'zB u9'3;˚hv{k^ĥ3@=Nҩݝ ʊ۠ XDvm8}$R'.x`%2n`(غ$hFb8,!mb҂ )"z5LvKBF6;m/5+91器*KSh3i a,Ӥ-6 P:G yr^!T) Cq,Pީ4.,ƪfa7]ɤ.^N$T+bq=R^~Np^!HU"Dؗ=f{Au X9I4Ԥ .R d2Ȉ )3X?Jul!k:aTV!vP?{}fLQ ʹYfuOQ'~8'h?Q_f4)0%,h ݻ!/, NL lcmj]2G[pZX3_c]%JZr[*jϫ 1,3WKdnq&x ^o rud cr̡3<_k1 2t}tj7G6{(yG<.阼<*j))ϸgYZ29a70a73b7f9c8d3dd47be0f738bd5c0f2f251449cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d40124c8c8bc9f8bb64cd8f77b7eebdbe8e8b35be  UPF