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 _' \dt ]/ TESL_Language:threads=4elapsed=21.218cpu=67.308gc=2.296factor=3.177zXZִF! Z]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{d]PvH&v`s!2.4EX6W1FQ׻(S`w ]DqcvA] v.(PY ,S1HG rЀg0iW}I.y: io2(9kELr3zN74 knY"< ˱/^V(/q9l6pw _b'jpɣ@?8P*s0I 0K,'tg#hm7Xwp6#F3ֈa Yɽ䵿v-Z,0:i^?Xс4DŽd {ڍ}dW-&4iWWy` xp::U PM6{4}dpߴ\1^p''vE5=:.sdJM *#q|6q^S)U' D'  Hx3G}1EZJjWfȦh !`8 To]Qg@t&%Oy+ CrM eUn>:.-d||_gtʉ/2_ۍW! }!jT1lUM6V O+dy[v}LRlĥb .rZgYZ7zXZִF! ,]ŗXiɟ-BS){?=l1Gh| ~Xj7JGkm&9 =p遥a/>X})5؆ i3%W@LõC=5?C-:;q00#Pf7vٗ|VP^KNG0]䡪Ͳ (>RRzR ,+hEB΂,/{$vzG' ;%R`u8Q(B6Y%"~EDh 6 }C,vf+Tp,qӱgYZ7zXZִF! 4 1]ŗXi%G̉S8B\@ƩVq Jѕ .umT^RHY>7@=l/Q܂ta7WP0=Іs _vsPrKE. 2Jsxg꘶| >z@ŪY+9c;VSny;0ҩ2z[ Oa6(c?B 9:ۡP<['_D'<;|JqLfu? _ӈ%-RT*;;=W'+1K?8Ċ_vp fe]13^vv YS92[@H\2P$'=Y1ڒ D6H0OJIkYc IRž|ǒP XjVLj{dlaE-VwJrRTSN&ش Je F^)JyF!-!l*ʘ;TXI_%s$+y YgF;]ɮqk:C}Nd GpF#O!W,tV/%^4Drq"\c^C/K4$c4UV0=vəTSK_z afB,B tSEp2)[{s*_IQϋM8Ս&g?6MʏX{:D"+ HF2\)M[u۫f}P3}‹ɊKCy˒#Kr_֮U2`d9:FQla67BukGM|E.ktd$&ꆨ^?m̚nՊr[[HjIP?L6vË|\:a|J A1xz;] <|^yc87 Ep@ެ@KA½S'^DnҠƄHNcK +\t ny[Tߢ6qY; päY4l& :6NyJ4?|BOBfp rq"V|G?cahuQx1CClG{zESulu4Vq@q)e$ʛL]^&t<-$9Zğ̺[r2y]*p$QEǶHxok>/s`c@p҅cOҌ'^򰼯,E 3Ui>vZ64bWV;jA2WD,\m7BL>#Z(ߪɃ>}~^H254f&k:YA lzXRv#=F q Y9Ǐ-5Ώe|-1B)\ݎp9ڦM`^3'H Zti; GAaܕ^sgYZ544afc9713d5998a1d572deab1cd549561b13c9078a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ' TESL_Language