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 FF7? 4\< ]/ Inductive_Confidentiality:threads=2elapsed=14.398cpu=25.840gc=1.480factor=1.797zXZִF! K]ŗXf[&JpB1=eH j9ۑBm6 Auam͟r4j6XZSw}loZgWE㠨<@۱czw s||s[Q*9 hl 01X}y1N5pY EadtѢ Z!' 넉'B_%_;Q(mP~I3kiGLlgc:X8e[]i1YQɑ TFGwgJk#w/^jMdq~ G~olݾԕVWW[M8[wgʛӞB N]7lG+a"]˨ܛǑ; 5G?CKqI\UK #f:_$Z,gv'L>hG20O{ٜgK;m|Gu;XR܈5KhfC!HT,yAf3%9eX?\\`؁NVٯB=̒͋ <#0}CۧK}Z>z`}4@; H˾ J*ohk ؓM9f CG \ }T3FjgE]d:4H ٲ[qSE?bAqT6M͵q+JUXiPx7hs)qWz)GrtoЯPYr*XwgV=6=`>.8!F&_+?6ٵTE5xΓly'7kMIui*j`uG_zc # >М47gTHc1 (GCn((:I՘W=к\'u*bW4Xe+'LIJ䡿aqy LC[֤p݇Hw¨&g GZ\DW5IL6Lh1vXXѦodz'y)XkԽ&6 a08˟a0XlnJVl9J1 k D[T'MsQZj$K?TSmJ/d?c?DǟIUMQO` %m(mf 7%5*@SwD2o*ycȏ@8]z}vxݢrHKަ{"|}89=]%-% GӰR,0 ?F=U5 ClمCA*Š X/f&w@ c딂u%W:I-0[21 ~u P_ѢUbf~Z]tFa*X3{6ˋ \}qS6ԽPgU`2~D)8D P1'P*6DXk4" &Lj|h7BEZ.c 9thRu!njmNwqPV+{bͳA1>V/!(5h_aua=ƾXX؂XG.N v$`E÷qn.DMwҦT3t kRΛFdp,_\Yn Ho<ܤ$ 5d|f^26I4p} NHl0\} әHkOץ|]U3_r4|So闱 'u]ލ BSK $:㏐G> vP "H_gYZ40e6e97b747f5d9644b23f74bded3e544e05b0440779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f ? Inductive_Confidentiality