SQLite format 3@ .;  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 22K' ddD ]/ TESL_Language:threads=4elapsed=20.754cpu=67.024gc=2.552factor=3.237zXZִF! =]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{q0+8Suq)iWgn_ݒv|%Wx1f'"gYZ7zXZִF! [ ]ŗXi%L S][5@(^,ȐIt5pQJ)D9p}L!* 9>\,.]x''TȤg 1:tF,fG\ +NsS=3a#yH@"= * thv6c8BݚdegѬؼ[" XD<+؅-(>.(Dߑ5ҫ.:2@ranlWl*U0'Ͷ!7#\|hYsݚ}[,??$z:? >lV#Ǘ2I~WH_FP'C8PUtjGL+IېQ <)\.PcƖ(ezu߬l :|*tKuu3m Y&P̗l{ bT(;hML"wwx 5XTkj3Bۓ2q-j-2fV*]*R𿺁k_G™NIeבG)]wkFaVX !0?[3^V$C7,ìBף:y=fGJ6 mMbA2fG;R  ((J~aΗcV: @8qi8Yg̭}}"A澷MWÓ2QOAe( <"6 9&WP& q9ଝyBЁt6A-*4 &%&>6֪:S m@"1% eP_6Ѻq=rj 4Z0hFoFomoVFҴ,vVMgZ|i14V&+׹+F5muuV}} b*Xޒ@g2/Rtbdy1:I@%8Ff$6LhI5dz<)TqmWăߋWVB8$gwe/\x `Q#(Vb&줕C13KoJj'-rMNuRTt24WD .q<L82[NȓjQ|!r ;z@zhY`([0jvQi3b'ExYXV&5ϹlQSܫAѲ9(q>ѕE.HAM֟@VUnq]T@ިQPDs[Y$W9cTZHF(*ai캌T3dc+J7WtߖkWDS{Ɩ\R`AHP rg;s78 GXLGw*.$T #]\nGQL.v!ht?w[arU'AcN&8ܣ08 2U\0Īm6cP?FFW4dEswxfsƣܛAtjPzhbR5'pТ(rˁSVWwWnCv:ݵ,URG`:js& վ6ʵS v%gt"77pF6W|V} s2qXC: 4yUƘPO)%NxZSٖMݍDf~J:]`+:mk2!e|O1#e6i(uImˀjf_y<ČiϠLp5&`bB|_҈aa8ҺF~{W mӯ1=mH>8FcU_FZV؜ifI;Q&ZDܢ gYZe02b34da19fbd9cc7ffc1ec7e773927c7d3a412ad3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 ' TESL_Language