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 p%\D ]]Regular-Sets:threads=4elapsed=46.253cpu=109.496gc=3.944factor=2.377zXZִF! 2]ŗXf[&&HK힀1uه_m8[y]~1.m^4Z,{ԣ"Ge΃GL~~E5vɄ_bޓ5Z=Pξ/noۺ 1; s2lEck".;&Y}E{4 zt(,]NPٱIuZ'lp l nnh]JN~6 % Regular-Sets  sGU]A!Xg ζ %dLNx҄IuorZW1 3 ɼo9mizo]{ uXyTȴ`E&H9v/If%ӕMr_M^/dWbs"Sٺ9ş+galp3QhvV&QCmgzt}uv|y"q%_b'}||Nq.ZH³E Y7@ƅTd=Gm}- 9E' Qjr#=X>x{C%sY ܛ lzs4Ԛcy!*rÛY?rS3]3Xh$Ԕ,c1H[EX o2jűgYZ7zXZִF! &]ŗXiɟi&w<$мI*0a)/~E;*0&QЇ?O(ͩ[wv[LQEΡ8d ؉T0X3z0#¢19ƞ  aD[wE"Vz׎Q3a떿QĆC+1InNy7⢮m3c9*0 dM]K̎%/P=~0(<\M Ku8FtB+}t^4kL 0zrH8||bY?<6׫pgYZ7zXZִF! ]ŗXi%B4Nz;kGkeP3] U hQQ^xǴXD!LRG<[\]iud-PCxŒ7Rn7 d<5N.AWD OuxFBJ8ΨAvuC{$6{d'bv06&A4gRV0nk,TY:~ar*WB}*YLSlF'roݢqN$U3hvؔN6Ϟ6ZdNalB=@܃\Sd:x0LdHbA $1ഽqfSMr MTt:j2 PN{RV'9dgCڔk-_l\q{D=3Y$=N, &77Uƥ+8ґnb 㗅 A <3EN۟mzRПG"K7;zSnijM,GfQ.u)1jO%.Aq!M%z.WT/v{D $Gy-`_Uʘ@PPbuUAqϬ6f^ԷN*-3LS6;-=ύKg[_])p=]4ߎQd L /-"䍭*:\*`{oE?գymYRSݣĶ`;P&Zb#Urlg[F"ViiE {@ڥyt;]u20bH 1"I=OJi+RęzՏ#>iaeG$7IFlll 3)V$A3N JtKJSҹXU5'f?JPT9^~e I2@ CK4,$[BГ3VcEV e,b;=^BX:Rx ;Q]ѲzvZ[3H%WyMw/=cBܼ'ņ%^S4!VCmn{!'i^;w!V`(59&qCgt1WċB:=L9=牫ЕKp/|c%cEf>҆M9Eբڤ\ Օ*C "'\uW[޳!6܋hiqc@,ܑtkJUm.JD[>!صy[߆5%oOz}v)1lW?/B: >Y{$L#Pgz47R}gjer+Tڢr'-397K'([ bec7=N[ {6$7V ʊR[d8vO0 X:?-LK.+:Òt̽8>\]mROut zB>3dEڮ637IݜF?Y\!vOT` m 7YJSwk"o h YpE̳nB^ȓe'.S giY9Bغ>'316WJ,n4[3Za"P.8 򹌾ꨩő<麋<@&6`:xH"Ti: dDŽjhK.#lнoՋ&OK!<'?ȇ1$U*':lBonD1~{G7 d!Rx]CGDɱcv%?rP/6d<+$;VkQ#=Y~vͱgYZe9a69fa397f458496afbe6e0842a984a19ac9ee99cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959ce85271a739fbf76f64e866554ae2c38841ab4103