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;l, ]]Stone_Relation_Algebras:threads=2elapsed=56.070cpu=103.252gc=4.288factor=1.847zXZִF! D?o]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQTGKXdRˆd00kaZ M'cL?]7Mb\%ٰ sFҟ F?RLKQsFia2W*UNqO7[]|zD7H) 5!xQP5hoUJ-g}X7Rg@ j~(ђ$}O?Dk ?F>4҇QܰѤ TX_\ݢ;ĊWMAQ N*nIg>( P<ٷ܌|fkC$Xsz]ޒ> |6 f8^yxl##fv7l=je\Σ$re&*ӫ 񌈋,:M^cRĹZ*Hqx9o=$?#I#C#Bmb]r,Lj!'i ; Stone_Relation_Algebras  ׃ϲ8GZ @gYZ7zXZִF! 4]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z"1suiL`GFg! U{t ]pS-s߫ 8gL?mR:UTH:u$1Ѥ%d"IJ c@@F$jxxjbtckq潡Wsw@G`GSgYZ7zXZִF!  ]ŗXi%>gYG:V2c tPYz5e`}t@EFe@}|o3i2ٗu52}06L،5"vN=g"nC<.z܈/d_N9+I}#Gl`"ZqLja6BS7;]Di|pj-K&BE.1YMbJ oO -DX#ZĽIC =-qZOW@W}3%5$>/^a[5."9a2)aH4P^4 00Jxs$8qߝwh2j!&RUV y>, D=6!ƴ+m˙&E[M?@)_d9ݗ\X/GjM]<<06Ena]Z÷Z? "h4)B> MzEyX8'+)KFSZZ&UnmKP֮M¤Źbvk4&`.v6v[]5LYCǓQRtëSÁ(6q^YGUZ#[oyOoBۍH7Җ&0`1~O:"CI62+[i:bV=0@SOXp Oz 5bVS]+76J:>KHD8O*bTz@>Cynym@ٞꦶa@hP~TA,%RdP萰xҫU0N7'Hg&_fX75(3d2IhA N DB -{ GpP PA{`*5ZdCRӅBĐ| Y2$?z4%mNJ ZjQVoѦOo,î*əC̰`rFPI;.;i#gg|g!Jv]0T._4 ,1aZl1t XZ՗.R:wxeRgwe0|x<0Q8mage>+# 2 gDIwNdUZuƨfwݞl> F.?z9SD%߃<*g] EC7O_KD7\gG_lEqu+X="O$< bdQR`7pqx!4~_# Sl,kJ"1Џ#X_mKN[TMSvb;fJ.ǦxЫbݔګCq&xm&!c8`L=6ɞ$;ra <;Ct"Os,9-@QM)s7(y`LHҲ8 hι|#L'XE΅$  L}KB3.9̓(Y-;\%(u>GV1Ajq+=RkmQ}0S6cbWZq)!'ORc vH=*+h]qKC}1.Kt n⢾NF7L19yIx0c`+vD~ ufm{9RD :xPWȓM%ux'0Ah:jA#` _y/>;͓_[K.=:aр[?\:L0L}Y> Ǘʐy`_!)/h}fzû0RյpٿғAW( #vxe3/~@,L%)2@^;=ùZ`p̠0|ҵäT/Fu=󺈂%bIOD{j뭶NLZ5tr@hgqC0Rӡ.X ؖOD&$R7tQ7wXʺࡔ(v ,&V Iq)]ٓsߎj/zJI2a847"dP5oA_AAmBf X?Ry`k!;.0;Z5>cSxrq' 4=7e%ah#t XQ7_2xmM库fڠQ|gsKҋ䪙x/'n2ѭS'J䏢X~/F(;ӗֳ{F-@N|gpٿ0΂)=<ufpUXzp iiAGO&H֌+8%tҤZ@MrV ŃAjԥpSt(],dHhރg',S%A:2@D+0MRQLƂRt4F=b+[S5jd1~a5Z #c&\kh!F a|#rgZ_Oq`./bFR:5`O᥈S[ gD}h|jR{6X ,g$ppMW {ƨOGkajB+BЁ$@GLAgYZ15bf151e48f9fd93414c555c3ead0f49e76802f3665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 89988ed9640b4d3b96107c37a27a22e5956d8f16eb3208efb548046e053fe062805cbcafc3dcb3a7