SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ,,I)DT ]/]Stone_Algebras:threads=4elapsed=55.246cpu=119.228gc=3.268factor=2.167zXZִF! D]ŗXf[&RTX z>P7Œ1js Ǒ_Е {!#o9ly9V811\U&b*煦cB-_NNjhEԏې/z.h{"{bO:úC?^&.l9Io;$mn~y ~?jmP ~oN91T)N[? )#K4/~29$д/sfර p&:*"&'< (xk(_E1\۸A]o 2v+k"yQ4K^~6oA2)/2&@JR3e2vL. xXPH%}Ј.}p{;{H!Ć`%?2ѹ}ǚLM,= z#.49ku{Fp&Uc6^.S6l'9|@ lϓqkLCgn^esaBhb{c, ]j ":Vr5]αHq7:;7 WJ {QfAbU]@}q&;C-t+ χdNB(:CѠ0^-W\iҽ`[Lٞ(얀Z$ 0sAjߵ^6l8 ba0X wp C۟5X3&o1{'c*}b!9`꠫H-6)кa׏ҟ23Uh v&knjCHha)/A 1s*P1j˓Cکtu"ӪP ,Dy3 ak,X\yFk#ַ N;<&&4%iݽ;Flô h]rh¡IxjʺÖǃrdW۠ٯs|S>9 E*7(_ }zϢ(:ʝ^]"[O3"ڈ$5p`1–w/W։ eqz+XۢvEf9&`6Z>{K"!<^;1ژ]#^$[Q#e$quB0LW~bp!Dd?s};OCܠ4xOt ̞-ig/iQ"OˣE|Y,k(ݱ7قu`v JΌaimKNdg? ͇^j̎"Իg/ LyZ7ͱr2. gFJ߱f!(xEtlF=0rDړIНX0cf/S$5Gcm,G)#YKy3` R'ZGwU{!:T*lfo5$'z :"tw-Gj~IXӳ N~xXgN-]FI8C9Mf]eT=чqW1&yU" J7u%L/(]^Ȏ!9 n@ȚvRe|rn7N4}b.!ѪVXX;晨#A7U=I//E,B񀳓g{1}W ; 1 $f[4}yg ᅕflPOe$btǵуsVZľ R-(PXl2c 9xK+Ȁ#djp3-kgm SN ҥ } #}J%¾Xr=y4$!~О cFv@?dYp/3I,\IRsvsT5b0y-yaW m+EF\`06_OOD{Dh_r.p;bcEwbϖ3Roxzq}w;`NA1c8 5l6'?`-L0wј! ^I+ 5턙(>._=R8aU_8`rM~i%Qj #a`ph|,7yGެRg"g[܉ CB Jg#r< {?^Ϝr|E LB+?z ʩ3>:̉e1&d#NBq"sy"Z` VWpP50qucjOi;V^aqiĵ1N)Кm7Xp}gg)I$u}^q}ޝI@13-[_iEޱ#B poЂR|S|>vq,Zb4D؂3VDthK@uz7U-c9HymǼég% ]T\˰91\kn)OԞY'^ P>>-, 񰧆i%~-<+VmlGMƣIEn[`-Tu|65y\[|ԚTrVOpM%$={e ,O Pl^Q<Ún`HEG4:$+\鐑7+e%SPeFʛDRav권T;xӿΏ0l:,C0It0P6CRh@CIIf{yADjOt7|Gכp1^7F#xw>9W4A f(YT  p\-PrSkyf2&£gqI!3d679X>8.VG's`E, -Ș"qU{`N~cM@灣TwxT6 ՙ )fMǕ酨WfL9+8 oE Ķ=!ܒ>M< !~u %" q&.ˊ:JQ)TLYEd;䕞o1b?1mxk5Tôv|cbd96arsVA!ڸ6)bkl:`~8f6Q {30α?`E5!wҹ*bi ZRQ槃ո-9n},^`C"թgYZe283675923042e9558f2782ea16fc46ab5cd50b8ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022968f00371e544aa1471de98619f906ca40263451