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   ]/ Heard_Of:threads=2elapsed=37.648cpu=63.316gc=2.588factor=1.687zXZִF! y]ŗXf1-/6vRZjVJ25Ijq mʃ'{sk:W СƲs&(NvB6䖍B!3cʲ4&]Mm ĵ>'#WX2[08o^<5)^tmnDUW{΂/5~*gHg`k8iP3fT+9eUJ*P#cF^4B{uCi}z* :Al s K/@9B 1ŐGqQ   Heard_Of  ٶH: BL^ 1+*ZRyŖ58J:BGnton+ Vc 2Em'=+?ľ(oiRX13 @( U!D/O%% AM\Oz2b?b!h_=.5E9~)Øqk5&NmHeO"IM7/c7w?g N@y=71&j^%^' 6o(yh& `pYg[ɏ4paQ/T(CC/D/Yog_%(*}w{!wGmfGnϮcRT:B*}3ɶ$WJnp>CkgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14L=9zdvQ;Xg$'U Rf?<Mwk9+}XyOS} :KenF A?1, ;Ӱn† Xyʸ8omҎ5H*+J5=缍6zQrqzJжVȖ/#FS_By0 C2jO2gfDZD>o 2}oel`;d~129n.snNHT,[[m6$ +q;`TPSɈ] qҥ eHjR *wt@xVcs" gYZ7zXZִF! z ;]ŗXi%;34/ }WNp_ g(Eº'tPTdka\*p_תZE>"φ]e5]%vn't5V$s3VG-Vߡ!#Q+ʈ1.'Cnor=pV+YW=b_Cپf=xd:ΧؾuI y4b="uX3Zx8/"ObBa@ҁɜe!" 9[}kp?=mqQ5T/={D'}fԐ@xW8 M@y*/ȵ N{uk[TckEGbhwf'qH!_͹!'.7<6 Yt 3 W>JQ"tkF r]Ŕ xR6K_CmbH敦O!I/^1zܵ4_^ZeDžth^-?x q2B۲ʏ/CQ#`]qBM~ƘYm% AFtwL5Un"O07ԀαM-(pw׊Ims\#kh $&N@!0\ʚNQڤjj\icƿ! ߠO)r"oWJWBmqւK ucK 4 =`inS *7b%1 p)J%eqUL+*N;aT (bxa4ق˛c(Y"gy[x"J.hDP+>ƦQpb'ST֡0{˜THUpftx٧`Ub1?`pJ)8MK0J)DmX1Bz%)i_$VEH̒ +V^b+I@Nv?~A8)q_&aXD|wh+ghP@ob\:nj9a.90E_=k{Bw1[7TƙjLؕ'Wd75jN }X[ro~YJ'ؼ=E=O !eh|PnUڈ;,zY9i]ai \4LnאqUkD)FƯ+*9XjE@KdkUȍo7Dm7bxL,~39 /7~~#RaDRh|aǠ6?iI^}uTO4^]4h'01߾Ix[ClIѹ8pC]쫑$F[4M;-Zwm~2mbȆ JL iXrL5[۱Bsƌ|Kps GpSd\Is2佟ZM$jx#oJLsO.T'zʜ%(i Sǧ5Nla' eRg ]>0? 1+Ѵ+M/Ó63@-l̡P{0I:4/^R.` b>]bBM;g9F{dBi[zpĭ $l0 T$U0n TQ0NQ[uJR16*NtLV[nqQО0(kk]mfT$,'P\v)t 8Ȁ\ylQL]bI-@0 ;6έFT<_$HygJKtr!a3/rJY2whhD/8tC޻ Jl"H0H^a㖚5z\By,0yM-߸nwD*nT(H iCp-קRkDA1? xqW仿2AăF[W5#ڣo0d#p_X#õ[ߔ-Z`,k%Kx`jUgP^|<@JIf3P!ٽ,%iqQVLy3Qa~F4 -Nϩ Eq@<1&ٌ2ر3BvO P{\9?{!~* N{g6΅tz:a OqL[pΔ!u]aOE 2g h.V^$LF-ؓZXJ8OoKňyp'U|An)QwwC/ڱgYZ7818760ace08a320869c5d0b0686a7f56b8c99ba665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee