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 ;<4| ]]Stone_Relation_Algebras:threads=2elapsed=59.206cpu=108.368gc=5.180factor=1.837zXZִF! G]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQTGKXdRˆd00kaZ M'cB \.$S_6?S>UJD}>FpEJn?ްHU\lRIgVj8T[?tHJ? g5P q |Goޤ6[zY ˓^O"ÂpK*Ne;D g%f,׌}>~ٞׄJ$W5h١PGI;BQ,{+Erxep"Vu"FLXh>e {aFx|]<9]MPۑ[*R9Q%VG3"uz)\O)AzAm`z:hYV#0b!hCgʥR|Y`vuƟDZ=x6QE,u@WɳU#:Hpdi}s5و؎ڵOjkY!D&[Yy>-*3* ݈qn}}|ßZ55qA? y FV3DehX薀K><2WXM";Lb[FTNQ5&*DDUǑ՟b Q@[9~Jk%ѕ쳐GqfKN$`PK,,\0# {ڢiCr7`ȴ rfS+W̃f+х{tgM&@@qSo=&GM*wyQ,89Q JjYO^܂" **o6GUV0ep{2F=,GR@,j}p4 L~Bd}9B!Gzp ?Ii  ՂQ_VS 8oL[<۶*e쨄}qן=^Oq0WĎ8涠~e)CXge8uK_9 A6WA^[g9 u;gYZ7zXZִF! 4]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z%X i#dχUƟ5%bQp.), ='?}i>*T_@j ; Stone_Relation_Algebras  ]oOmA+rv:x6{Yll X*+Y 8XbxBT^sxdHUźMĻY> ۪5$,9EJygYZ7zXZִF! +v]ŗXi%;@>"E'. -&!B49 q?B1HCQzu;?SaK< h|G!B_GP#K>8R* RF˚Y Gqnm^]ɃsׂpgM&7{l8|Qu([$~ Wח!ur CQ;@ul Ҏ=~6ּ, #:Kw]S(ps,"9/˻)C;?0'ԃ/t $+\_:Kd} bg7ĦϞSƒUxZҖ7U?׫̟oat> @DQC _Hw njAX-e2JAqTv},Yr겂mB:h+iD<Nb ,|毄ǧ9d.:q!GJDo4Ghc5.%>@m $7}.mOi>~4WumH!Y~Dm fH~Jr?jwyE_Z)VR3QY7:8>iez,0*pkPfE[6GL+xAi Rr:,y7HF>cqH"<.Į?Iq~rXkVQg<O $)Et4Ά1EAUnj=uJڅ,nʭXMxjx-Ӎ2\$n< -kd`F!oP.VڥxL%ͳd^ N~x2J˽Fu䰡)DqS(UYdj`3ؠ}|e$u~U9}z\~Gw (|4LZ ʣ;MMfWQ7T~#UqB1MR&7y9LK"͛oƒC]>ѿnh~|ޕaV܅oƲij?[bqώ^YUz*X$>;چ!A#<!Vuo xC̪lۉ-e ,$_ʍC {*9# )$ZvgBLg7^E%<=X#ïEH秦Xg;D|oC *nEIXt[,*=(L dY)N9Js RjJ,VXܡZ^x`e! ;UGY[~r'JYAԱbRx=ֱ0N]۹4)J?YL$}[z( (qL. wiD>w%`ԶW¡=ag D LG`O?G|[#tG]w /ӅZRP&ljyʼ.|}K |P4TƼ;薍hEQSX e z+副 FcV}KfM}jrX>R#R `(xExRSM}mMNP䖣5"!5BuPaT 4ZT=C {*iV wMb޹ 8K^+~hag\iG~ 0Vh'4d`.mna_0w Ɨbdy6 \{ dWňXF1B@})}YVx(Aw<1D1 T+qTgwb  Ys/W5)>!]\HAZ[x?x': $ c)#eXY䴇` xuB_ТP{ʻD!gYZ15bf151e48f9fd93414c555c3ead0f49e76802f3a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 9037495dd4d5858cc81004eebad21db97ba345c29f8f8bef5d41bba68006b926d834b53ba1c420e6