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 O&d ] Circus:threads=8elapsed=22.597cpu=111.656gc=4.741factor=4.947zXZִF! Ctk]ŗXf[&O8*:> KDˀ dڈ4NDmoQRkQQҘ>3Q?jBCJhlAΔŞ1X"2C~Dk8-v?}VoMxq66@yKfs*"{9^C(DV{<*~Yc4 aW4u([kZpڄTZܰ3ݰq;}`N -BHlc-<5}RNӒ2>j%+_=!m:9 WAIaC*DvT0&nY0`wJ*]70(B]_kze $,BR+$zR`H F}rUFƙa2Ė" i.sY[i]Ia?6SPϒ׸VxzsFPR\eo\ҤY](с؎a}s˟w GWwp[Iz: ]1 E>qe~(Qj N[; ٱ7E[UW)6g ~ۺjl i4ۇkG%72@laEM h r.&A[qF1qxLF|)2*+ruL^`k/l\i'Ek%qbtTw#HO܂itZrwH/w׊ w[U,Jʻ`:zt   Circus  m~X_[EFR]6R3ֈ,1BS<<~@/}= c{nk1$󽗝 =MS/&)NEnQkc^8gK18`恄Dw21!!_8:dW}BB^%eӤ_؋u ˝ jo4MhM ہ/aE5Wʹa8-QKSY^ =[6X&{>,X_ߏ^~trМ>Nޚțtg I@K\ A{]ō/N0GNr-\l^JQ egn0N0%m~!I$jƤ(@C't;rZ"t(p[no}8?|D ]eUCJ%̜D@baOsBM:-`K93I93nM,rsTs~fSN$#}z )#b^ ^z̦DSm TBCgWg<: ; Ps@(+@ov'j kugYZ7zXZִF! f@]ŗXiɟ>+yC, 26=pzWe3@r>e yr:0dJ) /ZvM0ێDU|LZOa|(YZi%oxf{B ܎vw?"U&-8s*]p ݤ#y ŕ8EBs1 4rHD[Hb[FtxB8սƕ;rW0a#L HFn6MnW6WA|`^gJ_m1NQdɼ핝#Kh^LgYZ7zXZִF! | >]ŗXi%>t{ʌDe2 lٌTVANd#,b0{=Muc|fDݡXŗ$s,m*|p*н ʵh~ ۏ}R0^3R.P < T1,a <.$tmp5j4Fh$U;{ܿCK)փ^HC"ËBAψLk;_`z7_c'oX,[![ʠ{slx^$i~O_-Ovx[,ywL=tiMYwk^߳ïH8R˪Ih,ewA\#3OˀޠVXWSRK~0XC'SVaQJHpQ͑;͛a@wJs{xΌO"8Uqr|> o+'t^Y,T]>zjHd7TV06͝ }kIȄ,ZmICfk76]ً)D1ܬ>Wg0հӨU%yfp5k6?]K+_4jU#N5NtbM_*"L\Pe'o0pSPVtHxyʶֵM0q\mDzwyyUH%KrV&n"[(Q1##RCR6$oIyI*K&PWZPO=]/d3Y~-HiNnk *^#f `nEQWΧFVx(ײ8Ĭ.̰05{z휚,tsrq6Ĭ^HQ!.k𗻽a p- 5%YSg` GasY,bMg==,֋m>/Yg0MJv1|B e6!y/$h0Bj{kl}%?"*(N0z t{ԗMCƩa:t8 5_n4CK`SXYQ~oP\(K¤ |f>hͿǂÒIFt@v ʩ"W(T逓7#of ±i*%;,Yr ugʛPX7QkciÒے: Z}a‚%%Ҕr:Io/ଂPvg89b;(:q~c pXo#n|`Ri57QMe߱PYyYH *W,Fh+xx?'w'X1! pp>.؜z,TϥJഋO@&/.y|QXEB8(oHTj<Ӟ".z!bzxB ~a XϗTm1x>H8[rV;8*1&Y]ԗѵ?Gymg$(7t%7]LFU\)~5/M0]O+=F6b'M9áم!.QkʯZ'["aq-,c[SuX]0̳_gYZb72a1a904de37fc25602bc123a62969014b243ebc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149