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  ? l| ]/ Inductive_Confidentiality:threads=4elapsed=11.353cpu=34.676gc=1.248factor=3.057zXZִF! 7o]ŗXf[&JpB1=eH j9ۑBm6 Auam͟r4j6XZSbFl:t !tAXeC"~OIQw~$x!Q^RS^[G ]0URZj4.M\y|禣>Q{>H oP92aA1Gaq K큦fվc]Hr-iA^6&e6^SytbTыxA-ŤΊ?XF遯~ 3*[ŇOuBqc:Rfݤ1/]r0Mm2r0HAt&baXֵ֠=)ư|")jg)*ƻt?+[ Bf59Veܘ qM%aI.&RarO)mgsc6 `}t8a~[r4J EE4{qkI1{6C{ؙA 3"bSgM0iuPې3ذt. %4 𬥩ߣ ,ܓ}vlȦ[4=מv;x.)וgYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~$w>+^#>TOCognv/zًT5)= sJǦлu =Y>A%w0% eYHH$Z0 _&=)fnʜHTD9}*$N{4H;q8KUmZ. Y ^]͢1gYZ7zXZִF! Y]ŗXi%Ebbp=|V۽ʼ2*Dx+7΋W)VW-r?(o,yˆNCǪMmNKXmW|LIq5I90èJ2!Zi8|QttSe'  m^pK%Vy⾂[xVǭ{V(4I$9TkrR[cTCA`;v~[ kh|#32y"Y*Ll`pyxq[ԯ1ArM۟Rh1F6ML BuS P&@FbS2}{O+ mBsD!wf)tHUb˂sPnaJV]G| \]Es~YQ%KU -1]PW–?g5 ,z{=2oca1Jv <4W1YX?![u=E{'>GMt:\LCE_a=&sVJ x?Ц tgK&EgMkWڀv ֭ .Zvy58߈Ź~nУ;ذ:vW˝,+-wx8/jsZ0mYo҅:ȤnV|u(r `i?+ zmܦww4l+@}PhH;J3iRyvvqoQO^ ^*Zbț+F?ۥ:5 lo5ra-|Sw,"9 a;=]Wi,V˾"DCM MSb. 1PkS(GJC_h> XCpo[XoDŽf:;}EO/͌!ѾW]*;awhXt=2D{nz$)`Ss.J"X60XUS.8ۋ~ՠBwK;x5*IzR46!Zn:8 Gb P.HSE "2:.(i%LAuhI'<S@*COd)E㑻g[+*AفZ#9O|Z%o1  RZgYZ8f4351b92c07eec70f8b127f1a6a6f44059c40f1eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 ? Inductive_Confidentiality