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 **K; , ]]Stone_Relation_Algebras:threads=2elapsed=65.130cpu=117.088gc=5.240factor=1.807zXZִF! KX]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQTGKXdRˆd00kOs[d#6Ĵ8Y okgOii~*bVr/KH˜3Jr3۬;~\|8 ˞ob>pѷ><_>rȎ0 i cb->ŌUB.gx];tM&K*6ov5X)t+3#T6hش4H({3Ȇᒣ, a9!?JzcA%ƅ@9@ޫ}e@QZnH<ޭ?RMܙ T}7 n&3{~;0653 N4uLx[hލ.=15>Ede<%\ Ŭ^;d)fUoH)I/w"& Psu-,@jv 3;D顠h<ȏR\LMōf y|㊘8/­p[z{Uh(SqѤrYVxTPV%_/r!@XZ{QCr#T6>bsy h7-DQB~* qv꓄p(, ŢSa{=<$jQg85Z)SE.0x&ui|p-SZ)|š,D,tȓZBdDj2LE^JUKX6Ue틩qvx-97)RVB& `"\]! H"[E_OhqVUA]onYCVި[1G,h%>ag6ً B#!b' J96y12faM ; Stone_Relation_Algebras  >D&=HZbgGLr 70"#+5v~fD4)j8.MBo{XnNr{$Zs:17.^gD C2?]l' Q];8w;)OSkOx+;%<d'x hD%YƑ:]R6a? .7Dfe={e~=[\n7𧙆WuRd(ܜ`UItb. r4zCNO~!̰ò"b#Yz_*fLBB[*,m` dw`7;eYTkvESCk¢]n2,lS M> @WIά*rٲ6OMQ "XK CIyB);Q,?ԜOqT;O3uU h[$xdGFX ئ۔ApnYNqBvH3%*KLOzJm.O(ά@8R#rfHhr`L˒*I5jICve o!8k$ڮ\G-2vqW! ;ig@|[8B]kcg[LnP c)6@JeM7ypidf ؿ0TwRՓrU2jķߖ 'i"rJ`0[yaX|8/3uo9!Hs;XOa\ h #; 5-\Tv8P /*uOǏ"x zdY[{"Hqڳ]Xm{`6A0|dL 6 dW6~ aP;&xZk1 l6:>7:bBِD:4?*y CUg%!1YWf qk}ƺNJ<_{"W{0 OA1s LL=$ـfGRQ*XH%6bXP$_ hqb)[zd7阰g7 ,X7n$},K%'5KNuߊBD~ OErdr|ngg,Rz;l].\X)\ICI~饸3!' 9҂.o1kz<i&7Hwxإ E=Kʺ+<;ܐDŽbG$"@Y%řqS̾`D NxN2҆+-Ȓv NhnY C ag:fkjUEU3cBU&xֳ\`$WaN&=n~^x !KE%ia(d9|$Ea>E> T$j*N[2(t,]Ì%-}R8cQ}Nِ#J0.V  :'\uKA)(^)C'#UJ@_eqRn+MvNQ+[W2;ޱ7@}əpYC[эw4FB|٬gT>gU#-gn1@C =U恶ƃ)س}\dVyGʌ p#q=:9Mȕ+l2:vՕ 19p%'8y}Iśؚ%L:{fyUk*2-%1%j_A yL]V8#HKѫ&x+g2>yD5} NŘi!|Uݮ  KeW6~t8:h# Y3oi@#n-gNߠx ^Sgp߫\:sU@U!FKw=acz$h5ڃLw]v$E2 ݛI/aٽF?9 #vj69QrIhYipͺͪ Hʏ:rq ܂>5cvH$Q-Imq"A+vO ڰ$v߉ꜶcELZn#u9iPo T!?#W4Pw7h-r. E|]^CIҺ6CQ23^`mv #݃3(ؠԝwIL Xg0U03^p:d`Cs YVR= "gn!#0l*#`kcul /(XxgETR`=Il 07>LnFT.QPJin" O@YԠY C3X?VНqeL-N>/hݭ!@t$J@܇w쥇fgIS4s@~ dޡ zrV<V1@WjVA;J!+:V74OTŷiKe yIڈt!idnrLQ/ "68lxNn&!p4hasR;zVz/6cA߅Pa6ڼB?7ӏ1.̽zeӘH.yCjc x9Xƣ*`tC%VeT\pG3=4^h55Bt26(t'D612 +XT1rk ҫ<6cƉ#c\QyBp*+7 #u= 9xLqg?& j V;{@/]=cg•8:kG\%i9y i|nJ|2?XO* Tgz C6x!;G16T$FAwGz˦ϲ,RAf %J%iS"Q-LTlН(1YK$5rGP0<ކl,,MンRX)\WoS+2,J`Ѕ/ 7P4ʤE+E"M?l!7*jљR~ V1(L B΄KLJO[9+Ȁ}VCĭ uȕXk.Ѝ҉+@ksrc˙4`dcYs!Hp gI+M|u'!`=!N^/T«_3AT_$ L8Ar<ժ>@$s®hxr8 (% & -C V*T.^5>Q]ҹgYZ81c6d15189bfe85ec564427260c70466cbd1c55c767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 f7670f89db2725cf9a9899b559bfbb66f9fd8f07c64d218c57f1f2aeab5822b2612d56f6121c0fb4