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 w? $dD ]/ Inductive_Confidentiality:threads=4elapsed=12.589cpu=35.676gc=1.252factor=2.837zXZִF! ]ŗXf[&JpB1=eH j9ۑBm6 Auam͟r4j6XZSbFl:t !tAXe}(#tHlF@"0!*L짎8!UtQiFb$7.f[+ϧ3Dx6KW$>PFAܪ[2eq%H95`\Zr?yA7_b>v}EP̷$\NA _S'h(QWI!ӡQ<1\x%Ǖ%#Ԫ[oe!Ǡ>@{;琪3[TF Dȁ& 3\OxbDFUNskc 9>R 1XgƪdC=H9QƼIDM`X\ 'ofءgsu˯:91j"qR1oGr }~1kWL!}:%oɝ0FBYky7G& wD5YM#eW6 \՘IAk7䫴I| &-9!8 n7Dƥ-=J1gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~$wƂTΡDs8kc}X g(a6WeYcAdKQʵ`H~ Eȥt +ݰLx?E,uqؿB@T{W)JIgꃈI:5 NqQőT>PegYZ7zXZִF! a[]ŗXi%B }byS Oi0߼Iʲ:Rfu>\"{M\j(P&]p7l:XapL⻫% g6A C-#-=|k SIpNҝ9xh 12dI lnnV#gJ5LQjĺ6U:hj+(-])temn/B %DAi)~iQ-j33Sӧq[pE"Z v Sc/κ+i AC)E60B fhP}4O~T0q2N ,n@lP(HPbWrR&ݍP ji:/道tcQZV7=@'|lb%hS!TO^g=ܢ8S9,G}>Y!Fɠ2 x} acC(]y*Sds%3 O^X:Cڽvb2+t8]ho!pⓄ&r\:a\7-Tr(v8!'B'ݻ~g?lj[,30~{9B0v &-H[&5+[avK(ju/ZęaahWS`p3=2}j%$H}>3(^b8{>∗&R;U Y28rl$^-@IYZM,鬎h1;|ҶwT nǁJ7dFŗ7V>dQvfm nB/M?k`3~# n2w9²_f?`9}oL6ɚ$<B@a /^O}5Xy<}*ֽ)r 0B Qpr6] %~xB,o,wr cֳx+2V)e5dR~ևX L T*)& 9Y[P<:n`]"D3R$TRаų($1[4u& 8_,ӊ?  gYZ3b9d3eab8055d28e2a978acfdbb6e42a5c0d3e09c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a ? Inductive_Confidentiality